Import ExceptT type and constructor
commita4401f916ba0fb10e5afb902421aae0d77d3f4be
authorBen Sherman <sherman@metsci.com>
dateThu 18 Dec 2014, 12:17 (12 years ago)
parent1728a65
src/Idris/Core/Execute.hs+1−1
@@ -22,7 +22,7 @@ import Control.Applicative hiding (Const)
2222import Control.Exception
2323import Control.Monad.Trans
2424import Control.Monad.Trans.State.Strict
25−import Control.Monad.Except (throwError)
25+import Control.Monad.Except (ExceptT, runExceptT, throwError)
2626import Control.Monad hiding (forM)
2727import Data.Maybe
2828import Data.Bits