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)
     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 
    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.*)
    13 
    14 local val version = ""; open System in
    15   val smlversion = if version <> "" then 93 else 109
    16 end;
    17 
    18 use (if smlversion = 93 then "NJ093.ML" else "NJ1xx.ML");
    19 
    20 
    21 (** Other functions which are not specific to 0.93 or 1.xx*)
    22 
    23 (*Dummy version of the Poly/ML function*)
    24 fun commit() = ();