summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/all.T
Commit message (Expand)AuthorAgeFilesLines
* Be more careful in chooseInferredQuantifiersSimon Peyton Jones2022-08-181-0/+2
* testsuite: Add test for #21719Ben Gamari2022-06-221-0/+1
* Instantiate top level foralls in partial type signaturesSimon Peyton Jones2022-06-201-0/+1
* Kill derived constraintsRichard Eisenberg2022-02-231-0/+1
* Improve partial signaturesSimon Peyton Jones2022-01-271-0/+1
* Eradicate TcRnUnknownMessage from GHC.Tc.DerivAlfredo Di Napoli2021-10-051-0/+1
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-0/+1
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-021-0/+2
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-0/+1
* Add a missing zonk in tcHsPartialTypeSimon Peyton Jones2020-04-181-0/+1
* Fix typechecking of partial type signaturesSimon Peyton Jones2019-06-191-0/+3
* Ignore more version numbers in the testsuiteAlec Theriault2019-03-111-0/+2
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-0/+1
* Another batch of './validation --slow' tweaksAlp Mestanogullari2018-05-201-1/+10
* Fix #15039 by pretty-printing equalities more systematicallyRyan Scott2018-05-161-1/+5
* Allow PartialTypeSignatures in standalone deriving contextsRyan Scott2018-03-231-0/+1
* Move zonkWC to the right place in simplfyInferSimon Peyton Jones2018-01-311-0/+1
* Fix two more bugs in partial signaturesSimon Peyton Jones2018-01-091-2/+5
* Deal with large extra-contraints wildcardsSimon Peyton Jones2017-09-251-0/+1
* Yet more work on TcSimplify.simplifyInferSimon Peyton Jones2017-04-131-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-3/+2
* Fix inference of partial signaturesSimon Peyton Jones2016-11-251-0/+1
* Test Trac #12845Simon Peyton Jones2016-11-251-0/+1
* Handle types w/ type variables in signatures inside patterns (DsMeta)Mikhail Vorozhtsov2016-11-051-0/+1
* Allow typed holes to be levity-polymorphicSimon Peyton Jones2016-08-261-0/+1
* Not-in-scope variables are always errorsSimon Peyton Jones2016-08-171-1/+1
* Don't omit any evidence bindingsSimon Peyton Jones2016-06-281-0/+1
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-1/+4
* Record that EqualityConstraint now worksSimon Peyton Jones2016-05-101-1/+1
* Use partial-sig constraints as givensSimon Peyton Jones2016-05-101-0/+1
* Fix partial sigs and pattern bindings interactionSimon Peyton Jones2016-05-101-1/+1
* Testsuite: accept new output for 2 partial-sigs testsThomas Miedema2016-04-301-2/+1
* Testsuite: benign test fixesThomas Miedema2016-04-281-1/+0
* Testsuite: for tests that use TH, omit *all* prof_waysThomas Miedema2016-02-251-1/+2
* Testsuite: delete only_compiler_types, assume ghcThomas Miedema2016-02-161-2/+1
* Warn about unused type variables in type familiesMichał Sośnicki2015-12-211-0/+3
* Test Trac #11192Simon Peyton Jones2015-12-101-0/+1
* Add derived constraints for wildcard signaturesSimon Peyton Jones2015-12-041-0/+1
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-0/+1
* Make GHCi & TH work when the compiler is built with -profSimon Marlow2015-11-071-2/+2
* Support wild cards in data/type family instancesThomas Winant2015-08-031-0/+2
* Support wild cards in TH splicesThomas Winant2015-07-201-0/+4
* Test Trac #10463Simon Peyton Jones2015-07-131-0/+1
* Fix Trac #10519Thomas Winant2015-07-031-0/+1
* Testsuite: change some expect_fail tests to expect_brokenThomas Miedema2015-06-111-3/+3
* Test Trac #10438Simon Peyton Jones2015-06-021-0/+1
* Test Trac #10403Simon Peyton Jones2015-05-181-0/+1
* Revert multiple commitsAustin Seipp2015-05-141-1/+0
* Test Trac #10403Simon Peyton Jones2015-05-131-0/+1
View Lorry Controller Status