summaryrefslogtreecommitdiff
path: root/compiler/typecheck/ClsInst.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: Types (#13009)Sylvain Henry2020-03-291-4/+4
* Modules: Core (#13009)Sylvain Henry2020-03-161-7/+7
* Modules: Core (#13009)Sylvain Henry2020-02-261-1/+1
* Modules: Driver (#13009)Sylvain Henry2020-02-211-1/+1
* Disable two warnings for files that trigger themTom Ellis2020-01-271-0/+2
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-1/+1
* Module hierarchy: Renamer (cf #13009)Sylvain Henry2020-01-081-1/+1
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-0/+1
* Do not add a 'solved dict' for quantified constraintsSimon Peyton Jones2019-10-121-9/+20
* Merge TcTypeableValidity into TcTypeable, document treatment of castsRyan Scott2019-10-031-1/+1
* Synchronize ClsInst.doTyConApp with TcTypeable validity checks (#15862)Ryan Scott2019-06-151-1/+2
* 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
View Lorry Controller Status