summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail/T10999.stderr
Commit message (Expand)AuthorAgeFilesLines
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-3/+2
* Diagnostic codes: acccept test changessheaf2022-09-131-3/+3
* Kill derived constraintsRichard Eisenberg2022-02-231-4/+4
* Include "not more specific" info in overlap msgsheaf2021-11-201-4/+3
* Improve overlap error for polykinded constraintssheaf2021-10-061-2/+2
* Add more instances for SoloDavid Feuer2021-09-181-1/+1
* Remove flattening variablesRichard Eisenberg2020-12-011-1/+1
* Update testsuiteSylvain Henry2020-06-171-3/+2
* Visible kind applicationmynguyen2019-01-031-1/+2
* Built-in Natural literals in CoreSylvain Henry2018-06-151-1/+1
* Move NonEmpty definition into GHC.BaseHerbert Valerio Riedel2017-09-041-2/+2
* Try submodule bumps againBen Gamari2017-02-281-2/+1
* Revert recent submodule bumpsBen Gamari2017-02-221-1/+2
* Bump Cabal and containers submodulesBen Gamari2017-02-211-2/+1
* Testsuite: remove Windows CR [skip ci]Thomas Miedema2016-06-201-34/+34
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-16/+34
* Don't infer CallStacksEric Seidel2016-04-041-6/+2
* Narrow scope of special-case for unqualified printing of names in core librariesBen Gamari2015-12-151-3/+4
* Allow recursive (undecidable) superclassesSimon Peyton Jones2015-12-151-3/+3
* Rework the Implicit CallStack solver to handle local lets.Eric Seidel2015-12-121-2/+5
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-11/+13
* Testsuite: accept output for T10999 (#10999)Thomas Miedema2015-10-271-1/+14
* Add regression tests for #10045, #10999Simon Peyton Jones2015-10-271-0/+1