[pure-lang-svn] SF.net SVN: pure-lang: [315] pure/trunk/pure.1.in

[<ag...@us...>]

Revision: 315
          http://pure-lang.svn.sourceforge.net/pure-lang/?rev=315&view=rev
Author:   agraef
Date:     2008-06-26 02:09:49 -0700 (Thu, 26 Jun 2008)

Log Message:
-----------
Update documentation.

Modified Paths:
--------------
    pure/trunk/pure.1.in

Modified: pure/trunk/pure.1.in
===================================================================
--- pure/trunk/pure.1.in	2008-06-26 08:57:06 UTC (rev 314)
+++ pure/trunk/pure.1.in	2008-06-26 09:09:49 UTC (rev 315)
@@ -134,8 +134,9 @@
 paths; this can be helpful to debug tricky variable binding issues);
 .TP
 .B 4 (0x4)
-adds abstract code snippets (matching automata etc.; you probably want to see
-this only when working on the guts of the interpreter).
+adds descriptions of the matching automata for the left-hand sides of
+equations (you probably want to see this only when working on the guts of the
+interpreter).
 .TP
 .B 8 (0x8)
 dumps the ``real'' output code (LLVM assembler, which is as close to the
@@ -952,12 +953,14 @@
 formats. This command recognizes the following options. Options may be
 combined, thus, e.g., \fBlist\fP -tvl is the same as \fBlist\fP -t -v -l.
 .TP
-.B -c
-Annotate printed definitions with compiled code (matching automata). Works
-like the
+.B -a
+Disassembles pattern matching automata. Works like the
 .B -v4
 option of the interpreter.
 .TP
+.B -c
+Print information about constant symbols.
+.TP
 .B -d
 Disassembles LLVM IR, showing the generated LLVM assembler code of a
 function. Works like the
@@ -971,7 +974,7 @@
 option of the interpreter.
 .TP
 .B -f
-Print information about function symbols only.
+Print information about function symbols.
 .TP
 .B -g
 Indicates that the following symbols are actually shell glob patterns and that
@@ -997,10 +1000,19 @@
 definition levels.
 .TP
 .B -v
-Print information about variable symbols only.
+Print information about variable symbols.
 .PP
+If none of the
+.BR -c ,
+.B -f
+and
+.B -v
+options are specified, then all kinds of symbols (constants, functions,
+variables) are printed, otherwise only the specified categories will be
+listed.
+.PP
 Note that some of the options (in particular,
-.B -c
+.B -a
 and
 .BR -d )
 may produce excessive amounts of information. By setting the


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.