summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn
Commit message (Expand)AuthorAgeFilesLines
...
* Solve equalities in a pattern signatureSimon Peyton Jones2018-10-243-0/+30
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-155-7/+14
* 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
* Make some tests robust against DEBUG compilerRichard Eisenberg2018-07-141-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-148-10/+15
* Another batch of './validation --slow' tweaksAlp Mestanogullari2018-05-201-1/+10
* Fix #15039 by pretty-printing equalities more systematicallyRyan Scott2018-05-161-1/+1
* Fix another batch of `./validate --slow` failuresAlp Mestanogullari2018-05-131-1/+3
* testsuite: Fix `./validate --slow`Alp Mestanogullari2018-04-191-1/+2
* 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
* Improve pretty-printing for pattern synonymsSimon Peyton Jones2018-01-051-2/+5
* 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
* testsuite: Fix output of T14394Ben Gamari2017-11-091-1/+7
* Minimise provided dictionaries in pattern synonymsSimon Peyton Jones2017-11-084-4/+30
* Temporary fix to Trac #14380Simon Peyton Jones2017-10-243-0/+18
* Add regression test for #14326Ryan Scott2017-10-052-0/+22
* Track the order of user-written tyvars in DataConRyan Scott2017-10-031-1/+1
* Fix #14228 by marking SumPats as non-irrefutableRyan Scott2017-09-153-0/+27
* 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
* Allow bundling pattern synonyms with exported data familiesRyan Scott2017-08-013-0/+28
* Fix instantiation of pattern synonymsSimon Peyton Jones2017-07-282-0/+34
* Mention which -Werror promoted a warning to an errorÖmer Sinan Ağacan2017-07-112-8/+2
* Use actual universal tvs in check for naughty record selectorsMatthew Pickering2017-06-232-0/+8
* Pattern synonyms and higher rank typesSimon Peyton Jones2017-05-253-0/+19
* Allow spliced patterns in pattern synonymsBen Gamari2017-05-114-0/+38
* Allow operators as record pattern synonym fieldsMatthew Pickering2017-03-292-0/+16
* Complete the fix for #13441 (pattern synonyms)Simon Peyton Jones2017-03-285-0/+43
* Fix explicitly-bidirectional pattern synonymsSimon Peyton Jones2017-03-272-0/+30
* Only use locally bound variables in pattern synonym declarationsMatthew Pickering2017-03-273-0/+29
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-2/+2
* Read COMPLETE sets from external packagesBen Gamari2017-03-066-0/+43
* Revert "Read COMPLETE sets from external packages"Ben Gamari2017-03-036-43/+0
* Read COMPLETE sets from external packagesRyan Scott2017-03-026-0/+43
* Don't allow orphan COMPLETE pragmas (#13349)Reid Barton2017-03-025-0/+21
* tests: remove extra_files.py (#12223)Reid Barton2017-02-261-4/+4
* Type-indexed TypeableBen Gamari2017-02-181-1/+1
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-6/+6
* Update levity polymorphismRichard Eisenberg2017-01-195-4/+28
* Test Trac #12968, plus some commentsSimon Peyton Jones2016-12-212-0/+15
* Reshuffle levity polymorphism checks.Richard Eisenberg2016-12-178-5/+18
* Refine ASSERT in buildPatSyn for the nullary case.Matthew Pickering2016-10-263-0/+13
View Lorry Controller Status