From 2fdfef13d8cdcfeda0b5fba84ee53b7750879c8f Mon Sep 17 00:00:00 2001 From: krangelov Date: Tue, 26 Feb 2019 15:16:36 +0100 Subject: [PATCH] added command c-bracketedLinearize --- src/server/PGFService.hs | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs index 50d49d0f9..f9b309079 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -153,6 +153,8 @@ cpgfMain qsem command (t,(pgf,pc)) = "c-parse" -> withQSem qsem $ out t=<< join (parse # input % start % limit % treeopts) "c-linearize" -> out t=<< lin # tree % to + "c-bracketedLinearize" + -> out t=<< bracketedLin # tree % to "c-linearizeAll"-> out t=<< linAll # tree % to "c-translate" -> withQSem qsem $ out t=< Maybe PGF.Type -> PGF.Type