summaryrefslogtreecommitdiff
path: root/src/HelpFile
diff options
context:
space:
mode:
authoraarne <unknown>2005-06-20 15:14:19 +0000
committeraarne <unknown>2005-06-20 15:14:19 +0000
commit9cf71d3bba75f157e72bc08f984a2262885ed506 (patch)
tree1a5851d572ef67d34bcd61eb24badefc6569aa21 /src/HelpFile
parent2c48a10236bb19d8b04382cb1e957ce18b9d29fd (diff)
parse tree visualization
Diffstat (limited to 'src/HelpFile')
-rw-r--r--src/HelpFile8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/HelpFile b/src/HelpFile
index 3560141c9..dcd246858 100644
--- a/src/HelpFile
+++ b/src/HelpFile
@@ -281,6 +281,14 @@ wt, wrap_tree: wt Fun
flags:
-c compute the resulting new tree to normal form
+vt, visualize_tree: vt Tree
+ Shows the abstract syntax tree via dot and gv (via temporary files
+ grphtmp.dot, grphtmp.ps).
+ flags:
+ -c show categories only (no functions)
+ -f show functions only (no categories)
+ -g show as graph (sharing uses of the same function)
+
-- subshells
es, editing_session: es