src/Pure/ML-Systems/polyml.ML

--- a/src/Pure/ML-Systems/polyml.ML	Mon Jun 20 22:14:15 2005 +0200
+++ b/src/Pure/ML-Systems/polyml.ML	Mon Jun 20 22:14:17 2005 +0200
@@ -21,6 +21,11 @@
 fun unless_cygwin f x = if not cygwin_platform then f x else ();
 
 
+(* low-level pointer equality *)
+
+fun pointer_eq (x:''a, y) = Address.wordEq (x, y);
+
+
 (* old Poly/ML emulation *)
 
 local