From 11dde418241a8f3d8a67206ae51229e30fa69695 Mon Sep 17 00:00:00 2001 From: Parth Sareen Date: Thu, 24 Apr 2025 16:47:57 -0700 Subject: [PATCH] server: improve spacing for JSON grammar (#10131) --- llm/server.go | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/llm/server.go b/llm/server.go index a2bc1548f..82b514b2c 100644 --- a/llm/server.go +++ b/llm/server.go @@ -640,20 +640,20 @@ root ::= object value ::= object | array | string | number | ("true" | "false" | "null") ws object ::= "{" ws ( - string ":" ws value + string ":" ws value ("," ws string ":" ws value)* - )? "}" ws + )? ws "}" array ::= "[" ws ( value ("," ws value)* - )? "]" ws + )? ws "]" string ::= "\"" ( [^"\\\x7F\x00-\x1F] | "\\" (["\\/bfnrt] | "u" [0-9a-fA-F] [0-9a-fA-F] [0-9a-fA-F] [0-9a-fA-F]) # escapes - )* "\"" ws -number ::= ("-"? ([0-9] | [1-9] [0-9]*)) ("." [0-9]+)? ([eE] [-+]? [0-9]+)? ws + )* "\"" +number ::= ("-"? ([0-9] | [1-9] [0-9]*)) ("." [0-9]+)? ([eE] [-+]? [0-9]+)? # Optional space: by convention, applied in this grammar after literal chars when allowed ws ::= ([ \t\n] ws)? `