Project

General

Profile

Download (1020 Bytes) Statistics
| Branch: | Tag: | Revision:
1 a2d97a3e ploc
(********************************************************************)
2
(*                                                                  *)
3
(*  The LustreC compiler toolset   /  The LustreC Development Team  *)
4
(*  Copyright 2012 -    --   ONERA - CNRS - INPT                    *)
5
(*                                                                  *)
6
(*  LustreC is free software, distributed WITHOUT ANY WARRANTY      *)
7
(*  under the terms of the GNU Lesser General Public License        *)
8
(*  version 2.1.                                                    *)
9
(*                                                                  *)
10
(********************************************************************)
11 22fe1c93 ploc
12 15c3e4e7 Lélio Brun
let report
13
    ?plugin:(modulename="")
14
    ?(verbose_level=Options.verbose_level)
15
    ~level:level p =
16 c3b0a8c9 ploc
if !verbose_level >= level then
17 15c3e4e7 Lélio Brun
  if modulename="" then
18 7ee5f69e Lélio Brun
    Format.eprintf "%t" p
19 15c3e4e7 Lélio Brun
  else
20 7ee5f69e Lélio Brun
    Format.eprintf "[%s] @[%t@]" modulename p
21 22fe1c93 ploc
22
(* Local Variables: *)
23
(* compile-command:"make -C .." *)
24
(* End: *)