git.megacz.com Git - ghc-hetmet.git/search

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
2006-08-07	Manuel M T Chakravarty	Comments only	commit \| commitdiff \| tree
2006-08-07	Manuel M T Chakravarty	Correct grevious bug in mkSymCoercion	commit \| commitdiff \| tree
2006-08-07	Manuel M T Chakravarty	GADT tweaks	commit \| commitdiff \| tree
2006-08-07	Manuel M T Chakravarty	Configure changes to make testsuite work better on...	commit \| commitdiff \| tree
2006-08-06	Manuel M T Chakravarty	Remove Control-M from Coercion.hs	commit \| commitdiff \| tree
2006-08-06	Manuel M T Chakravarty	Add Coercion.lhs	commit \| commitdiff \| tree
2006-08-06	Manuel M T Chakravarty	Adding TcGadt.lhs	commit \| commitdiff \| tree
2006-08-06	Manuel M T Chakravarty	Add a missing prime, to fix desugaring of CoPats	commit \| commitdiff \| tree
2006-08-06	Manuel M T Chakravarty	Comments and tidy-up	commit \| commitdiff \| tree
2006-08-06	Manuel M T Chakravarty	Fix a lint bug with coercions	commit \| commitdiff \| tree
2006-08-06	Manuel M T Chakravarty	GADT fixes	commit \| commitdiff \| tree
2006-08-06	Manuel M T Chakravarty	Add CoPat stuff	commit \| commitdiff \| tree
2006-08-06	Manuel M T Chakravarty	Resolve conflict in MkExternalCore	commit \| commitdiff \| tree
2006-08-04	Manuel M T Chakravarty	Massive patch for the first months work adding System...	commit \| commitdiff \| tree
2006-08-04	Manuel M T Chakravarty	Massive patch for the first months work adding System...	commit \| commitdiff \| tree
2006-08-04	Manuel M T Chakravarty	Massive patch for the first months work adding System...	commit \| commitdiff \| tree
2006-08-04	Manuel M T Chakravarty	Massive patch for the first months work adding System...	commit \| commitdiff \| tree
2006-08-04	Manuel M T Chakravarty	Massive patch for the first months work adding System...	commit \| commitdiff \| tree
2006-08-04	Manuel M T Chakravarty	Massive patch for the first months work adding System...	commit \| commitdiff \| tree
2006-08-04	Manuel M T Chakravarty	Massive patch for the first months work adding System...	commit \| commitdiff \| tree
2006-08-04	Manuel M T Chakravarty	Massive patch for the first months work adding System...	commit \| commitdiff \| tree
2006-08-04	Manuel M T Chakravarty	Massive patch for the first months work adding System...	commit \| commitdiff \| tree
2006-08-04	Manuel M T Chakravarty	Massive patch for the first months work adding System...	commit \| commitdiff \| tree
2006-08-04	Manuel M T Chakravarty	Massive patch for the first months work adding System...	commit \| commitdiff \| tree
2006-08-04	Manuel M T Chakravarty	Massive patch for the first months work adding System...	commit \| commitdiff \| tree
2006-08-04	Manuel M T Chakravarty	Massive patch for the first months work adding System...	commit \| commitdiff \| tree
2006-08-04	Manuel M T Chakravarty	Massive patch for the first months work adding System...	commit \| commitdiff \| tree
next

Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)

RSS Atom