Test Trac #4306

testsuite/tests/ghc-regress/simplCore/should_compile/Makefile

@@ -11,3 +11,9 @@ T3772:
 	$(RM) -f rm -f T3772*.hi T3772*.o
 	'$(TEST_HC)' -c -O T3772_A.hs 
 	'$(TEST_HC)' -c -O T3772.hs -dsuppress-uniques -ddump-simpl
+
+T4306:
+	$(RM) -f rm -f T4306.hi T4306.o
+	'$(TEST_HC)' -c -O T4306.hs 
+	'$(TEST_HC)' --show-iface T4306.hi | grep 'wupd ::'
+

testsuite/tests/ghc-regress/simplCore/should_compile/T4306.hs

+-- Trac #4306
+-- Check that the worker for 'upd' has only one argument
+
+module T4306 where
+
+data D = D {-# UNPACK #-} !Double {-# UNPACK #-} !Double  
+data UPD = UPD {-# UNPACK #-} !Double D
+
+upd (UPD _ (D x _)) = sqrt $! (x*x + x*x + sin x)
+

testsuite/tests/ghc-regress/simplCore/should_compile/T4306.stdout

+  $wupd :: GHC.Prim.Double# -> GHC.Prim.Double#

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

@@ -68,6 +68,11 @@ test('T3055',
      run_command,
      ['$MAKE -s --no-print-directory T3055'])
 
+test('T4306',
+     normal,
+     run_command,
+     ['$MAKE -s --no-print-directory T4306'])
+
 test('T3772',
 #      only_ways(['optc','optasm']), 
      extra_clean(['T3772_A.hi', 'T3772_A.o']),