Changes between Version 391 and Version 392 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 2, 2008 8:03:33 AM (7 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: