Skip to content

Commit fcf169d

Browse files
author
cpprefjp-autoupdate
committed
update automatically
1 parent 89c2dfd commit fcf169d

3 files changed

Lines changed: 36 additions & 150 deletions

File tree

reference/execution/execution/transform_sender.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -201,8 +201,8 @@
201201
<p class="text-right"><small>
202202
最終更新日時:
203203
<time itemprop="datePublished" class="js-local-time"
204-
datetime="2026-06-12T16:31:19+09:00">
205-
2026年06月12日 16時31分19秒 (JST)
204+
datetime="2026-07-29T23:56:11+09:00">
205+
2026年07月29日 23時56分11秒 (JST)
206206
</time>
207207
<br/>
208208
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -262,8 +262,8 @@ <h2>概要</h2>
262262
<p>下記手順によってSender変換が行われる。</p>
263263
<ul>
264264
<li>Receiverの環境<code>evn</code><a href="get_domain.html">開始ドメイン</a>を、Sender<code>sndr</code><a href="get_completion_domain.html">完了ドメイン</a>をそれぞれ問い合わせる。</li>
265-
<li>開始ドメインの上で、恒等変化となるまで(Sender型が変化しなくなるまで)再起的にSender変換を適用する</li>
266-
<li>完了ドメインの上で再起的にSender変換を適用する。同過程でSender型が変化したときは完了ドメインを再度問い合わせる。</li>
265+
<li>開始ドメインの上で、恒等変化となるまで(Sender型が変化しなくなるまで)再帰的にSender変換を適用する</li>
266+
<li>完了ドメインの上で再帰的にSender変換を適用する。同過程でSender型が変化したときは完了ドメインを再度問い合わせる。</li>
267267
</ul>
268268
<h2><a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a></h2>
269269
<p><code>s</code>に対して、<code>start-domain</code><code>D()</code>とする。ここで<code>D</code><a class="cpprefjp-defined-word" data-desc="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと" href="../../../implementation-compliance.html#dfn-well-formed">適格</a>であるならば式<code><a href="get_domain.html">get_domain</a>(env)</code>のdecay型、そうでなければ<code><a href="default_domain.html">default_domain</a></code>とする。</p>

0 commit comments

Comments
 (0)