git.iko.soy/Idris-dev
on master help sign in
Make the type of ierror more general
66ff954David Christiansen
src/Idris/Error.hs+1−1
compare with master
unifiedsplit
@@ -45,7 +45,7 @@ instance Exception IdrisErr
45ifail :: String -> Idris ()
45ifail :: String -> Idris ()
46ifail str = throwIO (IErr str)
46ifail str = throwIO (IErr str)
47
47
48−ierror :: Err -> Idris ()
48+ierror :: Err -> Idris a
49ierror err = do i <- getIState
49ierror err = do i <- getIState
50 throwIO (IErr $ pshow i err)
50 throwIO (IErr $ pshow i err)
51
51