From 5827ff401b9e52da6aaabb31e2d3417b80e1db55 Mon Sep 17 00:00:00 2001 From: ochafik Date: Fri, 1 Mar 2024 19:10:29 +0000 Subject: [PATCH] json: add typings --- examples/json-schema-to-grammar.py | 1 + 1 file changed, 1 insertion(+) diff --git a/examples/json-schema-to-grammar.py b/examples/json-schema-to-grammar.py index d74ab0710..6fa46971a 100755 --- a/examples/json-schema-to-grammar.py +++ b/examples/json-schema-to-grammar.py @@ -3,6 +3,7 @@ import argparse import json import re import sys +from typing import Any, Dict, List, Set, Tuple # whitespace is constrained to a single space char to prevent model "running away" in # whitespace. Also maybe improves generation quality?