diff options
Diffstat (limited to 'perl_checker.src/types.mli')
| -rw-r--r-- | perl_checker.src/types.mli | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/perl_checker.src/types.mli b/perl_checker.src/types.mli index 4c94d47..6f49cd9 100644 --- a/perl_checker.src/types.mli +++ b/perl_checker.src/types.mli @@ -65,3 +65,19 @@ type priority = | P_paren_wanted of priority | P_paren of priority + +| P_none + +type 'a any_spaces_pos = { + any : 'a ; + spaces : spaces ; + pos : int * int ; + } + +type 'a prio_anyexpr = { + priority : priority ; + expr : 'a + } + +type prio_expr_spaces_pos = fromparser prio_anyexpr any_spaces_pos +type prio_lexpr_spaces_pos = fromparser list prio_anyexpr any_spaces_pos |