X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Flogger%2FhelmLogger.ml;h=c41674754fea271f1f9d6d38a3913089fa8bb599;hb=0f6c7f05574786ce52a8a5950e76f4e45ad5ee88;hp=b4234b03cff9f0ec357f830d6bff6970de49878d;hpb=b6118150362700ed8f44b82cf6164d1c52c6d48f;p=helm.git diff --git a/helm/ocaml/logger/helmLogger.ml b/helm/ocaml/logger/helmLogger.ml index b4234b03c..c41674754 100644 --- a/helm/ocaml/logger/helmLogger.ml +++ b/helm/ocaml/logger/helmLogger.ml @@ -1,3 +1,4 @@ +(* $Id$ *) open Printf @@ -14,7 +15,7 @@ type html_msg = [ `Error of html_tag | `Msg of html_tag ] type logger_fun = ?append_NL:bool -> html_msg -> unit -let string_of_html_msg = +let rec string_of_html_tag = let rec aux indent = let indent_str = String.make indent ' ' in function @@ -25,29 +26,31 @@ let string_of_html_msg = | `DIV (local_indent, _, tag) -> "\n" ^ indent_str ^ aux (indent + local_indent) tag in - function - | `Error tag -> "Error: " ^ aux 0 tag - | `Msg tag -> aux 0 tag + aux 0 + +let string_of_html_msg = function + | `Error tag -> "Error: " ^ string_of_html_tag tag + | `Msg tag -> string_of_html_tag tag + +let rec html_of_html_tag = function + | `T s -> s + | `L msgs -> + sprintf "