On 06/04/2013 20:52, Artur Skawina wrote:
On 04/06/13 17:21, Bruno Medeiros wrote:
On 02/04/2013 00:18, Brian Schott wrote:
I've pretty much finished up my work on the std.d.lexer module. I am
waiting for the review queue to make some progress on the other (three?)
modules being reviewed before starting a thread on it.
BTW, even in the lexer spec I've found an issue. How does this parse:
5.blah
According to the spec (maximal munch technique), it should be FLOAT then
IDENTIFIER. But DMD parses it as INTEGER DOT IDENTIFIER. I'm assuming the
lastest is the correct behavior, so you can write stuff like 123.init, but that
should be clarified.
"1..2", "1.ident" and a float literal with '_' after the '.' are the
DecimalFloat cases that I immediately ran into when doing a lexer based on
the dlang grammar. It's obvious to a human how these should be handled, but
code generators aren't that smart... But they are good at catching mistakes
like these.
The "1..2" is actually mentioned in the spec:
"An exception to this rule is that a .. embedded inside what looks like
two floating point literals, as in 1..2, is interpreted as if the .. was
separated by a space from the first integer."
so it's there, even if it can be missed.
But unless I missed it, the spec is incorrect for the "1.ident" or
"1_2_3_4_5_6_._5_6_7_8" cases as there is no exception mentioned
there... and it's not always 100% obvious to a human how these should be
handled. Or maybe that's just me :)
--
Bruno Medeiros - Software Engineer
