summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn/should_compile/all.T
Commit message (Expand)AuthorAgeFilesLines
* Don't zap to Any; error insteadRichard Eisenberg2020-01-121-1/+0
* GHCi supports not-necessarily-lifted join pointsRichard Eisenberg2019-08-141-1/+0
* testsuite: Add test for #16509Ben Gamari2019-06-091-0/+1
* Put COMPLETE sigs into ModDetails with -fno-code (#16682)Ryan Scott2019-05-311-0/+2
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-0/+1
* Finish fix for #14880.Tobias Dammers2018-10-281-0/+1
* Minimise provided dictionaries in pattern synonymsSimon Peyton Jones2017-11-081-0/+1
* Add regression test for #14326Ryan Scott2017-10-051-0/+1
* Allow bundling pattern synonyms with exported data familiesRyan Scott2017-08-011-0/+2
* Fix instantiation of pattern synonymsSimon Peyton Jones2017-07-281-0/+1
* Pattern synonyms and higher rank typesSimon Peyton Jones2017-05-251-0/+2
* Allow operators as record pattern synonym fieldsMatthew Pickering2017-03-291-0/+1
* Complete the fix for #13441 (pattern synonyms)Simon Peyton Jones2017-03-281-0/+2
* Fix explicitly-bidirectional pattern synonymsSimon Peyton Jones2017-03-271-0/+1
* Don't allow orphan COMPLETE pragmas (#13349)Reid Barton2017-03-021-0/+1
* tests: remove extra_files.py (#12223)Reid Barton2017-02-261-4/+4
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-6/+6
* Test Trac #12968, plus some commentsSimon Peyton Jones2016-12-211-0/+1
* Refine ASSERT in buildPatSyn for the nullary case.Matthew Pickering2016-10-261-0/+1
* Correct order of existentials in pattern synonymsSimon Peyton Jones2016-10-171-0/+1
* Don't warn about name shadowing when renaming the patten in a PatSyn declMatthew Pickering2016-10-011-1/+1
* Fix interaction of record pattern synonyms and record wildcardsMatthew Pickering2016-10-011-1/+2
* Keep the bindings local during defaultCallStacksSimon Peyton Jones2016-08-171-0/+1
* Improve missing-sig warningSimon Peyton Jones2016-08-121-1/+2
* Allow one type signature for multiple pattern synonymsMatthew Pickering2016-07-011-0/+1
* Don't split the arg types in a PatSyn signatureSimon Peyton Jones2016-05-241-0/+2
* Allow unlifted types in pattern synonym result typeMatthew Pickering2016-05-231-1/+2
* testsuite: Add test for #11959Ben Gamari2016-05-041-0/+1
* Improve printing of pattern synonym typesRik Steenkamp2016-04-021-0/+1
* Reconstruct record expression in bidir pattern synonymMatthew Pickering2016-02-251-0/+1
* Implement scoped type variables in pattern synonymsSimon Peyton Jones2016-01-181-0/+1
* Allow pattern synonyms which have several clauses.Matthew Pickering2016-01-151-0/+1
* Test Trac #11336Simon Peyton Jones2016-01-021-0/+1
* Fix panic when using pattern synonyms with DisambiguateRecordFieldsAdam Gundry2015-12-291-0/+1
* Fix ASSERT in buildPatSyn, and T10897 testSimon Peyton Jones2015-12-231-2/+2
* Revert "Allow as-patterns in pattern synonym declarations."Simon Peyton Jones2015-12-231-1/+0
* Remove another duplicate testBen Gamari2015-12-221-1/+0
* Fix typechecking for pattern synonym signaturesSimon Peyton Jones2015-12-221-0/+3
* 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-1/+0
* Add test for #10897Matthew Pickering2015-12-161-0/+3
* Implement -fwarn-missing-pat-syn-sigsMatthew Pickering2015-12-121-2/+0
* Remove redundant test.Matthew Pickering2015-11-111-1/+0
* Rename bundled pattern synonym tests to reflect new terminologyMatthew Pickering2015-11-111-2/+2
* Associate pattern synonyms with types in module exportsMatthew Pickering2015-11-111-0/+12
* Record pattern synonymsMatthew Pickering2015-10-291-2/+5
* Zonk properly when checkig pattern synonymsSimon Peyton Jones2015-10-271-0/+4
* Add testcase for #10426Ben Gamari2015-10-231-0/+1
* Allow non-operator infix pattern synonymsMatthew Pickering2015-10-071-0/+1
* T8968-1 and -3 should passSimon Peyton Jones2015-08-061-2/+2
View Lorry Controller Status