idris-0.9.9: test/reg003/expected
reg003a.idr:4:No such variable OddList reg003a.idr:7:No such variable EvenList reg003a.idr:10:No such variable EvenList reg003a.idr:10:No type declaration for test
reg003a.idr:4:No such variable OddList reg003a.idr:7:No such variable EvenList reg003a.idr:10:No such variable EvenList reg003a.idr:10:No type declaration for test