blob: d0b5c7a25949575bb121d108d0276952fa9d5320 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE ConstraintKinds, MagicHash #-}
module ShouldFail where
import GHC.Exts
-- If we turn on ConstraintKinds 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#)
|