@@ -17,11 +17,12 @@ import Core.CoreParser
1717import Core.TT
1818import Core.Evaluate
1919
20−import Text.ParserCombinators.Parsec
21−import Text.ParserCombinators.Parsec.Error
22−import Text.ParserCombinators.Parsec.Expr
23−import Text.ParserCombinators.Parsec.Language
24−import qualified Text.ParserCombinators.Parsec.Token as PTok
20+import Text.Parsec
21+import Text.Parsec.Error
22+import Text.Parsec.Expr
23+import Text.Parsec.Language
24+import Text.Parsec.String
25+import qualified Text.Parsec.Token as PTok
2526
2627import Data.List
2728import Control.Monad.State