restore missing case in the JSON instance for BracketedString

2022-05-31 11:38:02 +02:00
parent 418aa1a2b2
commit 247a48e5bb
1 changed files with 1 additions and 0 deletions
--- a/src/server/PGFService.hs
+++ b/src/server/PGFService.hs
@@ -457,6 +457,7 @@ instance JSON BracketedString where
    readJSON x = return (Leaf "")
    showJSON (Bracket cat fid index fun bs) =
        makeObj ["cat".=cat, "fid".=fid, "index".=index, "fun".=fun, "children".=bs]
+    showJSON BIND     = makeObj ["bind".=True]
    showJSON (Leaf s) = makeObj ["token".=s]

 -- * PGF utilities