summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/holes.stderr
Commit message (Expand)AuthorAgeFilesLines
* Use mutable update to defer out-of-scope errorswip/T17812Richard Eisenberg2020-12-241-8/+8
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-4/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-0/+2
* Rename the singleton tuple GHC.Tuple.Unit to GHC.Tuple.SoloTom Ellis2020-06-011-1/+1
* Make boxed 1-tuples have known keysRyan Scott2020-04-281-0/+1
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-4/+4
* Give seq a more precise type and remove magicBen Gamari2019-11-191-1/+1
* Add built-in syntax suggestions, and refactor to allow library useMatthías Páll Gissurarson2018-11-011-5/+9
* Fix `print-explicit-runtime-reps` (#11786).HE, Tao2018-06-081-7/+7
* Improved Valid Hole FitsMatthías Páll Gissurarson2018-05-301-442/+132
* Bump base to version 4.12.0.0Ryan Scott2018-04-191-4/+4
* Bump version numbers: base-4.11.1.0, integer-gmp-1.0.2.0Ryan Scott2018-04-131-4/+4
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-18/+8
* Fix tests broken by c9a88db3ac4f1c3e97e3492ebe076f2df6463540Ben Gamari2018-02-131-3/+3
* Sort valid substitutions for typed holes by "relevance"Matthías Páll Gissurarson2018-01-261-248/+248
* Inform hole substitutions of typeclass constraints (fixes #14273).Matthías Páll Gissurarson2018-01-181-3/+445
* Also show types that subsume a hole as valid substitutions for that hole.Matthías Páll Gissurarson2017-09-211-0/+40
* Testsuite: remove Windows CR again.. [skip ci]Thomas Miedema2016-06-201-33/+33
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-33/+33
* Print which warning-flag controls an emitted warningMichael Walker2016-02-251-4/+4
* Visible type applicationRichard Eisenberg2015-12-241-33/+33
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-7/+7
* Error message wibbles from out-of-scope changesSimon Peyton Jones2015-06-261-33/+33
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-12/+12
* Turn -XTypeHoles into a (on by default) warningAustin Seipp2014-01-141-11/+11
* Error message wibblesSimon Peyton Jones2013-09-101-12/+4
* Follow error-message changes for type holesSimon Peyton Jones2013-08-291-1/+16
* Update outputs following the unicode quote change in GHC's outputIan Lynagh2013-02-241-12/+12
* Error messsage wibblesSimon Peyton Jones2013-01-301-10/+10
* Test TypeHolesSimon Peyton Jones2012-11-161-0/+26
View Lorry Controller Status