summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Add a warning for GADT match + NoMonoLocalBinds (#20485)Krzysztof Gogolewski2021-11-231-0/+1
* Use HsExpansion for overloaded list patternssheaf2021-06-292-0/+9
* Use GHC2021 as default languageJoachim Breitner2021-03-105-4/+8
* Show missing field types (#18869)Sylvain Henry2021-01-171-1/+2
* Refactor renamer datastructuresAdam Gundry2020-12-243-1/+21
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-052-0/+19
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-123-15/+15
* Don't zap to Any; error insteadRichard Eisenberg2020-01-122-44/+0
* Fix #13571 by adding an extension flag checkRichard Eisenberg2019-09-171-1/+1
* GHCi supports not-necessarily-lifted join pointsRichard Eisenberg2019-08-143-14/+0
* 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
* Fix #16391 by using occCheckExpand in TcValidityRyan Scott2019-03-071-3/+3
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-272-0/+33
* 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-283-1/+45
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-155-7/+14
* Make some tests robust against DEBUG compilerRichard Eisenberg2018-07-141-1/+1
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-145-7/+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
* Improve pretty-printing for pattern synonymsSimon Peyton Jones2018-01-051-2/+5
* testsuite: Fix output of T14394Ben Gamari2017-11-091-1/+7
* Minimise provided dictionaries in pattern synonymsSimon Peyton Jones2017-11-084-4/+30
* Add regression test for #14326Ryan Scott2017-10-052-0/+22
* Allow bundling pattern synonyms with exported data familiesRyan Scott2017-08-013-0/+28
* Fix instantiation of pattern synonymsSimon Peyton Jones2017-07-282-0/+34
* Pattern synonyms and higher rank typesSimon Peyton Jones2017-05-253-0/+19
* Allow operators as record pattern synonym fieldsMatthew Pickering2017-03-292-0/+16
* Complete the fix for #13441 (pattern synonyms)Simon Peyton Jones2017-03-285-0/+43
* Fix explicitly-bidirectional pattern synonymsSimon Peyton Jones2017-03-272-0/+30
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-2/+2
* Read COMPLETE sets from external packagesBen Gamari2017-03-066-0/+43
* Revert "Read COMPLETE sets from external packages"Ben Gamari2017-03-036-43/+0
* Read COMPLETE sets from external packagesRyan Scott2017-03-026-0/+43
* Don't allow orphan COMPLETE pragmas (#13349)Reid Barton2017-03-022-0/+9
* tests: remove extra_files.py (#12223)Reid Barton2017-02-261-4/+4
* Type-indexed TypeableBen Gamari2017-02-181-1/+1
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-6/+6
* Test Trac #12968, plus some commentsSimon Peyton Jones2016-12-212-0/+15
* Reshuffle levity polymorphism checks.Richard Eisenberg2016-12-172-1/+2
* Refine ASSERT in buildPatSyn for the nullary case.Matthew Pickering2016-10-263-0/+13
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-1/+1
* Correct order of existentials in pattern synonymsSimon Peyton Jones2016-10-172-0/+63
* Don't warn about name shadowing when renaming the patten in a PatSyn declMatthew Pickering2016-10-012-1/+13
* Fix interaction of record pattern synonyms and record wildcardsMatthew Pickering2016-10-013-1/+23
* Keep the bindings local during defaultCallStacksSimon Peyton Jones2016-08-172-0/+6
* Improve missing-sig warningSimon Peyton Jones2016-08-124-25/+42
View Lorry Controller Status