frame_transpiler icon indicating copy to clipboard operation
frame_transpiler copied to clipboard

Generate FrameEvent using attribute

Open frame-lang opened this issue 2 years ago • 0 comments

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

##

frame-lang avatar Sep 20 '23 03:09 frame-lang