From 7f9181e1be6cd11382fa0559b976a90233659c26 Mon Sep 17 00:00:00 2001 From: Ziyang Hu Date: Mon, 15 May 2023 22:34:08 +0800 Subject: [PATCH] allow dots in variable names --- cozo-core/src/cozoscript.pest | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cozo-core/src/cozoscript.pest b/cozo-core/src/cozoscript.pest index 9d4a37ee..37751840 100644 --- a/cozo-core/src/cozoscript.pest +++ b/cozo-core/src/cozoscript.pest @@ -51,7 +51,7 @@ LINE_COMMENT = _{ "#" ~ (!"\n" ~ ANY)* } COMMENT = _{(BLOCK_COMMENT | LINE_COMMENT)} prog_entry = {"?"} -var = @{(XID_START | "_") ~ (XID_CONTINUE | "_")*} +var = @{(XID_START | "_") ~ (XID_CONTINUE | "." | "_")*} param = @{"$" ~ (XID_CONTINUE | "_" | ".")+} ident = @{XID_START ~ ("_" | XID_CONTINUE)*} underscore_ident = @{("_" | XID_START) ~ ("_" | XID_CONTINUE)*}