idris-0.9.10: test/test010/expected
test010.idr:13:1:foo is possibly not total due to: MkBad test010a.idr:9:1:main.bar is possibly not total due to: main.MkBad test010b.idr:9:1:main.bar is possibly not total due to: main.MkBad
test010.idr:13:1:foo is possibly not total due to: MkBad test010a.idr:9:1:main.bar is possibly not total due to: main.MkBad test010b.idr:9:1:main.bar is possibly not total due to: main.MkBad