Project

General

Profile

Revision 2196a0a6 src/splitting.ml

View differences:

src/splitting.ml
36 36
  | Expr_ident _ -> [expr]
37 37
  | Expr_tuple elist -> elist
38 38
  | Expr_appl ("=", args, r) -> ( (* Specific treatment of tuple equalities *)
39
    Format.eprintf "splitting equality: %a@." Printers.pp_expr expr;
40 39
    let args_list = List.map tuple_split_expr (expr_list_of_expr args) in
41
    Format.eprintf "splitting equality: %a@.%i elements" Printers.pp_expr expr (List.length args_list);
42 40
    let (eqs : expr list)=
43 41
      List.map
44 42
	(fun arg -> 
......
52 50
    | [] -> assert false 
53 51
    | [e] -> [e]
54 52
    | hd::tl -> 
55
      Format.eprintf "obtained eqs:@.%a@.@." (Utils.fprintf_list ~sep:"@." Printers.pp_expr) eqs;
56 53
      let res = List.fold_left (fun accu eq ->
57 54
	mkpredef_call args.expr_loc "&&" [accu; eq]
58 55
      ) hd tl
59 56
      in
60
      Format.eprintf "Result: %a@." Printers.pp_expr res;
61 57
      [res]
62 58
  )
63 59
  | Expr_appl (id, args, r) ->

Also available in: Unified diff