summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail
Commit message (Expand)AuthorAgeFilesLines
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-123-25/+24
* Improve partial signaturesSimon Peyton Jones2023-04-143-2/+19
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-141-4/+4
* Rename () into Unit, (,,...,,) into Tuple<n> (#21294)Andrei Borzenkov2023-03-211-1/+1
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-1112-55/+31
* Introduce TcRnWithHsDocContext (#22346)Vladislav Zavialov2022-10-2630-75/+75
* Diagnostic codes: acccept test changessheaf2022-09-1368-120/+120
* Print constraints in quotes (#21167)Swann Moreau2022-08-197-19/+19
* Improve error reporting in generated codeSimon Peyton Jones2022-05-041-2/+2
* decideMonoTyVars: account for CoVars in candidatessheaf2022-04-222-0/+29
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-152-6/+7
* Error on anon wildcards in tcAnonWildCardOccsheaf2022-02-261-1/+3
* Kill derived constraintsRichard Eisenberg2022-02-234-39/+17
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-052-27/+27
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-2/+2
* 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
View Lorry Controller Status