Posix patches (from polyml.ML);
authorwenzelm
Sat Jun 11 23:18:06 2005 +0200 (2005-06-11)
changeset 16375de1ab9e8ed4f
parent 16374 f4b7cf8975af
child 16376 65e2df6d8e10
Posix patches (from polyml.ML);
src/Pure/ML-Systems/polyml-posix.ML
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Pure/ML-Systems/polyml-posix.ML	Sat Jun 11 23:18:06 2005 +0200
     1.3 @@ -0,0 +1,28 @@
     1.4 +(*  Title:      Pure/ML-Systems/polyml-posix.ML
     1.5 +    ID:         $Id$
     1.6 +
     1.7 +Posix patches for Poly/ML.
     1.8 +*)
     1.9 +
    1.10 +structure OriginalPosix = Posix;
    1.11 +structure OriginalIO = Posix.IO;
    1.12 +
    1.13 +structure Posix =
    1.14 +struct
    1.15 +  open OriginalPosix
    1.16 +  structure IO =
    1.17 +  struct
    1.18 +  open OriginalIO
    1.19 +  val mkTextReader = mkReader
    1.20 +  val mkTextWriter = mkWriter
    1.21 +  end;
    1.22 +end;
    1.23 +
    1.24 +(*This extension of the Poly/ML Signal structure is only necessary
    1.25 +  because in SML/NJ, types Posix.Signal.signal and Signals.signal differ.*)
    1.26 +structure IsaSignal =
    1.27 +struct
    1.28 +  open Signal
    1.29 +  val usr1 = Posix.Signal.usr1
    1.30 +  val usr2 = Posix.Signal.usr2
    1.31 +end;