summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.stderr
Commit message (Expand)AuthorAgeFilesLines
* Bump ghc-prim version to 0.7.0Ryan Scott2020-07-021-1/+1
* Update testsuiteSylvain Henry2020-06-171-2/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-4/+4
* Fix #18052 by using pprPrefixOcc in more placesRyan Scott2020-04-151-25/+25
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-172/+180
* Bump ghc-prim's version where neededAlexandre2019-04-011-1/+1
* base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` insteadHerbert Valerio Riedel2019-03-221-2/+2
* Visible kind applicationmynguyen2019-01-031-4/+4
* Improve output from -ddump-typesSimon Peyton Jones2018-10-241-2/+0
* ghc-prim: Bump versionBen Gamari2018-05-201-1/+1
* Add 'addWordC#' PrimOpSebastian Graf2018-05-051-1/+1
* Bump base to version 4.12.0.0Ryan Scott2018-04-191-1/+1
* Bump version numbers: base-4.11.1.0, integer-gmp-1.0.2.0Ryan Scott2018-04-131-2/+2
* Minimise provided dictionaries in pattern synonymsSimon Peyton Jones2017-11-081-19/+19
* Bump ghc-prim to 0.5.2.0 and update changelogHerbert Valerio Riedel2017-10-171-1/+1
* Bump base to 4.11.0.0Ben Gamari2017-09-211-2/+2
* ghc-prim: Bump versionBen Gamari2017-07-231-1/+1
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-43/+43
* base: Bump version to 4.10.0.0Ben Gamari2016-12-151-1/+1
* Testsuite: remove Windows CR [skip ci]Thomas Miedema2016-06-201-234/+234
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-4/+4
* Error message wibbles, re partial type sigsSimon Peyton Jones2016-05-101-234/+234
* Kill non-deterministic foldUFM in TrieMap and TcAppMapBartosz Nitka2016-05-041-16/+16
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-36/+36
* Don't infer CallStacksEric Seidel2016-04-041-4/+3
* 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-151-19/+19
* Rework the Implicit CallStack solver to handle local lets.Eric Seidel2015-12-121-231/+231
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-7/+7
* Bump ghc-prim version to 0.5.0.0 (closes #11043)Herbert Valerio Riedel2015-11-011-1/+1
* Bump `base` version to 4.9.0.0 (closes #11026)Herbert Valerio Riedel2015-11-011-1/+1
* Tidy up and refactor wildcard handlingSimon Peyton Jones2015-08-051-231/+231
* Bump base version to 4.8.2.0Herbert Valerio Riedel2015-04-251-1/+1
* Error msg wibbles from reduced module prefixesSimon Peyton Jones2015-04-071-25/+22
* Minor bump `base` version to 4.8.1.0Herbert Valerio Riedel2015-03-231-1/+1
* Bump ghc-prim to 0.4.0.0Herbert Valerio Riedel2015-03-201-1/+1
* Implement Partial Type SignaturesThomas Winant2014-11-281-0/+234
View Lorry Controller Status