commit a38c681eedd151e587ecff2458318ab591a0f859
Author: xthirioux
Date: Tue Jul 8 14:53:49 2014 +0000
- many bugs/limitations in lifting operators to tuples have been worked out:
- typing/clock calculus/normalization now work properly
- still, a bug in annot generation (this one is for Ploc !!)
in file normalization, line 396
- bug corrected in subtyping
- scheduling outcome changed:
- variables appearing in a call output are gathered
- ease the design of a reusability algorithm
- liveness/reusability is still a work in progress
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@309 041b043f-8d7c-46b2-b46e-ef0dd855326e
diff --git a/src/clock_calculus.ml b/src/clock_calculus.ml
index 5b59900..ef6c22a 100755
--- a/src/clock_calculus.ml
+++ b/src/clock_calculus.ml
@@ -664,6 +664,7 @@ and clock_expr ?(nocarrier=true) env expr =
| Expr_fby (e1,e2)
| Expr_arrow (e1,e2) ->
let ck = clock_standard_args env [e1; e2] in
+ unify_tuple_clock None ck;
expr.expr_clock <- ck;
ck
| Expr_pre e -> (* todo : deal with phases as in tail ? *)