idris-1.3.3: test/reg039/expected.out

[3, 2, 1]