Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update Trac ticket URLs to point to GitLab | Ryan Scott | 2019-03-15 | 1 | -4/+4 |
* | Add AnonArgFlag to FunTy | Simon Peyton Jones | 2019-02-23 | 1 | -1/+1 |
* | Wibble to Taming the Kind Inference Monster | Simon Peyton Jones | 2018-12-07 | 1 | -0/+2 |
* | Introduce tcTypeKind, and use it | Simon Peyton Jones | 2018-12-03 | 1 | -2/+2 |
* | Taming the Kind Inference Monster | Simon Peyton Jones | 2018-11-29 | 1 | -1/+27 |
* | Fix unused-import warnings | David Eichmann | 2018-11-22 | 1 | -2/+0 |
* | Improve comments, triggered by Trac #15135 | Simon Peyton Jones | 2018-10-25 | 1 | -0/+21 |
* | Refactor the treatment of predicate types | Simon Peyton Jones | 2018-10-24 | 1 | -4/+3 |
* | Support builtin classes like KnownNat in backpack | Piyush P Kurur | 2018-10-11 | 1 | -9/+67 |
* | A few typos [ci skip] | Gabor Greif | 2018-08-30 | 1 | -1/+1 |
* | Refactor (~) to reduce the suerpclass stack | Simon Peyton Jones | 2018-07-27 | 1 | -7/+17 |
* | Treat isConstraintKind more consistently | Simon Peyton Jones | 2018-07-25 | 1 | -2/+1 |
* | Refactor validity checking for constraints | Simon Peyton Jones | 2018-07-05 | 1 | -0/+586 |