Kind sig for toplevel family decls is optional
Mon Sep 18 19:13:47 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Kind sig for toplevel family decls is optional
Sat Aug 26 19:03:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Kind sig for toplevel family decls is optional
- Kind sigs are still compulsory for AT family decls. Changing this is more
tricky, as AT decls don't have the family keyword and hence look like empty
data decls. That impacts reduce/reduce conflicts and/or the criteria for
checking whether a TyData variant is a family signature.
- Also removed iso from the syntax (it's still in the lexer in case we want to
resurrect it).