fix big-lambda eta expansion, add comments Mon Sep 18 17:02:49 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:07:36 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Fix a couple of stage-2 bogosities Mon Sep 18 16:58:39 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:00:08 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
fixing record selectors Mon Sep 18 16:50:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 19:56:29 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
GADT selector bugfix, bits of cleanup Mon Sep 18 16:48:32 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 19:43:47 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Better pretty printing for CoPat Mon Sep 18 16:45:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 17:25:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Comments only Mon Sep 18 16:43:36 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 17:18:44 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
fixed bug in product unboxing Mon Sep 18 14:48:53 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 5 21:46:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Comment Mon Sep 18 14:47:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 5 21:44:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
towards unboxing through newtypes Mon Sep 18 14:44:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 5 21:42:05 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
fix out-of-scope vars Mon Sep 18 14:44:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 5 21:41:02 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Complete the evidence generation for GADTs Mon Sep 18 14:43:22 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 5 21:39:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
bugs Mon Sep 18 14:34:44 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 5 21:36:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
some bug-fixes, newtype deriving might work now Mon Sep 18 14:33:01 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 5 21:29:28 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
newtype deriving still not working Mon Sep 18 14:31:59 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 5 21:25:43 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
newtype deriving dicts, compiling at least Mon Sep 18 14:31:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 5 21:24:54 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
..and a bit more Mon Sep 18 14:30:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 5 21:23:16 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
More on newtype deriving Mon Sep 18 14:29:16 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 5 21:22:29 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
towards newtype deriving dicts Mon Sep 18 14:27:57 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 5 21:21:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>