regression/int-inf.1.sml

   1 val big: IntInf.int = 0x80000000
   2
   3 fun try (barg: IntInf.int): unit =
   4    let
   5       val bstr = IntInf.toString barg
   6       val _ = print (concat ["trying ", bstr, "\n"])
   7    in print (if ~ big <= barg
   8                 then if barg < big
   9                         then "ok\n"
  10                      else "positive\n"
  11              else "negative\n")
  12    end
  13
  14 val _ = try 0
  15 val _ = try 1