From 08bb365f6c31f92578bf3890dfccf09f3cf3a6c4 Mon Sep 17 00:00:00 2001
From: Max Brunsfeld <maxbrunsfeld@gmail.com>
Date: Thu, 6 Jul 2017 15:51:03 -0700
Subject: [PATCH] Allow PREC_DYNAMIC in JSON schema

---
 doc/grammar-schema.json | 40 ++--------------------------------------
 1 file changed, 2 insertions(+), 38 deletions(-)

diff --git a/doc/grammar-schema.json b/doc/grammar-schema.json
index 916d5eff..282a51d0 100644
--- a/doc/grammar-schema.json
+++ b/doc/grammar-schema.json
@@ -182,41 +182,7 @@
       "properties": {
         "type": {
           "type": "string",
-          "pattern": "^PREC$"
-        },
-        "value": {
-          "type": "integer"
-        },
-        "content": {
-          "$ref": "#/definitions/rule"
-        }
-      },
-      "required": ["type", "content", "value"]
-    },
-
-    "prec-left-rule": {
-      "type": "object",
-      "properties": {
-        "type": {
-          "type": "string",
-          "pattern": "^PREC_LEFT$"
-        },
-        "value": {
-          "type": "integer"
-        },
-        "content": {
-          "$ref": "#/definitions/rule"
-        }
-      },
-      "required": ["type", "content", "value"]
-    },
-
-    "prec-right-rule": {
-      "type": "object",
-      "properties": {
-        "type": {
-          "type": "string",
-          "pattern": "^PREC_RIGHT$"
+          "pattern": "^(PREC|PREC_LEFT|PREC_RIGHT|PREC_DYNAMIC)$"
         },
         "value": {
           "type": "integer"
@@ -239,9 +205,7 @@
         { "$ref": "#/definitions/repeat1-rule" },
         { "$ref": "#/definitions/repeat-rule" },
         { "$ref": "#/definitions/token-rule" },
-        { "$ref": "#/definitions/prec-rule" },
-        { "$ref": "#/definitions/prec-left-rule" },
-        { "$ref": "#/definitions/prec-right-rule" }
+        { "$ref": "#/definitions/prec-rule" }
       ]
     }
   }