src/Pure/ML-Systems/polyml-posix.ML
author wenzelm
Thu May 31 01:25:24 2007 +0200 (2007-05-31)
changeset 23139 aa899bce7c3b
parent 17763 6f933b702f44
permissions -rw-r--r--
TextIO.inputLine: use present SML B library version;
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
(*This extension of the Poly/ML Signal structure is only necessary
wenzelm@16375
     8
  because in SML/NJ, types Posix.Signal.signal and Signals.signal differ.*)
wenzelm@16375
     9
structure IsaSignal =
wenzelm@16375
    10
struct
wenzelm@16375
    11
  open Signal
wenzelm@16375
    12
  val usr1 = Posix.Signal.usr1
wenzelm@16375
    13
  val usr2 = Posix.Signal.usr2
paulson@17763
    14
  val alrm = Posix.Signal.alrm
paulson@17763
    15
  val chld = Posix.Signal.chld
paulson@17763
    16
  val cont = Posix.Signal.cont
paulson@17763
    17
  val int  = Posix.Signal.int
paulson@17763
    18
  val quit = Posix.Signal.quit
wenzelm@16375
    19
end;