idris-0.9.13.1: test/reg045/expected

[1, 2, 3]