There can be more than one symbol in a macro definition ending with [...] and initial values are permitted.

generates

That is, the macro call parameters are handled in pairs with the first ref to "a" having an initial value. This is caused by the definition/call parameter matching process which restarts the definition parameter scan (within the []) until there are no more unprocessed macro call parameters. In this case, obviously the macro call must have an even number of parameters, and at least two.

Text (tokens) appearing after the "}" ending a macro/struc/rept/match/irp/irpv/irps block are considered to be on a new line. For example:


I don't believe either action is documented.

gmg1812
Do you really read the documentation? Everything you named is documented very well. There are undocumented features, but you didn't hit one yet.

As for the set of features you enumerated at the beginning, it's unclear what exactly you mean: grouping of arguments with square brackets, repetitive processing of the groups and default values are all documented in 2.3.3 Macroinstructions. You don't expect people to copy-paste here the whole section, do you? Processing of tokens after a closing brace is there as well:



It's not obvious and not true. A macro invocation can have any number of arguments unless there are mandatory arguments indicated by an asterisk. Well... And the number of the arguments cannot exceed the number of formal parameters for macros with no grouping. This is obvious indeed.