summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2015-06-25 09:25:39 +0100
committerSimon Peyton Jones <simonpj@microsoft.com>2015-06-26 08:33:12 +0100
commitb98ff25f4c8cb4bf18b784c848fabaaa6e4b11b8 (patch)
tree057dce79c8f2c77689cc2ed375c89858b38a4b4d /testsuite/tests/typecheck/should_fail
parentfb7b6922573af76a954d939c85e6af7c39a19896 (diff)
downloadhaskell-b98ff25f4c8cb4bf18b784c848fabaaa6e4b11b8.tar.gz
Error message wibbles from out-of-scope changes
The patch "Treat out-of-scope variables as holes" makes lots of error messages change a bit. This patch has all the change.
Diffstat (limited to 'testsuite/tests/typecheck/should_fail')
-rw-r--r--testsuite/tests/typecheck/should_fail/T9497d.stderr14
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail011.stderr4
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail049.stderr4
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail050.stderr5
4 files changed, 14 insertions, 13 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T9497d.stderr b/testsuite/tests/typecheck/should_fail/T9497d.stderr
index ee23278e53..7838120ad6 100644
--- a/testsuite/tests/typecheck/should_fail/T9497d.stderr
+++ b/testsuite/tests/typecheck/should_fail/T9497d.stderr
@@ -1,7 +1,7 @@
-
-T9497d.hs:2:8:
- Found hole ‘_main’ with type: IO ()
- Or perhaps ‘_main’ is mis-spelled, or not in scope
- Relevant bindings include main :: IO () (bound at T9497d.hs:2:1)
- In the expression: _main
- In an equation for ‘main’: main = _main
+
+T9497d.hs:2:8: error:
+ Found hole: _main :: IO ()
+ Or perhaps ‘_main’ is mis-spelled, or not in scope
+ Relevant bindings include main :: IO () (bound at T9497d.hs:2:1)
+ In the expression: _main
+ In an equation for ‘main’: main = _main
diff --git a/testsuite/tests/typecheck/should_fail/tcfail011.stderr b/testsuite/tests/typecheck/should_fail/tcfail011.stderr
index 8a69d54101..f941127e01 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail011.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail011.stderr
@@ -1,2 +1,2 @@
-
-tcfail011.hs:3:25: Not in scope: ‘y’
+
+tcfail011.hs:3:25: error: Variable not in scope: y
diff --git a/testsuite/tests/typecheck/should_fail/tcfail049.stderr b/testsuite/tests/typecheck/should_fail/tcfail049.stderr
index 6e871b0b86..12fc06db98 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail049.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail049.stderr
@@ -1,2 +1,2 @@
-
-tcfail049.hs:3:7: Not in scope: ‘g’
+
+tcfail049.hs:3:7: error: Variable not in scope: g :: t1 -> t
diff --git a/testsuite/tests/typecheck/should_fail/tcfail050.stderr b/testsuite/tests/typecheck/should_fail/tcfail050.stderr
index db312bd721..881e497b4d 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail050.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail050.stderr
@@ -1,2 +1,3 @@
-
-tcfail050.hs:3:7: Not in scope: data constructor ‘B’
+
+tcfail050.hs:3:7: error:
+ Data constructor not in scope: B :: t1 -> t