| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Modules: type-checker (#13009) | Sylvain Henry | 2020-04-07 | 1 | -2420/+0 |
| * | Modules: Types (#13009) | Sylvain Henry | 2020-03-29 | 1 | -10/+10 |
| * | Simplify treatment of heterogeneous equality | Richard Eisenberg | 2020-03-20 | 1 | -20/+21 |
| * | Implement mapTyCo like foldTyCo | Simon Peyton Jones | 2020-03-17 | 1 | -20/+17 |
| * | Modules: Core (#13009) | Sylvain Henry | 2020-03-16 | 1 | -10/+10 |
| * | Modules: Driver (#13009) | Sylvain Henry | 2020-02-21 | 1 | -1/+1 |
| * | Re-implement unsafe coercions in terms of unsafe equality proofs | Simon Peyton Jones | 2020-02-20 | 1 | -1/+0 |
| * | Module hierarchy: HsToCore (cf #13009) | Sylvain Henry | 2020-02-14 | 1 | -2/+2 |
| * | Fix scoping of TyCon binders in TcTyClsDecls | Simon Peyton Jones | 2020-02-01 | 1 | -32/+18 |
| * | Improve skolemisation | Simon Peyton Jones | 2020-02-01 | 1 | -11/+32 |
| * | Disable two warnings for files that trigger them | Tom Ellis | 2020-01-27 | 1 | -0/+2 |
| * | Fix more typos, via an improved Levenshtein-style corrector | Brian Wignall | 2020-01-12 | 1 | -5/+5 |
| * | Don't zap to Any; error instead | Richard Eisenberg | 2020-01-12 | 1 | -37/+86 |
| * | Overloaded Quotation Brackets (#246) | Matthew Pickering | 2020-01-12 | 1 | -7/+19 |
| * | Fix random typos [skip ci] | nineonine | 2019-11-17 | 1 | -1/+1 |
| * | Ensure that coreView/tcView are able to inline | Ben Gamari | 2019-11-13 | 1 | -0/+1 |
| * | Implement a coverage checker for injectivity | Richard Eisenberg | 2019-10-23 | 1 | -13/+7 |
| * | Break up TcRnTypes, among other modules. | Richard Eisenberg | 2019-10-16 | 1 | -3/+26 |
| * | Solve constraints from top-level groups sooner | Richard Eisenberg | 2019-10-08 | 1 | -1/+2 |
| * | Standalone kind signatures (#16794)wip/top-level-kind-signatures | Vladislav Zavialov | 2019-09-25 | 1 | -5/+4 |
| * | Use level numbers for generalisation | Richard Eisenberg | 2019-09-19 | 1 | -144/+149 |
| * | Refactor kindGeneralize and friends | Richard Eisenberg | 2019-09-19 | 1 | -14/+78 |
| * | Comments only | Simon Peyton Jones | 2019-09-17 | 1 | -2/+2 |
| * | Comments and tiny refactor | Simon Peyton Jones | 2019-06-19 | 1 | -3/+3 |
| * | Implement the -XUnliftedNewtypes extension. | Andrew Martin | 2019-06-14 | 1 | -0/+1 |
| * | Fix #16517 by bumping the TcLevel for method sigs | Richard Eisenberg | 2019-06-09 | 1 | -11/+36 |
| * | Correct two misspellings of "separately" | Chris Martin | 2019-04-03 | 1 | -1/+1 |
| * | Update Wiki URLs to point to GitLab | Takenobu Tani | 2019-03-25 | 1 | -2/+2 |
| * | Fix typos | Krzysztof Gogolewski | 2019-03-19 | 1 | -1/+1 |
| * | Replace nOfThem by replicate | Krzysztof Gogolewski | 2019-03-19 | 1 | -2/+2 |
| * | Update Trac ticket URLs to point to GitLab | Ryan Scott | 2019-03-15 | 1 | -8/+8 |
| * | Be more careful when naming TyCon binders | Simon Peyton Jones | 2019-03-05 | 1 | -111/+129 |
| * | Add AnonArgFlag to FunTy | Simon Peyton Jones | 2019-02-23 | 1 | -11/+11 |
| * | Get rid of tcm_smart from TyCoMapper | Simon Peyton Jones | 2019-02-17 | 1 | -8/+10 |
| * | Make a smart mkAppTyM | Simon Peyton Jones | 2019-02-14 | 1 | -14/+27 |
| * | Make candidateQTvs contain tyvar with zonked kinds | Simon Peyton Jones | 2018-12-21 | 1 | -68/+82 |
| * | Introduce tcTypeKind, and use it | Simon Peyton Jones | 2018-12-03 | 1 | -5/+5 |
| * | Taming the Kind Inference Monster | Simon Peyton Jones | 2018-11-29 | 1 | -221/+288 |
| * | Finish fix for #14880. | Tobias Dammers | 2018-10-28 | 1 | -50/+361 |
| * | Normalise EmptyCase types using the constraint solver | Ryan Scott | 2018-09-28 | 1 | -1/+11 |
| * | Coercion Quantification | ningning | 2018-09-15 | 1 | -9/+9 |
| * | Remove knot-tying bug in TcHsSyn.zonkTyVarOcc | Simon Peyton Jones | 2018-08-31 | 1 | -3/+25 |
| * | Clean up TcHsSyn.zonkEnv | Simon Peyton Jones | 2018-08-24 | 1 | -15/+6 |
| * | Rename SigTv to TyVarTv (#15480) | Joachim Breitner | 2018-08-16 | 1 | -37/+37 |
| * | Allow scoped type variables refer to types | Joachim Breitner | 2018-08-05 | 1 | -8/+32 |
| * | Remove decideKindGeneralisationPlan | Richard Eisenberg | 2018-08-02 | 1 | -0/+2 |
| * | Remove the type-checking knot. | Richard Eisenberg | 2018-08-01 | 1 | -17/+7 |
| * | Fix and document cloneWC | Simon Peyton Jones | 2018-07-25 | 1 | -14/+28 |
| * | Treat isConstraintKind more consistently | Simon Peyton Jones | 2018-07-25 | 1 | -3/+2 |
| * | Clone relevant constraints to avoid side-effects on HoleDests. Fixes #15370. | Matthías Páll Gissurarson | 2018-07-24 | 1 | -4/+5 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |