From a7f5d12382a35ca9ba27f5bd012308983c2d156e Mon Sep 17 00:00:00 2001 From: simonmar Date: Wed, 8 Aug 2001 14:28:08 +0000 Subject: [PATCH 1/1] [project @ 2001-08-08 14:28:08 by simonmar] Fix parse error and remove ^Ms (an untested test?) --- ghc/tests/typecheck/should_compile/tc124.hs | 36 +++++++++++++-------------- 1 file changed, 18 insertions(+), 18 deletions(-) diff --git a/ghc/tests/typecheck/should_compile/tc124.hs b/ghc/tests/typecheck/should_compile/tc124.hs index 5a87eb2..6a1b9de 100644 --- a/ghc/tests/typecheck/should_compile/tc124.hs +++ b/ghc/tests/typecheck/should_compile/tc124.hs @@ -1,18 +1,18 @@ -{-# 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 } +{-# 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 } -- 1.7.10.4