summaryrefslogtreecommitdiff
path: root/testsuite/tests/patsyn
Commit message (Expand)AuthorAgeFilesLines
* 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
* Rename missing-pat-syn-sigs to missing-pat-syn-signaturesMatthew Pickering2016-02-152-2/+2
* 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
* Fix panic when using pattern synonyms with DisambiguateRecordFieldsAdam Gundry2015-12-293-0/+13
* Visible type applicationRichard Eisenberg2015-12-241-3/+4
* Update tests for Trac #11039Simon Peyton Jones2015-12-234-2/+24
* Fix ASSERT in buildPatSyn, and T10897 testSimon Peyton Jones2015-12-232-3/+3
* Add a pattern-syn form of PromotionErrSimon Peyton Jones2015-12-235-6/+21
* Wibble to error message in Trac #10426Simon Peyton Jones2015-12-231-1/+1
View Lorry Controller Status