Changes between Version 6 and Version 7 of Commentary/Compiler/TypeChecker


Ignore:
Timestamp:
Sep 20, 2013 10:55:54 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TypeChecker

    v6 v7  
    3030   * `TcUnify`: solves unification constraints "on the fly"; if it can't, it generates a constraint for the constraint solver to deal with later
    3131   * `TcErrors`: generates good error messages from the residual, unsolved constraints.[[BR]]
    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]
     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: