| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | fix some GADT record selector bugs (still some remaining) | Manuel M T Chakravarty | 2006-09-20 | 2 | -6/+17 |
| * | clean up Coercion kinding functions, rename coercionKindTyConApp | Manuel M T Chakravarty | 2006-09-20 | 3 | -6/+6 |
| * | Better pretty printing for CoPat | Manuel M T Chakravarty | 2006-09-20 | 2 | -2/+4 |
| * | Make data con wrappers for GADTs express the user type directly | Manuel M T Chakravarty | 2006-09-20 | 1 | -16/+23 |
| * | Comments only | Manuel M T Chakravarty | 2006-09-20 | 2 | -3/+8 |
| * | fix bugs, add boolean flag to identify coercion variables | Manuel M T Chakravarty | 2006-09-20 | 9 | -24/+61 |
| * | fix some coercion kind representation things, extend exprIsConApp_maybe to no... | Manuel M T Chakravarty | 2006-09-20 | 10 | -30/+86 |
| * | fixed bug in product unboxing | Manuel M T Chakravarty | 2006-09-20 | 2 | -1/+2 |
| * | finished product unboxing through newtypes and proper demand analysis of newt... | Manuel M T Chakravarty | 2006-09-20 | 2 | -27/+23 |
| * | Comment | Manuel M T Chakravarty | 2006-09-20 | 1 | -0/+3 |
| * | towards unboxing through newtypes | Manuel M T Chakravarty | 2006-09-20 | 6 | -54/+139 |
| * | fix out-of-scope vars | Manuel M T Chakravarty | 2006-09-20 | 1 | -1/+2 |
| * | Complete the evidence generation for GADTs | Manuel M T Chakravarty | 2006-09-20 | 21 | -210/+263 |
| * | bugs | Manuel M T Chakravarty | 2006-09-20 | 2 | -2/+2 |
| * | some bug-fixes, newtype deriving might work now | Manuel M T Chakravarty | 2006-09-20 | 8 | -26/+52 |
| * | newtype deriving still not working | Manuel M T Chakravarty | 2006-09-20 | 3 | -14/+22 |
| * | newtype deriving dicts, compiling at least | Manuel M T Chakravarty | 2006-09-20 | 1 | -61/+34 |
| * | ..and a bit more | Manuel M T Chakravarty | 2006-09-20 | 1 | -38/+0 |
| * | More on newtype deriving | Manuel M T Chakravarty | 2006-09-20 | 1 | -20/+32 |
| * | towards newtype deriving dicts | Manuel M T Chakravarty | 2006-09-20 | 4 | -35/+58 |
| * | newtype fixes, coercions for non-recursive newtypes now optional | Manuel M T Chakravarty | 2006-09-20 | 20 | -95/+117 |
| * | Massive patch for the first months work adding System FC to GHC #34 | Manuel M T Chakravarty | 2006-09-20 | 20 | -742/+832 |
| * | Remove mi_package from moved pprModIface | Manuel M T Chakravarty | 2006-09-20 | 1 | -3/+0 |
| * | Massive patch for the first months work adding System FC to GHC #20 | Manuel M T Chakravarty | 2006-09-20 | 1 | -18/+144 |
| * | Adapt Simplify to conditional envs | Manuel M T Chakravarty | 2006-09-19 | 1 | -3/+7 |
| * | Adapt TcRnDriver to moved tyThingToIfaceDecl | Manuel M T Chakravarty | 2006-09-19 | 2 | -2/+5 |
| * | Adapt SimplUtils.getContArgs to conditional SubstEnv | Manuel M T Chakravarty | 2006-09-19 | 1 | -1/+3 |
| * | Adapt new SpecConstr functionality to GADT datacons | Manuel M T Chakravarty | 2006-09-19 | 1 | -2/+3 |
| * | Type tags in import/export lists | Manuel M T Chakravarty | 2006-09-18 | 3 | -35/+61 |
| * | comment for getLocalDeclBinders | Manuel M T Chakravarty | 2006-09-18 | 1 | -8/+11 |
| * | Check for repeated tyvars in AT family decls | Manuel M T Chakravarty | 2006-09-18 | 1 | -3/+24 |
| * | Improve pretty printing for indexed type decls | Manuel M T Chakravarty | 2006-09-18 | 1 | -9/+15 |
| * | Use family and instance keyword to identify indexed types | Manuel M T Chakravarty | 2006-09-18 | 3 | -74/+94 |
| * | Remove checkTopTypeD | Manuel M T Chakravarty | 2006-09-18 | 2 | -19/+1 |
| * | Remove argument variance info of tycons | Manuel M T Chakravarty | 2006-09-18 | 12 | -316/+131 |
| * | Don't lift ATs out of classes and instances before tc | Manuel M T Chakravarty | 2006-09-18 | 2 | -26/+14 |
| * | Indexed type defs are not declaring type names | Manuel M T Chakravarty | 2006-09-18 | 1 | -2/+3 |
| * | Deriving Eq for OverlapFlag again | Manuel M T Chakravarty | 2006-09-18 | 1 | -0/+1 |
| * | fix out-of-scope variable | Manuel M T Chakravarty | 2006-09-18 | 2 | -2/+2 |
| * | GADT pattern matching fix | Manuel M T Chakravarty | 2006-09-18 | 2 | -4/+5 |
| * | Simplify mkDataCon slightly | Manuel M T Chakravarty | 2006-09-18 | 1 | -3/+5 |
| * | Partial changes for derived newtype instances | Manuel M T Chakravarty | 2006-09-18 | 4 | -46/+92 |
| * | Massive patch for the first months work adding System FC to GHC #3 | Manuel M T Chakravarty | 2006-09-18 | 2 | -47/+99 |
| * | Massive patch for the first months work adding System FC to GHC #1 | Manuel M T Chakravarty | 2006-09-18 | 7 | -141/+334 |
| * | Massive patch for the first months work adding System FC to GHC #31 | Manuel M T Chakravarty | 2006-09-15 | 3 | -25/+11 |
| * | Massive patch for the first months work adding System FC to GHC #30 | Manuel M T Chakravarty | 2006-09-15 | 8 | -233/+182 |
| * | Massive patch for the first months work adding System FC to GHC #14 | Manuel M T Chakravarty | 2006-09-15 | 7 | -93/+90 |
| * | Added error checks & fixed bugs | Manuel M T Chakravarty | 2006-09-15 | 5 | -20/+51 |
| * | Fix class construction | Manuel M T Chakravarty | 2006-09-15 | 1 | -3/+3 |
| * | Renaming of indexed types | Manuel M T Chakravarty | 2006-09-15 | 3 | -67/+104 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |