Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail206.hs
1 {-# LANGUAGE TupleSections, UnboxedTuples #-}
2 module ShouldCompile where
3
4 a :: Bool -> (Int, Bool)
5 a = ( , True)
6
7 b :: Int -> Bool -> (Int, Bool)
8 b = (1, )
9
10 c :: a -> (a, Bool)
11 c = (True || False, )
12
13 d :: Bool -> (#Int, Bool#)
14 d = (# , True#)
15
16 e :: Int -> Bool -> (#Int, Bool#)
17 e = (#1, #)
18
19 f :: a -> (#a, Bool#)
20 f = (#True || False, #)