Mercurial > urweb

comparison src/mono_reduce.sml @ 690:01b6f2ee2ef0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Redo signal implementation to avoid memory leaks
author Adam Chlipala <adamc@hcoop.net>
date Thu, 02 Apr 2009 15:12:06 -0400
parents f73913d97a40
children 7ea0df9e56b6
comparison
equal deleted inserted replaced
689:b6a8425e1b1f 690:01b6f2ee2ef0
53 | ENone _ => false 53 | ENone _ => false
54 | ESome (_, e) => impure e 54 | ESome (_, e) => impure e
55 | EFfi _ => false 55 | EFfi _ => false
56 | EFfiApp ("Basis", "set_cookie", _) => true 56 | EFfiApp ("Basis", "set_cookie", _) => true
57 | EFfiApp ("Basis", "new_client_source", _) => true 57 | EFfiApp ("Basis", "new_client_source", _) => true
58 | EFfiApp ("Basis", "get_client_source", _) => true
58 | EFfiApp ("Basis", "set_client_source", _) => true 59 | EFfiApp ("Basis", "set_client_source", _) => true
59 | EFfiApp ("Basis", "alert", _) => true 60 | EFfiApp ("Basis", "alert", _) => true
60 | EFfiApp ("Basis", "new_channel", _) => true 61 | EFfiApp ("Basis", "new_channel", _) => true
61 | EFfiApp ("Basis", "subscribe", _) => true 62 | EFfiApp ("Basis", "subscribe", _) => true
62 | EFfiApp ("Basis", "send", _) => true 63 | EFfiApp ("Basis", "send", _) => true
272 | ENone _ => [] 273 | ENone _ => []
273 | ESome (_, e) => summarize d e 274 | ESome (_, e) => summarize d e
274 | EFfi _ => [] 275 | EFfi _ => []
275 | EFfiApp ("Basis", "set_cookie", es) => ffi es 276 | EFfiApp ("Basis", "set_cookie", es) => ffi es
276 | EFfiApp ("Basis", "new_client_source", es) => ffi es 277 | EFfiApp ("Basis", "new_client_source", es) => ffi es
278 | EFfiApp ("Basis", "get_client_source", es) => ffi es
277 | EFfiApp ("Basis", "set_client_source", es) => ffi es 279 | EFfiApp ("Basis", "set_client_source", es) => ffi es
278 | EFfiApp ("Basis", "alert", es) => ffi es 280 | EFfiApp ("Basis", "alert", es) => ffi es
279 | EFfiApp ("Basis", "new_channel", es) => ffi es 281 | EFfiApp ("Basis", "new_channel", es) => ffi es
280 | EFfiApp ("Basis", "subscribe", es) => ffi es 282 | EFfiApp ("Basis", "subscribe", es) => ffi es
281 | EFfiApp ("Basis", "send", es) => ffi es 283 | EFfiApp ("Basis", "send", es) => ffi es