nonmoving: Drop redundant write barrier on stack underflow
[ghc.git] / testsuite / tests / typecheck / should_run / tcrun047.hs
1 {-# LANGUAGE UnboxedTuples #-}
2
3 -- !!! Check that unboxed tuples can be function arguments
4 module Main where
5
6 data Ex = Ex (# Int,Int #)
7
8 {-# NOINLINE f #-} -- Make it harder to get right
9 f :: (# Int,Int #) -> Int
10 f x = error "urk"
11
12 {-# NOINLINE g #-} -- Make it harder to get right
13 g (Ex (# x,y #)) = x
14
15
16 main = print $ g (Ex (# 10, f (# 20, 30 #) #))