summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail/all.T
Commit message (Expand)AuthorAgeFilesLines
* testsuite: Normalise away spurious differences in out-of-scope instancesBen Gamari2018-12-121-1/+1
* Add regression tests for #11515 and #12563Ryan Scott2018-05-181-0/+1
* Allow PartialTypeSignatures in standalone deriving contextsRyan Scott2018-03-231-0/+2
* Fix two more bugs in partial signaturesSimon Peyton Jones2018-01-091-1/+1
* Fix floating of equalitiesSimon Peyton Jones2017-12-211-0/+2
* Check for bogus quantified tyvars in partial type sigsSimon Peyton Jones2017-12-211-0/+1
* Add regression test for #14040Ryan Scott2017-12-121-0/+1
* Check quantification for partial type signatuesSimon Peyton Jones2017-11-271-0/+1
* tests: remove extra_files.py (#12223)Reid Barton2017-02-261-1/+2
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-4/+3
* Add test for #12732Ryan Scott2016-10-281-0/+1
* Test Trac #12634Simon Peyton Jones2016-09-291-1/+1
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-1/+2
* Test Trac #12039Simon Peyton Jones2016-05-131-0/+1
* Fix partial sigs and pattern bindings interactionSimon Peyton Jones2016-05-101-0/+1
* Testsuite: accept new output for 2 partial-sigs testsThomas Miedema2016-04-301-2/+1
* Add missing solveEqualitiesSimon Peyton Jones2016-04-281-0/+1
* Testsuite: delete compiler_lt/le/gt/ge setup functionsThomas Miedema2016-02-171-1/+1
* Warn about unused type variables in type familiesMichał Sośnicki2015-12-211-2/+1
* Add test for T11122Ben Gamari2015-12-181-1/+1
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-3/+2
* Make GHCi & TH work when the compiler is built with -profSimon Marlow2015-11-071-3/+3
* Add regression tests for #10045, #10999Simon Peyton Jones2015-10-271-0/+2
* Fix quantification for inference with sigsSimon Peyton Jones2015-08-051-0/+2
* Support wild cards in data/type family instancesThomas Winant2015-08-031-1/+2
* Support wild cards in TH splicesThomas Winant2015-07-201-1/+11
* Testsuite: delete remaining only_compiler_types(['ghc']) setupsThomas Miedema2015-07-141-1/+1
* Testsuite: change some expect_fail tests to expect_brokenThomas Miedema2015-06-111-1/+1
* Refactor wild card renamingThomas Winant2015-06-091-0/+2
* Fix #10045Thomas Winant2015-02-181-0/+1
* Fix panics of PartialTypeSignatures combined with extensionsThomas Winant2015-01-131-0/+3
* Fix panic on [t| _ |] (Trac #9879)Thomas Winant2014-12-151-0/+1
* Implement Partial Type SignaturesThomas Winant2014-11-281-0/+42