summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn/should_run
Commit message (Expand)AuthorAgeFilesLines
* Encode shape information in `PmOracle`Sebastian Graf2019-09-161-1/+1
* Another batch of './validation --slow' tweaksAlp Mestanogullari2018-05-201-1/+10
* testsuite: Fix `./validate --slow`Alp Mestanogullari2018-04-191-1/+2
* Fix #14228 by marking SumPats as non-irrefutableRyan Scott2017-09-153-0/+27
* Use actual universal tvs in check for naughty record selectorsMatthew Pickering2017-06-232-0/+8
* Allow spliced patterns in pattern synonymsBen Gamari2017-05-114-0/+38
* Testsuite: tabs -> spaces [skip ci]Thomas Miedema2016-06-201-1/+1
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-1/+1
* Make sure record pattern synonym selectors are in scope in GHCi.Matthew Pickering2016-05-023-0/+6
* Remove duplicate T11224 test definitionBen Gamari2015-12-221-1/+0
* Fix typechecking for pattern synonym signaturesSimon Peyton Jones2015-12-222-4/+6
* Add testcase for #11224Ben Gamari2015-12-153-0/+35
* Record pattern synonymsMatthew Pickering2015-10-293-0/+20
* Fix off-by-one error in GHCi line reporting (Trac #10578)Ömer Sinan Ağacan2015-07-172-2/+2
* Pattern synonym names need to be in scope before renaming bindings (#9889)Dr. ERDI Gergo2015-01-091-1/+1
* Support pattern synonyms in GHCi (fixes #9900)Dr. ERDI Gergo2014-12-284-0/+18
* If pattern synonym is bidirectional and its type is some unboxed type T#,Dr. ERDI Gergo2014-11-135-0/+37
* In pattern synonym matchers, support unboxed continuation results (fixes #9783).Dr. ERDI Gergo2014-11-083-0/+18
* Add test cases for explicitly-bidirectional pattern synonymDr. ERDI Gergo2014-07-295-0/+24
* Simplify .gitignore filesHerbert Valerio Riedel2014-06-281-7/+0
* Add .gitignore for autogenerated test files.Edward Z. Yang2014-05-291-1/+1
* Implement pattern synonymsDr. ERDI Gergo2014-01-209-0/+91