Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Ensure that coreView/tcView are able to inline | Ben Gamari | 2019-11-13 | 1 | -97/+0 |
* | Update Trac ticket URLs to point to GitLab | Ryan Scott | 2019-03-15 | 1 | -1/+1 |
* | Add AnonArgFlag to FunTy | Simon Peyton Jones | 2019-02-23 | 1 | -1/+1 |
* | Introduce tcTypeKind, and use it | Simon Peyton Jones | 2018-12-03 | 1 | -20/+4 |
* | Treat isConstraintKind more consistently | Simon Peyton Jones | 2018-07-25 | 1 | -30/+1 |
* | Embrace -XTypeInType, add -XStarIsType | Vladislav Zavialov | 2018-06-14 | 1 | -23/+10 |
* | Implement QuantifiedConstraints | Simon Peyton Jones | 2018-06-04 | 1 | -0/+2 |
* | Fix #14869 by being more mindful of Type vs. Constraint | Ryan Scott | 2018-03-21 | 1 | -16/+15 |
* | compiler: introduce custom "GhcPrelude" Prelude | Herbert Valerio Riedel | 2017-09-19 | 1 | -0/+2 |
* | Remove typeKind from Type.hs-boot | Simon Peyton Jones | 2017-08-24 | 1 | -2/+2 |
* | Fix #13233 by checking for lev-poly primops | Richard Eisenberg | 2017-05-02 | 1 | -40/+0 |
* | Clean up coreView/tcView. | Ben Gamari | 2017-03-31 | 1 | -4/+13 |
* | Type-indexed Typeable | Ben Gamari | 2017-02-18 | 1 | -1/+13 |
* | Update levity polymorphism | Richard Eisenberg | 2017-01-19 | 1 | -10/+30 |
* | Rename RuntimeRepPolymorphism to LevityPolymorphism | Simon Peyton Jones | 2016-11-30 | 1 | -5/+5 |
* | Fix typo in comment | Simon Peyton Jones | 2016-10-27 | 1 | -1/+1 |
* | Allow levity-polymorpic arrows | Simon Peyton Jones | 2016-10-27 | 1 | -2/+31 |
* | Re-add FunTy (big patch) | Simon Peyton Jones | 2016-06-15 | 1 | -0/+1 |
* | Comment fix | Simon Peyton Jones | 2016-03-23 | 1 | -1/+1 |
* | Address #11471 by putting RuntimeRep in kinds.wip/runtime-rep | Richard Eisenberg | 2016-02-24 | 1 | -19/+11 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -235/+62 |
* | Injective type families | Jan Stolarek | 2015-09-03 | 1 | -5/+6 |
* | Replace .lhs with .hs in compiler comments | Yuri de Wit | 2015-02-09 | 1 | -2/+2 |
* | unlit compiler/types/ modules | Herbert Valerio Riedel | 2014-12-01 | 1 | -0/+301 |