blob: 9ebc2425639e5d0dd7012d94d9e30c4589d3c1ea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE ConstraintKind, MagicHash #-}
module ShouldFail where
import GHC.Exts
-- If we turn on ConstraintKind the typing rule for
-- tuple types is generalised. This test checks that
-- we get a reasonable error for unreasonable tuples.
f :: (Maybe, Either Int)
f = (Just 1, Left 1)
g :: (Int#, Int#)
g = (1#, 2#)
|