Changes between Version 16 and Version 17 of TypeFunctionsSolving


Ignore:
Timestamp:
Jul 30, 2008 3:44:57 PM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v16 v17  
    33The following is based on ideas for the new, post-ICFP'08 solving algorithm.  Technical details are in CVS `papers/type-synonym/new-single.tex`.  Most of the code is in the module `TcTyFuns`. 
    44 
     5== Overall algorithm == 
     6 
     7The overall algorithm is as in `new-single.tex`, namely 
     8 * Normalise all constraints (both locals and wanteds) 
     9 * Solve the wanteds 
     10 * Finalise 
    511 
    612== Normal equalities ==