idris-1.2.0: test/directives003/expected

nuyahcha
mohgiide
apeekair
eeraimam
rahhahwi
goocheiv