idris-0.9.11: test/io001/expected

Reading testfile
Hello!
World!
...
3
4
Last line

---
Hello!
World!
...
3
4
Last line
---