diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2021-06-29 23:48:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-29 23:48:00 +0200 |
| commit | 6efbd23c5cf450f3702e628225872650a619270f (patch) | |
| tree | fbe74bc715730c2932da4e6d7492942beaecd1c0 /src/server | |
| parent | 3a27fa0d390b86cab3ecc68418e4116ea5c4f8ba (diff) | |
| parent | 76bec6d71e7c4fdffa2e618ec6578e0858166465 (diff) | |
Merge pull request #84 from ffrixslee/issue-46
Issue 46 (various deprecations during compilation of GF)
Diffstat (limited to 'src/server')
| -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 3f5307571..260c2e278 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -1032,6 +1032,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 |