Changes between Version 2 and Version 3 of Commentary/Compiler/TypeNatSolver


Ignore:
Timestamp:
Dec 9, 2012 4:59:39 PM (17 months ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TypeNatSolver

    v2 v3  
    9898=== Derived Constraints === 
    9999 
    100 "Derived" constraints are facts that are implied by the constraints 
     100``Derived`` constraints are facts that are implied by the constraints 
    101101in the inert set.  They do not have complete proofs because their 
    102 proof may depend on proofs of as yet unsolved "wanted" constraints. 
    103 GHC does not associate any proof terms with "derived" constraints. 
     102they may depend on proofs of as yet unsolved wanted constraints. 
     103GHC does not associate any proof terms with derived constraints (to keep things simple?). 
    104104In the constraint solver, they are mostly used as "hints".  For example, 
    105105consider the wanted constraint {{{5 + 3 ~ x}}}, where {{{x}}} is a