[project @ 2001-07-12 16:22:04 by simonpj]

Add tc130

testsuite/tests/ghc-regress/typecheck/should_compile/all.T

@@ -133,3 +133,4 @@ test "tc126" { myvtc("") }
 test "tc127" { myvtc("") }
 test "tc128" { myvtc("") }
 test "tc129" { myvtc("") }
+test "tc130" { myvtc("") }

testsuite/tests/ghc-regress/typecheck/should_compile/tc129.hs

+{-# OPTIONS -fglasgow-exts #-}
+
 -- !!! Test inheritance of implicit parameters.
 -- GHC 5.00.2 fails this test
 
@@ -11,5 +13,6 @@ data R = R {f :: Int}
 foo :: (?x :: Int) => R -> R
 foo r = r {f = ?x}
 
+baz :: (?x :: Int) => Int
 baz = (?x +1) :: Int
 

testsuite/tests/ghc-regress/typecheck/should_compile/tc130.hs

+{-# OPTIONS -fglasgow-exts #-}
+
+-- !!! Desugaring of record updates
+-- Showed up a bug in the newtype-squashing machinery
+
+
+module ShouldCompile where
+
+data R = R {field :: Int}
+
+test:: (?param :: R) => a -> Int
+test x = field (?param {field = 42})
+	-- The type of the record to be updated is 
+	-- {?param :: R} as well as plain R
+	-- which confused the compiler
+