@@ -29,7 +29,9 @@ infer interfaces' modul = unsafePerformIO $ do
2929
3030-- mapM print (concatMap iAdts (Map.elems interfaces))
3131
32− env <- Env.initialEnvironment (datatypes modul ++ concatMap iAdts (Map.elems interfaces)) (aliases modul)
32+ env <- Env.initialEnvironment
33+ (datatypes modul ++ concatMap iAdts (Map.elems interfaces))
34+ (aliases modul ++ concatMap iAliases (Map.elems interfaces))
3335 ctors <- forM (Map.keys (Env.constructor env)) $ \name ->
3436 do (_, vars, args, result) <- Env.freshDataScheme env name
3537 return (name, (vars, foldr (T.==>) result args))