Static states

[frame-lang]

Currently, all state compartments are regenerated. Develop syntax and semantics around the idea of a singleton (static) version of a state.

fn main {
    var sm:# = #TransitionSm()

    sm.transit()

}

#StaticStates

    // note - there is only ever one 
    // static state for a particualar 
    // state, whether implicit or declared.

    -interface-

    e1
    e2
    e3 

    -machine-

    $S0

        |e1|
            // transition to a declared static state
            -> $!S1 ^

    $!S1

        // implicit static S2.
        |e2| -> $!S2 ^
        // new instance of $S2
        |e3| -> $S2 ^

    $S2

    $S3 
        // transition to the implicit static
        // S2 state
        |e2| -> $!S2 ^ 
       
##