summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcTyClsDecls.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix #16517 by bumping the TcLevel for method sigswip/backport-MR951Richard Eisenberg2019-06-201-1/+3
* Reject oversaturated VKAs in type family equationsRyan Scott2019-02-201-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
* Simplify the kind checking for type/class declsSimon Peyton Jones2018-05-081-103/+129
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-271-18/+53
* TTG for HsBinds and Data instances Plan BAlan Zimmerman2018-04-131-2/+3
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-091-8/+9
* Fix #14991.Richard Eisenberg2018-04-021-1/+1
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-209/+309
* Don't permit data types with return kind ConstraintRyan Scott2018-03-191-2/+2
* Fix #14719 by using the setting the right SrcSpanRyan Scott2018-01-261-2/+2
* Lift constructor tag allocation out of a loopBartosz Nitka2018-01-101-5/+8
* Typos in comments [ci skip]Gabor Greif2017-12-281-1/+1
* Fix tcDataKindSigSimon Peyton Jones2017-12-151-7/+15
* Better tc-trace messagesSimon Peyton Jones2017-12-141-5/+9
* Further improvements to well-kinded typesSimon Peyton Jones2017-12-131-20/+23
* Fix SigTvs at the kind levelSimon Peyton Jones2017-12-111-13/+63
* Refactor kcHsTyVarBndrsSimon Peyton Jones2017-12-081-4/+4
* Refactor ConDecl: Trac #14529Simon Peyton Jones2017-12-071-75/+62
View Lorry Controller Status