HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
1 | (* Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh |
| 2 | * Jagannathan, and Stephen Weeks. | |
| 3 | * | |
| 4 | * MLton is released under a BSD-style license. | |
| 5 | * See the file MLton-LICENSE for details. | |
| 6 | *) | |
| 7 | ||
| 8 | structure Instream: INSTREAM = | |
| 9 | struct | |
| 10 | ||
| 11 | open Instream0 | |
| 12 | ||
| 13 | structure String = ZString | |
| 14 | ||
| 15 | val input = | |
| 16 | Trace.trace ("Instream.input", layout, String.layout) input | |
| 17 | ||
| 18 | fun outputAll (ins: t, out: Out.t): unit = | |
| 19 | let | |
| 20 | fun loop () = | |
| 21 | case input ins of | |
| 22 | "" => () | |
| 23 | | s => (Out.output (out, s); loop ()) | |
| 24 | in | |
| 25 | loop () | |
| 26 | end | |
| 27 | ||
| 28 | val inputLine = | |
| 29 | Trace.trace ("Instream.inputLine", layout, Option.layout String.layout) inputLine | |
| 30 | ||
| 31 | fun 'a withClose (ins: t, f: t -> 'a): 'a = | |
| 32 | Exn.finally (fn () => f ins, fn () => close ins) | |
| 33 | ||
| 34 | fun 'a withIn (f: string, g: t -> 'a): 'a = | |
| 35 | withClose (openIn f handle IO.Io _ => | |
| 36 | Error.bug (concat ["Instream.withIn: cannot open ", f]), g) | |
| 37 | ||
| 38 | fun withNull f = withIn ("/dev/zero", f) | |
| 39 | ||
| 40 | fun lines ins = rev (foldLines (ins, [], op ::)) | |
| 41 | ||
| 42 | end | |
| 43 | ||
| 44 | structure In = Instream |