From 18eb4b9c51a2979b9170b1eb7c48c4a0742133ac Mon Sep 17 00:00:00 2001 From: Irevoire Date: Tue, 9 Nov 2021 01:04:50 +0100 Subject: [PATCH] fix spaces in the bnf --- filter_parser/src/lib.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/filter_parser/src/lib.rs b/filter_parser/src/lib.rs index 71e04af03..be9ed9370 100644 --- a/filter_parser/src/lib.rs +++ b/filter_parser/src/lib.rs @@ -13,7 +13,7 @@ //! singleQuoted = "'" .* all but quotes "'" //! doubleQuoted = "\"" .* all but double quotes "\"" //! word = (alphanumeric | _ | - | .)+ -//! geoRadius = WS* ~ "_geoRadius(" ~ float ~ "," ~ float ~ "," float ~ ")" +//! geoRadius = WS* ~ "_geoRadius(" ~ WS* ~ float ~ WS* ~ "," ~ WS* ~ float ~ WS* ~ "," float ~ WS* ~ ")" //! ``` //! //! Other BNF grammar used to handle some specific errors: