Changes between Version 73 and Version 74 of TypeFunctionsStatus

Timestamp:

08/28/06 19:27:25 (7 years ago)

Author:

chak

Comment:

--

TypeFunctionsStatus

@@ -28 +28 @@
 Todo (low-level):
  * Check that the arguments of AT instances coincide with the respective instance arguments of their class.
- * Check that each class instance has a definition for every AT and conversely that that all defined associated types are, in fact, part of the class. (Do this in the type checker - GHC does the corresponding checks for methods in the type checker, too.)
  * data/newtype instances may not overlap.  (Such definitions would always be non-confluent.)
  * RHS of a `type instance` must be a tau type.