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

2006-09-20	Manuel M T...	Clean up unused imports, definitions and arguments	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Fix assertion and default case for GADT record selectors	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	make dataConInstPat take a list of FastStrings rather...	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Just clean-up, no functional changes	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Get rid of special case for Vanilla tycon record select...	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Fix problem with selectors for GADT records with unboxe...	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Make sym coercion smart constructor smarter, add comments	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Refactoring in TcGadt	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Add some invariant checking for refinements	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Minor tidying up	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Fix GADT refinement fix-pointing, add ASSERTs and a...	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Remove bogus ASSERT from MkId	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Fix bug in type checking interface DataAlts	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	fix default case filling-in for GADTs	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	fix big-lambda eta expansion, add comments	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Fix Lint for alts involving shadowing of type variables...	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Fix a couple of stage-2 bogosities	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	fixing record selectors	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	GADT selector bugfix, bits of cleanup	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	fix some GADT record selector bugs (still some remaining)	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	clean up Coercion kinding functions, rename coercionKin...	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Better pretty printing for CoPat	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Make data con wrappers for GADTs express the user type...	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Comments only	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	fix bugs, add boolean flag to identify coercion variables	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	fix some coercion kind representation things, extend...	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	fixed bug in product unboxing	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	finished product unboxing through newtypes and proper...	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Comment	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	towards unboxing through newtypes	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	fix out-of-scope vars	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Complete the evidence generation for GADTs	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	bugs	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	some bug-fixes, newtype deriving might work now	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	newtype deriving still not working	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	newtype deriving dicts, compiling at least	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	..and a bit more	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	More on newtype deriving	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	towards newtype deriving dicts	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	newtype fixes, coercions for non-recursive newtypes...	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Massive patch for the first months work adding System...	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Remove mi_package from moved pprModIface	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Massive patch for the first months work adding System...	commit \| commitdiff \| tree \| snapshot
2006-09-19	Manuel M T...	Adapt Simplify to conditional envs	commit \| commitdiff \| tree \| snapshot
2006-09-19	Manuel M T...	Adapt TcRnDriver to moved tyThingToIfaceDecl	commit \| commitdiff \| tree \| snapshot
2006-09-19	Manuel M T...	Adapt SimplUtils.getContArgs to conditional SubstEnv	commit \| commitdiff \| tree \| snapshot
2006-09-19	Manuel M T...	Adapt new SpecConstr functionality to GADT datacons	commit \| commitdiff \| tree \| snapshot
2006-09-18	Manuel M T...	Type tags in import/export lists	commit \| commitdiff \| tree \| snapshot
2006-09-18	Manuel M T...	comment for getLocalDeclBinders	commit \| commitdiff \| tree \| snapshot
2006-09-18	Manuel M T...	Check for repeated tyvars in AT family decls	commit \| commitdiff \| tree \| snapshot
2006-09-18	Manuel M T...	Improve pretty printing for indexed type decls	commit \| commitdiff \| tree \| snapshot
2006-09-18	Manuel M T...	Use family and instance keyword to identify indexed...	commit \| commitdiff \| tree \| snapshot
2006-09-18	Manuel M T...	Remove checkTopTypeD	commit \| commitdiff \| tree \| snapshot
2006-09-18	Manuel M T...	Remove argument variance info of tycons	commit \| commitdiff \| tree \| snapshot
2006-09-18	Manuel M T...	Don't lift ATs out of classes and instances before tc	commit \| commitdiff \| tree \| snapshot
2006-09-18	Manuel M T...	Indexed type defs are not declaring type names	commit \| commitdiff \| tree \| snapshot
2006-09-18	Manuel M T...	Deriving Eq for OverlapFlag again	commit \| commitdiff \| tree \| snapshot
2006-09-18	Manuel M T...	fix out-of-scope variable	commit \| commitdiff \| tree \| snapshot
2006-09-18	Manuel M T...	GADT pattern matching fix	commit \| commitdiff \| tree \| snapshot
2006-09-18	Manuel M T...	Simplify mkDataCon slightly	commit \| commitdiff \| tree \| snapshot
2006-09-18	Manuel M T...	Partial changes for derived newtype instances	commit \| commitdiff \| tree \| snapshot
2006-09-18	Manuel M T...	Massive patch for the first months work adding System...	commit \| commitdiff \| tree \| snapshot
2006-09-18	Manuel M T...	Massive patch for the first months work adding System...	commit \| commitdiff \| tree \| snapshot
2006-09-15	Manuel M T...	Massive patch for the first months work adding System...	commit \| commitdiff \| tree \| snapshot
2006-09-15	Manuel M T...	Massive patch for the first months work adding System...	commit \| commitdiff \| tree \| snapshot
2006-09-15	Manuel M T...	Massive patch for the first months work adding System...	commit \| commitdiff \| tree \| snapshot
2006-09-15	Manuel M T...	Added error checks & fixed bugs	commit \| commitdiff \| tree \| snapshot
2006-09-15	Manuel M T...	Fix class construction	commit \| commitdiff \| tree \| snapshot
2006-09-15	Manuel M T...	Renaming of indexed types	commit \| commitdiff \| tree \| snapshot
2006-09-15	Manuel M T...	Renaming of kind signatures (rnTySig)	commit \| commitdiff \| tree \| snapshot
2006-09-15	Manuel M T...	Revised kind signatures	commit \| commitdiff \| tree \| snapshot
2006-09-15	Manuel M T...	Cleanup (re type function parsing)	commit \| commitdiff \| tree \| snapshot
2006-09-15	Manuel M T...	Parser support for assoc synonyms	commit \| commitdiff \| tree \| snapshot
2006-09-15	Manuel M T...	Fix migrated AT support	commit \| commitdiff \| tree \| snapshot
2006-09-15	Manuel M T...	Migrate cvs diff from fptools-assoc branch	commit \| commitdiff \| tree \| snapshot
2006-09-06	simonpj@microsoft.com	Comment on the commoning up of CoPats in Match	commit \| commitdiff \| tree \| snapshot
2006-09-06	simonpj@microsoft.com	Add comment for the invariant that DataAlt is never...	commit \| commitdiff \| tree \| snapshot
2006-09-04	simonpj@microsoft.com	Comments only	commit \| commitdiff \| tree \| snapshot
2006-08-09	simonpj@microsoft.com	Change ASSERT to WARN	commit \| commitdiff \| tree \| snapshot
2006-08-07	Manuel M T...	OccName->FS in tyThingToIfaceDecl that moved to MkIface	commit \| commitdiff \| tree \| snapshot
2006-08-07	Manuel M T...	Fix pattern w/o location in Check	commit \| commitdiff \| tree \| snapshot
2006-08-07	Manuel M T...	OccName->FS change over for equalities in GADTs	commit \| commitdiff \| tree \| snapshot
2006-08-07	Manuel M T...	Comments only	commit \| commitdiff \| tree \| snapshot
2006-08-07	Manuel M T...	Correct grevious bug in mkSymCoercion	commit \| commitdiff \| tree \| snapshot
2006-08-07	Manuel M T...	GADT tweaks	commit \| commitdiff \| tree \| snapshot
2006-08-07	Manuel M T...	Configure changes to make testsuite work better on...	commit \| commitdiff \| tree \| snapshot
2006-08-06	Manuel M T...	Remove Control-M from Coercion.hs	commit \| commitdiff \| tree \| snapshot
2006-08-06	Manuel M T...	Add Coercion.lhs	commit \| commitdiff \| tree \| snapshot
2006-08-06	Manuel M T...	Adding TcGadt.lhs	commit \| commitdiff \| tree \| snapshot
2006-08-06	Manuel M T...	Add a missing prime, to fix desugaring of CoPats	commit \| commitdiff \| tree \| snapshot
2006-08-06	Manuel M T...	Comments and tidy-up	commit \| commitdiff \| tree \| snapshot
2006-08-06	Manuel M T...	Fix a lint bug with coercions	commit \| commitdiff \| tree \| snapshot
2006-08-06	Manuel M T...	GADT fixes	commit \| commitdiff \| tree \| snapshot
2006-08-06	Manuel M T...	Add CoPat stuff	commit \| commitdiff \| tree \| snapshot
2006-08-06	Manuel M T...	Resolve conflict in MkExternalCore	commit \| commitdiff \| tree \| snapshot
2006-08-04	Manuel M T...	Massive patch for the first months work adding System...	commit \| commitdiff \| tree \| snapshot
2006-08-04	Manuel M T...	Massive patch for the first months work adding System...	commit \| commitdiff \| tree \| snapshot
2006-08-04	Manuel M T...	Massive patch for the first months work adding System...	commit \| commitdiff \| tree \| snapshot
2006-08-04	Manuel M T...	Massive patch for the first months work adding System...	commit \| commitdiff \| tree \| snapshot
2006-08-04	Manuel M T...	Massive patch for the first months work adding System...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom