Changes between Version 391 and Version 392 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 2, 2008 8:03:33 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v391 v392  
    4747 
    4848'''Debugging of type families:''' 
    49  0. Open points in the new `TcTyFuns` code: 
    50     * extract from `TODO`s in `TcTyFuns` 
    51  0. Issues in `TcSimplify`: 
    52     * Why does the call to `reduceList` (in `reduceContext`) extend the LIE?  What are the produced `extra_eqs`?  (Put an assert there and run the testsuite to see whether `extra_eqs` is non-empty in any of the tests.) 
    5349 0. Replacing GADT refinements by explicit equality constraints: 
    5450    * Regressions that remain to be fixed: