diff options
author | Alon Zakai <alonzakai@gmail.com> | 2011-07-15 19:35:27 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2011-07-15 19:35:40 -0700 |
commit | 414f1dc84930595fa804023435267762e4f66be2 (patch) | |
tree | 2b8f6c3040bb5be129489353f4c4e94872639995 /src/settings.js | |
parent | 51505880de541576c79ece8b93e73690290c6c5e (diff) |
option to provide type info at run time
Diffstat (limited to 'src/settings.js')
-rw-r--r-- | src/settings.js | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/settings.js b/src/settings.js index 544cc7c2..226c30b2 100644 --- a/src/settings.js +++ b/src/settings.js @@ -116,6 +116,11 @@ SHOW_LABELS = 0; // Show labels in the generated code BUILD_AS_SHARED_LIB = 0; // Whether to build the code as a shared library, which // must be loaded dynamically using dlopen(). +RUNTIME_TYPE_INFO = 0; // Whether to expose type info to the script at run time. This + // increases the size of the generated script, but allows you + // to more easily perform operations from handwritten JS on + // objects with structures etc. + // Compiler debugging options DEBUG_TAGS_SHOWING = []; // Some useful items: |