summaryrefslogtreecommitdiff
path: root/src/scriptcheck.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-01-07 15:56:22 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2012-01-07 15:56:22 -0500
commit09b5839acfe26561fa87c89168133fc93c1083cc (patch)
tree587292f9b176c383c7b6332cdc30a817e355fe1d /src/scriptcheck.sml
parentbd78657f61d3783f9a282bf38ad0cbcb8b8bf5d4 (diff)
First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far)
Diffstat (limited to 'src/scriptcheck.sml')
-rw-r--r--src/scriptcheck.sml8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/scriptcheck.sml b/src/scriptcheck.sml
index 129f4281..6c6c5588 100644
--- a/src/scriptcheck.sml
+++ b/src/scriptcheck.sml
@@ -92,12 +92,12 @@ fun classify (ds, ps) =
| EFfi ("Basis", x) => SS.member (basis, x)
| EFfi _ => false
| EFfiApp ("Basis", "maybe_onload",
- [(EFfiApp ("Basis", "strcat", all as [_, (EPrim (Prim.String s), _)]), _)]) =>
- List.exists hasClient all
+ [((EFfiApp ("Basis", "strcat", all as [_, ((EPrim (Prim.String s), _), _)]), _), _)]) =>
+ List.exists (hasClient o #1) all
orelse (onload andalso size s > 0)
| EFfiApp ("Basis", x, es) => SS.member (basis, x)
- orelse List.exists hasClient es
- | EFfiApp (_, _, es) => List.exists hasClient es
+ orelse List.exists (hasClient o #1) es
+ | EFfiApp (_, _, es) => List.exists (hasClient o #1) es
| EApp (e, es) => hasClient e orelse List.exists hasClient es
| EUnop (_, e) => hasClient e
| EBinop (_, e1, e2) => hasClient e1 orelse hasClient e2