file state needs clarification

[rmisev]

It's not clear what to do in file state, when c is EOF, "?" or "#" and base is null or base scheme isn't "file". Possible variants:

1. Continue main loop (11. Keep running the following state machine by switching on state...)
2. Go to "Otherwise", and because "1.", "2." not meet, go to "3. Set state to path state, and decrease pointer by one"

Consider these URL's::
file:
file:#frag
file:?q=v

(1) variant produces following serialized url's:
file:/// (with empty path list)
file:///frag (fragment converted to the path string)
file:///q=v (query converted to the path string)

(2) variant produces these serialized url's (path with one empty string):
file:///
file:///#frag
file:///?q=v

Although (2) looks better, I think standard points to (1), because bolded "Otherwise" is for c, and not for "if" statements.

So, what do you think?

[annevk]

I think you're correct that this is wrong. Assuming you meant file:///?q=v in 2 I think those results are what we should be having here (and would match Firefox and Safari TP).

[jasnell]

Agree that this certainly looks wrong. The current results here are surprising. +1 to getting this clarified and fixed