| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Use an accumulator version of tyCoVarsOfTypewip/T1448-accum | Simon Peyton Jones | 2018-08-31 | 1 | -130/+239 |
| * | Implement tyCoVarsOfCo(s) in terms of VarSet | Tobias Dammers | 2018-08-01 | 1 | -6/+39 |
| * | Rewrite tyCoVarsOfType in terms of TypeSet | Tobias Dammers | 2018-07-31 | 1 | -1/+14 |
| * | Caching coercion roles in NthCo and coercionKindsRole refactoring | Tobias Dammers | 2018-04-20 | 1 | -12/+34 |
| * | Track type variable scope more carefully. | Richard Eisenberg | 2018-03-31 | 1 | -2/+6 |
| * | Fix #12919 by making the flattener homegeneous. | Richard Eisenberg | 2018-03-26 | 1 | -14/+69 |
| * | Fix #14869 by being more mindful of Type vs. Constraint | Ryan Scott | 2018-03-21 | 1 | -11/+35 |
| * | Comments and tiny refactor | Simon Peyton Jones | 2018-03-19 | 1 | -4/+5 |
| * | Comments about CoercionHoles | Simon Peyton Jones | 2018-01-25 | 1 | -13/+38 |
| * | White space only | Simon Peyton Jones | 2018-01-03 | 1 | -1/+1 |
| * | Comments only [skip ci] | Richard Eisenberg | 2017-12-21 | 1 | -1/+2 |
| * | Refactor coercion holes | Simon Peyton Jones | 2017-12-21 | 1 | -35/+49 |
| * | Export injectiveVarsOf{Binder,Type} from TyCoRep | Ryan Scott | 2017-10-19 | 1 | -0/+36 |
| * | Delete two unused functions | Simon Peyton Jones | 2017-10-11 | 1 | -12/+0 |
| * | Track the order of user-written tyvars in DataCon | Ryan Scott | 2017-10-03 | 1 | -8/+7 |
| * | Comments only | Simon Peyton Jones | 2017-09-25 | 1 | -1/+1 |
| * | Typofixes (visiblity -> visibility) | Ryan Scott | 2017-09-21 | 1 | -3/+3 |
| * | compiler: introduce custom "GhcPrelude" Prelude | Herbert Valerio Riedel | 2017-09-19 | 1 | -0/+2 |
| * | More refinements to debugPprType | Simon Peyton Jones | 2017-09-14 | 1 | -12/+9 |
| * | Add debugPprType | Simon Peyton Jones | 2017-08-31 | 1 | -1/+60 |
| * | Remove typeKind from Type.hs-boot | Simon Peyton Jones | 2017-08-24 | 1 | -15/+1 |
| * | Remove unneeded uses of ImplicitParams | Ryan Scott | 2017-08-02 | 1 | -1/+0 |
| * | A bunch of typofixes | Gabor Greif | 2017-07-31 | 1 | -1/+1 |
| * | Refactor tcInferApps. | Richard Eisenberg | 2017-07-27 | 1 | -5/+5 |
| * | Remove old coercion pretty-printer | Richard Eisenberg | 2017-07-27 | 1 | -7/+28 |
| * | Don't tidy vars when dumping a type | Richard Eisenberg | 2017-07-27 | 1 | -2/+8 |
| * | Fix binder visiblity for default methods | Simon Peyton Jones | 2017-07-26 | 1 | -22/+32 |
| * | Typos in comments | Ryan Scott | 2017-06-29 | 1 | -2/+2 |
| * | Fix out-of-date comments in TyCoRep | Ryan Scott | 2017-06-18 | 1 | -3/+3 |
| * | Use lengthIs and friends in more places | Ryan Scott | 2017-06-02 | 1 | -10/+10 |
| * | Some tidying up of type pretty-printing | Simon Peyton Jones | 2017-05-26 | 1 | -19/+13 |
| * | Use mkCastTy in subst_ty. | Richard Eisenberg | 2017-05-02 | 1 | -2/+2 |
| * | Allow unbound Refl binders in a RULE | Simon Peyton Jones | 2017-03-29 | 1 | -15/+7 |
| * | Typos in manual and comments | Gabor Greif | 2017-03-14 | 1 | -1/+1 |
| * | Improve error messages for skolems | Simon Peyton Jones | 2017-03-10 | 1 | -1/+2 |
| * | Upgrade UniqSet to a newtype | David Feuer | 2017-03-01 | 1 | -3/+4 |
| * | Improve pretty-printing of types | Simon Peyton Jones | 2017-02-28 | 1 | -15/+22 |
| * | Generalize kind of the (->) tycon | Ben Gamari | 2017-02-18 | 1 | -1/+12 |
| * | Prune unneeded Derive* language pragmas | Gabor Greif | 2017-01-26 | 1 | -2/+1 |
| * | Show explicit quantifiers in conflicting definitions error | Phil de Joux | 2017-01-20 | 1 | -1/+1 |
| * | Update levity polymorphism | Richard Eisenberg | 2017-01-19 | 1 | -22/+77 |
| * | Comments about TyBinders (only) | Simon Peyton Jones | 2017-01-16 | 1 | -8/+5 |
| * | Move typeSize/coercionSize into TyCoRep | Simon Peyton Jones | 2016-12-21 | 1 | -1/+59 |
| * | print * in unicode correctly (fixes #12550) | John Leo | 2016-12-13 | 1 | -2/+2 |
| * | Typos in comments only [ci skip] | Gabor Greif | 2016-11-28 | 1 | -1/+1 |
| * | Improve pretty-printing of types | Simon Peyton Jones | 2016-11-25 | 1 | -7/+20 |
| * | Kill Type pretty-printer | Ben Gamari | 2016-11-13 | 1 | -563/+40 |
| * | Clarify comments on kinds (Trac #12536) | Simon Peyton Jones | 2016-10-28 | 1 | -30/+3 |
| * | Typos in comments | Gabor Greif | 2016-10-21 | 1 | -1/+1 |
| * | Fix comment typo | Simon Peyton Jones | 2016-10-17 | 1 | -1/+1 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |