Wed Sep 20 11:33:33 PDT 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Kind and type checking of indexed types
Mon Sep 18 18:39:03 EDT 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Kind and type checking of indexed types
Fri Aug 11 16:09:13 EDT 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 -65 +305
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
