Implement %{ }%

[rachitnigam]

%{ stmts }% allows the program to recover the capabilities for arrays and imply that a sequence of statements are executed on a different clock cycle. Implementing this for now requires changing the capability checking and type checker.

This program is valid:

%{ a[i] := c[i] + 1 }%
%{ b[i] := 2 * a[i] }%

[rachitnigam]

Subsumed by #51

[sa2257]

Hi, unsure in which issue I should request this clarification.

I presume this is the initial discussion on the serial operator ---

Is the serial operator intended to sequence memory operations into different clock cycles?

It's not the same notion of sequencing between the combine operator scopes I presume?

let x = 1;
let y = x;

This doesn't need sequencing with ---, does it?

[rachitnigam]

Yes. Both of them are local variables so we don’t consume any banks in reads or writes.