Project

General

Profile

Revision 89b9e25c src/machine_code.ml

View differences:

src/machine_code.ml
240 240
    LocalVar (Corelang.var_decl_of_const (Hashtbl.find Corelang.consts_table id))
241 241

  
242 242
let rec control_on_clock node ((m, si, j, d, s) as args) ck inst =
243
 match ck.cdesc with
243
 match (Clocks.repr ck).cdesc with
244 244
 | Con    (ck1, cr, l) ->
245 245
   let id  = const_of_carrier cr in
246 246
   control_on_clock node args ck1 (MBranch (translate_ident node args id,
......
331 331
  | Some (x, l) -> [control_on_clock node args c (MBranch (translate_ident node args x, [l, [MReset i]]))]
332 332

  
333 333
let translate_eq node ((m, si, j, d, s) as args) eq =
334
  (*Format.eprintf "translate_eq %a@." Printers.pp_node_eq eq;*)
334
  (*Format.eprintf "translate_eq %a with clock %a@." Printers.pp_node_eq eq Clocks.print_ck eq.eq_rhs.expr_clock;*)
335 335
  match eq.eq_lhs, eq.eq_rhs.expr_desc with
336 336
  | [x], Expr_arrow (e1, e2)                     ->
337 337
    let var_x = node_var x node in

Also available in: Unified diff