src/Pure/ML-Systems/polyml-posix.ML
author wenzelm
Sat Jun 11 23:18:06 2005 +0200 (2005-06-11)
changeset 16375 de1ab9e8ed4f
child 17763 6f933b702f44
permissions -rw-r--r--
Posix patches (from polyml.ML);
     1 (*  Title:      Pure/ML-Systems/polyml-posix.ML
     2     ID:         $Id$
     3 
     4 Posix patches for Poly/ML.
     5 *)
     6 
     7 structure OriginalPosix = Posix;
     8 structure OriginalIO = Posix.IO;
     9 
    10 structure Posix =
    11 struct
    12   open OriginalPosix
    13   structure IO =
    14   struct
    15   open OriginalIO
    16   val mkTextReader = mkReader
    17   val mkTextWriter = mkWriter
    18   end;
    19 end;
    20 
    21 (*This extension of the Poly/ML Signal structure is only necessary
    22   because in SML/NJ, types Posix.Signal.signal and Signals.signal differ.*)
    23 structure IsaSignal =
    24 struct
    25   open Signal
    26   val usr1 = Posix.Signal.usr1
    27   val usr2 = Posix.Signal.usr2
    28 end;