Mercurial > urweb

diff src/marshalcheck.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 8323c1beef2e
children 61a1f5c5ae2c
line wrap: on
line diff
--- a/src/marshalcheck.sml	Thu Apr 30 17:15:14 2009 -0400
+++ b/src/marshalcheck.sml	Sat May 02 11:27:26 2009 -0400
@@ -53,18 +53,6 @@
 
 structure IM = IntBinaryMap
 
-val clientToServer = [("Basis", "int"),
-                      ("Basis", "float"),
-                      ("Basis", "string"),
-                      ("Basis", "time"),
-                      ("Basis", "file"),
-                      ("Basis", "unit"),
-                      ("Basis", "option"),
-                      ("Basis", "list"),
-                      ("Basis", "bool")]
-
-val clientToServer = PS.addList (PS.empty, clientToServer)
-
 fun check file =
     let
         fun kind (_, st) = st
@@ -72,7 +60,7 @@
         fun con cmap (c, st) =
             case c of
                 CFfi mx =>
-                if PS.member (clientToServer, mx) then
+                if Settings.mayClientToServer mx then
                     st
                 else
                     PS.add (st, mx)