Mercurial > urweb

diff src/effectize.sml @ 765:a28982de5645

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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