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