summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail
Commit message (Expand)AuthorAgeFilesLines
* Update testsuiteSylvain Henry2020-06-171-3/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-0513-107/+145
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-39/+7
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-123-5/+5
* Improve skolemisationSimon Peyton Jones2020-02-014-6/+6
* Don't zap to Any; error insteadRichard Eisenberg2020-01-121-33/+24
* Whitespace-sensitive bang patterns (#1087, #17162)wip/whitespace-and-lookaheadVladislav Zavialov2019-11-271-1/+1
* Use level numbers for generalisationRichard Eisenberg2019-09-191-5/+5
* Refactor kindGeneralize and friendsRichard Eisenberg2019-09-191-5/+8
* Fix typechecking of partial type signaturesSimon Peyton Jones2019-06-191-4/+4
* Add location to the extra-constraints wildcardSimon Peyton Jones2019-03-163-9/+9
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* Fail fast in solveLocalEqualitiesSimon Peyton Jones2019-02-142-33/+1
* 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
View Lorry Controller Status