projects / ghc-hetmet.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ghc-hetmet.git
2006-09-23 simonpj@microsoft.comMove snocView in the file, nearer the other spliting... commit | commitdiff | tree | snapshot
2006-09-23 simonpj@microsoft.comImprove documentation of newtype-deriving (todo: check... commit | commitdiff | tree | snapshot
2006-09-23 simonpj@microsoft.comAdd VarSet.disjointVarSet, and use it commit | commitdiff | tree | snapshot
2006-09-23 simonpj@microsoft.comTrim imports, and remove some dead code commit | commitdiff | tree | snapshot
2006-09-22 simonpj@microsoft.comImprove specialisation in SpecConstr commit | commitdiff | tree | snapshot
2006-09-22 simonpj@microsoft.comRemove duplicate call to getDOpts commit | commitdiff | tree | snapshot
2006-09-22 simonpj@microsoft.comRemove use of isVanillaDataCon, which was wrong under... commit | commitdiff | tree | snapshot
2006-09-22 simonpj@microsoft.comTrim imports, reformatting commit | commitdiff | tree | snapshot
2006-09-22 simonpj@microsoft.comAdd a crucial missing prime in tcConPat commit | commitdiff | tree | snapshot
2006-09-23 sven.panne... 64bit fixes for the symbol lookup table commit | commitdiff | tree | snapshot
2006-09-23 audreyt@audreyt.orgIn ByteCodeGen, correctly passthru AnnCast in all relev... commit | commitdiff | tree | snapshot
2006-09-23 audreyt@audreyt.orgAdd explicit eta-reduction to GHCI's schemeE such that... commit | commitdiff | tree | snapshot
2006-09-22 audreyt@audreyt.orgRepair "ghci" under FC+AT by handling AnnCast in byteco... commit | commitdiff | tree | snapshot
2006-09-21 Manuel M T... Fix Linker import when BREAKPOINT is off commit | commitdiff | tree | snapshot
2006-09-21 Manuel M T... Extend IfaceSyn.eqIfTc to cover type kind variants... commit | commitdiff | tree | snapshot
2006-09-21 Don StewartUse --export-dynamic to ensure ghci works on newer... commit | commitdiff | tree | snapshot
2006-09-21 audreyt@audreyt.org* TypeRep.lhs and TypeRep.lhs-boot didn't agree on... commit | commitdiff | tree | snapshot
2006-09-21 audreyt@audreyt.org* Fix stray comma in HsTypes.lhs's import line. commit | commitdiff | tree | snapshot
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
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)