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

2006-09-20	Manuel M T...	Checking conformance of AT indexes with instance heads	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Warn of missing ATs and complain about bad ATs	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Check that AT instance is in a class	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Kind sig for toplevel family decls is optional	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Fixed bug in coercion for indexed data types	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Pattern matching of indexed data types	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Introduce coercions for data instance decls	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Fixed two data family bugs	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Fix the tyvars used for data con signatures	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Extend TyCons and DataCons to represent data instance...	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Fix TcSplice after some type family related changes	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Make sure ATs are included into the temporary env for...	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Extend Class.Class to include the TyCons of ATs	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Fix kind lookup in kcIdxTyPats	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Extended TyCon and friends to represent family declarations	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Kind and type checking of indexed types	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Another comment	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Add missing co_vars to tcIfaceDataAlt	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Comments only	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Small refactoring	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	TAG HEAD merge 6 Aug 06 completed	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Missing change re additional info in TcTyThing	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Complete OccName->FS change in TcIface	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Missing imports in CoreUtils	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Removed spurious + due to manual patching	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Makefile comment	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Fix newtype deriving bug	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Include the existential dictionaries in dataConOrigInstPat	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Comments about datacon worker and wrappers	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Make newtype Coercion eta-contract if the tails of...	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Flip direction of newtype coercions, fix some comments	commit \| commitdiff \| tree \| snapshot
2006-09-20	Manuel M T...	Chagne newtype wrapper into worker	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom