blob: 29372a87925c65e4b9d735b22e9039a12d94da99 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE UnboxedTuples #-}
module Main where
type T a = Int -> (# Int, Int #)
{-# NOINLINE f2 #-}
f2 :: T a -> T a
f2 t = \x -> case t x of _ -> (# 3,4 #) -- NB: wildcard has unboxed tuple type
main = print $ case f2 (\x -> (# x, x + 1 #)) 10 of (# y, z #) -> y + z
|