Kind sig for toplevel family decls is optional
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:38:13 +0000 (18:38 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:38:13 +0000 (18:38 +0000)
commit7ab880e6cbce4e095d8316d4289066aa2d50419b
tree7b1f64def20b3b917398558a2e55a3cd4b2bf436
parenta7a32655a398d0bad611314f0f73c0dcbf2588f4
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).
compiler/parser/Parser.y.pp