Re: Fixing error in Turtle and Trig grammars

While looking at this document, I notice that the production for the DOUBLE
terminal has a typo:

[21]DOUBLE::=[+-]? ([0-9]+ '.' [0-9]*
EXPONENT<http://www.w3.org/TR/turtle/#grammar-production-EXPONENT>
 | '.' [0-9]+ EXPONENT<http://www.w3.org/TR/turtle/#grammar-production-EXPONENT>
 | [0-9]+

Should be:

[21]DOUBLE::=[+-]? ([0-9]+ '.' [0-9]*
EXPONENT<http://www.w3.org/TR/turtle/#grammar-production-EXPONENT>
 | '.' [0-9]+ EXPONENT<http://www.w3.org/TR/turtle/#grammar-production-EXPONENT>
 | [0-9]+ EXPONENT<http://www.w3.org/TR/turtle/#grammar-production-EXPONENT>
)


Regards,
Paul Gearon



On Wed, Feb 12, 2014 at 3:42 PM, Eric Prud'hommeaux <eric@w3.org> wrote:

> The RDF Working Group recently discovered an error in the grammars for
> Turtle and TriG. They were intened to align with SPARQL, but a pair of
> parentheses was accidentally dropped from the definition for long
> strings resulting in an over-constraint on what's permitted after
> embedded quotes. An example of the error is shown by the text
>
>    """ ""\" """
>
> which is allowed by the SPARQL grammar, but was accidentally
> disallowed by the grammars for Turtle and TriG in their specifications.
> After considering this matter, the acting W3C Director has asked us to
> make sure implementors agree this is an error and will in the coming
> weeks make sure their implementations parse the intended language,
> aligned with SPARQL.
>
> Please let us know by 18 Feb if you intend to implement the following
> grammar and parse the syntax tests below:
>
> change
> [24] STRING_LITERAL_LONG_SINGLE_QUOTE ::= "'''" (("'" | "''")? [^'\] |
> ECHAR | UCHAR)* "'''"
> [25] STRING_LITERAL_LONG_QUOTE          ::= '"""' (('"' | '""')? [^"\] |
> ECHAR | UCHAR)* '"""'
> to
> [24] STRING_LITERAL_LONG_SINGLE_QUOTE ::= "'''" (("'" | "''")? ([^'\] |
> ECHAR | UCHAR))* "'''"
> [25] STRING_LITERAL_LONG_QUOTE          ::= '"""' (('"' | '""')? ([^"\] |
> ECHAR | UCHAR))* '"""'
>
> and parse these (one-line) turtle documents (with some arbitrary base URI):
>
> <s> <p> ''' ''\' ''' .
>
> <s> <p> """ ""\" """ .
>
> <s> <p> """ ""\u0061 """ .
>
> <s> <p> """""\"""" .
>
> <s> <p> """""\u0061""" .
>
>
> Many thanks for your help and continued support of RDF 1.1.
>
> --
> -ericP, on behalf of the RDF Working Group
>
> office: +1.617.599.3509
> mobile: +33.6.80.80.35.59
>
> (eric@w3.org)
> Feel free to forward this message to any list for any purpose other than
> email address distribution.
>
> There are subtle nuances encoded in font variation and clever layout
> which can only be seen by printing this message on high-clay paper.
>
>