summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/all.T
Commit message (Expand)AuthorAgeFilesLines
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-121-1/+1
* Report family instance orphans correctlySimon Peyton Jones2023-01-271-0/+1
* Use TcRnDiagnostic in GHC.Tc.TyCl.Instance (#20117)Giles Anderson2022-11-091-0/+2
* Testsuite: more precise test optionsSylvain Henry2022-10-261-1/+1
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-251-0/+1
* Make Constraint not *apart* from Type.Richard Eisenberg2022-03-021-0/+1
* Kill derived constraintsRichard Eisenberg2022-02-231-2/+2
* Show family TyCons in mk_dict_error in the case of a single matchZiyang Liu2021-10-291-0/+1
* Use tcEqType in GHC.Core.Unify.uVarsheaf2021-10-221-0/+1
* Improve overlap error for polykinded constraintssheaf2021-10-061-0/+1
* Remove flattening variablesRichard Eisenberg2020-12-011-0/+1
* Postpone associated tyfam default checks until after typecheckingRyan Scott2020-09-091-0/+1
* Fix #13571 by adding an extension flag checkRichard Eisenberg2019-09-171-0/+2
* Use injectiveVarsOfType to catch dodgy type family instance binders (#17008)Ryan Scott2019-08-021-0/+1
* Use HsTyPats in associated type family defaultsRyan Scott2019-05-221-0/+6
* Check for duplicate variables in associated default equationsRyan Scott2019-05-071-0/+1
* Tweak error messages for narrowly-kinded assoc default declsRyan Scott2019-04-041-0/+1
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-1/+1
* testsuite: Mark T5515 as broken with debugged compilerBen Gamari2019-02-071-1/+1
* testsuite: Use makefile_testBen Gamari2019-01-301-6/+3
* Revert "Batch merge"Ben Gamari2019-01-301-3/+6
* Batch mergeBen Gamari2019-01-301-6/+3
* Two tests for Trac #14230Simon Peyton Jones2018-11-301-0/+2
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-2/+6
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-0/+4
* Allow scoped type variables refer to typesJoachim Breitner2018-08-051-1/+0
* Fix typechecking of kind signaturesSimon Peyton Jones2018-06-181-0/+1
* Quantify unfixed kind variables in CUSKsRichard Eisenberg2018-06-151-1/+0
* Fix #13777 by improving the underdetermined CUSK error messageRyan Scott2018-06-021-0/+1
* Add regression test for #14246Ryan Scott2018-05-261-0/+1
* Clean up the conflicting data family instances error messageRyan Scott2018-05-241-0/+1
* Check for type families in an instance contextSimon Peyton Jones2018-05-211-0/+1
* Fix #14369 by making injectivity warnings finer-grainedRyan Scott2017-10-191-0/+1
* Tidying could cause ill-kinded typesSimon Peyton Jones2017-09-141-0/+1
* Fix #13972 by producing tidier errorsRyan Scott2017-08-171-0/+1
* Fix #14045 by omitting an unnecessary checkRichard Eisenberg2017-07-291-0/+1
* Add regression tests for #13601, #13780, #13877Ryan Scott2017-07-281-0/+1
* Test Trac #14033Simon Peyton Jones2017-07-261-0/+1
* Test Trac #13784Simon Peyton Jones2017-06-051-0/+1
* Re-engineer Given flatten-skolemsSimon Peyton Jones2017-05-261-0/+1
* Testcase for type family consistency checksBartosz Nitka2017-05-221-0/+2
* Allow associated types to pattern-match in non-class-bound variablesRyan Scott2017-03-141-1/+1
* tests: remove extra_files.py (#12223)Reid Barton2017-02-261-1/+1
* Test Trac #13271Simon Peyton Jones2017-02-221-0/+1
* Don't replace type family instances with the same LHS in GHCi (#7102)Reid Barton2017-02-051-0/+2
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-16/+4
* Test Trac #12867Simon Peyton Jones2016-11-251-0/+1
* Allow TyVars in TcTypesSimon Peyton Jones2016-11-251-2/+1
* Mark T12041 as expect_broken with -DDEBUG (#12826)Simon Marlow2016-11-151-1/+2
* Prevent GND from inferring an instance context for method-less classesRyan Scott2016-11-101-1/+0
View Lorry Controller Status