replace the information "a variable is accessed" with the more precise

  Access_none | Access_write_only | Access_various
so that we can say either "variable unused" or "variable assigned but not read"

1 files changed, 4 insertions, 2 deletions

diff --git a/perl_checker.src/tree.mli b/perl_checker.src/tree.mli
index b8615f5..60edc37 100644
--- a/perl_checker.src/tree.mli
+++ b/perl_checker.src/tree.mli
@@ -17,10 +17,12 @@ type prototype = {
     proto_nb_max : int option ;
   }
 
+type variable_used = Access_none | Access_write_only | Access_various
+
 type per_package = {
     package_name : string ; has_package_name : bool ;
-    vars_declared : (context * string, pos * bool ref * prototype option) Hashtbl.t;
-    imported : ((context * string) * (string * bool ref * prototype option)) list option ref;
+    vars_declared : (context * string, pos * variable_used ref * prototype option) Hashtbl.t;
+    imported : ((context * string) * (string * variable_used ref * prototype option)) list option ref;
     exports : exports ;
     uses : uses ;
     required_packages : (string * pos) list ;