Mon Sep 18 18:39:03 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Kind and type checking of indexed types
Fri Aug 11 16:09:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* 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).