src/Pure/ML-Systems/polyml-posix.ML
changeset 23139 aa899bce7c3b
parent 17763 6f933b702f44
     1.1 --- a/src/Pure/ML-Systems/polyml-posix.ML	Wed May 30 23:32:54 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/polyml-posix.ML	Thu May 31 01:25:24 2007 +0200
     1.3 @@ -4,20 +4,6 @@
     1.4  Posix patches for Poly/ML.
     1.5  *)
     1.6  
     1.7 -structure OriginalPosix = Posix;
     1.8 -structure OriginalIO = Posix.IO;
     1.9 -
    1.10 -structure Posix =
    1.11 -struct
    1.12 -  open OriginalPosix
    1.13 -  structure IO =
    1.14 -  struct
    1.15 -  open OriginalIO
    1.16 -  val mkTextReader = mkReader
    1.17 -  val mkTextWriter = mkWriter
    1.18 -  end;
    1.19 -end;
    1.20 -
    1.21  (*This extension of the Poly/ML Signal structure is only necessary
    1.22    because in SML/NJ, types Posix.Signal.signal and Signals.signal differ.*)
    1.23  structure IsaSignal =