Inject terminals into grammer

I’m looking for a way to inject certain terminals into a grammer when defining the parser. I need this for internationalization.

I’m looking for something similar like the %import, but I don’t want to import it from a file but from Python when defining the parser:

parser = Lark.open("grammer.lark", parser="lalr", terminals={"_FOO": "foo", "_BAR": "bar"})
parser.parse(...)

In the grammer.lark I could then make use of _FOO and _BAR. Is something like that already possible? Would it make sense to add such a feature to lark?

[erezsh]

This is already available as version 0.7.6a1

[erezsh]

I suppose you want it to support many languages, right? In that case, you’ll have to define quite a few terminals, and possibly even nontrivials ones, which might make this call pretty awkward.

I’m much more inclined to add an include keyword, for importing additional lark files on top of the current one. So you can do something like:

parser = Lark.open("grammer.lark", parser="lalr", include=["translations/spanish.lark"])
parser.parse(...)

What do you think?