From 95d4adac99421bddf3a2a3a84739902a1e2ce105 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Sun, 4 Apr 2010 20:45:50 +0000
Subject: [PATCH] in PGFService disambiguation, show tree if there's no disamb
 grammar

---
 src/server/PGFService.hs | 8 ++++++--
 1 file 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