idris-1.3.3: test/interpret002/expected.out
File Not Found MkIO (\w => prim_io_pure ()) : IO' (MkFFI C_Types String String) () "readable" MkIO (\w => prim_io_pure ()) : IO' (MkFFI C_Types String String) ()
File Not Found MkIO (\w => prim_io_pure ()) : IO' (MkFFI C_Types String String) () "readable" MkIO (\w => prim_io_pure ()) : IO' (MkFFI C_Types String String) ()