diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-04-16 13:47:20 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-16 13:47:20 -0400 |
commit | c4ddce15e08c0b2f26f7ff773b87654fc5f92938 (patch) | |
tree | d0d08dc15edc8e7dc1f916a592160f8c9e561bd2 /src/mono_reduce.sml | |
parent | b6fef1cc8832978bd9673df1a968d06d42bc2eb0 (diff) |
Some client-side error handling
Diffstat (limited to 'src/mono_reduce.sml')
-rw-r--r-- | src/mono_reduce.sml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml index 19140b81..4c337e14 100644 --- a/src/mono_reduce.sml +++ b/src/mono_reduce.sml @@ -62,6 +62,10 @@ fun impure (e, _) = | 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 @@ fun reduce file = | 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 _ => |