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