idris-0.9.14: test/reg003/expected

reg003a.idr:4:11:When elaborating type of Main.ECons:
No such variable OddList