Revision a85ca7df
Added by Pierre-Loïc Garoche over 7 years ago
src/corelang.ml | ||
---|---|---|
991 | 991 |
let rec get_expr_vars vars e = |
992 | 992 |
get_expr_desc_vars vars e.expr_desc |
993 | 993 |
and get_expr_desc_vars vars expr_desc = |
994 |
Format.eprintf "get_expr_desc_vars expr=%a@." Printers.pp_expr (mkexpr Location.dummy_loc expr_desc);
|
|
994 |
(*Format.eprintf "get_expr_desc_vars expr=%a@." Printers.pp_expr (mkexpr Location.dummy_loc expr_desc);*)
|
|
995 | 995 |
match expr_desc with |
996 | 996 |
| Expr_const _ -> vars |
997 |
| Expr_ident x -> Format.eprintf "%s is an ident!@." x; Utils.ISet.add x vars
|
|
997 |
| Expr_ident x -> Utils.ISet.add x vars |
|
998 | 998 |
| Expr_tuple el |
999 | 999 |
| Expr_array el -> List.fold_left get_expr_vars vars el |
1000 | 1000 |
| Expr_pre e1 -> get_expr_vars vars e1 |
Also available in: Unified diff
Cleaning debug messages