polyml/basis/BasicStreamIO.sml

54             Io { name = name, function = caller, cause = nonIo }
95        OutStreamClosed means that the writer's "close" function has been called.
149                 raise Io { name = name, function = "input", cause = BlockingNotSupported }
292                 raise Io { name = "",  function = "getReader", cause = ClosedStream }
321                 raise Io { name = "",  function = "filePosIn", cause = ClosedStream }
359                 raise Io { name = "",  function = "filePosIn",
370                 raise Io { name = "",  function = "filePosIn",
373                 raise Io { name = "",  function = "filePosIn", cause = ClosedStream }
376                 raise Io { name = "",  function = "filePosIn",
389                 raise Io { name = "",  function = "filePosIn",
433                 raise Io { name = name, function = "canInput", cause = NonblockingNotSupported }
517                 raise Io { name = name, function = "flushOut",
539         (* Close the stream.  We must call the writer's close function only once
557                 raise Io { name = name, function = "getWriter", cause = ClosedStream }
576         (* Internal function: Write a vector directly to the writer. It only
613                 raise Io { name = name, function = "output",
616         (* Internal function. Write a vector to the stream using the start and
666                 raise Io { name = name, function = "output", cause = ClosedStream }
682                 raise Io { name = name, function = "output1", cause = ClosedStream }
691                 raise Io { name = name, function = "getPosOut",
701                 raise Io { name = name, function = "setPosOut",
711         (* Exported function to output part of a vector.  Non-standard. *)
727     (* We need to set up a function to flush the streams when we
729        an entry function, which is persistent, to do it. *)