testsuite/tests/typecheck/should_fail/tcfail075.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

{-# LANGUAGE MagicHash #-}

-- !!! Test top-level unboxed types

module ShouldFail where

import GHC.Base
import GHC.Prim

x = 1#

y :: Int#
y = x +# 1#

main =  let
          z = x -# y
        in
        if isTrue# (z ># 3#) then putStrLn "Yes"
                             else putStrLn "No"