diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/corify.sml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/corify.sml b/src/corify.sml index 162ae1ab..5d58efcc 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -1221,6 +1221,11 @@ fun corifyDecl mods (all as (d, loc : EM.span), st) = | Source.ServerOnly => Settings.addServerOnly name | Source.JsFunc s => Settings.addJsFunc (name, s)) modes; + if List.exists (fn Source.JsFunc _ => true | _ => false) modes then + () + else + Settings.addJsFunc (name, #2 name); + if isTrans andalso not (Settings.isBenignEffectful name) then Settings.addEffectful name else |