Project

General

Profile

« Previous | Next » 

Revision a85ca7df

Added by Pierre-Loïc Garoche over 7 years ago

Cleaning debug messages

View differences:

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