summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/all.T
Commit message (Expand)AuthorAgeFilesLines
* 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
* More tests for Trac #12522Simon Peyton Jones2016-10-101-0/+1
* Testsuite: run all indexed-types ways on ./validate --slowThomas Miedema2016-06-281-2/+0
* Improve pretty-printing of equalitiesSimon Peyton Jones2016-05-191-0/+1
* Tighten checking for associated type instancesSimon Peyton Jones2016-04-191-2/+3
* Prevent eager unification with type families.Richard Eisenberg2016-03-211-0/+1
* Allow eager unification with type families.Richard Eisenberg2016-03-141-1/+0
* Check arity on default decl for assoc typesSimon Peyton Jones2015-11-271-0/+1
* Perform a validity check on assoc type defaults.Richard Eisenberg2015-09-211-0/+2
* Testsuite: delete remaining only_compiler_types(['ghc']) setupsThomas Miedema2015-07-141-1/+0
* Testsuite: delete expect_fail setups for ghc < 7.1Thomas Miedema2015-06-091-1/+1
View Lorry Controller Status