idris-1.2.0: test/st001/expected

# test001:
--test IO:
["HELLO!!\n", "WORLD!!"]
2
--test IOExcept:
["HELLO!!\n", "WORLD!!"]
2
()