@@ -19,7 +19,7 @@ unify hints modul@(Module _ _ _ stmts) = run $ do
19 case result of
19 case result of
20 Left err -> return (Left err)
20 Left err -> return (Left err)
21 Right (schemes, constraints) ->
21 Right (schemes, constraints) ->
22− do subs <- unsafePerformIO (mapM print constraints) `seq`
22+ do subs <- {- unsafePerformIO (mapM print constraints) `seq` -}
23 Solver.solver (Alias.get stmts) Map.empty constraints
23 Solver.solver (Alias.get stmts) Map.empty constraints
24 let ss = either (const []) Map.toList subs
24 let ss = either (const []) Map.toList subs
25 -- unsafePerformIO (mapM print . map (second (Subst.subst ss)) $ concatMap Map.toList schemes) `seq`
25 -- unsafePerformIO (mapM print . map (second (Subst.subst ss)) $ concatMap Map.toList schemes) `seq`