git.iko.soy/elk
on master help sign in
Include type aliases from dependencies
2a5bee0Evan Czaplicki
compiler/Type/Inference.hs+3−1
compare with master
unifiedsplit
@@ -29,7 +29,9 @@ infer interfaces' modul = unsafePerformIO $ do
29
29
30-- mapM print (concatMap iAdts (Map.elems interfaces))
30-- mapM print (concatMap iAdts (Map.elems interfaces))
31
31
32+ env <- Env.initialEnvironment
32− env <- Env.initialEnvironment (datatypes modul ++ concatMap iAdts (Map.elems interfaces)) (aliases modul)
33+ (datatypes modul ++ concatMap iAdts (Map.elems interfaces))
34+ (aliases modul ++ concatMap iAliases (Map.elems interfaces))
33 ctors <- forM (Map.keys (Env.constructor env)) $ \name ->
35 ctors <- forM (Map.keys (Env.constructor env)) $ \name ->
34 do (_, vars, args, result) <- Env.freshDataScheme env name
36 do (_, vars, args, result) <- Env.freshDataScheme env name
35 return (name, (vars, foldr (T.==>) result args))
37 return (name, (vars, foldr (T.==>) result args))