idris-1.2.0: test/st007/expected

# test007:
--test IO:
--test IOExcept:
()
HELLO!!
WORLD!!