diff options
Diffstat (limited to 'src/interp/c-util.boot')
| -rw-r--r-- | src/interp/c-util.boot | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index a85d8bb0..080e683d 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -58,6 +58,8 @@ $optProclaim := false ++ true if we have to inline simple functions before codegen. $optReplaceSimpleFunctions := false +++ true if we have to resolve references to exported operations. +$optExportedFunctionReference := false --% @@ -904,6 +906,8 @@ setCompilerOptimizations level == if level > 0 then $optProclaim := true $optReplaceSimpleFunctions := true + if level > 1 then + $optExportedFunctionReference := true coreError '"unknown optimization level request" |