idris-0.9.19: test/reg049/expected
reg049.idr:2:9:When checking constructor Main.Bogus: Void is not Main.Foo reg049.idr:5:6:When checking right hand side of uhOh: No such variable Bogus
reg049.idr:2:9:When checking constructor Main.Bogus: Void is not Main.Foo reg049.idr:5:6:When checking right hand side of uhOh: No such variable Bogus