From 15d014abb825837f0fd7c9e17d5907001135faaf Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Wed, 6 Sep 2017 12:38:42 +0200
Subject: the parser in the C runtime can now detect incomplete sentences just
 like the parser in the Haskell runtime. This is also reflected in all
 bindings.

---
 src/server/PGFService.hs | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

(limited to 'src/server')

diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs
index b1020b4b8..244f2b96c 100644
--- a/src/server/PGFService.hs
+++ b/src/server/PGFService.hs
@@ -191,10 +191,11 @@ cpgfMain qsem command (t,(pgf,pc)) =
 
     -- Without caching parse results:
     parse' start mlimit ((from,concr),input) =
-        return $ maybe id take mlimit . drop start # cparse
+        case C.parseWithHeuristics concr cat input (-1) callbacks of
+          C.ParseOk ts        -> return (Right (maybe id take mlimit (drop start ts)))
+          C.ParseFailed _ tok -> return (Left tok)
+          C.ParseIncomplete   -> return (Left "")
       where
-      --cparse = C.parse concr cat input
-        cparse = C.parseWithHeuristics concr cat input (-1) callbacks
         callbacks = maybe [] cb $ lookup (C.abstractName pgf) C.literalCallbacks
         cb fs = [(cat,f pgf (from,concr) input)|(cat,f)<-fs]
 {-
@@ -277,8 +278,9 @@ cpgfMain qsem command (t,(pgf,pc)) =
                         | isUpper c -> toLower c : cs
                    s                -> s
 
-            parse1 = either (const Nothing) (fmap fst . listToMaybe) .
-                     C.parse concr cat
+            parse1 s = case C.parse concr cat s of
+                         C.ParseOk ((t,_):ts) -> Just t
+                         _                    -> Nothing
             morph w = listToMaybe
                         [t | (f,a,p)<-C.lookupMorpho concr w,
                              t<-maybeToList (C.readExpr f)]
-- 
cgit v1.2.3