idris-1.2.0: test/st002/testFile

HELLO!!
WORLD!!