diff options
| author | Liyana <nliyanaam@smu.edu.sg> | 2020-11-10 17:19:18 +0800 |
|---|---|---|
| committer | Liyana <nliyanaam@smu.edu.sg> | 2020-11-10 17:19:18 +0800 |
| commit | 54e5fb6645d4c99900136e7c909ca7905e441912 (patch) | |
| tree | 0044c462fdd91e3151c97269d9c1180483a7f6f9 /src | |
| parent | 8ca4baf470da2fd607d89e7679f7376a56b3f8fb (diff) | |
Added explicit implementation for 'readJSON' in the instance declaration for 'JSON PGF.Trie'
Diffstat (limited to 'src')
| -rw-r--r-- | src/server/PGFService.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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 |