From 27695b52413f9fd6bcb60d77e0bdba538c16201f Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Wed, 26 Aug 2020 11:40:24 +0200
Subject: Use the closure tag for accumulators.

The first field of accumulators points out of the OCaml heap, so using
closures instead of tag-0 objects is better for the GC.

Accumulators are distinguished from closures because their code pointer
necessarily is the "accumulate" address, which points to an ACCUMULATE
instruction.
---
 kernel/vmvalues.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'kernel/vmvalues.mli')

diff --git a/kernel/vmvalues.mli b/kernel/vmvalues.mli
index ee3e2bd5fc..6632dc46b2 100644
--- a/kernel/vmvalues.mli
+++ b/kernel/vmvalues.mli
@@ -27,8 +27,6 @@ type to_update
 
 type tag = int
 
-val accu_tag : tag
-
 val type_atom_tag : tag
 val max_atom_tag : tag
 val proj_tag : tag
-- 
cgit v1.2.3