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


Ignore:
Timestamp:
Dec 9, 2012 10:00:35 PM (17 months 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