1 files changed, 31 insertions, 13 deletions
diff --git a/perl_checker.src/parser_helper.mli b/perl_checker.src/parser_helper.mli
index 304f592..ad0a5db 100644
--- a/perl_checker.src/parser_helper.mli
+++ b/perl_checker.src/parser_helper.mli
@@ -1,4 +1,11 @@
 val bpos : int * int
+val raw_pos2pos : 'a * 'b -> string * 'a * 'b
+val get_pos : 'a * ('b * ('c * 'd)) -> string * 'c * 'd
+val var_dollar_ : Types.fromparser
+val var_STDOUT : Types.fromparser
+val is_parenthesized : Types.fromparser -> bool
+val un_parenthesize : Types.fromparser -> Types.fromparser
+val un_parenthesize_full : Types.fromparser -> Types.fromparser
 val not_complex : Types.fromparser -> bool
 val not_simple : Types.fromparser -> bool
 val string_of_Ident : Types.fromparser -> string
@@ -7,12 +14,22 @@ val die_with_pos : int * int -> string -> 'a
 val warn : int * int -> string -> unit
 val die_rule : string -> 'a
 val debug : string -> unit
-val raw_pos2pos : 'a * 'b -> string * 'a * 'b
-val get_pos : 'a * ('b * ('c * 'd)) -> string * 'c * 'd
 val warn_too_many_space : int -> unit
 val warn_no_space : int -> unit
 val warn_cr : int -> unit
 val warn_space : int -> unit
+val prio_less : Types.priority * Types.priority -> bool
+val prio_lo :
+  Types.priority ->
+  (Types.priority * Types.fromparser) * ('a * (int * int)) ->
+  Types.fromparser
+val prio_lo_after :
+  Types.priority ->
+  (Types.priority * Types.fromparser) * ('a * (int * int)) ->
+  Types.fromparser
+val prio_lo_concat :
+  (Types.priority * Types.fromparser) * ('a * (int * int)) ->
+  Types.fromparser
 val sp_0 : 'a * (Types.spaces * (int * 'b)) -> unit
 val sp_0_or_cr : 'a * (Types.spaces * (int * 'b)) -> unit
 val sp_1 : 'a * (Types.spaces * (int * 'b)) -> unit
@@ -22,29 +39,31 @@ val sp_cr : 'a * (Types.spaces * (int * 'b)) -> unit
 val sp_same :
   'a * (Types.spaces * (int * 'b)) ->
   'c * (Types.spaces * (int * 'd)) -> unit
-val op : 'a -> 'b * 'c -> (unit * 'c) * 'a
+val op : 'a -> 'b -> 'c * 'd -> 'a * ((unit * 'd) * 'b)
 val op_p :
   'a ->
-  'b * (Types.spaces * (int * 'c)) ->
-  (unit * (Types.spaces * (int * 'c))) * 'a
+  'b ->
+  'c * (Types.spaces * (int * 'd)) ->
+  'a * ((unit * (Types.spaces * (int * 'd))) * 'b)
 val call_op :
-  (('a * (Types.spaces * (int * 'b))) * string) *
-  ('c * (Types.spaces * (int * 'd))) * Types.fromparser list ->
-  Types.fromparser
+  ('a * (('b * (Types.spaces * (int * 'c))) * string)) *
+  ('d * (Types.spaces * (int * 'e))) * Types.fromparser list ->
+  'a * Types.fromparser
 val check_lines_after_BRACKET :
   Types.fromparser list * (Types.spaces * (int * 'a)) -> unit
 val check_word_alone : Types.fromparser * 'a -> Types.fromparser
 val check_parenthesized_first_argexpr :
-  string -> Types.fromparser list * (Types.spaces * (int * 'a)) -> unit
+  string ->
+  ('a * Types.fromparser list) * (Types.spaces * (int * 'b)) -> unit
 val check_foreach : string * ('a * (int * int)) -> unit
 val check_for : string * ('a * (int * int)) -> unit
-val check_no_paren : string -> Types.fromparser * ('a * (int * int)) -> unit
+val check_package : Types.fromparser list -> unit
 val to_Ident :
   (string option * string) * ('a * (int * int)) -> Types.fromparser
 val to_String : string * ('a * (int * int)) -> Types.fromparser
 val only_one : Types.fromparser list * ('a * (int * int)) -> Types.fromparser
 val only_one_in_List :
-  Types.fromparser * ('a * (int * int)) -> Types.fromparser
+  ('a * Types.fromparser) * ('b * (int * int)) -> Types.fromparser
 val array_ident_to_hash_ident :
   Types.fromparser * ('a * (int * int)) -> Types.fromparser
 val from_PATTERN :
@@ -54,5 +73,4 @@ val from_PATTERN_SUBST :
 val to_List : Types.fromparser list -> Types.fromparser
 val sub_declaration :
   Types.fromparser * string -> Types.fromparser list -> Types.fromparser
-val var_dollar_ : Types.fromparser
-val var_STDOUT : Types.fromparser
+val call : Types.fromparser * Types.fromparser list -> Types.fromparser