@@ -41,7 +41,6 @@ infer interfaces modul = unsafePerformIO $ do
42 fvar <- T.var T.Flexible
42 fvar <- T.var T.Flexible
43 constraint <- environ `fmap` TcExpr.constrain env (program modul) (T.VarN fvar)
43 constraint <- environ `fmap` TcExpr.constrain env (program modul) (T.VarN fvar)
44− --print =<< T.extraPretty constraint
46 state <- execStateT (Solve.solve constraint) TS.initialState
45 state <- execStateT (Solve.solve constraint) TS.initialState
47 let errors = TS.sErrors state
46 let errors = TS.sErrors state