Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
728:2197f0e24a9f 729:7c6b6c3c7b79
60 | EFfiApp ("Basis", "alert", _) => true 60 | EFfiApp ("Basis", "alert", _) => true
61 | EFfiApp ("Basis", "new_channel", _) => true 61 | EFfiApp ("Basis", "new_channel", _) => true
62 | EFfiApp ("Basis", "subscribe", _) => true 62 | EFfiApp ("Basis", "subscribe", _) => true
63 | EFfiApp ("Basis", "send", _) => true 63 | EFfiApp ("Basis", "send", _) => true
64 | EFfiApp ("Basis", "onError", _) => true 64 | EFfiApp ("Basis", "onError", _) => true
65 | EFfiApp ("Basis", "onFail", _) => true
66 | EFfiApp ("Basis", "onConnectFail", _) => true
67 | EFfiApp ("Basis", "onDisconnect", _) => true
68 | EFfiApp ("Basis", "onServerError", _) => true
65 | EFfiApp _ => false 69 | EFfiApp _ => false
66 | EApp ((EFfi _, _), _) => false 70 | EApp ((EFfi _, _), _) => false
67 | EApp _ => true 71 | EApp _ => true
68 72
69 | EUnop (_, e) => impure e 73 | EUnop (_, e) => impure e
285 | EFfiApp ("Basis", "alert", es) => ffi es 289 | EFfiApp ("Basis", "alert", es) => ffi es
286 | EFfiApp ("Basis", "new_channel", es) => ffi es 290 | EFfiApp ("Basis", "new_channel", es) => ffi es
287 | EFfiApp ("Basis", "subscribe", es) => ffi es 291 | EFfiApp ("Basis", "subscribe", es) => ffi es
288 | EFfiApp ("Basis", "send", es) => ffi es 292 | EFfiApp ("Basis", "send", es) => ffi es
289 | EFfiApp ("Basis", "onError", es) => ffi es 293 | EFfiApp ("Basis", "onError", es) => ffi es
294 | EFfiApp ("Basis", "onFail", es) => ffi es
295 | EFfiApp ("Basis", "onConnectFail", es) => ffi es
296 | EFfiApp ("Basis", "onDisconnect", es) => ffi es
297 | EFfiApp ("Basis", "onServerError", es) => ffi es
290 | EFfiApp (_, _, es) => List.concat (map (summarize d) es) 298 | EFfiApp (_, _, es) => List.concat (map (summarize d) es)
291 | EApp ((EFfi _, _), e) => summarize d e 299 | EApp ((EFfi _, _), e) => summarize d e
292 | EApp _ => 300 | EApp _ =>
293 let 301 let
294 fun unravel (e, passed, ls) = 302 fun unravel (e, passed, ls) =