From: Claudio Sacerdoti Coen Date: Mon, 5 Nov 2007 12:18:15 +0000 (+0000) Subject: Slightly nicer output. X-Git-Tag: 0.4.95@7852~51 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=41d014b54351c7abd5e09dc575c85f34e7c16cbd;p=helm.git Slightly nicer output. --- diff --git a/components/cic_exportation/cicExportation.ml b/components/cic_exportation/cicExportation.ml index 7297dd56a..dbb7194a9 100644 --- a/components/cic_exportation/cicExportation.ml +++ b/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