testsuite/tests/ghc-regress/typecheck/should_fail/tcfail115.hs


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