summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-212-3/+3
* Correct order of existentials in pattern synonymsSimon Peyton Jones2016-10-172-0/+63
* Rework renaming of children in export lists.Matthew Pickering2016-10-081-2/+3
* Don't warn about name shadowing when renaming the patten in a PatSyn declMatthew Pickering2016-10-012-1/+13
* Fix interaction of record pattern synonyms and record wildcardsMatthew Pickering2016-10-013-1/+23
* Keep the bindings local during defaultCallStacksSimon Peyton Jones2016-08-172-0/+6
* Improve missing-sig warningSimon Peyton Jones2016-08-125-34/+51
* Treat duplicate pattern synonym signatures as an errorSeraphime Kirkovski2016-07-043-0/+12
* Allow one type signature for multiple pattern synonymsMatthew Pickering2016-07-012-0/+8
View Lorry Controller Status