@@ -25,7 +25,7 @@ import System.IO.Unsafe -- Possible to switch over to the ST monad instead of
25 -- the IO monad. I don't think that'd be worthwhile.
25 -- the IO monad. I don't think that'd be worthwhile.
28−infer :: Interfaces -> MetadataModule t v -> Either [Doc] (Map.Map String Type)
28+infer :: Interfaces -> MetadataModule -> Either [Doc] (Map.Map String Type)
29infer interfaces modul = unsafePerformIO $ do
29infer interfaces modul = unsafePerformIO $ do
30 env <- Env.initialEnvironment
30 env <- Env.initialEnvironment
31 (datatypes modul ++ concatMap iAdts (Map.elems interfaces))
31 (datatypes modul ++ concatMap iAdts (Map.elems interfaces))