Mercurial > urweb

diff src/mono_reduce.sml @ 729:7c6b6c3c7b79

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some client-side error handling
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 13:47:20 -0400
parents 6fc633d990e7
children 796e42c93c48
line wrap: on
line diff
--- a/src/mono_reduce.sml	Thu Apr 16 13:00:40 2009 -0400
+++ b/src/mono_reduce.sml	Thu Apr 16 13:47:20 2009 -0400
@@ -62,6 +62,10 @@
       | EFfiApp ("Basis", "subscribe", _) => true
       | EFfiApp ("Basis", "send", _) => true
       | EFfiApp ("Basis", "onError", _) => true
+      | EFfiApp ("Basis", "onFail", _) => true
+      | EFfiApp ("Basis", "onConnectFail", _) => true
+      | EFfiApp ("Basis", "onDisconnect", _) => true
+      | EFfiApp ("Basis", "onServerError", _) => true
       | EFfiApp _ => false
       | EApp ((EFfi _, _), _) => false
       | EApp _ => true
@@ -287,6 +291,10 @@
                       | EFfiApp ("Basis", "subscribe", es) => ffi es
                       | EFfiApp ("Basis", "send", es) => ffi es
                       | EFfiApp ("Basis", "onError", es) => ffi es
+                      | EFfiApp ("Basis", "onFail", es) => ffi es
+                      | EFfiApp ("Basis", "onConnectFail", es) => ffi es
+                      | EFfiApp ("Basis", "onDisconnect", es) => ffi es
+                      | EFfiApp ("Basis", "onServerError", es) => ffi es
                       | EFfiApp (_, _, es) => List.concat (map (summarize d) es)
                       | EApp ((EFfi _, _), e) => summarize d e
                       | EApp _ =>