blob: 971f625a9a4b2998c64ff7847d960394a79e1f20 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE UnboxedTuples #-}
-- Unboxed tuples; c.f. tcfail120, tc209
module ShouldFail where
type T a = Int -> (# Int, Int #)
g t = case t of r -> (r :: (# Int, Int #))
f :: T a -> T a
f t = \x -> case t x of r -> r
|