idris-1.3.3: test/reg045/expected.out

[1, 2, 3]