summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail
Commit message (Expand)AuthorAgeFilesLines
* Visible kind applicationmynguyen2019-01-0318-109/+127
* testsuite: Normalise away spurious differences in out-of-scope instancesBen Gamari2018-12-121-1/+1
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-4/+4
* Do not imply NoStarIsType by TypeOperators/TypeInTypeVladislav Zavialov2018-07-161-2/+2
* Use IfaceAppArgs to store an IfaceAppTy's argumentsRyan Scott2018-07-111-6/+3
* Unwrap casts before checking vars in eager unifierRichard Eisenberg2018-07-103-44/+53
* Built-in Natural literals in CoreSylvain Henry2018-06-151-1/+1
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-143-3/+3
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-11/+15
* Add regression tests for #11515 and #12563Ryan Scott2018-05-183-0/+14
* Tidy up error suppressionSimon Peyton Jones2018-05-152-0/+24
* Track type variable scope more carefully.Richard Eisenberg2018-03-313-15/+46
* Allow PartialTypeSignatures in standalone deriving contextsRyan Scott2018-03-235-0/+43
* Simplify rnLHsInstTypeSimon Peyton Jones2018-03-052-3/+1
* Fix two more bugs in partial signaturesSimon Peyton Jones2018-01-092-2/+2
* Fix floating of equalitiesSimon Peyton Jones2017-12-215-0/+119
* Check for bogus quantified tyvars in partial type sigsSimon Peyton Jones2017-12-213-0/+20
* Add regression test for #14040Ryan Scott2017-12-123-0/+83
* Check quantification for partial type signatuesSimon Peyton Jones2017-11-273-0/+11
* Improve type-error reportingSimon Peyton Jones2017-09-253-9/+5
* Move NonEmpty definition into GHC.BaseHerbert Valerio Riedel2017-09-041-2/+2
* Fix ungrammatical error messageRyan Scott2017-07-211-1/+1
* Typos in comments [ci skip]Gabor Greif2017-04-111-1/+1
* Remove solveSomeEqualitiesRichard Eisenberg2017-03-171-7/+0
* Fix #13337.Richard Eisenberg2017-03-142-1/+15
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-105-33/+33
* Try submodule bumps againBen Gamari2017-02-281-2/+1
* tests: remove extra_files.py (#12223)Reid Barton2017-02-261-1/+2
* Revert recent submodule bumpsBen Gamari2017-02-221-1/+2
* Bump Cabal and containers submodulesBen Gamari2017-02-211-2/+1
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-4/+3
* Replace -fshow-source-paths with -fhide-source-pathsSylvain Henry2016-11-291-1/+1
* Make default output less verbose (source/object paths)Sylvain HENRY2016-11-111-1/+1
* Handle types w/ type variables in signatures inside patterns (DsMeta)Mikhail Vorozhtsov2016-11-052-3/+12
* Add test for #12732Ryan Scott2016-10-283-0/+13
* Test Trac #12634Simon Peyton Jones2016-09-293-1/+26
* Testsuite: remove Windows CR [skip ci]Thomas Miedema2016-06-2018-397/+397
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-152-57/+54
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-23/+26
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-1322-422/+420
* Test Trac #12039Simon Peyton Jones2016-05-133-0/+10
* Use partial-sig constraints as givensSimon Peyton Jones2016-05-101-58/+58
* Error message wibbles, re partial type sigsSimon Peyton Jones2016-05-104-154/+144
* Fix partial sigs and pattern bindings interactionSimon Peyton Jones2016-05-103-0/+16
* Kill non-deterministic foldUFM in TrieMap and TcAppMapBartosz Nitka2016-05-042-2/+2
* Testsuite: accept new output for 2 partial-sigs testsThomas Miedema2016-04-303-52/+65
* Add missing solveEqualitiesSimon Peyton Jones2016-04-283-0/+15
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-262-20/+20
* Don't infer CallStacksEric Seidel2016-04-041-6/+2
* Print which warning-flag controls an emitted warningMichael Walker2016-02-252-2/+2
View Lorry Controller Status