git.iko.soy/Idris-dev
on master help sign in
removed parsec compatibility layer
0306e49raichoo
src/Idris/Parser.hs+6−5
compare with master
unifiedsplit
@@ -17,11 +17,12 @@ import Core.CoreParser
17import Core.TT
17import Core.TT
18import Core.Evaluate
18import Core.Evaluate
19
19
20−import Text.ParserCombinators.Parsec
20+import Text.Parsec
21−import Text.ParserCombinators.Parsec.Error
21+import Text.Parsec.Error
22−import Text.ParserCombinators.Parsec.Expr
22+import Text.Parsec.Expr
23−import Text.ParserCombinators.Parsec.Language
23+import Text.Parsec.Language
24+import Text.Parsec.String
24−import qualified Text.ParserCombinators.Parsec.Token as PTok
25+import qualified Text.Parsec.Token as PTok
25
26
26import Data.List
27import Data.List
27import Control.Monad.State
28import Control.Monad.State