From 3027a19fa263522f1b736cf97d93f56acc080da6 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 5 Nov 2007 12:18:15 +0000 Subject: [PATCH] Slightly nicer output. --- helm/software/components/cic_exportation/cicExportation.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/helm/software/components/cic_exportation/cicExportation.ml b/helm/software/components/cic_exportation/cicExportation.ml index 7297dd56a..dbb7194a9 100644 --- a/helm/software/components/cic_exportation/cicExportation.ml +++ b/helm/software/components/cic_exportation/cicExportation.ml @@ -269,7 +269,7 @@ let rec pp t context = in combine (connames_and_argsno,patterns) in - "\n(match " ^ pp te context ^ " with \n" ^ + "\n(match " ^ pp te context ^ " with \n " ^ (String.concat "\n | " (List.map (fun (x,argsno,y) -> @@ -308,7 +308,7 @@ let rec pp t context = (function (name,_,ty,_) -> Some (C.Name name,Cic.Decl ty)) funs) in - "\nlet rec " ^ + "let rec " ^ List.fold_right (fun (name,ind,ty,bo) i -> name ^ " = \n" ^ pp bo (names@context) ^ i) @@ -316,7 +316,7 @@ let rec pp t context = " in " ^ (match get_nth names (no + 1) with Some (Cic.Name n,_) -> n - | _ -> assert false) ^ "\n" + | _ -> assert false) | C.CoFix (no,funs) -> let names = List.rev -- 2.39.2