projects / ghc-hetmet.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ghc-hetmet.git
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
2006-09-15 Manuel M T... Renaming of indexed types commit | commitdiff | tree | snapshot
2006-09-15 Manuel M T... Renaming of kind signatures (rnTySig) commit | commitdiff | tree | snapshot
2006-09-15 Manuel M T... Revised kind signatures commit | commitdiff | tree | snapshot
2006-09-15 Manuel M T... Cleanup (re type function parsing) commit | commitdiff | tree | snapshot
2006-09-15 Manuel M T... Parser support for assoc synonyms commit | commitdiff | tree | snapshot
2006-09-15 Manuel M T... Fix migrated AT support commit | commitdiff | tree | snapshot
2006-09-15 Manuel M T... Migrate cvs diff from fptools-assoc branch commit | commitdiff | tree | snapshot
2006-09-06 simonpj@microsoft.comComment on the commoning up of CoPats in Match commit | commitdiff | tree | snapshot
2006-09-06 simonpj@microsoft.comAdd comment for the invariant that DataAlt is never... commit | commitdiff | tree | snapshot
2006-09-04 simonpj@microsoft.comComments only commit | commitdiff | tree | snapshot
2006-08-09 simonpj@microsoft.comChange ASSERT to WARN commit | commitdiff | tree | snapshot
2006-08-07 Manuel M T... OccName->FS in tyThingToIfaceDecl that moved to MkIface commit | commitdiff | tree | snapshot
2006-08-07 Manuel M T... Fix pattern w/o location in Check commit | commitdiff | tree | snapshot
2006-08-07 Manuel M T... OccName->FS change over for equalities in GADTs commit | commitdiff | tree | snapshot
2006-08-07 Manuel M T... Comments only commit | commitdiff | tree | snapshot
2006-08-07 Manuel M T... Correct grevious bug in mkSymCoercion commit | commitdiff | tree | snapshot
2006-08-07 Manuel M T... GADT tweaks commit | commitdiff | tree | snapshot
2006-08-07 Manuel M T... Configure changes to make testsuite work better on... commit | commitdiff | tree | snapshot
2006-08-06 Manuel M T... Remove Control-M from Coercion.hs commit | commitdiff | tree | snapshot
2006-08-06 Manuel M T... Add Coercion.lhs commit | commitdiff | tree | snapshot
2006-08-06 Manuel M T... Adding TcGadt.lhs commit | commitdiff | tree | snapshot
2006-08-06 Manuel M T... Add a missing prime, to fix desugaring of CoPats commit | commitdiff | tree | snapshot
2006-08-06 Manuel M T... Comments and tidy-up commit | commitdiff | tree | snapshot
2006-08-06 Manuel M T... Fix a lint bug with coercions commit | commitdiff | tree | snapshot
2006-08-06 Manuel M T... GADT fixes commit | commitdiff | tree | snapshot
2006-08-06 Manuel M T... Add CoPat stuff commit | commitdiff | tree | snapshot
2006-08-06 Manuel M T... Resolve conflict in MkExternalCore commit | commitdiff | tree | snapshot
2006-08-04 Manuel M T... Massive patch for the first months work adding System... commit | commitdiff | tree | snapshot
2006-08-04 Manuel M T... Massive patch for the first months work adding System... commit | commitdiff | tree | snapshot
2006-08-04 Manuel M T... Massive patch for the first months work adding System... commit | commitdiff | tree | snapshot
2006-08-04 Manuel M T... Massive patch for the first months work adding System... commit | commitdiff | tree | snapshot
2006-08-04 Manuel M T... Massive patch for the first months work adding System... commit | commitdiff | tree | snapshot
2006-08-04 Manuel M T... Massive patch for the first months work adding System... commit | commitdiff | tree | snapshot
2006-08-04 Manuel M T... Massive patch for the first months work adding System... commit | commitdiff | tree | snapshot
2006-08-04 Manuel M T... Massive patch for the first months work adding System... commit | commitdiff | tree | snapshot
2006-08-04 Manuel M T... Massive patch for the first months work adding System... commit | commitdiff | tree | snapshot
2006-08-04 Manuel M T... Massive patch for the first months work adding System... commit | commitdiff | tree | snapshot
2006-08-04 Manuel M T... Massive patch for the first months work adding System... commit | commitdiff | tree | snapshot
2006-08-04 Manuel M T... Massive patch for the first months work adding System... commit | commitdiff | tree | snapshot
2006-08-04 Manuel M T... Massive patch for the first months work adding System... commit | commitdiff | tree | snapshot
2006-08-04 Manuel M T... Massive patch for the first months work adding System... commit | commitdiff | tree | snapshot
2006-08-04 Manuel M T... Massive patch for the first months work adding System... commit | commitdiff | tree | snapshot
2006-08-04 Manuel M T... Massive patch for the first months work adding System... commit | commitdiff | tree | snapshot
2006-08-04 Manuel M T... Massive patch for the first months work adding System... commit | commitdiff | tree | snapshot
2006-08-04 Manuel M T... Massive patch for the first months work adding System... commit | commitdiff | tree | snapshot
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)