diff options
| author | hallgren <hallgren@chalmers.se> | 2015-08-10 16:39:31 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-08-10 16:39:31 +0000 |
| commit | 911310bb40d492d0197f1163297b0154c0f692d4 (patch) | |
| tree | 17b6e1a24c15a475d2f4df2d297fed68a7f06174 /src/compiler/GF/Command | |
| parent | 666945a7b071724f448abd01f01fa70bc70d234b (diff) | |
gf -cshell: improved help for the 'import' command
Diffstat (limited to 'src/compiler/GF/Command')
| -rw-r--r-- | src/compiler/GF/Command/Commands2.hs | 19 |
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 }), |
