From 54e5fb6645d4c99900136e7c909ca7905e441912 Mon Sep 17 00:00:00 2001 From: Liyana Date: Tue, 10 Nov 2020 17:19:18 +0800 Subject: [PATCH] Added explicit implementation for 'readJSON' in the instance declaration for 'JSON PGF.Trie' --- src/server/PGFService.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs index e30ff8652..7edfa9c44 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -1024,6 +1024,7 @@ instance JSON PGF.Trie where showJSON (PGF.Ap f [[]]) = makeObj ["fun".=f] -- leaf -- showJSON (PGF.Ap f [es]) = makeObj ["fun".=f,"children".=es] -- one alternative showJSON (PGF.Ap f alts) = makeObj ["fun".=f,"alts".=alts] + readJSON = error "PGF.Trie.readJSON intentionally not defined" instance JSON PGF.CId where readJSON x = readJSON x >>= maybe (fail "Bad language.") return . PGF.readLanguage