idris-0.9.9.1: test/test004/expected

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

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