git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1749 from alexander-b/fix-build
3c19722Edwin Brady
idris.cabal+1−1
compare with master
unifiedsplit
@@ -711,7 +711,7 @@ Library
711 , fingertree >= 0.1 && < 0.2
711 , fingertree >= 0.1 && < 0.2
712 , haskeline >= 0.7 && < 0.8
712 , haskeline >= 0.7 && < 0.8
713 , lens >= 4.1.1 && < 4.7
713 , lens >= 4.1.1 && < 4.7
714− , mtl < 2.3
714+ , mtl >= 2.2.1 && < 2.3
715 , network < 2.7
715 , network < 2.7
716 , optparse-applicative >= 0.11 && < 0.12
716 , optparse-applicative >= 0.11 && < 0.12
717 , parsers >= 0.9 && < 0.13
717 , 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