summaryrefslogtreecommitdiff
path: root/src/HelpFile
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-09-01 15:11:22 +0000
committeraarne <aarne@cs.chalmers.se>2006-09-01 15:11:22 +0000
commit39a31d07d5c70f490c04da0969716b4bd12bb6ae (patch)
tree2ef660f8e34a3dc8cedf9849a2249d59836868d4 /src/HelpFile
parent04933ef3c9ad381b2d09b7882b4204f6ca53208c (diff)
the Error type; better lexer error reporting
Diffstat (limited to 'src/HelpFile')
-rw-r--r--src/HelpFile4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/HelpFile b/src/HelpFile
index 1fbb50b85..6e6b7dc2a 100644
--- a/src/HelpFile
+++ b/src/HelpFile
@@ -585,7 +585,9 @@ q, quit: q
The default is share for concrete, none for resource modules.
Each of the flags can have the suffix _subs, which performs
common subexpression elimination after the main optimization.
- Thus, -optimize=all_subs is the most aggressive one.
+ Thus, -optimize=all_subs is the most aggressive one. The _subs
+ strategy only works in GFC, and applies therefore in concrete but
+ not in resource modules.
-optimize=share share common branches in tables
-optimize=parametrize first try parametrize then do share with the rest
-optimize=values represent tables as courses-of-values