Stream: Beginner Questions

Topic: Syntax translations involving locale definitions


view this post on Zulip Hanno Becker (Mar 07 2023 at 10:37):

I would like to define some custom syntax for expressions in the context of a locale. Since translation does not seem to work within locales, I am trying to define things outside of the locale, but then face the issue that I don't know what to instantiate the now-explicit locale parameters to. How can I work around that?

I assume that there must be some 'auto-completion' mechanism for locale parameters already, giving meaning to expressions in the context of a locale, but I don't know where it lives, how it works, and how to piggy back on it here.

Any ideas?


Last updated: Dec 21 2024 at 16:20 UTC