rainbow/error.mli at master · fblanqui/rainbow · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
(*****************************************************************************
Rainbow, a termination proof certification tool
See the COPYRIGHTS and LICENSE files.

- Frederic Blanqui, 2006-05-31

warnings and errors
******************************************************************************)

open Xml;;

val pos_of_xml : xml -> pos;;

(*****************************************************************************)
(* warnings *)
(*****************************************************************************)

val warning : string -> unit;;
val ignored : string -> unit;;

(*****************************************************************************)
(* errors *)
(*****************************************************************************)

type error;;

exception Error of error;;

val not_supported : string -> 'a;;
val error_xml : xml -> string -> 'a;;
val error_fmt : string -> 'a;;

val print_error : out_channel -> error -> unit;;

val run : (unit -> unit) -> unit;;