• chak@cse.unsw.edu.au.'s avatar
    Pattern matching of indexed data types · 6791ad22
    chak@cse.unsw.edu.au. authored
    Mon Sep 18 19:11:24 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
      * Pattern matching of indexed data types
      Thu Aug 24 14:17:44 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
        * Pattern matching of indexed data types
        - This patch is the last major puzzle piece to type check and desugar indexed 
          data types (both toplevel and associated with a class).
        - However, it needs more testing - esp wrt to accumlating CoPats - and some 
          static sanity checks for data instance declarations are still missing.
        - There are now two detailed notes in MkIds and TcPat on how the worker/wrapper
          and coercion story for indexed data types works.
    6791ad22
OccName.lhs 21.4 KB