Mercurial > urweb
diff src/mono_reduce.sml @ 697:755a71c99be5
Threads demo
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 05 Apr 2009 10:48:11 -0400 |
parents | 500e93aa436f |
children | 6fc633d990e7 |
line wrap: on
line diff
--- a/src/mono_reduce.sml Sun Apr 05 09:26:00 2009 -0400 +++ b/src/mono_reduce.sml Sun Apr 05 10:48:11 2009 -0400 @@ -61,7 +61,6 @@ | EFfiApp ("Basis", "new_channel", _) => true | EFfiApp ("Basis", "subscribe", _) => true | EFfiApp ("Basis", "send", _) => true - | EFfiApp ("Basis", "recv", _) => true | EFfiApp _ => false | EApp ((EFfi _, _), _) => false | EApp _ => true @@ -283,7 +282,6 @@ | EFfiApp ("Basis", "new_channel", es) => ffi es | EFfiApp ("Basis", "subscribe", es) => ffi es | EFfiApp ("Basis", "send", es) => ffi es - | EFfiApp ("Basis", "recv", es) => ffi es | EFfiApp (_, _, es) => List.concat (map (summarize d) es) | EApp ((EFfi _, _), e) => summarize d e | EApp _ =>