Modifying an array with [ a with [i] = v ] should expected a dynamic (not static) value for i (nothing happens if i is in the wrong range). This is the same behaviour as in Scade and it is useful eg to modify an array in a foldi. |
||
|---|---|---|
| .. | ||
| analysis | ||
| main | ||
| parsing | ||
| transformations | ||
| _tags | ||
| minils.ml | ||
| mls_mapfold.ml | ||
| mls_printer.ml | ||
| mls_utils.ml | ||