git.iko.soy/Idris-dev
on master help sign in
Output: Use throwError from Control.Monad.Except
2d0cc49Alexander Berntsen
idris.cabal+1−1
compare with master
unifiedsplit
@@ -702,7 +702,7 @@ Library
702 , fingertree >= 0.1 && < 0.2
702 , fingertree >= 0.1 && < 0.2
703 , haskeline >= 0.7 && < 0.8
703 , haskeline >= 0.7 && < 0.8
704 , lens >= 4.1.1 && < 4.7
704 , lens >= 4.1.1 && < 4.7
705− , mtl < 2.3
705+ , mtl >= 2.2.1 && < 2.3
706 , network < 2.7
706 , network < 2.7
707 , optparse-applicative >= 0.11 && < 0.12
707 , optparse-applicative >= 0.11 && < 0.12
708 , parsers >= 0.9 && < 0.13
708 , parsers >= 0.9 && < 0.13
src/Idris/Output.hs+1−1
@@ -15,7 +15,7 @@ import Util.ScreenSize (getScreenWidth)
15
15
16import Debug.Trace
16import Debug.Trace
17
17
18−import Control.Monad.Error (throwError)
18+import Control.Monad.Except (throwError)
19
19
20import System.IO (stdout, Handle, hPutStrLn)
20import System.IO (stdout, Handle, hPutStrLn)
21
21