--- a/src/Pure/ML-Systems/smlnj-1.07.ML Tue Aug 05 16:43:54 1997 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,138 +0,0 @@
-(* Title: Pure/ML-Systems/smlnj-1.07.ML
- ID: $Id$
- Author: Carsten Clasohm, TU Muenchen
- Copyright 1996 TU Muenchen
-
-Compatibility file for Standard ML of New Jersey, version 1.07.
-*)
-
-use "basis.ML";
-
-
-(*** Poly/ML emulation ***)
-
-fun quit () = exit 0;
-
-(*To limit the printing depth [divided by 2 for comparibility with Poly/ML]*)
-fun print_depth n = (Compiler.Control.Print.printDepth := n div 2;
- Compiler.Control.Print.printLength := n);
-
-(*Interface for toplevel pretty printers, see also Pure/install_pp.ML*)
-
-fun make_pp path pprint =
- let
- open Compiler.PrettyPrint;
-
- fun pp pps obj =
- pprint obj
- (add_string pps, begin_block pps INCONSISTENT,
- fn wd => add_break pps (wd, 0), fn () => add_newline pps,
- fn () => end_block pps);
- in
- (path, pp)
- end;
-
-fun install_pp (path, pp) = Compiler.PPTable.install_pp path pp;
-
-
-(*** New Jersey ML parameters ***)
-
-(* Suppresses Garbage Collection messages; doesn't work yet *)
-(*System.Runtime.gc 0;*)
-
-val _ = (Compiler.Control.Print.printLength := 1000;
- Compiler.Control.Print.printDepth := 350;
- Compiler.Control.Print.stringDepth := 250;
- Compiler.Control.Print.signatures := 2);
-
-
-(*** Character/string functions which are compatible with 0.93 and Poly/ML ***)
-
-fun ord s = Char.ord (String.sub(s,0));
-val chr = str o Char.chr;
-val explode = (map str) o String.explode;
-val implode = String.concat;
-
-
-(*** Timing functions ***)
-
-(*Print microseconds, suppressing trailing zeroes*)
-fun umakestring 0 = ""
- | umakestring n = chr(ord "0" + n div 100000) ^
- umakestring(10 * (n mod 100000));
-
-(*A conditional timing function: applies f to () and, if the flag is true,
- prints its runtime. *)
-fun cond_timeit flag f =
- if flag then
- let fun string_of_time (System.Timer.TIME {sec, usec}) =
- makestring sec ^ "." ^ (if usec=0 then "0" else umakestring usec)
- open System.Timer;
- val start = start_timer()
- val result = f();
- val nongc = check_timer(start)
- and gc = check_timer_gc(start);
- val both = add_time(nongc, gc)
- in print("Non GC " ^ string_of_time nongc ^
- " GC " ^ string_of_time gc ^
- " both "^ string_of_time both ^ " secs\n");
- result
- end
- else f();
-
-
-(*** File handling ***)
-
-(*Get time of last modification; if file doesn't exist return an empty string*)
-local
- open System.Timer;
- open System.Unsafe.SysIO;
-in
- fun file_info "" = ""
- | file_info name = makestring (mtime (PATH name)) handle _ => "";
-end;
-
-structure OS =
- struct
- structure FileSys =
- struct
- val chDir = System.Directory.cd
- val remove = System.Unsafe.SysIO.unlink (*Delete a file *)
- val getDir = System.Directory.getWD (*path of working directory*)
- end
- end;
-
-
-
-(*** ML command execution ***)
-
-
-(*For version 109.21 and later:
-val use_string = Compiler.Interact.useStream o TextIO.openString o implode;
-*)
-
-(*For versions prior to 109.21:*)
-fun use_string commands =
- Compiler.Interact.use_stream (open_string (implode commands));
-
-
-(*** System command execution ***)
-
-(*Execute an Unix command which doesn't take any input from stdin and
- sends its output to stdout.
- This could be done more easily by Unix.execute, but that function
- doesn't use the PATH.*)
-fun execute command =
- let val tmp_name = "isa_converted.tmp"
- val is = (System.Unix.system (command ^ " > " ^ tmp_name);
- open_in tmp_name);
- val result = input (is, 999999);
- in close_in is;
- OS.FileSys.remove tmp_name;
- result
- end;
-
-
-(* symbol input *)
-
-val needs_filtered_use = false;