Re: Lua parser enhancement request

[Coda Highland <chighland@...>]

On Wed, Jul 29, 2015 at 2:08 PM, Dibyendu Majumdar
<mobile@majumdar.org.uk> wrote:
> On 29 July 2015 at 21:26, Coda Highland <chighland@gmail.com> wrote:
>> You could go the opposite direction, you know:
>>
>> local i --[[:integer]] = 0
>>
>> Ravi could parse the --[[: prelude and treat it as a type annotation,
>> while Lua will simply ignore it. This is what some typed Javascript
>> tools do.
>>
>
> Sure, but I am keen to keep the syntax clean for Ravi.
>
> Regards
>

It's not that bad, and you could also use:

local i = 0 -- @integer

or

-- @integer
local i = 0

et cetera. Adding semantically-important annotations/directives in
comments has a lot of precedent:

Python proposal - https://www.python.org/dev/peps/pep-0484/#type-comments

Real-world Javascript -
https://developers.google.com/closure/compiler/docs/js-for-compiler?hl=en

Java analysis tool -
http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.html#annotations-in-comments

Turbo Pascal - don't have a link but it has significant comments for
preprocessor directives

Go language - https://golang.org/cmd/gc/#hdr-Compiler_Directives

/s/ Adam