ppppp:[:]nnnnn should probably result in an error #44
Description
CLHS section 2.3.5 (Valid Patterns for Tokens) says ppppp:[:]nnnnn are undefined token patterns.
{{ message }}
CLHS section 2.3.5 (Valid Patterns for Tokens) says ppppp:[:]nnnnn are undefined token patterns.