• chak@cse.unsw.edu.au.'s avatar
    Kind sig for toplevel family decls is optional · 7ab880e6
    chak@cse.unsw.edu.au. authored
    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). 
    7ab880e6
Parser.y.pp 57.1 KB