elm/compiler/Types/Unify.hs


module Types.Unify (unify) where

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

import Guid
import Types.Constrain
import Types.Solver

unify hints modul = run $ do
  constraints <- constrain hints modul
  either (return . Left) (\cs -> solver cs 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
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`
Add more strictness to deal with space-leak in cSub and tSub functions. 2012-05-20 05:09:12 +00:00
Change representation of Modules. Now all statements (definitions, datatypes, event imports, and event exports) are treated the same way. This caused lots of changes, but will ultimately improve type checking. 2012-08-01 23:37:37 +00:00			`unify hints modul = 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`
Change semantics of import: - No more 'hiding' - 'import' means allow the use of a the module, not import everything Make the --make command more robust. Begin making it possible to read Native files in core. Switch representation of let-expressions to no longer use an anonymous function. This is significantly faster! Begin disallowing undefined variables (stop passing escapees around so much). 2013-02-27 07:33:47 +00:00			`either (return . Left) (\cs -> solver cs Map.empty) constraints`
Add basics of type-checking and inference. Uses constraint generation method. 2012-05-11 10:28:56 +00:00