ancient.ml

   1 (* Mark objects as 'ancient' so they are taken out of the OCaml heap.
   2  * $Id: ancient.ml,v 1.4 2006-09-28 12:40:07 rich Exp $
   3  *)
   4
   5 type 'a ancient
   6
   7 external mark : 'a -> 'a ancient = "ancient_mark"
   8
   9 external follow : 'a ancient -> 'a = "ancient_follow"
  10
  11 external delete : 'a ancient -> unit = "ancient_delete"
  12
  13 type md
  14
  15 external attach : Unix.file_descr -> nativeint -> md = "ancient_attach"
  16
  17 external detach : md -> unit = "ancient_detach"
  18
  19 external share : md -> int -> 'a -> 'a ancient = "ancient_share"
  20
  21 external get : md -> int -> 'a ancient = "ancient_get"