added pointer_eq;
authorwenzelm
Mon Jun 20 22:14:17 2005 +0200 (2005-06-20)
changeset 165025a56e59526a5
parent 16501 fec0cf020bad
child 16503 24491bde68df
added pointer_eq;
src/Pure/ML-Systems/mosml.ML
src/Pure/ML-Systems/polyml.ML
src/Pure/ML-Systems/smlnj.ML
     1.1 --- a/src/Pure/ML-Systems/mosml.ML	Mon Jun 20 22:14:15 2005 +0200
     1.2 +++ b/src/Pure/ML-Systems/mosml.ML	Mon Jun 20 22:14:17 2005 +0200
     1.3 @@ -19,6 +19,10 @@
     1.4  
     1.5  (** ML system related **)
     1.6  
     1.7 +(*proper implementation available?*)
     1.8 +fun pointer_eq (x:''a, y) = false;
     1.9 +
    1.10 +
    1.11  (* Poly/ML emulation *)
    1.12  
    1.13  load "Bool";
     2.1 --- a/src/Pure/ML-Systems/polyml.ML	Mon Jun 20 22:14:15 2005 +0200
     2.2 +++ b/src/Pure/ML-Systems/polyml.ML	Mon Jun 20 22:14:17 2005 +0200
     2.3 @@ -21,6 +21,11 @@
     2.4  fun unless_cygwin f x = if not cygwin_platform then f x else ();
     2.5  
     2.6  
     2.7 +(* low-level pointer equality *)
     2.8 +
     2.9 +fun pointer_eq (x:''a, y) = Address.wordEq (x, y);
    2.10 +
    2.11 +
    2.12  (* old Poly/ML emulation *)
    2.13  
    2.14  local
     3.1 --- a/src/Pure/ML-Systems/smlnj.ML	Mon Jun 20 22:14:15 2005 +0200
     3.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Mon Jun 20 22:14:17 2005 +0200
     3.3 @@ -11,6 +11,12 @@
     3.4  
     3.5  (** ML system related **)
     3.6  
     3.7 +(* low-level pointer equality *)
     3.8 +
     3.9 +(*proper implementation available?*)
    3.10 +fun pointer_eq (x:''a, y) = false;
    3.11 +
    3.12 +
    3.13  (* restore old-style character / string functions *)
    3.14  
    3.15  val ord     = SML90.ord;