From: simonmar <unknown>
Date: Mon, 22 May 2000 13:37:16 +0000 (+0000)
Subject: [project @ 2000-05-22 13:37:16 by simonmar]
X-Git-Tag: Approximately_9120_patches~4413
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=6c09d59cc9cbade512b31616c881e614fcfc56ab;p=ghc-hetmet.git

[project @ 2000-05-22 13:37:16 by simonmar]
Add test for record selector functions where the field has a
polymorphic type.
---

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