path-root can be \

Question

path-root can be \

TimothyGu opened this issue 4 years ago · 4 comments

The grammar says

LHS	::=	RHS
path-root	::=	s
s	::=	{ `/` } — in generic-mode
s	::=	{ `/`, `\` } — in web-mode and in file-mode

so theoretically path-root can be \. However, in the URL Model section, there's a constraint that says

The path-root of an URL is the string /.

Is there anything that specifies (path-root \) are to be converted to (path-root /)?

Answer 1 · 2021-06-16T23:10:04.000Z

Insofar as it relates to converting grammar to structure, this may be part of #4.

Answer 2 · 2021-06-17T04:17:16.000Z

So true! I wondered if anyone would notice!

Answer 3 · 2021-06-17T14:43:37.000Z

Is there anything that specifies (path-root \) are to be converted to (path-root /)?

It should be converted to (path-root /) always, and no, I did not make that explicit. And yes it would be part of #4.

Answer 4 · 2021-06-17T14:49:23.000Z

I'm considering taking another hint from RFC3986, and write sections that mirror their chapter 2 (Characters) and 3 (Syntax components) before introducing the full grammar. And then don't do #4 formally, but just informal. Not sure yet.

Related to some of the discussion in #8. Suggestions/ ideas are welcome!