Project

General

Profile

Revision 32f508aa src/clock_calculus.ml

View differences:

src/clock_calculus.ml
573 573
and clock_subtyping_arg env ?(sub=true) real_arg formal_clock =
574 574
  let loc = real_arg.expr_loc in
575 575
  let real_clock = clock_expr env real_arg in
576
  try_sub_unify sub real_clock formal_clock loc
576
  try_sub_unify sub formal_clock real_clock loc
577 577

  
578 578
(* computes clocks for node application *)
579 579
and clock_appl env f args clock_reset loc =
......
710 710
  let ck_rhs = clock_expr env eq.eq_rhs in
711 711
  clock_subtyping_arg env expr_lhs ck_rhs
712 712

  
713

  
714 713
(* [clock_coreclock cck] returns the clock_expr corresponding to clock
715 714
    declaration [cck] *)
716 715
let clock_coreclock env cck id loc scoped =

Also available in: Unified diff