c14f276b2d0295bd8b7bc29f028851118366ccc6
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail075.hs
1 {-# LANGUAGE MagicHash #-}
2
3 -- !!! Test top-level unboxed types
4
5 module ShouldFail where
6
7 import GHC.Base
8 import GHC.Prim
9
10 x = 1#
11
12 y :: Int#
13 y = x +# 1#
14
15 main = let
16 z = x -# y
17 in
18 if z ># 3# then putStrLn "Yes"
19 else putStrLn "No"
20