[commit: testsuite] master: Add a test for #3743 (d673c4c)

[Ian Lynagh]

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

On branch  : master

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

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

commit d673c4ca3823bff5a712ec3121fa3d00e373c5e3
Author: Ian Lynagh <igloo at earth.li>
Date:   Tue Sep 13 19:23:23 2011 +0100

    Add a test for #3743

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

 tests/typecheck/should_compile/T3743.hs |   14 ++++++++++++++
 tests/typecheck/should_compile/all.T    |    1 +
 2 files changed, 15 insertions(+), 0 deletions(-)

diff --git a/tests/typecheck/should_compile/T3743.hs b/tests/typecheck/should_compile/T3743.hs
new file mode 100644
index 0000000..cc8c6cc
--- /dev/null
+++ b/tests/typecheck/should_compile/T3743.hs
@@ -0,0 +1,14 @@
+{-# LANGUAGE ImplicitParams, GADTs #-}
+
+module T3743 where
+
+class Foo a
+
+data M where M :: Foo a => a -> M
+
+x :: (?x :: ()) => ()
+x = undefined
+
+-- foo :: (?x :: ()) => M -> ()
+foo y = case y of
+    M _ -> x
diff --git a/tests/typecheck/should_compile/all.T b/tests/typecheck/should_compile/all.T
index c3ba163..65fc50a 100644
--- a/tests/typecheck/should_compile/all.T
+++ b/tests/typecheck/should_compile/all.T
@@ -358,3 +358,4 @@ test('T3018', normal, compile, [''])
 test('T5032', normal, compile, [''])
 test('T2357', normal, compile, [''])
 test('T5481', normal, compile, [''])
+test('T3743', normal, compile, [''])