summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs
Commit message (Expand)AuthorAgeFilesLines
...
* 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-2038-911/+911
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-156-165/+150
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-153-138/+153
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-1346-816/+872
* Test Trac #12039Simon Peyton Jones2016-05-133-0/+10
* Record that EqualityConstraint now worksSimon Peyton Jones2016-05-102-3/+3
* Use partial-sig constraints as givensSimon Peyton Jones2016-05-105-118/+130
* Error message wibbles, re partial type sigsSimon Peyton Jones2016-05-1012-516/+500
* Fix partial sigs and pattern bindings interactionSimon Peyton Jones2016-05-104-1/+17
* Kill non-deterministic foldUFM in TrieMap and TcAppMapBartosz Nitka2016-05-045-22/+22
* Testsuite: accept new output for 2 partial-sigs testsThomas Miedema2016-04-306-59/+71
* Testsuite: benign test fixesThomas Miedema2016-04-281-1/+0
* Add missing solveEqualitiesSimon Peyton Jones2016-04-283-0/+15
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-268-77/+77
* 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-042-10/+5
* 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-2512-52/+52
* 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-2331-150/+150
* 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
View Lorry Controller Status