summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn/should_fail
Commit message (Expand)AuthorAgeFilesLines
* Add structured error messages for GHC.Tc.Utils.TcMTypeTorsten Schmits2023-03-222-2/+2
* Convert diagnostics in GHC.Rename.Bind to proper TcRnMessage (#20115)Andrei Borzenkov2023-01-284-4/+4
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-251-7/+7
* Diagnostic codes: acccept test changessheaf2022-09-1335-85/+85
* Print constraints in quotes (#21167)Swann Moreau2022-08-194-7/+7
* Desugar RecordUpd in `tcExpr`wip/T18802CarrieMY2022-05-255-28/+5
* Check for uninferrable variables in tcInferPatSynDeclSimon Peyton Jones2022-05-107-4/+23
* Convert More Diagnostics (#20116)Ben Gamari2022-04-301-7/+7
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-2/+1
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-174-7/+8
* Add proper GHCHints for most PsMessage constructorswip/adinapoli-issue-20055Alfredo Di Napoli2021-07-121-1/+2
* Use HsExpansion for overloaded list patternssheaf2021-06-293-18/+0
* Use GHC2021 as default languageJoachim Breitner2021-03-106-9/+12
* Fixes to dealing with the export of mainSimon Peyton Jones2021-03-091-13/+10
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-011-4/+5
* Implement NoFieldSelectors extension (ghc-proposals 160)Adam Gundry2021-02-163-0/+18
* Fix tests relying on same-line diagnostic orderingAlfredo Di Napoli2021-01-221-2/+3
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-081-5/+5
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-063-3/+4
* Fix error message location in tcCheckPatSynDeclSimon Peyton Jones2020-10-234-2/+27
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-243-16/+13
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-056-18/+19
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-3/+15
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-4/+4
* Don't zap to Any; error insteadRichard Eisenberg2020-01-123-0/+52
* More sensible SrcSpans for recursive pattern synonym errors (#16900)Ryan Scott2019-07-053-0/+14
* Improve error recovery in the typecheckerSimon Peyton Jones2019-03-164-2/+6
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-273-34/+1
* Fail fast in solveLocalEqualitiesSimon Peyton Jones2019-02-141-6/+0
* Finish fix for #14880.Tobias Dammers2018-10-283-53/+0
* Solve equalities in a pattern signatureSimon Peyton Jones2018-10-243-0/+30
* Fail fast on pattern synonymsSimon Peyton Jones2018-10-045-0/+47
* Do not mark CoVars as dead in the occur-analSimon Peyton Jones2018-10-043-0/+94
* Fix typosKrzysztof Gogolewski2018-08-051-1/+1
* Fix error recovery for pattern synonymsSimon Peyton Jones2018-06-252-9/+14
* testsuite: Add broken test for #15289Ben Gamari2018-06-193-0/+14
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-143-3/+5
* Allow as-patterns in unidirectional patttern synonymsSimon Peyton Jones2018-03-213-6/+2
* Pass -dsuppress-uniques when running T14507Ryan Scott2018-01-222-2/+2
* Fix another obscure pattern-synonym crashSimon Peyton Jones2018-01-053-0/+28
* Fix deep, dark corner of pattern synonymsSimon Peyton Jones2018-01-043-0/+53
* Fix scoping of pattern-synonym existentialsSimon Peyton Jones2017-12-186-7/+46
* Refactor ConDecl: Trac #14529Simon Peyton Jones2017-12-072-2/+4
* Temporary fix to Trac #14380Simon Peyton Jones2017-10-243-0/+18
* Track the order of user-written tyvars in DataConRyan Scott2017-10-031-1/+1
* Disallow bang/lazy patterns in the RHSes of implicitly bidirectional patsynsRyan Scott2017-09-024-1/+16
* Fix #14114 by checking for duplicate vars on pattern synonym RHSesRyan Scott2017-08-223-0/+26
* Mention which -Werror promoted a warning to an errorÖmer Sinan Ağacan2017-07-112-8/+2
* Only use locally bound variables in pattern synonym declarationsMatthew Pickering2017-03-273-0/+29
View Lorry Controller Status