-
chak@cse.unsw.edu.au. authored
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).
202ac08f