@@ -5,6 +5,7 @@ import System.Exit (exitFailure)
55
66import qualified Data.Map as Map
77import qualified Data.List as List
8+import qualified SourceSyntax.Type as T
89import qualified SourceSyntax.Module as M
910import qualified SourceSyntax.PrettyPrint as Pretty
1011import qualified Type.Alias as Alias
@@ -18,6 +19,11 @@ interfaceTypes :: Map.Map String M.ModuleInterface -> M.ModuleInterface -> IO ()
1819interfaceTypes interfaces iface =
1920 types interfaces (M.iTypes iface) (M.iAliases iface) (M.iImports iface)
2021
22+types :: Map.Map k M.ModuleInterface
23+ -> Map.Map String T.Type
24+ -> [M.Alias]
25+ -> [(String, M.ImportMethod)]
26+ -> IO ()
2127types interfaces types' aliases imports =
2228 do putStrLn ""
2329 mapM_ printType (Map.toList types')
@@ -35,4 +41,6 @@ errors errs =
3541 mapM_ print (List.intersperse (P.text " ") errs)
3642
3743failure :: String -> IO a
38−failure msg = hPutStrLn stderr msg >> exitFailure
44+failure msg =
45+ do hPutStrLn stderr msg
46+ exitFailure