Re: Error S06

While working on my action to fix error S06, I note that there are a couple 
more that cannot occur as static errors, because the input won't make it 
through the parser. These are the static errors that cannot occur:


S01
It is an error if two rules are not separated by at least one whitespace 
character or comment.

This is already covered by the syntax rule:

     ixml: s, (prolog, RS)?, rule++RS, s.


S06
It is an error if a hex encoding uses any characters not allowed in 
hexadecimal.

This is covered by the syntax rule

     @hex: ["0"-"9"; "a"-"f"; "A"-"F"]+.


S11
It is an error if a string contains a C0 or C1 control character, including 
a line break.

This is covered by the two syntax rules:


    dchar: ~['"'; Cc];
           '"', -'"'. {all characters except controls; quotes must be 
doubled}
    schar: ~["'"; Cc];
           "'", -"'". {all characters except controls; quotes must be 
doubled}


On Tuesday 24 June 2025 23:28:32 (+02:00), Steven Pemberton wrote:

 > "S06
 > It is an error if a hex encoding uses any characters not allowed in 
hexadecimal.'
 > 
 > It's not possible for this error to occur, since it is a syntactic 
error, not a static error.
 > Steven
 > 
 >

Received on Wednesday, 20 August 2025 19:44:09 UTC