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

2006-09-20	Manuel M T Chakravarty	Removed spurious + due to manual patching ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Makefile comment ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Fix newtype deriving bug ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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... ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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... ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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... ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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... ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Refactoring in TcGadt ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Minor tidying up ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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... ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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... ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	fixing record selectors ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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) ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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... ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Comments only ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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... ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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... ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	Comment ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	towards unboxing through newtypes ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	bugs ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	..and a bit more ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	More on newtype deriving ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-20	Manuel M T Chakravarty	towards newtype deriving dicts ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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... ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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... ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> ...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 ...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... ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-18	Manuel M T Chakravarty	comment for getLocalDeclBinders ...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 ...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 ...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... ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-18	Manuel M T Chakravarty	Remove checkTopTypeD ...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 ...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 ...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 ...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 ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-18	Manuel M T Chakravarty	GADT pattern matching fix ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-18	Manuel M T Chakravarty	Simplify mkDataCon slightly ...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 ...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... ...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... ...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... ...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... ...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... ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-15	Manuel M T Chakravarty	Fix class construction ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-15	Manuel M T Chakravarty	Renaming of indexed types ...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) ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-15	Manuel M T Chakravarty	Revised kind signatures ...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) ...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 ...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>	commit \| commitdiff \| tree
2006-09-15	Manuel M T Chakravarty	Fix migrated AT support ...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 ...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
next

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

RSS Atom