git.iko.soy/elk
on fb21e21 help sign in
elk/elm/src/Types/Unify.hs
19 lines 425 B history raw
2module Types.Unify (unify) where
4import Control.Monad (liftM)
5import qualified Data.Map as Map
7import Guid
8import Types.Constrain
9import Types.Solver
11unify hints modul = run $ do
12 constraints <- constrain hints modul
13 case constraints of
14 Left msg -> return (Left msg)
15 Right (escapees, cs) ->
16 do subs <- solver cs Map.empty
17 return $ do ss <- subs
18 return (escapees, ss)