summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Record that EqualityConstraint now worksSimon Peyton Jones2016-05-102-3/+3
* Use partial-sig constraints as givensSimon Peyton Jones2016-05-104-60/+72
* Error message wibbles, re partial type sigsSimon Peyton Jones2016-05-108-362/+356
* Fix partial sigs and pattern bindings interactionSimon Peyton Jones2016-05-101-1/+1
* Kill non-deterministic foldUFM in TrieMap and TcAppMapBartosz Nitka2016-05-043-20/+20
* Testsuite: accept new output for 2 partial-sigs testsThomas Miedema2016-04-303-7/+6
* Testsuite: benign test fixesThomas Miedema2016-04-281-1/+0
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-266-57/+57
* wibble to simplifiableSimon Peyton Jones2016-04-221-0/+1
* Warn about simplifiable class constraintsSimon Peyton Jones2016-04-221-1/+5
* Don't infer CallStacksEric Seidel2016-04-041-4/+3
* Make equality print better. (#11712)Richard Eisenberg2016-03-212-4/+4
* Annotate `[-Wdeferred-type-errors]` in warnings (re #10752)Herbert Valerio Riedel2016-02-271-3/+3
* Print which warning-flag controls an emitted warningMichael Walker2016-02-2510-50/+50
* Testsuite: for tests that use TH, omit *all* prof_waysThomas Miedema2016-02-251-1/+2
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-247-10/+3
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-231-5/+5
* Testsuite: accept output without Windows line endings (#11631)Thomas Miedema2016-02-237-49/+49
* 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-242-3/+4
* Refactor named wildcards (again)Simon Peyton Jones2015-12-222-4/+4
* Warn about unused type variables in type familiesMichał Sośnicki2015-12-216-0/+92
* Narrow scope of special-case for unqualified printing of names in core librariesBen Gamari2015-12-151-24/+28
* Allow recursive (undecidable) superclassesSimon Peyton Jones2015-12-153-23/+23
* Rework the Implicit CallStack solver to handle local lets.Eric Seidel2015-12-121-231/+231
* Add kind equalities to GHC.Richard Eisenberg2015-12-119-35/+36
* 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-0113-199/+306
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-244-15/+15
* Create a deterministic version of tyVarsOfTypeBartosz Nitka2015-11-211-39/+39
* 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-071-2/+2
* 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
* Tidy up and refactor wildcard handlingSimon Peyton Jones2015-08-0513-466/+486
* Support wild cards in data/type family instancesThomas Winant2015-08-035-0/+53
* Support wild cards in TH splicesThomas Winant2015-07-206-0/+150
* Test Trac #10463Simon Peyton Jones2015-07-133-0/+14
* Better type wildcard errorsSimon Peyton Jones2015-07-103-109/+109
* Fix Trac #10519Thomas Winant2015-07-033-0/+11
* Error message wibbles from out-of-scope changesSimon Peyton Jones2015-06-263-109/+109
* 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-111-3/+3
View Lorry Controller Status