Introduction of structure Int
authorpaulson
Mon Nov 18 16:26:43 1996 +0100 (1996-11-18)
changeset 219097a2d44a8013
parent 2189 c00533aec02f
child 2191 58383908f177
Introduction of structure Int
src/Pure/NJ093.ML
     1.1 --- a/src/Pure/NJ093.ML	Mon Nov 18 16:26:08 1996 +0100
     1.2 +++ b/src/Pure/NJ093.ML	Mon Nov 18 16:26:43 1996 +0100
     1.3 @@ -6,9 +6,18 @@
     1.4  Compatibility file for Standard ML of New Jersey version 0.93.
     1.5  *)
     1.6  
     1.7 +
     1.8 +(*** Basis Library emulation ***)
     1.9 +
    1.10 +structure Int =
    1.11 +  struct
    1.12 +  fun max (x, y) = if x < y then y else x : int;
    1.13 +  fun min (x, y) = if x < y then x else y : int;
    1.14 +  end;
    1.15 +
    1.16 +
    1.17  (*** Poly/ML emulation ***)
    1.18  
    1.19 -
    1.20  (*To exit the system with an exit code -- an alternative to ^D *)
    1.21  val exit = System.Unsafe.CInterface.exit;
    1.22  fun quit () = exit 0;