summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds
Commit message (Expand)AuthorAgeFilesLines
* Visible kind applicationmynguyen2019-01-032-14/+21
* Make candidateQTvs contain tyvar with zonked kindsSimon Peyton Jones2018-12-213-0/+27
* Wibble to Taming the Kind Inference MonsterSimon Peyton Jones2018-12-073-6/+7
* Tests Trac #14847Simon Peyton Jones2018-12-062-0/+18
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-2923-56/+162
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-224-7/+5
* Smarter HsType pretty-print for promoted dataconsSimon Peyton Jones2018-11-154-10/+10
* Actually fail in failIfEmitsConstraintsRichard Eisenberg2018-11-011-6/+0
* Add second test case for #15592Ryan Scott2018-10-303-0/+16
* Fix #15787 by squashing a coercion hole.Richard Eisenberg2018-10-283-0/+26
* Finish fix for #14880.Tobias Dammers2018-10-285-15/+17
* Fix nasty bug in the type free-var finder, at lastSimon Peyton Jones2018-10-261-1/+1
* Improve output from -ddump-typesSimon Peyton Jones2018-10-241-5/+3
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-1537-100/+158
* Allow (unparenthesized) kind signaturesAlec Theriault2018-10-042-4/+4
* Distinguish Inferred from Specified tyvarsSimon Peyton Jones2018-10-043-0/+17
* canCFunEqCan: use isTcReflexiveCo (not isTcReflCo)Simon Peyton Jones2018-09-033-0/+93
* Reject class instances with type families in kindsRyan Scott2018-09-021-1/+3
* Rename kind vars in left-to-right order in bindHsQTyVarsRyan Scott2018-08-282-2/+2
* Better error reporting for inaccessible codeSimon Peyton Jones2018-08-241-1/+1
* Rename SigTv to TyVarTv (#15480)Joachim Breitner2018-08-166-8/+8
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-0213-53/+93
* Remove the type-checking knot.Richard Eisenberg2018-08-011-1/+1
* Set GenSigCtxt for the argument part of tcSubTypeSimon Peyton Jones2018-07-252-3/+3
* Do not imply NoStarIsType by TypeOperators/TypeInTypeVladislav Zavialov2018-07-161-3/+3
* Unwrap casts before checking vars in eager unifierRichard Eisenberg2018-07-102-16/+68
* More refactoring in TcValiditySimon Peyton Jones2018-07-101-1/+1
* Refactor validity checking for constraintsSimon Peyton Jones2018-07-051-3/+1
* base: Add missing instances for Data.Ord.DownBen Gamari2018-06-191-1/+1
* Quantify unfixed kind variables in CUSKsRichard Eisenberg2018-06-153-21/+2
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-1460-142/+149
* Expand type synonyms when Linting a forallSimon Peyton Jones2018-06-042-0/+20
* Fix #13777 by improving the underdetermined CUSK error messageRyan Scott2018-06-021-0/+1
* base: Introduce Data.Monoid.Apchessai2018-05-271-1/+1
* Add regression test for #14172Ryan Scott2018-05-264-0/+115
* Make dischargeFmv handle DerivedsSimon Peyton Jones2018-05-212-0/+27
* base: Add Foldable and Traversable instances for AltJack Henahan2018-05-191-1/+1
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-186-48/+22
* Simplify the kind checking for type/class declsSimon Peyton Jones2018-05-085-0/+31
* Fix #14710 with more validity checks during renamingRyan Scott2018-04-194-2/+67
* testsuite: Accept output for T12593Ben Gamari2018-04-061-2/+2
* Track type variable scope more carefully.Richard Eisenberg2018-03-3111-68/+62
* Fix performance of flattener patch (#12919)Alexander Vieth2018-03-261-5/+2
* Respect Note [The tcType invariant]Simon Peyton Jones2018-03-052-0/+50
* Fix a nasty bug in the pure unifierSimon Peyton Jones2018-02-273-0/+83
* Raise parse error for `data T where`.HE, Tao2018-02-131-1/+1
* Prioritise equalities when solving, incl derivedsSimon Peyton Jones2018-01-312-0/+71
* Fix #14719 by using the setting the right SrcSpanRyan Scott2018-01-261-2/+2
* Fix scoping of pattern-synonym existentialsSimon Peyton Jones2017-12-182-10/+10
* Fix tcDataKindSigSimon Peyton Jones2017-12-152-0/+14
View Lorry Controller Status