summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn/should_fail
Commit message (Expand)AuthorAgeFilesLines
* 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
* Don't allow orphan COMPLETE pragmas (#13349)Reid Barton2017-03-023-0/+12
* Update levity polymorphismRichard Eisenberg2017-01-195-4/+28
* Reshuffle levity polymorphism checks.Richard Eisenberg2016-12-176-4/+16
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-2/+2
* Rework renaming of children in export lists.Matthew Pickering2016-10-081-2/+3
* Improve missing-sig warningSimon Peyton Jones2016-08-121-9/+9
* Treat duplicate pattern synonym signatures as an errorSeraphime Kirkovski2016-07-043-0/+12
* Testsuite: remove Windows CR again.. [skip ci]Thomas Miedema2016-06-203-64/+64
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-4/+4
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-133-64/+64
* Merge MatchFixity and HsMatchContextAlan Zimmerman2016-06-061-1/+1
* Refactor error generation for pattern synonymsSimon Peyton Jones2016-03-312-10/+8
* Add `PatSynSigSkol` and modify `PatSynCtxt`Rik Steenkamp2016-03-245-8/+80
* Fix #11711.Richard Eisenberg2016-03-171-10/+10
* Refactoring around TcPatSyn.tcPatToExprSimon Peyton Jones2016-03-091-3/+4
* Print which warning-flag controls an emitted warningMichael Walker2016-02-251-5/+5
* Improve pattern synonym error messages (add `PatSynOrigin`)Rik Steenkamp2016-02-253-0/+35
* Make warning names more consistentManav Rathi2016-02-252-2/+2
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-232-8/+8
* Rename missing-pat-syn-sigs to missing-pat-syn-signaturesMatthew Pickering2016-02-152-2/+2
* Visible type applicationRichard Eisenberg2015-12-241-3/+4
* Update tests for Trac #11039Simon Peyton Jones2015-12-234-2/+24
* Add a pattern-syn form of PromotionErrSimon Peyton Jones2015-12-235-6/+21
* Wibble to error message in Trac #10426Simon Peyton Jones2015-12-231-1/+1
* Revert "Allow as-patterns in pattern synonym declarations."Simon Peyton Jones2015-12-234-13/+1
* Fix typechecking for pattern synonym signaturesSimon Peyton Jones2015-12-223-11/+19
* Allow as-patterns in pattern synonym declarations.Matthew Pickering2015-12-204-2/+13
* Disallow empty where bindings in pattern synonym declarations.Matthew Pickering2015-12-203-0/+8
* Implement -fwarn-missing-pat-syn-sigsMatthew Pickering2015-12-123-0/+38
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-5/+6
View Lorry Controller Status