testsuite/tests/typecheck/should_fail/T502.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE MagicHash, UnboxedTuples #-}

module T502 where

-- As per #502, the following type error message should correctly
-- display the unboxed tuple type.
bar :: Int
bar = snd foo
  where foo :: (# Int, Int #)
        foo = undefined