summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs
Commit message (Expand)AuthorAgeFilesLines
* Testsuite: accept output without Windows line endings (#11631)Thomas Miedema2016-02-2310-143/+143
* Testsuite: delete compiler_lt/le/gt/ge setup functionsThomas Miedema2016-02-171-1/+1
* Testsuite: delete only_compiler_types, assume ghcThomas Miedema2016-02-161-2/+1
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-272-14/+14
* Refactoring on IdInfo and system derived namesSimon Peyton Jones2016-01-186-12/+35
* Visible type applicationRichard Eisenberg2015-12-248-22/+26
* Refactor named wildcards (again)Simon Peyton Jones2015-12-224-10/+16
* Warn about unused type variables in type familiesMichał Sośnicki2015-12-2113-19/+153
* Add test for T11122Ben Gamari2015-12-183-1/+36
* Narrow scope of special-case for unqualified printing of names in core librariesBen Gamari2015-12-152-27/+32
* Allow recursive (undecidable) superclassesSimon Peyton Jones2015-12-156-28/+28
* Rework the Implicit CallStack solver to handle local lets.Eric Seidel2015-12-122-233/+236
* Add kind equalities to GHC.Richard Eisenberg2015-12-1111-49/+50
* Test Trac #11192Simon Peyton Jones2015-12-103-0/+60
* Add derived constraints for wildcard signaturesSimon Peyton Jones2015-12-043-0/+21
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-0168-653/+735
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-249-88/+88
* Create a deterministic version of tyVarsOfTypeBartosz Nitka2015-11-212-85/+85
* Fix inconsistent pretty-printing of type familiesMichał Sośnicki2015-11-182-3/+6
* Make GHCi & TH work when the compiler is built with -profSimon Marlow2015-11-072-5/+5
* Bump ghc-prim version to 0.5.0.0 (closes #11043)Herbert Valerio Riedel2015-11-0143-43/+43
* Bump `base` version to 4.9.0.0 (closes #11026)Herbert Valerio Riedel2015-11-0146-46/+46
* Generate Typeable info at definition sitesBen Gamari2015-10-301-2/+0
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-0/+2
* Generate Typeable info at definition sitesBen Gamari2015-10-291-2/+0
* Testsuite: accept output for T10999 (#10999)Thomas Miedema2015-10-271-1/+14
* Add regression tests for #10045, #10999Simon Peyton Jones2015-10-275-0/+43
* Fix quantification for inference with sigsSimon Peyton Jones2015-08-053-0/+46
* Tidy up and refactor wildcard handlingSimon Peyton Jones2015-08-0523-694/+729
* Support wild cards in data/type family instancesThomas Winant2015-08-0312-15/+78
* Better treatment of signatures in cls/instSimon Peyton Jones2015-07-302-6/+8
* Support wild cards in TH splicesThomas Winant2015-07-2022-7/+236
* Testsuite: delete remaining only_compiler_types(['ghc']) setupsThomas Miedema2015-07-141-1/+1
* Test Trac #10463Simon Peyton Jones2015-07-133-0/+14
* Better type wildcard errorsSimon Peyton Jones2015-07-1010-322/+322
* Fix Trac #10519Thomas Winant2015-07-033-0/+11
* Improve error message for Typeable k (T k)Simon Peyton Jones2015-06-261-7/+6
* Error message wibbles from out-of-scope changesSimon Peyton Jones2015-06-2610-322/+322
* Further elaborate Trac #10403 testSimon Peyton Jones2015-06-232-38/+44
* Elaborate test for Trac #10403Simon Peyton Jones2015-06-182-21/+42
* Testsuite: change some expect_fail tests to expect_brokenThomas Miedema2015-06-112-4/+4
* Refactor wild card renamingThomas Winant2015-06-0936-76/+117
* Test Trac #10438Simon Peyton Jones2015-06-023-0/+35
* Test Trac #10403Simon Peyton Jones2015-05-183-0/+37
* Revert multiple commitsAustin Seipp2015-05-143-37/+0
* Test Trac #10403Simon Peyton Jones2015-05-133-0/+37
* Bump base version to 4.8.2.0Herbert Valerio Riedel2015-04-2544-44/+44
* Error msg wibbles from reduced module prefixesSimon Peyton Jones2015-04-071-25/+22
* Improve environment handling in TcBindsSimon Peyton Jones2015-03-243-3/+3
* Minor bump `base` version to 4.8.1.0Herbert Valerio Riedel2015-03-2344-44/+44
View Lorry Controller Status