qlibs/sml

make `transition` accept a class instead of `fixed_hash_string`

Closed this issue · 2 comments

uyha commented

In the original sml, I frequently use state<some_class> to annotate the state, this prevents typo and also allows hierarchical state machine (I'm not sure if sml2 supports hierarchical state machine yet). So I think it's a better to use types (or concepts).

krzysztof-jusiak commented

Agree, I believe this part of the original design was correct and we should extend sml2 with that too.