|
0
|
1 |
(* Title: Pure/NJ
|
|
|
2 |
ID: $Id$
|
|
|
3 |
Author: Lawrence C Paulson, Cambridge University Computer Laboratory
|
|
|
4 |
Copyright 1993 University of Cambridge
|
|
|
5 |
|
|
|
6 |
Compatibility file for Standard ML of New Jersey.
|
|
|
7 |
*)
|
|
|
8 |
|
|
|
9 |
|
|
1480
|
10 |
(*Determine if we are running under 0.93 or a newer version of SML/NJ
|
|
|
11 |
This is based on the variable "version" defined in 0.93's System structure
|
|
|
12 |
which is no longer present in 1.09.*)
|
|
0
|
13 |
|
|
1480
|
14 |
local val version = ""; open System in
|
|
|
15 |
val smlversion = if version <> "" then 93 else 109
|
|
|
16 |
end;
|
|
0
|
17 |
|
|
1480
|
18 |
use (if smlversion = 93 then "NJ093.ML" else "NJ1xx.ML");
|
|
0
|
19 |
|
|
|
20 |
|
|
1480
|
21 |
(** Other functions which are not specific to 0.93 or 1.xx*)
|
|
0
|
22 |
|
|
|
23 |
(*Dummy version of the Poly/ML function*)
|
|
|
24 |
fun commit() = ();
|