@@ -10,11 +10,13 @@ import qualified AST.PrettyPrint as Pretty
1010import qualified Type.Alias as Alias
1111import qualified Text.PrettyPrint as P
1212
13−metaTypes :: Map.Map String M.ModuleInterface -> M.MetadataModule -> IO ()
14−metaTypes interfaces meta =
15− types interfaces (M.types meta) (M.aliases meta) (M.imports meta)
13+moduleTypes :: Map.Map String M.Interface -> M.CanonicalModule -> IO ()
14+moduleTypes interfaces modul =
15+ types interfaces (M.types body) (M.aliases body) (M.imports modul)
16+ where
17+ body = M.body modul
1618
17−interfaceTypes :: Map.Map String M.ModuleInterface -> M.ModuleInterface -> IO ()
19+interfaceTypes :: Map.Map String M.Interface -> M.Interface -> IO ()
1820interfaceTypes interfaces iface =
1921 types interfaces (M.iTypes iface) (M.iAliases iface) (M.iImports iface)
2022