added structure Posix;
authorwenzelm
Sun Sep 16 15:36:57 2007 +0200 (2007-09-16)
changeset 24604d5c5d2e13fbf
parent 24603 425d6445cba6
child 24605 98689b0e5956
added structure Posix;
src/Pure/ML-Systems/proper_int.ML
     1.1 --- a/src/Pure/ML-Systems/proper_int.ML	Sun Sep 16 15:27:26 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/proper_int.ML	Sun Sep 16 15:36:57 2007 +0200
     1.3 @@ -192,3 +192,19 @@
     1.4    open Time;
     1.5    fun fmt a b = Time.fmt (dest_int a) b;
     1.6  end;
     1.7 +
     1.8 +
     1.9 +(* Posix *)
    1.10 +
    1.11 +structure Posix =
    1.12 +struct
    1.13 +  open Posix;
    1.14 +  structure IO =
    1.15 +  struct
    1.16 +    open IO;
    1.17 +    fun mkTextWriter {appendMode, chunkSize, fd, initBlkMode, name} =
    1.18 +      IO.mkTextWriter {appendMode = appendMode, chunkSize = dest_int chunkSize,
    1.19 +        fd = fd, initBlkMode = initBlkMode, name = name};
    1.20 +  end;
    1.21 +end;
    1.22 +