0000: 0d 0a 3c 68 74 6d 6c 3e 3c 68 65 61 64 3e 0d 0a ..<html><head>..
0010: 3c 6d 65 74 61 20 68 74 74 70 2d 65 71 75 69 76 <meta http-equiv
0020: 3d 22 63 6f 6e 74 65 6e 74 2d 74 79 70 65 22 20 ="content-type"
0030: 63 6f 6e 74 65 6e 74 3d 22 74 65 78 74 2f 68 74 content="text/ht
0040: 6d 6c 3b 20 63 68 61 72 73 65 74 3d 75 74 66 2d ml; charset=utf-
0050: 38 22 3e 0d 0a 3c 6d 65 74 61 20 63 6f 6e 74 65 8">..<meta conte
0060: 6e 74 3d 22 74 65 78 74 2f 6a 61 76 61 73 63 72 nt="text/javascr
0070: 69 70 74 22 20 68 74 74 70 2d 65 71 75 69 76 3d ipt" http-equiv=
0080: 22 63 6f 6e 74 65 6e 74 2d 73 63 72 69 70 74 2d "content-script-
0090: 74 79 70 65 22 3e 0d 0a 3c 74 69 74 6c 65 3e 50 type">..<title>P
00a0: 6f 6c 65 6d 79 20 52 65 66 65 72 65 6e 63 65 20 olemy Reference
00b0: 4d 61 6e 75 61 6c 3c 2f 74 69 74 6c 65 3e 0d 0a Manual</title>..
00c0: 3c 6c 69 6e 6b 20 72 65 6c 3d 22 73 74 79 6c 65 <link rel="style
00d0: 73 68 65 65 74 22 20 74 79 70 65 3d 22 74 65 78 sheet" type="tex
00e0: 74 2f 63 73 73 22 20 68 72 65 66 3d 22 63 61 6e t/css" href="can
00f0: 64 79 64 6f 63 2f 73 74 79 6c 65 2e 63 73 73 22 dydoc/style.css"
0100: 3e 0d 0a 3c 21 2d 2d 5b 69 66 20 6c 74 20 49 45 >..<!--[if lt IE
0110: 20 37 5d 3e 3c 6c 69 6e 6b 20 72 65 6c 3d 22 73 7]><link rel="s
0120: 74 79 6c 65 73 68 65 65 74 22 20 74 79 70 65 3d tylesheet" type=
0130: 22 74 65 78 74 2f 63 73 73 22 20 68 72 65 66 3d "text/css" href=
0140: 22 63 61 6e 64 79 64 6f 63 2f 69 65 35 36 68 61 "candydoc/ie56ha
0150: 63 6b 2e 63 73 73 22 3e 3c 21 5b 65 6e 64 69 66 ck.css"><![endif
0160: 5d 2d 2d 3e 0d 0a 3c 73 63 72 69 70 74 20 6c 61 ]-->..<script la
0170: 6e 67 75 61 67 65 3d 22 4a 61 76 61 53 63 72 69 nguage="JavaScri
0180: 70 74 22 20 73 72 63 3d 22 63 61 6e 64 79 64 6f pt" src="candydo
0190: 63 2f 75 74 69 6c 2e 6a 73 22 20 74 79 70 65 3d c/util.js" type=
01a0: 22 74 65 78 74 2f 6a 61 76 61 73 63 72 69 70 74 "text/javascript
01b0: 22 3e 3c 2f 73 63 72 69 70 74 3e 0d 0a 3c 73 63 "></script>..<sc
01c0: 72 69 70 74 20 6c 61 6e 67 75 61 67 65 3d 22 4a ript language="J
01d0: 61 76 61 53 63 72 69 70 74 22 20 73 72 63 3d 22 avaScript" src="
01e0: 63 61 6e 64 79 64 6f 63 2f 74 72 65 65 2e 6a 73 candydoc/tree.js
01f0: 22 20 74 79 70 65 3d 22 74 65 78 74 2f 6a 61 76 " type="text/jav
0200: 61 73 63 72 69 70 74 22 3e 3c 2f 73 63 72 69 70 ascript"></scrip
0210: 74 3e 0d 0a 3c 73 63 72 69 70 74 20 6c 61 6e 67 t>..<script lang
0220: 75 61 67 65 3d 22 4a 61 76 61 53 63 72 69 70 74 uage="JavaScript
0230: 22 20 73 72 63 3d 22 63 61 6e 64 79 64 6f 63 2f " src="candydoc/
0240: 65 78 70 6c 6f 72 65 72 2e 6a 73 22 20 74 79 70 explorer.js" typ
0250: 65 3d 22 74 65 78 74 2f 6a 61 76 61 73 63 72 69 e="text/javascri
0260: 70 74 22 3e 3c 2f 73 63 72 69 70 74 3e 0d 0a 3c pt"></script>..<
0270: 2f 68 65 61 64 3e 3c 62 6f 64 79 3e 0d 0a 3c 64 /head><body>..<d
0280: 69 76 20 69 64 3d 22 74 61 62 61 72 65 61 22 3e iv id="tabarea">
0290: 3c 2f 64 69 76 3e 3c 64 69 76 20 69 64 3d 22 65 </div><div id="e
02a0: 78 70 6c 6f 72 65 72 63 6c 69 65 6e 74 22 3e 3c xplorerclient"><
02b0: 2f 64 69 76 3e 0d 0a 3c 64 69 76 20 69 64 3d 22 /div>..<div id="
02c0: 63 6f 6e 74 65 6e 74 22 3e 3c 73 63 72 69 70 74 content"><script
02d0: 3e 65 78 70 6c 6f 72 65 72 2e 69 6e 69 74 69 61 >explorer.initia
02e0: 6c 69 7a 65 28 22 50 6f 6c 65 6d 79 20 52 65 66 lize("Polemy Ref
02f0: 65 72 65 6e 63 65 20 4d 61 6e 75 61 6c 22 29 3b erence Manual");
0300: 3c 2f 73 63 72 69 70 74 3e 0d 0a 09 3c 74 61 62 </script>...<tab
0310: 6c 65 20 63 6c 61 73 73 3d 22 63 6f 6e 74 65 6e le class="conten
0320: 74 22 3e 0d 0a 09 09 3c 74 72 3e 3c 74 64 20 69 t">....<tr><td i
0330: 64 3d 22 64 6f 63 62 6f 64 79 22 3e 3c 68 31 3e d="docbody"><h1>
0340: 50 6f 6c 65 6d 79 20 52 65 66 65 72 65 6e 63 65 Polemy Reference
0350: 20 4d 61 6e 75 61 6c 3c 2f 68 31 3e 3c 21 2d 2d Manual</h1><!--
0360: 20 47 65 6e 65 72 61 74 65 64 20 62 79 20 44 64 Generated by Dd
0370: 6f 63 20 66 72 6f 6d 20 69 6e 64 65 78 2e 64 64 oc from index.dd
0380: 20 2d 2d 3e 0d 0a 0d 0a 3c 62 3e 41 75 74 68 6f -->....<b>Autho
0390: 72 73 3a 3c 2f 62 3e 3c 62 72 3e 0d 0a 6b 2e 69 rs:</b><br>..k.i
03a0: 6e 61 62 61 3c 62 72 3e 3c 62 72 3e 0d 0a 3c 62 naba<br><br>..<b
03b0: 3e 4c 69 63 65 6e 73 65 3a 3c 2f 62 3e 3c 62 72 >License:</b><br
03c0: 3e 0d 0a 4e 59 53 4c 20 30 2e 39 39 38 32 20 28 >..NYSL 0.9982 (
03d0: 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f http://www.kmono
03e0: 73 2e 6e 65 74 2f 6e 79 73 6c 2f 29 3c 62 72 3e s.net/nysl/)<br>
03f0: 3c 62 72 3e 0d 0a 0d 0a 3c 70 3e 0d 0a e3 81 93 <br>....<p>.....
0400: e3 81 ae e3 83 95 e3 82 a1 e3 82 a4 e3 83 ab e3 ................
0410: 81 af e3 80 81 e8 a8 80 e8 aa 9e e4 bb 95 e6 a7 ................
0420: 98 e3 81 aa e3 81 a9 e3 81 ae e7 b0 a1 e5 8d 98 ................
0430: e3 81 aa e8 aa ac e6 98 8e e3 81 a7 e3 81 99 e3 ................
0440: 80 82 0d 0a 3c 2f 70 3e 0d 0a 3c 70 3e 0d 0a e3 ....</p>..<p>...
0450: 81 82 e3 81 a8 e3 81 a4 e3 81 84 e3 81 a7 e3 81 ................
0460: ab e3 80 81 e5 b7 a6 e3 81 ae e3 82 b5 e3 82 a4 ................
0470: e3 83 89 e3 83 90 e3 83 bc e3 81 ae 20 22 50 61 ............ "Pa
0480: 63 6b 61 67 65 22 20 e3 82 bf e3 83 96 e3 82 92 ckage" .........
0490: e3 82 af e3 83 aa e3 83 83 e3 82 af e3 81 99 e3 ................
04a0: 82 8b e3 81 a8 e5 ae 9f e8 a3 85 e3 81 ae e3 82 ................
04b0: bd e3 83 bc e3 82 b9 e3 81 ae e3 83 89 e3 82 ad ................
04c0: e3 83 a5 e3 83 a1 e3 83 b3 e3 83 88 e3 81 8c e8 ................
04d0: aa ad e3 82 81 e3 81 be e3 81 99 e3 80 82 0d 0a ................
04e0: 3c 2f 70 3e 0d 0a 0d 0a 0d 0a 3c 73 63 72 69 70 </p>......<scrip
04f0: 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c 69 t>explorer.outli
0500: 6e 65 2e 69 6e 63 53 79 6d 62 6f 6c 4c 65 76 65 ne.incSymbolLeve
0510: 6c 28 29 3b 3c 2f 73 63 72 69 70 74 3e 0d 0a 3c l();</script>..<
0520: 64 6c 3e 0d 0a 3c 73 63 72 69 70 74 3e 65 78 70 dl>..<script>exp
0530: 6c 6f 72 65 72 2e 6f 75 74 6c 69 6e 65 2e 77 72 lorer.outline.wr
0540: 69 74 65 45 6e 61 62 6c 65 64 20 3d 20 74 72 75 iteEnabled = tru
0550: 65 3b 3c 2f 73 63 72 69 70 74 3e 0d 0a 3c 64 74 e;</script>..<dt
0560: 3e 3c 73 70 61 6e 20 63 6c 61 73 73 3d 22 64 65 ><span class="de
0570: 63 6c 22 3e 0d 0a 3c 73 70 61 6e 20 63 6c 61 73 cl">..<span clas
0580: 73 3d 22 63 75 72 72 73 79 6d 62 6f 6c 22 3e 53 s="currsymbol">S
0590: 79 6e 74 61 78 3c 2f 73 70 61 6e 3e 0d 0a 3c 73 yntax</span>..<s
05a0: 63 72 69 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f cript>explorer.o
05b0: 75 74 6c 69 6e 65 2e 61 64 64 44 65 63 6c 28 27 utline.addDecl('
05c0: 53 79 6e 74 61 78 27 29 3b 3c 2f 73 63 72 69 70 Syntax');</scrip
05d0: 74 3e 0d 0a 0d 0a 3c 2f 73 70 61 6e 3e 3c 2f 64 t>....</span></d
05e0: 74 3e 0d 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c t>..<script>expl
05f0: 6f 72 65 72 2e 6f 75 74 6c 69 6e 65 2e 77 72 69 orer.outline.wri
0600: 74 65 45 6e 61 62 6c 65 64 20 3d 20 66 61 6c 73 teEnabled = fals
0610: 65 3b 3c 2f 73 63 72 69 70 74 3e 0d 0a 0d 0a 20 e;</script>....
0620: 3c 64 64 3e 3c 70 3e 0d 0a e6 96 87 e6 b3 95 e3 <dd><p>.........
0630: 81 ab e3 81 a4 e3 81 84 e3 81 a6 e3 80 82 0d 0a ................
0640: e5 ad 97 e5 8f a5 e8 a7 a3 e6 9e 90 e3 81 8c e3 ................
0650: 82 8f e3 82 8a e3 81 a8 e9 81 a9 e5 bd 93 e3 81 ................
0660: aa e3 81 ae e3 81 a7 e3 80 81 0d 0a e5 a4 89 e6 ................
0670: 95 b0 e5 ae a3 e8 a8 80 e3 81 ae e5 a4 89 e6 95 ................
0680: b0 e5 90 8d e3 81 ae e3 81 a8 e3 81 93 e3 82 8d ................
0690: e3 81 ab e3 80 81 e6 95 b0 e5 ad 97 e3 82 92 e5 ................
06a0: a4 89 e6 95 b0 e5 90 8d e3 81 a8 e3 81 97 e3 81 ................
06b0: a6 e4 bd bf e3 81 88 e3 81 a6 e5 8f 82 e7 85 a7 ................
06c0: e3 81 a7 e3 81 8d e3 81 aa e3 81 84 e5 a4 89 e6 ................
06d0: 95 b0 e3 81 8c e4 bd 9c e3 82 8c e3 81 9f e3 82 ................
06e0: 8a e3 80 81 0d 0a e4 ba 88 e7 b4 84 e8 aa 9e e3 ................
06f0: 81 af e4 ba 88 e7 b4 84 e8 aa 9e e3 81 a8 e3 81 ................
0700: 97 e3 81 a6 e8 a7 a3 e9 87 88 e3 81 95 e3 82 8c ................
0710: e5 be 97 e3 81 aa e3 81 84 e3 81 a8 e3 81 93 e3 ................
0720: 82 8d e3 81 a7 e3 81 af e6 99 ae e9 80 9a e3 81 ................
0730: ab e5 a4 89 e6 95 b0 e5 90 8d e3 81 a8 e3 81 97 ................
0740: e3 81 a6 e4 bd bf e3 81 88 e3 81 a1 e3 82 83 e3 ................
0750: 81 a3 e3 81 9f e3 82 8a e3 81 97 e3 81 a6 e3 80 ................
0760: 81 0d 0a e5 81 b6 e3 81 ab e3 81 a8 e3 82 93 e3 ................
0770: 81 a7 e3 82 82 e3 81 aa e3 81 84 e8 a6 8b e3 81 ................
0780: 8b e3 81 91 e3 81 ae e3 82 bd e3 83 bc e3 82 b9 ................
0790: e3 81 8c e6 a7 8b e6 96 87 e8 a7 a3 e6 9e 90 e9 ................
07a0: 80 9a e3 82 8a e3 81 be e3 81 99 e3 81 8c e3 80 ................
07b0: 81 e6 b0 97 e3 81 ab e3 81 97 e3 81 aa e3 81 84 ................
07c0: e3 81 a7 e9 81 a9 e5 bd 93 e3 81 ab e4 bd bf e3 ................
07d0: 81 a3 e3 81 a6 e4 b8 8b e3 81 95 e3 81 84 e3 80 ................
07e0: 82 0d 0a 3c 2f 70 3e 0d 0a 0d 0a 0d 0a 3c 73 63 ...</p>......<sc
07f0: 72 69 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 ript>explorer.ou
0800: 74 6c 69 6e 65 2e 69 6e 63 53 79 6d 62 6f 6c 4c tline.incSymbolL
0810: 65 76 65 6c 28 29 3b 3c 2f 73 63 72 69 70 74 3e evel();</script>
0820: 0d 0a 3c 64 6c 3e 0d 0a 3c 73 63 72 69 70 74 3e ..<dl>..<script>
0830: 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c 69 6e 65 explorer.outline
0840: 2e 77 72 69 74 65 45 6e 61 62 6c 65 64 20 3d 20 .writeEnabled =
0850: 74 72 75 65 3b 3c 2f 73 63 72 69 70 74 3e 0d 0a true;</script>..
0860: 3c 64 74 3e 3c 73 70 61 6e 20 63 6c 61 73 73 3d <dt><span class=
0870: 22 64 65 63 6c 22 3e 0d 0a 3c 73 70 61 6e 20 63 "decl">..<span c
0880: 6c 61 73 73 3d 22 63 75 72 72 73 79 6d 62 6f 6c lass="currsymbol
0890: 22 3e e6 96 87 e5 ad 97 e3 82 b3 e3 83 bc e3 83 ">..............
08a0: 89 3c 2f 73 70 61 6e 3e 0d 0a 3c 73 63 72 69 70 .</span>..<scrip
08b0: 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c 69 t>explorer.outli
08c0: 6e 65 2e 61 64 64 44 65 63 6c 28 27 e6 96 87 e5 ne.addDecl('....
08d0: ad 97 e3 82 b3 e3 83 bc e3 83 89 27 29 3b 3c 2f ...........');</
08e0: 73 63 72 69 70 74 3e 0d 0a 0d 0a 3c 2f 73 70 61 script>....</spa
08f0: 6e 3e 3c 2f 64 74 3e 0d 0a 3c 73 63 72 69 70 74 n></dt>..<script
0900: 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c 69 6e >explorer.outlin
0910: 65 2e 77 72 69 74 65 45 6e 61 62 6c 65 64 20 3d e.writeEnabled =
0920: 20 66 61 6c 73 65 3b 3c 2f 73 63 72 69 70 74 3e false;</script>
0930: 0d 0a 0d 0a 20 3c 64 64 3e 3c 70 3e 0d 0a 55 54 .... <dd><p>..UT
0940: 46 2d 38 20 e3 81 ae e3 81 bf e5 af be e5 bf 9c F-8 ............
0950: e3 81 a7 e3 81 99 e3 80 82 0d 0a 3c 2f 70 3e 0d ...........</p>.
0960: 0a 3c 2f 64 64 3e 0d 0a 0d 0a 0d 0a 3c 73 63 72 .</dd>......<scr
0970: 69 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 ipt>explorer.out
0980: 6c 69 6e 65 2e 77 72 69 74 65 45 6e 61 62 6c 65 line.writeEnable
0990: 64 20 3d 20 74 72 75 65 3b 3c 2f 73 63 72 69 70 d = true;</scrip
09a0: 74 3e 0d 0a 3c 64 74 3e 3c 73 70 61 6e 20 63 6c t>..<dt><span cl
09b0: 61 73 73 3d 22 64 65 63 6c 22 3e 0d 0a 3c 73 70 ass="decl">..<sp
09c0: 61 6e 20 63 6c 61 73 73 3d 22 63 75 72 72 73 79 an class="currsy
09d0: 6d 62 6f 6c 22 3e e3 82 b3 e3 83 a1 e3 83 b3 e3 mbol">..........
09e0: 83 88 3c 2f 73 70 61 6e 3e 0d 0a 3c 73 63 72 69 ..</span>..<scri
09f0: 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c pt>explorer.outl
0a00: 69 6e 65 2e 61 64 64 44 65 63 6c 28 27 e3 82 b3 ine.addDecl('...
0a10: e3 83 a1 e3 83 b3 e3 83 88 27 29 3b 3c 2f 73 63 .........');</sc
0a20: 72 69 70 74 3e 0d 0a 0d 0a 3c 2f 73 70 61 6e 3e ript>....</span>
0a30: 3c 2f 64 74 3e 0d 0a 3c 73 63 72 69 70 74 3e 65 </dt>..<script>e
0a40: 78 70 6c 6f 72 65 72 2e 6f 75 74 6c 69 6e 65 2e xplorer.outline.
0a50: 77 72 69 74 65 45 6e 61 62 6c 65 64 20 3d 20 66 writeEnabled = f
0a60: 61 6c 73 65 3b 3c 2f 73 63 72 69 70 74 3e 0d 0a alse;</script>..
0a70: 0d 0a 20 3c 64 64 3e 3c 70 3e 0d 0a e8 a1 8c e3 .. <dd><p>......
0a80: 82 b3 e3 83 a1 e3 83 b3 e3 83 88 e3 81 af 20 3c .............. <
0a90: 74 74 3e 23 3c 2f 74 74 3e 20 e3 81 8b e3 82 89 tt>#</tt> ......
0aa0: e6 94 b9 e8 a1 8c e3 81 be e3 81 a7 e3 81 a7 e3 ................
0ab0: 81 99 e3 80 82 0d 0a 3c 2f 70 3e 0d 0a 3c 70 3e .......</p>..<p>
0ac0: 0d 0a e3 83 96 e3 83 ad e3 83 83 e3 82 af e3 82 ................
0ad0: b3 e3 83 a1 e3 83 b3 e3 83 88 e3 81 af e3 81 82 ................
0ae0: e3 82 8a e3 81 be e3 81 9b e3 82 93 e3 80 82 0d ................
0af0: 0a 3c 2f 70 3e 0d 0a 3c 2f 64 64 3e 0d 0a 0d 0a .</p>..</dd>....
0b00: 0d 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 ..<script>explor
0b10: 65 72 2e 6f 75 74 6c 69 6e 65 2e 77 72 69 74 65 er.outline.write
0b20: 45 6e 61 62 6c 65 64 20 3d 20 74 72 75 65 3b 3c Enabled = true;<
0b30: 2f 73 63 72 69 70 74 3e 0d 0a 3c 64 74 3e 3c 73 /script>..<dt><s
0b40: 70 61 6e 20 63 6c 61 73 73 3d 22 64 65 63 6c 22 pan class="decl"
0b50: 3e 0d 0a 3c 73 70 61 6e 20 63 6c 61 73 73 3d 22 >..<span class="
0b60: 63 75 72 72 73 79 6d 62 6f 6c 22 3e 42 4e 46 3c currsymbol">BNF<
0b70: 2f 73 70 61 6e 3e 0d 0a 3c 73 63 72 69 70 74 3e /span>..<script>
0b80: 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c 69 6e 65 explorer.outline
0b90: 2e 61 64 64 44 65 63 6c 28 27 42 4e 46 27 29 3b .addDecl('BNF');
0ba0: 3c 2f 73 63 72 69 70 74 3e 0d 0a 0d 0a 3c 2f 73 </script>....</s
0bb0: 70 61 6e 3e 3c 2f 64 74 3e 0d 0a 3c 73 63 72 69 pan></dt>..<scri
0bc0: 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c pt>explorer.outl
0bd0: 69 6e 65 2e 77 72 69 74 65 45 6e 61 62 6c 65 64 ine.writeEnabled
0be0: 20 3d 20 66 61 6c 73 65 3b 3c 2f 73 63 72 69 70 = false;</scrip
0bf0: 74 3e 0d 0a 0d 0a 20 3c 64 64 3e 3c 70 72 65 3e t>.... <dd><pre>
0c00: 0d 0a 20 49 44 20 20 20 20 3a 3a 3d 20 e9 81 a9 .. ID ::= ...
0c10: e5 bd 93 e3 81 ab e8 ad 98 e5 88 a5 e5 ad 90 e3 ................
0c20: 81 a3 e3 81 bd e3 81 84 e6 96 87 e5 ad 97 e5 88 ................
0c30: 97 0d 0a 20 4c 41 59 45 52 20 3a 3a 3d 20 22 40 ... LAYER ::= "@
0c40: 22 20 49 44 0d 0a 0d 0a 20 45 20 3a 3a 3d 0d 0a " ID.... E ::=..
0c50: 20 20 20 3c 66 6f 6e 74 20 63 6f 6c 6f 72 3d 67 <font color=g
0c60: 72 65 65 6e 3e 23 20 e5 a4 89 e6 95 b0 e5 ae a3 reen># .........
0c70: e8 a8 80 3c 2f 66 6f 6e 74 3e 0d 0a 20 20 20 20 ...</font>..
0c80: 20 7c 20 28 22 76 61 72 22 7c 22 6c 65 74 22 7c | ("var"|"let"|
0c90: 22 64 65 66 22 7c 4c 41 59 45 52 29 20 49 44 20 "def"|LAYER) ID
0ca0: 22 3d 22 20 45 20 28 22 3b 22 7c 22 69 6e 22 29 "=" E (";"|"in")
0cb0: 20 45 0d 0a 20 20 20 20 20 7c 20 28 22 76 61 72 E.. | ("var
0cc0: 22 7c 22 6c 65 74 22 7c 22 64 65 66 22 7c 4c 41 "|"let"|"def"|LA
0cd0: 59 45 52 29 20 49 44 20 22 28 22 20 50 41 52 41 YER) ID "(" PARA
0ce0: 4d 53 20 22 29 22 20 22 7b 22 20 45 20 22 7d 22 MS ")" "{" E "}"
0cf0: 20 28 22 3b 22 7c 22 69 6e 22 29 20 45 0d 0a 20 (";"|"in") E..
0d00: 20 20 20 20 7c 20 28 22 76 61 72 22 7c 22 6c 65 | ("var"|"le
0d10: 74 22 7c 22 64 65 66 22 7c 4c 41 59 45 52 29 20 t"|"def"|LAYER)
0d20: 49 44 20 22 3d 22 20 45 0d 0a 20 20 20 20 20 7c ID "=" E.. |
0d30: 20 28 22 76 61 72 22 7c 22 6c 65 74 22 7c 22 64 ("var"|"let"|"d
0d40: 65 66 22 7c 4c 41 59 45 52 29 20 49 44 20 22 28 ef"|LAYER) ID "(
0d50: 22 20 50 41 52 41 4d 53 20 22 29 22 20 22 7b 22 " PARAMS ")" "{"
0d60: 20 45 20 22 7d 22 0d 0a 0d 0a 20 20 20 3c 66 6f E "}".... <fo
0d70: 6e 74 20 63 6f 6c 6f 72 3d 67 72 65 65 6e 3e 23 nt color=green>#
0d80: 20 e3 83 aa e3 83 86 e3 83 a9 e3 83 ab 3c 2f 66 ............</f
0d90: 6f 6e 74 3e 0d 0a 20 20 20 20 20 7c 20 49 4e 54 ont>.. | INT
0da0: 45 47 45 52 20 20 20 20 20 20 20 20 20 20 20 20 EGER
0db0: 20 20 20 20 20 20 20 20 20 20 20 20 3c 66 6f 6e <fon
0dc0: 74 20 63 6f 6c 6f 72 3d 67 72 65 65 6e 3e 23 20 t color=green>#
0dd0: e9 9d 9e e8 b2 a0 e6 95 b4 e6 95 b0 3c 2f 66 6f ............</fo
0de0: 6e 74 3e 0d 0a 20 20 20 20 20 7c 20 53 54 52 49 nt>.. | STRI
0df0: 4e 47 20 20 20 20 20 20 20 20 20 20 20 20 20 20 NG
0e00: 20 20 20 20 20 20 20 20 20 20 20 3c 66 6f 6e 74 <font
0e10: 20 63 6f 6c 6f 72 3d 67 72 65 65 6e 3e 23 20 22 color=green># "
0e20: 22 20 e3 81 a7 e3 81 8f e3 81 8f e3 81 a3 e3 81 " ..............
0e30: 9f e6 96 87 e5 ad 97 e5 88 97 e3 80 82 5c 22 20 .............\"
0e40: e3 81 a8 20 5c 5c 20 e3 81 af e4 bd bf e3 81 88 ... \\ .........
0e50: e3 82 8b 3c 2f 66 6f 6e 74 3e 0d 0a 20 20 20 20 ...</font>..
0e60: 20 7c 20 22 7b 22 20 45 4e 54 52 59 53 20 22 7d | "{" ENTRYS "}
0e70: 22 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 "
0e80: 20 20 3c 66 6f 6e 74 20 63 6f 6c 6f 72 3d 67 72 <font color=gr
0e90: 65 65 6e 3e 23 20 e3 83 86 e3 83 bc e3 83 96 e3 een># ..........
0ea0: 83 ab 3c 2f 66 6f 6e 74 3e 0d 0a 20 20 20 20 20 ..</font>..
0eb0: 7c 20 22 66 75 6e 22 20 22 28 22 20 50 41 52 41 | "fun" "(" PARA
0ec0: 4d 53 20 22 29 22 20 22 7b 22 20 45 20 22 7d 22 MS ")" "{" E "}"
0ed0: 20 3c 66 6f 6e 74 20 63 6f 6c 6f 72 3d 67 72 65 <font color=gre
0ee0: 65 6e 3e 23 20 e7 84 a1 e5 90 8d e9 96 a2 e6 95 en># ...........
0ef0: b0 3c 2f 66 6f 6e 74 3e 0d 0a 20 20 20 20 20 7c .</font>.. |
0f00: 20 20 22 ce bb 22 20 22 28 22 20 50 41 52 41 4d ".." "(" PARAM
0f10: 53 20 22 29 22 20 22 7b 22 20 45 20 22 7d 22 20 S ")" "{" E "}"
0f20: 3c 66 6f 6e 74 20 63 6f 6c 6f 72 3d 67 72 65 65 <font color=gree
0f30: 6e 3e 23 20 e7 84 a1 e5 90 8d e9 96 a2 e6 95 b0 n># ............
0f40: 3c 2f 66 6f 6e 74 3e 0d 0a 0d 0a 20 20 20 3c 66 </font>.... <f
0f50: 6f 6e 74 20 63 6f 6c 6f 72 3d 67 72 65 65 6e 3e ont color=green>
0f60: 23 20 e9 96 a2 e6 95 b0 e5 91 bc e3 81 b3 e5 87 # ..............
0f70: ba e3 81 97 3c 2f 66 6f 6e 74 3e 0d 0a 20 20 20 ....</font>..
0f80: 20 20 7c 20 45 20 22 28 22 20 41 52 47 53 22 29 | E "(" ARGS")
0f90: 22 0d 0a 0d 0a 20 20 20 20 20 20 20 20 20 77 68 ".... wh
0fa0: 65 72 65 20 20 20 20 41 52 47 53 20 3a 3a 3d 20 ere ARGS ::=
0fb0: 45 20 22 2c 22 20 2e 2e 2e 20 22 2c 22 20 45 0d E "," ... "," E.
0fc0: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
0fd0: 20 50 41 52 41 4d 53 20 3a 3a 3d 20 28 49 44 7c PARAMS ::= (ID|
0fe0: 4c 41 59 45 52 29 2b 20 22 2c 22 20 2e 2e 2e 20 LAYER)+ "," ...
0ff0: 22 2c 22 20 28 49 44 7c 4c 41 59 45 52 29 2b 0d "," (ID|LAYER)+.
1000: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
1010: 20 45 4e 54 52 59 53 20 3a 3a 3d 20 49 44 20 22 ENTRYS ::= ID "
1020: 3a 22 20 45 20 20 20 20 22 2c 22 20 2e 2e 2e 20 :" E "," ...
1030: 22 2c 22 20 49 44 20 22 3a 22 20 45 0d 0a 0d 0a "," ID ":" E....
1040: 20 20 20 3c 66 6f 6e 74 20 63 6f 6c 6f 72 3d 67 <font color=g
1050: 72 65 65 6e 3e 23 20 e6 bc 94 e7 ae 97 e5 ad 90 reen># .........
1060: e3 81 aa e3 81 a9 3c 2f 66 6f 6e 74 3e 0d 0a 20 ......</font>..
1070: 20 20 20 20 7c 20 22 28 22 20 45 20 22 29 22 20 | "(" E ")"
1080: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1090: 3c 66 6f 6e 74 20 63 6f 6c 6f 72 3d 67 72 65 65 <font color=gree
10a0: 6e 3e 23 20 e3 81 9f e3 81 a0 e3 81 ae e6 8b ac n># ............
10b0: e5 bc a7 3c 2f 66 6f 6e 74 3e 0d 0a 20 20 20 20 ...</font>..
10c0: 20 7c 20 45 20 42 49 4e 4f 50 20 45 20 20 20 20 | E BINOP E
10d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 3c 66 6f <fo
10e0: 6e 74 20 63 6f 6c 6f 72 3d 67 72 65 65 6e 3e 23 nt color=green>#
10f0: 20 e4 ba 8c e9 a0 85 e6 bc 94 e7 ae 97 e5 ad 90 ...............
1100: e3 81 84 e3 82 8d e3 81 84 e3 82 8d 3c 2f 66 6f ............</fo
1110: 6e 74 3e 0d 0a 20 20 20 20 20 7c 20 45 20 22 2e nt>.. | E ".
1120: 22 20 20 49 44 20 20 20 20 20 20 20 20 20 20 20 " ID
1130: 20 20 20 20 20 20 3c 66 6f 6e 74 20 63 6f 6c 6f <font colo
1140: 72 3d 67 72 65 65 6e 3e 23 20 e3 83 86 e3 83 bc r=green># ......
1150: e3 83 96 e3 83 ab e3 81 ae e3 83 95 e3 82 a3 e3 ................
1160: 83 bc e3 83 ab e3 83 89 e3 82 a2 e3 82 af e3 82 ................
1170: bb e3 82 b9 3c 2f 66 6f 6e 74 3e 0d 0a 20 20 20 ....</font>..
1180: 20 20 7c 20 45 20 22 2e 3f 22 20 49 44 20 20 20 | E ".?" ID
1190: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 3c 66 <f
11a0: 6f 6e 74 20 63 6f 6c 6f 72 3d 67 72 65 65 6e 3e ont color=green>
11b0: 23 20 e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3 81 # ..............
11c0: ab e3 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89 ................
11d0: e3 81 8c e3 81 82 e3 82 8b e3 81 8b e5 90 a6 e3 ................
11e0: 81 8b 3c 2f 66 6f 6e 74 3e 0d 0a 20 20 20 20 20 ..</font>..
11f0: 7c 20 45 20 22 7b 22 20 45 4e 54 52 59 53 20 22 | E "{" ENTRYS "
1200: 7d 22 20 20 20 20 20 20 20 20 20 20 3c 66 6f 6e }" <fon
1210: 74 20 63 6f 6c 6f 72 3d 67 72 65 65 6e 3e 23 20 t color=green>#
1220: e3 83 86 e3 83 bc e3 83 96 e3 83 ab e6 8b a1 e5 ................
1230: bc b5 3c 2f 66 6f 6e 74 3e 0d 0a 20 20 20 20 20 ..</font>..
1240: 7c 20 22 69 66 22 20 45 20 28 22 74 68 65 6e 22 | "if" E ("then"
1250: 7c 22 3a 22 7c 22 74 68 65 6e 22 20 22 3a 22 29 |":"|"then" ":")
1260: 20 45 0d 0a 20 20 20 20 20 7c 20 22 69 66 22 20 E.. | "if"
1270: 45 20 28 22 74 68 65 6e 22 7c 22 3a 22 7c 22 74 E ("then"|":"|"t
1280: 68 65 6e 22 20 22 3a 22 29 20 45 20 22 65 6c 73 hen" ":") E "els
1290: 65 22 20 22 3a 22 3f 20 45 0d 0a 0d 0a 20 20 20 e" ":"? E....
12a0: 3c 66 6f 6e 74 20 63 6f 6c 6f 72 3d 67 72 65 65 <font color=gree
12b0: 6e 3e 23 20 e3 83 91 e3 82 bf e3 83 bc e3 83 b3 n># ............
12c0: e3 83 9e e3 83 83 e3 83 81 3c 2f 66 6f 6e 74 3e .........</font>
12d0: 0d 0a 20 20 20 20 20 7c 20 22 63 61 73 65 22 20 .. | "case"
12e0: 45 20 28 22 77 68 65 6e 22 20 50 41 54 54 45 52 E ("when" PATTER
12f0: 4e 20 22 3a 22 20 45 20 29 2a 20 0d 0a 0d 0a 20 N ":" E )* ....
1300: 20 20 20 20 20 20 20 20 77 68 65 72 65 20 50 41 where PA
1310: 54 54 45 52 4e 20 3a 3a 3d 20 e5 bc 8f e3 81 8c TTERN ::= ......
1320: e3 81 a0 e3 81 84 e3 81 9f e3 81 84 e3 81 aa e3 ................
1330: 82 93 e3 81 a7 e3 82 82 e6 9b b8 e3 81 91 e3 82 ................
1340: 8b e6 b0 97 e3 81 8c e3 81 99 e3 82 8b 0d 0a 0d ................
1350: 0a 20 20 20 3c 66 6f 6e 74 20 63 6f 6c 6f 72 3d . <font color=
1360: 67 72 65 65 6e 3e 23 20 e3 83 ac e3 82 a4 e3 83 green># ........
1370: a4 e6 8c 87 e5 ae 9a e5 ae 9f e8 a1 8c 3c 2f 66 .............</f
1380: 6f 6e 74 3e 0d 0a 20 20 20 20 20 7c 20 4c 41 59 ont>.. | LAY
1390: 45 52 20 22 28 22 20 45 20 22 29 22 0d 0a 3c 2f ER "(" E ")"..</
13a0: 70 72 65 3e 0d 0a 3c 2f 64 64 3e 0d 0a 0d 0a 0d pre>..</dd>.....
13b0: 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 65 .<script>explore
13c0: 72 2e 6f 75 74 6c 69 6e 65 2e 77 72 69 74 65 45 r.outline.writeE
13d0: 6e 61 62 6c 65 64 20 3d 20 74 72 75 65 3b 3c 2f nabled = true;</
13e0: 73 63 72 69 70 74 3e 0d 0a 3c 64 74 3e 3c 73 70 script>..<dt><sp
13f0: 61 6e 20 63 6c 61 73 73 3d 22 64 65 63 6c 22 3e an class="decl">
1400: 0d 0a 3c 73 70 61 6e 20 63 6c 61 73 73 3d 22 63 ..<span class="c
1410: 75 72 72 73 79 6d 62 6f 6c 22 3e e7 b3 96 e8 a1 urrsymbol">.....
1420: a3 e6 a7 8b e6 96 87 3c 2f 73 70 61 6e 3e 0d 0a .......</span>..
1430: 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 65 72 <script>explorer
1440: 2e 6f 75 74 6c 69 6e 65 2e 61 64 64 44 65 63 6c .outline.addDecl
1450: 28 27 e7 b3 96 e8 a1 a3 e6 a7 8b e6 96 87 27 29 ('............')
1460: 3b 3c 2f 73 63 72 69 70 74 3e 0d 0a 0d 0a 3c 2f ;</script>....</
1470: 73 70 61 6e 3e 3c 2f 64 74 3e 0d 0a 3c 73 63 72 span></dt>..<scr
1480: 69 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 ipt>explorer.out
1490: 6c 69 6e 65 2e 77 72 69 74 65 45 6e 61 62 6c 65 line.writeEnable
14a0: 64 20 3d 20 66 61 6c 73 65 3b 3c 2f 73 63 72 69 d = false;</scri
14b0: 70 74 3e 0d 0a 0d 0a 20 3c 64 64 3e 3c 70 3e 0d pt>.... <dd><p>.
14c0: 0a e6 bc 94 e7 ae 97 e5 ad 90 e3 81 a8 e3 81 84 ................
14d0: e3 81 86 e3 82 82 e3 81 ae e3 81 af e3 81 82 e3 ................
14e0: 82 8a e3 81 be e3 81 9b e3 82 93 e3 80 82 e5 86 ................
14f0: 85 e9 83 a8 e7 9a 84 e3 81 ab e3 81 af e5 85 a8 ................
1500: e3 81 a6 e9 96 a2 e6 95 b0 e5 91 bc e3 81 b3 e5 ................
1510: 87 ba e3 81 97 e6 a7 8b e6 96 87 e3 81 ab e6 9b ................
1520: b8 e3 81 8d e6 8f 9b e3 81 88 e3 82 89 e3 82 8c ................
1530: e3 81 a6 e3 81 84 e3 81 be e3 81 99 e3 80 82 3c ...............<
1540: 74 74 3e 69 66 3c 2f 74 74 3e 20 e3 82 82 e3 81 tt>if</tt> .....
1550: a7 e3 81 99 e3 80 82 0d 0a 3c 62 72 2f 3e 0d 0a .........<br/>..
1560: e3 83 91 e3 82 bf e3 83 bc e3 83 b3 e3 83 9e e3 ................
1570: 83 83 e3 83 81 e3 82 82 e5 85 a8 e9 83 a8 20 3c .............. <
1580: 74 74 3e 69 66 3c 2f 74 74 3e 20 e3 81 a8 20 3c tt>if</tt> ... <
1590: 74 74 3e 3d 3d 3c 2f 74 74 3e 20 e3 81 a8 20 3c tt>==</tt> ... <
15a0: 74 74 3e 26 61 6d 70 3b 26 61 6d 70 3b 3c 2f 74 tt>&&</t
15b0: 74 3e 20 e3 81 a8 0d 0a 3c 74 74 3e 2e 3c 2f 74 t> .....<tt>.</t
15c0: 74 3e 20 e3 81 a8 20 3c 74 74 3e 2e 3f 3c 2f 74 t> ... <tt>.?</t
15d0: 74 3e 20 e3 82 92 e4 bd bf e3 81 a3 e3 81 9f e9 t> .............
15e0: 96 a2 e6 95 b0 e5 91 bc e3 81 b3 e5 87 ba e3 81 ................
15f0: 97 e5 bc 8f e3 81 ab e6 9b b8 e3 81 8d e6 8f 9b ................
1600: e3 81 88 e3 82 89 e3 82 8c e3 81 a6 e3 81 84 e3 ................
1610: 81 be e3 81 99 e3 81 8c e3 80 81 0d 0a e8 a6 8f ................
1620: e5 89 87 e3 81 ae e8 a9 b3 e7 b4 b0 e3 82 92 e8 ................
1630: aa ac e6 98 8e e3 81 99 e3 82 8b e3 81 ae e3 81 ................
1640: 8c e9 9d a2 e5 80 92 e3 81 aa e3 81 ae e3 81 a7 ................
1650: e9 81 a9 e5 bd 93 e3 81 ab e6 83 b3 e5 83 8f e3 ................
1660: 81 97 e3 81 a6 e4 b8 8b e3 81 95 e3 81 84 e3 80 ................
1670: 82 0d 0a e4 bb 96 e3 81 ae e6 9b b8 e3 81 8d e6 ................
1680: 8f 9b e3 81 88 e3 81 af e3 81 93 e3 82 93 e3 81 ................
1690: aa e6 84 9f e3 81 98 e3 81 a7 e3 81 99 e3 80 82 ................
16a0: 0d 0a 3c 2f 70 3e 0d 0a 3c 70 72 65 3e 0d 0a 20 ..</p>..<pre>..
16b0: 20 20 20 69 66 20 45 20 74 68 65 6e 20 45 20 20 if E then E
16c0: 20 20 20 20 20 20 20 e2 87 92 20 69 66 28 20 45 ... if( E
16d0: 2c 20 66 75 6e 28 29 7b 45 7d 2c 20 66 75 6e 28 , fun(){E}, fun(
16e0: 29 7b 7d 20 29 0d 0a 20 20 20 20 69 66 20 45 20 ){} ).. if E
16f0: 74 68 65 6e 20 45 20 65 6c 73 65 20 45 20 20 e2 then E else E .
1700: 87 92 20 69 66 28 20 45 2c 20 66 75 6e 28 29 7b .. if( E, fun(){
1710: 45 7d 2c 20 66 75 6e 28 29 7b 45 7d 20 29 0d 0a E}, fun(){E} )..
1720: 20 20 20 20 45 20 42 49 4e 4f 50 20 45 20 20 20 E BINOP E
1730: 20 20 20 20 20 20 20 20 e2 87 92 20 42 49 4e 4f ... BINO
1740: 50 28 45 2c 20 45 29 0d 0a 20 20 20 20 7b 20 45 P(E, E).. { E
1750: 4e 54 52 49 45 53 20 7d 20 20 20 20 20 20 20 20 NTRIES }
1760: 20 e2 87 92 20 7b 7d 7b 20 45 4e 54 52 49 45 53 ... {}{ ENTRIES
1770: 20 7d 0d 0a 20 20 20 20 7b 7d 20 20 20 20 20 20 }.. {}
1780: 20 20 20 20 20 20 20 20 20 20 20 20 e2 87 92 20 ...
1790: 7b 7d 28 29 0d 0a 20 20 20 20 45 20 7b 49 44 3a {}().. E {ID:
17a0: 45 2c 20 2e 2e 2e 7d 20 20 20 20 20 20 20 e2 87 E, ...} ..
17b0: 92 20 2e 3d 28 45 2c 20 49 44 2c 20 45 29 20 7b . .=(E, ID, E) {
17c0: 20 2e 2e 2e 20 7d 0d 0a 3c 2f 70 72 65 3e 0d 0a ... }..</pre>..
17d0: 3c 70 3e 0d 0a e5 a4 89 e6 95 b0 e5 ae a3 e8 a8 <p>.............
17e0: 80 e3 81 ab e8 89 b2 e3 80 85 e3 81 82 e3 82 8a ................
17f0: e3 81 be e3 81 99 e3 81 8c e3 80 81 3c 74 74 3e ............<tt>
1800: 6c 65 74 3c 2f 74 74 3e 20 e3 81 a8 20 3c 74 74 let</tt> ... <tt
1810: 3e 76 61 72 3c 2f 74 74 3e 20 e3 81 a8 20 3c 74 >var</tt> ... <t
1820: 74 3e 64 65 66 3c 2f 74 74 3e 20 e3 81 af e5 90 t>def</tt> .....
1830: 8c e3 81 98 e6 89 b1 e3 81 84 e3 81 a7 e3 80 81 ................
1840: 0d 0a 3c 74 74 3e 69 6e 3c 2f 74 74 3e 20 e3 81 ..<tt>in</tt> ..
1850: a8 20 3c 74 74 3e 3b 3c 2f 74 74 3e 20 e3 81 af . <tt>;</tt> ...
1860: e5 90 8c e3 81 98 e6 89 b1 e3 81 84 e3 81 a7 e3 ................
1870: 81 99 e3 80 82 e3 81 a4 e3 81 be e3 82 8a 0d 0a ................
1880: 3c 2f 70 3e 0d 0a 3c 70 72 65 3e 0d 0a 20 20 20 </p>..<pre>..
1890: 6c 65 74 20 78 20 3d 20 45 20 69 6e 20 45 0d 0a let x = E in E..
18a0: 20 20 20 76 61 72 20 78 20 3d 20 45 20 69 6e 20 var x = E in
18b0: 45 0d 0a 20 20 20 64 65 66 20 78 20 3d 20 45 20 E.. def x = E
18c0: 69 6e 20 45 0d 0a 20 20 20 6c 65 74 20 78 20 3d in E.. let x =
18d0: 20 45 20 3b 20 45 0d 0a 20 20 20 76 61 72 20 78 E ; E.. var x
18e0: 20 3d 20 45 20 3b 20 45 0d 0a 20 20 20 64 65 66 = E ; E.. def
18f0: 20 78 20 3d 20 45 20 3b 20 45 0d 0a 3c 2f 70 72 x = E ; E..</pr
1900: 65 3e 0d 0a 3c 70 3e 0d 0a e4 bb a5 e4 b8 8a e3 e>..<p>.........
1910: 81 ae e3 81 a9 e3 82 8c e3 82 82 e5 90 8c e3 81 ................
1920: 98 e6 84 8f e5 91 b3 e3 81 aa e3 81 ae e3 81 a7 ................
1930: e3 80 81 e3 81 aa e3 82 93 e3 81 a8 e3 81 aa e3 ................
1940: 81 8f e9 96 a2 e6 95 b0 e5 9e 8b e3 81 a3 e3 81 ................
1950: bd e3 81 8f e6 9b b8 e3 81 8d e3 81 9f e3 81 84 ................
1960: e6 b0 97 e5 88 86 e3 81 ae e6 97 a5 e3 81 af 20 ...............
1970: 3c 74 74 3e 6c 65 74 20 69 6e 3c 2f 74 74 3e 20 <tt>let in</tt>
1980: e3 82 92 e3 80 81 0d 0a e6 89 8b e7 b6 9a e3 81 ................
1990: 8d e5 9e 8b e3 81 a3 e3 81 bd e3 81 8f e6 9b b8 ................
19a0: e3 81 8d e3 81 9f e3 81 84 e6 b0 97 e5 88 86 e3 ................
19b0: 81 ae e6 97 a5 e3 81 af 20 3c 74 74 3e 76 61 72 ........ <tt>var
19c0: 20 3b 3c 2f 74 74 3e 20 e3 82 92 e4 bd bf e3 81 ;</tt> ........
19d0: 86 e3 81 a8 e3 82 88 e3 81 84 e3 81 a8 e6 80 9d ................
19e0: e3 81 84 e3 81 be e3 81 99 e3 80 82 0d 0a 3c 74 ..............<t
19f0: 74 3e 69 66 20 74 68 65 6e 20 65 6c 73 65 3c 2f t>if then else</
1a00: 74 74 3e 20 e3 82 82 e5 be ae e5 a6 99 e3 81 ab tt> ............
1a10: e3 82 b3 e3 83 ad e3 83 b3 e3 81 8c e3 81 82 e3 ................
1a20: 81 a3 e3 81 9f e3 82 8a e3 81 aa e3 81 8b e3 81 ................
1a30: a3 e3 81 9f e3 82 8a e3 83 90 e3 83 aa e3 82 a8 ................
1a40: e3 83 bc e3 82 b7 e3 83 a7 e3 83 b3 e3 81 8c e3 ................
1a50: 81 82 e3 82 8a e3 81 be e3 81 99 e3 81 8c e5 a5 ................
1a60: bd e3 81 bf e3 81 a7 e4 bd bf e3 81 84 e3 81 be ................
1a70: e3 81 99 e3 80 82 0d 0a 3c 2f 70 3e 0d 0a 3c 70 ........</p>..<p
1a80: 3e 0d 0a e9 96 a2 e6 95 b0 e3 82 92 e5 ae a3 e8 >...............
1a90: a8 80 e3 81 99 e3 82 8b e3 81 a8 e3 81 8d e3 81 ................
1aa0: af e3 80 81 3c 74 74 3e 66 75 6e 3c 2f 74 74 3e ....<tt>fun</tt>
1ab0: 20 e3 82 84 20 3c 74 74 3e ce bb 3c 2f 74 74 3e ... <tt>..</tt>
1ac0: 20 e3 82 92 e7 9c 81 e7 95 a5 e3 81 a7 e3 81 8d ...............
1ad0: e3 81 be e3 81 99 e3 80 82 0d 0a e4 bb a5 e4 b8 ................
1ae0: 8b e3 81 ae e6 9b b8 e3 81 8d e6 8f 9b e3 81 88 ................
1af0: e3 81 8c e8 a1 8c e3 82 8f e3 82 8c e3 81 be e3 ................
1b00: 81 99 e3 80 82 0d 0a 3c 2f 70 3e 0d 0a 3c 70 72 .......</p>..<pr
1b10: 65 3e 0d 0a 20 20 20 64 65 66 20 66 28 20 41 52 e>.. def f( AR
1b20: 47 53 20 29 20 7b 20 45 20 7d 3b 20 45 20 20 20 GS ) { E }; E
1b30: e2 87 92 20 20 20 64 65 66 20 66 20 3d 20 66 75 ... def f = fu
1b40: 6e 28 41 52 47 53 29 7b 45 7d 3b 20 45 0d 0a 3c n(ARGS){E}; E..<
1b50: 2f 70 72 65 3e 0d 0a 3c 70 3e 0d 0a e4 bb 96 e3 /pre>..<p>......
1b60: 81 ab e3 80 81 e3 82 82 e3 81 a3 e3 81 a8 e6 89 ................
1b70: 8b e7 b6 9a e3 81 8d e5 9e 8b e3 81 a3 e3 81 bd ................
1b80: e3 81 8f e3 81 9f e3 82 81 e3 81 ae e6 9b b8 e3 ................
1b90: 81 8d e6 8f 9b e3 81 88 e8 89 b2 e3 80 85 0d 0a ................
1ba0: 3c 2f 70 3e 0d 0a 3c 70 72 65 3e 0d 0a 20 20 20 </p>..<pre>..
1bb0: 66 75 6e 20 28 29 20 7b 20 45 3b 20 45 3b 20 45 fun () { E; E; E
1bc0: 20 20 20 20 20 20 7d 20 20 20 e2 87 92 20 20 20 } ...
1bd0: 66 75 6e 20 28 29 20 7b 20 6c 65 74 20 5f 20 3d fun () { let _ =
1be0: 20 45 20 69 6e 20 6c 65 74 20 5f 20 3d 20 45 20 E in let _ = E
1bf0: 69 6e 20 45 20 7d 0d 0a 20 20 20 66 75 6e 20 28 in E }.. fun (
1c00: 29 20 7b 20 76 61 72 20 78 20 3d 20 31 30 30 20 ) { var x = 100
1c10: 20 7d 20 20 20 e2 87 92 20 20 20 66 75 6e 20 28 } ... fun (
1c20: 29 20 7b 20 76 61 72 20 78 20 3d 20 31 30 30 3b ) { var x = 100;
1c30: 20 78 20 7d 0d 0a 20 20 20 66 75 6e 20 28 29 20 x }.. fun ()
1c40: 7b 20 76 61 72 20 78 20 3d 20 31 30 30 3b 20 7d { var x = 100; }
1c50: 20 20 20 e2 87 92 20 20 20 66 75 6e 20 28 29 20 ... fun ()
1c60: 7b 20 76 61 72 20 78 20 3d 20 31 30 30 3b 20 78 { var x = 100; x
1c70: 20 7d 0d 0a 20 20 20 66 75 6e 20 28 29 20 7b 20 }.. fun () {
1c80: 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 }
1c90: 20 e2 87 92 20 20 20 66 75 6e 20 28 29 20 7b 20 ... fun () {
1ca0: 22 28 65 6d 70 74 79 20 66 75 6e 63 74 69 6f 6e "(empty function
1cb0: 20 62 6f 64 79 29 22 20 7d 0d 0a 3c 2f 70 72 65 body)" }..</pre
1cc0: 3e 0d 0a 3c 70 3e 0d 0a e4 b8 ad e8 ba ab e3 81 >..<p>..........
1cd0: 8c e7 a9 ba e3 81 ae e9 96 a2 e6 95 b0 e3 81 ab ................
1ce0: e4 bd 95 e3 82 92 e8 bf 94 e3 81 95 e3 81 9b e3 ................
1cf0: 82 8b e3 81 8b e3 81 af e9 81 a9 e5 bd 93 e3 81 ................
1d00: a7 e3 81 99 e3 80 82 e4 bb 8a e3 81 af e3 81 a8 ................
1d10: e3 82 8a e3 81 82 e3 81 88 e3 81 9a e9 81 a9 e5 ................
1d20: bd 93 e3 81 ab e6 96 87 e5 ad 97 e5 88 97 e8 bf ................
1d30: 94 e3 81 97 e3 81 a6 e3 81 be e3 81 99 e3 80 82 ................
1d40: 0d 0a 3c 2f 70 3e 0d 0a 3c 2f 64 64 3e 0d 0a 0d ..</p>..</dd>...
1d50: 0a 0d 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f ...<script>explo
1d60: 72 65 72 2e 6f 75 74 6c 69 6e 65 2e 77 72 69 74 rer.outline.writ
1d70: 65 45 6e 61 62 6c 65 64 20 3d 20 74 72 75 65 3b eEnabled = true;
1d80: 3c 2f 73 63 72 69 70 74 3e 0d 0a 3c 64 74 3e 3c </script>..<dt><
1d90: 73 70 61 6e 20 63 6c 61 73 73 3d 22 64 65 63 6c span class="decl
1da0: 22 3e 0d 0a 3c 73 70 61 6e 20 63 6c 61 73 73 3d ">..<span class=
1db0: 22 63 75 72 72 73 79 6d 62 6f 6c 22 3e e5 a4 89 "currsymbol">...
1dc0: e6 95 b0 e3 81 ae e3 82 b9 e3 82 b3 e3 83 bc e3 ................
1dd0: 83 97 e8 a6 8f e5 89 87 3c 2f 73 70 61 6e 3e 0d ........</span>.
1de0: 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 65 .<script>explore
1df0: 72 2e 6f 75 74 6c 69 6e 65 2e 61 64 64 44 65 63 r.outline.addDec
1e00: 6c 28 27 e5 a4 89 e6 95 b0 e3 81 ae e3 82 b9 e3 l('.............
1e10: 82 b3 e3 83 bc e3 83 97 e8 a6 8f e5 89 87 27 29 ..............')
1e20: 3b 3c 2f 73 63 72 69 70 74 3e 0d 0a 0d 0a 3c 2f ;</script>....</
1e30: 73 70 61 6e 3e 3c 2f 64 74 3e 0d 0a 3c 73 63 72 span></dt>..<scr
1e40: 69 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 ipt>explorer.out
1e50: 6c 69 6e 65 2e 77 72 69 74 65 45 6e 61 62 6c 65 line.writeEnable
1e60: 64 20 3d 20 66 61 6c 73 65 3b 3c 2f 73 63 72 69 d = false;</scri
1e70: 70 74 3e 0d 0a 0d 0a 20 3c 64 64 3e 3c 70 3e 0d pt>.... <dd><p>.
1e80: 0a e5 9f ba e6 9c ac e7 9a 84 e3 81 ab e3 81 af ................
1e90: e3 80 81 6c 65 74 20 e3 81 ab e3 82 88 e3 81 a3 ...let .........
1ea0: e3 81 a6 e5 b8 b8 e8 ad 98 e7 9a 84 e3 81 aa e6 ................
1eb0: 84 9f e3 81 98 e3 81 ab e5 a4 89 e6 95 b0 e3 81 ................
1ec0: ae e3 82 b9 e3 82 b3 e3 83 bc e3 83 97 e3 81 8c ................
1ed0: e3 83 8d e3 82 b9 e3 83 88 e3 81 97 e3 81 be e3 ................
1ee0: 81 99 e3 80 82 0d 0a 3c 2f 70 3e 0d 0a 3c 70 72 .......</p>..<pr
1ef0: 65 3e 0d 0a 20 20 20 6c 65 74 20 78 3d 32 31 20 e>.. let x=21
1f00: 69 6e 20 6c 65 74 20 78 3d 78 2b 78 20 69 6e 20 in let x=x+x in
1f10: 78 20 20 20 20 3c 66 6f 6e 74 20 63 6f 6c 6f 72 x <font color
1f20: 3d 67 72 65 65 6e 3e 23 20 34 32 3c 2f 66 6f 6e =green># 42</fon
1f30: 74 3e 0d 0a 3c 2f 70 72 65 3e 0d 0a 3c 70 3e 0d t>..</pre>..<p>.
1f40: 0a e4 b8 80 e6 96 b9 e3 81 a7 e3 80 81 22 6c 65 ............."le
1f50: 74 20 72 65 63 22 20 e3 81 ae e3 82 88 e3 81 86 t rec" .........
1f60: e3 81 aa e7 89 b9 e5 88 a5 e3 81 aa e6 a7 8b e6 ................
1f70: 96 87 e3 81 af e3 81 82 e3 82 8a e3 81 be e3 81 ................
1f80: 9b e3 82 93 e3 81 8c e3 80 81 0d 0a 3c 2f 70 3e ............</p>
1f90: 0d 0a 3c 70 72 65 3e 0d 0a 20 20 20 6c 65 74 20 ..<pre>.. let
1fa0: 66 20 3d 20 66 75 6e 28 78 29 20 7b 20 69 66 20 f = fun(x) { if
1fb0: 78 3d 3d 30 20 74 68 65 6e 20 31 20 65 6c 73 65 x==0 then 1 else
1fc0: 20 78 2a 66 28 78 2d 31 29 20 7d 20 69 6e 20 66 x*f(x-1) } in f
1fd0: 28 31 30 29 20 20 3c 66 6f 6e 74 20 63 6f 6c 6f (10) <font colo
1fe0: 72 3d 67 72 65 65 6e 3e 23 20 33 36 32 38 38 30 r=green># 362880
1ff0: 30 3c 2f 66 6f 6e 74 3e 0d 0a 3c 2f 70 72 65 3e 0</font>..</pre>
2000: 0d 0a 3c 70 3e 0d 0a e5 86 8d e5 b8 b0 e7 9a 84 ..<p>...........
2010: e3 81 aa e9 96 a2 e6 95 b0 e5 ae 9a e7 be a9 e3 ................
2020: 81 aa e3 81 a9 e3 82 82 e3 80 81 e3 81 8a e3 81 ................
2030: 9d e3 82 89 e3 81 8f e6 84 8f e5 9b b3 e3 81 95 ................
2040: e3 82 8c e3 81 9f e3 81 a8 e3 81 8a e3 82 8a e3 ................
2050: 81 ab e5 8b 95 e3 81 8d e3 81 be e3 81 99 e3 80 ................
2060: 82 0d 0a e5 86 85 e9 83 a8 e3 81 ae e8 a9 b3 e7 ................
2070: b4 b0 e3 81 af e3 80 81 e8 ab b8 e8 88 ac e3 81 ................
2080: ae e4 ba 8b e6 83 85 e3 81 ab e3 82 88 e3 82 8a ................
2090: e3 80 81 0d 0a e3 83 9e e3 82 b8 e3 82 ab e3 83 ................
20a0: ab e3 81 a7 e7 a0 b4 e5 a3 8a e7 9a 84 e3 81 aa ................
20b0: e3 82 b9 e3 82 b3 e3 83 bc e3 83 97 e8 a6 8f e5 ................
20c0: 89 87 e3 81 ab e3 81 aa e3 81 a3 e3 81 a6 e3 81 ................
20d0: 84 e3 82 8b e3 81 ae e3 81 a7 e3 81 99 e3 81 8c ................
20e0: e3 80 81 0d 0a e5 90 8c e5 90 8d e3 81 ae e5 a4 ................
20f0: 89 e6 95 b0 e3 82 92 e6 bf 80 e3 81 97 e3 81 8f ................
2100: e9 87 8d e3 81 ad e3 81 a6 e4 bd bf e3 81 a3 e3 ................
2110: 81 9f e3 82 8a e3 81 97 e3 81 aa e3 81 91 e3 82 ................
2120: 8c e3 81 b0 e3 80 81 0d 0a e3 81 a0 e3 81 84 e3 ................
2130: 81 9f e3 81 84 e8 87 aa e7 84 b6 e3 81 aa e5 8b ................
2140: 95 e3 81 8d e3 82 92 e3 81 99 e3 82 8b e3 81 a8 ................
2150: e6 80 9d e3 81 84 e3 81 be e3 81 99 e3 80 81 e3 ................
2160: 81 9f e3 81 b6 e3 82 93 e3 80 81 e3 81 af e3 81 ................
2170: 84 e3 80 82 0d 0a 3c 2f 70 3e 0d 0a 3c 70 3e 0d ......</p>..<p>.
2180: 0a e3 81 b2 e3 81 a8 e3 81 a4 e3 81 a0 e3 81 91 ................
2190: e4 b8 8d e5 8f af e6 80 9d e8 ad b0 e3 81 aa e5 ................
21a0: 8b 95 e3 81 8d e3 82 92 e3 81 99 e3 82 8b e3 81 ................
21b0: ae e3 81 af e3 80 81 e4 bb a5 e4 b8 8b e3 81 ae ................
21c0: e3 82 b1 e3 83 bc e3 82 b9 e3 81 a7 e3 81 99 e3 ................
21d0: 80 82 0d 0a 3c 2f 70 3e 0d 0a 3c 70 72 65 3e 0d ....</p>..<pre>.
21e0: 0a 20 20 20 6c 65 74 20 78 20 3d 20 31 20 69 6e . let x = 1 in
21f0: 0d 0a 20 20 20 6c 65 74 20 66 20 3d 20 66 75 6e .. let f = fun
2200: 28 29 20 7b 78 7d 20 69 6e 0d 0a 20 20 20 6c 65 () {x} in.. le
2210: 74 20 78 20 3d 20 32 20 69 6e 0d 0a 20 20 20 20 t x = 2 in..
2220: 20 20 66 28 29 20 20 20 20 3c 66 6f 6e 74 20 63 f() <font c
2230: 6f 6c 6f 72 3d 67 72 65 65 6e 3e 23 20 32 21 21 olor=green># 2!!
2240: 3c 2f 66 6f 6e 74 3e 0d 0a 3c 2f 70 72 65 3e 0d </font>..</pre>.
2250: 0a 3c 70 3e 0d 0a 6c 65 74 2d 69 6e 20 e3 82 92 .<p>..let-in ...
2260: e7 b8 a6 e3 81 ab e3 83 81 e3 82 a7 e3 82 a4 e3 ................
2270: 83 b3 e3 81 97 e3 81 9f e3 81 a8 e3 81 8d e3 81 ................
2280: a0 e3 81 91 e3 80 81 e5 90 8c e5 90 8d e5 a4 89 ................
2290: e6 95 b0 e3 82 92 e7 a0 b4 e5 a3 8a e7 9a 84 e3 ................
22a0: 81 ab e4 b8 8a e6 9b b8 e3 81 8d e3 81 97 e3 81 ................
22b0: be e3 81 99 0d 0a ef bc 88 e5 86 8d e5 b8 b0 e9 ................
22c0: 96 a2 e6 95 b0 e3 81 ae e5 ae 9a e7 be a9 e3 81 ................
22d0: 8c 22 e3 81 86 e3 81 be e3 81 8f 22 e3 81 84 e3 ."........."....
22e0: 81 a3 e3 81 a6 e3 81 84 e3 82 8b e3 81 ae e3 81 ................
22f0: af e3 81 93 e3 81 ae e4 b8 8a e6 9b b8 e3 81 8d ................
2300: e3 81 ae e3 81 9f e3 82 81 e3 81 a7 e3 81 99 ef ................
2310: bc 89 e3 80 82 0d 0a e3 81 aa e3 82 93 e3 81 a7 ................
2320: e3 81 93 e3 82 93 e3 81 aa e3 81 93 e3 81 a8 e3 ................
2330: 81 ab e3 81 aa e3 81 a3 e3 81 a6 e3 81 84 e3 82 ................
2340: 8b e3 81 8b e3 81 a8 e3 81 84 e3 81 86 e3 81 a8 ................
2350: e3 80 81 0d 0a e5 be 8c e3 81 a7 e8 aa ac e6 98 ................
2360: 8e e3 81 99 e3 82 8b e3 80 8c e3 83 ac e3 82 a4 ................
2370: e3 83 a4 e3 80 8d e3 82 92 e4 bd bf e3 81 a3 e3 ................
2380: 81 9f e3 81 a8 e3 81 8d e3 81 ab 0d 0a 3c 74 74 .............<tt
2390: 3e 6c 65 74 20 66 6f 6f 20 3d 20 2e 2e 2e 20 69 >let foo = ... i
23a0: 6e 20 40 6c 61 79 20 66 6f 6f 20 3d 20 2e 2e 2e n @lay foo = ...
23b0: 20 69 6e 20 2e 2e 2e 3c 2f 74 74 3e 0d 0a e3 81 in ...</tt>....
23c0: a7 e4 bb 96 e3 83 ac e3 82 a4 e3 83 a4 e3 81 ab ................
23d0: e9 87 8d e3 81 ad e6 9b b8 e3 81 8d e3 81 99 e3 ................
23e0: 82 8b e3 81 9f e3 82 81 e3 81 a7 e3 81 82 e3 82 ................
23f0: 8a e3 81 be e3 81 99 e3 80 82 0d 0a 3c 2f 70 3e ............</p>
2400: 0d 0a 3c 2f 64 64 3e 0d 0a 3c 2f 64 6c 3e 0d 0a ..</dd>..</dl>..
2410: 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 65 72 <script>explorer
2420: 2e 6f 75 74 6c 69 6e 65 2e 64 65 63 53 79 6d 62 .outline.decSymb
2430: 6f 6c 4c 65 76 65 6c 28 29 3b 3c 2f 73 63 72 69 olLevel();</scri
2440: 70 74 3e 0d 0a 0d 0a 0d 0a 3c 2f 64 64 3e 0d 0a pt>......</dd>..
2450: 0d 0a 0d 0a 0d 0a 0d 0a 0d 0a 3c 73 63 72 69 70 ..........<scrip
2460: 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c 69 t>explorer.outli
2470: 6e 65 2e 77 72 69 74 65 45 6e 61 62 6c 65 64 20 ne.writeEnabled
2480: 3d 20 74 72 75 65 3b 3c 2f 73 63 72 69 70 74 3e = true;</script>
2490: 0d 0a 3c 64 74 3e 3c 73 70 61 6e 20 63 6c 61 73 ..<dt><span clas
24a0: 73 3d 22 64 65 63 6c 22 3e 0d 0a 3c 73 70 61 6e s="decl">..<span
24b0: 20 63 6c 61 73 73 3d 22 63 75 72 72 73 79 6d 62 class="currsymb
24c0: 6f 6c 22 3e 42 61 73 69 63 20 46 65 61 74 75 72 ol">Basic Featur
24d0: 65 73 3c 2f 73 70 61 6e 3e 0d 0a 3c 73 63 72 69 es</span>..<scri
24e0: 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c pt>explorer.outl
24f0: 69 6e 65 2e 61 64 64 44 65 63 6c 28 27 42 61 73 ine.addDecl('Bas
2500: 69 63 20 46 65 61 74 75 72 65 73 27 29 3b 3c 2f ic Features');</
2510: 73 63 72 69 70 74 3e 0d 0a 0d 0a 3c 2f 73 70 61 script>....</spa
2520: 6e 3e 3c 2f 64 74 3e 0d 0a 3c 73 63 72 69 70 74 n></dt>..<script
2530: 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c 69 6e >explorer.outlin
2540: 65 2e 77 72 69 74 65 45 6e 61 62 6c 65 64 20 3d e.writeEnabled =
2550: 20 66 61 6c 73 65 3b 3c 2f 73 63 72 69 70 74 3e false;</script>
2560: 0d 0a 0d 0a 20 3c 64 64 3e 3c 70 3e 0d 0a e7 89 .... <dd><p>....
2570: b9 e3 81 ab e7 89 b9 e5 be b4 e7 9a 84 e3 81 a7 ................
2580: e3 82 82 e3 81 aa e3 81 84 e9 83 a8 e5 88 86 e3 ................
2590: 82 92 e7 b0 a1 e5 8d 98 e3 81 ab e3 81 be e3 81 ................
25a0: a8 e3 82 81 e3 80 82 0d 0a 3c 2f 70 3e 0d 0a 3c .........</p>..<
25b0: 75 6c 3e 0d 0a 20 20 3c 6c 69 3e e9 9d 99 e7 9a ul>.. <li>.....
25c0: 84 e5 9e 8b e3 82 b7 e3 82 b9 e3 83 86 e3 83 a0 ................
25d0: e3 81 af e3 81 82 e3 82 8a e3 81 be e3 81 9b e3 ................
25e0: 82 93 e3 80 82 3c 2f 6c 69 3e 0d 0a 20 20 3c 6c .....</li>.. <l
25f0: 69 3e 22 e3 81 bb e3 81 bc 22 20 e7 b4 94 e7 b2 i>"......" .....
2600: 8b e9 96 a2 e6 95 b0 e5 9e 8b e8 a8 80 e8 aa 9e ................
2610: e3 81 a7 e3 81 99 e3 80 82 e5 a4 89 e6 95 b0 e3 ................
2620: 82 84 e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3 81 ................
2630: ae e3 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89 ................
2640: e3 81 ae e7 a0 b4 e5 a3 8a e7 9a 84 e3 81 aa e6 ................
2650: 9b b8 e3 81 8d e6 8f 9b e3 81 88 e3 81 af e3 81 ................
2660: a7 e3 81 8d e3 81 be e3 81 9b e3 82 93 e3 80 82 ................
2670: 3c 62 72 2f 3e 0d 0a 20 20 20 20 20 20 e3 81 9f <br/>.. ...
2680: e3 81 a0 e3 81 97 e3 80 81 e7 b5 84 e3 81 bf e8 ................
2690: be bc e3 81 bf e9 96 a2 e6 95 b0 ef bc 88 3c 74 ..............<t
26a0: 74 3e 70 72 69 6e 74 3c 2f 74 74 3e ef bc 89 e3 t>print</tt>....
26b0: 81 a8 e3 80 81 e5 a4 89 e6 95 b0 e3 81 ae e3 82 ................
26c0: b9 e3 82 b3 e3 83 bc e3 83 97 e8 a6 8f e5 89 87 ................
26d0: e3 81 ae e3 83 9e e3 82 b8 e3 82 ab e3 83 ab e3 ................
26e0: 81 aa e7 89 87 e9 9a 85 e3 81 ab e5 89 af e4 bd ................
26f0: 9c e7 94 a8 e3 81 8c e3 81 82 e3 82 8a e3 81 be ................
2700: e3 81 99 e3 80 82 3c 2f 6c 69 3e 0d 0a 3c 2f 75 ......</li>..</u
2710: 6c 3e 0d 0a 3c 70 3e 0d 0a e9 9d 99 e7 9a 84 e5 l>..<p>.........
2720: 9e 8b e3 82 b7 e3 82 b9 e3 83 86 e3 83 a0 e3 81 ................
2730: 8c e3 81 aa e3 81 84 e3 81 ae e3 81 af e6 84 8f ................
2740: e5 9b b3 e7 9a 84 e3 81 a7 e3 81 99 e3 81 8c e3 ................
2750: 80 81 e7 a0 b4 e5 a3 8a e7 9a 84 e4 bb a3 e5 85 ................
2760: a5 e3 81 8c e3 81 aa e3 81 84 e3 81 ae e3 81 af ................
2770: e3 80 81 e5 8d 98 e3 81 ab e5 ae 9f e8 a3 85 e3 ................
2780: 81 8c e3 82 81 e3 82 93 e3 81 a9 e3 81 8b e3 81 ................
2790: a3 e3 81 9f e3 81 a0 e3 81 91 e3 81 aa e3 81 ae ................
27a0: e3 81 a7 e3 80 81 0d 0a e4 bb 8a e5 be 8c e4 bd ................
27b0: 95 e3 81 8b e5 a2 97 e3 81 88 e3 82 8b e3 81 8b ................
27c0: e3 82 82 e3 81 97 e3 82 8c e3 81 be e3 81 9b e3 ................
27d0: 82 93 e3 80 82 e5 a2 97 e3 81 88 e3 81 aa e3 81 ................
27e0: 84 e3 81 8b e3 82 82 e3 81 97 e3 82 8c e3 81 be ................
27f0: e3 81 9b e3 82 93 e3 80 82 0d 0a 3c 2f 70 3e 0d ...........</p>.
2800: 0a 0d 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f ...<script>explo
2810: 72 65 72 2e 6f 75 74 6c 69 6e 65 2e 69 6e 63 53 rer.outline.incS
2820: 79 6d 62 6f 6c 4c 65 76 65 6c 28 29 3b 3c 2f 73 ymbolLevel();</s
2830: 63 72 69 70 74 3e 0d 0a 3c 64 6c 3e 0d 0a 3c 73 cript>..<dl>..<s
2840: 63 72 69 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f cript>explorer.o
2850: 75 74 6c 69 6e 65 2e 77 72 69 74 65 45 6e 61 62 utline.writeEnab
2860: 6c 65 64 20 3d 20 74 72 75 65 3b 3c 2f 73 63 72 led = true;</scr
2870: 69 70 74 3e 0d 0a 3c 64 74 3e 3c 73 70 61 6e 20 ipt>..<dt><span
2880: 63 6c 61 73 73 3d 22 64 65 63 6c 22 3e 0d 0a 3c class="decl">..<
2890: 73 70 61 6e 20 63 6c 61 73 73 3d 22 63 75 72 72 span class="curr
28a0: 73 79 6d 62 6f 6c 22 3e e3 83 87 e3 83 bc e3 82 symbol">........
28b0: bf e5 9e 8b 3c 2f 73 70 61 6e 3e 0d 0a 3c 73 63 ....</span>..<sc
28c0: 72 69 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 ript>explorer.ou
28d0: 74 6c 69 6e 65 2e 61 64 64 44 65 63 6c 28 27 e3 tline.addDecl('.
28e0: 83 87 e3 83 bc e3 82 bf e5 9e 8b 27 29 3b 3c 2f ...........');</
28f0: 73 63 72 69 70 74 3e 0d 0a 0d 0a 3c 2f 73 70 61 script>....</spa
2900: 6e 3e 3c 2f 64 74 3e 0d 0a 3c 73 63 72 69 70 74 n></dt>..<script
2910: 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c 69 6e >explorer.outlin
2920: 65 2e 77 72 69 74 65 45 6e 61 62 6c 65 64 20 3d e.writeEnabled =
2930: 20 66 61 6c 73 65 3b 3c 2f 73 63 72 69 70 74 3e false;</script>
2940: 0d 0a 0d 0a 20 3c 64 64 3e 3c 70 3e 0d 0a e4 bb .... <dd><p>....
2950: a5 e4 b8 8b e3 81 ae e3 83 87 e3 83 bc e3 82 bf ................
2960: e5 9e 8b e3 81 8c e3 81 82 e3 82 8a e3 81 be e3 ................
2970: 81 99 e3 80 82 0d 0a 3c 2f 70 3e 0d 0a 3c 75 6c .......</p>..<ul
2980: 3e 0d 0a 20 20 3c 6c 69 3e e6 95 b4 e6 95 b0 3a >.. <li>......:
2990: 20 20 20 20 20 3c 74 74 3e 30 3c 2f 74 74 3e 2c <tt>0</tt>,
29a0: 20 3c 74 74 3e 31 32 33 3c 2f 74 74 3e 2c 20 3c <tt>123</tt>, <
29b0: 74 74 3e 34 35 36 36 36 36 36 36 36 36 36 36 36 tt>4566666666666
29c0: 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 6666666666666666
29d0: 36 36 36 36 36 36 36 36 36 36 37 38 39 3c 2f 74 6666666666789</t
29e0: 74 3e 2c 20 2e 2e 2e 3c 2f 6c 69 3e 0d 0a 20 20 t>, ...</li>..
29f0: 3c 6c 69 3e e6 96 87 e5 ad 97 e5 88 97 3a 20 20 <li>.........:
2a00: 20 3c 74 74 3e 22 68 65 6c 6c 6f 2c 20 77 6f 72 <tt>"hello, wor
2a10: 6c 64 21 22 3c 2f 74 74 3e 2c 20 2e 2e 2e 3c 2f ld!"</tt>, ...</
2a20: 6c 69 3e 0d 0a 20 20 3c 6c 69 3e e9 96 a2 e6 95 li>.. <li>.....
2a30: b0 3a 20 20 20 20 20 3c 74 74 3e 66 75 6e 28 78 .: <tt>fun(x
2a40: 29 7b 78 2b 31 7d 3c 2f 74 74 3e 3c 2f 6c 69 3e ){x+1}</tt></li>
2a50: 0d 0a 20 20 3c 6c 69 3e e3 83 86 e3 83 bc e3 83 .. <li>........
2a60: 96 e3 83 ab 3a 20 3c 74 74 3e 7b 63 61 72 3a 20 ....: <tt>{car:
2a70: 31 2c 20 63 64 72 3a 20 7b 63 61 72 3a 20 32 2c 1, cdr: {car: 2,
2a80: 20 63 64 72 3a 20 7b 7d 7d 7d 3c 2f 74 74 3e 3c cdr: {}}}</tt><
2a90: 2f 6c 69 3e 0d 0a 20 20 3c 6c 69 3e e6 9c aa e5 /li>.. <li>....
2aa0: ae 9a e7 be a9 e5 80 a4 3a 20 28 75 6e 64 65 66 ........: (undef
2ab0: 69 6e 65 64 e3 80 82 e7 89 b9 e6 ae 8a e3 81 aa ined............
2ac0: e3 82 b1 e3 83 bc e3 82 b9 e3 81 a7 e4 bd 9c e3 ................
2ad0: 82 89 e3 82 8c e3 81 be e3 81 99 29 3c 2f 6c 69 ...........)</li
2ae0: 3e 0d 0a 3c 2f 75 6c 3e 0d 0a 3c 70 3e 0d 0a e9 >..</ul>..<p>...
2af0: 96 a2 e6 95 b0 e3 81 af e3 81 84 e3 82 8f e3 82 ................
2b00: 86 e3 82 8b e3 80 8c e3 82 af e3 83 ad e3 83 bc ................
2b10: e3 82 b8 e3 83 a3 e3 80 8d e3 81 a7 e3 81 99 e3 ................
2b20: 80 82 e9 9d 99 e7 9a 84 e3 82 b9 e3 82 b3 e3 83 ................
2b30: bc e3 83 97 e3 81 a7 e5 a4 96 e5 81 b4 e3 81 ae ................
2b40: e7 92 b0 e5 a2 83 e3 81 ab e3 82 a2 e3 82 af e3 ................
2b50: 82 bb e3 82 b9 e3 81 a7 e3 81 8d e3 81 be e3 81 ................
2b60: 99 e3 80 82 0d 0a e3 83 86 e3 83 bc e3 83 96 e3 ................
2b70: 83 ab e3 81 af e3 81 84 e3 82 8f e3 82 86 e3 82 ................
2b80: 8b e3 83 97 e3 83 ad e3 83 88 e3 82 bf e3 82 a4 ................
2b90: e3 83 97 e3 83 81 e3 82 a7 e3 83 bc e3 83 b3 e3 ................
2ba0: 82 92 e6 8c 81 e3 81 a3 e3 81 a6 e3 81 84 e3 81 ................
2bb0: a6 e3 80 81 0d 0a e8 87 aa e5 88 86 e3 81 ab e3 ................
2bc0: 81 aa e3 81 84 e3 83 95 e3 82 a3 e3 83 bc e3 83 ................
2bd0: ab e3 83 89 e3 81 ae e5 a0 b4 e5 90 88 e3 81 af ................
2be0: e8 a6 aa e3 81 ab e5 95 8f e3 81 84 e5 90 88 e3 ................
2bf0: 82 8f e3 81 9b e3 81 8c e8 a1 8c e3 81 8f e6 84 ................
2c00: 9f e3 81 98 e3 81 ab e3 81 aa e3 81 a3 e3 81 a6 ................
2c10: e3 81 84 e3 81 be e3 81 99 e3 81 8c e3 80 81 0d ................
2c20: 0a e3 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89 ................
2c30: e3 81 ae e6 9b b8 e3 81 8d e6 8f 9b e3 81 88 e3 ................
2c40: 81 8c e3 81 aa e3 81 84 e3 81 ae e3 81 a7 e3 80 ................
2c50: 81 e3 81 93 e3 82 8c e3 81 af e7 89 b9 e3 81 ab ................
2c60: e6 84 8f e5 91 b3 e3 81 aa e3 81 84 e3 81 8b e3 ................
2c70: 82 82 e3 81 97 e3 82 8c e3 81 aa e3 81 84 e2 80 ................
2c80: a6 e3 80 82 0d 0a 3c 2f 70 3e 0d 0a 3c 70 3e 0d ......</p>..<p>.
2c90: 0a e3 81 be e3 81 9f e3 80 81 e3 83 aa e3 82 b9 ................
2ca0: e3 83 88 e3 82 92 e6 89 b1 e3 81 86 e3 81 9f e3 ................
2cb0: 82 81 e3 81 ab e3 80 81 e3 81 84 e3 82 8f e3 82 ................
2cc0: 86 e3 82 8b e3 80 8c 63 6f 6e 73 20 e3 83 aa e3 .......cons ....
2cd0: 82 b9 e3 83 88 e3 80 8d e3 82 92 e4 bd bf e3 81 ................
2ce0: 84 e3 81 be e3 81 99 e3 80 82 0d 0a e7 a9 ba e3 ................
2cf0: 83 aa e3 82 b9 e3 83 88 e3 82 92 20 3c 74 74 3e ........... <tt>
2d00: 7b 7d 3c 2f 74 74 3e e3 80 81 ef bc 91 e5 80 8b {}</tt>.........
2d10: e4 bb a5 e4 b8 8a e8 a6 81 e7 b4 a0 e3 81 8c e3 ................
2d20: 81 82 e3 82 8b e3 82 82 e3 81 ae e3 82 92 20 3c .............. <
2d30: 74 74 3e 7b 63 61 72 3a 20 e5 85 88 e9 a0 ad e8 tt>{car: .......
2d40: a6 81 e7 b4 a0 2c 20 63 64 72 3a 20 e4 ba 8c e7 ....., cdr: ....
2d50: 95 aa e7 9b ae e4 bb a5 e9 99 8d e3 81 ae e3 83 ................
2d60: aa e3 82 b9 e3 83 88 7d 3c 2f 74 74 3e 0d 0a e3 .......}</tt>...
2d70: 81 a8 e3 81 84 e3 81 86 e5 bd a2 e3 81 a7 e3 80 ................
2d80: 82 e3 81 93 e3 81 ae e5 bd a2 e3 81 a7 e3 83 aa ................
2d90: e3 82 b9 e3 83 88 e3 82 92 e6 89 b1 e3 82 8f e3 ................
2da0: 81 aa e3 81 91 e3 82 8c e3 81 b0 e3 81 aa e3 82 ................
2db0: 89 e3 81 aa e3 81 84 e3 81 a8 e3 81 84 e3 81 86 ................
2dc0: e6 b1 ba e3 81 be e3 82 8a e3 81 af e3 81 82 e3 ................
2dd0: 82 8a e3 81 be e3 81 9b e3 82 93 e3 81 8c e3 80 ................
2de0: 81 0d 0a e3 81 93 e3 81 ae e5 bd a2 e3 81 af e7 ................
2df0: 89 b9 e5 88 a5 e6 89 b1 e3 81 84 e3 81 95 e3 82 ................
2e00: 8c e3 81 a6 20 3c 74 74 3e 70 72 69 6e 74 3c 2f .... <tt>print</
2e10: 74 74 3e 20 e3 81 a7 e7 b6 ba e9 ba 97 e3 81 ab tt> ............
2e20: e5 87 ba e5 8a 9b e3 81 95 e3 82 8c e3 81 9f e3 ................
2e30: 82 8a e3 81 97 e3 81 be e3 81 99 e3 80 82 0d 0a ................
2e40: 3c 2f 70 3e 0d 0a 3c 2f 64 64 3e 0d 0a 0d 0a 3c </p>..</dd>....<
2e50: 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 65 72 2e script>explorer.
2e60: 6f 75 74 6c 69 6e 65 2e 77 72 69 74 65 45 6e 61 outline.writeEna
2e70: 62 6c 65 64 20 3d 20 74 72 75 65 3b 3c 2f 73 63 bled = true;</sc
2e80: 72 69 70 74 3e 0d 0a 3c 64 74 3e 3c 73 70 61 6e ript>..<dt><span
2e90: 20 63 6c 61 73 73 3d 22 64 65 63 6c 22 3e 0d 0a class="decl">..
2ea0: 3c 73 70 61 6e 20 63 6c 61 73 73 3d 22 63 75 72 <span class="cur
2eb0: 72 73 79 6d 62 6f 6c 22 3e e3 83 91 e3 82 bf e3 rsymbol">.......
2ec0: 83 bc e3 83 b3 e3 83 9e e3 83 83 e3 83 81 3c 2f ..............</
2ed0: 73 70 61 6e 3e 0d 0a 3c 73 63 72 69 70 74 3e 65 span>..<script>e
2ee0: 78 70 6c 6f 72 65 72 2e 6f 75 74 6c 69 6e 65 2e xplorer.outline.
2ef0: 61 64 64 44 65 63 6c 28 27 e3 83 91 e3 82 bf e3 addDecl('.......
2f00: 83 bc e3 83 b3 e3 83 9e e3 83 83 e3 83 81 27 29 ..............')
2f10: 3b 3c 2f 73 63 72 69 70 74 3e 0d 0a 0d 0a 3c 2f ;</script>....</
2f20: 73 70 61 6e 3e 3c 2f 64 74 3e 0d 0a 3c 73 63 72 span></dt>..<scr
2f30: 69 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 ipt>explorer.out
2f40: 6c 69 6e 65 2e 77 72 69 74 65 45 6e 61 62 6c 65 line.writeEnable
2f50: 64 20 3d 20 66 61 6c 73 65 3b 3c 2f 73 63 72 69 d = false;</scri
2f60: 70 74 3e 0d 0a 0d 0a 20 3c 64 64 3e 3c 70 3e 0d pt>.... <dd><p>.
2f70: 0a e9 81 a9 e5 bd 93 e3 81 ab e5 ae 9f e8 a3 85 ................
2f80: e3 81 95 e3 82 8c e3 81 9f e3 83 91 e3 82 bf e3 ................
2f90: 83 bc e3 83 b3 e3 83 9e e3 83 83 e3 83 81 e3 81 ................
2fa0: 8c e3 81 82 e3 82 8a e3 81 be e3 81 99 e3 80 82 ................
2fb0: 0d 0a e3 83 aa e3 82 b9 e3 83 88 e3 81 ae 20 32 .............. 2
2fc0: 6e 20 e7 95 aa e7 9b ae e3 81 a8 20 32 6e 2b 31 n ......... 2n+1
2fd0: 20 e7 95 aa e7 9b ae e3 82 92 e8 b6 b3 e3 81 97 ...............
2fe0: e3 81 a6 e9 95 b7 e3 81 95 e3 82 92 e5 8d 8a e5 ................
2ff0: 88 86 e3 81 ab e3 81 99 e3 82 8b e9 96 a2 e6 95 ................
3000: b0 ef bc 9a 0d 0a 3c 2f 70 3e 0d 0a 3c 70 72 65 ......</p>..<pre
3010: 3e 0d 0a 20 20 20 20 64 65 66 20 61 64 6a 53 75 >.. def adjSu
3020: 6d 28 6c 73 74 29 0d 0a 20 20 20 20 7b 0d 0a 20 m(lst).. {..
3030: 20 20 20 20 20 63 61 73 65 20 6c 73 74 0d 0a 20 case lst..
3040: 20 20 20 20 20 20 20 77 68 65 6e 20 7b 63 61 72 when {car
3050: 3a 78 2c 20 63 64 72 3a 7b 63 61 72 3a 20 79 2c :x, cdr:{car: y,
3060: 20 63 64 72 3a 7a 7d 7d 3a 20 7b 63 61 72 3a 20 cdr:z}}: {car:
3070: 78 2b 79 2c 20 63 64 72 3a 20 61 64 6a 53 75 6d x+y, cdr: adjSum
3080: 28 7a 29 7d 0d 0a 20 20 20 20 20 20 20 20 77 68 (z)}.. wh
3090: 65 6e 20 7b 63 61 72 3a 78 2c 20 63 64 72 3a 7b en {car:x, cdr:{
30a0: 7d 7d 3a 20 6c 73 74 0d 0a 20 20 20 20 20 20 20 }}: lst..
30b0: 20 77 68 65 6e 20 7b 7d 3a 20 7b 7d 0d 0a 20 20 when {}: {}..
30c0: 20 20 7d 0d 0a 3c 2f 70 72 65 3e 0d 0a 3c 70 3e }..</pre>..<p>
30d0: 0d 0a e5 8b 95 e3 81 8b e3 81 99 e3 81 a8 e3 81 ................
30e0: 8d e3 81 ab e3 81 af e3 80 81 e5 87 a6 e7 90 86 ................
30f0: e7 b3 bb e3 81 8c e3 81 9d e3 82 8c e3 81 a3 e3 ................
3100: 81 bd e3 81 84 20 69 66 2d 74 68 65 6e 2d 65 6c ..... if-then-el
3110: 73 65 20 e3 81 ab e5 b1 95 e9 96 8b e3 81 97 e3 se .............
3120: 81 a6 e3 81 84 e3 81 be e3 81 99 e3 80 82 0d 0a ................
3130: 3c 74 74 3e 77 68 65 6e 3c 2f 74 74 3e 20 e3 82 <tt>when</tt> ..
3140: 92 e4 b8 8a e3 81 8b e3 82 89 e8 a9 a6 e3 81 97 ................
3150: e3 81 a6 e3 81 84 e3 81 a3 e3 81 a6 e3 80 81 e6 ................
3160: 9c 80 e5 88 9d e3 81 ab e3 83 9e e3 83 83 e3 83 ................
3170: 81 e3 81 97 e3 81 9f e3 81 a8 e3 81 93 e3 82 8d ................
3180: e3 82 92 e5 ae 9f e8 a1 8c e3 81 97 e3 81 be e3 ................
3190: 81 99 e3 80 82 0d 0a 3c 2f 70 3e 0d 0a 3c 70 72 .......</p>..<pr
31a0: 65 3e 0d 0a 20 20 20 50 41 54 20 3a 3a 3d 20 22 e>.. PAT ::= "
31b0: 5f 22 20 20 20 20 20 20 20 20 20 20 20 20 20 20 _"
31c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
31d0: 20 20 20 20 20 20 20 20 3c 66 6f 6e 74 20 63 6f <font co
31e0: 6c 6f 72 3d 67 72 65 65 6e 3e 23 20 e3 83 af e3 lor=green># ....
31f0: 82 a4 e3 83 ab e3 83 89 e3 82 ab e3 83 bc e3 83 ................
3200: 89 3c 2f 66 6f 6e 74 3e 0d 0a 20 20 20 20 20 20 .</font>..
3210: 20 20 20 7c 20 49 44 20 20 20 20 20 20 20 20 20 | ID
3220: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
3230: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 3c 66 <f
3240: 6f 6e 74 20 63 6f 6c 6f 72 3d 67 72 65 65 6e 3e ont color=green>
3250: 23 20 e5 a4 89 e6 95 b0 e3 83 91 e3 82 bf e3 83 # ..............
3260: bc e3 83 b3 3c 2f 66 6f 6e 74 3e 0d 0a 20 20 20 ....</font>..
3270: 20 20 20 20 20 20 7c 20 22 7b 22 20 49 44 20 22 | "{" ID "
3280: 3a 22 20 50 41 54 20 22 2c 22 20 2e 2e 2e 20 22 :" PAT "," ... "
3290: 2c 22 20 49 44 20 3a 20 50 41 54 20 22 7d 22 20 ," ID : PAT "}"
32a0: 20 3c 66 6f 6e 74 20 63 6f 6c 6f 72 3d 67 72 65 <font color=gre
32b0: 65 6e 3e 23 20 e3 83 86 e3 83 bc e3 83 96 e3 83 en># ...........
32c0: ab e3 83 91 e3 82 bf e3 83 bc e3 83 b3 3c 2f 66 .............</f
32d0: 6f 6e 74 3e 0d 0a 20 20 20 20 20 20 20 20 20 7c ont>.. |
32e0: 20 45 20 20 20 20 20 20 20 20 20 20 20 20 20 20 E
32f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
3300: 20 20 20 20 20 20 20 20 20 20 3c 66 6f 6e 74 20 <font
3310: 63 6f 6c 6f 72 3d 67 72 65 65 6e 3e 23 20 e5 80 color=green># ..
3320: a4 e3 83 91 e3 82 bf e3 83 bc e3 83 b3 3c 2f 66 .............</f
3330: 6f 6e 74 3e 0d 0a 3c 2f 70 72 65 3e 0d 0a 3c 70 ont>..</pre>..<p
3340: 3e 0d 0a e5 a4 89 e6 95 b0 e3 83 91 e3 82 bf e3 >...............
3350: 83 bc e3 83 b3 e3 81 af e5 b8 b8 e3 81 ab e3 83 ................
3360: 9e e3 83 83 e3 83 81 e3 81 97 e3 81 a6 e3 80 81 ................
3370: e5 80 a4 e3 82 92 e3 81 9d e3 81 ae e5 a4 89 e6 ................
3380: 95 b0 e3 81 ab e6 9d 9f e7 b8 9b e3 81 97 e3 81 ................
3390: be e3 81 99 e3 80 82 0d 0a e3 83 af e3 82 a4 e3 ................
33a0: 83 ab e3 83 89 e3 82 ab e3 83 bc e3 83 89 e3 82 ................
33b0: 82 e5 b8 b8 e3 81 ab e3 83 9e e3 83 83 e3 83 81 ................
33c0: e3 81 97 e3 81 be e3 81 99 e3 81 8c e3 80 81 e5 ................
33d0: a4 89 e6 95 b0 e6 9d 9f e7 b8 9b e3 81 97 e3 81 ................
33e0: be e3 81 9b e3 82 93 e3 80 82 0d 0a e5 80 a4 e3 ................
33f0: 83 91 e3 82 bf e3 83 bc e3 83 b3 e3 81 af e3 80 ................
3400: 81 e4 bb bb e6 84 8f e3 81 ae e5 bc 8f e3 81 8c ................
3410: e6 9b b8 e3 81 91 e3 81 be e3 81 99 e3 80 82 e3 ................
3420: 81 9d e3 81 ae e5 bc 8f e3 82 92 e8 a9 95 e4 be ................
3430: a1 e3 81 97 e3 81 9f e7 b5 90 e6 9e 9c e3 81 a8 ................
3440: 20 3c 74 74 3e 3d 3d 3c 2f 74 74 3e 20 e3 81 aa <tt>==</tt> ...
3450: e3 82 89 e3 83 9e e3 83 83 e3 83 81 e3 81 97 e3 ................
3460: 81 be e3 81 99 e3 80 82 0d 0a e5 a4 96 e3 81 a7 ................
3470: e6 9d 9f e7 b8 9b e3 81 95 e3 82 8c e3 81 9f e5 ................
3480: a4 89 e6 95 b0 e3 82 92 e5 80 a4 e3 83 91 e3 82 ................
3490: bf e3 83 bc e3 83 b3 e3 81 a8 e3 81 97 e3 81 a6 ................
34a0: e9 85 8d e7 bd ae e3 80 81 e3 81 af e7 9b b4 e6 ................
34b0: 8e a5 e3 81 af e3 81 a7 e3 81 8d e3 81 aa e3 81 ................
34c0: 84 e3 81 ae e3 81 a7 0d 0a 3c 2f 70 3e 0d 0a 3c .........</p>..<
34d0: 70 72 65 3e 0d 0a 20 20 20 76 61 72 20 78 20 3d pre>.. var x =
34e0: 20 31 32 33 3b 0d 0a 20 20 20 63 61 73 65 20 66 123;.. case f
34f0: 6f 6f 0d 0a 20 20 20 20 20 77 68 65 6e 20 7b 76 oo.. when {v
3500: 61 6c 3a 20 78 2b 30 7d 3a 20 2e 2e 2e 20 3c 66 al: x+0}: ... <f
3510: 6f 6e 74 20 63 6f 6c 6f 72 3d 67 72 65 65 6e 3e ont color=green>
3520: 23 20 e3 81 93 e3 82 8c e3 81 af 20 7b 76 61 6c # ......... {val
3530: 3a 31 32 33 7d 20 e3 81 a8 e5 90 8c e3 81 98 3c :123} .........<
3540: 2f 66 6f 6e 74 3e 0d 0a 20 20 20 20 20 77 68 65 /font>.. whe
3550: 6e 20 7b 76 61 6c 3a 20 78 7d 3a 20 20 20 2e 2e n {val: x}: ..
3560: 2e 20 3c 66 6f 6e 74 20 63 6f 6c 6f 72 3d 67 72 . <font color=gr
3570: 65 65 6e 3e 23 20 e3 81 93 e3 82 8c e3 81 af e4 een># ..........
3580: bb bb e6 84 8f e3 81 ae 20 66 6f 6f 2e 3f 76 61 ........ foo.?va
3590: 6c 20 e3 81 aa e3 82 89 e5 b8 b8 e3 81 ab e3 83 l ..............
35a0: 9e e3 83 83 e3 83 81 3c 2f 66 6f 6e 74 3e 0d 0a .......</font>..
35b0: 3c 2f 70 72 65 3e 0d 0a 3c 70 3e 0d 0a e9 81 a9 </pre>..<p>.....
35c0: e5 bd 93 e3 81 ab e3 81 a1 e3 82 87 e3 81 a3 e3 ................
35d0: 81 a8 e8 a4 87 e9 9b 91 e3 81 aa e5 bc 8f e3 81 ................
35e0: ab e3 81 97 e3 81 a6 e3 82 84 e3 82 8b e3 81 a8 ................
35f0: e3 82 88 e3 81 84 e3 81 8b e3 82 82 ef bc 88 e8 ................
3600: a3 8f e6 8a 80 ef bc 89 e3 80 82 0d 0a 3c 2f 70 .............</p
3610: 3e 0d 0a 3c 70 3e 0d 0a e3 83 86 e3 83 bc e3 83 >..<p>..........
3620: 96 e3 83 ab e3 83 91 e3 82 bf e3 83 bc e3 83 b3 ................
3630: e3 81 af e3 80 81 e6 9b b8 e3 81 8b e3 82 8c e3 ................
3640: 81 9f e3 82 ad e3 83 bc e3 81 8c e5 85 a8 e3 81 ................
3650: a6 e3 81 82 e3 82 8c e3 81 b0 e3 83 9e e3 83 83 ................
3660: e3 83 81 e3 81 97 e3 81 be e3 81 99 e3 80 82 0d ................
3670: 0a 3c 74 74 3e 7b 61 3a 20 5f 7d 3c 2f 74 74 3e .<tt>{a: _}</tt>
3680: 20 e3 81 af e3 80 81 3c 74 74 3e 2e 61 3c 2f 74 ......<tt>.a</t
3690: 74 3e 20 e3 82 92 e6 8c 81 e3 81 a3 e3 81 a6 e3 t> .............
36a0: 81 95 e3 81 88 e3 81 84 e3 82 8c e3 81 b0 e3 83 ................
36b0: 9e e3 83 83 e3 83 81 e3 81 99 e3 82 8b e3 81 ae ................
36c0: e3 81 a7 e3 80 81 0d 0a 3c 74 74 3e 7b 61 3a 20 ........<tt>{a:
36d0: 31 32 33 2c 20 62 3a 20 34 35 36 7d 3c 2f 74 74 123, b: 456}</tt
36e0: 3e 20 e3 81 aa e3 82 93 e3 81 8b e3 81 ab e3 82 > ..............
36f0: 82 e3 83 9e e3 83 83 e3 83 81 e3 81 97 e3 81 be ................
3700: e3 81 99 e3 80 82 0d 0a e3 81 aa e3 81 ae e3 81 ................
3710: a7 e3 80 81 e3 83 aa e3 82 b9 e3 83 88 e3 81 ab ................
3720: e5 af be e3 81 99 e3 82 8b e3 83 91 e3 82 bf e3 ................
3730: 83 bc e3 83 b3 e3 82 92 e6 9b b8 e3 81 8f e3 81 ................
3740: a8 e3 81 8d e3 81 ab e3 81 af e3 80 81 63 61 72 .............car
3750: 2f 63 64 72 20 e3 81 ae e5 a0 b4 e5 90 88 e3 82 /cdr ...........
3760: 92 e5 85 88 e3 81 ab e6 9b b8 e3 81 8b e3 81 aa ................
3770: e3 81 84 e3 81 a8 0d 0a 3c 74 74 3e 77 68 65 6e ........<tt>when
3780: 20 7b 7d 3c 2f 74 74 3e 20 e3 82 92 e4 b8 8a e3 {}</tt> .......
3790: 81 ab e6 9b b8 e3 81 8f e3 81 a8 e5 85 a8 e9 83 ................
37a0: a8 e3 83 9e e3 83 83 e3 83 81 e3 81 97 e3 81 a1 ................
37b0: e3 82 83 e3 81 84 e3 81 be e3 81 99 e3 80 82 e6 ................
37c0: b3 a8 e6 84 8f e3 80 82 0d 0a 3c 2f 70 3e 0d 0a ..........</p>..
37d0: 3c 2f 64 64 3e 0d 0a 3c 2f 64 6c 3e 0d 0a 3c 73 </dd>..</dl>..<s
37e0: 63 72 69 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f cript>explorer.o
37f0: 75 74 6c 69 6e 65 2e 64 65 63 53 79 6d 62 6f 6c utline.decSymbol
3800: 4c 65 76 65 6c 28 29 3b 3c 2f 73 63 72 69 70 74 Level();</script
3810: 3e 0d 0a 0d 0a 0d 0a 3c 2f 64 64 3e 0d 0a 0d 0a >......</dd>....
3820: 0d 0a 0d 0a 0d 0a 0d 0a 0d 0a 3c 73 63 72 69 70 ..........<scrip
3830: 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c 69 t>explorer.outli
3840: 6e 65 2e 77 72 69 74 65 45 6e 61 62 6c 65 64 20 ne.writeEnabled
3850: 3d 20 74 72 75 65 3b 3c 2f 73 63 72 69 70 74 3e = true;</script>
3860: 0d 0a 3c 64 74 3e 3c 73 70 61 6e 20 63 6c 61 73 ..<dt><span clas
3870: 73 3d 22 64 65 63 6c 22 3e 0d 0a 3c 73 70 61 6e s="decl">..<span
3880: 20 63 6c 61 73 73 3d 22 63 75 72 72 73 79 6d 62 class="currsymb
3890: 6f 6c 22 3e 4c 61 79 65 72 73 3c 2f 73 70 61 6e ol">Layers</span
38a0: 3e 0d 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f >..<script>explo
38b0: 72 65 72 2e 6f 75 74 6c 69 6e 65 2e 61 64 64 44 rer.outline.addD
38c0: 65 63 6c 28 27 4c 61 79 65 72 73 27 29 3b 3c 2f ecl('Layers');</
38d0: 73 63 72 69 70 74 3e 0d 0a 0d 0a 3c 2f 73 70 61 script>....</spa
38e0: 6e 3e 3c 2f 64 74 3e 0d 0a 3c 73 63 72 69 70 74 n></dt>..<script
38f0: 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c 69 6e >explorer.outlin
3900: 65 2e 77 72 69 74 65 45 6e 61 62 6c 65 64 20 3d e.writeEnabled =
3910: 20 66 61 6c 73 65 3b 3c 2f 73 63 72 69 70 74 3e false;</script>
3920: 0d 0a 0d 0a 20 3c 64 64 3e 3c 70 72 65 3e 0d 0a .... <dd><pre>..
3930: 5b 4c 61 79 65 72 73 20 3a 3a 20 4f 76 65 72 76 [Layers :: Overv
3940: 69 65 77 5d 0d 0a 0d 0a 20 20 50 6f 6c 65 6d 79 iew].... Polemy
3950: 27 73 20 72 75 6e 74 69 6d 65 20 65 6e 76 69 72 's runtime envir
3960: 6f 6e 6d 65 6e 74 20 68 61 73 20 6d 61 6e 79 20 onment has many
3970: 22 6c 61 79 65 72 22 73 2e 0d 0a 20 20 55 73 75 "layer"s... Usu
3980: 61 6c 20 65 78 65 63 75 74 69 6f 6e 20 72 75 6e al execution run
3990: 20 69 6e 20 74 68 65 20 40 76 61 6c 75 65 20 6c in the @value l
39a0: 61 79 65 72 2e 0d 0a 0d 0a 20 20 20 20 26 67 74 ayer..... >
39b0: 3b 26 67 74 3b 20 31 20 2b 20 32 0d 0a 20 20 20 ;> 1 + 2..
39c0: 20 33 0d 0a 20 20 20 20 26 67 74 3b 26 67 74 3b 3.. >>
39d0: 20 40 76 61 6c 75 65 28 20 31 20 2b 20 32 20 29 @value( 1 + 2 )
39e0: 0d 0a 20 20 20 20 33 0d 0a 0d 0a 20 20 48 65 72 .. 3.... Her
39f0: 65 20 79 6f 75 20 63 61 6e 20 73 65 65 20 74 68 e you can see th
3a00: 61 74 20 40 4c 61 79 65 72 4e 61 6d 65 28 20 45 at @LayerName( E
3a10: 78 70 72 65 73 73 69 6f 6e 20 29 20 65 78 65 63 xpression ) exec
3a20: 75 74 65 73 20 74 68 65 20 69 6e 6e 65 72 20 45 utes the inner E
3a30: 78 70 72 65 73 73 69 6f 6e 20 69 6e 0d 0a 20 20 xpression in..
3a40: 74 68 65 20 40 4c 61 79 65 72 4e 61 6d 65 20 6c the @LayerName l
3a50: 61 79 65 72 2e 20 4f 74 68 65 72 20 74 68 61 6e ayer. Other than
3a60: 20 40 76 61 6c 75 65 2c 20 6f 6e 65 20 6f 74 68 @value, one oth
3a70: 65 72 20 70 72 65 64 65 66 69 6e 65 64 20 6c 61 er predefined la
3a80: 79 65 72 20 65 78 69 73 74 73 3a 20 40 6d 61 63 yer exists: @mac
3a90: 72 6f 2e 0d 0a 0d 0a 20 20 20 20 26 67 74 3b 26 ro..... >&
3aa0: 67 74 3b 20 40 6d 61 63 72 6f 28 20 31 2b 32 20 gt; @macro( 1+2
3ab0: 29 0d 0a 20 20 20 20 7b 70 6f 73 40 76 61 6c 75 ).. {pos@valu
3ac0: 65 3a 7b 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 3a e:{lineno@value:
3ad0: 33 2c 20 63 6f 6c 75 6d 6e 40 76 61 6c 75 65 3a 3, column@value:
3ae0: 39 2c 20 66 69 6c 65 6e 61 6d 65 40 76 61 6c 75 9, filename@valu
3af0: 65 3a 3c 52 45 50 4c 3e 7d 2c 0d 0a 20 20 20 20 e:<REPL>},..
3b00: 20 20 69 73 40 76 61 6c 75 65 3a 61 70 70 2c 0d is@value:app,.
3b10: 0a 20 20 20 20 61 72 67 73 40 76 61 6c 75 65 3a . args@value:
3b20: 7b 63 61 72 40 76 61 6c 75 65 3a 7b 70 6f 73 40 {car@value:{pos@
3b30: 76 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40 76 61 value:{lineno@va
3b40: 6c 75 65 3a 33 2c 20 63 6f 6c 75 6d 6e 40 76 61 lue:3, column@va
3b50: 6c 75 65 3a 39 2c 20 66 69 6c 65 6e 61 6d 65 40 lue:9, filename@
3b60: 76 61 6c 75 65 3a 3c 52 45 50 4c 3e 7d 2c 0d 0a value:<REPL>},..
3b70: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
3b80: 20 20 20 20 20 20 20 20 20 20 20 20 69 73 40 76 is@v
3b90: 61 6c 75 65 3a 69 6e 74 2c 0d 0a 20 20 20 20 20 alue:int,..
3ba0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
3bb0: 20 20 20 20 20 64 61 74 61 40 76 61 6c 75 65 3a data@value:
3bc0: 31 7d 2c 0d 0a 20 20 20 20 20 20 20 20 20 20 20 1},..
3bd0: 20 20 20 20 20 63 64 72 40 76 61 6c 75 65 3a 7b cdr@value:{
3be0: 0d 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ..
3bf0: 20 20 20 20 63 61 72 40 76 61 6c 75 65 3a 7b 70 car@value:{p
3c00: 6f 73 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f os@value:{lineno
3c10: 40 76 61 6c 75 65 3a 33 2c 20 63 6f 6c 75 6d 6e @value:3, column
3c20: 40 76 61 6c 75 65 3a 31 31 2c 20 66 69 6c 65 6e @value:11, filen
3c30: 61 6d 65 40 76 61 6c 75 65 3a 3c 52 45 50 4c 3e ame@value:<REPL>
3c40: 7d 2c 0d 0a 20 20 20 20 20 20 20 20 20 20 20 20 },..
3c50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
3c60: 20 20 69 73 40 76 61 6c 75 65 3a 69 6e 74 2c 0d is@value:int,.
3c70: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
3c80: 20 20 20 20 20 20 20 20 20 20 20 20 20 64 61 74 dat
3c90: 61 40 76 61 6c 75 65 3a 32 7d 2c 0d 0a 20 20 20 a@value:2},..
3ca0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 63 c
3cb0: 64 72 40 76 61 6c 75 65 3a 7b 7d 7d 7d 2c 0d 0a dr@value:{}}},..
3cc0: 20 20 20 20 20 66 75 6e 40 76 61 6c 75 65 3a 7b fun@value:{
3cd0: 70 6f 73 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 6e pos@value:{linen
3ce0: 6f 40 76 61 6c 75 65 3a 33 2c 20 63 6f 6c 75 6d o@value:3, colum
3cf0: 6e 40 76 61 6c 75 65 3a 31 30 2c 20 66 69 6c 65 n@value:10, file
3d00: 6e 61 6d 65 40 76 61 6c 75 65 3a 3c 52 45 50 4c name@value:<REPL
3d10: 3e 7d 2c 0d 0a 20 20 20 20 20 20 20 20 20 20 20 >},..
3d20: 20 20 20 20 20 20 69 73 40 76 61 6c 75 65 3a 76 is@value:v
3d30: 61 72 2c 0d 0a 20 20 20 20 20 20 20 20 20 20 20 ar,..
3d40: 20 20 20 20 6e 61 6d 65 40 76 61 6c 75 65 3a 2b name@value:+
3d50: 7d 7d 0d 0a 0d 0a 20 20 28 53 6f 72 72 79 2c 20 }}.... (Sorry,
3d60: 74 68 69 73 20 70 72 65 74 74 79 20 70 72 69 6e this pretty prin
3d70: 74 69 6e 67 20 69 73 20 6e 6f 74 20 61 76 61 69 ting is not avai
3d80: 6c 61 62 6c 65 20 6f 6e 20 74 68 65 20 61 63 74 lable on the act
3d90: 75 61 6c 20 69 6e 74 65 72 70 72 65 74 65 72 2e ual interpreter.
3da0: 2e 2e 29 0d 0a 20 20 54 68 69 73 20 65 76 61 6c ..).. This eval
3db0: 75 61 74 65 73 20 74 68 65 20 65 78 70 72 65 73 uates the expres
3dc0: 73 69 6f 6e 20 31 2b 32 20 69 6e 20 74 68 65 20 sion 1+2 in the
3dd0: 40 6d 61 63 72 6f 20 6c 61 79 65 72 2e 20 49 6e @macro layer. In
3de0: 20 74 68 69 73 20 6c 61 79 65 72 2c 20 74 68 65 this layer, the
3df0: 20 6d 65 61 6e 69 6e 67 20 6f 66 0d 0a 20 20 74 meaning of.. t
3e00: 68 65 20 70 72 6f 67 72 61 6d 20 69 73 20 69 74 he program is it
3e10: 73 20 61 62 73 74 72 61 63 74 20 73 79 6e 74 61 s abstract synta
3e20: 78 20 74 72 65 65 2e 0d 0a 0d 0a 20 20 59 6f 75 x tree..... You
3e30: 20 63 61 6e 20 69 6e 74 65 72 6c 65 61 76 65 20 can interleave
3e40: 6c 61 79 65 72 73 2e 0d 0a 20 20 54 68 65 20 72 layers... The r
3e50: 6f 6f 74 20 6e 6f 64 65 20 6f 66 20 74 68 65 20 oot node of the
3e60: 61 62 73 74 72 61 63 74 20 73 79 6e 74 61 78 20 abstract syntax
3e70: 74 72 65 65 20 69 73 20 66 75 6e 63 74 69 6f 6e tree is function
3e80: 20 22 61 70 70 22 6c 69 63 61 74 69 6f 6e 2e 0d "app"lication..
3e90: 0a 0d 0a 20 20 20 20 26 67 74 3b 26 67 74 3b 20 ... >>
3ea0: 40 76 61 6c 75 65 28 40 6d 61 63 72 6f 28 20 31 @value(@macro( 1
3eb0: 2b 32 20 29 2e 69 73 29 0d 0a 20 20 20 20 61 70 +2 ).is).. ap
3ec0: 70 0d 0a 0d 0a 0d 0a 0d 0a 5b 4c 61 79 65 72 73 p........[Layers
3ed0: 20 3a 3a 20 44 65 66 69 6e 69 6e 67 20 61 20 6e :: Defining a n
3ee0: 65 77 20 6c 61 79 65 72 5d 0d 0a 0d 0a 20 20 54 ew layer].... T
3ef0: 6f 20 64 65 66 69 6e 65 20 61 20 6e 65 77 20 6c o define a new l
3f00: 61 79 65 72 2c 20 79 6f 75 20 73 68 6f 75 6c 64 ayer, you should
3f10: 20 66 69 72 73 74 20 74 65 6c 6c 20 68 6f 77 20 first tell how
3f20: 74 6f 20 22 6c 69 66 74 22 20 65 78 69 73 74 69 to "lift" existi
3f30: 6e 67 20 76 61 6c 75 65 73 20 74 77 6f 20 74 68 ng values two th
3f40: 65 20 6e 65 77 20 6c 61 79 65 72 2e 0d 0a 20 20 e new layer...
3f50: 4c 65 74 20 75 73 20 64 65 66 69 6e 65 20 74 68 Let us define th
3f60: 65 20 22 40 74 79 70 65 22 20 6c 61 79 65 72 2c e "@type" layer,
3f70: 20 77 68 65 72 65 20 74 68 65 20 6d 65 61 6e 69 where the meani
3f80: 6e 67 20 6f 66 20 70 72 6f 67 72 61 6d 73 20 69 ng of programs i
3f90: 73 20 74 68 65 69 72 20 73 74 61 74 69 63 20 74 s their static t
3fa0: 79 70 65 2e 0d 0a 0d 0a 20 20 20 20 26 67 74 3b ype..... >
3fb0: 26 67 74 3b 20 40 40 74 79 70 65 20 3d 20 66 75 > @@type = fu
3fc0: 6e 28 78 29 20 7b 0d 0a 20 20 20 20 26 67 74 3b n(x) {.. >
3fd0: 26 67 74 3b 20 20 20 69 66 28 20 5f 69 73 69 6e > if( _isin
3fe0: 74 28 78 29 20 29 20 7b 20 22 69 6e 74 22 20 7d t(x) ) { "int" }
3ff0: 20 65 6c 73 65 20 7b 0d 0a 20 20 20 20 26 67 74 else {.. >
4000: 3b 26 67 74 3b 20 20 20 69 66 28 20 5f 69 73 66 ;> if( _isf
4010: 75 6e 28 78 29 20 29 20 7b 20 78 20 7d 20 65 6c un(x) ) { x } el
4020: 73 65 20 7b 20 22 75 6e 6b 6e 6f 77 6e 22 20 7d se { "unknown" }
4030: 20 7d 0d 0a 20 20 20 20 26 67 74 3b 26 67 74 3b }.. >>
4040: 20 7d 0d 0a 20 20 20 20 28 4e 6f 74 65 3a 20 70 }.. (Note: p
4050: 6f 6c 65 6d 79 20 52 45 50 4c 20 6d 61 79 20 77 olemy REPL may w
4060: 61 72 6e 20 73 6f 6d 65 20 65 78 63 65 70 74 69 arn some excepti
4070: 6f 6e 20 68 65 72 65 20 62 75 74 20 70 6c 65 61 on here but plea
4080: 73 65 20 69 67 6e 6f 72 65 29 0d 0a 0d 0a 20 20 se ignore)....
4090: 46 6f 72 20 73 69 6d 70 6c 69 63 69 74 79 2c 20 For simplicity,
40a0: 49 20 68 65 72 65 20 64 65 61 6c 20 6f 6e 6c 79 I here deal only
40b0: 20 77 69 74 68 20 69 6e 74 65 67 65 72 73 2e 0d with integers..
40c0: 0a 20 20 5f 69 73 69 6e 74 20 69 73 20 61 20 70 . _isint is a p
40d0: 72 69 6d 69 74 69 76 65 20 66 75 6e 63 74 69 6f rimitive functio
40e0: 6e 20 6f 66 20 50 6f 6c 65 6d 79 20 74 68 61 74 n of Polemy that
40f0: 20 63 68 65 63 6b 73 20 74 68 65 20 64 79 6e 61 checks the dyna
4100: 6d 69 63 20 74 79 70 65 20 6f 66 20 61 20 76 61 mic type of a va
4110: 6c 75 65 2e 0d 0a 20 20 46 6f 72 20 66 75 6e 63 lue... For func
4120: 74 69 6f 6e 2c 20 6c 65 61 76 69 6e 67 20 69 74 tion, leaving it
4130: 20 75 6e 74 6f 75 63 68 65 64 20 77 6f 72 6b 73 untouched works
4140: 20 77 65 6c 6c 20 66 6f 72 20 61 6c 6d 6f 73 74 well for almost
4150: 20 61 6c 6c 20 6c 61 79 65 72 73 2e 0d 0a 0d 0a all layers.....
4160: 20 20 20 20 26 67 74 3b 26 67 74 3b 20 40 74 79 >> @ty
4170: 70 65 28 20 31 20 29 0d 0a 20 20 20 20 69 6e 74 pe( 1 ).. int
4180: 0d 0a 20 20 20 20 26 67 74 3b 26 67 74 3b 20 40 .. >> @
4190: 74 79 70 65 28 20 32 20 29 0d 0a 20 20 20 20 69 type( 2 ).. i
41a0: 6e 74 0d 0a 20 20 20 20 26 67 74 3b 26 67 74 3b nt.. >>
41b0: 20 40 74 79 70 65 28 20 22 66 6f 6f 22 20 29 0d @type( "foo" ).
41c0: 0a 20 20 20 20 75 6e 6b 6e 6f 77 6e 0d 0a 0d 0a . unknown....
41d0: 20 20 46 69 6e 65 21 20 4c 65 74 27 73 20 74 72 Fine! Let's tr
41e0: 79 20 74 6f 20 74 79 70 65 20 31 2b 32 2e 0d 0a y to type 1+2...
41f0: 0d 0a 20 20 20 20 26 67 74 3b 26 67 74 3b 20 40 .. >> @
4200: 74 79 70 65 28 20 31 20 2b 20 32 20 29 0d 0a 20 type( 1 + 2 )..
4210: 20 20 20 2e 2e 2e 5c 76 61 6c 75 65 2e 64 28 31 ...\value.d(1
4220: 31 39 29 3a 20 5b 3c 52 45 50 4c 3e 3a 36 3a 38 19): [<REPL>:6:8
4230: 5d 20 6f 6e 6c 79 20 40 76 61 6c 75 65 20 6c 61 ] only @value la
4240: 79 65 72 20 63 61 6e 20 63 61 6c 6c 20 6e 61 74 yer can call nat
4250: 69 76 65 20 66 75 6e 63 74 69 6f 6e 0d 0a 0d 0a ive function....
4260: 20 20 4e 6f 74 65 20 74 68 61 74 20 74 68 65 20 Note that the
4270: 62 65 68 61 76 69 6f 72 20 6f 66 20 74 68 69 73 behavior of this
4280: 20 70 72 6f 67 72 61 6d 20 69 73 0d 0a 20 20 20 program is..
4290: 20 2d 20 72 75 6e 20 31 2b 32 20 69 6e 20 74 68 - run 1+2 in th
42a0: 65 20 40 74 79 70 65 20 6c 61 79 65 72 0d 0a 20 e @type layer..
42b0: 20 61 6e 64 20 4e 4f 54 0d 0a 20 20 20 20 2d 20 and NOT.. -
42c0: 72 75 6e 20 31 2b 32 20 69 6e 20 40 76 61 6c 75 run 1+2 in @valu
42d0: 65 20 61 6e 64 20 6f 62 74 61 69 6e 20 33 20 61 e and obtain 3 a
42e0: 6e 64 20 72 75 6e 20 33 20 69 6e 20 74 68 65 20 nd run 3 in the
42f0: 40 74 79 70 65 2e 0d 0a 20 20 54 68 65 20 70 72 @type... The pr
4300: 6f 62 6c 65 6d 20 69 73 2c 20 74 68 65 20 76 61 oblem is, the va
4310: 72 69 61 62 6c 65 20 22 2b 22 20 69 73 20 64 65 riable "+" is de
4320: 66 69 6e 65 64 20 6f 6e 6c 79 20 69 6e 20 74 68 fined only in th
4330: 65 20 40 76 61 6c 75 65 20 6c 61 79 65 72 2e 0d e @value layer..
4340: 0a 20 20 54 6f 20 63 61 72 72 79 20 6f 75 74 20 . To carry out
4350: 63 6f 6d 70 75 74 61 74 69 6f 6e 20 69 6e 20 74 computation in t
4360: 68 65 20 40 74 79 70 65 20 6c 61 79 65 72 2e 20 he @type layer.
4370: 57 65 20 6e 65 65 64 20 74 6f 20 64 65 66 69 6e We need to defin
4380: 65 20 69 74 20 61 6c 73 6f 0d 0a 20 20 69 6e 20 e it also.. in
4390: 74 68 65 20 40 74 79 70 65 20 6c 61 79 65 72 2e the @type layer.
43a0: 0d 0a 0d 0a 20 20 54 6f 20 64 65 66 69 6e 65 20 .... To define
43b0: 73 6f 6d 65 20 76 61 72 69 61 62 6c 65 20 69 6e some variable in
43c0: 20 61 20 73 70 65 63 69 66 69 63 20 6c 61 79 65 a specific laye
43d0: 72 2c 20 75 73 65 20 40 4c 61 79 65 72 4e 61 6d r, use @LayerNam
43e0: 65 20 69 6e 20 70 6c 61 63 65 20 6f 66 0d 0a 20 e in place of..
43f0: 20 28 6c 65 74 7c 76 61 72 7c 64 65 66 29 73 2e (let|var|def)s.
4400: 0d 0a 0d 0a 20 20 20 20 26 67 74 3b 26 67 74 3b .... >>
4410: 20 6c 65 74 20 78 20 3d 20 32 0d 0a 20 20 20 20 let x = 2..
4420: 26 67 74 3b 26 67 74 3b 20 40 76 61 6c 75 65 20 >> @value
4430: 78 20 3d 20 32 0d 0a 20 20 20 20 26 67 74 3b 26 x = 2.. >&
4440: 67 74 3b 20 40 74 79 70 65 20 78 20 3d 20 22 69 gt; @type x = "i
4450: 6e 74 22 0d 0a 20 20 20 20 26 67 74 3b 26 67 74 nt".. >>
4460: 3b 20 40 68 6f 67 65 20 78 20 3d 20 22 66 75 67 ; @hoge x = "fug
4470: 61 22 0d 0a 0d 0a 20 20 46 6f 72 20 22 2b 22 2c a".... For "+",
4480: 20 64 6f 20 69 74 20 6c 69 6b 65 20 74 68 69 73 do it like this
4490: 2e 0d 0a 0d 0a 20 20 20 20 26 67 74 3b 26 67 74 ..... >>
44a0: 3b 20 40 74 79 70 65 20 22 2b 22 20 3d 20 66 75 ; @type "+" = fu
44b0: 6e 28 78 2c 79 29 20 7b 40 76 61 6c 75 65 28 0d n(x,y) {@value(.
44c0: 0a 20 20 20 20 26 67 74 3b 26 67 74 3b 20 20 20 . >>
44d0: 69 66 28 20 40 74 79 70 65 28 78 29 3d 3d 22 69 if( @type(x)=="i
44e0: 6e 74 22 20 26 61 6d 70 3b 26 61 6d 70 3b 20 40 nt" && @
44f0: 74 79 70 65 28 79 29 3d 3d 22 69 6e 74 22 20 29 type(y)=="int" )
4500: 20 7b 20 22 69 6e 74 22 20 7d 20 65 6c 73 65 20 { "int" } else
4510: 7b 20 22 74 79 70 65 65 72 72 6f 72 22 20 7d 0d { "typeerror" }.
4520: 0a 20 20 20 20 26 67 74 3b 26 67 74 3b 20 29 7d . >> )}
4530: 0d 0a 20 20 20 20 70 6f 6c 65 6d 79 2e 76 61 6c .. polemy.val
4540: 75 65 2e 6e 61 74 69 76 65 21 28 49 6e 74 56 61 ue.native!(IntVa
4550: 6c 75 65 2c 49 6e 74 56 61 6c 75 65 2c 49 6e 74 lue,IntValue,Int
4560: 56 61 6c 75 65 29 2e 6e 61 74 69 76 65 2e 5f 5f Value).native.__
4570: 61 6e 6f 6e 63 6c 61 73 73 32 34 0d 0a 0d 0a 20 anonclass24....
4580: 20 49 74 20 69 73 20 6a 75 73 74 20 63 6f 6d 70 It is just comp
4590: 75 74 69 6e 67 20 74 68 65 20 72 65 74 75 72 6e uting the return
45a0: 20 74 79 70 65 20 66 72 6f 6d 20 74 68 65 20 69 type from the i
45b0: 6e 70 75 74 20 74 79 70 65 2e 0d 0a 20 20 4e 6f nput type... No
45c0: 74 20 68 65 72 65 20 74 68 61 74 20 74 68 65 20 t here that the
45d0: 69 6e 74 65 6e 64 65 64 20 22 6d 65 61 6e 69 6e intended "meanin
45e0: 67 22 20 6f 66 20 69 66 2d 74 68 65 6e 2d 65 6c g" of if-then-el
45f0: 73 65 20 69 73 20 74 68 65 20 72 75 6e 74 69 6d se is the runtim
4600: 65 2d 62 72 61 6e 63 68 69 6e 67 2c 0d 0a 20 20 e-branching,..
4610: 61 6e 64 20 74 68 65 20 6d 65 61 6e 69 6e 67 20 and the meaning
4620: 6f 66 20 22 3d 3d 22 20 69 73 20 74 68 65 20 76 of "==" is the v
4630: 61 6c 75 65 2d 63 6f 6d 70 61 72 69 73 6f 6e 2e alue-comparison.
4640: 20 54 68 65 73 65 20 61 72 65 20 74 68 65 20 40 These are the @
4650: 76 61 6c 75 65 20 6c 61 79 65 72 0d 0a 20 20 62 value layer.. b
4660: 65 68 61 76 69 6f 72 2e 20 53 6f 20 77 65 20 68 ehavior. So we h
4670: 61 76 65 20 64 65 66 69 6e 65 64 20 74 68 65 20 ave defined the
4680: 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 20 69 6e function body in
4690: 73 69 64 65 20 40 76 61 6c 75 65 20 6c 61 79 65 side @value laye
46a0: 72 2e 0d 0a 20 20 42 75 74 20 77 68 65 6e 20 77 r... But when w
46b0: 65 20 72 65 66 65 72 20 74 68 65 20 76 61 72 69 e refer the vari
46c0: 61 62 6c 65 73 20 78 20 61 6e 64 20 79 2c 20 77 ables x and y, w
46d0: 65 20 6e 65 65 64 20 69 74 73 20 40 74 79 70 65 e need its @type
46e0: 20 6c 61 79 65 72 20 6d 65 61 6e 69 6e 67 2e 0d layer meaning..
46f0: 0a 20 20 48 65 6e 63 65 20 77 65 20 75 73 65 20 . Hence we use
4700: 40 74 79 70 65 28 29 20 74 68 65 72 65 2e 0d 0a @type() there...
4710: 0d 0a 20 20 4e 6f 77 20 77 65 20 67 65 74 20 69 .. Now we get i
4720: 74 2e 0d 0a 0d 0a 20 20 20 20 26 67 74 3b 26 67 t..... >&g
4730: 74 3b 20 40 74 79 70 65 28 20 31 20 2b 20 32 20 t; @type( 1 + 2
4740: 29 0d 0a 20 20 20 20 69 6e 74 0d 0a 0d 0a 20 20 ).. int....
4750: 57 65 6c 6c 2c 20 62 75 74 20 64 6f 20 77 65 20 Well, but do we
4760: 68 61 76 65 20 74 6f 20 64 65 66 69 6e 65 20 74 have to define t
4770: 68 65 20 40 74 79 70 65 20 6c 61 79 65 72 20 6d he @type layer m
4780: 65 61 6e 69 6e 67 20 66 6f 72 20 65 76 65 72 79 eaning for every
4790: 20 76 61 72 69 61 62 6c 65 73 3f 3f 3f 0d 0a 20 variables???..
47a0: 20 4e 6f 2e 20 41 66 74 65 72 20 79 6f 75 20 64 No. After you d
47b0: 65 66 69 6e 65 64 20 40 74 79 70 65 20 22 2b 22 efined @type "+"
47c0: 2c 20 79 6f 75 27 6c 6c 20 61 75 74 6f 6d 61 74 , you'll automat
47d0: 69 63 61 6c 6c 79 20 67 65 74 20 74 68 65 20 66 ically get the f
47e0: 6f 6c 6c 6f 77 69 6e 67 3a 0d 0a 0d 0a 20 20 20 ollowing:....
47f0: 20 26 67 74 3b 26 67 74 3b 20 64 65 66 20 64 6f >> def do
4800: 75 62 6c 65 28 78 29 20 7b 20 78 20 2b 20 78 20 uble(x) { x + x
4810: 7d 0d 0a 20 20 20 20 28 66 75 6e 63 74 69 6f 6e }.. (function
4820: 3a 31 37 65 34 37 34 30 3a 31 37 38 39 37 32 30 :17e4740:1789720
4830: 29 0d 0a 0d 0a 20 20 20 20 26 67 74 3b 26 67 74 ).... >>
4840: 3b 20 40 74 79 70 65 28 20 64 6f 75 62 6c 65 28 ; @type( double(
4850: 31 32 33 29 20 29 0d 0a 20 20 20 20 69 6e 74 0d 123) ).. int.
4860: 0a 0d 0a 20 20 45 76 65 72 79 20 75 73 65 72 2d ... Every user-
4870: 64 65 66 69 6e 65 64 20 66 75 6e 63 74 69 6f 6e defined function
4880: 73 20 61 72 65 20 61 75 74 6f 6d 61 74 69 63 61 s are automatica
4890: 6c 6c 79 20 22 6c 69 66 74 22 65 64 20 74 6f 20 lly "lift"ed to
48a0: 74 68 65 20 61 70 70 72 6f 70 72 69 61 74 65 20 the appropriate
48b0: 6c 61 79 65 72 2e 0d 0a 20 20 4f 6e 6c 79 20 70 layer... Only p
48c0: 72 69 6d 69 74 69 76 65 20 66 75 6e 63 74 69 6f rimitive functio
48d0: 6e 73 20 6c 69 6b 65 20 22 2b 22 20 72 65 71 75 ns like "+" requ
48e0: 69 72 65 73 20 40 79 6f 75 72 4e 65 77 4c 61 79 ires @yourNewLay
48f0: 65 72 20 61 6e 6e 6f 74 61 74 69 6f 6e 2e 0d 0a er annotation...
4900: 0d 0a 0d 0a 0d 0a 5b 4c 61 79 65 72 73 20 3a 3a ......[Layers ::
4910: 20 6e 65 75 74 72 61 6c 2d 6c 61 79 65 72 5d 0d neutral-layer].
4920: 0a 0d 0a 20 20 6c 65 74 7c 76 61 72 7c 64 65 66 ... let|var|def
4930: 20 69 73 20 74 6f 20 64 65 66 69 6e 65 20 61 20 is to define a
4940: 76 61 72 69 61 62 6c 65 20 69 6e 20 74 68 65 20 variable in the
4950: 22 63 75 72 72 65 6e 74 22 20 6c 61 79 65 72 2e "current" layer.
4960: 0d 0a 20 20 4e 6f 74 20 6e 65 63 65 73 73 61 72 .. Not necessar
4970: 79 20 74 6f 20 74 68 65 20 40 76 61 6c 75 65 20 y to the @value
4980: 6c 61 79 65 72 2e 0d 0a 0d 0a 20 20 20 20 26 67 layer..... &g
4990: 74 3b 26 67 74 3b 20 40 76 61 6c 75 65 28 20 6c t;> @value( l
49a0: 65 74 20 78 20 3d 20 31 20 69 6e 20 40 76 61 6c et x = 1 in @val
49b0: 75 65 28 78 29 20 29 0d 0a 20 20 20 20 31 0d 0a ue(x) ).. 1..
49c0: 0d 0a 20 20 20 20 26 67 74 3b 26 67 74 3b 20 40 .. >> @
49d0: 6d 61 63 72 6f 28 20 6c 65 74 20 78 20 3d 20 31 macro( let x = 1
49e0: 20 69 6e 20 40 76 61 6c 75 65 28 78 29 20 29 0d in @value(x) ).
49f0: 0a 20 20 20 20 70 6f 6c 65 6d 79 2e 66 61 69 6c . polemy.fail
4a00: 75 72 65 2e 52 75 6e 74 69 6d 65 45 78 63 65 70 ure.RuntimeExcep
4a10: 74 69 6f 6e 3a 20 5b 3c 52 45 50 4c 3e 3a 31 34 tion: [<REPL>:14
4a20: 3a 32 39 5d 20 76 61 72 69 61 62 6c 65 20 78 20 :29] variable x
4a30: 6e 6f 74 20 66 6f 75 6e 64 0d 0a 0d 0a 20 20 20 not found....
4a40: 20 26 67 74 3b 26 67 74 3b 20 40 6d 61 63 72 6f >> @macro
4a50: 28 20 6c 65 74 20 78 20 3d 20 31 20 69 6e 20 40 ( let x = 1 in @
4a60: 6d 61 63 72 6f 28 78 29 20 29 0d 0a 20 20 20 20 macro(x) )..
4a70: 7b 70 6f 73 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 {pos@value:{line
4a80: 6e 6f 40 76 61 6c 75 65 3a 31 35 2c 20 2e 2e 2e no@value:15, ...
4a90: 0d 0a 0d 0a 0d 0a 0d 0a 5b 4c 61 79 65 72 73 20 ........[Layers
4aa0: 3a 3a 20 4c 61 79 65 72 65 64 2d 50 61 72 61 6d :: Layered-Param
4ab0: 65 74 65 72 73 5d 0d 0a 0d 0a 20 20 20 20 26 67 eters].... &g
4ac0: 74 3b 26 67 74 3b 20 64 65 66 20 66 6f 6f 28 78 t;> def foo(x
4ad0: 20 40 6d 61 63 72 6f 20 40 76 61 6c 75 65 29 20 @macro @value)
4ae0: 7b 20 7b 66 73 74 3a 20 78 2c 20 73 6e 64 3a 20 { {fst: x, snd:
4af0: 40 6d 61 63 72 6f 28 78 29 7d 20 7d 0d 0a 20 20 @macro(x)} }..
4b00: 20 20 28 66 75 6e 63 74 69 6f 6e 3a 31 37 33 30 (function:1730
4b10: 33 36 30 3a 31 37 38 39 37 32 30 29 0d 0a 0d 0a 360:1789720)....
4b20: 20 20 49 66 20 79 6f 75 20 61 6e 6e 6f 74 61 74 If you annotat
4b30: 65 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d e function param
4b40: 65 74 65 72 73 20 62 79 20 40 4c 61 79 65 72 4e eters by @LayerN
4b50: 61 6d 65 73 2c 20 77 68 65 6e 20 79 6f 75 20 69 ames, when you i
4b60: 6e 76 6f 6b 65 20 74 68 65 20 66 75 6e 63 74 69 nvoke the functi
4b70: 6f 6e 2e 2e 2e 0d 0a 0d 0a 20 20 20 20 26 67 74 on....... >
4b80: 3b 26 67 74 3b 20 66 6f 6f 28 31 2b 32 29 0d 0a ;> foo(1+2)..
4b90: 20 20 20 20 7b 73 6e 64 40 76 61 6c 75 65 3a 20 {snd@value:
4ba0: 7b 70 6f 73 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 {pos@value:{line
4bb0: 6e 6f 40 76 61 6c 75 65 3a 31 37 2c 20 63 6f 6c no@value:17, col
4bc0: 75 6d 6e 40 76 61 6c 75 65 3a 35 2c 20 66 69 6c umn@value:5, fil
4bd0: 65 6e 61 6d 65 40 76 61 6c 75 65 3a 3c 52 45 50 ename@value:<REP
4be0: 4c 3e 7d 2c 0d 0a 20 20 20 20 20 20 20 20 20 20 L>},..
4bf0: 20 20 20 20 20 20 20 20 69 73 40 76 61 6c 75 65 is@value
4c00: 3a 61 70 70 2c 20 61 72 67 40 76 61 6c 75 65 3a :app, arg@value:
4c10: 7b 2e 2e 2e 0d 0a 20 20 20 20 2f 66 73 74 40 76 {..... /fst@v
4c20: 61 6c 75 65 3a 33 0d 0a 20 20 20 20 2f 7d 0d 0a alue:3.. /}..
4c30: 0d 0a 20 20 69 74 73 20 63 6f 72 72 65 73 70 6f .. its correspo
4c40: 6e 64 69 6e 67 20 61 72 67 75 6d 65 6e 74 73 20 nding arguments
4c50: 61 72 65 20 65 76 61 6c 75 61 74 65 64 20 69 6e are evaluated in
4c60: 20 74 68 65 20 6c 61 79 65 72 20 61 6e 64 20 70 the layer and p
4c70: 61 73 73 65 64 20 74 6f 20 69 74 2e 0d 0a 20 20 assed to it...
4c80: 49 66 20 79 6f 75 20 73 70 65 63 69 66 79 20 6d If you specify m
4c90: 75 6c 74 69 70 6c 65 20 6c 61 79 65 72 73 2c 20 ultiple layers,
4ca0: 74 68 65 20 61 72 67 75 6d 65 6e 74 20 65 78 70 the argument exp
4cb0: 72 65 73 73 69 6f 6e 20 69 73 20 72 75 6e 20 6d ression is run m
4cc0: 75 6c 74 69 70 6c 65 20 74 69 6d 65 73 2e 0d 0a ultiple times...
4cd0: 20 20 49 66 20 79 6f 75 20 64 6f 20 6e 6f 74 20 If you do not
4ce0: 73 70 65 63 69 66 79 20 61 6e 79 20 6c 61 79 65 specify any laye
4cf0: 72 20 66 6f 72 20 61 20 70 61 72 61 6d 65 74 65 r for a paramete
4d00: 72 2c 20 69 74 20 77 6f 72 6b 73 20 69 6e 20 74 r, it works in t
4d10: 68 65 20 6e 65 75 74 72 61 6c 20 6c 61 79 65 72 he neutral layer
4d20: 2e 0d 0a 3c 2f 70 72 65 3e 0d 0a 3c 2f 64 64 3e ...</pre>..</dd>
4d30: 0d 0a 0d 0a 0d 0a 0d 0a 3c 73 63 72 69 70 74 3e ........<script>
4d40: 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c 69 6e 65 explorer.outline
4d50: 2e 77 72 69 74 65 45 6e 61 62 6c 65 64 20 3d 20 .writeEnabled =
4d60: 74 72 75 65 3b 3c 2f 73 63 72 69 70 74 3e 0d 0a true;</script>..
4d70: 3c 64 74 3e 3c 73 70 61 6e 20 63 6c 61 73 73 3d <dt><span class=
4d80: 22 64 65 63 6c 22 3e 0d 0a 3c 73 70 61 6e 20 63 "decl">..<span c
4d90: 6c 61 73 73 3d 22 63 75 72 72 73 79 6d 62 6f 6c lass="currsymbol
4da0: 22 3e 4d 61 63 72 6f 20 4c 61 79 65 72 73 3c 2f ">Macro Layers</
4db0: 73 70 61 6e 3e 0d 0a 3c 73 63 72 69 70 74 3e 65 span>..<script>e
4dc0: 78 70 6c 6f 72 65 72 2e 6f 75 74 6c 69 6e 65 2e xplorer.outline.
4dd0: 61 64 64 44 65 63 6c 28 27 4d 61 63 72 6f 20 4c addDecl('Macro L
4de0: 61 79 65 72 73 27 29 3b 3c 2f 73 63 72 69 70 74 ayers');</script
4df0: 3e 0d 0a 0d 0a 3c 2f 73 70 61 6e 3e 3c 2f 64 74 >....</span></dt
4e00: 3e 0d 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f >..<script>explo
4e10: 72 65 72 2e 6f 75 74 6c 69 6e 65 2e 77 72 69 74 rer.outline.writ
4e20: 65 45 6e 61 62 6c 65 64 20 3d 20 66 61 6c 73 65 eEnabled = false
4e30: 3b 3c 2f 73 63 72 69 70 74 3e 0d 0a 0d 0a 20 3c ;</script>.... <
4e40: 64 64 3e 3c 70 3e 0d 0a 50 6f 6c 65 6d 79 20 e8 dd><p>..Polemy .
4e50: a8 80 e8 aa 9e e7 b5 84 e3 81 bf e8 be bc e3 81 ................
4e60: bf e3 81 ae e3 83 ac e3 82 a4 e3 83 a4 e3 81 af ................
4e70: 20 3c 63 6f 64 65 3e 40 76 61 6c 75 65 3c 2f 63 <code>@value</c
4e80: 6f 64 65 3e 20 e3 81 a8 20 3c 63 6f 64 65 3e 40 ode> ... <code>@
4e90: 6d 61 63 72 6f 3c 2f 63 6f 64 65 3e 20 e3 81 ae macro</code> ...
4ea0: e4 ba 8c e3 81 a4 e3 81 a7 e3 81 99 e3 80 82 0d ................
4eb0: 0a ef bc 88 e5 86 85 e9 83 a8 e7 9a 84 e3 81 ab ................
4ec0: e3 81 af e3 82 82 e3 81 86 e3 81 84 e3 81 8f e3 ................
4ed0: 81 a4 e3 81 8b e3 81 82 e3 82 8a e3 81 be e3 81 ................
4ee0: 99 e3 81 8c e3 80 81 e3 83 a6 e3 83 bc e3 82 b6 ................
4ef0: e3 81 8b e3 82 89 e7 9b b4 e6 8e a5 e3 81 af e4 ................
4f00: bd bf e3 81 88 e3 81 be e3 81 9b e3 82 93 e3 80 ................
4f10: 82 ef bc 89 0d 0a 3c 63 6f 64 65 3e 40 76 61 6c ......<code>@val
4f20: 75 65 3c 2f 63 6f 64 65 3e 20 e3 81 af e3 80 81 ue</code> ......
4f30: e3 80 8c e6 99 ae e9 80 9a e3 81 ab e3 80 8d e6 ................
4f40: 99 ae e9 80 9a e3 81 ae e3 82 bb e3 83 9e e3 83 ................
4f50: b3 e3 83 86 e3 82 a3 e3 82 af e3 82 b9 e3 81 a7 ................
4f60: e3 83 97 e3 83 ad e3 82 b0 e3 83 a9 e3 83 a0 e3 ................
4f70: 82 92 e5 ae 9f e8 a1 8c e3 81 99 e3 82 8b e3 83 ................
4f80: ac e3 82 a4 e3 83 a4 e3 81 a7 e3 81 97 e3 81 9f ................
4f90: e3 80 82 0d 0a 3c 63 6f 64 65 3e 40 6d 61 63 72 .....<code>@macr
4fa0: 6f 3c 2f 63 6f 64 65 3e 20 e3 81 af e3 80 81 e5 o</code> .......
4fb0: ae 9f e3 81 af e3 80 81 3c 63 6f 64 65 3e 40 76 ........<code>@v
4fc0: 61 6c 75 65 3c 2f 63 6f 64 65 3e 20 e3 82 88 e3 alue</code> ....
4fd0: 82 8a e3 82 82 e5 89 8d e3 81 ab e5 ae 9f e8 a1 ................
4fe0: 8c e3 81 95 e3 82 8c e3 82 8b e3 83 ac e3 82 a4 ................
4ff0: e3 83 a4 e3 81 a7 e3 80 81 0d 0a e3 80 8c e3 83 ................
5000: 97 e3 83 ad e3 82 b0 e3 83 a9 e3 83 a0 e3 82 92 ................
5010: e5 ae 9f e8 a1 8c e3 81 99 e3 82 8b e3 81 a8 e3 ................
5020: 81 9d e3 81 ae e6 a7 8b e6 96 87 e6 9c a8 e3 82 ................
5030: 92 e8 bf 94 e3 81 99 e3 80 8d e3 81 a8 e3 81 84 ................
5040: e3 81 86 e3 82 bb e3 83 9e e3 83 b3 e3 83 86 e3 ................
5050: 82 a3 e3 82 af e3 82 b9 e3 81 a7 e5 8b 95 e3 81 ................
5060: 8d e3 81 be e3 81 99 e3 80 82 0d 0a 3c 2f 70 3e ............</p>
5070: 0d 0a 3c 70 72 65 3e 0d 0a 20 20 20 20 28 e3 81 ..<pre>.. (..
5080: 93 e3 81 93 e3 81 ab e4 be 8b 29 0d 0a 3c 2f 70 ..........)..</p
5090: 72 65 3e 0d 0a 3c 70 3e 0d 0a e5 8b 95 e3 81 8d re>..<p>........
50a0: e3 81 a8 e3 81 97 e3 81 a6 e3 81 af e3 81 93 e3 ................
50b0: 81 86 e3 81 a7 e3 81 99 e3 80 82 0d 0a 3c 2f 70 .............</p
50c0: 3e 0d 0a 3c 6f 6c 3e 0d 0a 3c 6c 69 3e e9 96 a2 >..<ol>..<li>...
50d0: e6 95 b0 e5 91 bc e3 81 b3 e5 87 ba e3 81 97 e6 ................
50e0: 99 82 ef bc 88 e3 81 a8 e3 83 88 e3 83 83 e3 83 ................
50f0: 97 e3 83 ac e3 83 99 e3 83 ab e7 92 b0 e5 a2 83 ................
5100: e3 81 ae e5 ae 9f e8 a1 8c e9 96 8b e5 a7 8b e6 ................
5110: 99 82 ef bc 89 e3 81 ab e3 80 81 0d 0a 09 e3 81 ................
5120: be e3 81 9a e3 80 81 3c 63 6f 64 65 3e 40 6d 61 .......<code>@ma
5130: 63 72 6f 3c 2f 63 6f 64 65 3e 20 e3 83 ac e3 82 cro</code> .....
5140: a4 e3 83 a4 e3 81 a7 e3 82 b3 e3 83 bc e3 83 89 ................
5150: e3 82 92 e5 ae 9f e8 a1 8c e3 80 82 3c 2f 6c 69 ............</li
5160: 3e 0d 0a 3c 6c 69 3e e8 bf 94 e3 81 a3 e3 81 a6 >..<li>.........
5170: e3 81 8d e3 81 9f e6 a7 8b e6 96 87 e6 9c a8 e3 ................
5180: 82 92 e3 80 81 3c 63 6f 64 65 3e 40 76 61 6c 75 .....<code>@valu
5190: 65 3c 2f 63 6f 64 65 3e 20 e3 83 ac e3 82 a4 e3 e</code> .......
51a0: 83 a4 e3 80 81 0d 0a 09 e3 81 be e3 81 9f e3 81 ................
51b0: af e3 81 9d e3 81 ae e9 96 a2 e6 95 b0 e3 82 92 ................
51c0: e5 91 bc e3 81 b3 e5 87 ba e3 81 97 e3 81 9f e3 ................
51d0: 81 a8 e3 81 8d e3 81 ae e3 83 ac e3 82 a4 e3 83 ................
51e0: a4 e3 81 a7 e5 ae 9f e8 a1 8c e3 80 82 3c 2f 6c .............</l
51f0: 69 3e 0d 0a 3c 2f 6f 6c 3e 0d 0a 3c 70 3e 0d 0a i>..</ol>..<p>..
5200: 3c 63 6f 64 65 3e 40 6d 61 63 72 6f 3c 2f 63 6f <code>@macro</co
5210: 64 65 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 82 82 de> ............
5220: e6 89 80 e8 a9 ae e3 81 9f e3 81 a0 e3 81 ae e3 ................
5230: 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e3 81 99 e3 81 ................
5240: ae e3 81 a7 e3 80 81 0d 0a e4 b8 8a e3 81 a7 e8 ................
5250: aa ac e6 98 8e e3 81 97 e3 81 9f e6 96 b9 e6 b3 ................
5260: 95 e3 81 a7 20 3c 63 6f 64 65 3e 40 6d 61 63 72 .... <code>@macr
5270: 6f 3c 2f 63 6f 64 65 3e 20 e3 83 ac e3 82 a4 e3 o</code> .......
5280: 83 a4 e3 81 ab e9 96 a2 e6 95 b0 e3 81 aa e3 81 ................
5290: a9 e3 82 92 e7 99 bb e9 8c b2 e3 81 97 e3 81 a6 ................
52a0: e3 81 8a e3 81 8f e3 81 93 e3 81 a8 e3 81 a7 e3 ................
52b0: 80 81 0d 0a e6 a7 8b e6 96 87 e6 9c a8 e3 81 ae ................
52c0: e7 94 9f e6 88 90 e3 82 92 e3 81 84 e3 81 98 e3 ................
52d0: 82 8b e3 81 93 e3 81 a8 e3 81 8c e5 8f af e8 83 ................
52e0: bd e3 81 a7 e3 81 99 e3 80 82 e3 81 be e3 81 95 ................
52f0: e3 81 ab e3 83 9e e3 82 af e3 83 ad e3 80 82 0d ................
5300: 0a 3c 2f 70 3e 0d 0a 0d 0a 0d 0a 3c 73 63 72 69 .</p>......<scri
5310: 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c pt>explorer.outl
5320: 69 6e 65 2e 69 6e 63 53 79 6d 62 6f 6c 4c 65 76 ine.incSymbolLev
5330: 65 6c 28 29 3b 3c 2f 73 63 72 69 70 74 3e 0d 0a el();</script>..
5340: 3c 64 6c 3e 0d 0a 3c 73 63 72 69 70 74 3e 65 78 <dl>..<script>ex
5350: 70 6c 6f 72 65 72 2e 6f 75 74 6c 69 6e 65 2e 77 plorer.outline.w
5360: 72 69 74 65 45 6e 61 62 6c 65 64 20 3d 20 74 72 riteEnabled = tr
5370: 75 65 3b 3c 2f 73 63 72 69 70 74 3e 0d 0a 3c 64 ue;</script>..<d
5380: 74 3e 3c 73 70 61 6e 20 63 6c 61 73 73 3d 22 64 t><span class="d
5390: 65 63 6c 22 3e 0d 0a 3c 73 70 61 6e 20 63 6c 61 ecl">..<span cla
53a0: 73 73 3d 22 63 75 72 72 73 79 6d 62 6f 6c 22 3e ss="currsymbol">
53b0: e4 bd bf e3 81 84 e6 96 b9 3c 2f 73 70 61 6e 3e .........</span>
53c0: 0d 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 ..<script>explor
53d0: 65 72 2e 6f 75 74 6c 69 6e 65 2e 61 64 64 44 65 er.outline.addDe
53e0: 63 6c 28 27 e4 bd bf e3 81 84 e6 96 b9 27 29 3b cl('.........');
53f0: 3c 2f 73 63 72 69 70 74 3e 0d 0a 0d 0a 3c 2f 73 </script>....</s
5400: 70 61 6e 3e 3c 2f 64 74 3e 0d 0a 3c 73 63 72 69 pan></dt>..<scri
5410: 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c pt>explorer.outl
5420: 69 6e 65 2e 77 72 69 74 65 45 6e 61 62 6c 65 64 ine.writeEnabled
5430: 20 3d 20 66 61 6c 73 65 3b 3c 2f 73 63 72 69 70 = false;</scrip
5440: 74 3e 0d 0a 0d 0a 20 3c 64 64 3e 3c 70 72 65 3e t>.... <dd><pre>
5450: 0d 0a 20 20 20 57 68 65 6e 20 66 75 6e 63 74 69 .. When functi
5460: 6f 6e 20 69 73 20 69 6e 76 6f 6b 65 64 2c 20 69 on is invoked, i
5470: 74 20 66 69 72 73 74 20 72 75 6e 20 69 6e 20 74 t first run in t
5480: 68 65 20 40 6d 61 63 72 6f 20 6c 61 79 65 72 2c he @macro layer,
5490: 20 61 6e 64 20 61 66 74 65 72 20 74 68 61 74 2c and after that,
54a0: 0d 0a 20 20 20 69 74 20 72 75 6e 20 69 6e 20 74 .. it run in t
54b0: 68 65 20 6e 65 75 74 72 61 6c 20 6c 61 79 65 72 he neutral layer
54c0: 2e 20 48 65 72 65 20 69 73 20 61 6e 20 65 78 61 . Here is an exa
54d0: 6d 70 6c 65 2e 0d 0a 0d 0a 20 20 20 20 20 26 67 mple..... &g
54e0: 74 3b 26 67 74 3b 20 40 6d 61 63 72 6f 20 74 77 t;> @macro tw
54f0: 69 63 65 28 78 29 20 7b 20 78 3b 20 78 20 7d 0d ice(x) { x; x }.
5500: 0a 20 20 20 20 20 26 67 74 3b 26 67 74 3b 20 64 . >> d
5510: 65 66 20 66 28 29 20 7b 20 74 77 69 63 65 28 70 ef f() { twice(p
5520: 72 69 6e 74 28 22 48 65 6c 6c 6f 22 29 29 3b 20 rint("Hello"));
5530: 39 39 39 20 7d 0d 0a 20 20 20 20 20 28 66 75 6e 999 }.. (fun
5540: 63 74 69 6f 6e 3a 31 37 33 62 36 61 30 3a 31 37 ction:173b6a0:17
5550: 38 39 37 32 30 29 0d 0a 20 20 20 20 20 26 67 74 89720).. >
5560: 3b 26 67 74 3b 20 66 28 29 0d 0a 20 20 20 20 20 ;> f()..
5570: 48 65 6c 6c 6f 0d 0a 20 20 20 20 20 48 65 6c 6c Hello.. Hell
5580: 6f 0d 0a 20 20 20 20 20 39 39 39 0d 0a 0d 0a 20 o.. 999....
5590: 20 20 57 68 65 6e 20 74 68 65 20 69 6e 74 65 72 When the inter
55a0: 70 72 65 74 65 72 20 65 76 61 6c 75 61 74 65 73 preter evaluates
55b0: 20 66 28 29 2c 20 69 74 20 66 69 72 73 74 20 65 f(), it first e
55c0: 78 65 63 75 74 65 73 0d 0a 20 20 20 20 20 22 74 xecutes.. "t
55d0: 77 69 63 65 28 70 72 69 6e 74 28 22 48 65 6c 6c wice(print("Hell
55e0: 6f 22 29 29 3b 20 39 39 39 22 0d 0a 20 20 20 69 o")); 999".. i
55f0: 6e 20 74 68 65 20 40 6d 61 63 72 6f 20 6c 61 79 n the @macro lay
5600: 65 72 2e 20 42 61 73 69 63 61 6c 6c 79 20 77 68 er. Basically wh
5610: 61 74 20 69 74 20 64 6f 65 73 20 69 73 20 74 6f at it does is to
5620: 20 6a 75 73 74 20 63 6f 6e 73 74 72 75 63 74 20 just construct
5630: 69 74 73 20 73 79 6e 74 61 78 20 74 72 65 65 2e its syntax tree.
5640: 0d 0a 20 20 20 42 75 74 2c 20 73 69 6e 63 65 20 .. But, since
5650: 77 65 20 68 61 76 65 20 64 65 66 69 6e 65 64 20 we have defined
5660: 74 68 65 20 22 74 77 69 63 65 22 20 66 75 6e 63 the "twice" func
5670: 74 69 6f 6e 20 69 6e 20 74 68 65 20 40 6d 61 63 tion in the @mac
5680: 72 6f 20 6c 61 79 65 72 2c 20 69 74 20 69 73 0d ro layer, it is.
5690: 0a 20 20 20 65 78 65 63 75 74 65 20 61 73 20 61 . execute as a
56a0: 20 66 75 6e 63 74 69 6f 6e 2e 20 52 65 73 75 6c function. Resul
56b0: 74 69 6e 67 20 73 79 6e 74 61 78 20 74 72 65 65 ting syntax tree
56c0: 20 69 73 0d 0a 20 20 20 20 20 22 70 72 69 6e 74 is.. "print
56d0: 28 22 48 65 6c 6c 6f 22 29 3b 20 70 72 69 6e 74 ("Hello"); print
56e0: 28 22 48 65 6c 6c 6f 22 29 3b 20 39 39 39 22 0d ("Hello"); 999".
56f0: 0a 20 20 20 61 6e 64 20 74 68 69 73 20 69 73 20 . and this is
5700: 65 78 65 63 75 74 65 64 20 6f 6e 20 74 68 65 20 executed on the
5710: 6e 65 75 74 72 61 6c 20 28 69 6e 20 74 68 69 73 neutral (in this
5720: 20 65 78 61 6d 70 6c 65 2c 20 40 76 61 6c 75 65 example, @value
5730: 29 20 6c 61 79 65 72 2e 0d 0a 20 20 20 54 68 69 ) layer... Thi
5740: 73 20 69 73 20 74 68 65 20 72 65 61 73 6f 6e 20 s is the reason
5750: 77 68 79 20 79 6f 75 20 73 65 65 20 74 77 6f 20 why you see two
5760: 22 48 65 6c 6c 6f 22 73 2e 0d 0a 0d 0a 20 20 20 "Hello"s.....
5770: 20 20 20 5b 5b 71 75 6f 74 65 20 61 6e 64 20 75 [[quote and u
5780: 6e 71 75 6f 74 65 5d 5d 0d 0a 0d 0a 20 20 20 48 nquote]].... H
5790: 65 72 65 20 69 73 20 6d 6f 72 65 20 69 6e 76 6f ere is more invo
57a0: 6c 76 65 64 20 65 78 61 6d 70 6c 65 20 6f 66 20 lved example of
57b0: 63 6f 64 65 20 67 65 6e 72 61 74 69 6f 6e 2e 0d code genration..
57c0: 0a 20 20 20 46 72 6f 6d 20 22 78 22 2c 20 69 74 . From "x", it
57d0: 20 67 65 6e 65 72 61 74 65 73 20 22 78 2a 78 2a generates "x*x*
57e0: 78 2a 78 2a 78 2a 78 2a 78 2a 78 2a 78 2a 78 22 x*x*x*x*x*x*x*x"
57f0: 2e 0d 0a 0d 0a 20 20 20 20 20 40 6d 61 63 72 6f ..... @macro
5800: 20 70 6f 77 31 30 28 78 29 20 7b 0d 0a 20 20 20 pow10(x) {..
5810: 20 20 20 20 40 76 61 6c 75 65 28 0d 0a 20 20 20 @value(..
5820: 20 20 20 20 20 20 64 65 66 20 70 6f 77 28 78 2c def pow(x,
5830: 20 6e 29 20 7b 0d 0a 20 20 20 20 20 20 20 20 20 n) {..
5840: 20 20 69 66 28 20 6e 20 3d 3d 20 31 20 29 20 7b if( n == 1 ) {
5850: 20 78 20 7d 0d 0a 20 20 20 20 20 20 20 20 20 20 x }..
5860: 20 65 6c 73 65 20 7b 0d 0a 20 20 20 20 20 20 20 else {..
5870: 20 20 20 20 20 20 40 6d 61 63 72 6f 28 20 40 76 @macro( @v
5880: 61 6c 75 65 28 78 29 20 2a 20 40 76 61 6c 75 65 alue(x) * @value
5890: 28 70 6f 77 28 78 2c 6e 2d 31 29 29 20 29 0d 0a (pow(x,n-1)) )..
58a0: 20 20 20 20 20 20 20 20 20 20 20 7d 0d 0a 20 20 }..
58b0: 20 20 20 20 20 20 20 7d 0d 0a 20 20 20 20 20 20 }..
58c0: 20 20 20 69 6e 0d 0a 20 20 20 20 20 20 20 20 20 in..
58d0: 20 20 70 6f 77 28 40 6d 61 63 72 6f 28 78 29 2c pow(@macro(x),
58e0: 31 30 29 0d 0a 20 20 20 20 20 20 20 29 0d 0a 20 10).. )..
58f0: 20 20 20 20 7d 3b 0d 0a 0d 0a 20 20 20 48 65 72 };.... Her
5900: 65 2c 20 78 20 69 73 20 61 20 73 79 6e 74 61 78 e, x is a syntax
5910: 20 74 72 65 65 20 62 75 74 20 6e 20 69 73 20 61 tree but n is a
5920: 6e 20 61 63 74 75 61 6c 20 69 6e 74 65 67 65 72 n actual integer
5930: 2e 20 49 66 20 79 6f 75 20 72 65 61 64 20 63 61 . If you read ca
5940: 72 65 66 75 6c 6c 79 2c 0d 0a 20 20 20 79 6f 75 refully,.. you
5950: 20 73 68 6f 75 6c 64 20 67 65 74 20 77 68 61 74 should get what
5960: 20 69 73 20 67 6f 69 6e 67 20 6f 6e 2e 20 42 61 is going on. Ba
5970: 73 69 63 61 6c 6c 79 2c 20 40 6d 61 63 72 6f 20 sically, @macro
5980: 63 61 6e 20 62 65 20 63 6f 6e 73 69 64 65 72 65 can be considere
5990: 64 20 6c 69 6b 65 0d 0a 20 20 20 71 75 61 73 69 d like.. quasi
59a0: 71 75 6f 74 69 6e 67 20 61 6e 64 20 40 76 61 6c quoting and @val
59b0: 75 65 20 74 6f 20 62 65 20 61 6e 20 65 73 63 61 ue to be an esca
59c0: 70 65 20 66 72 6f 6d 20 69 74 2e 0d 0a 3c 2f 70 pe from it...</p
59d0: 72 65 3e 0d 0a 3c 70 3e 0d 0a e6 a7 8b e6 96 87 re>..<p>........
59e0: e6 9c a8 e3 81 8c e3 81 a9 e3 81 ae e3 82 88 e3 ................
59f0: 81 86 e3 81 aa e3 83 86 e3 83 bc e3 83 96 e3 83 ................
5a00: ab e3 81 a7 e6 b8 a1 e3 81 95 e3 82 8c e3 81 a6 ................
5a10: e3 81 8f e3 82 8b e3 81 8b e3 81 ab e3 81 a4 e3 ................
5a20: 81 84 e3 81 a6 e3 81 af e3 80 81 e3 82 bd e3 83 ................
5a30: bc e3 82 b9 e3 83 89 e3 82 ad e3 83 a5 e3 83 a1 ................
5a40: e3 83 b3 e3 83 88 e3 81 ae 0d 0a 3c 61 20 68 72 ...........<a hr
5a50: 65 66 3d 22 68 74 74 70 3a 2f 2f 77 77 77 2e 6b ef="http://www.k
5a60: 6d 6f 6e 6f 73 2e 6e 65 74 2f 72 65 70 6f 73 2f monos.net/repos/
5a70: 70 6f 6c 65 6d 79 2f 64 6f 63 2f 74 69 70 2f 64 polemy/doc/tip/d
5a80: 6f 63 2f 61 73 74 2e 68 74 6d 6c 22 3e 70 6f 6c oc/ast.html">pol
5a90: 65 6d 79 2e 61 73 74 3c 2f 61 3e 0d 0a e3 81 ae emy.ast</a>.....
5aa0: e3 83 9a e3 83 bc e3 82 b8 e3 82 92 e3 81 94 e8 ................
5ab0: a6 a7 e4 b8 8b e3 81 95 e3 81 84 e3 80 82 e4 be ................
5ac0: 8b e3 81 88 e3 81 b0 e5 a4 89 e6 95 b0 e5 90 8d ................
5ad0: e3 82 92 e8 a1 a8 e3 81 99 20 3c 63 6f 64 65 3e ......... <code>
5ae0: 56 61 72 3c 2f 63 6f 64 65 3e 20 e3 82 af e3 83 Var</code> .....
5af0: a9 e3 82 b9 e3 81 ab e3 81 af e3 80 81 0d 0a e7 ................
5b00: b6 99 e6 89 bf e3 81 ae e5 88 86 e3 82 82 e5 90 ................
5b10: 88 e3 82 8f e3 81 9b e3 81 a6 0d 0a 3c 74 74 3e ............<tt>
5b20: 3c 61 20 68 72 65 66 3d 22 68 74 74 70 3a 2f 2f <a href="http://
5b30: 77 77 77 2e 6b 6d 6f 6e 6f 73 2e 6e 65 74 2f 72 www.kmonos.net/r
5b40: 65 70 6f 73 2f 70 6f 6c 65 6d 79 2f 64 6f 63 2f epos/polemy/doc/
5b50: 74 69 70 2f 64 6f 63 2f 66 61 69 6c 75 72 65 2e tip/doc/failure.
5b60: 68 74 6d 6c 22 3e 4c 65 78 50 6f 73 69 74 69 6f html">LexPositio
5b70: 6e 3c 2f 61 3e 20 70 6f 73 3b 3c 2f 74 74 3e 0d n</a> pos;</tt>.
5b80: 0a e3 81 a8 20 3c 74 74 3e 73 74 72 69 6e 67 20 .... <tt>string
5b90: 6e 61 6d 65 3b 3c 2f 74 74 3e 20 e3 81 ae ef bc name;</tt> .....
5ba0: 92 e3 81 a4 e3 81 ae e3 83 a1 e3 83 b3 e3 83 90 ................
5bb0: e3 81 8c e3 81 82 e3 82 8b e3 81 ae e3 81 a7 0d ................
5bc0: 0a 3c 2f 70 3e 0d 0a 3c 70 72 65 3e 0d 0a 20 20 .</p>..<pre>..
5bd0: 20 20 7b 20 69 73 3a 20 20 20 22 56 61 72 22 2c { is: "Var",
5be0: 0d 0a 20 20 20 20 20 20 70 6f 73 3a 20 20 7b 66 .. pos: {f
5bf0: 69 6c 65 6e 61 6d 65 3a 22 66 6f 6f 2e 70 6d 79 ilename:"foo.pmy
5c00: 22 2c 20 6c 69 6e 65 6e 6f 3a 31 32 33 2c 20 63 ", lineno:123, c
5c10: 6f 6c 75 6d 6e 3a 34 35 7d 2c 0d 0a 20 20 20 20 olumn:45},..
5c20: 20 20 6e 61 6d 65 3a 20 22 78 22 20 7d 0d 0a 3c name: "x" }..<
5c30: 2f 70 72 65 3e 0d 0a 3c 70 3e 0d 0a e3 81 93 e3 /pre>..<p>......
5c40: 82 93 e3 81 aa e6 84 9f e3 81 98 e3 81 ae e3 83 ................
5c50: 86 e3 83 bc e3 83 96 e3 83 ab e3 81 ab e3 81 aa ................
5c60: e3 82 8a e3 81 be e3 81 99 e3 80 82 0d 0a e3 82 ................
5c70: af e3 83 a9 e3 82 b9 e5 90 8d e3 81 8c 20 3c 74 ............. <t
5c80: 74 3e 69 73 3c 2f 74 74 3e 20 e3 83 95 e3 82 a3 t>is</tt> ......
5c90: e3 83 bc e3 83 ab e3 83 89 e3 81 ab e3 80 81 e3 ................
5ca0: 83 a1 e3 83 b3 e3 83 90 e5 a4 89 e6 95 b0 e3 81 ................
5cb0: af e3 81 9d e3 81 ae e3 81 be e3 81 be e3 81 ae ................
5cc0: e5 90 8d e5 89 8d e3 81 a7 e5 85 a5 e3 82 8a e3 ................
5cd0: 81 be e3 81 99 e3 80 82 0d 0a e9 85 8d e5 88 97 ................
5ce0: e3 83 a1 e3 83 b3 e3 83 90 e3 81 af 20 63 6f 6e ............ con
5cf0: 73 20 e3 83 aa e3 82 b9 e3 83 88 e3 81 ab e3 81 s ..............
5d00: aa e3 81 a3 e3 81 a6 e5 85 a5 e3 81 a3 e3 81 a6 ................
5d10: e3 81 8d e3 81 be e3 81 99 e3 80 82 0d 0a 3c 2f ..............</
5d20: 70 3e 0d 0a 3c 2f 64 64 3e 0d 0a 0d 0a 3c 73 63 p>..</dd>....<sc
5d30: 72 69 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 ript>explorer.ou
5d40: 74 6c 69 6e 65 2e 77 72 69 74 65 45 6e 61 62 6c tline.writeEnabl
5d50: 65 64 20 3d 20 74 72 75 65 3b 3c 2f 73 63 72 69 ed = true;</scri
5d60: 70 74 3e 0d 0a 3c 64 74 3e 3c 73 70 61 6e 20 63 pt>..<dt><span c
5d70: 6c 61 73 73 3d 22 64 65 63 6c 22 3e 0d 0a 3c 73 lass="decl">..<s
5d80: 70 61 6e 20 63 6c 61 73 73 3d 22 63 75 72 72 73 pan class="currs
5d90: 79 6d 62 6f 6c 22 3e e5 be ae e5 a6 99 e3 81 aa ymbol">.........
5da0: e6 8c 99 e5 8b 95 3c 2f 73 70 61 6e 3e 0d 0a 3c ......</span>..<
5db0: 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 65 72 2e script>explorer.
5dc0: 6f 75 74 6c 69 6e 65 2e 61 64 64 44 65 63 6c 28 outline.addDecl(
5dd0: 27 e5 be ae e5 a6 99 e3 81 aa e6 8c 99 e5 8b 95 '...............
5de0: 27 29 3b 3c 2f 73 63 72 69 70 74 3e 0d 0a 0d 0a ');</script>....
5df0: 3c 2f 73 70 61 6e 3e 3c 2f 64 74 3e 0d 0a 3c 73 </span></dt>..<s
5e00: 63 72 69 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f cript>explorer.o
5e10: 75 74 6c 69 6e 65 2e 77 72 69 74 65 45 6e 61 62 utline.writeEnab
5e20: 6c 65 64 20 3d 20 66 61 6c 73 65 3b 3c 2f 73 63 led = false;</sc
5e30: 72 69 70 74 3e 0d 0a 0d 0a 20 3c 64 64 3e 3c 70 ript>.... <dd><p
5e40: 72 65 3e 0d 0a 20 20 20 28 72 61 77 6d 61 63 72 re>.. (rawmacr
5e50: 6f 29 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 ae e8 o) .............
5e60: a9 b1 0d 0a 0d 0a 20 20 20 20 20 20 5b 5b 6c 69 ...... [[li
5e70: 6d 69 74 61 74 69 6f 6e 73 5d 5d 0d 0a 0d 0a 20 mitations]]....
5e80: 20 20 54 68 69 73 20 40 6d 61 63 72 6f 20 6c 61 This @macro la
5e90: 79 65 72 20 69 73 20 61 20 76 65 72 79 20 70 72 yer is a very pr
5ea0: 69 6d 69 74 69 76 65 20 6f 6e 65 2c 20 61 6e 64 imitive one, and
5eb0: 20 6e 6f 74 20 61 20 70 65 72 66 65 63 74 20 6d not a perfect m
5ec0: 61 63 72 6f 20 6c 61 6e 67 75 61 67 65 2e 0d 0a acro language...
5ed0: 20 20 20 54 77 6f 20 6d 61 6a 6f 72 20 6c 69 6d Two major lim
5ee0: 69 74 61 74 69 6f 6e 73 20 61 72 65 20 73 65 65 itations are see
5ef0: 6e 20 69 6e 20 74 68 65 20 66 6f 6c 6c 6f 77 69 n in the followi
5f00: 6e 67 20 22 69 74 22 20 65 78 61 6d 70 6c 65 2e ng "it" example.
5f10: 0d 0a 0d 0a 20 20 20 20 20 26 67 74 3b 26 67 74 .... >>
5f20: 3b 20 40 6d 61 63 72 6f 20 4c 65 74 49 74 42 65 ; @macro LetItBe
5f30: 28 78 2c 20 79 29 20 7b 20 6c 65 74 20 69 74 20 (x, y) { let it
5f40: 3d 20 78 20 69 6e 20 79 20 7d 3b 0d 0a 0d 0a 20 = x in y };....
5f50: 20 20 54 68 65 20 76 61 72 69 61 62 6c 65 20 6e The variable n
5f60: 61 6d 65 20 69 73 20 6e 6f 74 20 68 79 67 65 6e ame is not hygen
5f70: 69 63 2c 20 61 6e 64 20 73 6f 20 77 69 74 68 6f ic, and so witho
5f80: 75 74 20 61 6e 79 20 65 66 66 6f 72 74 2c 20 74 ut any effort, t
5f90: 68 65 20 73 79 6e 74 61 78 20 74 72 65 65 20 22 he syntax tree "
5fa0: 79 22 0d 0a 20 20 20 63 61 6e 20 61 63 63 65 73 y".. can acces
5fb0: 73 20 74 68 65 20 6f 75 74 65 72 20 76 61 72 69 s the outer vari
5fc0: 61 62 6c 65 20 22 69 74 22 2e 0d 0a 0d 0a 20 20 able "it".....
5fd0: 20 20 20 26 67 74 3b 26 67 74 3b 20 64 65 66 20 >> def
5fe0: 66 6f 6f 28 29 20 7b 20 4c 65 74 49 74 42 65 28 foo() { LetItBe(
5ff0: 20 31 2b 32 2b 33 2c 20 69 74 2a 69 74 20 29 20 1+2+3, it*it )
6000: 7d 0d 0a 20 20 20 20 20 26 67 74 3b 26 67 74 3b }.. >>
6010: 20 66 6f 6f 28 29 0d 0a 20 20 20 20 20 33 36 0d foo().. 36.
6020: 0a 0d 0a 20 20 20 4f 66 20 63 6f 75 72 73 65 2c ... Of course,
6030: 20 74 68 69 73 20 69 73 20 6e 6f 74 20 6a 75 73 this is not jus
6040: 74 20 61 20 6c 69 6d 69 74 61 74 69 6f 6e 3b 20 t a limitation;
6050: 69 74 20 63 61 6e 20 73 6f 6d 65 74 69 6d 65 73 it can sometimes
6060: 20 61 6c 6c 6f 77 20 75 73 20 74 6f 20 77 72 69 allow us to wri
6070: 74 65 0d 0a 20 20 20 6d 61 6e 79 20 69 6e 74 65 te.. many inte
6080: 72 65 73 74 69 6e 67 20 6d 61 63 72 6f 73 2e 0d resting macros..
6090: 0a 0d 0a 20 20 20 54 68 65 20 6f 74 68 65 72 20 ... The other
60a0: 70 72 6f 62 6c 65 6d 20 69 73 20 74 68 61 74 20 problem is that
60b0: 74 68 65 20 6d 61 63 72 6f 20 65 78 70 61 6e 73 the macro expans
60c0: 69 6f 6e 20 69 73 20 6f 6e 6c 79 20 64 6f 6e 65 ion is only done
60d0: 20 61 74 20 66 75 6e 63 74 69 6f 6e 20 73 74 61 at function sta
60e0: 72 74 75 70 2e 0d 0a 20 20 20 53 6f 20 0d 0a 0d rtup... So ...
60f0: 0a 20 20 20 20 20 26 67 74 3b 26 67 74 3b 20 4c . >> L
6100: 65 74 49 74 42 65 28 20 31 2b 32 2b 33 2c 20 69 etItBe( 1+2+3, i
6110: 74 2a 69 74 20 29 0d 0a 20 20 20 20 20 2e 2e 2e t*it ).. ...
6120: 5c 76 61 6c 75 65 2e 64 28 31 37 33 29 3a 20 5b \value.d(173): [
6130: 3c 52 45 50 4c 3e 3a 32 34 3a 31 5d 20 76 61 72 <REPL>:24:1] var
6140: 69 61 62 6c 65 20 4c 65 74 49 74 42 65 20 69 73 iable LetItBe is
6150: 20 6e 6f 74 20 73 65 74 20 69 6e 20 6c 61 79 65 not set in laye
6160: 72 20 40 76 61 6c 75 65 0d 0a 0d 0a 20 20 20 79 r @value.... y
6170: 6f 75 20 63 61 6e 6e 6f 74 20 64 69 72 65 63 74 ou cannot direct
6180: 6c 79 20 75 73 65 20 74 68 65 20 6d 61 63 72 6f ly use the macro
6190: 20 69 6e 20 74 68 65 20 73 61 6d 65 20 73 63 6f in the same sco
61a0: 70 65 20 61 73 20 74 68 65 20 64 65 66 69 6e 69 pe as the defini
61b0: 74 69 6f 6e 2e 0d 0a 20 20 20 59 6f 75 20 6e 65 tion... You ne
61c0: 65 64 20 74 6f 20 77 72 61 70 20 69 74 20 75 70 ed to wrap it up
61d0: 20 69 6e 20 61 20 66 75 6e 63 74 69 6f 6e 20 28 in a function (
61e0: 6c 69 6b 65 20 74 68 65 20 66 6f 6f 28 29 20 69 like the foo() i
61f0: 6e 20 74 68 65 20 61 62 6f 76 65 20 65 78 61 6d n the above exam
6200: 70 6c 65 29 2e 0d 0a 3c 2f 70 72 65 3e 0d 0a 3c ple)...</pre>..<
6210: 2f 64 64 3e 0d 0a 3c 2f 64 6c 3e 0d 0a 3c 73 63 /dd>..</dl>..<sc
6220: 72 69 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 ript>explorer.ou
6230: 74 6c 69 6e 65 2e 64 65 63 53 79 6d 62 6f 6c 4c tline.decSymbolL
6240: 65 76 65 6c 28 29 3b 3c 2f 73 63 72 69 70 74 3e evel();</script>
6250: 0d 0a 0d 0a 0d 0a 3c 2f 64 64 3e 0d 0a 0d 0a 0d ......</dd>.....
6260: 0a 0d 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f ...<script>explo
6270: 72 65 72 2e 6f 75 74 6c 69 6e 65 2e 77 72 69 74 rer.outline.writ
6280: 65 45 6e 61 62 6c 65 64 20 3d 20 74 72 75 65 3b eEnabled = true;
6290: 3c 2f 73 63 72 69 70 74 3e 0d 0a 3c 64 74 3e 3c </script>..<dt><
62a0: 73 70 61 6e 20 63 6c 61 73 73 3d 22 64 65 63 6c span class="decl
62b0: 22 3e 0d 0a 3c 73 70 61 6e 20 63 6c 61 73 73 3d ">..<span class=
62c0: 22 63 75 72 72 73 79 6d 62 6f 6c 22 3e 42 75 69 "currsymbol">Bui
62d0: 6c 74 2d 69 6e 20 50 72 69 6d 69 74 69 76 65 73 lt-in Primitives
62e0: 3c 2f 73 70 61 6e 3e 0d 0a 3c 73 63 72 69 70 74 </span>..<script
62f0: 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c 69 6e >explorer.outlin
6300: 65 2e 61 64 64 44 65 63 6c 28 27 42 75 69 6c 74 e.addDecl('Built
6310: 2d 69 6e 20 50 72 69 6d 69 74 69 76 65 73 27 29 -in Primitives')
6320: 3b 3c 2f 73 63 72 69 70 74 3e 0d 0a 0d 0a 3c 2f ;</script>....</
6330: 73 70 61 6e 3e 3c 2f 64 74 3e 0d 0a 3c 73 63 72 span></dt>..<scr
6340: 69 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 ipt>explorer.out
6350: 6c 69 6e 65 2e 77 72 69 74 65 45 6e 61 62 6c 65 line.writeEnable
6360: 64 20 3d 20 66 61 6c 73 65 3b 3c 2f 73 63 72 69 d = false;</scri
6370: 70 74 3e 0d 0a 0d 0a 20 3c 64 64 3e 3c 70 3e 0d pt>.... <dd><p>.
6380: 0a e7 b5 84 e3 81 bf e8 be bc e3 81 bf e9 96 a2 ................
6390: e6 95 b0 e3 83 bb e5 a4 89 e6 95 b0 e3 81 ae e4 ................
63a0: b8 80 e8 a6 a7 e3 80 82 0d 0a 3c 2f 70 3e 0d 0a ..........</p>..
63b0: 0d 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 ..<script>explor
63c0: 65 72 2e 6f 75 74 6c 69 6e 65 2e 69 6e 63 53 79 er.outline.incSy
63d0: 6d 62 6f 6c 4c 65 76 65 6c 28 29 3b 3c 2f 73 63 mbolLevel();</sc
63e0: 72 69 70 74 3e 0d 0a 3c 64 6c 3e 0d 0a 3c 73 63 ript>..<dl>..<sc
63f0: 72 69 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 ript>explorer.ou
6400: 74 6c 69 6e 65 2e 77 72 69 74 65 45 6e 61 62 6c tline.writeEnabl
6410: 65 64 20 3d 20 74 72 75 65 3b 3c 2f 73 63 72 69 ed = true;</scri
6420: 70 74 3e 0d 0a 3c 64 74 3e 3c 73 70 61 6e 20 63 pt>..<dt><span c
6430: 6c 61 73 73 3d 22 64 65 63 6c 22 3e 0d 0a 3c 73 lass="decl">..<s
6440: 70 61 6e 20 63 6c 61 73 73 3d 22 63 75 72 72 73 pan class="currs
6450: 79 6d 62 6f 6c 22 3e e3 83 86 e3 83 bc e3 83 96 ymbol">.........
6460: e3 83 ab e6 93 8d e4 bd 9c 3c 2f 73 70 61 6e 3e .........</span>
6470: 0d 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 ..<script>explor
6480: 65 72 2e 6f 75 74 6c 69 6e 65 2e 61 64 64 44 65 er.outline.addDe
6490: 63 6c 28 27 e3 83 86 e3 83 bc e3 83 96 e3 83 ab cl('............
64a0: e6 93 8d e4 bd 9c 27 29 3b 3c 2f 73 63 72 69 70 ......');</scrip
64b0: 74 3e 0d 0a 0d 0a 3c 2f 73 70 61 6e 3e 3c 2f 64 t>....</span></d
64c0: 74 3e 0d 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c t>..<script>expl
64d0: 6f 72 65 72 2e 6f 75 74 6c 69 6e 65 2e 77 72 69 orer.outline.wri
64e0: 74 65 45 6e 61 62 6c 65 64 20 3d 20 66 61 6c 73 teEnabled = fals
64f0: 65 3b 3c 2f 73 63 72 69 70 74 3e 0d 0a 0d 0a 20 e;</script>....
6500: 3c 64 64 3e 20 3c 74 61 62 6c 65 3e 20 20 20 3c <dd> <table> <
6510: 74 72 3e 3c 74 68 3e 7b 7d 3c 2f 74 68 3e 20 3c tr><th>{}</th> <
6520: 74 64 3e 28 29 3c 2f 74 64 3e 20 3c 74 64 3e e7 td>()</td> <td>.
6530: a9 ba e3 81 ae e3 83 86 e3 83 bc e3 83 96 e3 83 ................
6540: ab e3 82 92 e4 bd 9c e3 82 8b 3c 2f 74 64 3e 3c ..........</td><
6550: 2f 74 72 3e 0d 0a 20 20 20 20 3c 74 72 3e 3c 74 /tr>.. <tr><t
6560: 68 3e 2e 3c 2f 74 68 3e 20 3c 74 64 3e 28 74 2c h>.</th> <td>(t,
6570: 20 73 29 3c 2f 74 64 3e 20 3c 74 64 3e e3 83 86 s)</td> <td>...
6580: e3 83 bc e3 83 96 e3 83 ab 20 74 20 e3 81 ae e5 ......... t ....
6590: 90 8d e5 89 8d 20 73 20 e3 81 ae e3 83 95 e3 82 ..... s ........
65a0: a3 e3 83 bc e3 83 ab e3 83 89 e3 81 ae e5 80 a4 ................
65b0: e3 82 92 e5 8f 96 e5 be 97 e3 80 82 e3 81 aa e3 ................
65c0: 81 91 e3 82 8c e3 81 b0 20 3c 74 74 3e 75 6e 64 ........ <tt>und
65d0: 65 66 69 6e 65 64 3c 2f 74 74 3e 3c 2f 74 64 3e efined</tt></td>
65e0: 3c 2f 74 72 3e 0d 0a 20 20 20 20 3c 74 72 3e 3c </tr>.. <tr><
65f0: 74 68 3e 2e 3f 3c 2f 74 68 3e 20 3c 74 64 3e 28 th>.?</th> <td>(
6600: 74 2c 20 73 29 3c 2f 74 64 3e 20 3c 74 64 3e e3 t, s)</td> <td>.
6610: 83 86 e3 83 bc e3 83 96 e3 83 ab 20 74 20 e3 81 ........... t ..
6620: ab e5 90 8d e5 89 8d 20 73 20 e3 81 ae e3 83 95 ....... s ......
6630: e3 82 a3 e3 83 bc e3 83 ab e3 83 89 e3 81 8c e3 ................
6640: 81 82 e3 82 8c e3 81 b0 20 31 e3 80 81 e3 81 aa ........ 1......
6650: e3 81 91 e3 82 8c e3 81 b0 20 30 3c 2f 74 64 3e ......... 0</td>
6660: 3c 2f 74 72 3e 0d 0a 20 20 20 20 3c 74 72 3e 3c </tr>.. <tr><
6670: 74 68 3e 2e 3d 3c 2f 74 68 3e 20 3c 74 64 3e 28 th>.=</th> <td>(
6680: 74 2c 20 73 2c 20 76 29 3c 2f 74 64 3e 20 3c 74 t, s, v)</td> <t
6690: 64 3e e3 83 86 e3 83 bc e3 83 96 e3 83 ab 20 74 d>............ t
66a0: 20 e3 82 92 e8 a6 aa e3 81 ab e6 8c 81 e3 81 a1 ...............
66b0: e3 80 81 e5 90 8d e5 89 8d 20 73 20 e3 81 ae e3 ......... s ....
66c0: 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89 e3 81 ................
66d0: ab 20 76 20 e3 81 8c e5 85 a5 e3 81 a3 e3 81 9f . v ............
66e0: e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3 82 92 e4 ................
66f0: bd 9c e3 82 8b 3c 2f 74 64 3e 3c 2f 74 72 3e 0d .....</td></tr>.
6700: 0a 20 20 3c 2f 74 61 62 6c 65 3e 0d 0a 3c 2f 64 . </table>..</d
6710: 64 3e 0d 0a 3c 62 72 20 2f 3e 0d 0a 0d 0a 0d 0a d>..<br />......
6720: 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 65 72 <script>explorer
6730: 2e 6f 75 74 6c 69 6e 65 2e 77 72 69 74 65 45 6e .outline.writeEn
6740: 61 62 6c 65 64 20 3d 20 74 72 75 65 3b 3c 2f 73 abled = true;</s
6750: 63 72 69 70 74 3e 0d 0a 3c 64 74 3e 3c 73 70 61 cript>..<dt><spa
6760: 6e 20 63 6c 61 73 73 3d 22 64 65 63 6c 22 3e 0d n class="decl">.
6770: 0a 3c 73 70 61 6e 20 63 6c 61 73 73 3d 22 63 75 .<span class="cu
6780: 72 72 73 79 6d 62 6f 6c 22 3e e5 88 b6 e5 be a1 rrsymbol">......
6790: e3 83 95 e3 83 ad e3 83 bc 3c 2f 73 70 61 6e 3e .........</span>
67a0: 0d 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 ..<script>explor
67b0: 65 72 2e 6f 75 74 6c 69 6e 65 2e 61 64 64 44 65 er.outline.addDe
67c0: 63 6c 28 27 e5 88 b6 e5 be a1 e3 83 95 e3 83 ad cl('............
67d0: e3 83 bc 27 29 3b 3c 2f 73 63 72 69 70 74 3e 0d ...');</script>.
67e0: 0a 0d 0a 3c 2f 73 70 61 6e 3e 3c 2f 64 74 3e 0d ...</span></dt>.
67f0: 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 65 .<script>explore
6800: 72 2e 6f 75 74 6c 69 6e 65 2e 77 72 69 74 65 45 r.outline.writeE
6810: 6e 61 62 6c 65 64 20 3d 20 66 61 6c 73 65 3b 3c nabled = false;<
6820: 2f 73 63 72 69 70 74 3e 0d 0a 0d 0a 20 3c 64 64 /script>.... <dd
6830: 3e 20 3c 74 61 62 6c 65 3e 20 20 20 3c 74 72 3e > <table> <tr>
6840: 3c 74 68 3e 69 66 3c 2f 74 68 3e 20 3c 74 64 3e <th>if</th> <td>
6850: 28 6e 2c 20 66 74 2c 20 66 65 29 3c 2f 74 64 3e (n, ft, fe)</td>
6860: 20 3c 74 64 3e 6e 20 e3 81 8c e9 9d 9e 20 30 20 <td>n ...... 0
6870: e3 81 aa e3 82 89 20 3c 74 74 3e 66 74 28 29 3c ...... <tt>ft()<
6880: 2f 74 3e e3 80 81 30 20 e3 81 aa e3 82 89 20 3c /t>...0 ...... <
6890: 74 74 3e 66 65 28 29 3c 2f 74 74 3e 20 e3 82 92 tt>fe()</tt> ...
68a0: e5 ae 9f e8 a1 8c 3c 2f 74 64 3e 3c 2f 74 72 3e ......</td></tr>
68b0: 0d 0a 20 20 3c 2f 74 61 62 6c 65 3e 0d 0a 3c 2f .. </table>..</
68c0: 64 64 3e 0d 0a 3c 62 72 20 2f 3e 0d 0a 0d 0a 0d dd>..<br />.....
68d0: 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 65 .<script>explore
68e0: 72 2e 6f 75 74 6c 69 6e 65 2e 77 72 69 74 65 45 r.outline.writeE
68f0: 6e 61 62 6c 65 64 20 3d 20 74 72 75 65 3b 3c 2f nabled = true;</
6900: 73 63 72 69 70 74 3e 0d 0a 3c 64 74 3e 3c 73 70 script>..<dt><sp
6910: 61 6e 20 63 6c 61 73 73 3d 22 64 65 63 6c 22 3e an class="decl">
6920: 0d 0a 3c 73 70 61 6e 20 63 6c 61 73 73 3d 22 63 ..<span class="c
6930: 75 72 72 73 79 6d 62 6f 6c 22 3e e6 bc 94 e7 ae urrsymbol">.....
6940: 97 3c 2f 73 70 61 6e 3e 0d 0a 3c 73 63 72 69 70 .</span>..<scrip
6950: 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c 69 t>explorer.outli
6960: 6e 65 2e 61 64 64 44 65 63 6c 28 27 e6 bc 94 e7 ne.addDecl('....
6970: ae 97 27 29 3b 3c 2f 73 63 72 69 70 74 3e 0d 0a ..');</script>..
6980: 0d 0a 3c 2f 73 70 61 6e 3e 3c 2f 64 74 3e 0d 0a ..</span></dt>..
6990: 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 65 72 <script>explorer
69a0: 2e 6f 75 74 6c 69 6e 65 2e 77 72 69 74 65 45 6e .outline.writeEn
69b0: 61 62 6c 65 64 20 3d 20 66 61 6c 73 65 3b 3c 2f abled = false;</
69c0: 73 63 72 69 70 74 3e 0d 0a 0d 0a 20 3c 64 64 3e script>.... <dd>
69d0: 20 3c 74 61 62 6c 65 3e 20 20 20 3c 74 72 3e 3c <table> <tr><
69e0: 74 68 3e 2b 3c 2f 74 68 3e 20 3c 74 64 3e 28 6e th>+</th> <td>(n
69f0: 2c 20 6d 29 3c 2f 74 64 3e 20 3c 74 64 3e e6 95 , m)</td> <td>..
6a00: b4 e6 95 b0 20 6e 20 e3 81 a8 e6 95 b4 e6 95 b0 .... n .........
6a10: 20 6d 20 e3 82 92 e8 b6 b3 e3 81 97 e3 81 a6 e8 m .............
6a20: bf 94 e3 81 99 3c 2f 74 64 3e 3c 2f 74 72 3e 0d .....</td></tr>.
6a30: 0a 20 20 20 20 3c 74 72 3e 3c 74 68 3e 2d 3c 2f . <tr><th>-</
6a40: 74 68 3e 20 3c 74 64 3e 28 6e 2c 20 6d 29 3c 2f th> <td>(n, m)</
6a50: 74 64 3e 20 3c 74 64 3e e6 95 b4 e6 95 b0 e3 81 td> <td>........
6a60: ae e5 bc 95 e3 81 8d e7 ae 97 3c 2f 74 64 3e 3c ..........</td><
6a70: 2f 74 72 3e 0d 0a 20 20 20 20 3c 74 72 3e 3c 74 /tr>.. <tr><t
6a80: 68 3e 2a 3c 2f 74 68 3e 20 3c 74 64 3e 28 6e 2c h>*</th> <td>(n,
6a90: 20 6d 29 3c 2f 74 64 3e 20 3c 74 64 3e e6 95 b4 m)</td> <td>...
6aa0: e6 95 b0 e3 81 ae e6 8e 9b e3 81 91 e7 ae 97 3c ...............<
6ab0: 2f 74 64 3e 3c 2f 74 72 3e 0d 0a 20 20 20 20 3c /td></tr>.. <
6ac0: 74 72 3e 3c 74 68 3e 2f 3c 2f 74 68 3e 20 3c 74 tr><th>/</th> <t
6ad0: 64 3e 28 6e 2c 20 6d 29 3c 2f 74 64 3e 20 3c 74 d>(n, m)</td> <t
6ae0: 64 3e e6 95 b4 e6 95 b0 e3 81 ae e5 89 b2 e3 82 d>..............
6af0: 8a e7 ae 97 3c 2f 74 64 3e 3c 2f 74 72 3e 0d 0a ....</td></tr>..
6b00: 20 20 20 20 3c 74 72 3e 3c 74 68 3e 25 3c 2f 74 <tr><th>%</t
6b10: 68 3e 20 3c 74 64 3e 28 6e 2c 20 6d 29 3c 2f 74 h> <td>(n, m)</t
6b20: 64 3e 20 3c 74 64 3e e6 95 b4 e6 95 b0 e3 81 ae d> <td>.........
6b30: e5 89 b0 e4 bd 99 3c 2f 74 64 3e 3c 2f 74 72 3e ......</td></tr>
6b40: 0d 0a 20 20 20 20 3c 74 72 3e 3c 74 68 3e 26 61 .. <tr><th>&a
6b50: 6d 70 3b 26 61 6d 70 3b 3c 2f 74 68 3e 20 3c 74 mp;&</th> <t
6b60: 64 3e 28 6e 2c 20 6d 29 3c 2f 74 64 3e 20 3c 74 d>(n, m)</td> <t
6b70: 64 3e e6 95 b4 e6 95 b0 20 6e 20 e3 81 a8 20 6d d>...... n ... m
6b80: 20 e3 81 8c e4 b8 a1 e6 96 b9 e9 9d 9e 20 30 20 ............ 0
6b90: e3 81 aa e3 82 89 20 31 e3 80 81 e3 81 9d e3 82 ...... 1........
6ba0: 8c e4 bb a5 e5 a4 96 e3 81 a7 e3 81 af 20 30 3c ............. 0<
6bb0: 2f 74 64 3e 3c 2f 74 72 3e 0d 0a 20 20 20 20 3c /td></tr>.. <
6bc0: 74 72 3e 3c 74 68 3e 7c 7c 3c 2f 74 68 3e 20 3c tr><th>||</th> <
6bd0: 74 64 3e 28 6e 2c 20 6d 29 3c 2f 74 64 3e 20 3c td>(n, m)</td> <
6be0: 74 64 3e e6 95 b4 e6 95 b0 20 6e 20 e3 81 a8 20 td>...... n ...
6bf0: 6d 20 e3 81 8c e3 81 a9 e3 81 a1 e3 82 89 e3 81 m ..............
6c00: 8b e9 9d 9e 20 30 20 e3 81 aa e3 82 89 20 31 e3 .... 0 ...... 1.
6c10: 80 81 e3 81 9d e3 82 8c e4 bb a5 e5 a4 96 e3 81 ................
6c20: a7 e3 81 af 20 30 3c 2f 74 64 3e 3c 2f 74 72 3e .... 0</td></tr>
6c30: 0d 0a 20 20 20 20 3c 74 72 3e 3c 74 68 3e 7e 3c .. <tr><th>~<
6c40: 2f 74 68 3e 20 3c 74 64 3e 28 61 2c 20 62 29 3c /th> <td>(a, b)<
6c50: 2f 74 64 3e 20 3c 74 64 3e 61 20 e3 81 a8 20 62 /td> <td>a ... b
6c60: 20 e3 82 92 e6 96 87 e5 ad 97 e5 88 97 e5 8c 96 ...............
6c70: e3 81 97 e3 81 a6 e7 b5 90 e5 90 88 3c 2f 74 64 ............</td
6c80: 3e 3c 2f 74 72 3e 0d 0a 20 20 20 20 3c 74 72 3e ></tr>.. <tr>
6c90: 3c 74 68 3e 26 6c 74 3b 3c 2f 74 68 3e 20 3c 74 <th><</th> <t
6ca0: 64 3e 28 61 2c 20 62 29 3c 2f 74 64 3e 20 3c 74 d>(a, b)</td> <t
6cb0: 64 3e 61 20 e3 81 a8 20 62 20 e3 82 92 e6 af 94 d>a ... b ......
6cc0: e8 bc 83 3c 2f 74 64 3e 3c 2f 74 72 3e 0d 0a 20 ...</td></tr>..
6cd0: 20 20 20 3c 74 72 3e 3c 74 68 3e 26 6c 74 3b 3d <tr><th><=
6ce0: 3c 2f 74 68 3e 20 3c 74 64 3e 28 61 2c 20 62 29 </th> <td>(a, b)
6cf0: 3c 2f 74 64 3e 20 3c 74 64 3e 61 20 e3 81 a8 20 </td> <td>a ...
6d00: 62 20 e3 82 92 e6 af 94 e8 bc 83 3c 2f 74 64 3e b .........</td>
6d10: 3c 2f 74 72 3e 0d 0a 20 20 20 20 3c 74 72 3e 3c </tr>.. <tr><
6d20: 74 68 3e 26 67 74 3b 3c 2f 74 68 3e 20 3c 74 64 th>></th> <td
6d30: 3e 28 61 2c 20 62 29 3c 2f 74 64 3e 20 3c 74 64 >(a, b)</td> <td
6d40: 3e 61 20 e3 81 a8 20 62 20 e3 82 92 e6 af 94 e8 >a ... b .......
6d50: bc 83 3c 2f 74 64 3e 3c 2f 74 72 3e 0d 0a 20 20 ..</td></tr>..
6d60: 20 20 3c 74 72 3e 3c 74 68 3e 26 67 74 3b 3d 3c <tr><th>>=<
6d70: 2f 74 68 3e 20 3c 74 64 3e 28 61 2c 20 62 29 3c /th> <td>(a, b)<
6d80: 2f 74 64 3e 20 3c 74 64 3e 61 20 e3 81 a8 20 62 /td> <td>a ... b
6d90: 20 e3 82 92 e6 af 94 e8 bc 83 3c 2f 74 64 3e 3c .........</td><
6da0: 2f 74 72 3e 0d 0a 20 20 20 20 3c 74 72 3e 3c 74 /tr>.. <tr><t
6db0: 68 3e 3d 3d 3c 2f 74 68 3e 20 3c 74 64 3e 28 61 h>==</th> <td>(a
6dc0: 2c 20 62 29 3c 2f 74 64 3e 20 3c 74 64 3e 61 20 , b)</td> <td>a
6dd0: e3 81 a8 20 62 20 e3 82 92 e6 af 94 e8 bc 83 3c ... b .........<
6de0: 2f 74 64 3e 3c 2f 74 72 3e 0d 0a 20 20 20 20 3c /td></tr>.. <
6df0: 74 72 3e 3c 74 68 3e 21 3d 3c 2f 74 68 3e 20 3c tr><th>!=</th> <
6e00: 74 64 3e 28 61 2c 20 62 29 3c 2f 74 64 3e 20 3c td>(a, b)</td> <
6e10: 74 64 3e 61 20 e3 81 a8 20 62 20 e3 82 92 e6 af td>a ... b .....
6e20: 94 e8 bc 83 3c 2f 74 64 3e 3c 2f 74 72 3e 0d 0a ....</td></tr>..
6e30: 20 20 3c 2f 74 61 62 6c 65 3e 0d 0a 3c 70 3e 0d </table>..<p>.
6e40: 0a e6 b3 a8 e6 84 8f e7 82 b9 e3 81 a8 e3 81 97 ................
6e50: e3 81 a6 e3 80 81 e4 bd 9c e8 80 85 e3 81 ae e8 ................
6e60: b6 a3 e5 91 b3 e3 81 ae e5 95 8f e9 a1 8c e3 81 ................
6e70: a7 e3 80 81 3c 74 74 3e 26 61 6d 70 3b 26 61 6d ....<tt>&&am
6e80: 70 3b 3c 2f 74 74 3e 20 e3 81 a8 20 3c 74 74 3e p;</tt> ... <tt>
6e90: 7c 7c 3c 2f 74 74 3e 20 e3 81 af 20 73 68 6f 72 ||</tt> ... shor
6ea0: 74 2d 63 69 72 63 75 69 74 20 e8 a9 95 e4 be a1 t-circuit ......
6eb0: e3 82 92 e3 81 97 e3 81 be e3 81 9b e3 82 93 e3 ................
6ec0: 80 82 0d 0a e6 95 b4 e6 95 b0 e6 bc 94 e7 ae 97 ................
6ed0: e3 81 ae e7 a8 ae e9 a1 9e e3 81 8c e5 b0 91 e3 ................
6ee0: 81 aa e3 81 84 e3 81 ae e3 81 af e3 80 81 44 20 ..............D
6ef0: e8 a8 80 e8 aa 9e e3 81 ae 20 73 74 64 2e 62 69 ......... std.bi
6f00: 67 69 6e 74 20 e3 81 8c e3 83 93 e3 83 83 e3 83 gint ...........
6f10: 88 e6 bc 94 e7 ae 97 e3 81 aa e3 81 a9 e3 82 92 ................
6f20: e3 82 b5 e3 83 9d e3 83 bc e3 83 88 e3 81 97 e3 ................
6f30: 81 a6 e3 81 aa e3 81 84 e3 81 9f e3 82 81 e3 81 ................
6f40: a7 e3 81 99 e3 80 82 0d 0a e6 96 87 e5 ad 97 e5 ................
6f50: 88 97 e3 81 8c e7 b5 90 e5 90 88 e3 81 97 e3 81 ................
6f60: 8b e3 81 a7 e3 81 8d e3 81 aa e3 81 84 e3 81 ae ................
6f70: e3 81 af e3 80 81 e5 8d 98 e3 81 ab e6 89 8b e6 ................
6f80: 8a 9c e3 81 8d e3 81 a7 e3 81 99 e3 80 82 0d 0a ................
6f90: 3c 2f 70 3e 0d 0a 3c 2f 64 64 3e 0d 0a 0d 0a 0d </p>..</dd>.....
6fa0: 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 65 .<script>explore
6fb0: 72 2e 6f 75 74 6c 69 6e 65 2e 77 72 69 74 65 45 r.outline.writeE
6fc0: 6e 61 62 6c 65 64 20 3d 20 74 72 75 65 3b 3c 2f nabled = true;</
6fd0: 73 63 72 69 70 74 3e 0d 0a 3c 64 74 3e 3c 73 70 script>..<dt><sp
6fe0: 61 6e 20 63 6c 61 73 73 3d 22 64 65 63 6c 22 3e an class="decl">
6ff0: 0d 0a 3c 73 70 61 6e 20 63 6c 61 73 73 3d 22 63 ..<span class="c
7000: 75 72 72 73 79 6d 62 6f 6c 22 3e e5 a4 96 e9 83 urrsymbol">.....
7010: a8 e3 81 a8 e3 81 ae e3 82 84 e3 82 8a e3 81 a8 ................
7020: e3 82 8a 3c 2f 73 70 61 6e 3e 0d 0a 3c 73 63 72 ...</span>..<scr
7030: 69 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 ipt>explorer.out
7040: 6c 69 6e 65 2e 61 64 64 44 65 63 6c 28 27 e5 a4 line.addDecl('..
7050: 96 e9 83 a8 e3 81 a8 e3 81 ae e3 82 84 e3 82 8a ................
7060: e3 81 a8 e3 82 8a 27 29 3b 3c 2f 73 63 72 69 70 ......');</scrip
7070: 74 3e 0d 0a 0d 0a 3c 2f 73 70 61 6e 3e 3c 2f 64 t>....</span></d
7080: 74 3e 0d 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c t>..<script>expl
7090: 6f 72 65 72 2e 6f 75 74 6c 69 6e 65 2e 77 72 69 orer.outline.wri
70a0: 74 65 45 6e 61 62 6c 65 64 20 3d 20 66 61 6c 73 teEnabled = fals
70b0: 65 3b 3c 2f 73 63 72 69 70 74 3e 0d 0a 0d 0a 20 e;</script>....
70c0: 3c 64 64 3e 20 3c 74 61 62 6c 65 3e 20 20 20 3c <dd> <table> <
70d0: 74 72 3e 3c 74 68 3e 70 72 69 6e 74 3c 2f 74 68 tr><th>print</th
70e0: 3e 20 3c 74 64 3e 28 61 29 3c 2f 74 64 3e 20 3c > <td>(a)</td> <
70f0: 74 64 3e 61 20 e3 82 92 e6 96 87 e5 ad 97 e5 88 td>a ...........
7100: 97 e5 8c 96 e6 a8 99 e6 ba 96 e5 87 ba e5 8a 9b ................
7110: e3 81 ab e6 94 b9 e8 a1 8c e4 bb 98 e3 81 8d e3 ................
7120: 81 a7 e8 a1 a8 e7 a4 ba e3 81 97 e3 81 a6 e3 80 ................
7130: 81 61 20 e3 82 92 e8 bf 94 e3 81 99 3c 2f 74 64 .a .........</td
7140: 3e 3c 2f 74 72 3e 0d 0a 20 20 20 20 3c 74 72 3e ></tr>.. <tr>
7150: 3c 74 68 3e 61 72 67 76 3c 2f 74 68 3e 20 3c 74 <th>argv</th> <t
7160: 64 3e 3c 2f 74 64 3e 20 3c 74 64 3e e3 82 b9 e3 d></td> <td>....
7170: 82 af e3 83 aa e3 83 97 e3 83 88 e3 81 ab e6 b8 ................
7180: a1 e3 81 95 e3 82 8c e3 81 9f e5 bc 95 e6 95 b0 ................
7190: e6 96 87 e5 ad 97 e5 88 97 e3 81 ae 63 6f 6e 73 ............cons
71a0: e3 83 aa e3 82 b9 e3 83 88 3c 2f 74 64 3e 3c 2f .........</td></
71b0: 74 72 3e 0d 0a 20 20 20 20 3c 74 72 3e 3c 74 68 tr>.. <tr><th
71c0: 3e 67 65 6e 73 79 6d 3c 2f 74 68 3e 20 3c 74 64 >gensym</th> <td
71d0: 3e 28 29 3c 2f 74 64 3e 20 3c 74 64 3e e3 82 a8 >()</td> <td>...
71e0: e3 82 bb 67 65 6e 73 79 6d e3 80 82 e5 a4 89 e6 ...gensym.......
71f0: 95 b0 e5 90 8d e3 81 a8 e3 81 97 e3 81 a6 e4 bb ................
7200: 96 e3 81 a8 e3 81 8b e3 81 b6 e3 82 89 e3 81 aa ................
7210: e3 81 9d e3 81 86 e3 81 aa e6 96 87 e5 ad 97 e5 ................
7220: 88 97 e3 82 92 e8 bf 94 e3 81 97 e3 81 be e3 81 ................
7230: 99 3c 2f 74 64 3e 3c 2f 74 72 3e 0d 0a 20 20 20 .</td></tr>..
7240: 20 3c 74 72 3e 3c 74 68 3e 72 61 6e 64 3c 2f 74 <tr><th>rand</t
7250: 68 3e 20 3c 74 64 3e 28 6e 29 3c 2f 74 64 3e 20 h> <td>(n)</td>
7260: 3c 74 64 3e 30 20 e4 bb a5 e4 b8 8a 20 6e 20 e6 <td>0 ...... n .
7270: 9c aa e6 ba 80 e3 81 ae e8 87 aa e7 84 b6 e6 95 ................
7280: b0 e3 82 92 33 31 62 69 74 e4 bb a5 e5 86 85 e3 ....31bit.......
7290: 81 a7 e3 83 a9 e3 83 b3 e3 83 80 e3 83 a0 e3 81 ................
72a0: ab e7 94 9f e6 88 90 e3 81 97 e3 81 be e3 81 99 ................
72b0: 3c 2f 74 64 3e 3c 2f 74 72 3e 0d 0a 20 20 3c 2f </td></tr>.. </
72c0: 74 61 62 6c 65 3e 0d 0a 3c 2f 64 64 3e 0d 0a 3c table>..</dd>..<
72d0: 62 72 20 2f 3e 0d 0a 0d 0a 0d 0a 3c 73 63 72 69 br />......<scri
72e0: 70 74 3e 65 78 70 6c 6f 72 65 72 2e 6f 75 74 6c pt>explorer.outl
72f0: 69 6e 65 2e 77 72 69 74 65 45 6e 61 62 6c 65 64 ine.writeEnabled
7300: 20 3d 20 74 72 75 65 3b 3c 2f 73 63 72 69 70 74 = true;</script
7310: 3e 0d 0a 3c 64 74 3e 3c 73 70 61 6e 20 63 6c 61 >..<dt><span cla
7320: 73 73 3d 22 64 65 63 6c 22 3e 0d 0a 3c 73 70 61 ss="decl">..<spa
7330: 6e 20 63 6c 61 73 73 3d 22 63 75 72 72 73 79 6d n class="currsym
7340: 62 6f 6c 22 3e e3 83 87 e3 83 bc e3 82 bf e5 9e bol">...........
7350: 8b e5 88 a4 e5 ae 9a 3c 2f 73 70 61 6e 3e 0d 0a .......</span>..
7360: 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 65 72 <script>explorer
7370: 2e 6f 75 74 6c 69 6e 65 2e 61 64 64 44 65 63 6c .outline.addDecl
7380: 28 27 e3 83 87 e3 83 bc e3 82 bf e5 9e 8b e5 88 ('..............
7390: a4 e5 ae 9a 27 29 3b 3c 2f 73 63 72 69 70 74 3e ....');</script>
73a0: 0d 0a 0d 0a 3c 2f 73 70 61 6e 3e 3c 2f 64 74 3e ....</span></dt>
73b0: 0d 0a 3c 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 ..<script>explor
73c0: 65 72 2e 6f 75 74 6c 69 6e 65 2e 77 72 69 74 65 er.outline.write
73d0: 45 6e 61 62 6c 65 64 20 3d 20 66 61 6c 73 65 3b Enabled = false;
73e0: 3c 2f 73 63 72 69 70 74 3e 0d 0a 0d 0a 20 3c 64 </script>.... <d
73f0: 64 3e 20 3c 74 61 62 6c 65 3e 20 20 20 3c 74 72 d> <table> <tr
7400: 3e 3c 74 68 3e 5f 69 73 69 6e 74 3c 2f 74 68 3e ><th>_isint</th>
7410: 20 3c 74 64 3e 28 61 29 3c 2f 74 64 3e 20 3c 74 <td>(a)</td> <t
7420: 64 3e 61 20 e3 81 8c e6 95 b4 e6 95 b0 e3 81 aa d>a ............
7430: e3 82 89 20 31 e3 80 81 e3 81 a7 e3 81 aa e3 81 ... 1...........
7440: 91 e3 82 8c e3 81 b0 20 30 3c 2f 74 64 3e 3c 2f ....... 0</td></
7450: 74 72 3e 0d 0a 20 20 20 20 3c 74 72 3e 3c 74 68 tr>.. <tr><th
7460: 3e 5f 69 73 73 74 72 3c 2f 74 68 3e 20 3c 74 64 >_isstr</th> <td
7470: 3e 28 61 29 3c 2f 74 64 3e 20 3c 74 64 3e 61 20 >(a)</td> <td>a
7480: e3 81 8c e6 96 87 e5 ad 97 e5 88 97 e3 81 aa e3 ................
7490: 82 89 20 31 e3 80 81 e3 81 a7 e3 81 aa e3 81 91 .. 1............
74a0: e3 82 8c e3 81 b0 20 30 3c 2f 74 64 3e 3c 2f 74 ...... 0</td></t
74b0: 72 3e 0d 0a 20 20 20 20 3c 74 72 3e 3c 74 68 3e r>.. <tr><th>
74c0: 5f 69 73 66 75 6e 3c 2f 74 68 3e 20 3c 74 64 3e _isfun</th> <td>
74d0: 28 61 29 3c 2f 74 64 3e 20 3c 74 64 3e 61 20 e3 (a)</td> <td>a .
74e0: 81 8c e9 96 a2 e6 95 b0 e3 81 aa e3 82 89 20 31 .............. 1
74f0: e3 80 81 e3 81 a7 e3 81 aa e3 81 91 e3 82 8c e3 ................
7500: 81 b0 20 30 3c 2f 74 64 3e 3c 2f 74 72 3e 0d 0a .. 0</td></tr>..
7510: 20 20 20 20 3c 74 72 3e 3c 74 68 3e 5f 69 73 74 <tr><th>_ist
7520: 61 62 6c 65 3c 2f 74 68 3e 20 3c 74 64 3e 28 61 able</th> <td>(a
7530: 29 3c 2f 74 64 3e 20 3c 74 64 3e 61 20 e3 81 8c )</td> <td>a ...
7540: e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3 81 aa e3 ................
7550: 82 89 20 31 e3 80 81 e3 81 a7 e3 81 aa e3 81 91 .. 1............
7560: e3 82 8c e3 81 b0 20 30 3c 2f 74 64 3e 3c 2f 74 ...... 0</td></t
7570: 72 3e 0d 0a 20 20 20 20 3c 74 72 3e 3c 74 68 3e r>.. <tr><th>
7580: 5f 69 73 75 6e 64 65 66 69 6e 65 64 3c 2f 74 68 _isundefined</th
7590: 3e 20 3c 74 64 3e 28 61 29 3c 2f 74 64 3e 20 3c > <td>(a)</td> <
75a0: 74 64 3e 61 20 e3 81 8c e6 9c aa e5 ae 9a e7 be td>a ...........
75b0: a9 e5 80 a4 e3 81 aa e3 82 89 20 31 e3 80 81 e3 .......... 1....
75c0: 81 a7 e3 81 aa e3 81 91 e3 82 8c e3 81 b0 20 30 .............. 0
75d0: 3c 2f 74 64 3e 3c 2f 74 72 3e 0d 0a 20 20 3c 2f </td></tr>.. </
75e0: 74 61 62 6c 65 3e 0d 0a 3c 2f 64 64 3e 0d 0a 3c table>..</dd>..<
75f0: 2f 64 6c 3e 0d 0a 3c 73 63 72 69 70 74 3e 65 78 /dl>..<script>ex
7600: 70 6c 6f 72 65 72 2e 6f 75 74 6c 69 6e 65 2e 64 plorer.outline.d
7610: 65 63 53 79 6d 62 6f 6c 4c 65 76 65 6c 28 29 3b ecSymbolLevel();
7620: 3c 2f 73 63 72 69 70 74 3e 0d 0a 0d 0a 0d 0a 3c </script>......<
7630: 2f 64 64 3e 0d 0a 0d 0a 3c 2f 64 6c 3e 0d 0a 3c /dd>....</dl>..<
7640: 73 63 72 69 70 74 3e 65 78 70 6c 6f 72 65 72 2e script>explorer.
7650: 6f 75 74 6c 69 6e 65 2e 64 65 63 53 79 6d 62 6f outline.decSymbo
7660: 6c 4c 65 76 65 6c 28 29 3b 3c 2f 73 63 72 69 70 lLevel();</scrip
7670: 74 3e 0d 0a 0d 0a 0d 0a 3c 2f 74 64 3e 3c 2f 74 t>......</td></t
7680: 72 3e 0d 0a 09 09 3c 74 72 3e 3c 74 64 20 69 64 r>....<tr><td id
7690: 3d 22 64 6f 63 66 6f 6f 74 65 72 22 3e 0d 0a 09 ="docfooter">...
76a0: 09 09 50 61 67 65 20 77 61 73 20 67 65 6e 65 72 ..Page was gener
76b0: 61 74 65 64 20 77 69 74 68 0d 0a 09 09 09 3c 69 ated with.....<i
76c0: 6d 67 20 73 72 63 3d 22 63 61 6e 64 79 64 6f 63 mg src="candydoc
76d0: 2f 69 6d 67 2f 63 61 6e 64 79 64 6f 63 2e 67 69 /img/candydoc.gi
76e0: 66 22 20 73 74 79 6c 65 3d 22 76 65 72 74 69 63 f" style="vertic
76f0: 61 6c 2d 61 6c 69 67 6e 3a 6d 69 64 64 6c 65 3b al-align:middle;
7700: 20 70 6f 73 69 74 69 6f 6e 3a 72 65 6c 61 74 69 position:relati
7710: 76 65 3b 20 74 6f 70 3a 2d 31 70 78 22 3e 0d 0a ve; top:-1px">..
7720: 09 09 09 6f 6e 20 54 68 75 20 4e 6f 76 20 32 35 ...on Thu Nov 25
7730: 20 31 32 3a 33 30 3a 31 32 20 32 30 31 30 0d 0a 12:30:12 2010..
7740: 0d 0a 09 09 3c 2f 74 64 3e 3c 2f 74 72 3e 0d 0a ....</td></tr>..
7750: 09 3c 2f 74 61 62 6c 65 3e 0d 0a 3c 2f 64 69 76 .</table>..</div
7760: 3e 0d 0a 3c 73 63 72 69 70 74 3e 0d 0a 09 65 78 >..<script>...ex
7770: 70 6c 6f 72 65 72 2e 70 61 63 6b 61 67 65 45 78 plorer.packageEx
7780: 70 6c 6f 72 65 72 2e 61 64 64 4d 6f 64 75 6c 65 plorer.addModule
7790: 28 22 69 6e 64 65 78 22 29 3b 0d 0a 09 65 78 70 ("index");...exp
77a0: 6c 6f 72 65 72 2e 70 61 63 6b 61 67 65 45 78 70 lorer.packageExp
77b0: 6c 6f 72 65 72 2e 61 64 64 4d 6f 64 75 6c 65 28 lorer.addModule(
77c0: 22 6d 61 69 6e 22 29 3b 0d 0a 09 65 78 70 6c 6f "main");...explo
77d0: 72 65 72 2e 70 61 63 6b 61 67 65 45 78 70 6c 6f rer.packageExplo
77e0: 72 65 72 2e 61 64 64 4d 6f 64 75 6c 65 28 22 74 rer.addModule("t
77f0: 72 69 63 6b 73 2e 74 72 69 63 6b 73 22 29 3b 0d ricks.tricks");.
7800: 0a 09 65 78 70 6c 6f 72 65 72 2e 70 61 63 6b 61 ..explorer.packa
7810: 67 65 45 78 70 6c 6f 72 65 72 2e 61 64 64 4d 6f geExplorer.addMo
7820: 64 75 6c 65 28 22 74 72 69 63 6b 73 2e 74 65 73 dule("tricks.tes
7830: 74 22 29 3b 0d 0a 09 65 78 70 6c 6f 72 65 72 2e t");...explorer.
7840: 70 61 63 6b 61 67 65 45 78 70 6c 6f 72 65 72 2e packageExplorer.
7850: 61 64 64 4d 6f 64 75 6c 65 28 22 70 6f 6c 65 6d addModule("polem
7860: 79 2e 5f 63 6f 6d 6d 6f 6e 22 29 3b 0d 0a 09 65 y._common");...e
7870: 78 70 6c 6f 72 65 72 2e 70 61 63 6b 61 67 65 45 xplorer.packageE
7880: 78 70 6c 6f 72 65 72 2e 61 64 64 4d 6f 64 75 6c xplorer.addModul
7890: 65 28 22 70 6f 6c 65 6d 79 2e 66 61 69 6c 75 72 e("polemy.failur
78a0: 65 22 29 3b 0d 0a 09 65 78 70 6c 6f 72 65 72 2e e");...explorer.
78b0: 70 61 63 6b 61 67 65 45 78 70 6c 6f 72 65 72 2e packageExplorer.
78c0: 61 64 64 4d 6f 64 75 6c 65 28 22 70 6f 6c 65 6d addModule("polem
78d0: 79 2e 6c 61 79 65 72 22 29 3b 0d 0a 09 65 78 70 y.layer");...exp
78e0: 6c 6f 72 65 72 2e 70 61 63 6b 61 67 65 45 78 70 lorer.packageExp
78f0: 6c 6f 72 65 72 2e 61 64 64 4d 6f 64 75 6c 65 28 lorer.addModule(
7900: 22 70 6f 6c 65 6d 79 2e 66 72 65 73 68 22 29 3b "polemy.fresh");
7910: 0d 0a 09 65 78 70 6c 6f 72 65 72 2e 70 61 63 6b ...explorer.pack
7920: 61 67 65 45 78 70 6c 6f 72 65 72 2e 61 64 64 4d ageExplorer.addM
7930: 6f 64 75 6c 65 28 22 70 6f 6c 65 6d 79 2e 6c 65 odule("polemy.le
7940: 78 22 29 3b 0d 0a 09 65 78 70 6c 6f 72 65 72 2e x");...explorer.
7950: 70 61 63 6b 61 67 65 45 78 70 6c 6f 72 65 72 2e packageExplorer.
7960: 61 64 64 4d 6f 64 75 6c 65 28 22 70 6f 6c 65 6d addModule("polem
7970: 79 2e 70 61 72 73 65 22 29 3b 0d 0a 09 65 78 70 y.parse");...exp
7980: 6c 6f 72 65 72 2e 70 61 63 6b 61 67 65 45 78 70 lorer.packageExp
7990: 6c 6f 72 65 72 2e 61 64 64 4d 6f 64 75 6c 65 28 lorer.addModule(
79a0: 22 70 6f 6c 65 6d 79 2e 61 73 74 22 29 3b 0d 0a "polemy.ast");..
79b0: 09 65 78 70 6c 6f 72 65 72 2e 70 61 63 6b 61 67 .explorer.packag
79c0: 65 45 78 70 6c 6f 72 65 72 2e 61 64 64 4d 6f 64 eExplorer.addMod
79d0: 75 6c 65 28 22 70 6f 6c 65 6d 79 2e 76 61 6c 75 ule("polemy.valu
79e0: 65 22 29 3b 0d 0a 09 65 78 70 6c 6f 72 65 72 2e e");...explorer.
79f0: 70 61 63 6b 61 67 65 45 78 70 6c 6f 72 65 72 2e packageExplorer.
7a00: 61 64 64 4d 6f 64 75 6c 65 28 22 70 6f 6c 65 6d addModule("polem
7a10: 79 2e 76 61 6c 75 65 63 6f 6e 76 22 29 3b 0d 0a y.valueconv");..
7a20: 09 65 78 70 6c 6f 72 65 72 2e 70 61 63 6b 61 67 .explorer.packag
7a30: 65 45 78 70 6c 6f 72 65 72 2e 61 64 64 4d 6f 64 eExplorer.addMod
7a40: 75 6c 65 28 22 70 6f 6c 65 6d 79 2e 65 76 61 6c ule("polemy.eval
7a50: 22 29 3b 0d 0a 09 65 78 70 6c 6f 72 65 72 2e 70 ");...explorer.p
7a60: 61 63 6b 61 67 65 45 78 70 6c 6f 72 65 72 2e 61 ackageExplorer.a
7a70: 64 64 4d 6f 64 75 6c 65 28 22 70 6f 6c 65 6d 79 ddModule("polemy
7a80: 2e 72 75 6e 74 69 6d 65 22 29 3b 0d 0a 09 65 78 .runtime");...ex
7a90: 70 6c 6f 72 65 72 2e 70 61 63 6b 61 67 65 45 78 plorer.packageEx
7aa0: 70 6c 6f 72 65 72 2e 61 64 64 4d 6f 64 75 6c 65 plorer.addModule
7ab0: 28 22 70 6f 6c 65 6d 79 2e 72 65 70 6c 22 29 3b ("polemy.repl");
7ac0: 3c 2f 73 63 72 69 70 74 3e 0d 0a 3c 2f 62 6f 64 </script>..</bod
7ad0: 79 3e 3c 2f 68 74 6d 6c 3e 0d 0a 0d 0a 0d 0a y></html>......