frame_transpiler
frame_transpiler copied to clipboard
Generate FrameEvent using attribute
Add "outer" attribute type #![attr] and gen code for autogen creation of a FrameEvent. This will be the first instance of a "module" attribute for the program (rather than the system).
This should be put as the first statement in the file.
#![generate_frame_event]
fn main[a,b0,b1,c0,c1,d] {
#Test($(a,b0), >(b1,c0), #(c1,d))
}
#Test[$[a,b], >[b,c], #[c,d]]
-machine-
$S0[a,b]
|>| [b,c] print("a = " + a + ",b = " + b + ",c = " + c + ",d = " + d) ^
-actions-
print [msg] {
```
print(msg)
```
}
-domain-
var x = nil
var c = 0
var d = 0
var y = nil
##