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/vmvalues.mli | 1 + 1 file changed, 1 insertion(+) (limited to 'kernel/vmvalues.mli') diff --git a/kernel/vmvalues.mli b/kernel/vmvalues.mli index 550791b2c..08d05a038 100644 --- a/kernel/vmvalues.mli +++ b/kernel/vmvalues.mli @@ -112,6 +112,7 @@ val val_of_proj : Constant.t -> values -> values val val_of_atom : atom -> values external val_of_annot_switch : annot_switch -> values = "%identity" +external val_of_proj_name : Constant.t -> values = "%identity" (** Destructors *) -- cgit v1.2.3