summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcHsType.hs
Commit message (Expand)AuthorAgeFilesLines
* Refactor UnliftedNewtypes-relation kind signature validity checksRyan Scott2019-06-231-8/+97
* Fix typechecking of partial type signaturesSimon Peyton Jones2019-06-191-70/+91
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-2/+0
* Fix #16517 by bumping the TcLevel for method sigsRichard Eisenberg2019-06-091-21/+40
* Make equality constraints in kinds invisibleRyan Scott2019-05-031-2/+2
* Replace nOfThem by replicateKrzysztof Gogolewski2019-03-191-3/+3
* Add location to the extra-constraints wildcardSimon Peyton Jones2019-03-161-3/+4
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-13/+13
* Stop inferring over-polymorphic kindsSimon Peyton Jones2019-03-091-59/+57
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-52/+51
* Visible dependent quantificationRyan Scott2019-03-011-2/+6
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-116/+0
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-36/+21
* Remove tcTyConUserTyVarsSimon Peyton Jones2019-02-221-4/+4
* Get rid of tcm_smart from TyCoMapperSimon Peyton Jones2019-02-171-2/+1
* Fail fast in solveLocalEqualitiesSimon Peyton Jones2019-02-141-0/+4
* Make a smart mkAppTyMSimon Peyton Jones2019-02-141-335/+518
* API Annotations: AnnAt disconnected for TYPEAPPAlan Zimmerman2019-02-081-4/+5
* Some refactoring in tcInferAppsRichard Eisenberg2019-01-271-92/+96
* Be pickier about unsaturated synonyms in :kindRyan Scott2019-01-081-1/+1
* Visible kind applicationmynguyen2019-01-031-161/+276
* Add solveLocalEqualities to tcHsPatSigTypeSimon Peyton Jones2018-12-201-1/+5
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-9/+9
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-722/+597
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-0/+1
* Actually fail in failIfEmitsConstraintsRichard Eisenberg2018-11-011-1/+1
* Finish fix for #14880.Tobias Dammers2018-10-281-87/+148
* Fix `:k` command: add validity checkingNingning Xie2018-10-281-1/+1
* Remove a zonkTcTyVarToTyVarSimon Peyton Jones2018-10-251-20/+12
* Quantify class variables first in associated families' kindsRyan Scott2018-10-011-10/+72
* Coercion Quantificationningning2018-09-151-7/+7
* Remove knot-tying bug in TcHsSyn.zonkTyVarOccSimon Peyton Jones2018-08-311-4/+4
* Minor improvements to comments [skip ci]Richard Eisenberg2018-08-301-5/+7
* Rename kind vars in left-to-right order in bindHsQTyVarsRyan Scott2018-08-281-1/+1
* Add a solveEqualities to tcClassDecl1Simon Peyton Jones2018-08-211-5/+5
* Rename SigTv to TyVarTv (#15480)Joachim Breitner2018-08-161-27/+27
* Allow scoped type variables refer to typesJoachim Breitner2018-08-051-32/+21
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-96/+108
* Fix #15415 and simplify tcWildCardBindersVladislav Zavialov2018-08-011-24/+8
* Remove the type-checking knot.Richard Eisenberg2018-08-011-102/+35
* Treat isConstraintKind more consistentlySimon Peyton Jones2018-07-251-5/+4
* Fix a typo in related trac ticket numberSasa Bogicevic2018-07-171-1/+1
* Don't mkNakedCastTy on something unsaturatedRichard Eisenberg2018-07-141-3/+11
* Improve comments about CUSKsSimon Peyton Jones2018-07-131-2/+2
* Remove bad debugging output.Richard Eisenberg2018-07-101-1/+0
* Note [Ordering of implicit variables]Richard Eisenberg2018-07-101-0/+2
* Expand and implement Note [The tcType invariant]Richard Eisenberg2018-07-101-29/+48
* Kind-check CUSK associated types separatelyRichard Eisenberg2018-07-101-6/+6
* Add nakedSubstTy and use it in TcHsType.tcInferAppsSimon Peyton Jones2018-07-101-6/+14
* More tc-tracingSimon Peyton Jones2018-07-101-3/+7
View Lorry Controller Status