@@ -1,25 +1,25 @@
1module Type.Inference where
1module Type.Inference where
3+import Control.Arrow (first, second)
4+import Control.Monad.State (execStateT, forM)
5+import Control.Monad.Error (ErrorT, runErrorT, liftIO, throwError)
3import qualified Data.Map as Map
6import qualified Data.Map as Map
4−
7+import Text.PrettyPrint
5−import qualified Type.Type as T
6−import qualified Type.Environment as Env
7−import qualified Type.Constrain.Expression as TcExpr
8−import qualified Type.Solve as Solve
10import qualified AST.Annotation as A
9import qualified AST.Annotation as A
11import AST.Module as Module
10import AST.Module as Module
12import AST.Type (CanonicalType)
11import AST.Type (CanonicalType)
13import qualified AST.Variable as Var
12import qualified AST.Variable as Var
14−import Text.PrettyPrint
13+import qualified Type.Constrain.Expression as TcExpr
15−import qualified Type.State as TS
14+import qualified Type.Environment as Env
16import qualified Type.ExtraChecks as Check
15import qualified Type.ExtraChecks as Check
17−import Control.Arrow (first, second)
16+import qualified Type.Solve as Solve
18−import Control.Monad.State (execStateT, forM)
17+import qualified Type.State as TS
19−import Control.Monad.Error (ErrorT, runErrorT, liftIO, throwError)
18+import qualified Type.Type as T
21−import System.IO.Unsafe -- Possible to switch over to the ST monad instead of
20+import System.IO.Unsafe
21+ -- Maybe possible to switch over to ST instead of IO.
22− -- the IO monad. I don't think that'd be worthwhile.
22+ -- I don't think that'd be worthwhile though.
25infer :: Interfaces -> CanonicalModule -> Either [Doc] (Map.Map String CanonicalType)
25infer :: Interfaces -> CanonicalModule -> Either [Doc] (Map.Map String CanonicalType)