summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/all.T
Commit message (Expand)AuthorAgeFilesLines
* 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
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-061-1/+1
* Implement Partial Type SignaturesThomas Winant2014-11-281-0/+48
View Lorry Controller Status