summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn/should_fail/all.T
Commit message (Expand)AuthorAgeFilesLines
* Don't zap to Any; error insteadRichard Eisenberg2020-01-121-0/+1
* More sensible SrcSpans for recursive pattern synonym errors (#16900)Ryan Scott2019-07-051-0/+1
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-1/+0
* Finish fix for #14880.Tobias Dammers2018-10-281-1/+0
* Solve equalities in a pattern signatureSimon Peyton Jones2018-10-241-0/+1
* Fail fast on pattern synonymsSimon Peyton Jones2018-10-041-0/+2
* Do not mark CoVars as dead in the occur-analSimon Peyton Jones2018-10-041-0/+1
* Fix error recovery for pattern synonymsSimon Peyton Jones2018-06-251-1/+1
* testsuite: Add broken test for #15289Ben Gamari2018-06-191-0/+1
* Allow as-patterns in unidirectional patttern synonymsSimon Peyton Jones2018-03-211-1/+1
* Pass -dsuppress-uniques when running T14507Ryan Scott2018-01-221-1/+1
* Fix another obscure pattern-synonym crashSimon Peyton Jones2018-01-051-0/+1
* Fix deep, dark corner of pattern synonymsSimon Peyton Jones2018-01-041-0/+1
* Fix scoping of pattern-synonym existentialsSimon Peyton Jones2017-12-181-0/+1
* Temporary fix to Trac #14380Simon Peyton Jones2017-10-241-0/+1
* Disallow bang/lazy patterns in the RHSes of implicitly bidirectional patsynsRyan Scott2017-09-021-0/+1
* Fix #14114 by checking for duplicate vars on pattern synonym RHSesRyan Scott2017-08-221-0/+1
* Only use locally bound variables in pattern synonym declarationsMatthew Pickering2017-03-271-0/+1
* Don't allow orphan COMPLETE pragmas (#13349)Reid Barton2017-03-021-0/+1
* Update levity polymorphismRichard Eisenberg2017-01-191-0/+1
* Reshuffle levity polymorphism checks.Richard Eisenberg2016-12-171-0/+1
* Treat duplicate pattern synonym signatures as an errorSeraphime Kirkovski2016-07-041-0/+1
* Add `PatSynSigSkol` and modify `PatSynCtxt`Rik Steenkamp2016-03-241-0/+1
* Improve pattern synonym error messages (add `PatSynOrigin`)Rik Steenkamp2016-02-251-0/+1
* Make warning names more consistentManav Rathi2016-02-251-1/+1
* Rename missing-pat-syn-sigs to missing-pat-syn-signaturesMatthew Pickering2016-02-151-1/+1
* Update tests for Trac #11039Simon Peyton Jones2015-12-231-1/+2
* Add a pattern-syn form of PromotionErrSimon Peyton Jones2015-12-231-0/+1
* Revert "Allow as-patterns in pattern synonym declarations."Simon Peyton Jones2015-12-231-1/+0
* Allow as-patterns in pattern synonym declarations.Matthew Pickering2015-12-201-0/+1
* Disallow empty where bindings in pattern synonym declarations.Matthew Pickering2015-12-201-0/+1
* Implement -fwarn-missing-pat-syn-sigsMatthew Pickering2015-12-121-0/+1
* Associate pattern synonyms with types in module exportsMatthew Pickering2015-11-111-0/+8
* Add failing test for #11039Matthew Pickering2015-10-301-0/+1
* Record pattern synonymsMatthew Pickering2015-10-291-1/+8
* Pattern synonyms: swap provided/requiredSimon Peyton Jones2015-10-281-0/+1
* Don't require PatternSynonyms language extension to just use pattern synonymsDr. ERDI Gergo2014-11-271-1/+0
* If pattern synonym is bidirectional and its type is some unboxed type T#,Dr. ERDI Gergo2014-11-131-0/+1
* Binding things matched by an unboxed pattern synonym should require a bangDr. ERDI Gergo2014-11-131-1/+1
* Tweak the error message for pattern synonym methods,Dr. ERDI Gergo2014-11-021-1/+2
* rnMethodBind: reject pattern synonyms in instance definitions (fixes #9705)Dr. ERDI Gergo2014-11-011-0/+1
* Add fake entries into the global kind environment for pattern synonyms.Dr. ERDI Gergo2014-06-211-0/+2
* Split off pattern synonym definition checking from pattern inversionDr. ERDI Gergo2014-04-101-0/+1
* Require PatternSynonyms language flag when encountering a use of pattern synonymDr. ERDI Gergo2014-04-061-0/+1
* Issue an error for pattern synonyms defined in a local scope (#8757)Dr. ERDI Gergo2014-02-091-0/+1
* Implement pattern synonymsDr. ERDI Gergo2014-01-201-0/+3
View Lorry Controller Status