http://wiki.erights.org/mediawiki/index.php?title=Miranda_whenMoreResolved&feed=atom&action=history
Miranda whenMoreResolved - Revision history
2024-03-29T12:20:09Z
Revision history for this page on the wiki
MediaWiki 1.15.5-7
http://wiki.erights.org/mediawiki/index.php?title=Miranda_whenMoreResolved&diff=1890&oldid=prev
Kevin Reid: clean up, incorporate javadoc
2011-08-07T02:56:36Z
<p>clean up, incorporate javadoc</p>
<p><b>New page</b></p><div>'''__whenMoreResolved/1''' is a [[Miranda message]].<br />
<br />
{{instance msgdoc|__whenMoreResolved|1|<var>reactor</var> :[[OneArgFunc]]|[[void]]}}<br />
<br />
Notify the <var>reactor</var> when the reference is resolved, or is importantly ''closer'' to being resolved; specifically when it has become the [[same]] as a reference into a different vat (is a candidate for [[shortening]]).<br />
<br />
* If the recipient is a [[near ref]], then the Miranda method should be:<br />
to __whenMoreResolved(reactor) {<br />
reactor &lt;- run(<var>recipient</var>)<br />
return null<br />
}<br />
* If the recipient is a [[local promise]] then it should buffer and forward the message normally.<br />
* If the recipient is a [[remote promise]] then {{XXX|Specify the CapTP-related behavior.}}<br />
<br />
==Original Javadoc==<br />
<br />
{{XXX|merge}}<br />
<br />
Used to implement when-catch and the "[[Ref#whenResolved/2]]"; it should not<br />
be called directly.<br />
<br />
The Miranda behavior responds by doing 'reactor &lt;- run(self)'. If the<br />
reference never becomes resolved, the reactor is not invoked.<br />
<br />
In the cooperative (non-malicious) case, the reactor will not be invoked<br />
more than once.<br />
<br />
When sent on a reference, once the reference becomes resolved the<br />
reactor will be invoked with the resolution. Should the reactor be<br />
invoked with a non-broken reference, all earlier messages are guaranteed<br />
to have been successfully delivered.<br />
<br />
Should the reference become broken, or should breakage prevent the<br />
reporting of fulfillment to the reactor, the reactor will be invoked<br />
with a broken reference. The reactor may be invoked more than once. In<br />
particular, if the reference becomes fulfilled and then broken, the<br />
reactor may hear of either or both of these events.<br />
<br />
See also: [[Ref#whenBroken/2]]<br />
<br />
==Tests==<br />
<br />
? var r := null<br />
> def ret := 1 <- __whenMoreResolved(fn x { r := x + 1 })<br />
> interp.waitAtTop(ret)<br />
> ret<br />
# value: <Promise><br />
<br />
? r<br />
# value: 2<br />
<br />
? [ret]<br />
# value: [null]<br />
<br />
{{XXX|Above tests do not check for reactor&lt;-run rather than reactor.run}}<br />
<br />
[[Category:Miranda messages]]<br />
[[Category:Pluribus]]</div>
Kevin Reid
http://wiki.erights.org/mediawiki/index.php?title=Miranda_whenMoreResolved&diff=3973&oldid=prev
Kevin Reid: subcategorized, no longer needs to be in ELib cat directly
2011-07-26T18:30:09Z
<p>subcategorized, no longer needs to be in ELib cat directly</p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 18:30, 26 July 2011</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 30:</td>
<td colspan="2" class="diff-lineno">Line 30:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Miranda messages]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Miranda messages]]</div></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">[[Category:ELib specification]]</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Pluribus]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Pluribus]]</div></td></tr>
<!-- diff generator: internal 2024-03-29 12:20:10 -->
</table>
Kevin Reid
http://wiki.erights.org/mediawiki/index.php?title=Miranda_whenMoreResolved&diff=3972&oldid=prev
Kevin Reid: uniform style for miranda pages
2011-07-26T18:26:58Z
<p>uniform style for miranda pages</p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 18:26, 26 July 2011</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline"><code></del>__whenMoreResolved/1<del class="diffchange diffchange-inline"></code> </del>is a Miranda message.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">'''</ins>__whenMoreResolved/1<ins class="diffchange diffchange-inline">''' </ins>is a <ins class="diffchange diffchange-inline">[[</ins>Miranda message<ins class="diffchange diffchange-inline">]]</ins>.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|__whenMoreResolved|1|<var>reactor</var> :[[OneArgFunc]]|[[void]]}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|__whenMoreResolved|1|<var>reactor</var> :[[OneArgFunc]]|[[void]]}}</div></td></tr>
<!-- diff generator: internal 2024-03-29 12:20:10 -->
</table>
Kevin Reid
http://wiki.erights.org/mediawiki/index.php?title=Miranda_whenMoreResolved&diff=3971&oldid=prev
Kevin Reid: +cat ELib spec
2009-08-21T16:56:34Z
<p>+cat ELib spec</p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 16:56, 21 August 2009</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 30:</td>
<td colspan="2" class="diff-lineno">Line 30:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Miranda messages]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Miranda messages]]</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[[Category:ELib specification]]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Pluribus]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Pluribus]]</div></td></tr>
<!-- diff generator: internal 2024-03-29 12:20:10 -->
</table>
Kevin Reid
http://wiki.erights.org/mediawiki/index.php?title=Miranda_whenMoreResolved&diff=3970&oldid=prev
Kevin Reid: timing
2009-06-10T16:02:04Z
<p>timing</p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 16:02, 10 June 2009</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 13:</td>
<td colspan="2" class="diff-lineno">Line 13:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> ? var r := null</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> ? var r := null</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> > def ret := 1 <- __whenMoreResolved(fn x { r := x + 1 })</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> > def ret := 1 <- __whenMoreResolved(fn x { r := x + 1 })</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> > interp.waitAtTop(ret)</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"> > ret</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: <Promise></div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: <Promise></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> </div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> </div></td></tr>
<!-- diff generator: internal 2024-03-29 12:20:11 -->
</table>
Kevin Reid
http://wiki.erights.org/mediawiki/index.php?title=Miranda_whenMoreResolved&diff=3969&oldid=prev
Kevin Reid at 15:51, 10 June 2009
2009-06-10T15:51:42Z
<p></p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 15:51, 10 June 2009</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">'''</del>__whenMoreResolved/1<del class="diffchange diffchange-inline">''' </del>is a <del class="diffchange diffchange-inline">[[</del>Miranda message<del class="diffchange diffchange-inline">]]</del>.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline"><code></ins>__whenMoreResolved/1<ins class="diffchange diffchange-inline"></code> </ins>is a Miranda message.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|__whenMoreResolved|1|<var>reactor</var> :[[OneArgFunc]]|[[void]]}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{instance msgdoc|__whenMoreResolved|1|<var>reactor</var> :[[OneArgFunc]]|[[void]]}}</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">Notify </del>the <var>reactor</var> when the reference is resolved, or is <del class="diffchange diffchange-inline">importantly </del>''closer'' to being resolved<del class="diffchange diffchange-inline">; specifically </del>when <del class="diffchange diffchange-inline">it </del>has <del class="diffchange diffchange-inline">become the [[same]] as a reference into a different </del>vat <del class="diffchange diffchange-inline">(is a candidate for [[shortening]])</del>.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">The overall effect is to notify </ins>the <var>reactor</var> when the reference is resolved, or is ''closer'' to being resolved <ins class="diffchange diffchange-inline">— in particular, </ins>when <ins class="diffchange diffchange-inline">a resolution </ins>has <ins class="diffchange diffchange-inline">changed its target to another </ins>vat. <ins class="diffchange diffchange-inline">{{XXX|poor terminology}}</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">* </del>If the recipient is a [[near ref]], then the Miranda method should be:</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>If the recipient is a [[near ref]], then the Miranda method should be:</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> to __whenMoreResolved(reactor) {</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> to __whenMoreResolved(reactor) {</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> reactor &lt;- run(<var>recipient</var>)</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> reactor &lt;- run(<var>recipient</var>)</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> return null</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> return null</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> }</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> }</div></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">* If the recipient is a [[local promise]] then it should buffer and forward the message normally.</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">* If the recipient is a [[remote promise]] then {{XXX|Specify the CapTP-related behavior.}}</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">==Original Javadoc==</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">{{XXX|merge}}</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">Used to implement when-catch and the "[[Ref#whenResolved/2]]"; it should not</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">be called directly.</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">The Miranda behavior responds by doing 'reactor &lt;- run(self)'. If the</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">reference never becomes resolved, the reactor is not invoked.</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">In the cooperative (non-malicious) case, the reactor will not be invoked</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">more than once.</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">When sent on a reference, once the reference becomes resolved the</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">reactor will be invoked with the resolution. Should the reactor be</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">invoked with a non-broken reference, all earlier messages are guaranteed</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">to have been successfully delivered.</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">Should the reference become broken, or should breakage prevent the</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">reporting of fulfillment to the reactor, the reactor will be invoked</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">with a broken reference. The reactor may be invoked more than once. In</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">particular, if the reference becomes fulfilled and then broken, the</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">reactor may hear of either or both of these events.</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">See also: [[Ref#whenBroken/2]]</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">==Tests==</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> ? var r := null</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> ? var r := null</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> > def ret := 1 <- __whenMoreResolved(fn x { r := x + 1 })</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> > def ret := 1 <- __whenMoreResolved(fn x { r := x + 1 })</div></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"> > interp.waitAtTop(ret)</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"> > ret</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: <Promise></div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> # value: <Promise></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> </div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-lineno">Line 54:</td>
<td colspan="2" class="diff-lineno">Line 22:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{XXX|Above tests do not check for reactor&lt;-run rather than reactor.run}}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>{{XXX|Above tests do not check for reactor&lt;-run rather than reactor.run}}</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">If the recipient is a [[local promise]] then it should buffer and forward the message normally.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">If the recipient is a [[remote promise]] then {{XXX|Specify the CapTP-related behavior.}}</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Miranda messages]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Miranda messages]]</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Pluribus]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>[[Category:Pluribus]]</div></td></tr>
<!-- diff generator: internal 2024-03-29 12:20:11 -->
</table>
Kevin Reid