From 0ea2d0ff4ed84e1cc544c958b8f6e98f6ba2e9b6 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 3 Feb 2020 18:19:42 +0100
Subject: Primitive persistent arrays

Persistent arrays expose a functional interface but are implemented
using an imperative data structure. The OCaml implementation is based on
Jean-Christophe Filliâtre's.

Co-authored-by: Benjamin Grégoire <Benjamin.Gregoire@inria.fr>
Co-authored-by: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
---
 kernel/genOpcodeFiles.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'kernel/genOpcodeFiles.ml')

diff --git a/kernel/genOpcodeFiles.ml b/kernel/genOpcodeFiles.ml
index 0a9f137c45..67a672c349 100644
--- a/kernel/genOpcodeFiles.ml
+++ b/kernel/genOpcodeFiles.ml
@@ -157,6 +157,10 @@ let opcodes =
     "CHECKLDSHIFTEXP";
     "CHECKNEXTUPFLOAT";
     "CHECKNEXTDOWNFLOAT";
+    "ISINT_CAML_CALL2";
+    "ISARRAY_CAML_CALL1";
+    "ISARRAY_INT_CAML_CALL2";
+    "ISARRAY_INT_CAML_CALL3";
     "STOP"
   |]
 
-- 
cgit v1.2.3