git.annexia.org
/
ocaml-ancient.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix error path if realloc call fails.
[ocaml-ancient.git]
/
ancient.ml
diff --git
a/ancient.ml
b/ancient.ml
index
640e0d4
..
eda7874
100644
(file)
--- a/
ancient.ml
+++ b/
ancient.ml
@@
-1,6
+1,4
@@
-(* Mark objects as 'ancient' so they are taken out of the OCaml heap.
- * $Id: ancient.ml,v 1.6 2006-10-09 14:43:00 rich Exp $
- *)
+(* Mark objects as 'ancient' so they are taken out of the OCaml heap. *)
type 'a ancient
type 'a ancient
@@
-18,6
+16,8
@@
external delete : 'a ancient -> unit = "ancient_delete"
external is_ancient : 'a -> bool = "ancient_is_ancient"
external is_ancient : 'a -> bool = "ancient_is_ancient"
+external address_of : 'a -> nativeint = "ancient_address_of"
+
type md
external attach : Unix.file_descr -> nativeint -> md = "ancient_attach"
type md
external attach : Unix.file_descr -> nativeint -> md = "ancient_attach"
@@
-30,5
+30,3
@@
external share_info : md -> int -> 'a -> 'a ancient * info
let share md key obj = fst (share_info md key obj)
external get : md -> int -> 'a ancient = "ancient_get"
let share md key obj = fst (share_info md key obj)
external get : md -> int -> 'a ancient = "ancient_get"
-
-let max_key = 1023 (* MMALLOC_KEYS-1. See mmprivate.h *)