File tree Expand file tree Collapse file tree 1 file changed +8
-6
lines changed Expand file tree Collapse file tree 1 file changed +8
-6
lines changed Original file line number Diff line number Diff line change @@ -76,18 +76,20 @@ let free_variables (stats : idents_stats) = {
76
76
end
77
77
}
78
78
79
+ let init = {used_idents = Set_ident. empty;
80
+ defined_idents = Set_ident. empty}
81
+ let obj = free_variables init
82
+ let clean_up init =
83
+ init.used_idents < - Set_ident. empty;
84
+ init.defined_idents < - Set_ident. empty
79
85
80
86
let free_variables_of_statement st =
81
- let init = {used_idents = Set_ident. empty;
82
- defined_idents = Set_ident. empty} in
83
- let obj = free_variables init in
87
+ clean_up init;
84
88
obj.statement obj st ;
85
89
Set_ident. diff init.used_idents init.defined_idents
86
90
87
91
let free_variables_of_expression st =
88
- let init = {used_idents = Set_ident. empty;
89
- defined_idents = Set_ident. empty} in
90
- let obj = free_variables init in
92
+ clean_up init;
91
93
obj.expression obj st ;
92
94
Set_ident. diff init.used_idents init.defined_idents
93
95
You can’t perform that action at this time.
0 commit comments