Project

General

Profile

Revision d4807c3d src/clocks.ml

View differences:

src/clocks.ml
573 573
      print_ck ck_node
574 574
      print_ck ck
575 575

  
576
let const_of_carrier cr =
577
 match (carrier_repr cr).carrier_desc with
578
 | Carry_const id -> id
579
 | Carry_name
580
 | Carry_var
581
 | Carry_link _ -> (Format.eprintf "internal error: const_of_carrier %a@." print_carrier cr; assert false) (* TODO check this Xavier *)
582
 
576 583
let uneval const cr =
577 584
  (*Format.printf "Clocks.uneval %s %a@." const print_carrier cr;*)
578 585
  let cr = carrier_repr cr in
579 586
  match cr.carrier_desc with
580 587
  | Carry_var -> cr.carrier_desc <- Carry_const const
588
  | Carry_name -> cr.carrier_desc <- Carry_const const
581 589
  | _         -> assert false
582 590

  
583 591
(* Local Variables: *)

Also available in: Unified diff