Changes between Version 16 and Version 17 of TypeFunctionsSolving


Ignore:
Timestamp:
Jul 30, 2008 3:44:57 PM (7 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 ==