gml: fix bad rename.
parent
b34b8522af
commit
a10475bec0
|
@ -60,7 +60,7 @@ Digits = Digit+
|
||||||
|
|
||||||
Sign = ('+' => [[ first ]]|'-' => [[ first ]])?
|
Sign = ('+' => [[ first ]]|'-' => [[ first ]])?
|
||||||
|
|
||||||
StopChar = ('('|')'|$['|']'|'{'|'}'|'/'|'/'|';'|':'|'!'|'.')
|
StopChar = ('('|')'|'['|']'|'{'|'}'|'/'|'/'|';'|':'|'!'|'.')
|
||||||
|
|
||||||
Space = [ \t\n\r]
|
Space = [ \t\n\r]
|
||||||
|
|
||||||
|
@ -85,7 +85,7 @@ Name = NameChar+ => [[ >string ]]
|
||||||
|
|
||||||
Comment = ('%' (!(Newline) .)* (Newline|!(.))) => [[ <comment> ]]
|
Comment = ('%' (!(Newline) .)* (Newline|!(.))) => [[ <comment> ]]
|
||||||
|
|
||||||
ArrayStart = $[' => [[ marker ]]
|
ArrayStart = '[' => [[ marker ]]
|
||||||
|
|
||||||
ArrayEnd = ']' => [[ exec" ]" ]]
|
ArrayEnd = ']' => [[ exec" ]" ]]
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue