12345678910111213141516171819202122 |
- From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
- From: ParthSareen <parth.sareen@ollama.com>
- Date: Wed, 11 Dec 2024 15:37:32 -0800
- Subject: [PATCH] Maintain ordering for rules for grammar
- ---
- common/json-schema-to-grammar.cpp | 2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
- diff --git a/common/json-schema-to-grammar.cpp b/common/json-schema-to-grammar.cpp
- index 3ebcc3d9..30c28808 100644
- --- a/common/json-schema-to-grammar.cpp
- +++ b/common/json-schema-to-grammar.cpp
- @@ -346,7 +346,7 @@ private:
- friend std::string build_grammar(const std::function<void(const common_grammar_builder &)> & cb, const common_grammar_options & options);
- std::function<json(const std::string &)> _fetch_json;
- bool _dotall;
- - std::map<std::string, std::string> _rules;
- + std::unordered_map<std::string, std::string> _rules;
- std::unordered_map<std::string, json> _refs;
- std::unordered_set<std::string> _refs_being_resolved;
- std::vector<std::string> _errors;
|