testsuite/tests/typecheck/should_compile/tc209.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE UnboxedTuples #-}

-- Unboxed tuples; cf tcfail115, tcfail120

module ShouldFail where

type T a = Int -> (# Int, Int #)

-- Should be ok
h t = \x -> case t x of (# r, s #) -> r