@@ -17,8 +17,9 @@ import Hints
18initialize str = do
18initialize str = do
19 (expr, hints') <- toDefs =<< tokenize str
19 (expr, hints') <- toDefs =<< tokenize str
20+ let expr' = rename expr
20− subs <- unify (liftM2 (++) hints hints') (rename expr)
21+ subs <- unify (liftM2 (++) hints hints') expr'
21− return (seq subs expr)
22+ return (seq subs expr')
24initialize' str = do
25initialize' str = do