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