summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail
Commit message (Expand)AuthorAgeFilesLines
* GHC Exactprint main commitAlan Zimmerman2021-03-202-2/+2
* Use GHC2021 as default languageJoachim Breitner2021-03-1040-71/+92
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-016-32/+42
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-192-8/+7
* Add instances for GHC.Tuple.SoloBen Gamari2021-01-271-1/+1
* Never Anyify during kind inferenceRichard Eisenberg2021-01-091-2/+2
* Reject dodgy scoping in associated family instance RHSesRyan Scott2020-12-171-22/+6
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-082-10/+10
* Remove flattening variablesRichard Eisenberg2020-12-0117-58/+102
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-244-10/+8
* Postpone associated tyfam default checks until after typecheckingRyan Scott2020-09-0910-7/+32
* Don't mark closed type family equations as occurrencesRyan Scott2020-07-301-4/+4
* Update testsuiteSylvain Henry2020-06-171-1/+1
* Always use rnImplicitBndrs to bring implicit tyvars into scopeRyan Scott2020-06-102-2/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-0540-147/+194
* Explicit SpecificityGert-Jan Bottu2020-05-211-1/+1
* Do eager instantation in termsSimon Peyton Jones2020-04-222-5/+4
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1/+1
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-202-2/+6
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-122-2/+2
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-041-1/+1
* Pretty-printing of the * kindVladislav Zavialov2019-12-057-9/+9
* Strip parentheses in expressions contexts in error messagesVladislav Zavialov2019-11-191-7/+7
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-236-9/+11
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-252-22/+25
* Fix #13571 by adding an extension flag checkRichard Eisenberg2019-09-175-0/+25
* Use injectiveVarsOfType to catch dodgy type family instance binders (#17008)Ryan Scott2019-08-023-0/+22
* Use HsTyPats in associated type family defaultsRyan Scott2019-05-2214-5/+130
* Check for duplicate variables in associated default equationsRyan Scott2019-05-074-1/+18
* Tweak error messages for narrowly-kinded assoc default declsRyan Scott2019-04-043-0/+15
* Reject nested predicates in impredicativity checkingRyan Scott2019-03-201-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-153-3/+3
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-1/+1
* Fail fast in solveLocalEqualitiesSimon Peyton Jones2019-02-141-20/+2
* Fix #16188Richard Eisenberg2019-02-121-12/+0
* testsuite: Mark T5515 as broken with debugged compilerBen Gamari2019-02-071-1/+1
* testsuite: Use makefile_testBen Gamari2019-01-304-9/+6
* Revert "Batch merge"Ben Gamari2019-01-304-6/+9
* Batch mergeBen Gamari2019-01-304-9/+6
* Fix #16116 by removing badAssocRhsRyan Scott2019-01-151-6/+22
* Visible kind applicationmynguyen2019-01-031-24/+0
* Fix #16002 by moving a validity check to the renamerRyan Scott2018-12-201-2/+2
* don't suggest Rank2Types in error messages (Fixed #16000)chessai2018-12-191-1/+1
* Wibble to Taming the Kind Inference MonsterSimon Peyton Jones2018-12-077-10/+10
* Two tests for Trac #14230Simon Peyton Jones2018-11-305-0/+39
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-2932-66/+257
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-221-3/+4
* Finish fix for #14880.Tobias Dammers2018-10-281-0/+1
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-277-0/+130
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-1514-23/+44
View Lorry Controller Status