From ce7e64328553ac71f2630816cfb8baa930ea471e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 9 Sep 2004 13:27:03 +0000
Subject: Ajout de or-pattern pour le match-with v8

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6088 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 translate/ppconstrnew.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'translate')

diff --git a/translate/ppconstrnew.ml b/translate/ppconstrnew.ml
index 47a92f7cae..35cd2ea2c6 100644
--- a/translate/ppconstrnew.ml
+++ b/translate/ppconstrnew.ml
@@ -160,6 +160,7 @@ let pr_or_var pr = function
   | Genarg.ArgVar (loc,s) -> pr_lident (loc,s)
 
 let las = lapp
+let lpator = 100
 
 let rec pr_patt sep inh p =
   let (strm,prec) = match p with
@@ -170,6 +171,8 @@ let rec pr_patt sep inh p =
       pr_reference c ++ prlist (pr_patt spc (lapp,L)) args, lapp
   | CPatAtom (_,None) -> str "_", latom
   | CPatAtom (_,Some r) -> pr_reference r, latom
+  | CPatOr (_,pl) ->
+      hov 0 (prlist_with_sep pr_bar (pr_patt spc (lpator,L)) pl), lpator
   | CPatNotation (_,"( _ )",[p]) ->
       pr_patt (fun()->str"(") (max_int,E) p ++ str")", latom
   | CPatNotation (_,s,env) -> pr_patnotation (pr_patt mt) s env
-- 
cgit v1.2.3