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.
---
 printing/pptactic.ml | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'printing/pptactic.ml')

diff --git a/printing/pptactic.ml b/printing/pptactic.ml
index 5bc242b2b2..e7443fd02e 100644
--- a/printing/pptactic.ml
+++ b/printing/pptactic.ml
@@ -1354,11 +1354,12 @@ module Make
 
   let check_val_type t arg =
     let AnyArg t = t in
-    let t = Genarg.val_tag (Obj.magic t) in (** FIXME *)
-    let Val.Dyn (t', _) = arg in
-    match Genarg.Val.eq t t' with
-    | None -> false
-    | Some _ -> true
+(*     let t = Genarg.val_tag (Obj.magic t) in *)
+(*     let Val.Dyn (t', _) = arg in *)
+(*     match Genarg.Val.eq t t' with *)
+(*     | None -> false *)
+(*     | Some _ -> true *)
+    true (** FIXME *)
 
   let pr_alias pr lev key args =
     pr_alias_gen check_val_type pr lev key args
-- 
cgit v1.2.3