regression/ftruncate.sml

   1 val tmp = "tmp"
   2
   3 val () =
   4    let
   5       open TextIO
   6       val out = openOut tmp
   7       val () = output (out, "hello, there\n")
   8       val () = closeOut out
   9    in
  10       ()
  11    end
  12
  13 val () =
  14    let
  15       open Posix
  16       open FileSys
  17       val fd = openf (tmp, O_WRONLY, O.flags [])
  18       val () = ftruncate (fd, 5)
  19       val () = IO.close fd
  20    in
  21       ()
  22    end
  23
  24 val () =
  25    let
  26       open TextIO
  27       val ins = openIn tmp
  28       val () = print (TextIO.inputAll ins)
  29       val () = print "\n"
  30       val () = closeIn ins
  31    in
  32       ()
  33    end
  34
  35 val () = OS.FileSys.remove tmp