summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn
Commit message (Expand)AuthorAgeFilesLines
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-012-9/+10
* Remove redundant test.Matthew Pickering2015-11-111-1/+0
* Rename bundled pattern synonym tests to reflect new terminologyMatthew Pickering2015-11-117-15/+15
* Associate pattern synonyms with types in module exportsMatthew Pickering2015-11-1130-0/+301
* Add failing test for #11039Matthew Pickering2015-10-302-0/+8
* Record pattern synonymsMatthew Pickering2015-10-2924-3/+239
* Pattern synonyms: swap provided/requiredSimon Peyton Jones2015-10-286-3/+30
* Zonk properly when checkig pattern synonymsSimon Peyton Jones2015-10-275-0/+53
* Add testcase for #10426Ben Gamari2015-10-232-0/+4
* Allow non-operator infix pattern synonymsMatthew Pickering2015-10-072-0/+6
* T8968-1 and -3 should passSimon Peyton Jones2015-08-061-2/+2
* Better treatment of signatures in cls/instSimon Peyton Jones2015-07-302-8/+8
* Fix off-by-one error in GHCi line reporting (Trac #10578)Ömer Sinan Ağacan2015-07-172-2/+2
* Test Trac #9975Simon Peyton Jones2015-01-204-0/+21
* Test Trac #9867Simon Peyton Jones2015-01-192-0/+6
* Pattern synonym names need to be in scope before renaming bindings (#9889)Dr. ERDI Gergo2015-01-094-3/+10
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-064-3/+8
* Support pattern synonyms in GHCi (fixes #9900)Dr. ERDI Gergo2014-12-284-0/+18
* Pattern-synonym matcher and builder Ids must be *LocalIds*Simon Peyton Jones2014-12-152-0/+163
* Don't require PatternSynonyms language extension to just use pattern synonymsDr. ERDI Gergo2014-11-275-10/+3
* Add support for pattern synonym type signatures.Dr. ERDI Gergo2014-11-207-0/+54
* If pattern synonym is bidirectional and its type is some unboxed type T#,Dr. ERDI Gergo2014-11-1310-0/+54
* Binding things matched by an unboxed pattern synonym should require a bangDr. ERDI Gergo2014-11-135-1/+28
* In pattern synonym matchers, support unboxed continuation results (fixes #9783).Dr. ERDI Gergo2014-11-083-0/+18
* Tweak the error message for pattern synonym methods,Dr. ERDI Gergo2014-11-026-5/+16
* rnMethodBind: reject pattern synonyms in instance definitions (fixes #9705)Dr. ERDI Gergo2014-11-013-0/+8
* Add test cases for explicitly-bidirectional pattern synonymDr. ERDI Gergo2014-07-295-0/+24
* Simplify .gitignore filesHerbert Valerio Riedel2014-06-282-16/+0
* Add fake entries into the global kind environment for pattern synonyms.Dr. ERDI Gergo2014-06-215-0/+27
* Test Trac #9023Simon Peyton Jones2014-06-052-0/+7
* Add .gitignore for autogenerated test files.Edward Z. Yang2014-05-291-1/+1
* Expected output of as-pattern testDr. ERDI Gergo2014-04-121-0/+4
* Add source file for new test that checks that as-patterns are rejectedDr. ERDI Gergo2014-04-121-0/+4
* Split off pattern synonym definition checking from pattern inversionDr. ERDI Gergo2014-04-101-0/+1
* Zonk the existential type variables in tcPatSynDeclSimon Peyton Jones2014-04-082-0/+9
* Require PatternSynonyms language flag when encountering a use of pattern synonymDr. ERDI Gergo2014-04-066-0/+24
* Test for Trac #8841 now worksSimon Peyton Jones2014-03-061-1/+1
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-4/+4
* Add test suite for #8757Dr. ERDI Gergo2014-02-092-0/+11
* 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-2028-0/+237
View Lorry Controller Status