@@ -18,35 +18,8 @@ import Type.Fragment
1818import qualified Type.Environment as Env
1919import qualified Type.Constrain.Literal as Literal
2020import qualified Type.Constrain.Pattern as Pattern
21−
22−{-- Testing section --}
23−import SourceSyntax.PrettyPrint
24−import Text.PrettyPrint as P
25−import Parse.Expression
26−import Parse.Helpers (iParse)
27−import Type.Solve (solve)
28−import qualified Type.State as TS
2921import qualified Transform.SortDefinitions as SD
3022
31−test str =
32− case iParse expr "" str of
33− Left err -> error $ "Parse error at " ++ show err
34− Right expression -> do
35− env <- Env.initialEnvironment []
36− v <- var Flexible
37− let expr = SD.sortDefs expression
38− print (pretty expr)
39− constraint <- constrain env expr (VarN v)
40− print =<< extraPretty constraint
41− state <- execStateT (solve constraint) TS.initialState
42− let errors = TS.sErrors state
43− forM (Map.toList (TS.sSavedEnv state)) $ \(n,t) -> do
44− pt <- extraPretty t
45− print $ P.text n <+> P.text ":" <+> pt
46− if null errors then return () else do
47− putStrLn "\n"
48− mapM_ print =<< sequence errors
49−{-- todo: remove testing code --}
5023
5124constrain :: Env.Environment -> LExpr a b -> Type -> IO TypeConstraint
5225constrain env (L _ _ expr) tipe =