mirror of
https://git.freebsd.org/ports.git
synced 2025-07-08 04:49:17 -04:00
31 lines
531 B
OCaml
31 lines
531 B
OCaml
(* Title: Pure/ML-Systems/polyml-4.1.4-patch.ML
|
|
ID: $Id$
|
|
Author: Makarius
|
|
|
|
Patch for PolyML 4.1.4 to make it work with Isabelle2005. We commit
|
|
this into ML_dbase!
|
|
*)
|
|
|
|
structure Posix =
|
|
struct
|
|
open Posix;
|
|
structure IO =
|
|
struct
|
|
open IO;
|
|
val mkReader = mkTextReader;
|
|
val mkWriter = mkTextWriter;
|
|
end;
|
|
end;
|
|
|
|
structure TextIO =
|
|
struct
|
|
open TextIO;
|
|
fun inputLine is = Option.getOpt (TextIO.inputLine is, "");
|
|
end;
|
|
|
|
structure Substring =
|
|
struct
|
|
open Substring;
|
|
val all = full;
|
|
end;
|
|
|