Mon Sep 18 19:24:27 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Indexed newtypes
Thu Aug 31 22:09:21 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Indexed newtypes
- This patch makes indexed newtypes work
- Only lightly tested
- We need to distinguish between open and closed newtypes in a number of
places, because looking through newtypes doesn't work easily for open ones.