| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Modules (#13009) | Sylvain Henry | 2020-04-18 | 1 | -1110/+0 |
| * | Modules: type-checker (#13009) | Sylvain Henry | 2020-04-07 | 1 | -3/+3 |
| * | Modules: Types (#13009) | Sylvain Henry | 2020-03-29 | 1 | -4/+4 |
| * | Modules: Core (#13009) | Sylvain Henry | 2020-03-16 | 1 | -6/+6 |
| * | Modules: Core (#13009) | Sylvain Henry | 2020-02-26 | 1 | -1/+1 |
| * | Re-implement unsafe coercions in terms of unsafe equality proofs | Simon Peyton Jones | 2020-02-20 | 1 | -1/+3 |
| * | Disable two warnings for files that trigger them | Tom Ellis | 2020-01-27 | 1 | -0/+1 |
| * | Fix typos, via a Levenshtein-style corrector | Brian Wignall | 2020-01-04 | 1 | -1/+1 |
| * | Make BCO# lifted | Ben Gamari | 2019-12-03 | 1 | -2/+5 |
| * | Break up TcRnTypes, among other modules. | Richard Eisenberg | 2019-10-16 | 1 | -0/+7 |
| * | Create {Int,Word}32Rep | John Ericson | 2019-07-17 | 1 | -6/+10 |
| * | Implement the -XUnliftedNewtypes extension. | Andrew Martin | 2019-06-14 | 1 | -6/+22 |
| * | Update Trac ticket URLs to point to GitLab | Ryan Scott | 2019-03-15 | 1 | -2/+2 |
| * | Add AnonArgFlag to FunTy | Simon Peyton Jones | 2019-02-23 | 1 | -7/+6 |
| * | Fix #16293 by cleaning up Proxy# infelicities | Ryan Scott | 2019-02-12 | 1 | -5/+5 |
| * | Minor refactor [ci skip] | Gabor Greif | 2019-01-23 | 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 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |