Make the type of ierror more general
Before, ierror could only be used where Idris () was expected. However, it
should be usable in any situation as it halts execution.
commit66ff954e39fa6fc49d504dfe40fc336b067833ac
authorDavid Christiansen <david@davidchristiansen.dk>
dateThu 23 May 2013, 11:14 (13 years ago)
parent5b2f091
src/Idris/Error.hs+1−1
@@ -45,7 +45,7 @@ instance Exception IdrisErr
4545ifail :: String -> Idris ()
4646ifail str = throwIO (IErr str)
4747
48−ierror :: Err -> Idris ()
48+ierror :: Err -> Idris a
4949ierror err = do i <- getIState
5050 throwIO (IErr $ pshow i err)
5151