writePGF now allows to select list of languages

2023-01-28 11:59:39 +01:00
parent 471adbf63a
commit 8fca37cfeb
9 changed files with 76 additions and 14 deletions
@@ -847,7 +847,7 @@ pgfCommands = Map.fromList [
   prGrammar pgf opts
     | isOpt "pgf"      opts = do
          let outfile = valStrOpts "file" (abstractName pgf ++ ".pgf") opts
-          restricted $ writePGF outfile pgf
+          restricted $ writePGF outfile pgf (Just (map concreteName (optLangs pgf opts)))
          putStrLn $ "wrote file " ++ outfile
          return void
     | isOpt "cats"     opts = return $ fromString $ unwords $ categories pgf