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
wenzelm@16375
     1
(*  Title:      Pure/ML-Systems/polyml-posix.ML
wenzelm@16375
     2
    ID:         $Id$
wenzelm@16375
     3
wenzelm@16375
     4
Posix patches for Poly/ML.
wenzelm@16375
     5
*)
wenzelm@16375
     6
wenzelm@16375
     7
structure OriginalPosix = Posix;
wenzelm@16375
     8
structure OriginalIO = Posix.IO;
wenzelm@16375
     9
wenzelm@16375
    10
structure Posix =
wenzelm@16375
    11
struct
wenzelm@16375
    12
  open OriginalPosix
wenzelm@16375
    13
  structure IO =
wenzelm@16375
    14
  struct
wenzelm@16375
    15
  open OriginalIO
wenzelm@16375
    16
  val mkTextReader = mkReader
wenzelm@16375
    17
  val mkTextWriter = mkWriter
wenzelm@16375
    18
  end;
wenzelm@16375
    19
end;
wenzelm@16375
    20
wenzelm@16375
    21
(*This extension of the Poly/ML Signal structure is only necessary
wenzelm@16375
    22
  because in SML/NJ, types Posix.Signal.signal and Signals.signal differ.*)
wenzelm@16375
    23
structure IsaSignal =
wenzelm@16375
    24
struct
wenzelm@16375
    25
  open Signal
wenzelm@16375
    26
  val usr1 = Posix.Signal.usr1
wenzelm@16375
    27
  val usr2 = Posix.Signal.usr2
paulson@17763
    28
  val alrm = Posix.Signal.alrm
paulson@17763
    29
  val chld = Posix.Signal.chld
paulson@17763
    30
  val cont = Posix.Signal.cont
paulson@17763
    31
  val int  = Posix.Signal.int
paulson@17763
    32
  val quit = Posix.Signal.quit
wenzelm@16375
    33
end;