[commit: testsuite] master: Test Trac #7268 (76176e6)

[Simon Peyton Jones]

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

On branch  : master

https://github.com/ghc/testsuite/commit/76176e6c4247e679ad7922cc3e1ddc301865ec2a

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

commit 76176e6c4247e679ad7922cc3e1ddc301865ec2a
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed May 15 10:25:03 2013 +0100

    Test Trac #7268

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

 tests/typecheck/should_compile/T7268.hs |   11 +++++++++++
 tests/typecheck/should_compile/all.T    |    1 +
 2 files changed, 12 insertions(+), 0 deletions(-)

diff --git a/tests/typecheck/should_compile/T7268.hs b/tests/typecheck/should_compile/T7268.hs
new file mode 100644
index 0000000..0420c04
--- /dev/null
+++ b/tests/typecheck/should_compile/T7268.hs
@@ -0,0 +1,11 @@
+{-# LANGUAGE MonoLocalBinds, NoMonomorphismRestriction, RankNTypes #-}
+module T7268 where
+
+data X = X { a :: forall a . a -> Bool }
+
+ida :: forall b. b -> Bool
+X { a = ida } = error "urk"
+
+bar :: c -> Bool
+bar = ida
+
diff --git a/tests/typecheck/should_compile/all.T b/tests/typecheck/should_compile/all.T
index a362a22..77591dd 100644
--- a/tests/typecheck/should_compile/all.T
+++ b/tests/typecheck/should_compile/all.T
@@ -400,3 +400,4 @@ test('T7562', normal, compile, [''])
 test('T7641', normal, compile, [''])
 test('T7827', normal, compile, [''])
 test('T7875', normal, compile, [''])
+test('T7268', normal, compile, [''])