Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail212.hs
1 {-# LANGUAGE ConstraintKinds, MagicHash #-}
2 module ShouldFail where
3
4 import GHC.Exts
5
6 -- If we turn on ConstraintKinds the typing rule for
7 -- tuple types is generalised. This test checks that
8 -- we get a reasonable error for unreasonable tuples.
9
10 f :: (Maybe, Either Int)
11 f = (Just 1, Left 1)
12
13 g :: (Int#, Int#)
14 g = (1#, 2#)