From 9babe76e3c245aec5b519199e0798a33e3cd8320 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Wed, 4 May 2016 16:02:19 -0700 Subject: [PATCH] resume in syntaxification of rule --- beautiful-racket-ragg/br/ragg/elider/json-elider.rkt | 6 +++--- beautiful-racket-ragg/br/ragg/elider/test-json-elider.rkt | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/beautiful-racket-ragg/br/ragg/elider/json-elider.rkt b/beautiful-racket-ragg/br/ragg/elider/json-elider.rkt index 05fb56d..2d51cc7 100755 --- a/beautiful-racket-ragg/br/ragg/elider/json-elider.rkt +++ b/beautiful-racket-ragg/br/ragg/elider/json-elider.rkt @@ -1,9 +1,9 @@ #lang br/ragg ;; Simple baby example of JSON structure -json: + | object) number: NUMBER string: STRING @@ -12,4 +12,4 @@ array: "[" [json ("," json)*] "]" object: "{" [kvpair ("," kvpair)*] "}" -kvpair: ID ":" json +kvpair: ID <":"> json diff --git a/beautiful-racket-ragg/br/ragg/elider/test-json-elider.rkt b/beautiful-racket-ragg/br/ragg/elider/test-json-elider.rkt index e7ed704..63cb110 100755 --- a/beautiful-racket-ragg/br/ragg/elider/test-json-elider.rkt +++ b/beautiful-racket-ragg/br/ragg/elider/test-json-elider.rkt @@ -11,7 +11,7 @@ (token 'STRING "'hello world'") "}"))) '(json (object "{" - (kvpair "message" ":" (json (string "'hello world'"))) + (kvpair "message" (json (string "'hello world'"))) "}")))