summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail/T14584.stderr
Commit message (Expand)AuthorAgeFilesLines
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-121-19/+6
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-1/+2
* Diagnostic codes: acccept test changessheaf2022-09-131-4/+4
* Print constraints in quotes (#21167)Swann Moreau2022-08-191-2/+2
* decideMonoTyVars: account for CoVars in candidatessheaf2022-04-221-0/+23
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-151-6/+6
* Kill derived constraintsRichard Eisenberg2022-02-231-16/+6
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-1/+1
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-4/+4
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-1/+6
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-39/+7
* Visible kind applicationmynguyen2019-01-031-5/+3
* Do not imply NoStarIsType by TypeOperators/TypeInTypeVladislav Zavialov2018-07-161-2/+2
* Unwrap casts before checking vars in eager unifierRichard Eisenberg2018-07-101-7/+39
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-1/+1
* Tidy up error suppressionSimon Peyton Jones2018-05-151-0/+11
* Fix floating of equalitiesSimon Peyton Jones2017-12-211-0/+21
View Lorry Controller Status