--- sml/trunk/src/ml-nlffi-lib/memory/memory-a4s2i4l4f4d8.sml	2002/01/15 16:32:43	1014
+++ sml/trunk/src/ml-nlffi-lib/memory/memory-a4s2i4l4f4d8.sml	2002/01/15 21:46:00	1015
@@ -10,6 +10,8 @@
  * author: Matthias Blume (blume@research.bell-labs.com)
  *)
 structure CMemory : CMEMORY = struct
+    exception OutOfMemory
+
     type addr = Word32.word
     val null = 0w0 : addr
     fun isNull a = a = null
@@ -71,7 +73,7 @@
 		      -> Word32.word
 	    val a = w_p (DL.addr malloc_h, n, [])
 	in
-	    if a = 0w0 then NONE else SOME a
+	    if a = 0w0 then raise OutOfMemory else a
 	end
 	fun sys_free (a : Word32.word) = let
 	    val p_u = RawMemInlineT.rawccall :
@@ -122,4 +124,7 @@
     fun unwrap_ulong (x : cc_ulong) = x : MLRep.ULong.word
     fun unwrap_float (x : cc_float) = x : MLRep.Float.real
     fun unwrap_double (x : cc_double) = x : MLRep.Double.real
+
+    fun p2i (x : addr) = x : MLRep.ULong.word
+    fun i2p (x : MLRep.ULong.word) = x : addr
 end

<script type="text/javascript">//<![CDATA[
		function toggle_ffErrors() {
			var errorsblock = document.getElementById("ffErrorsBlock");
			var errorsgroup = document.getElementById("ffErrors");
			if (errorsblock.style.display == "none") {
				errorsblock.style.display = "block";
				errorsgroup.style.right = "10px";
			} else {
				errorsblock.style.display = "none";
				errorsgroup.style.right = "300px";
			}
		}
//]]></script>
<div id="ffErrors">
<a href="javascript:toggle_ffErrors();">Click to toggle</a>
<div id="ffErrorsBlock">
	<div class="error">does not end with &lt;/html&gt; tag</div>
	<div class="error">does not end with &lt;/body&gt; tag</div>
	<div class="info">The output has ended thus: +
+    fun p2i (x : addr) = x : MLRep.ULong.word
+    fun i2p (x : MLRep.ULong.word) = x : addr
 end</div>
</div></div>
</body></html>