Project

General

Profile

Revision eb9a8c3c src/corelang.ml

View differences:

src/corelang.ml
1199 1199
  }
1200 1200
  in aux ()
1201 1201

  
1202

  
1203
let find_eq xl eqs =
1204
  let rec aux accu eqs =
1205
    match eqs with
1206
	| [] ->
1207
	  begin
1208
	    Format.eprintf "Looking for variables %a in the following equations@.%a@."
1209
	      (Utils.fprintf_list ~sep:" , " (fun fmt v -> Format.fprintf fmt "%s" v)) xl
1210
	      Printers.pp_node_eqs eqs;
1211
	    assert false
1212
	  end
1213
	| hd::tl ->
1214
	  if List.exists (fun x -> List.mem x hd.eq_lhs) xl then hd, accu@tl else aux (hd::accu) tl
1215
    in
1216
    aux [] eqs
1217

  
1202 1218
(* Local Variables: *)
1203 1219
(* compile-command:"make -C .." *)
1204 1220
(* End: *)

Also available in: Unified diff