summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr
Commit message (Expand)AuthorAgeFilesLines
* Remove flattening variablesRichard Eisenberg2020-12-011-1/+1
* Improve skolemisationSimon Peyton Jones2020-02-011-2/+2
* Add location to the extra-constraints wildcardSimon Peyton Jones2019-03-161-4/+4
* Visible kind applicationmynguyen2019-01-031-4/+4
* Testsuite: remove Windows CR [skip ci]Thomas Miedema2016-06-201-16/+16
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-18/+16
* Kill non-deterministic foldUFM in TrieMap and TcAppMapBartosz Nitka2016-05-041-1/+1
* Allow recursive (undecidable) superclassesSimon Peyton Jones2015-12-151-1/+1
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-15/+18
* Tidy up and refactor wildcard handlingSimon Peyton Jones2015-08-051-13/+15
* Better type wildcard errorsSimon Peyton Jones2015-07-101-13/+13
* Error message wibbles from out-of-scope changesSimon Peyton Jones2015-06-261-13/+13
* Print singleton consraints without parensSimon Peyton Jones2015-01-061-1/+1
* Implement Partial Type SignaturesThomas Winant2014-11-281-0/+13