summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Missing stderr for T12531.Edward Z. Yang2016-08-301-0/+9
* Allow typed holes to be levity-polymorphicSimon Peyton Jones2016-08-263-0/+8
* Not-in-scope variables are always errorsSimon Peyton Jones2016-08-172-3/+2
* tidyOccNames: Rename variables fairlyJoachim Breitner2016-07-141-1/+1
* Don't omit any evidence bindingsSimon Peyton Jones2016-06-283-0/+8
* Narrow the warning for simplifiable constraintsSimon Peyton Jones2016-06-231-2/+2
* Testsuite: remove Windows CR [skip ci]Thomas Miedema2016-06-2020-514/+514
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-154-108/+96
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-152-115/+127
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-1324-394/+452
* 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
View Lorry Controller Status