Diff
Not logged in

Differences From Artifact [a076bfb1003e4c62]:

To Artifact [bdbfe9ee7589f910]:


387 387 <dt><span class="decl"> 388 388 <span class="currsymbol">Layers</span> 389 389 <script>explorer.outline.addDecl('Layers');</script> 390 390 391 391 </span></dt> 392 392 <script>explorer.outline.writeEnabled = false;</script> 393 393 394 + <dd><p> 395 +この言語の唯一の特徴的な部分は、「レイヤ」機能です。 396 +</p> 397 + 398 +<script>explorer.outline.incSymbolLevel();</script> 399 +<dl> 400 +<script>explorer.outline.writeEnabled = true;</script> 401 +<dt><span class="decl"> 402 +<span class="currsymbol">Layers</span> 403 +<script>explorer.outline.addDecl('Layers');</script> 404 + 405 +</span></dt> 406 +<script>explorer.outline.writeEnabled = false;</script> 407 + 394 408 <dd><pre> 395 409 [Layers :: Overview] 396 410 397 411 Polemy's runtime environment has many "layer"s. 398 412 Usual execution run in the @value layer. 399 413 400 414 &gt;&gt; 1 + 2 ................................................................................ 537 551 /fst@value:3 538 552 /} 539 553 540 554 its corresponding arguments are evaluated in the layer and passed to it. 541 555 If you specify multiple layers, the argument expression is run multiple times. 542 556 If you do not specify any layer for a parameter, it works in the neutral layer. 543 557 </pre> 558 +</dd> 559 +</dl> 560 +<script>explorer.outline.decSymbolLevel();</script> 561 + 562 + 544 563 </dd> 545 564 546 565 547 566 548 567 <script>explorer.outline.writeEnabled = true;</script> 549 568 <dt><span class="decl"> 550 569 <span class="currsymbol">Macro Layers</span> ................................................................................ 933 952 <script>explorer.outline.decSymbolLevel();</script> 934 953 935 954 936 955 </td></tr> 937 956 <tr><td id="docfooter"> 938 957 Page was generated with 939 958 <img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px"> 940 - on Sat Nov 27 01:54:49 2010 959 + on Sat Nov 27 20:49:57 2010 941 960 942 961 </td></tr> 943 962 </table> 944 963 </div> 945 964 <script> 946 965 explorer.packageExplorer.addModule("index"); 947 966 explorer.packageExplorer.addModule("main");