summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail/T11515.stderr
diff options
context:
space:
mode:
authorRyan Scott <ryan.gl.scott@gmail.com>2018-05-18 11:50:07 -0400
committerRyan Scott <ryan.gl.scott@gmail.com>2018-05-18 11:50:18 -0400
commit819b9cfd21a1773091cec4e34716a0fd7c7d05c6 (patch)
tree7d40e303be618f2b9f454ef736263e450ad9c05c /testsuite/tests/partial-sigs/should_fail/T11515.stderr
parent5d3b15ecbf17b7747c2f7313a981c60a2d22904d (diff)
downloadhaskell-819b9cfd21a1773091cec4e34716a0fd7c7d05c6.tar.gz
Add regression tests for #11515 and #12563
Happily, both of these issues appear to have been fixed in GHC 8.2. Let's add regression tests for them to ensure that they stay fixed.
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/T11515.stderr')
-rw-r--r--testsuite/tests/partial-sigs/should_fail/T11515.stderr5
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/T11515.stderr b/testsuite/tests/partial-sigs/should_fail/T11515.stderr
new file mode 100644
index 0000000000..2870457500
--- /dev/null
+++ b/testsuite/tests/partial-sigs/should_fail/T11515.stderr
@@ -0,0 +1,5 @@
+
+T11515.hs:7:20: error:
+ • Found type wildcard ‘_’ standing for ‘()’
+ To use the inferred type, enable PartialTypeSignatures
+ • In the type signature: foo :: (ShowSyn a, _) => a -> String