summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail
Commit message (Expand)AuthorAgeFilesLines
* 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
* Allow (unparenthesized) kind signaturesAlec Theriault2018-10-041-2/+2
* Reject class instances with type families in kindsRyan Scott2018-09-023-14/+17
* Allow scoped type variables refer to typesJoachim Breitner2018-08-053-155/+0
* Fix #15423 by using pprAStmtContextRyan Scott2018-07-201-1/+1
* Use IfaceAppArgs to store an IfaceAppTy's argumentsRyan Scott2018-07-111-3/+3
* Make ppr_tc_args aware of -fprint-explicit-kindsRyan Scott2018-07-051-1/+1
* Fix typechecking of kind signaturesSimon Peyton Jones2018-06-183-0/+15
* Quantify unfixed kind variables in CUSKsRichard Eisenberg2018-06-153-35/+0
* Built-in Natural literals in CoreSylvain Henry2018-06-151-1/+1
* Add "quantified constraint" context in error message, fix #15231.HE, Tao2018-06-153-5/+6
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-1425-80/+95
* Fix #13777 by improving the underdetermined CUSK error messageRyan Scott2018-06-023-0/+35
* Add regression test for #14246Ryan Scott2018-05-263-0/+48
* Clean up the conflicting data family instances error messageRyan Scott2018-05-2413-42/+76
* Check for type families in an instance contextSimon Peyton Jones2018-05-213-0/+17
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-20/+14
* Track type variable scope more carefully.Richard Eisenberg2018-03-312-2/+1
* Turn EvTerm (almost) into CoreExpr (#14691)Joachim Breitner2018-01-261-1/+1
* Fix floating of equalitiesSimon Peyton Jones2017-12-211-4/+6
* Cache TypeRep kinds aggressivelyDavid Feuer2017-12-011-1/+1
* Minimise provided dictionaries in pattern synonymsSimon Peyton Jones2017-11-081-1/+1
* Fix #14369 by making injectivity warnings finer-grainedRyan Scott2017-10-1912-12/+48
* Remove wc_insol from WantedConstraintsSimon Peyton Jones2017-10-111-1/+1
* testsuite: Fix dependence on grep behavior in T8129Ben Gamari2017-09-141-1/+1
* Refactor tcInferAppsSimon Peyton Jones2017-09-141-1/+1
* Tidying could cause ill-kinded typesSimon Peyton Jones2017-09-143-0/+13
* Implicitly bind kind variables in type family instance RHSes when it's sensibleRyan Scott2017-09-052-7/+9
* Move NonEmpty definition into GHC.BaseHerbert Valerio Riedel2017-09-041-1/+1
* Refactor bindHsQTyVars and friendsSimon Peyton Jones2017-08-291-2/+2
* Fix #13972 by producing tidier errorsRyan Scott2017-08-173-0/+20
* Fix #14045 by omitting an unnecessary checkRichard Eisenberg2017-07-296-3/+25
View Lorry Controller Status