From 99cd4b9125ed5bd5f7e5b6756da4f4c0efdebca0 Mon Sep 17 00:00:00 2001 From: Roberto Ierusalimschy Date: Wed, 6 Jul 2022 17:03:22 -0300 Subject: Details --- re.html | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 're.html') diff --git a/re.html b/re.html index ad60d50..24a582a 100644 --- a/re.html +++ b/re.html @@ -423,6 +423,7 @@ primary <- '(' exp ')' / string / class / defined / '=' name / '{}' / '{~' exp '~}' + / '{|' exp '|}' / '{' exp '}' / '.' / name S !arrow @@ -436,7 +437,7 @@ item <- defined / range / . range <- . '-' [^]] S <- (%s / '--' [^%nl]*)* -- spaces and comments -name <- [A-Za-z][A-Za-z0-9_]* +name <- [A-Za-z_][A-Za-z0-9_]* arrow <- '<-' num <- [0-9]+ string <- '"' [^"]* '"' / "'" [^']* "'" -- cgit v1.2.3-55-g6feb