Should we have ${Xmeta as ident} ?
This is straightforward to implment. But it may be confusing in use.
In most places as tokens
will do (with perhaps less good error handling).
Within ${paste }
you usually want to use as str
because you usually (i) don't want to exclude keywords (you're going to paste, dekeywording them) (ii) you want to accept middle fragments (ie values which eg start with a digit).
Options:
- Implement this and document (and test) the corner cases
- Implement it but (a bit weirdly) forbid
as ident
in${paste ...}
- Implement it but make
as ident
in${paste ...}
accept keywords and middle fragments (maybe call itidentfrag
?) - Don't implement this and put a comment in
enum meta::SubstAs
explaining why not to
Edited by Ian Jackson