idris-0.9.9: test/test017/test017b.idr

module foo

total foo : _|_
foo = foo