-
chak@cse.unsw.edu.au. authored
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.
27897431