Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Minor refactor [ci skip] | Gabor Greif | 2019-02-20 | 1 | -4/+4 |
* | Warn on all out-of-range literals in pats/exprs | Alec Theriault | 2018-12-03 | 1 | -8/+8 |
* | Taming the Kind Inference Monster | Simon Peyton Jones | 2018-11-29 | 1 | -8/+11 |
* | Introduce Int16# and Word16# | Abhiroop Sarkar | 2018-11-17 | 1 | -1/+21 |
* | Add Int8# and Word8# | Michal Terepeta | 2018-11-02 | 1 | -3/+23 |
* | Add RubbishLit for absent bindings of UnliftedRep | Sebastian Graf | 2018-10-14 | 1 | -0/+13 |
* | Revert "Add Int8# and Word8#" | Ben Gamari | 2018-10-09 | 1 | -23/+3 |
* | Add Int8# and Word8# | Michal Terepeta | 2018-10-07 | 1 | -3/+23 |
* | Stable name type role | David Feuer | 2018-10-04 | 1 | -1/+1 |
* | Coercion Quantification | ningning | 2018-09-15 | 1 | -4/+4 |
* | Refactor (~) to reduce the suerpclass stack | Simon Peyton Jones | 2018-07-27 | 1 | -11/+14 |
* | Fix #15236 by removing parentheses from funTyConName | Ryan Scott | 2018-06-07 | 1 | -1/+1 |
* | Don't expose (~#), (~R#), (~P#) from GHC.Prim | Ryan Scott | 2018-06-07 | 1 | -5/+17 |
* | 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 |