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);
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
wenzelm@16375
    28
end;