Changes between Version 195 and Version 196 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 5, 2007 12:05:38 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v195 v196  
    55'''Debugging of type family patch:''' 
    66 0. #1651; fixed the panic, remains the bogus missing instance error 
    7  0. Check that the restrictions on equality constraints in instance and class contexts are enforced.  We should have tests for that in the testsuite.  Document the exact restrictions on the Haskell wiki tutorial page. '''[Tom is working at this.]''' 
     7 0. Check that the restrictions on equality constraints in instance and class contexts are enforced.  We should have tests for that in the testsuite.  Document the exact restrictions on the Haskell wiki tutorial page. 
    88 0. To fix `Simple8`: 
    99   * Fix tcLookupFamInst to gracefully handle this case.  (This requires some care to not violate assumptions made by other  clients of this function, as it is also used for data families,  but I see no fundamental problem.)