fix: rule priority

This commit is contained in:
Yarmo Mackenbach 2024-08-27 11:37:18 +02:00
parent b2f633ab50
commit ddfdeb7224
No known key found for this signature in database
GPG key ID: 2B71CD64664999B6

View file

@ -78,14 +78,14 @@ WS
: [ \r\n\t]+ -> skip
;
TEXT
: TEXTHEAD TEXTBODY*
;
INT
: DIGIT+
;
TEXT
: TEXTHEAD TEXTBODY*
;
fragment LETTER
: [a-zA-Z\u0080-\u00FF_]
;
@ -96,6 +96,7 @@ fragment DIGIT
fragment TEXTHEAD
: LETTER
| DIGIT
;
fragment TEXTBODY