summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn/should_compile
Commit message (Expand)AuthorAgeFilesLines
* 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
* Allow one type signature for multiple pattern synonymsMatthew Pickering2016-07-012-0/+8
* Testsuite: tabs -> spaces [skip ci]Thomas Miedema2016-06-203-3/+3
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-6/+6
* Don't split the arg types in a PatSyn signatureSimon Peyton Jones2016-05-243-0/+18
* Allow unlifted types in pattern synonym result typeMatthew Pickering2016-05-232-1/+10
* testsuite: Add test for #11959Ben Gamari2016-05-044-0/+21
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-1/+1
* Improve printing of pattern synonym typesRik Steenkamp2016-04-023-0/+76
* TypeApplications does not imply AllowAmbiguousTypesRichard Eisenberg2016-03-211-1/+2
* Print which warning-flag controls an emitted warningMichael Walker2016-02-251-1/+1
* Reconstruct record expression in bidir pattern synonymMatthew Pickering2016-02-252-0/+13
* 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
View Lorry Controller Status