Changes between Version 9 and Version 10 of Commentary/Compiler/TypeNatSolver


Ignore:
Timestamp:
Dec 9, 2012 10:00:35 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TypeNatSolver

    v9 v10  
    33The solver for the type nats is implemented as an
    44extra stage in GHC's constrraint solver (see `TcInteract.thePipeline`).
     5
     6The following modules contain most of the code relevant for the solver:
     7  * `TcTypeNats`:      The main solver machinery     
     8  * `TcTypeNatsRules`: The rules used by the solver
     9  * `TcTYpeNatsEval`:  Functions for direct evaluation on constants
    510
    611