Pattern matching of indexed data types
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.