Fri Aug 11 13:09:13 PDT 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Kind and type checking of indexed types
- Type checking of kind signatures
- Kind and type checking of instances of indexed types
- Validity checks for ATs are still *missing* (ie, that the type indexes
coincide with the class parameters and that the defined ATs really belong to
the class).
M ./compiler/rename/RnSource.lhs -1 +1
M ./compiler/typecheck/TcClassDcl.lhs -2 +6
M ./compiler/typecheck/TcInstDcls.lhs -28 +42
M ./compiler/typecheck/TcTyClsDecls.lhs -66 +307
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
