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

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
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
2006-08-04	Manuel M T Chakravarty	Massive patch for the first months work adding System...	commit \| commitdiff \| tree
2006-08-02	Manuel M T Chakravarty	Add new field to TySynonym	commit \| commitdiff \| tree
2006-08-02	Manuel M T Chakravarty	Make 'iso' special in the parser	commit \| commitdiff \| tree

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

RSS Atom