src/Pure/ML-Systems/polyml-posix.ML
author paulson
Wed Oct 05 10:56:06 2005 +0200 (2005-10-05)
changeset 17763 6f933b702f44
parent 16375 de1ab9e8ed4f
child 23139 aa899bce7c3b
permissions -rw-r--r--
more signals
     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   val alrm = Posix.Signal.alrm
    29   val chld = Posix.Signal.chld
    30   val cont = Posix.Signal.cont
    31   val int  = Posix.Signal.int
    32   val quit = Posix.Signal.quit
    33 end;