Changes between Version 394 and Version 395 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 4, 2008 11:14:06 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v394 v395  
    99   * Need to check the result types of the data constructors, probably in `checkValidDataCon`. 
    1010   * `tcFamInstDecl1` needs to allow family GADT instances. 
    11   * 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. 
    1211  * Test`Simple8`: 
    1312   * 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.)