summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail
Commit message (Expand)AuthorAgeFilesLines
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-173-3/+3
* Include "not more specific" info in overlap msgsheaf2021-11-201-4/+3
* Improve overlap error for polykinded constraintssheaf2021-10-061-2/+2
* Eradicate TcRnUnknownMessage from GHC.Tc.DerivAlfredo Di Napoli2021-10-051-1/+1
* Add more instances for SoloDavid Feuer2021-09-181-1/+1
* Correct warning for deprecated and unrecognised flagsAlfredo Di Napoli2021-04-052-2/+2
* Use GHC2021 as default languageJoachim Breitner2021-03-106-18/+21
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-013-10/+12
* Kill floatEqualities completelySimon Peyton Jones2020-12-201-4/+9
* Remove flattening variablesRichard Eisenberg2020-12-016-6/+6
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-16/+26
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-242-12/+13
* Update testsuiteSylvain Henry2020-06-171-3/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-0513-107/+145
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-39/+7
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-123-5/+5
* Improve skolemisationSimon Peyton Jones2020-02-014-6/+6
* Don't zap to Any; error insteadRichard Eisenberg2020-01-121-33/+24
* Whitespace-sensitive bang patterns (#1087, #17162)wip/whitespace-and-lookaheadVladislav Zavialov2019-11-271-1/+1
* Use level numbers for generalisationRichard Eisenberg2019-09-191-5/+5
* Refactor kindGeneralize and friendsRichard Eisenberg2019-09-191-5/+8
* Fix typechecking of partial type signaturesSimon Peyton Jones2019-06-191-4/+4
* Add location to the extra-constraints wildcardSimon Peyton Jones2019-03-163-9/+9
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* Fail fast in solveLocalEqualitiesSimon Peyton Jones2019-02-142-33/+1
* Visible kind applicationmynguyen2019-01-0318-109/+127
* testsuite: Normalise away spurious differences in out-of-scope instancesBen Gamari2018-12-121-1/+1
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-4/+4
* Do not imply NoStarIsType by TypeOperators/TypeInTypeVladislav Zavialov2018-07-161-2/+2
* Use IfaceAppArgs to store an IfaceAppTy's argumentsRyan Scott2018-07-111-6/+3
* Unwrap casts before checking vars in eager unifierRichard Eisenberg2018-07-103-44/+53
* Built-in Natural literals in CoreSylvain Henry2018-06-151-1/+1
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-143-3/+3
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-11/+15
* Add regression tests for #11515 and #12563Ryan Scott2018-05-183-0/+14
* Tidy up error suppressionSimon Peyton Jones2018-05-152-0/+24
* Track type variable scope more carefully.Richard Eisenberg2018-03-313-15/+46
* Allow PartialTypeSignatures in standalone deriving contextsRyan Scott2018-03-235-0/+43
* Simplify rnLHsInstTypeSimon Peyton Jones2018-03-052-3/+1
* Fix two more bugs in partial signaturesSimon Peyton Jones2018-01-092-2/+2
* Fix floating of equalitiesSimon Peyton Jones2017-12-215-0/+119
* Check for bogus quantified tyvars in partial type sigsSimon Peyton Jones2017-12-213-0/+20
* Add regression test for #14040Ryan Scott2017-12-123-0/+83
* Check quantification for partial type signatuesSimon Peyton Jones2017-11-273-0/+11
* Improve type-error reportingSimon Peyton Jones2017-09-253-9/+5
* Move NonEmpty definition into GHC.BaseHerbert Valerio Riedel2017-09-041-2/+2
* Fix ungrammatical error messageRyan Scott2017-07-211-1/+1
* Typos in comments [ci skip]Gabor Greif2017-04-111-1/+1
* Remove solveSomeEqualitiesRichard Eisenberg2017-03-171-7/+0
* Fix #13337.Richard Eisenberg2017-03-142-1/+15
View Lorry Controller Status