git.iko.soy/elk
on 104faf1 help sign in
elk/compiler/Types/Unify.hs
16 lines 357 B history raw
2module Types.Unify (unify) where
4import Control.Monad (liftM)
5import qualified Data.Map as Map
7import Ast
8import Guid
9import Types.Constrain
10import Types.Solver
11import Types.Alias as Alias
13unify hints modul@(Module _ _ _ stmts) = run $ do
14 constraints <- constrain hints modul
15 either (return . Left) (solver (Alias.get stmts) Map.empty) constraints