idris-0.9.11: test/reg003/expected

reg003a.idr:4:20:When elaborating constructor Main.ECons:
No such variable OddList