@@ -7,7 +7,7 @@ import qualified SourceSyntax.PrettyPrint as Pretty
7import qualified Type.Alias as Alias
7import qualified Type.Alias as Alias
8import qualified Text.PrettyPrint as P
8import qualified Text.PrettyPrint as P
10−metaTypes :: Map.Map String M.ModuleInterface -> M.MetadataModule () () -> IO ()
10+metaTypes :: Map.Map String M.ModuleInterface -> M.MetadataModule -> IO ()
11metaTypes interfaces meta =
11metaTypes interfaces meta =
12 types interfaces (M.types meta) (M.aliases meta) (M.imports meta)
12 types interfaces (M.types meta) (M.aliases meta) (M.imports meta)