summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn
Commit message (Expand)AuthorAgeFilesLines
* Fix #13571 by adding an extension flag checkRichard Eisenberg2019-09-171-1/+1
* Encode shape information in `PmOracle`Sebastian Graf2019-09-161-1/+1
* GHCi supports not-necessarily-lifted join pointsRichard Eisenberg2019-08-143-14/+0
* More sensible SrcSpans for recursive pattern synonym errors (#16900)Ryan Scott2019-07-053-0/+14
* testsuite: Add test for #16509Ben Gamari2019-06-093-0/+14
* Put COMPLETE sigs into ModDetails with -fno-code (#16682)Ryan Scott2019-05-313-0/+15
* Improve error recovery in the typecheckerSimon Peyton Jones2019-03-164-2/+6
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* Fix #16391 by using occCheckExpand in TcValidityRyan Scott2019-03-071-3/+3
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-274-4/+4
* Fail fast in solveLocalEqualitiesSimon Peyton Jones2019-02-141-6/+0
* testsuite: Use makefile_testBen Gamari2019-01-301-2/+1
* Revert "Batch merge"Ben Gamari2019-01-301-1/+2
* Batch mergeBen Gamari2019-01-301-2/+1
* Finish fix for #14880.Tobias Dammers2018-10-285-11/+2
* Solve equalities in a pattern signatureSimon Peyton Jones2018-10-243-0/+30
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-155-7/+14
* Fail fast on pattern synonymsSimon Peyton Jones2018-10-045-0/+47
* Do not mark CoVars as dead in the occur-analSimon Peyton Jones2018-10-043-0/+94
* Fix typosKrzysztof Gogolewski2018-08-051-1/+1
* Make some tests robust against DEBUG compilerRichard Eisenberg2018-07-141-1/+1
* Fix error recovery for pattern synonymsSimon Peyton Jones2018-06-252-9/+14
* testsuite: Add broken test for #15289Ben Gamari2018-06-193-0/+14
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-148-10/+15
* 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