| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Modules: Core (#13009) | Sylvain Henry | 2020-02-26 | 1 | -777/+0 |
| * | Re-implement unsafe coercions in terms of unsafe equality proofs | Simon Peyton Jones | 2020-02-20 | 1 | -1/+0 |
| * | Fix typos, via a Levenshtein-style corrector | Brian Wignall | 2020-01-04 | 1 | -1/+1 |
| * | Fix typos | Brian Wignall | 2019-11-23 | 1 | -1/+1 |
| * | Break up TyCoRep | Ben Gamari | 2019-07-31 | 1 | -0/+1 |
| * | 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 | -1/+1 |
| * | Coercion Quantification | ningning | 2018-09-15 | 1 | -1/+1 |
| * | Refactor coercion rule | ningning | 2018-07-09 | 1 | -2/+6 |
| * | vectorise: Put it out of its misery | Ben Gamari | 2018-06-02 | 1 | -12/+0 |
| * | Comments only: the FVAnn invariant | Simon Peyton Jones | 2018-04-27 | 1 | -6/+19 |
| * | Caching coercion roles in NthCo and coercionKindsRole refactoring | Tobias Dammers | 2018-04-20 | 1 | -1/+1 |
| * | Refactor coercion holes | Simon Peyton Jones | 2017-12-21 | 1 | -1/+1 |
| * | compiler: introduce custom "GhcPrelude" Prelude | Herbert Valerio Riedel | 2017-09-19 | 1 | -0/+2 |
| * | Handle type-lets better | Simon Peyton Jones | 2017-05-17 | 1 | -17/+10 |
| * | Kill off complications in CoreFVs | Simon Peyton Jones | 2017-04-12 | 1 | -80/+25 |
| * | Upgrade UniqSet to a newtype | David Feuer | 2017-03-01 | 1 | -2/+4 |
| * | Refactor floating of bindings (fiBind) | Simon Peyton Jones | 2017-02-26 | 1 | -28/+29 |
| * | Generalize kind of the (->) tycon | Ben Gamari | 2017-02-18 | 1 | -0/+1 |
| * | Spelling fixes | Gabor Greif | 2017-02-02 | 1 | -2/+2 |
| * | Major patch to introduce TyConBinder | Simon Peyton Jones | 2016-06-15 | 1 | -1/+1 |
| * | Re-add FunTy (big patch) | Simon Peyton Jones | 2016-06-15 | 1 | -2/+4 |
| * | Make Arrow desugaring deterministic | Bartosz Nitka | 2016-05-24 | 1 | -0/+33 |
| * | Get rid of varSetElemsWellScoped in abstractFloats | Bartosz Nitka | 2016-04-22 | 1 | -1/+8 |
| * | Rename FV related functions | Bartosz Nitka | 2016-04-20 | 1 | -75/+75 |
| * | Kill some unnecessary varSetElems | Bartosz Nitka | 2016-04-15 | 1 | -4/+36 |
| * | Fix some typos | Rik Steenkamp | 2016-01-16 | 1 | -1/+1 |
| * | Refactoring only | Simon Peyton Jones | 2015-12-24 | 1 | -2/+101 |
| * | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -98/+186 |
| * | Implement more deterministic operations and document them | Bartosz Nitka | 2015-12-02 | 1 | -39/+55 |
| * | Make abstractVars deterministic in SetLevel | Bartosz Nitka | 2015-11-23 | 1 | -0/+1 |
| * | Create a deterministic version of tyVarsOfType | Bartosz Nitka | 2015-11-21 | 1 | -109/+139 |
| * | Rename SpecInfo to RuleInfo (upon SPJ's advice). | Edward Z. Yang | 2015-10-10 | 1 | -1/+1 |
| * | Remove dead code: ruleLhsOrphNames | Simon Peyton Jones | 2015-10-06 | 1 | -16/+1 |
| * | Comments and white space only | Simon Peyton Jones | 2015-07-21 | 1 | -3/+5 |
| * | Filter orphan rules based on imports, fixes #10294 and #10420. | Edward Z. Yang | 2015-06-20 | 1 | -1/+1 |
| * | Replace .lhs with .hs in compiler comments | Yuri de Wit | 2015-02-09 | 1 | -2/+2 |
| * | Source notes (Core support) | Peter Wortmann | 2014-12-16 | 1 | -1/+1 |
| * | compiler: de-lhs coreSyn/ | Austin Seipp | 2014-12-03 | 1 | -0/+533 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |