Mercurial > urweb

comparison src/mono_reduce.sml @ 697:755a71c99be5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Threads demo
author Adam Chlipala <adamc@hcoop.net>
date Sun, 05 Apr 2009 10:48:11 -0400
parents 500e93aa436f
children 6fc633d990e7
comparison
equal deleted inserted replaced
696:79a49c509007 697:755a71c99be5
59 | EFfiApp ("Basis", "set_client_source", _) => true 59 | EFfiApp ("Basis", "set_client_source", _) => true
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", "recv", _) => true
65 | EFfiApp _ => false 64 | EFfiApp _ => false
66 | EApp ((EFfi _, _), _) => false 65 | EApp ((EFfi _, _), _) => false
67 | EApp _ => true 66 | EApp _ => true
68 67
69 | EUnop (_, e) => impure e 68 | EUnop (_, e) => impure e
281 | EFfiApp ("Basis", "set_client_source", es) => ffi es 280 | EFfiApp ("Basis", "set_client_source", es) => ffi es
282 | EFfiApp ("Basis", "alert", es) => ffi es 281 | EFfiApp ("Basis", "alert", es) => ffi es
283 | EFfiApp ("Basis", "new_channel", es) => ffi es 282 | EFfiApp ("Basis", "new_channel", es) => ffi es
284 | EFfiApp ("Basis", "subscribe", es) => ffi es 283 | EFfiApp ("Basis", "subscribe", es) => ffi es
285 | EFfiApp ("Basis", "send", es) => ffi es 284 | EFfiApp ("Basis", "send", es) => ffi es
286 | EFfiApp ("Basis", "recv", es) => ffi es
287 | EFfiApp (_, _, es) => List.concat (map (summarize d) es) 285 | EFfiApp (_, _, es) => List.concat (map (summarize d) es)
288 | EApp ((EFfi _, _), e) => summarize d e 286 | EApp ((EFfi _, _), e) => summarize d e
289 | EApp _ => 287 | EApp _ =>
290 let 288 let
291 fun unravel (e, passed, ls) = 289 fun unravel (e, passed, ls) =