I want to be able to define what is a step in my language

[jbdoderlein]

I think we can take a similar approach as GEMOC : something like an aspect to define a function as a step. There is some interesting point that would be could to implement :

• Sensible default : provide a default step from semantic definition
• Manual Step : Provide in semantic definition something like step.begin(), step.end(). In Python this could be implemented as context manager
• Imbricated Step : There should be information about imbricated step for step in/out semantics
• Step content ?

[ValentinBourcier]

Thank you for your comment and ideas @jbdoderlein, I added a similar (I believe) annotation/decorator mecanism to Gemoc's one on the branch of issue: #7. The code in this branch supports different granularity of steps, i.e. if both parent and child nodes are defined as nodes we can step over, the child nodes will be interpreted step by step first.

I agree we could also think about defining steps using begin-end boundaries instead of only attaching a step to AST nodes.
I would really like to see examples of languages in which this type of definition would be truly meaningful/useful (I am searching for some).