Mercurial > urweb

comparison src/corify.sml @ 2039:3d10ae22abd6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Default 'jsFunc' for less-safe FFI
author Adam Chlipala <adam@chlipala.net>
date Wed, 16 Jul 2014 04:06:11 -0400
parents ec2c7a22df0d
children
comparison
equal deleted inserted replaced
2038:ec2c7a22df0d 2039:3d10ae22abd6
1219 | Source.BenignEffectful => Settings.addBenignEffectful name 1219 | Source.BenignEffectful => Settings.addBenignEffectful name
1220 | Source.ClientOnly => Settings.addClientOnly name 1220 | Source.ClientOnly => Settings.addClientOnly name
1221 | Source.ServerOnly => Settings.addServerOnly name 1221 | Source.ServerOnly => Settings.addServerOnly name
1222 | Source.JsFunc s => Settings.addJsFunc (name, s)) modes; 1222 | Source.JsFunc s => Settings.addJsFunc (name, s)) modes;
1223 1223
1224 if List.exists (fn Source.JsFunc _ => true | _ => false) modes then
1225 ()
1226 else
1227 Settings.addJsFunc (name, #2 name);
1228
1224 if isTrans andalso not (Settings.isBenignEffectful name) then 1229 if isTrans andalso not (Settings.isBenignEffectful name) then
1225 Settings.addEffectful name 1230 Settings.addEffectful name
1226 else 1231 else
1227 (); 1232 ();
1228 1233