patch applied (ghc): Pattern matching of indexed data types

[chak at cse.unsw.edu.au]

Wed Sep 20 11:37:17 PDT 2006  Manuel M T Chakravarty <chak at cse.unsw.edu.au>
  * Pattern matching of indexed data types
  Mon Sep 18 19:11:24 EDT 2006  Manuel M T Chakravarty <chak at cse.unsw.edu.au>
    * Pattern matching of indexed data types
    Thu Aug 24 14:17:44 EDT 2006  Manuel M T Chakravarty <chak at 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.

    M ./compiler/basicTypes/MkId.lhs -3 +25
    M ./compiler/basicTypes/OccName.lhs -2 +2
    M ./compiler/typecheck/TcPat.lhs -13 +103
    M ./compiler/types/Coercion.lhs -5 +5