From 0d1345ea2423fc418a470786b0b33b80df3a67bc Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 17 Jan 2016 01:08:21 +0100
Subject: Temporary commit getting rid of Obj.magic unsafety for Genarg.

This will allow an easier landing of the rewriting of Genarg.
---
 lib/genarg.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib/genarg.ml')

diff --git a/lib/genarg.ml b/lib/genarg.ml
index c2c1014f17..5efb074440 100644
--- a/lib/genarg.ml
+++ b/lib/genarg.ml
@@ -117,6 +117,9 @@ type 'a raw_abstract_argument_type = ('a,rlevel) abstract_argument_type
 type 'a glob_abstract_argument_type = ('a,glevel) abstract_argument_type
 type 'a typed_abstract_argument_type = ('a,tlevel) abstract_argument_type
 
+let arg_list wit = ListArgType wit
+let arg_opt wit = OptArgType wit
+
 type ('a, 'b, 'c, 'l) cast = Obj.t
 
 let raw = Obj.obj
-- 
cgit v1.2.3