[commit: testsuite] master: Test Trac #7525 (fb2d741)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/fb2d7411d4424dfadd123d2997b2a844910f2b93

>---------------------------------------------------------------

commit fb2d7411d4424dfadd123d2997b2a844910f2b93
Author: Simon Peyton Jones <[email protected]>
Date:   Mon Dec 24 09:49:29 2012 +0000

    Test Trac #7525

>---------------------------------------------------------------

 tests/typecheck/should_fail/T7525.hs     |   15 +++++++++++++++
 tests/typecheck/should_fail/T7525.stderr |    9 +++++++++
 tests/typecheck/should_fail/all.T        |    1 +
 3 files changed, 25 insertions(+), 0 deletions(-)

diff --git a/tests/typecheck/should_fail/T7525.hs b/tests/typecheck/should_fail/T7525.hs
new file mode 100644
index 0000000..b0ed11f
--- /dev/null
+++ b/tests/typecheck/should_fail/T7525.hs
@@ -0,0 +1,15 @@
+{-# LANGUAGE ImplicitParams #-}
+module T7525 where
+
+hmm :: Bool
+hmm = let ?a = True in ?a && ?b
+
+{- The error message should say
+
+    Could not deduce (?b::Bool)
+      arising from a use of implicit parameter `?b'
+    from the context (?a::Bool)
+
+That is, the context should be (?a :: Bool) not (?a :: t0).
+-}
+
diff --git a/tests/typecheck/should_fail/T7525.stderr b/tests/typecheck/should_fail/T7525.stderr
new file mode 100644
index 0000000..032de67
--- /dev/null
+++ b/tests/typecheck/should_fail/T7525.stderr
@@ -0,0 +1,9 @@
+
+T7525.hs:5:30:
+    Could not deduce (?b::Bool)
+      arising from a use of implicit parameter `?b'
+    from the context (?a::Bool)
+      bound by the implicit-parameter bindings for ?a at T7525.hs:5:7-31
+    In the second argument of `(&&)', namely `?b'
+    In the expression: ?a && ?b
+    In the expression: let ?a = True in ?a && ?b
diff --git a/tests/typecheck/should_fail/all.T b/tests/typecheck/should_fail/all.T
index 2e1ec6e..168dc16 100644
--- a/tests/typecheck/should_fail/all.T
+++ b/tests/typecheck/should_fail/all.T
@@ -289,3 +289,4 @@ test('T6069', normal, compile_fail, [''])
 test('T7220', normal, compile_fail, [''])
 test('T7410', normal, compile_fail, [''])
 test('T7453', normal, compile_fail, [''])
+test('T7525', normal, compile_fail, [''])