diff options
| author | aarne <aarne@chalmers.se> | 2010-04-04 20:45:50 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-04-04 20:45:50 +0000 |
| commit | 95d4adac99421bddf3a2a3a84739902a1e2ce105 (patch) | |
| tree | e6983e5b498758a384b506beda1c993d0ec1382a /src | |
| parent | 09171eecb4d15d27f37a0619230915e05e50dde0 (diff) | |
in PGFService disambiguation, show tree if there's no disamb grammar
Diffstat (limited to 'src')
| -rw-r--r-- | src/server/PGFService.hs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs index b03741f31..0ee7391e2 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -157,9 +157,13 @@ doTranslateGroup pgf input mcat mfrom mto = disamb lg from t = if lg < 2 then [] - else [("tree", "-- " ++ doText (doBind (PGF.linearize pgf (disambLang from) t)))] + else [("tree", "-- " ++ doText (doBind (disambLang from t)))] + + disambLang f t = let disf = PGF.mkCId ("Disamb" ++ PGF.showLanguage f) in + if elem disf (PGF.languages pgf) + then PGF.linearize pgf disf t + else PGF.showExpr [] t - disambLang f = maybe f id $ PGF.readLanguage $ "Disamb" ++ PGF.showLanguage f notDisamb = (/="Disamb") . take 6 . PGF.showLanguage doParse :: PGF -> String -> Maybe PGF.Type -> Maybe PGF.Language -> JSValue |