[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 (file)
--- 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 (file)
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