| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Modules: Types (#13009) | Sylvain Henry | 2020-03-29 | 1 | -7/+7 |
| * | Modules: Core (#13009) | Sylvain Henry | 2020-03-16 | 1 | -15/+15 |
| * | Misc cleanup | Krzysztof Gogolewski | 2020-03-10 | 1 | -1/+1 |
| * | anyRewritableTyVar now looks in RuntimeReps | Richard Eisenberg | 2020-03-10 | 1 | -1/+8 |
| * | Modules: Core (#13009) | Sylvain Henry | 2020-02-26 | 1 | -1/+1 |
| * | Modules: Driver (#13009) | Sylvain Henry | 2020-02-21 | 1 | -1/+1 |
| * | Module hierarchy: ByteCode and Runtime (cf #13009) | Sylvain Henry | 2020-02-12 | 1 | -1/+1 |
| * | Use foldTyCo for exactTyCoVarsOfType | Simon Peyton Jones | 2020-02-06 | 1 | -0/+36 |
| * | Disable two warnings for files that trigger them | Tom Ellis | 2020-01-27 | 1 | -0/+1 |
| * | Fix more typos, via an improved Levenshtein-style corrector | Brian Wignall | 2020-01-12 | 1 | -5/+5 |
| * | Module hierarchy (#13009): Stg | Sylvain Henry | 2019-12-31 | 1 | -1/+1 |
| * | Fix typos, using Wikipedia list of common typos | Brian Wignall | 2019-11-28 | 1 | -3/+3 |
| * | Ensure that coreView/tcView are able to inline | Ben Gamari | 2019-11-13 | 1 | -2/+1 |
| * | Implement a coverage checker for injectivity | Richard Eisenberg | 2019-10-23 | 1 | -1/+19 |
| * | Break up TcRnTypes, among other modules. | Richard Eisenberg | 2019-10-16 | 1 | -128/+2 |
| * | Merge TcTypeableValidity into TcTypeable, document treatment of casts | Ryan Scott | 2019-10-03 | 1 | -1/+0 |
| * | Standalone kind signatures (#16794)wip/top-level-kind-signatures | Vladislav Zavialov | 2019-09-25 | 1 | -0/+3 |
| * | Use injectiveVarsOfType to catch dodgy type family instance binders (#17008) | Ryan Scott | 2019-08-02 | 1 | -72/+0 |
| * | Break up TyCoRep | Ben Gamari | 2019-07-31 | 1 | -0/+3 |
| * | Fix typechecking of partial type signatures | Simon Peyton Jones | 2019-06-19 | 1 | -5/+8 |
| * | Fix #16517 by bumping the TcLevel for method sigs | Richard Eisenberg | 2019-06-09 | 1 | -16/+18 |
| * | Fix typos | Krzysztof Gogolewski | 2019-03-19 | 1 | -1/+1 |
| * | Update Trac ticket URLs to point to GitLab | Ryan Scott | 2019-03-15 | 1 | -8/+8 |
| * | Use transSuperClasses in TcErrors | Simon Peyton Jones | 2019-03-12 | 1 | -2/+21 |
| * | Visible dependent quantification | Ryan Scott | 2019-03-01 | 1 | -2/+12 |
| * | Add AnonArgFlag to FunTy | Simon Peyton Jones | 2019-02-23 | 1 | -60/+42 |
| * | Make a smart mkAppTyM | Simon Peyton Jones | 2019-02-14 | 1 | -196/+101 |
| * | Comments only | Simon Peyton Jones | 2019-02-08 | 1 | -4/+9 |
| * | Be pickier about unsaturated synonyms in :kind | Ryan Scott | 2019-01-08 | 1 | -2/+6 |
| * | Introduce tcTypeKind, and use it | Simon Peyton Jones | 2018-12-03 | 1 | -11/+11 |
| * | Fix #15954 by rejigging check_type's order | Ryan Scott | 2018-12-03 | 1 | -1/+1 |
| * | Fix unused-import warnings | David Eichmann | 2018-11-22 | 1 | -1/+1 |
| * | Overhaul -fprint-explicit-kinds to use VKA | Ryan Scott | 2018-11-22 | 1 | -15/+80 |
| * | Finish fix for #14880. | Tobias Dammers | 2018-10-28 | 1 | -147/+2 |
| * | Fix TcType.anyRewritableTyVar | Ningning Xie | 2018-10-28 | 1 | -13/+9 |
| * | Fix comment in TcType | Simon Peyton Jones | 2018-10-25 | 1 | -20/+5 |
| * | Refactor the treatment of predicate types | Simon Peyton Jones | 2018-10-24 | 1 | -29/+60 |
| * | Coercion Quantification | ningning | 2018-09-15 | 1 | -35/+42 |
| * | Replace most occurences of foldl with foldl'. | klebinger.andreas@gmx.at | 2018-08-21 | 1 | -3/+3 |
| * | Comments only | Simon Peyton Jones | 2018-08-21 | 1 | -2/+3 |
| * | Rename SigTv to TyVarTv (#15480) | Joachim Breitner | 2018-08-16 | 1 | -28/+20 |
| * | Remove the type-checking knot. | Richard Eisenberg | 2018-08-01 | 1 | -17/+7 |
| * | Treat isConstraintKind more consistently | Simon Peyton Jones | 2018-07-25 | 1 | -34/+35 |
| * | Fix spelling errors | Sasa Bogicevic | 2018-07-17 | 1 | -2/+2 |
| * | Fix a typo | Sasa Bogicevic | 2018-07-17 | 1 | -1/+1 |
| * | Better Note [The well-kinded type invariant] | Simon Peyton Jones | 2018-07-11 | 1 | -20/+20 |
| * | Add nakedSubstTy and use it in TcHsType.tcInferApps | Simon Peyton Jones | 2018-07-10 | 1 | -28/+80 |
| * | More refactoring in TcValidity | Simon Peyton Jones | 2018-07-10 | 1 | -2/+5 |
| * | Refactor coercion rule | ningning | 2018-07-09 | 1 | -2/+5 |
| * | Move a Note to the module that refers to it | Simon Peyton Jones | 2018-06-22 | 1 | -0/+13 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |