Changes between Version 358 and Version 359 of TypeFunctionsStatus
- Jul 14, 2008 2:49:27 PM (9 years ago)
v358 v359 9 9 * Need to check the result types of the data constructors, probably in `checkValidDataCon`. 10 10 * `tcFamInstDecl1` needs to allow family GADT instances. 11 * #2157 (solution: lhs of type instances may not contain partially applied vanilla type synonyms) 12 11 * Allow repeated variable occurrences in lhses of type instances (see paper). 13 12 * 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.