@@ -5,23 +5,14 @@ import System.Exit (exitFailure)
55
66import qualified Data.Map as Map
77import qualified Data.List as List
8−import qualified AST.Module as M
8+import qualified AST.Module as Module
99import qualified AST.PrettyPrint as Pretty
1010import qualified Text.PrettyPrint as P
1111
12−moduleTypes :: Map.Map String M.Interface -> M.CanonicalModule -> IO ()
13−moduleTypes interfaces modul =
14− types interfaces (M.types body) (M.aliases body) (M.imports modul)
15− where
16− body = M.body modul
17−
18−interfaceTypes :: Map.Map String M.Interface -> M.Interface -> IO ()
19−interfaceTypes interfaces iface =
20− types interfaces (M.iTypes iface) (M.iAliases iface) (M.iImports iface)
21−
22−types interfaces types' aliases imports =
12+types :: Module.Types -> IO ()
13+types ts =
2314 do putStrLn ""
24− mapM_ printType (Map.toList types')
15+ mapM_ printType (Map.toList ts)
2516 putStrLn ""
2617 where
2718 printType (n,t) = do