98 |
/* Options. Some are compile-time only, some are run-time only, and some are |
/* Options. Some are compile-time only, some are run-time only, and some are |
99 |
both, so we keep them all distinct. However, almost all the bits in the options |
both, so we keep them all distinct. However, almost all the bits in the options |
100 |
word are now used. In the long run, we may have to re-use some of the |
word are now used. In the long run, we may have to re-use some of the |
101 |
compile-time only bits for runtime options, or vice versa. In the comments |
compile-time only bits for runtime options, or vice versa. In the comments |
102 |
below, "compile", "exec", and "DFA exec" mean that the option is permitted to |
below, "compile", "exec", and "DFA exec" mean that the option is permitted to |
103 |
be set for those functions; "used in" means that an option may be set only for |
be set for those functions; "used in" means that an option may be set only for |
104 |
compile, but is subsequently referenced in exec and/or DFA exec. Any of the |
compile, but is subsequently referenced in exec and/or DFA exec. Any of the |
105 |
compile-time options may be inspected during studying (and therefore JIT |
compile-time options may be inspected during studying (and therefore JIT |
106 |
compiling). */ |
compiling). */ |