diff options
Diffstat (limited to 'includes/RtsAPI.h')
| -rw-r--r-- | includes/RtsAPI.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/includes/RtsAPI.h b/includes/RtsAPI.h index 3b6de0f10c..4748060dee 100644 --- a/includes/RtsAPI.h +++ b/includes/RtsAPI.h @@ -73,6 +73,9 @@ typedef struct { // True if GHC was not passed -no-hs-main HsBool rts_hs_main; + // Whether to retain CAFs (default: false) + HsBool keep_cafs; + // Called before processing command-line flags, so that default // settings for RtsFlags can be provided. void (* defaultsHook) (void); |