idris-1.3.3: test/dsl002/expected.out

foo