Mercurial > urweb
diff src/mono_reduce.sml @ 690:01b6f2ee2ef0
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 |
line wrap: on
line diff
--- a/src/mono_reduce.sml Thu Apr 02 13:48:59 2009 -0400 +++ b/src/mono_reduce.sml Thu Apr 02 15:12:06 2009 -0400 @@ -55,6 +55,7 @@ | EFfi _ => false | EFfiApp ("Basis", "set_cookie", _) => true | EFfiApp ("Basis", "new_client_source", _) => true + | EFfiApp ("Basis", "get_client_source", _) => true | EFfiApp ("Basis", "set_client_source", _) => true | EFfiApp ("Basis", "alert", _) => true | EFfiApp ("Basis", "new_channel", _) => true @@ -274,6 +275,7 @@ | EFfi _ => [] | EFfiApp ("Basis", "set_cookie", es) => ffi es | EFfiApp ("Basis", "new_client_source", es) => ffi es + | EFfiApp ("Basis", "get_client_source", es) => ffi es | EFfiApp ("Basis", "set_client_source", es) => ffi es | EFfiApp ("Basis", "alert", es) => ffi es | EFfiApp ("Basis", "new_channel", es) => ffi es