Changes between Version 393 and Version 394 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
10/02/08 06:34:11 (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v393 v394  
    99   * Need to check the result types of the data constructors, probably in `checkValidDataCon`. 
    1010   * `tcFamInstDecl1` needs to allow family GADT instances. 
    11   * Allow repeated variable occurrences in lhses of type instances (see paper). 
    1211  * 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. 
    1312  * Test`Simple8`: