git.iko.soy/Idris-dev
on 019faba help sign in
Idris-dev/src/Idris/Error.hs
10 lines 183 B history raw
1module Idris.Error where
3import Idris.AbsSyntax
4import System.IO.Error
6report :: IOError -> String
7report e
8 | isUserError e = ioeGetErrorString e
9 | otherwise = show e