ghc/tests/typecheck/should_fail/tcfail075.hs

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