| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Imrpove comments about equality types | Simon Peyton Jones | 2017-11-08 | 1 | -11/+14 |
| * | Omit Typeable from the "naturally coherent" list | Simon Peyton Jones | 2017-09-26 | 1 | -16/+15 |
| * | compiler: introduce custom "GhcPrelude" Prelude | Herbert Valerio Riedel | 2017-09-19 | 1 | -0/+2 |
| * | Spelling in comments only [ci skip] | Gabor Greif | 2017-03-28 | 1 | -1/+1 |
| * | Generalize kind of the (->) tycon | Ben Gamari | 2017-02-18 | 1 | -13/+14 |
| * | Tweaks and typos in manual, note refs, comments | Gabor Greif | 2017-02-09 | 1 | -1/+1 |
| * | Update levity polymorphism | Richard Eisenberg | 2017-01-19 | 1 | -93/+77 |
| * | Float unboxed expressions by boxing | Simon Peyton Jones | 2016-12-23 | 1 | -6/+6 |
| * | Revert "Float unboxed expressions by boxing" | Ben Gamari | 2016-12-13 | 1 | -6/+6 |
| * | Float unboxed expressions by boxing | Simon Peyton Jones | 2016-12-12 | 1 | -6/+6 |
| * | Refactor occurrence-check logic | Simon Peyton Jones | 2016-10-21 | 1 | -0/+2 |
| * | Comments only | Simon Peyton Jones | 2016-07-21 | 1 | -39/+88 |
| * | Compact Regions | Giovanni Campagna | 2016-07-20 | 1 | -1/+18 |
| * | Major patch to introduce TyConBinder | Simon Peyton Jones | 2016-06-15 | 1 | -58/+104 |
| * | Re-add FunTy (big patch) | Simon Peyton Jones | 2016-06-15 | 1 | -7/+7 |
| * | Kill the magic of Any | Ben Gamari | 2016-03-30 | 1 | -81/+0 |
| * | Address #11471 by putting RuntimeRep in kinds.wip/runtime-rep | Richard Eisenberg | 2016-02-24 | 1 | -74/+118 |
| * | Rework derivation of type representations for wired-in things | Ben Gamari | 2016-01-20 | 1 | -2/+2 |
| * | Visible type application | Richard Eisenberg | 2015-12-24 | 1 | -8/+8 |
| * | Comments only | Simon Peyton Jones | 2015-12-18 | 1 | -11/+27 |
| * | Note [The equality types story] in TysPrim | Richard Eisenberg | 2015-12-16 | 1 | -11/+139 |
| * | Comments on equality types and classes | Simon Peyton Jones | 2015-12-15 | 1 | -25/+32 |
| * | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -131/+114 |
| * | Generate Typeable info at definition sites | Ben Gamari | 2015-10-30 | 1 | -13/+25 |
| * | Revert "Generate Typeable info at definition sites" | Ben Gamari | 2015-10-29 | 1 | -25/+13 |
| * | Generate Typeable info at definition sites | Ben Gamari | 2015-10-29 | 1 | -13/+25 |
| * | Injective type families | Jan Stolarek | 2015-09-03 | 1 | -1/+2 |
| * | Use IP based CallStack in error and undefined | Eric Seidel | 2015-09-02 | 1 | -13/+16 |
| * | Permit empty closed type families | Adam Gundry | 2015-05-04 | 1 | -1/+1 |
| * | Comments about AnyK | Simon Peyton Jones | 2015-04-09 | 1 | -4/+8 |
| * | GHC.Prim.Constraint is not built-in syntax | Simon Peyton Jones | 2015-04-07 | 1 | -14/+17 |
| * | Replace .lhs with .hs in compiler comments | Yuri de Wit | 2015-02-09 | 1 | -2/+2 |
| * | compiler: de-lhs prelude/ | Austin Seipp | 2014-12-03 | 1 | -0/+784 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |