From 40357cd58a307adfe9aa5584d4840bf665e8bcd4 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Mon, 4 Sep 2006 13:43:17 +0000 Subject: [PATCH] the in clause of the match costruction was wrongly output --- components/acic_content/cicNotationPp.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/components/acic_content/cicNotationPp.ml b/components/acic_content/cicNotationPp.ml index ff0a09265..cdc0946e6 100644 --- a/components/acic_content/cicNotationPp.ml +++ b/components/acic_content/cicNotationPp.ml @@ -99,7 +99,6 @@ let rec pp_term ?(pp_parens = true) t = | Ast.Case (term, indtype, typ, patterns) -> sprintf "match %s%s%s with %s" (pp_term term) - (match typ with None -> "" | Some t -> sprintf " return %s" (pp_term t)) (match indtype with | None -> "" | Some (ty, href_opt) -> @@ -107,7 +106,8 @@ let rec pp_term ?(pp_parens = true) t = (match debug_printing, href_opt with | true, Some uri -> sprintf "(i.e.%s)" (UriManager.string_of_uri uri) - | _ -> "")) + | _ -> "")) + (match typ with None -> "" | Some t -> sprintf " return %s" (pp_term t)) (pp_patterns patterns) | Ast.Cast (t1, t2) -> sprintf "(%s: %s)" (pp_term ~pp_parens:true t1) (pp_term ~pp_parens:true t2) | Ast.LetIn (var, t1, t2) -> -- 2.39.2