Hi,
Section 3.3.12. Ident state says:
> anything else
> Switch to the data state. Reconsume the current input character.
I was confused by the fact that no token is emitted.
It turns out that this part of the state machine is never reached. The
ident state is only ever switched to on a (reconsumed) hyphen, reverse
solidus or name-start character. If an implementation ever finds itself
at the "anything else" branch of the ident state, it means there is a
mistake elsewhere in the implementation.
Are there other known parts like this in either state machine? Should
they get a note explaining this?
Cheers,
--
Simon Sapin