diff options
| author | Thomas Bauereiss | 2017-10-13 16:57:26 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-10-13 17:23:39 +0100 |
| commit | c9f3f109d9854deceb67ca8604ae227127fe6c73 (patch) | |
| tree | 43c49e0e8d3ea3f7608fc23a4f5d3055307fef0c /src/lem_interp/printing_functions.mli | |
| parent | ff0aa15e2b931c3b027db54fcb76c3ad9e931f65 (diff) | |
Add rewriting step for tuple-vector assignments
Assignments of the form "(v1, v2, v3) = vector" are common in ASL. They split
the vector on the right-hand side into subvectors and assign those to the
vectors in the tuple. The new rewriting step performs this splitting and
replaces the right-hand side with the tuple of subvectors. The assignment is
then handled by an existing rewriting step for tuple assignments.
Diffstat (limited to 'src/lem_interp/printing_functions.mli')
0 files changed, 0 insertions, 0 deletions