idris-0.9.14: test/quasiquote002/expected

con