From 3f9b4e7855cf4594708a9fbad194c89540d2cf1e Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 31 Mar 2004 12:30:34 +0000 Subject: Added support for cf and ebnf formats --- src/HelpFile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'src/HelpFile') diff --git a/src/HelpFile b/src/HelpFile index 523f69a7c..48602030b 100644 --- a/src/HelpFile +++ b/src/HelpFile @@ -19,14 +19,15 @@ i, import: i File .gfc canonical GF .gfr precompiled GF resource .gfcm multilingual canonical GF - *.ebnf Extended BNF format + .ebnf Extended BNF format .cf Context-free (BNF) format options: -old old: parse in GF<2.0 format -v verbose: give lots of messages -s silent: don't give error messages -opt perform branch-sharing optimization - *-src source: ignore precompiled gfc and gfr files + -src source: ignore precompiled gfc and gfr files + -retain retain operations: read resource modules (needed in comm cc) -nocf don't build context-free grammar (thus no parser) -nocheckcirc don't eliminate circular rules from CF -cflexer build an optimized parser with separate lexer trie @@ -136,7 +137,7 @@ cc, compute_concrete: cc Ident Term Compute a term by concrete syntax definitions. The identifier Ident is a resource module name needed to resolve constant. - N.B. You need the flag -src when importing the grammar, if you want + N.B. You need the flag -retain when importing the grammar, if you want the oper definitions to be retained after compilation; otherwise this command does not expand oper constants. N.B.' The resulting Term is not a term in the sense of abstract syntax, -- cgit v1.2.3