From 9b02ddf179b375cb09966b70dd3b119eda0d92c1 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 18 Dec 2015 17:51:53 +0100
Subject: Sharing toplevel representation for several generic types.

- int and int_or_var
- ident and var
- constr and constr_may_eval
---
 interp/stdarg.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'interp')

diff --git a/interp/stdarg.ml b/interp/stdarg.ml
index e155a5217d..5cfe3854a9 100644
--- a/interp/stdarg.ml
+++ b/interp/stdarg.ml
@@ -15,7 +15,9 @@ let wit_bool : bool uniform_genarg_type =
   make0 None "bool"
 
 let wit_int : int uniform_genarg_type =
-  make0 None "int"
+  make0 ~dyn:(val_tag (Obj.magic IntOrVarArgType)) None "int"
+(** FIXME: IntOrVarArgType is hardwired, but that definition should be the other
+    way around. *)
 
 let wit_string : string uniform_genarg_type =
   make0 None "string"
-- 
cgit v1.2.3