diff options
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/PGFService.hs | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs index 21914ba69..6ac7b1618 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -92,13 +92,6 @@ pgfMain pgf command = Just lang | lang `elem` PGF.languages pgf -> return $ Just lang | otherwise -> throwCGIError 400 "Unknown language" ["Unknown language: " ++ l] -doListGrammars :: IO JSValue -doListGrammars = - do cwd <- getCurrentDirectory - ps <- getDirectoryContents cwd - let fs = filter ((== ".pgf") . map toLower . takeExtension) $ map takeFileName ps - return $ showJSON $ map toJSObject [[("name", f)] | f <- fs] - doTranslate :: PGF -> String -> Maybe PGF.Type -> Maybe PGF.Language -> Maybe PGF.Language -> JSValue doTranslate pgf input mcat mfrom mto = showJSON |