diff options
author | Lars Wirzenius <liw@liw.fi> | 2023-04-22 07:25:31 +0300 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2023-04-22 07:25:31 +0300 |
commit | e279bd362d16bb01e975fcbba3f6c84053b8f43a (patch) | |
tree | c356c2ff62252965660db00bd3cb2a47d68b244e /src | |
parent | 7f38d043b41dcd3f79ef3347a0072690b6ea97a9 (diff) | |
download | riki-e279bd362d16bb01e975fcbba3f6c84053b8f43a.tar.gz |
fix: \w compilation failure
Sponsored-by: author
Diffstat (limited to 'src')
-rw-r--r-- | src/pagespec.lalrpop | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/pagespec.lalrpop b/src/pagespec.lalrpop index 191ff47..0369e34 100644 --- a/src/pagespec.lalrpop +++ b/src/pagespec.lalrpop @@ -17,7 +17,9 @@ Term: Box<Expr> = { } Glob: String = { - r"(\w|[._*?/-])+" => <>.to_string(), + // Ideally we would use \w below, instead of Latin letter ranges, but + // as of 2023-04-22 it fails to compile. + r"([a-zA-Z0-9._*?/-])+" => <>.to_string(), } Op: OpCode = { |