diff options
Diffstat (limited to 'perl_checker.src/parser_helper.mli')
| -rw-r--r-- | perl_checker.src/parser_helper.mli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/perl_checker.src/parser_helper.mli b/perl_checker.src/parser_helper.mli index d3a1028..d1aba18 100644 --- a/perl_checker.src/parser_helper.mli +++ b/perl_checker.src/parser_helper.mli @@ -1,4 +1,7 @@ val bpos : int * int +val pot_strings : (string * string list) list ref +val pot_strings_and_file : (string, string) Hashtbl.t +val po_comments : string list ref val raw_pos2pos : 'a * 'b -> string * 'a * 'b val pos_range : 'a * ('b * (int * int)) -> 'c * ('d * (int * int)) -> string * int * int @@ -162,3 +165,5 @@ val from_PATTERN_SUBST : ((string * ((int * int) * 'a) list) list * (string * ((int * int) * 'a) list) list * string) * ('b * (int * int)) -> Types.fromparser list +val po_comment : string * 'a -> unit +val generate_pot : string -> unit |