git.iko.soy/Idris-dev
on master help sign in
Import ExceptT type and constructor
a4401f9Ben Sherman
src/Idris/Core/Execute.hs+1−1
compare with master
unifiedsplit
@@ -22,7 +22,7 @@ import Control.Applicative hiding (Const)
22import Control.Exception
22import Control.Exception
23import Control.Monad.Trans
23import Control.Monad.Trans
24import Control.Monad.Trans.State.Strict
24import Control.Monad.Trans.State.Strict
25−import Control.Monad.Except (throwError)
25+import Control.Monad.Except (ExceptT, runExceptT, throwError)
26import Control.Monad hiding (forM)
26import Control.Monad hiding (forM)
27import Data.Maybe
27import Data.Maybe
28import Data.Bits
28import Data.Bits