Re: ¿Error in the reference manual?

[KHMan <keinhong@...>]

Pierre-Yves Gérardy wrote:
> If I understand it properly, according to the grammar at the end of
> the reference manual,
> the following statement should be legal (although it isn't in practice):
>
> a = function() break end
>
> http://www.lua.org/manual/5.1/manual.html#8
>
> Here are the relevant entries:
>
> 	function ::= `function´ funcbody
> 	funcbody ::= `(´ [parlist] `)´ block `end´
> 	block    ::= chunk
> 	chunk    ::= {stat [`;´]} [laststat [`;´]]
> 	laststat ::= `return´ [explist] | `break´
>
> I'm a self thought programmer, so my grasp of theoretical CS is a bit
> hazy. Does the bug lie in the spec or in my mind?

If you look at lparser.c, the parser is structured like the above, 
but with an additional check for a breakable enclosing block.

No idea how to put that in EBNF form, though...

--
Cheers,
Kein-Hong Man (esq.)
Kuala Lumpur, Malaysia