Changes between Version 358 and Version 359 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 14, 2008 2:49:27 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v358 v359  
    99   * Need to check the result types of the data constructors, probably in `checkValidDataCon`.
    1010   * `tcFamInstDecl1` needs to allow family GADT instances.
    11   * #2157 (solution: lhs of type instances may not contain partially applied vanilla type synonyms)
    1211  * Allow repeated variable occurrences in lhses of type instances (see paper).
    1312  * 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.