From 51e34115de1d243904e9b49c3839fde9c91c96c9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 16 Apr 2009 12:36:01 -0400
Subject: onError

---
 src/jscomp.sml      |  5 +++--
 src/mono_reduce.sml |  5 +++++
 src/scriptcheck.sml | 16 ++++------------
 3 files changed, 12 insertions(+), 14 deletions(-)

(limited to 'src')

diff --git a/src/jscomp.sml b/src/jscomp.sml
index 9a621906..d7a74fab 100644
--- a/src/jscomp.sml
+++ b/src/jscomp.sml
@@ -52,7 +52,8 @@ val funcs = [(("Basis", "alert"), "alert"),
              (("Basis", "recv"), "rv"),
              (("Basis", "strcat"), "cat"),
              (("Basis", "intToString"), "ts"),
-             (("Basis", "floatToString"), "ts")]
+             (("Basis", "floatToString"), "ts"),
+             (("Basis", "onError"), "onError")]
 
 structure FM = BinaryMapFn(struct
                            type ord_key = string * string
@@ -861,7 +862,7 @@ fun process file =
                             let
                                 val (e, st) = jsE inner (e, st)
                             in
-                                (strcat [str "alert(cat(\"ERROR: \",", e, str "))"],
+                                (strcat [str "er(", e, str ")"],
                                  st)
                             end
 
diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml
index dafc6ded..19140b81 100644
--- a/src/mono_reduce.sml
+++ b/src/mono_reduce.sml
@@ -61,6 +61,7 @@ fun impure (e, _) =
       | EFfiApp ("Basis", "new_channel", _) => true
       | EFfiApp ("Basis", "subscribe", _) => true
       | EFfiApp ("Basis", "send", _) => true
+      | EFfiApp ("Basis", "onError", _) => true
       | EFfiApp _ => false
       | EApp ((EFfi _, _), _) => false
       | EApp _ => true
@@ -207,6 +208,9 @@ fun match (env, p : pat, e : exp) =
             consider (xps, env)
         end
 
+      | (PNone _, ENone _) => Yes env
+      | (PSome (_, p), ESome (_, e)) => match (env, p, e)
+
       | _ => Maybe
 
 datatype event =
@@ -282,6 +286,7 @@ fun reduce file =
                       | EFfiApp ("Basis", "new_channel", es) => ffi es
                       | EFfiApp ("Basis", "subscribe", es) => ffi es
                       | EFfiApp ("Basis", "send", es) => ffi es
+                      | EFfiApp ("Basis", "onError", es) => ffi es
                       | EFfiApp (_, _, es) => List.concat (map (summarize d) es)
                       | EApp ((EFfi _, _), e) => summarize d e
                       | EApp _ =>
diff --git a/src/scriptcheck.sml b/src/scriptcheck.sml
index a3928921..352ef46c 100644
--- a/src/scriptcheck.sml
+++ b/src/scriptcheck.sml
@@ -60,13 +60,6 @@ fun classify (ds, ps) =
 
         fun hasClient {basis, words, onload} csids =
             let
-                fun realOnload ss =
-                    case ss of
-                        [] => false
-                      | (EFfiApp ("Basis", "get_settings", _), _) :: ss => realOnload ss
-                      | (EPrim (Prim.String s), _) :: ss => not (String.isPrefix "'" s)
-                      | _ => true
-
                 fun hasClient e =
                     case #1 e of
                         EPrim (Prim.String s) => List.exists (fn n => inString {needle = n, haystack = s}) words
@@ -79,11 +72,10 @@ fun classify (ds, ps) =
                       | ESome (_, e) => hasClient e
                       | EFfi ("Basis", x) => SS.member (basis, x)
                       | EFfi _ => false
-                      | EFfiApp ("Basis", "strcat", all as ((EPrim (Prim.String s1), _) :: ss)) =>
-                        if onload andalso String.isSuffix " onload='" s1 then
-                            realOnload ss orelse List.exists hasClient all
-                        else
-                            List.exists hasClient all
+                      | EFfiApp ("Basis", "maybe_onload",
+                                 [(EFfiApp ("Basis", "strcat", all as [_, (EPrim (Prim.String s), _)]), _)]) =>
+                        List.exists hasClient 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
-- 
cgit v1.2.3