idris-1.3.3: test/st004/expected.out

# test004:
--test IO:
File Not Found
--test IOExcept:
File Not Found
()