idris-0.9.11: test/dsl002/expected

foo