forked from GitHub/gf-core
gf -cshell: improved help for the 'import' command
This commit is contained in:
@@ -310,28 +310,29 @@ allCommands = extend commonCommands [
|
|||||||
helpCommand allCommands,
|
helpCommand allCommands,
|
||||||
("i", emptyCommandInfo {
|
("i", emptyCommandInfo {
|
||||||
longname = "import",
|
longname = "import",
|
||||||
synopsis = "import a grammar from source code or compiled .pgf file",
|
synopsis = "import a grammar from a compiled .pgf file",
|
||||||
explanation = unlines [
|
explanation = unlines [
|
||||||
"Reads a grammar from File and compiles it into a GF runtime grammar.",
|
"Reads a grammar from a compiled .pgf file.",
|
||||||
"If its abstract is different from current state, old modules are discarded.",
|
"Old modules are discarded.",
|
||||||
"If its abstract is the same and a concrete with the same name is already in the state",
|
{-
|
||||||
"it is overwritten - but only if compilation succeeds.",
|
|
||||||
"The grammar parser depends on the file name suffix:",
|
"The grammar parser depends on the file name suffix:",
|
||||||
|
|
||||||
" .cf context-free (labelled BNF) source",
|
" .cf context-free (labelled BNF) source",
|
||||||
" .ebnf extended BNF source",
|
" .ebnf extended BNF source",
|
||||||
" .gfm multi-module GF source",
|
" .gfm multi-module GF source",
|
||||||
" .gf normal GF source",
|
" .gf normal GF source",
|
||||||
" .gfo compiled GF source",
|
" .gfo compiled GF source",
|
||||||
|
-}
|
||||||
" .pgf precompiled grammar in Portable Grammar Format"
|
" .pgf precompiled grammar in Portable Grammar Format"
|
||||||
],
|
],
|
||||||
flags = [
|
flags = [
|
||||||
("probs","file with biased probabilities for generation")
|
-- ("probs","file with biased probabilities for generation")
|
||||||
],
|
],
|
||||||
options = [
|
options = [
|
||||||
-- ["gfo", "src", "no-cpu", "cpu", "quiet", "verbose"]
|
-- ["gfo", "src", "no-cpu", "cpu", "quiet", "verbose"]
|
||||||
("retain","retain operations (used for cc command)"),
|
-- ("retain","retain operations (used for cc command)"),
|
||||||
("src", "force compilation from source"),
|
-- ("src", "force compilation from source"),
|
||||||
("v", "be verbose - show intermediate status information")
|
-- ("v", "be verbose - show intermediate status information")
|
||||||
],
|
],
|
||||||
needsTypeCheck = False
|
needsTypeCheck = False
|
||||||
}),
|
}),
|
||||||
|
|||||||
Reference in New Issue
Block a user