[r2005-01-14 11:34:45 by afrisch] Warning not displayed

Original author: afrisch
Date: 2005-01-14 11:34:45+00:00

typing/typer.ml

@@ -12,7 +12,7 @@ let debug_schema = false
 
 let warning loc msg =
   let v = Location.get_viewport () in
-  let ppf = Html.ppf v in
+  let ppf = if Html.is_html v then Html.ppf v else Format.err_formatter in
   Format.fprintf ppf "Warning %a:@\n" Location.print_loc (loc,`Full);
   Location.html_hilight (loc,`Full);
   Format.fprintf ppf "%s@." msg