From 28f53e801aaf0d47b22f64467c2c760dff8fd6a9 Mon Sep 17 00:00:00 2001 From: Thomas Hallgren Date: Mon, 18 Nov 2019 13:20:41 +0100 Subject: PGFService: revert unlexing change in PGFService to restore &+ behaviour --- src/server/PGFService.hs | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) (limited to 'src/server') diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs index 8b5c4855d..8a2857289 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -304,7 +304,7 @@ cpgfMain qsem command (t,(pgf,pc)) = from1 = maybe (missing "from") return =<< from' from' = getLang "from" - to = (,) # getLangs "to" % unlexer (const False) + to = (,) # getLangs "to" % unlexerC (const False) getLangs = getLangs' readLang getLang = getLang' readLang @@ -360,8 +360,15 @@ lexer good = maybe (return id) lexerfun =<< getInput "lexer" type Unlexer = String->String -- | Unlexing for the C runtime system, &+ is already applied -unlexer :: (String -> Bool) -> CGI Unlexer -unlexer good = maybe (return id) unlexerfun =<< getInput "unlexer" +unlexerC :: (String -> Bool) -> CGI Unlexer +unlexerC = unlexer' id + +-- | Unlexing for the Haskell runtime system, the default is to just apply &+ +unlexerH :: CGI Unlexer +unlexerH = unlexer' (unwords . bindTok . words) (const False) + +unlexer' defaultUnlexer good = + maybe (return defaultUnlexer) unlexerfun =<< getInput "unlexer" where unlexerfun name = case stringOp good ("unlex"++name) of @@ -466,7 +473,7 @@ pgfMain lcs@(alc,clc) path command tpgf@(t,pgf) = from = getLang "from" to1 = maybe (missing "to") return =<< getLang "to" - to = (,) # getLangs "to" % unlexer (const False) + to = (,) # getLangs "to" % unlexerH getLangs = getLangs' readLang getLang = getLang' readLang -- cgit v1.2.3