From 6c09d59cc9cbade512b31616c881e614fcfc56ab Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Mon, 22 May 2000 13:37:16 +0000
Subject: [PATCH] [project @ 2000-05-22 13:37:16 by simonmar] Add test for
 record selector functions where the field has a polymorphic
 type.

---
 ghc/tests/deSugar/should_compile/Makefile |    1 +
 ghc/tests/deSugar/should_compile/ds050.hs |    6 ++++++
 2 files changed, 7 insertions(+)
 create mode 100644 ghc/tests/deSugar/should_compile/ds050.hs

diff --git a/ghc/tests/deSugar/should_compile/Makefile b/ghc/tests/deSugar/should_compile/Makefile
index 8ed1fdf..0bd45f5 100644
--- a/ghc/tests/deSugar/should_compile/Makefile
+++ b/ghc/tests/deSugar/should_compile/Makefile
@@ -6,6 +6,7 @@ SRC_HC_OPTS += -noC -dcore-lint
 
 ds035_HC_OPTS = -fglasgow-exts
 ds044_HC_OPTS = -O -funbox-strict-fields
+ds050_HC_OPTS = -fglasgow-exts
 
 # mkdependHS doesn't understand OPTIONS pragmas...
 SRC_MKDEPENDHS_OPTS += -fglasgow-exts
diff --git a/ghc/tests/deSugar/should_compile/ds050.hs b/ghc/tests/deSugar/should_compile/ds050.hs
new file mode 100644
index 0000000..4aa20a8
--- /dev/null
+++ b/ghc/tests/deSugar/should_compile/ds050.hs
@@ -0,0 +1,6 @@
+module ShouldCompile where
+
+data Q = Q {f :: forall a. a -> a}
+g1 = f
+g2 x = f x
+g3 x y = f x y
-- 
1.7.10.4