diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2003-04-15 20:00:07 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2003-04-15 20:00:07 +0000 |
commit | 3e23d94c2ebcb964d19dcaa3d0b7829c7f44c52e (patch) | |
tree | bfe8b300037455502f56a449a4fd56c2349e74f5 /perl_checker.src/types.mli | |
parent | 0d8b42a489c296210edf39a8890e28779b823b7c (diff) | |
download | perl_checker-3e23d94c2ebcb964d19dcaa3d0b7829c7f44c52e.tar perl_checker-3e23d94c2ebcb964d19dcaa3d0b7829c7f44c52e.tar.gz perl_checker-3e23d94c2ebcb964d19dcaa3d0b7829c7f44c52e.tar.bz2 perl_checker-3e23d94c2ebcb964d19dcaa3d0b7829c7f44c52e.tar.xz perl_checker-3e23d94c2ebcb964d19dcaa3d0b7829c7f44c52e.zip |
add basic "type" checking (using a very liberal lattice)
Diffstat (limited to 'perl_checker.src/types.mli')
-rw-r--r-- | perl_checker.src/types.mli | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/perl_checker.src/types.mli b/perl_checker.src/types.mli index 6f49cd9..c8fbeaa 100644 --- a/perl_checker.src/types.mli +++ b/perl_checker.src/types.mli @@ -13,6 +13,20 @@ type spaces = type context = I_scalar | I_hash | I_array | I_func | I_raw | I_star +type maybe_context = + | M_none + + | M_int | M_float | M_string | M_ref of maybe_context | M_revision | M_sub + | M_scalar + + | M_list + | M_array + | M_hash + + | M_special + | M_unknown + | M_mixed of maybe_context * maybe_context + type fromparser = | Undef | Ident of string option * string * pos @@ -72,6 +86,7 @@ type 'a any_spaces_pos = { any : 'a ; spaces : spaces ; pos : int * int ; + mcontext : maybe_context ; } type 'a prio_anyexpr = { |