From 375a47bab8395695a4f74e19691854d2d0248045 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 23 Feb 2018 23:28:44 +0100
Subject: [VM] Remove projection names from structured constants.

It was actually a hack since those names are never used to represent
values, only to be passed as arguments to bytecode instructions. So
instead of reusing the structured_constant type, we follow the same
pattern as switch annotations.
---
 kernel/cemitcodes.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/cemitcodes.mli')

diff --git a/kernel/cemitcodes.mli b/kernel/cemitcodes.mli
index 03920dc1a3..696721c375 100644
--- a/kernel/cemitcodes.mli
+++ b/kernel/cemitcodes.mli
@@ -5,6 +5,7 @@ type reloc_info =
   | Reloc_annot of annot_switch
   | Reloc_const of structured_constant
   | Reloc_getglobal of Constant.t
+  | Reloc_proj_name of Constant.t
 
 type patches
 type emitcodes
-- 
cgit v1.2.3