idris-1.1.0: test/interactive014/expected

aa
bb
123
cc
"dd"
456
"xyz"