Changes between Version 4 and Version 5 of Commentary/Compiler/TypeChecker


Ignore:
Timestamp:
Sep 20, 2013 10:55:17 AM (7 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TypeChecker

    v4 v5  
    2828   * `TcSMonad`: the monad of the constraint solver (built on top of the main typechecker monad) 
    2929   * `TcEvidence`: the data types used for evidence (mostly pure) 
    30    * `TcUnify`: solves unification constraints "on the fly"; if it can't, it generates a constraint for the  
    31 constraint solver to deal with later 
     30   * `TcUnify`: solves unification constraints "on the fly"; if it can't, it generates a constraint for the constraint solver to deal with later 
    3231   * `TcErrors`: generates good error messages from the residual, unsolved constraints. 
     32   The best place reading for the constraint solver is the paper [http://www.haskell.org/haskellwiki/Simonpj/Talk:OutsideIn Modular type inference with local assumptions] 
    3333 
    3434 * Underlying infrastructure: