Project

General

Profile

Revision a38c681e src/clock_calculus.ml

View differences:

src/clock_calculus.ml
664 664
  | Expr_fby (e1,e2)
665 665
  | Expr_arrow (e1,e2) ->
666 666
    let ck = clock_standard_args env [e1; e2] in
667
    unify_tuple_clock None ck;
667 668
    expr.expr_clock <- ck;
668 669
    ck
669 670
  | Expr_pre e -> (* todo : deal with phases as in tail ? *)

Also available in: Unified diff