From 9e743f03108887fa7d871061e2b411627dedf663 Mon Sep 17 00:00:00 2001 From: Ziyang Hu Date: Sat, 4 Feb 2023 23:02:11 +0800 Subject: [PATCH] fixed rules support namespace --- 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 69324e2f..6d243639 100644 --- a/cozo-core/src/cozoscript.pest +++ b/cozo-core/src/cozoscript.pest @@ -54,7 +54,7 @@ compound_or_index_ident = @{ident ~ ("." ~ ident)* ~ (":" ~ ident)?} rule = {rule_head ~ ":=" ~ rule_body ~ ";"?} const_rule = {rule_head ~ "<-" ~ expr ~ ";"?} -fixed_rule = {rule_head ~ "<~" ~ ident ~ fixed_args_list ~ ";"?} +fixed_rule = {rule_head ~ "<~" ~ compound_ident ~ fixed_args_list ~ ";"?} fixed_args_list = {"(" ~ (fixed_arg ~ ",")* ~ fixed_arg? ~ ")"} rule_head = {(prog_entry | ident) ~ "[" ~ (head_arg ~ ",")* ~ head_arg? ~ "]"}