Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Break up TyCoRep | Ben Gamari | 2019-07-31 | 1 | -1/+2 |
* | Compute demand signatures assuming idArity | Sebastian Graf | 2019-04-30 | 1 | -2/+8 |
* | Visible dependent quantification | Ryan Scott | 2019-03-01 | 1 | -7/+50 |
* | Add AnonArgFlag to FunTy | Simon Peyton Jones | 2019-02-23 | 1 | -2/+30 |
* | Overhaul -fprint-explicit-kinds to use VKA | Ryan Scott | 2018-11-22 | 1 | -1/+1 |
* | Fix typo in docs | Chris Done | 2018-11-18 | 1 | -1/+1 |
* | Finish fix for #14880. | Tobias Dammers | 2018-10-28 | 1 | -29/+30 |
* | Coercion Quantification | ningning | 2018-09-15 | 1 | -29/+54 |
* | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 1 | -3/+7 |
* | compiler: introduce custom "GhcPrelude" Prelude | Herbert Valerio Riedel | 2017-09-19 | 1 | -0/+2 |
* | Typofixes [ci skip] | Gabor Greif | 2017-07-30 | 1 | -1/+1 |
* | Fix binder visiblity for default methods | Simon Peyton Jones | 2017-07-26 | 1 | -1/+10 |
* | Typos in comments | Ryan Scott | 2017-06-29 | 1 | -1/+1 |
* | Handle type-lets better | Simon Peyton Jones | 2017-05-17 | 1 | -2/+2 |
* | Move isJoinId, isJoinId_maybe to Id | Simon Peyton Jones | 2017-02-28 | 1 | -12/+0 |
* | Join points | Luke Maurer | 2017-02-01 | 1 | -2/+16 |
* | Add a CSE pass to Stg (#9291) | Joachim Breitner | 2017-01-05 | 1 | -0/+19 |
* | Add HsSyn prettyprinter tests | Alan Zimmerman | 2016-12-07 | 1 | -0/+3 |
* | Allow TyVars in TcTypes | Simon Peyton Jones | 2016-11-25 | 1 | -9/+7 |
* | Expanded abbreviations in Haddock documentation | Ben Gamari | 2016-08-05 | 1 | -4/+34 |
* | s/Invisible/Inferred/g s/Visible/Required/g | Richard Eisenberg | 2016-06-25 | 1 | -41/+42 |
* | Major patch to introduce TyConBinder | Simon Peyton Jones | 2016-06-15 | 1 | -5/+99 |
* | Remove 'deriving Typeable' statements | Ryan Scott | 2016-05-24 | 1 | -2/+1 |
* | Make simplifyInstanceContexts deterministic | Bartosz Nitka | 2016-05-10 | 1 | -2/+12 |
* | Reduce use of instances in hs-boot files | Simon Peyton Jones | 2016-04-20 | 1 | -3/+3 |
* | Tidy up handling of coercion variables | Simon Peyton Jones | 2016-03-24 | 1 | -11/+26 |
* | Replace calls to `ptext . sLit` with `text` | Jan Stolarek | 2016-01-18 | 1 | -5/+4 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -31/+44 |
* | An assortment of typos | Gabor Greif | 2015-12-08 | 1 | -1/+1 |
* | Comments only | Simon Peyton Jones | 2015-12-08 | 1 | -4/+24 |
* | Refactor: delete most of the module FastTypes | Thomas Miedema | 2015-08-21 | 1 | -16/+16 |
* | Replace .lhs with .hs in compiler comments | Yuri de Wit | 2015-02-09 | 1 | -1/+1 |
* | compiler: de-lhs basicTypes/ | Austin Seipp | 2014-12-03 | 1 | -0/+440 |