git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1749 from alexander-b/fix-build

Output: Use throwError from Control.Monad.Except

commit3c19722dc1f1220c10d26051eb370554ac82c148 authorEdwin Brady <edwin.brady@gmail.com> dateSun 14 Dec 2014, 23:29 (12 years ago) parentec7a6a72d0cc49
2 files changed+2−2
compare with master
unifiedsplit
idris.cabal+1−1 src/Idris/Output.hs+1−1
idris.cabal+1−1
@@ -711,7 +711,7 @@ Library
711711 , fingertree >= 0.1 && < 0.2
712712 , haskeline >= 0.7 && < 0.8
713713 , lens >= 4.1.1 && < 4.7
714− , mtl < 2.3
714+ , mtl >= 2.2.1 && < 2.3
715715 , network < 2.7
716716 , optparse-applicative >= 0.11 && < 0.12
717717 , parsers >= 0.9 && < 0.13
src/Idris/Output.hs+1−1
@@ -15,7 +15,7 @@ import Util.ScreenSize (getScreenWidth)
1515
1616import Debug.Trace
1717
18−import Control.Monad.Error (throwError)
18+import Control.Monad.Except (throwError)
1919
2020import System.IO (stdout, Handle, hPutStrLn)
2121