lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]

On Fri, May 12, 2023, at 20:53, Paul Eipper wrote:
Doesn’t lua-language-server[1] already do most of this?


Sure, you can do this with comments. This thread is about having syntax that is not in comments but in the language.

I can see two advantages, one is a "nicer" syntax, and the second is that the tools could more easily validate the syntax of annotations themselves. Having to parse comments is a bit tricky because you're supposed to be able to put lots of things in comments that are not annotations.

Pierre Chapuis