summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn
Commit message (Expand)AuthorAgeFilesLines
* Rename missing-pat-syn-sigs to missing-pat-syn-signaturesMatthew Pickering2016-02-152-2/+2
* Implement scoped type variables in pattern synonymsSimon Peyton Jones2016-01-182-0/+24
* Allow pattern synonyms which have several clauses.Matthew Pickering2016-01-152-0/+8
* Test Trac #11336Simon Peyton Jones2016-01-022-0/+37
* Fix panic when using pattern synonyms with DisambiguateRecordFieldsAdam Gundry2015-12-293-0/+13
* Visible type applicationRichard Eisenberg2015-12-241-3/+4
* Update tests for Trac #11039Simon Peyton Jones2015-12-234-2/+24
* Fix ASSERT in buildPatSyn, and T10897 testSimon Peyton Jones2015-12-232-3/+3
* 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-236-19/+1
* Remove another duplicate testBen Gamari2015-12-221-1/+0
* Remove duplicate T11224 test definitionBen Gamari2015-12-221-1/+0
* Fix typechecking for pattern synonym signaturesSimon Peyton Jones2015-12-228-15/+65
* Allow as-patterns in pattern synonym declarations.Matthew Pickering2015-12-206-2/+19
* Disallow empty where bindings in pattern synonym declarations.Matthew Pickering2015-12-204-1/+5
* Add test for #10897Matthew Pickering2015-12-163-0/+11
* Add testcase for #11224Ben Gamari2015-12-153-0/+35
* Implement -fwarn-missing-pat-syn-sigsMatthew Pickering2015-12-124-2/+38
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-5/+6
* 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
View Lorry Controller Status