idris-1.1.0: test/interpret002/file-error.idr

module Main

echo : String -> IO ()
echo name = do Right contents <- readFile name
                   | Left error => printLn error
               printLn contents