@@ -10,7 +10,7 @@ import qualified Type.Solve as Solve
1010
1111import AST.Module as Module
1212import AST.Annotation (noneNoDocs)
13−import AST.Type (Type)
13+import AST.Type (CanonicalType)
1414import Text.PrettyPrint
1515import qualified Type.State as TS
1616import qualified Type.ExtraChecks as Check
@@ -22,7 +22,7 @@ import System.IO.Unsafe -- Possible to switch over to the ST monad instead of
2222 -- the IO monad. I don't think that'd be worthwhile.
2323
2424
25−infer :: Interfaces -> MetadataModule -> Either [Doc] (Map.Map String Type)
25+infer :: Interfaces -> CanonicalModule -> Either [Doc] (Map.Map String CanonicalType)
2626infer interfaces modul = unsafePerformIO $ do
2727 env <- Env.initialEnvironment
2828 (datatypes modul ++ concatMap iAdts (Map.elems interfaces))