summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcTyClsDecls.hs
Commit message (Expand)AuthorAgeFilesLines
* Refactor UnliftedNewtypes-relation kind signature validity checksRyan Scott2019-06-231-20/+10
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-69/+268
* Fix #16517 by bumping the TcLevel for method sigsRichard Eisenberg2019-06-091-2/+4
* Use HsTyPats in associated type family defaultsRyan Scott2019-05-221-73/+68
* Guard CUSKs behind a language pragmaVladislav Zavialov2019-05-141-18/+29
* Check for duplicate variables in associated default equationsRyan Scott2019-05-071-13/+62
* Only skip decls with CUSKs with PolyKinds on (fix #16609)Ningning Xie2019-05-031-7/+26
* Tweak error messages for narrowly-kinded assoc default declsRyan Scott2019-04-041-24/+60
* Report better suggestion for GADT data constructorSimon Peyton Jones2019-03-151-13/+9
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-21/+21
* Stop inferring over-polymorphic kindsSimon Peyton Jones2019-03-091-3/+3
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-73/+164
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-11/+2
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-13/+13
* Remove tcTyConUserTyVarsSimon Peyton Jones2019-02-221-4/+2
* Make a smart mkAppTyMSimon Peyton Jones2019-02-141-48/+5
* Minor refactor of CUSK handlingSimon Peyton Jones2019-02-081-13/+15
* Reject oversaturated VKAs in type family equationsRyan Scott2019-02-011-0/+3
* Visible kind applicationmynguyen2019-01-031-4/+10
* Fix #16002 by moving a validity check to the renamerRyan Scott2018-12-201-9/+0
* Use https links in user-facing startup and error messagesBen Gamari2018-12-141-1/+1
* Fix #16008 with a pinch of addConsistencyConstraintsRyan Scott2018-12-111-8/+8
* Remove a tcTraceSimon Peyton Jones2018-12-061-1/+2
* Comments onlySimon Peyton Jones2018-12-031-3/+15
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-4/+4
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-675/+664
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-70/+99
* Finish fix for #14880.Tobias Dammers2018-10-281-281/+292
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-18/+56
* Fix generalisation for type constructorsSimon Peyton Jones2018-10-261-7/+51
* Distinguish Inferred from Specified tyvarsSimon Peyton Jones2018-10-041-10/+56
* Quantify class variables first in associated families' kindsRyan Scott2018-10-011-20/+37
* Fix #15637 by using VTA more in GNDRyan Scott2018-10-011-4/+7
* Coercion Quantificationningning2018-09-151-4/+5
* Remove knot-tying bug in TcHsSyn.zonkTyVarOccSimon Peyton Jones2018-08-311-21/+21
* Comments onlySimon Peyton Jones2018-08-231-18/+21
* Add a solveEqualities to tcClassDecl1Simon Peyton Jones2018-08-211-187/+208
* Rename SigTv to TyVarTv (#15480)Joachim Breitner2018-08-161-11/+11
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-3/+4
* Remove the type-checking knot.Richard Eisenberg2018-08-011-28/+36
* Treat isConstraintKind more consistentlySimon Peyton Jones2018-07-251-2/+2
* Move check for dcUserTyVarBinders invariantRichard Eisenberg2018-07-141-0/+19
* Kind-check CUSK associated types separatelyRichard Eisenberg2018-07-101-26/+45
* More tc-tracingSimon Peyton Jones2018-07-101-6/+8
* More refactoring in TcValiditySimon Peyton Jones2018-07-101-1/+1
* Refactor the kind-checking of tyvar bindersSimon Peyton Jones2018-06-251-1/+2
* Typofixes in docs and comments [ci skip]Gabor Greif2018-06-181-1/+1
* Two small refactoringsSimon Peyton Jones2018-06-181-2/+1
* Make better "fake tycons" in error recoverySimon Peyton Jones2018-06-151-23/+45
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-39/+4
View Lorry Controller Status