Changes between Version 244 and Version 245 of TypeFunctionsStatus
- 10/10/07 07:13:12 (6 years ago)
v244 v245 62 62 * We still need to have the name parent map, though. 63 63 * See email for example. 64 0. Allow data family GADT instances. 64 0. Allow data family GADT instances: 65 * Need to check the result types of the data constructors, probably in `checkValidDataCon`. 66 * `tcFamInstDecl1` needs to allow family GADT instances. 67 0. Eliminate code duplication between `tcTyClDecl1` and `tcFamInstDecl1`. The code for vanilla data/newtype declarations and the code for data/newtype instances has many commonalities. 65 68 0. Fix everything in the testsuite. 66 69 0. Can't we now allow non-left-linear declarations; e.g., `instance type F a a = ..`?