summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Command
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2015-08-10 16:39:31 +0000
committerhallgren <hallgren@chalmers.se>2015-08-10 16:39:31 +0000
commit911310bb40d492d0197f1163297b0154c0f692d4 (patch)
tree17b6e1a24c15a475d2f4df2d297fed68a7f06174 /src/compiler/GF/Command
parent666945a7b071724f448abd01f01fa70bc70d234b (diff)
gf -cshell: improved help for the 'import' command
Diffstat (limited to 'src/compiler/GF/Command')
-rw-r--r--src/compiler/GF/Command/Commands2.hs19
1 files changed, 10 insertions, 9 deletions
diff --git a/src/compiler/GF/Command/Commands2.hs b/src/compiler/GF/Command/Commands2.hs
index 0bf8f62bc..f5082b4f9 100644
--- a/src/compiler/GF/Command/Commands2.hs
+++ b/src/compiler/GF/Command/Commands2.hs
@@ -310,28 +310,29 @@ allCommands = extend commonCommands [
helpCommand allCommands,
("i", emptyCommandInfo {
longname = "import",
- synopsis = "import a grammar from source code or compiled .pgf file",
+ synopsis = "import a grammar from a compiled .pgf file",
explanation = unlines [
- "Reads a grammar from File and compiles it into a GF runtime grammar.",
- "If its abstract is different from current state, 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.",
+ "Reads a grammar from a compiled .pgf file.",
+ "Old modules are discarded.",
+{-
"The grammar parser depends on the file name suffix:",
+
" .cf context-free (labelled BNF) source",
" .ebnf extended BNF source",
" .gfm multi-module GF source",
" .gf normal GF source",
" .gfo compiled GF source",
+-}
" .pgf precompiled grammar in Portable Grammar Format"
],
flags = [
- ("probs","file with biased probabilities for generation")
+-- ("probs","file with biased probabilities for generation")
],
options = [
-- ["gfo", "src", "no-cpu", "cpu", "quiet", "verbose"]
- ("retain","retain operations (used for cc command)"),
- ("src", "force compilation from source"),
- ("v", "be verbose - show intermediate status information")
+-- ("retain","retain operations (used for cc command)"),
+-- ("src", "force compilation from source"),
+-- ("v", "be verbose - show intermediate status information")
],
needsTypeCheck = False
}),