From 94409a6e42b8cc0a1a5b2836add266b712f92270 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 12 Apr 2006 15:50:57 +0000 Subject: [PATCH] whelp macros have now () around args --- helm/software/components/grafite/grafiteAstPp.ml | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/helm/software/components/grafite/grafiteAstPp.ml b/helm/software/components/grafite/grafiteAstPp.ml index d6502aca8..6b618c6ac 100644 --- a/helm/software/components/grafite/grafiteAstPp.ml +++ b/helm/software/components/grafite/grafiteAstPp.ml @@ -154,7 +154,17 @@ let pp_search_kind = function | `Elim -> "elim" | `Instance -> "instance" -let pp_macro ~term_pp = function +let pp_arg ~term_pp arg = + let s = term_pp arg in + if s = "" || (s.[0] = '(' && s.[String.length s - 1] = ')') then + (* _nice_ heuristic *) + s + else + "(" ^ s ^ ")" + +let pp_macro ~term_pp = + let term_pp = pp_arg ~term_pp in + function (* Whelp *) | WInstance (_, term) -> "whelp instance " ^ term_pp term | WHint (_, t) -> "whelp hint " ^ term_pp t -- 2.39.2