match stat_t, linux.stat_t
    ; here all the code that requires the alias
end match    

include 'format/format.inc'
format.elf64
macro struct name
        macro end.struct!
                        end namespace
                esc end struc
                virtual at 0
                        name name
                        sizeof.name = $
                end virtual
                purge end.struct
        end macro
                esc struc name
                        label . : sizeof.name
                        namespace .
end macro

;foo=0
struct foo.a_t
        field_0 rq 1
end struct
match a_t, foo.a_t
struct bar.b_t
        field_0 rq 2
        field_1 a_t
end struct
end match
section '.bss' writeable align 16
    

label foo    

foo=0    

macro map to,from
     macro end.map
         esc end match
         purge end.map
     end macro
         esc match to,from
end macro
    

This led me to ask how the walk thru the namespace hierarchy is done in regards of namespace symbol instanciation and types?

Additionally, I tried to wrap the "match" instruction into a macro... and it does not work, I guess it is related on implicit context/state thingies I don't "see": (...)

Ok, foo must have a symbol of expression class instanciated in order to allow finding any descendant, but we can create descendants anyway.

I don't picture what is the difference between the macro "scope" and any other "scope", and why "outscope" must be added.

Calm seems more explicit with a simpler model, I may be wrong though.

And I guess each scope has a set of various namespace trees attached to it.

Got my hands on your draft document on fasm internals, but indeed the task seems huge.

how with a calm instruction, to process several "lines" disabling the implicit assembly stage? Namely between 2 markers to disable the "implicit" assembly of "lines" in order to let calm instructions "preprocess" them and then "explicitely" pass them to the assembly stage.

Then, in a calm instruction, I don't know how to perform the same thing than the "macro match" with the "calm match", namely simple identifier substitution.

stacking "lines" into a variable. I guess you refer to the special "MACRO ?" which will be repeated for each "line" until its END MACRO, that using the stacking operator "=:".

But that does not disable the "line" going to the assembly stage after that, as far as I understand it. Then how would you disable those stacked "lines" going to the assembly stage?

As the "simple" substitution, I guess it referes to a full "identifier" (lvl_d.lvl_e.lvl_f) not a single "identifier token" (lvl_e in lvl_d.lvl_e.lvl_f), then good news, the two-argument TRANSFORM should do the trick, but I still don't see how I would write it.

define replace

define replace.is?      =
define replace.show?    display

calminstruction ?! line&
        transform line, replace
        assemble line
end calminstruction

a is $
if a is 0
        show "OK"
end if