summaryrefslogtreecommitdiff
path: root/compiler/typecheck/ClsInst.hs
Commit message (Expand)AuthorAgeFilesLines
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-4/+4
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-1/+1
* Wibble to Taming the Kind Inference MonsterSimon Peyton Jones2018-12-071-0/+2
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-2/+2
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-1/+27
* Fix unused-import warningsDavid Eichmann2018-11-221-2/+0
* Improve comments, triggered by Trac #15135Simon Peyton Jones2018-10-251-0/+21
* Refactor the treatment of predicate typesSimon Peyton Jones2018-10-241-4/+3
* Support builtin classes like KnownNat in backpackPiyush P Kurur2018-10-111-9/+67
* A few typos [ci skip]Gabor Greif2018-08-301-1/+1
* Refactor (~) to reduce the suerpclass stackSimon Peyton Jones2018-07-271-7/+17
* Treat isConstraintKind more consistentlySimon Peyton Jones2018-07-251-2/+1
* Refactor validity checking for constraintsSimon Peyton Jones2018-07-051-0/+586