Use smart lookup for tycons Mon Sep 18 19:49:35 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Tue Sep 12 12:55:10 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Fix type checking of imported data instances Mon Sep 18 19:48:41 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Sep 11 20:06:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Fix category of representation tycon Mon Sep 18 19:48:00 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Sep 11 16:18:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Option -findexed-types Mon Sep 18 19:42:48 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Fri Sep 8 21:35:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Get of fam inst index in ifaces Mon Sep 18 19:40:42 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Fri Sep 8 16:31:26 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
ATs are now implicitTyThings Mon Sep 18 19:36:03 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Tue Sep 5 21:09:54 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Fixed two bugs concerning fanilies Mon Sep 18 19:34:38 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Sep 4 20:59:49 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Indexed newtypes Mon Sep 18 19:24:27 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Thu Aug 31 22:09:21 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Warn of missing ATs and complain about bad ATs Mon Sep 18 19:17:18 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Aug 28 22:26:22 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Check that AT instance is in a class Mon Sep 18 19:16:40 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 26 21:49:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Kind sig for toplevel family decls is optional Mon Sep 18 19:13:47 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 26 19:03:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Fixed bug in coercion for indexed data types Mon Sep 18 19:12:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Fri Aug 25 16:45:29 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Pattern matching of indexed data types Mon Sep 18 19:11:24 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Thu Aug 24 14:17:44 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Introduce coercions for data instance decls Mon Sep 18 19:07:30 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Tue Aug 22 20:33:46 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Fixed two data family bugs Mon Sep 18 19:06:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Aug 21 15:16:16 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Fix the tyvars used for data con signatures Mon Sep 18 19:06:12 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 19 17:19:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Extend Class.Class to include the TyCons of ATs Mon Sep 18 18:58:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Wed Aug 16 16:15:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Fix kind lookup in kcIdxTyPats Mon Sep 18 18:58:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Tue Aug 15 21:02:34 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Kind and type checking of indexed types Mon Sep 18 18:39:03 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Fri Aug 11 16:09:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>