-
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