Zulip Chat Archive

Stream: metaprogramming / tactics

Topic: parse string literal


Patrick Massot (Jan 24 2021 at 13:32):

This looks like a really stupid question but I can't find the answer myself. How do I parse a string literal as an argument to user command?

Rob Lewis (Jan 24 2021 at 13:38):

You can parse an expr and evaluate it as a string. See e.g. src#localized_cmd

Patrick Massot (Jan 24 2021 at 14:02):

Great thanks! I think this deserves a dedicated parser, but this trick will do.


Last updated: Dec 20 2023 at 11:08 UTC