ghc/tests/typecheck/should_fail/tcfail075.hs

   1 {-# OPTIONS -fglasgow-exts #-}
   2
   3 -- !!! Test top-level unboxed types
   4
   5 module ShouldFail where
   6
   7 import PrelGHC
   8
   9 x = 1#
  10
  11 y :: Int#
  12 y = x +# 1#
  13
  14 main =  let
  15           z = x -# y
  16         in
  17         if z ># 3# then putStrLn "Yes"
  18                    else putStrLn "No"