src/Pure/NJ.ML
author paulson
Fri May 30 15:14:59 1997 +0200 (1997-05-30)
changeset 3365 86c0d1988622
parent 2241 cc5ee79ea416
permissions -rw-r--r--
flushOut ensures that no recent error message are lost (not certain this is
necessary)
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() = ();