src/Pure/ML-Systems/polyml-posix.ML
author berghofe
Mon Jan 21 14:18:49 2008 +0100 (2008-01-21)
changeset 25939 ddea202704b4
parent 23139 aa899bce7c3b
permissions -rw-r--r--
Removed Logic.auto_rename.
     1 (*  Title:      Pure/ML-Systems/polyml-posix.ML
     2     ID:         $Id$
     3 
     4 Posix patches for Poly/ML.
     5 *)
     6 
     7 (*This extension of the Poly/ML Signal structure is only necessary
     8   because in SML/NJ, types Posix.Signal.signal and Signals.signal differ.*)
     9 structure IsaSignal =
    10 struct
    11   open Signal
    12   val usr1 = Posix.Signal.usr1
    13   val usr2 = Posix.Signal.usr2
    14   val alrm = Posix.Signal.alrm
    15   val chld = Posix.Signal.chld
    16   val cont = Posix.Signal.cont
    17   val int  = Posix.Signal.int
    18   val quit = Posix.Signal.quit
    19 end;