From 7cff0b6c6a492fd39640f7e73f4aa88f932fb0e2 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 6 Feb 2001 00:23:22 +0000
Subject: Ajout d'une commande pour afficher chaque coercion à la
 demandeparsing/g_basevernac.ml4

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1332 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/classops.ml | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

(limited to 'pretyping/classops.ml')

diff --git a/pretyping/classops.ml b/pretyping/classops.ml
index 710a723e36..0b190db0e8 100755
--- a/pretyping/classops.ml
+++ b/pretyping/classops.ml
@@ -138,9 +138,17 @@ let coe_of_reference = function
   | EvarRef _ -> raise Not_found
   | x -> x
 
-let hide_coercion r =
-  let _,coe_info = coercion_info (coe_of_reference r) in
-  if coe_info.coe_hide then None else Some coe_info.coe_param
+let hide_coercion coe =
+  let _,coe_info = coercion_info coe in
+  if coe_info.coe_hide then Some coe_info.coe_param else None
+
+let set_coercion_visibility b coe =
+  let _,coe_info = coercion_info coe in
+  coe_info.coe_hide <- not b
+
+let is_coercion_visible coe = 
+  let _,coe_info = coercion_info coe in
+  not coe_info.coe_hide
 
 let coercion_params coe_info = coe_info.coe_param
 
-- 
cgit v1.2.3