2006-09-20 | Manuel M T Chakravarty | Fix TcSplice after some type family related changes Mon Sep 18 19:04:12 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Wed Aug 16 19:51:27 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Make sure ATs are included into the temporary env for... Mon Sep 18 19:03:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Wed Aug 16 17:52:40 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Extended TyCon and friends to represent family declarations Mon Sep 18 18:50:35 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Tue Aug 15 16:52:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Another comment Mon Sep 18 17:45:06 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Add missing co_vars to tcIfaceDataAlt Mon Sep 18 17:44:24 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Comments only Mon Sep 18 17:43:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Small refactoring Mon Sep 18 17:41:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | TAG HEAD merge 6 Aug 06 completed |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Missing change re additional info in TcTyThing Mon Sep 18 17:28:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Aug 7 14:22:08 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Complete OccName->FS change in TcIface Mon Sep 18 17:27:42 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Aug 7 13:03:26 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Missing imports in CoreUtils Mon Sep 18 17:27:00 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Aug 7 11:15:54 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Removed spurious + due to manual patching Mon Sep 18 17:25:23 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Mon Aug 7 11:07:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Makefile comment Mon Sep 18 17:23:13 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 21:03:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Fix newtype deriving bug Mon Sep 18 17:22:43 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 21:02:35 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Include the existential dictionaries in dataConOrigInstPat Mon Sep 18 17:22:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:59:00 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Comments about datacon worker and wrappers Mon Sep 18 17:21:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:57:48 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Make newtype Coercion eta-contract if the tails of... Mon Sep 18 17:20:17 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:57:10 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Flip direction of newtype coercions, fix some comments Mon Sep 18 17:19:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:56:23 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Chagne newtype wrapper into worker Mon Sep 18 17:17:57 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:55:30 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Clean up unused imports, definitions and arguments Mon Sep 18 17:17:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:54:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Fix assertion and default case for GADT record selectors Mon Sep 18 17:16:10 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:53:39 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | make dataConInstPat take a list of FastStrings rather... Mon Sep 18 17:15:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:52:24 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Just clean-up, no functional changes Mon Sep 18 17:14:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:49:23 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Get rid of special case for Vanilla tycon record selectors... Mon Sep 18 17:13:44 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:48:06 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Fix problem with selectors for GADT records with unboxed... Mon Sep 18 17:13:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:47:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Make sym coercion smart constructor smarter, add comments Mon Sep 18 17:11:59 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:32:58 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Refactoring in TcGadt Mon Sep 18 17:11:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:32:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Add some invariant checking for refinements Mon Sep 18 17:09:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:30:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Minor tidying up Mon Sep 18 17:08:30 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:30:11 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Fix GADT refinement fix-pointing, add ASSERTs and a... Mon Sep 18 17:07:38 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:28:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Remove bogus ASSERT from MkId Mon Sep 18 17:06:27 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:12:41 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Fix bug in type checking interface DataAlts Mon Sep 18 17:05:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:11:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | fix default case filling-in for GADTs Mon Sep 18 17:04:19 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:09:06 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Fix Lint for alts involving shadowing of type variables... Mon Sep 18 17:02:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 20:06:39 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | fix some GADT record selector bugs (still some remaining) Mon Sep 18 16:47:22 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 19:42:50 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | clean up Coercion kinding functions, rename coercionKindTyConApp Mon Sep 18 16:46:14 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 17:37:06 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Make data con wrappers for GADTs express the user type... Mon Sep 18 16:44:29 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 17:24:17 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | fix bugs, add boolean flag to identify coercion variables Mon Sep 18 16:41:32 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sun Aug 6 17:04:02 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | fix some coercion kind representation things, extend... Mon Sep 18 14:51:33 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 5 21:48:21 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | finished product unboxing through newtypes and proper... Mon Sep 18 14:48:02 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 5 21:45:32 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | ..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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | 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> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | newtype fixes, coercions for non-recursive newtypes... Mon Sep 18 14:24:27 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Sat Aug 5 21:19:58 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Massive patch for the first months work adding System... Fri Sep 15 18:56:58 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> Fri Aug 4 18:20:57 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Remove mi_package from moved pprModIface Mon Aug 7 12:40:55 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-20 | Manuel M T Chakravarty | Massive patch for the first months work adding System... Fri Aug 4 17:43:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-19 | Manuel M T Chakravarty | Adapt Simplify to conditional envs |
commit | commitdiff | tree |
2006-09-19 | Manuel M T Chakravarty | Adapt TcRnDriver to moved tyThingToIfaceDecl |
commit | commitdiff | tree |
2006-09-19 | Manuel M T Chakravarty | Adapt SimplUtils.getContArgs to conditional SubstEnv |
commit | commitdiff | tree |
2006-09-19 | Manuel M T Chakravarty | Adapt new SpecConstr functionality to GADT datacons |
commit | commitdiff | tree |
2006-09-18 | Manuel M T Chakravarty | Type tags in import/export lists Tue Sep 12 16:57:32 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-18 | Manuel M T Chakravarty | comment for getLocalDeclBinders Sat Sep 9 20:46:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-18 | Manuel M T Chakravarty | Check for repeated tyvars in AT family decls Sat Aug 26 19:49:55 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-18 | Manuel M T Chakravarty | Improve pretty printing for indexed type decls Wed Aug 16 17:01:59 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-18 | Manuel M T Chakravarty | Use family and instance keyword to identify indexed... Tue Aug 15 20:16:00 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-18 | Manuel M T Chakravarty | Remove checkTopTypeD Tue Aug 15 17:02:53 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-18 | Manuel M T Chakravarty | Remove argument variance info of tycons Fri Aug 11 13:53:24 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-18 | Manuel M T Chakravarty | Don't lift ATs out of classes and instances before tc Wed Aug 9 15:31:08 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-18 | Manuel M T Chakravarty | Indexed type defs are not declaring type names Tue Aug 8 19:27:31 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-18 | Manuel M T Chakravarty | Deriving Eq for OverlapFlag again Mon Aug 7 11:15:21 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-18 | Manuel M T Chakravarty | fix out-of-scope variable Sun Aug 6 20:09:58 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-18 | Manuel M T Chakravarty | GADT pattern matching fix Sun Aug 6 17:01:59 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-18 | Manuel M T Chakravarty | Simplify mkDataCon slightly Sat Aug 5 21:42:48 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-18 | Manuel M T Chakravarty | Partial changes for derived newtype instances Sat Aug 5 21:16:57 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-18 | Manuel M T Chakravarty | Massive patch for the first months work adding System... Fri Aug 4 15:21:36 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-18 | Manuel M T Chakravarty | Massive patch for the first months work adding System... Fri Aug 4 15:11:01 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-15 | Manuel M T Chakravarty | Massive patch for the first months work adding System... Fri Aug 4 18:13:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-15 | Manuel M T Chakravarty | Massive patch for the first months work adding System... Fri Aug 4 18:13:20 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-15 | Manuel M T Chakravarty | Massive patch for the first months work adding System... Fri Aug 4 15:59:09 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-15 | Manuel M T Chakravarty | Added error checks & fixed bugs Thu Aug 3 19:29:38 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-15 | Manuel M T Chakravarty | Fix class construction Wed Aug 2 13:34:58 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-15 | Manuel M T Chakravarty | Renaming of indexed types Tue Aug 1 23:51:38 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-15 | Manuel M T Chakravarty | Renaming of kind signatures (rnTySig) Tue Aug 1 16:39:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-15 | Manuel M T Chakravarty | Revised kind signatures Tue Aug 1 14:10:39 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-15 | Manuel M T Chakravarty | Cleanup (re type function parsing) Mon Jul 31 17:20:56 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-15 | Manuel M T Chakravarty | Parser support for assoc synonyms Fri Jul 28 21:52:46 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-15 | Manuel M T Chakravarty | Fix migrated AT support Wed Jul 26 18:16:25 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-09-15 | Manuel M T Chakravarty | Migrate cvs diff from fptools-assoc branch Wed Jul 26 17:46:55 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
commit | commitdiff | tree |
2006-08-07 | Manuel M T Chakravarty | OccName->FS in tyThingToIfaceDecl that moved to MkIface |
commit | commitdiff | tree |
2006-08-07 | Manuel M T Chakravarty | Fix pattern w/o location in Check |
commit | commitdiff | tree |
2006-08-07 | Manuel M T Chakravarty | OccName->FS change over for equalities in GADTs |
commit | commitdiff | tree |
next |