summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T6018fail.stderr
Commit message (Expand)AuthorAgeFilesLines
* Always generate ModDetails from ModIfaceMatthew Pickering2021-04-141-12/+12
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-3/+3
* Fix #17405 by not checking imported equationsRichard Eisenberg2019-11-101-26/+37
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-231-5/+7
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-2/+2
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-221-10/+7
* Finish fix for #14880.Tobias Dammers2018-10-281-1/+1
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-151-60/+60
* Rename kind vars in left-to-right order in bindHsQTyVarsRyan Scott2018-08-281-1/+1
* Remove the type-checking knot.Richard Eisenberg2018-08-011-2/+3
* Allow associated types to pattern-match in non-class-bound variablesRyan Scott2017-03-141-8/+5
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-4/+4
* Make checkFamInstConsistency fasterBartosz Nitka2017-01-231-2/+2
* Replace -fshow-source-paths with -fhide-source-pathsSylvain Henry2016-11-291-5/+5
* Make default output less verbose (source/object paths)Sylvain HENRY2016-11-111-5/+5
* The Backpack patch.Edward Z. Yang2016-10-081-4/+4
* tidyOccNames: Rename variables fairlyJoachim Breitner2016-07-141-1/+1
* Make the Ord Module independent of Unique order (2nd try)Bartosz Nitka2016-06-221-2/+2
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-1/+1
* Revert "Make the Ord Module independent of Unique order"Simon Peyton Jones2016-06-151-2/+2
* Make the Ord Module independent of Unique orderBartosz Nitka2016-06-131-2/+2
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-3/+3
* SCC analysis for instances as well as types/classesSimon Peyton Jones2016-04-201-3/+3
* Tighten checking for associated type instancesSimon Peyton Jones2016-04-191-5/+8
* Define TyCoRep.ppSuggestExplicitKinds, and use itSimon Peyton Jones2016-04-191-4/+4
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-4/+4
* Fix inconsistent pretty-printing of type familiesMichał Sośnicki2015-11-181-37/+40
* Re-polish error messages around injective TFs.Richard Eisenberg2015-09-201-11/+16
* Polish some error messages.Richard Eisenberg2015-09-191-20/+20
* Fix #10815 by kind-checking type patterns against known kinds.Richard Eisenberg2015-09-191-27/+27
* Injective type familiesJan Stolarek2015-09-031-0/+149
View Lorry Controller Status