summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* 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
* Only use locally bound variables in pattern synonym declarationsMatthew Pickering2017-03-273-0/+29
* 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-025-0/+21
* 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
* Update levity polymorphismRichard Eisenberg2017-01-195-4/+28
* Test Trac #12968, plus some commentsSimon Peyton Jones2016-12-212-0/+15
* Reshuffle levity polymorphism checks.Richard Eisenberg2016-12-178-5/+18
* Refine ASSERT in buildPatSyn for the nullary case.Matthew Pickering2016-10-263-0/+13
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-212-3/+3
* Correct order of existentials in pattern synonymsSimon Peyton Jones2016-10-172-0/+63
* Rework renaming of children in export lists.Matthew Pickering2016-10-081-2/+3
* 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-125-34/+51
* Treat duplicate pattern synonym signatures as an errorSeraphime Kirkovski2016-07-043-0/+12
* Allow one type signature for multiple pattern synonymsMatthew Pickering2016-07-012-0/+8
* Testsuite: tabs -> spaces [skip ci]Thomas Miedema2016-06-204-4/+4
* Testsuite: remove Windows CR again.. [skip ci]Thomas Miedema2016-06-203-64/+64
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-153-11/+11
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-133-64/+64
* Merge MatchFixity and HsMatchContextAlan Zimmerman2016-06-061-1/+1
* 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
* Make sure record pattern synonym selectors are in scope in GHCi.Matthew Pickering2016-05-023-0/+6
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-1/+1
* Improve printing of pattern synonym typesRik Steenkamp2016-04-023-0/+76
* Refactor error generation for pattern synonymsSimon Peyton Jones2016-03-312-10/+8
* Add `PatSynSigSkol` and modify `PatSynCtxt`Rik Steenkamp2016-03-245-8/+80
* TypeApplications does not imply AllowAmbiguousTypesRichard Eisenberg2016-03-211-1/+2
* Fix #11711.Richard Eisenberg2016-03-171-10/+10
* Refactoring around TcPatSyn.tcPatToExprSimon Peyton Jones2016-03-091-3/+4
* Print which warning-flag controls an emitted warningMichael Walker2016-02-252-6/+6
* Improve pattern synonym error messages (add `PatSynOrigin`)Rik Steenkamp2016-02-253-0/+35
* Reconstruct record expression in bidir pattern synonymMatthew Pickering2016-02-252-0/+13
* Make warning names more consistentManav Rathi2016-02-252-2/+2
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-232-8/+8
View Lorry Controller Status