ghc.git
2006-09-20  Manuel M T... Correct substitution into theta types (after merge) After_FC_branch_merge
2006-09-20  Manuel M T... Fix import list of TcTyClsDecls after merge
2006-09-20  Manuel M T... Adding FamInstEnv & FamInst modules
2006-09-20  Manuel M T... Adapt FC-code in TcUnify to pre-subsumption
2006-09-20  Manuel M T... Some more ASSERTs
2006-09-20  Manuel M T... SPJ's fix to resolve conflict in instFun
2006-09-20  Manuel M T... Adjust code from manual merges
2006-09-20  Manuel M T... Adapt TcFix imports
2006-09-20  Manuel M T... Basic set up for global family instance environment
2006-09-20  Manuel M T... Import/export of data constructors in family instances
2006-09-20  Manuel M T... Use smart lookup for tycons
2006-09-20  Manuel M T... Fix type checking of imported data instances
2006-09-20  Manuel M T... Fix category of representation tycon
2006-09-20  Manuel M T... Option -findexed-types
2006-09-20  Manuel M T... Get of fam inst index in ifaces
2006-09-20  Manuel M T... Clean up and refactor in SimplUtils.mkCase1 (identity...
2006-09-20  Manuel M T... ATs are now implicitTyThings
2006-09-20  Manuel M T... Straightened out implicit coercions for indexed types
2006-09-20  Manuel M T... Fixed two bugs concerning fanilies
2006-09-20  Manuel M T... Indexed newtypes
2006-09-20  Manuel M T... Check category of type instances and some newtype famil...
2006-09-20  Manuel M T... Better error message for indexes that must be variables
2006-09-20  Manuel M T... Checking conformance of AT indexes with instance heads
2006-09-20  Manuel M T... Warn of missing ATs and complain about bad ATs
2006-09-20  Manuel M T... Check that AT instance is in a class
2006-09-20  Manuel M T... Kind sig for toplevel family decls is optional
2006-09-20  Manuel M T... Fixed bug in coercion for indexed data types
2006-09-20  Manuel M T... Pattern matching of indexed data types
2006-09-20  Manuel M T... Introduce coercions for data instance decls
2006-09-20  Manuel M T... Fixed two data family bugs
2006-09-20  Manuel M T... Fix the tyvars used for data con signatures
2006-09-20  Manuel M T... Extend TyCons and DataCons to represent data instance...
2006-09-20  Manuel M T... Fix TcSplice after some type family related changes
2006-09-20  Manuel M T... Make sure ATs are included into the temporary env for...
2006-09-20  Manuel M T... Extend Class.Class to include the TyCons of ATs
2006-09-20  Manuel M T... Fix kind lookup in kcIdxTyPats
2006-09-20  Manuel M T... Extended TyCon and friends to represent family declarations
2006-09-20  Manuel M T... Kind and type checking of indexed types
2006-09-20  Manuel M T... Another comment
2006-09-20  Manuel M T... Add missing co_vars to tcIfaceDataAlt
2006-09-20  Manuel M T... Comments only
2006-09-20  Manuel M T... Small refactoring
2006-09-20  Manuel M T... TAG HEAD merge 6 Aug 06 completed
2006-09-20  Manuel M T... Missing change re additional info in TcTyThing
2006-09-20  Manuel M T... Complete OccName->FS change in TcIface
2006-09-20  Manuel M T... Missing imports in CoreUtils
2006-09-20  Manuel M T... Removed spurious + due to manual patching
2006-09-20  Manuel M T... Makefile comment
2006-09-20  Manuel M T... Fix newtype deriving bug
2006-09-20  Manuel M T... Include the existential dictionaries in dataConOrigInstPat
2006-09-20  Manuel M T... Comments about datacon worker and wrappers
2006-09-20  Manuel M T... Make newtype Coercion eta-contract if the tails of...
2006-09-20  Manuel M T... Flip direction of newtype coercions, fix some comments
2006-09-20  Manuel M T... Chagne newtype wrapper into worker
2006-09-20  Manuel M T... Clean up unused imports, definitions and arguments
2006-09-20  Manuel M T... Fix assertion and default case for GADT record selectors
2006-09-20  Manuel M T... make dataConInstPat take a list of FastStrings rather...
2006-09-20  Manuel M T... Just clean-up, no functional changes
2006-09-20  Manuel M T... Get rid of special case for Vanilla tycon record select...
2006-09-20  Manuel M T... Fix problem with selectors for GADT records with unboxe...
2006-09-20  Manuel M T... Make sym coercion smart constructor smarter, add comments
2006-09-20  Manuel M T... Refactoring in TcGadt
2006-09-20  Manuel M T... Add some invariant checking for refinements
2006-09-20  Manuel M T... Minor tidying up
2006-09-20  Manuel M T... Fix GADT refinement fix-pointing, add ASSERTs and a...
2006-09-20  Manuel M T... Remove bogus ASSERT from MkId
2006-09-20  Manuel M T... Fix bug in type checking interface DataAlts
2006-09-20  Manuel M T... fix default case filling-in for GADTs
2006-09-20  Manuel M T... fix big-lambda eta expansion, add comments
2006-09-20  Manuel M T... Fix Lint for alts involving shadowing of type variables...
2006-09-20  Manuel M T... Fix a couple of stage-2 bogosities
2006-09-20  Manuel M T... fixing record selectors
2006-09-20  Manuel M T... GADT selector bugfix, bits of cleanup
2006-09-20  Manuel M T... fix some GADT record selector bugs (still some remaining)
2006-09-20  Manuel M T... clean up Coercion kinding functions, rename coercionKin...
2006-09-20  Manuel M T... Better pretty printing for CoPat
2006-09-20  Manuel M T... Make data con wrappers for GADTs express the user type...
2006-09-20  Manuel M T... Comments only
2006-09-20  Manuel M T... fix bugs, add boolean flag to identify coercion variables
2006-09-20  Manuel M T... fix some coercion kind representation things, extend...
2006-09-20  Manuel M T... fixed bug in product unboxing
2006-09-20  Manuel M T... finished product unboxing through newtypes and proper...
2006-09-20  Manuel M T... Comment
2006-09-20  Manuel M T... towards unboxing through newtypes
2006-09-20  Manuel M T... fix out-of-scope vars
2006-09-20  Manuel M T... Complete the evidence generation for GADTs
2006-09-20  Manuel M T... bugs
2006-09-20  Manuel M T... some bug-fixes, newtype deriving might work now
2006-09-20  Manuel M T... newtype deriving still not working
2006-09-20  Manuel M T... newtype deriving dicts, compiling at least
2006-09-20  Manuel M T... ..and a bit more
2006-09-20  Manuel M T... More on newtype deriving
2006-09-20  Manuel M T... towards newtype deriving dicts
2006-09-20  Manuel M T... newtype fixes, coercions for non-recursive newtypes...
2006-09-20  Manuel M T... Massive patch for the first months work adding System...
2006-09-20  Manuel M T... Remove mi_package from moved pprModIface
2006-09-20  Manuel M T... Massive patch for the first months work adding System...
2006-09-19  Manuel M T... Adapt Simplify to conditional envs
2006-09-19  Manuel M T... Adapt TcRnDriver to moved tyThingToIfaceDecl
2006-09-19  Manuel M T... Adapt SimplUtils.getContArgs to conditional SubstEnv
next