Beef up tc124
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 12 Feb 2016 13:41:39 +0000 (13:41 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 12 Feb 2016 17:37:11 +0000 (17:37 +0000)
Makes it a slightly more stringent test of record pattern bindings

testsuite/tests/typecheck/should_compile/tc124.hs

index 658b29c..a832cd3 100644 (file)
@@ -7,13 +7,19 @@
 
 module Foo  where
 
-data T = T { t1 :: forall a. a -> a , t2 :: forall a b. a->b->b }
+data T = T { t1 :: forall a. a -> a
+           , t2 :: forall b c. b->c->c }
 
 -- Test pattern bindings for polymorphic fields
-f :: T -> (Int,Char)
-f t = let T { t1 = my_t1 } = t
+f :: T -> (Int,Char, Char)
+f t = let T { t1 = my_t1, t2 = my_t2 } = t
       in
-      (my_t1 3, my_t1 'c')
+      (my_t1 3, my_t1 'c', my_t2 2 'c')
+
+f2 :: T -> (Int,Char, Char)
+f2 t = let T { t1 = my_t1, t2 = my_t2 } = t
+       in
+       (my_t1 3, my_t1 'c', my_t2 2 'c')
 
 -- Test record update with polymorphic fields
 g :: T -> T