Wed Sep 20 11:37:17 PDT 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Pattern matching of indexed data types
Mon Sep 18 19:11:24 EDT 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Pattern matching of indexed data types
Thu Aug 24 14:17:44 EDT 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* 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
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
