path: root/testsuite/tests/typecheck/should_fail/tcfail159.hs

{-# LANGUAGE UnboxedTuples #-}

module ShouldFail where

h :: Int -> (# Int, Int #)
h x = (# x,x #)

foo x = case h x of
          ~(# p, q #) -> p