@@ -6,23 +6,16 @@ import Control.Monad
66import Data.Char (isAlpha)
77import Data.Maybe (mapMaybe)
88import Data.Either (rights)
9−import Lexer
10−import Parser (toExpr,toDefs)
9+
10+import Parser (toDefs)
1111import Rename (rename)
1212
1313import Unify
1414import Hints
1515
16−{--
17−initialize str = do
18− (expr, hints') <- toDefs =<< tokenize str
19− let expr' = rename expr
20− subs <- unify (liftM2 (++) hints hints') expr'
21− return (seq subs expr')
22−--}
2316
2417initialize str = do
25− (expr, hints') <- toDefs =<< tokenize str
18+ (expr, hints') <- toDefs str
2619 let expr' = rename expr
2720 subs <- unify (liftM2 (++) hints hints') expr'
2821 let init = simp_loop expr'