Revision d50b0dc0
Added by Teme Kahsai about 9 years ago
| src/clock_calculus.ml | ||
|---|---|---|
| 779 | 779 |
if Types.get_clock_base_type vdecl.var_type <> None |
| 780 | 780 |
then new_ck (Ccarrying ((new_carrier Carry_name scoped),ck)) scoped |
| 781 | 781 |
else ck in |
| 782 |
vdecl.var_clock <- ck; |
|
| 782 |
(if vdecl.var_dec_const |
|
| 783 |
then match vdecl.var_dec_value with |
|
| 784 |
| None -> () |
|
| 785 |
| Some v -> |
|
| 786 |
begin |
|
| 787 |
let ck_static = clock_expr env v in |
|
| 788 |
try_unify ck ck_static v.expr_loc |
|
| 789 |
end); |
|
| 790 |
try_unify ck vdecl.var_clock vdecl.var_loc; |
|
| 783 | 791 |
Env.add_value env vdecl.var_id ck |
| 784 | 792 |
|
| 785 | 793 |
(* Clocks a variable declaration list *) |
Also available in: Unified diff
sync