projects / ghc-hetmet.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ghc-hetmet.git
2006-09-20 Manuel M T... Correct substitution into theta types (after merge) After_FC_branch_merge commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Fix import list of TcTyClsDecls after merge commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Adding FamInstEnv & FamInst modules commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Adapt FC-code in TcUnify to pre-subsumption commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Some more ASSERTs commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... SPJ's fix to resolve conflict in instFun commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Adjust code from manual merges commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Adapt TcFix imports commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Basic set up for global family instance environment commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Import/export of data constructors in family instances commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Use smart lookup for tycons commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Fix type checking of imported data instances commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Fix category of representation tycon commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Option -findexed-types commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Get of fam inst index in ifaces commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Clean up and refactor in SimplUtils.mkCase1 (identity... commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... ATs are now implicitTyThings commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Straightened out implicit coercions for indexed types commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Fixed two bugs concerning fanilies commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Indexed newtypes commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Check category of type instances and some newtype famil... commit | commitdiff | tree | snapshot
2006-09-20 Manuel M T... Better error message for indexes that must be variables commit | commitdiff | tree | snapshot
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
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)