want ${ignore}
#51 (comment 3015817) proposes ${ignore ...}
.
There are open questions:
- What if the expansion results in an error - does it throw an error?
- Is the contents searched for repetition identification?
- Is the contents searched for
${Xmeta ...}
recognition?
The mostly logical answer to all of these is probably "yes". But we should consider whether we want variants where the answer might be "no".
I note that you can simulate ${ignore ..}
with these semantics with ${if approx_equal({ thing to ignore }, {}) {}}
.
CC @nickm