Re: Lua parser enhancement request

[Andrew Starks <andrew.starks@...>]

On Wed, Jul 29, 2015 at 4:17 PM, Coda Highland <chighland@gmail.com> wrote:
> 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
>

ldoc/luadoc