path-root can be \

[TimothyGu]

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 /)?

[TimothyGu]

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

[alwinb]

So true! I wondered if anyone would notice!

[alwinb]

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.

[alwinb]

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!