Lines Matching refs:exception
21 (* G&R 2004 status: done. Removed TerminatedStream exception. *)
24 exception Io of {name : string, function : string, cause : exn}
25 exception BlockingNotSupported
26 exception NonblockingNotSupported
27 exception RandomAccessNotSupported
28 exception ClosedStream
34 exception Io of {name : string, function : string, cause : exn}
35 exception BlockingNotSupported
36 exception NonblockingNotSupported
37 exception RandomAccessNotSupported
38 exception ClosedStream