elm/compiler/Types/Unify.hs


module Types.Unify (unify) where

import Control.Monad (liftM)
import qualified Data.Map as Map

import Ast
import Guid
import Types.Constrain
import Types.Solver
import Types.Alias as Alias

unify hints modul@(Module _ _ _ stmts) = run $ do
  constraints <- constrain hints modul
  either (return . Left) (solver (Alias.get stmts) Map.empty) constraints
Add basics of type-checking and inference. Uses constraint generation method. 2012-05-11 10:28:56 +00:00
Change module names in Types/ to include Types prefix. Work on getting let-polymorphism correct. 2012-08-09 14:38:18 +00:00			`module Types.Unify (unify) where`
Add basics of type-checking and inference. Uses constraint generation method. 2012-05-11 10:28:56 +00:00
Redo type parser. Correct let-polymorphism in unification. 2012-05-18 03:16:16 +00:00			`import Control.Monad (liftM)`
Change module names in Types/ to include Types prefix. Work on getting let-polymorphism correct. 2012-08-09 14:38:18 +00:00			`import qualified Data.Map as Map`
Refactor lots of code in the type-checker. Also includes some efficiency improvements to make unification a bit faster. 2012-11-29 06:16:08 +00:00
Get type dealiasing working. 2013-04-05 16:55:30 +00:00			`import Ast`
Add more strictness to deal with space-leak in cSub and tSub functions. 2012-05-20 05:09:12 +00:00			`import Guid`
Change module names in Types/ to include Types prefix. Work on getting let-polymorphism correct. 2012-08-09 14:38:18 +00:00			`import Types.Constrain`
Refactor lots of code in the type-checker. Also includes some efficiency improvements to make unification a bit faster. 2012-11-29 06:16:08 +00:00			`import Types.Solver`
Get type dealiasing working. 2013-04-05 16:55:30 +00:00			`import Types.Alias as Alias`
Add more strictness to deal with space-leak in cSub and tSub functions. 2012-05-20 05:09:12 +00:00
Get type dealiasing working. 2013-04-05 16:55:30 +00:00			`unify hints modul@(Module _ _ _ stmts) = run $ do`
Detect ambiguous variable usage and report this to the user. Make the compiler match up import aliases with the underlying type hints. Add a ton of type hints. 2012-10-21 11:50:40 +00:00			`constraints <- constrain hints modul`
Get type dealiasing working. 2013-04-05 16:55:30 +00:00			`either (return . Left) (solver (Alias.get stmts) Map.empty) constraints`
Add basics of type-checking and inference. Uses constraint generation method. 2012-05-11 10:28:56 +00:00