[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

@@ -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

ghc/tests/deSugar/should_compile/ds050.hs

+module ShouldCompile where
+
+data Q = Q {f :: forall a. a -> a}
+g1 = f
+g2 x = f x
+g3 x y = f x y