idris-0.12: test/basic010/expected

*oink*
10000
Axiom 10000