diff options
Diffstat (limited to 'perl_checker.src/types.mli')
-rw-r--r-- | perl_checker.src/types.mli | 125 |
1 files changed, 0 insertions, 125 deletions
diff --git a/perl_checker.src/types.mli b/perl_checker.src/types.mli deleted file mode 100644 index 5f23d3a..0000000 --- a/perl_checker.src/types.mli +++ /dev/null @@ -1,125 +0,0 @@ -exception TooMuchRParen - -type raw_pos = int * int - -type pos = string * int * int - -type spaces = - | Space_0 - | Space_1 - | Space_n - | Space_cr - | Space_none - -type context = I_scalar | I_hash | I_array | I_func | I_raw | I_star - -type maybe_context = - | M_none - - (* scalars *) - | M_bool | M_int | M_float - | M_revision - | M_string - | M_ref of maybe_context - | M_undef - | M_unknown_scalar - - | M_tuple of maybe_context list - | M_list - | M_array - | M_hash - | M_sub - - | M_special - | M_unknown - | M_mixed of maybe_context list - -type sub_declaration_kind = Real_sub_declaration | Glob_assign - -type fromparser = - | Undef - | Ident of string option * string * pos - | Num of string * pos - | Raw_string of string * pos - | String of (string * fromparser) list * pos - - | Ref of context * fromparser - | Deref of context * fromparser - | Deref_with of context * context * fromparser * fromparser (* from_context, to_context, ref, para *) - - | Diamond of fromparser option - - | List of fromparser list - | Block of fromparser list - - | Call_op of string * fromparser list * pos - | Call of fromparser * fromparser list - | Method_call of fromparser * fromparser * fromparser list - - | Anonymous_sub of string option * fromparser * pos (* prototype, expr, pos *) - | My_our of string * (context * string) list * pos - | Use of fromparser * fromparser list - | Sub_declaration of fromparser * string option * fromparser * sub_declaration_kind (* name, prototype, body, kind *) - | Package of fromparser - | Label of string - | Perl_checker_comment of string * pos - - | Too_complex - | Semi_colon - -type priority = -| P_tok -| P_tight -| P_mul -| P_add -| P_uniop -| P_cmp -| P_eq -| P_expr -| P_bit -| P_tight_and -| P_tight_or -| P_ternary -| P_assign -| P_comma -| P_call_no_paren -| P_and -| P_or -| P_loose - -| P_paren_wanted of priority -| P_paren of priority - -| P_none - -type 'a any_spaces_pos = { - any : 'a ; - spaces : spaces ; - pos : int * int ; - mcontext : maybe_context ; - } - -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 - -type warning = - | Warn_white_space - | Warn_suggest_simpler - | Warn_unused_global_vars - | Warn_void - | Warn_context - | Warn_strange - | Warn_traps - | Warn_complex_expressions - | Warn_normalized_expressions - | Warn_suggest_functional - | Warn_prototypes - | Warn_import_export - | Warn_names - | Warn_MDK_Common - | Warn_help_perl_checker |