idris-0.9.18: test/dsl002/expected

foo