-
chak@cse.unsw.edu.au. authored
Mon Sep 18 19:42:48 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Option -findexed-types Fri Sep 8 21:35:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Option -findexed-types - Introduced the switch -findexed-types to activate the indexed type family framework. - The switch enables the special 'family' and allows kind signatures (which are currently compulsory for associated families).
284d83ee