jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

clocking tweak.

Browse source
This commit is contained in:
Léonard Gérard 2010-09-13 01:18:45 +02:00
parent cb86418cb3
commit a58c729ae2
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/minils/analysis/clocking.ml
View file

@ -80,7 +80,7 @@ and typing_op op args h e ck = match op, args with
| Eselect, [e] -> typing h e
| Eselect_dyn, e1::defe::idx -> (* TODO defe not treated ? *)
let ct = skeleton ck e1.e_ty
in (expect h ct e1; List.iter (expect h ct) idx; ct)
in (List.iter (expect h ct) (e1::defe::idx); ct)
| Eupdate, e1::e2::idx ->
let ct = skeleton ck e.e_ty
in (expect h (Ck ck) e1; expect h ct e2; List.iter (expect h ct) idx; ct)