Mercurial > urweb
diff src/effectize.sml @ 765:a28982de5645
Successfully influenced effectful-ness status of FFI func
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 02 May 2009 11:27:26 -0400 |
parents | 5ccb67665d05 |
children | a44daa674810 |
line wrap: on
line diff
--- a/src/effectize.sml Thu Apr 30 17:15:14 2009 -0400 +++ b/src/effectize.sml Sat May 02 11:27:26 2009 -0400 @@ -37,15 +37,14 @@ val compare = String.compare end) -val effectful = ["dml", "nextval", "send", "setCookie"] -val effectful = SS.addList (SS.empty, effectful) +fun effectful x = Settings.isEffectful x andalso not (Settings.isClientOnly x) fun effectize file = let fun exp evs e = case e of - EFfi ("Basis", s) => SS.member (effectful, s) - | EFfiApp ("Basis", s, _) => SS.member (effectful, s) + EFfi f => effectful f + | EFfiApp (m, x, _) => effectful (m, x) | ENamed n => IM.inDomain (evs, n) | EServerCall (n, _, _, _) => IM.inDomain (evs, n) | _ => false