use new types to have stricter type checking (prior to adding maybe_context)

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