[project @ 2001-08-22 12:24:41 by simonmar]

[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc124.hs

diff --git a/ghc/tests/typecheck/should_compile/tc124.hs b/ghc/tests/typecheck/should_compile/tc124.hs
deleted file mode 100644 (file)
index 6a1b9de..0000000
--- a/ghc/tests/typecheck/should_compile/tc124.hs
+++ /dev/null
@@ -1,18 +0,0 @@
-{-# OPTIONS -fglasgow-exts #-}
-
--- !!! Rank 2 polymorphism
--- Both f and g are rejected by Hugs [April 2001]
-
-module Foo  where
-
-data T = T { t1 :: forall a. a -> a , t2 :: forall a b. a->b->b }
-
--- Test pattern bindings for polymorphic fields
-f :: T -> (Int,Char)
-f t = let T { t1 = my_t1 } = t
-      in
-      (my_t1 3, my_t1 'c')
-
--- Test record update with polymorphic fields
-g :: T -> T
-g t = t { t2 = \x y -> y }