idris-0.9.18: test/reg039/expected

[3, 2, 1]