idris-1.3.3: test/basic004/expected.out

[10, 11, 12, 13, 14, 15, 16, 17, 18, 19]