diff src/scriptcheck.sml @ 2251:25874084bf1f

Make Mono.file a record for readability upon extension.
author Ziv Scully <ziv@mit.edu>
date Sun, 13 Sep 2015 17:02:17 -0400
parents 3dd041b00087
children e843a04499d4
line wrap: on
line diff
--- a/src/scriptcheck.sml	Sun Sep 13 16:02:45 2015 -0400
+++ b/src/scriptcheck.sml	Sun Sep 13 17:02:17 2015 -0400
@@ -16,7 +16,7 @@
  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
- * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 
+ * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
@@ -91,7 +91,7 @@
                                              dump r')) m;
                      print "</Module>\n")
 
-fun classify (ds, ps) =
+fun classify {decls = ds, sideInfo = ps} =
     let
         val proto = Settings.currentProtocol ()
 
@@ -100,7 +100,7 @@
         fun hasClient {basis, rpcs, funcs, push} =
             MonoUtil.Exp.exists {typ = fn _ => false,
                                  exp = fn ERecv _ => push
-                                        | EFfiApp ("Basis", x, _) => SS.member (basis, x) 
+                                        | EFfiApp ("Basis", x, _) => SS.member (basis, x)
                                         | EJavaScript _ => not push
                                         | ENamed n => IS.member (funcs, n)
                                         | EServerCall (e, _, _, _) =>
@@ -175,8 +175,7 @@
                              else
                                  ServerOnly, AnyDb)) (IS.listItems all_ids)
     in
-        (ds, ps)
+        {decls = ds, sideInfo = ps}
     end
 
 end
-