blob: c73b7ac0e2f9b7c5e12385045f9cf400a14efa81 (
plain)
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
|