From 4b3399b59d17ed32c8c2800267b8c59fd0378f21 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 2 May 2009 11:27:26 -0400
Subject: Successfully influenced effectful-ness status of FFI func

---
 src/marshalcheck.sml | 14 +-------------
 1 file changed, 1 insertion(+), 13 deletions(-)

(limited to 'src/marshalcheck.sml')

diff --git a/src/marshalcheck.sml b/src/marshalcheck.sml
index 7dea28f3..3dbf93fc 100644
--- a/src/marshalcheck.sml
+++ b/src/marshalcheck.sml
@@ -53,18 +53,6 @@ end
 
 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 check file =
         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)
-- 
cgit v1.2.3