Simplifying single-line-raw-string-body in the v2 spec

[poliorcetics]

kdl/draft-marchan-kdl2.md

Lines 1002 to 1007 in b942867

	single-line-raw-string-body :=
	'' |
	(single-line-raw-string-char - '"')
	single-line-raw-string-char*? |
	'"' (single-line-raw-string-char - '"')
	single-line-raw-string-char*?

This excerpt, once reformated reads as follow:

single-line-raw-string-body :=
    ''
    | (single-line-raw-string-char - '"') single-line-raw-string-char*?
    | '"' (single-line-raw-string-char - '"') single-line-raw-string-char*?

To me, this is exactly equivalent to

single-line-raw-string-body :=
    ''
    | '"'? (single-line-raw-string-char - '"') single-line-raw-string-char*?

Am I missing something or could the grammar definition be simplified here ?

[tabatkins]

Hmmmmm, I think the grammar is actually slightly wrong. The final clause implies that #""#"# is a valid string containing the value "#. I think that second clause needs to substract # from its first char as well. (This would suggest they do indeed need to stay as separate clauses, then.)