Hex Artifact Content
Not logged in

Artifact a3c506d4caf580c9eba58c57dc0c4a0e64401c2a:


0000: 44 64 6f 63 0a 24 28 44 44 4f 43 5f 41 55 54 48  Ddoc.$(DDOC_AUTH
0010: 4f 52 53 20 6b 2e 69 6e 61 62 61 29 0a 24 28 44  ORS k.inaba).$(D
0020: 44 4f 43 5f 4c 49 43 45 4e 53 45 20 4e 59 53 4c  DOC_LICENSE NYSL
0030: 20 30 2e 39 39 38 32 20 28 68 74 74 70 3a 2f 2f   0.9982 (http://
0040: 77 77 77 2e 6b 6d 6f 6e 6f 73 2e 6e 65 74 2f 6e  www.kmonos.net/n
0050: 79 73 6c 2f 29 29 0a 0a 3c 70 3e 0a e5 b7 a6 e3  ysl/))..<p>.....
0060: 81 ae e3 82 b5 e3 82 a4 e3 83 89 e3 83 90 e3 83  ................
0070: bc e3 81 ae 20 22 50 61 63 6b 61 67 65 22 20 e3  .... "Package" .
0080: 82 bf e3 83 96 e3 82 92 e3 82 af e3 83 aa e3 83  ................
0090: 83 e3 82 af e3 81 99 e3 82 8b e3 81 a8 e5 ae 9f  ................
00a0: e8 a3 85 e3 81 ae e3 82 bd e3 83 bc e3 82 b9 e3  ................
00b0: 81 ae e3 83 89 e3 82 ad e3 83 a5 e3 83 a1 e3 83  ................
00c0: b3 e3 83 88 e3 81 8c e8 aa ad e3 82 81 e3 81 be  ................
00d0: e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a  .......</p>.<p>.
00e0: e3 81 93 e3 81 ae e3 83 95 e3 82 a1 e3 82 a4 e3  ................
00f0: 83 ab e3 81 af e3 80 81 e8 a8 80 e8 aa 9e e4 bb  ................
0100: 95 e6 a7 98 e3 81 aa e3 81 a9 e3 81 ae e3 80 81  ................
0110: e3 82 84 e3 82 84 e8 be 9e e6 9b b8 e7 9a 84 e3  ................
0120: 81 aa e8 aa ac e6 98 8e e3 81 a7 e3 81 99 e3 80  ................
0130: 82 3c 62 72 20 2f 3e 0a e3 82 82 e3 81 a3 e3 81  .<br />.........
0140: a8 e3 81 96 e3 81 a3 e3 81 8f e3 82 8a e3 81 a8  ................
0150: e3 81 97 e3 81 9f e3 80 81 e8 a8 80 e8 aa 9e e3  ................
0160: 83 87 e3 82 b6 e3 82 a4 e3 83 b3 e3 81 ae e6 96  ................
0170: b9 e5 90 91 e6 80 a7 e3 81 ae e9 ad 82 e7 9a 84  ................
0180: e3 81 aa e3 82 82 e3 81 ae e3 81 ab e3 81 a4 e3  ................
0190: 81 84 e3 81 a6 e3 81 af e3 80 81 0a e3 80 8c e3  ................
01a0: 83 a1 e3 82 bf e3 83 97 e3 83 ad e3 82 b0 e3 83  ................
01b0: a9 e3 83 9f e3 83 b3 e3 82 b0 e3 81 ae e4 bc 9a  ................
01c0: e3 80 8d e3 81 ae e7 99 ba e8 a1 a8 e3 82 b9 e3  ................
01d0: 83 a9 e3 82 a4 e3 83 89 e3 82 92 e3 81 94 e8 a6  ................
01e0: a7 e4 b8 8b e3 81 95 e3 81 84 e3 80 82 0a 3c 2f  ..............</
01f0: 70 3e 0a 3c 70 3e 0a e3 81 82 e3 81 a8 e3 80 81  p>.<p>..........
0200: 20 e3 82 84 e3 81 9f e3 82 89 e3 81 a8 e3 83 9e   ...............
0210: e3 82 af e3 83 ad e3 81 ae e7 ab a0 e3 81 8c e9  ................
0220: 95 b7 e3 81 8f e3 81 aa e3 81 a3 e3 81 a6 e3 81  ................
0230: 84 e3 81 be e3 81 99 e3 81 8c e3 80 81 20 e3 81  ............. ..
0240: 93 e3 81 ae e9 83 a8 e5 88 86 e3 81 af e3 80 81  ................
0250: 0a e3 83 ac e3 82 a4 e3 83 a4 e6 a9 9f e8 83 bd  ................
0260: e3 82 92 e5 85 a5 e3 82 8c e3 81 9f e3 82 89 e8  ................
0270: 87 aa e5 8b 95 e7 9a 84 e3 81 ab e3 81 99 e3 81  ................
0280: 94 e3 81 8f e8 87 aa e7 84 b6 e3 81 ab e3 83 9e  ................
0290: e3 82 af e3 83 ad e3 81 8c e5 85 a5 e3 82 8b e3  ................
02a0: 81 aa e3 83 bc e3 81 a8 e6 80 9d e3 81 a3 e3 81  ................
02b0: a6 e3 80 81 0a e3 81 8a e3 81 be e3 81 91 e3 81  ................
02c0: a7 e5 ae 9f e8 a3 85 e3 81 97 e3 81 a6 e3 81 bf  ................
02d0: e3 81 9f e7 a8 8b e5 ba a6 e3 81 ae e3 82 82 e3  ................
02e0: 81 ae e3 81 a7 e3 81 99 e3 80 82 0a e3 81 82 e3  ................
02f0: 82 93 e3 81 be e3 82 8a e9 87 8d e8 a6 81 e3 81  ................
0300: a7 e3 81 af e3 81 aa e3 81 84 e3 81 ae e3 81 a7  ................
0310: e3 80 81 e9 81 a9 e5 bd 93 e3 81 ab e3 82 b9 e3  ................
0320: 83 ab e3 83 bc e3 81 97 e3 81 a6 e4 b8 8b e3 81  ................
0330: 95 e3 81 84 e3 81 be e3 81 9b e3 80 82 0a e5 8d  ................
0340: 98 e3 81 ab e3 80 81 e9 81 a9 e5 bd 93 e3 81 ab  ................
0350: e5 85 a5 e3 82 8c e3 81 9f e3 82 89 e9 81 a9 e5  ................
0360: bd 93 e3 81 a7 e5 be ae e5 a6 99 e3 81 aa e9 83  ................
0370: a8 e5 88 86 e3 81 8c e5 a4 9a e3 81 8f e6 ae 8b  ................
0380: e3 81 a3 e3 81 a6 e3 81 97 e3 81 be e3 81 a3 e3  ................
0390: 81 9f e3 81 ae e3 81 a7 e6 b3 a8 e6 84 8f e6 9b  ................
03a0: b8 e3 81 8d e3 81 8c e5 a2 97 e3 81 88 e3 81 a6  ................
03b0: e3 81 84 e3 82 8b e3 81 a0 e3 81 91 e3 81 a7 e2  ................
03c0: 80 a6 e3 80 82 0a 3c 2f 70 3e 0a 0a 24 28 44 44  ......</p>..$(DD
03d0: 4f 43 5f 4d 45 4d 42 45 52 53 0a 0a 24 28 53 45  OC_MEMBERS..$(SE
03e0: 43 54 49 4f 4e 20 53 79 6e 74 61 78 2c 20 24 28  CTION Syntax, $(
03f0: 53 45 43 42 4f 44 59 0a 3c 70 3e 0a e6 96 87 e6  SECBODY.<p>.....
0400: b3 95 e3 81 ab e3 81 a4 e3 81 84 e3 81 a6 e3 80  ................
0410: 82 0a e5 ad 97 e5 8f a5 e8 a7 a3 e6 9e 90 e3 81  ................
0420: 8c e3 82 8f e3 82 8a e3 81 a8 e9 81 a9 e5 bd 93  ................
0430: e3 81 aa e3 81 ae e3 81 a7 e3 80 81 0a e5 a4 89  ................
0440: e6 95 b0 e5 ae a3 e8 a8 80 e3 81 ae e5 a4 89 e6  ................
0450: 95 b0 e5 90 8d e3 81 ae e3 81 a8 e3 81 93 e3 82  ................
0460: 8d e3 81 ab e3 80 81 e6 95 b0 e5 ad 97 e3 82 92  ................
0470: e5 a4 89 e6 95 b0 e5 90 8d e3 81 a8 e3 81 97 e3  ................
0480: 81 a6 e4 bd bf e3 81 88 e3 81 a6 e5 8f 82 e7 85  ................
0490: a7 e3 81 a7 e3 81 8d e3 81 aa e3 81 84 e5 a4 89  ................
04a0: e6 95 b0 e3 81 8c e4 bd 9c e3 82 8c e3 81 9f e3  ................
04b0: 82 8a e3 80 81 0a e4 ba 88 e7 b4 84 e8 aa 9e e3  ................
04c0: 81 af e4 ba 88 e7 b4 84 e8 aa 9e e3 81 a8 e3 81  ................
04d0: 97 e3 81 a6 e8 a7 a3 e9 87 88 e3 81 95 e3 82 8c  ................
04e0: e5 be 97 e3 81 aa e3 81 84 e3 81 a8 e3 81 93 e3  ................
04f0: 82 8d e3 81 a7 e3 81 af e6 99 ae e9 80 9a e3 81  ................
0500: ab e5 a4 89 e6 95 b0 e5 90 8d e3 81 a8 e3 81 97  ................
0510: e3 81 a6 e4 bd bf e3 81 88 e3 81 a1 e3 82 83 e3  ................
0520: 81 a3 e3 81 9f e3 82 8a e3 81 97 e3 81 a6 e3 80  ................
0530: 81 0a e5 81 b6 e3 81 ab e3 81 a8 e3 82 93 e3 81  ................
0540: a7 e3 82 82 e3 81 aa e3 81 84 e8 a6 8b e3 81 8b  ................
0550: e3 81 91 e3 81 ae e3 82 bd e3 83 bc e3 82 b9 e3  ................
0560: 81 8c e6 a7 8b e6 96 87 e8 a7 a3 e6 9e 90 e9 80  ................
0570: 9a e3 82 8a e3 81 be e3 81 99 e3 81 8c e3 80 81  ................
0580: e6 b0 97 e3 81 ab e3 81 97 e3 81 aa e3 81 84 e3  ................
0590: 81 a7 e9 81 a9 e5 bd 93 e3 81 ab e4 bd bf e3 81  ................
05a0: a3 e3 81 a6 e4 b8 8b e3 81 95 e3 81 84 e3 80 82  ................
05b0: 0a 3c 2f 70 3e 0a 0a 24 28 44 44 4f 43 5f 4d 45  .</p>..$(DDOC_ME
05c0: 4d 42 45 52 53 0a 0a 24 28 53 45 43 54 49 4f 4e  MBERS..$(SECTION
05d0: 20 e6 96 87 e5 ad 97 e3 82 b3 e3 83 bc e3 83 89   ...............
05e0: 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 3e 0a  , $(SECBODY.<p>.
05f0: 55 54 46 2d 38 20 e3 81 ae e3 81 bf e5 af be e5  UTF-8 ..........
0600: bf 9c e3 81 a7 e3 81 99 e3 80 82 0a 3c 2f 70 3e  ............</p>
0610: 0a 29 29 0a 0a 24 28 53 45 43 54 49 4f 4e 20 e3  .))..$(SECTION .
0620: 82 b3 e3 83 a1 e3 83 b3 e3 83 88 2c 20 24 28 53  ..........., $(S
0630: 45 43 42 4f 44 59 0a 3c 70 3e 0a e8 a1 8c e3 82  ECBODY.<p>......
0640: b3 e3 83 a1 e3 83 b3 e3 83 88 e3 81 af 20 3c 74  ............. <t
0650: 74 3e 23 3c 2f 74 74 3e 20 e3 81 8b e3 82 89 e6  t>#</tt> .......
0660: 94 b9 e8 a1 8c e3 81 be e3 81 a7 e3 81 a7 e3 81  ................
0670: 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a e3 83  .....</p>.<p>...
0680: 96 e3 83 ad e3 83 83 e3 82 af e3 82 b3 e3 83 a1  ................
0690: e3 83 b3 e3 83 88 e3 81 af e3 81 82 e3 82 8a e3  ................
06a0: 81 be e3 81 9b e3 82 93 e3 80 82 0a 3c 2f 70 3e  ............</p>
06b0: 0a 29 29 0a 0a 24 28 53 45 43 54 49 4f 4e 20 42  .))..$(SECTION B
06c0: 4e 46 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c 70  NF, $(SECBODY.<p
06d0: 72 65 3e 0a 20 49 44 20 20 20 20 3a 3a 3d 20 e9  re>. ID    ::= .
06e0: 81 a9 e5 bd 93 e3 81 ab e8 ad 98 e5 88 a5 e5 ad  ................
06f0: 90 e3 81 a3 e3 81 bd e3 81 84 e6 96 87 e5 ad 97  ................
0700: e5 88 97 0a 20 4c 41 59 45 52 20 3a 3a 3d 20 22  .... LAYER ::= "
0710: 40 22 20 49 44 0a 0a 20 45 20 3a 3a 3d 0a 20 20  @" ID.. E ::=.  
0720: 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e5   $(D_COMMENT # .
0730: a4 89 e6 95 b0 e5 ae a3 e8 a8 80 29 0a 20 20 20  ...........).   
0740: 20 20 7c 20 44 45 43 4c 20 22 3d 22 20 45 20 28    | DECL "=" E (
0750: 22 3b 22 7c 22 69 6e 22 29 20 45 0a 20 20 20 20  ";"|"in") E.    
0760: 20 7c 20 44 45 43 4c 20 22 28 22 20 50 41 52 41   | DECL "(" PARA
0770: 4d 53 20 22 29 22 20 22 7b 22 20 45 20 22 7d 22  MS ")" "{" E "}"
0780: 20 28 22 3b 22 7c 22 69 6e 22 29 20 45 0a 20 20   (";"|"in") E.  
0790: 20 20 20 7c 20 44 45 43 4c 20 22 3d 22 20 45 0a     | DECL "=" E.
07a0: 20 20 20 20 20 7c 20 44 45 43 4c 20 22 28 22 20       | DECL "(" 
07b0: 50 41 52 41 4d 53 20 22 29 22 20 22 7b 22 20 45  PARAMS ")" "{" E
07c0: 20 22 7d 22 0a 0a 20 20 20 20 20 20 20 20 20 77   "}"..         w
07d0: 68 65 72 65 20 44 45 43 4c 20 3a 3a 3d 20 28 22  here DECL ::= ("
07e0: 76 61 72 22 7c 22 6c 65 74 22 7c 22 64 65 66 22  var"|"let"|"def"
07f0: 7c 4c 41 59 45 52 29 20 49 44 20 7c 20 22 40 22  |LAYER) ID | "@"
0800: 20 4c 41 59 45 52 0a 0a 20 20 20 24 28 44 5f 43   LAYER..   $(D_C
0810: 4f 4d 4d 45 4e 54 20 23 20 e3 83 aa e3 83 86 e3  OMMENT # .......
0820: 83 a9 e3 83 ab 29 0a 20 20 20 20 20 7c 20 49 4e  .....).     | IN
0830: 54 45 47 45 52 20 20 20 20 20 20 20 20 20 20 20  TEGER           
0840: 20 20 20 20 20 20 20 20 20 20 20 20 20 24 28 44               $(D
0850: 5f 43 4f 4d 4d 45 4e 54 20 23 20 e9 9d 9e e8 b2  _COMMENT # .....
0860: a0 e6 95 b4 e6 95 b0 29 0a 20 20 20 20 20 7c 20  .......).     | 
0870: 53 54 52 49 4e 47 20 20 20 20 20 20 20 20 20 20  STRING          
0880: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 24                 $
0890: 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 22 22 20  (D_COMMENT # "" 
08a0: e3 81 a7 e3 81 8f e3 81 8f e3 81 a3 e3 81 9f e6  ................
08b0: 96 87 e5 ad 97 e5 88 97 e3 80 82 5c 22 20 e3 81  ...........\" ..
08c0: a8 20 5c 5c 20 e3 81 af e4 bd bf e3 81 88 e3 82  . \\ ...........
08d0: 8b 29 0a 20 20 20 20 20 7c 20 22 7b 22 20 45 4e  .).     | "{" EN
08e0: 54 52 59 53 20 22 7d 22 20 20 20 20 20 20 20 20  TRYS "}"        
08f0: 20 20 20 20 20 20 20 20 20 24 28 44 5f 43 4f 4d           $(D_COM
0900: 4d 45 4e 54 20 23 20 e3 83 86 e3 83 bc e3 83 96  MENT # .........
0910: e3 83 ab 29 0a 20 20 20 20 20 7c 20 22 66 75 6e  ...).     | "fun
0920: 22 20 22 28 22 20 50 41 52 41 4d 53 20 22 29 22  " "(" PARAMS ")"
0930: 20 22 7b 22 20 45 20 22 7d 22 20 24 28 44 5f 43   "{" E "}" $(D_C
0940: 4f 4d 4d 45 4e 54 20 23 20 e7 84 a1 e5 90 8d e9  OMMENT # .......
0950: 96 a2 e6 95 b0 29 0a 20 20 20 20 20 7c 20 20 22  .....).     |  "
0960: ce bb 22 20 22 28 22 20 50 41 52 41 4d 53 20 22  .." "(" PARAMS "
0970: 29 22 20 22 7b 22 20 45 20 22 7d 22 20 24 28 44  )" "{" E "}" $(D
0980: 5f 43 4f 4d 4d 45 4e 54 20 23 20 e7 84 a1 e5 90  _COMMENT # .....
0990: 8d e9 96 a2 e6 95 b0 29 0a 0a 20 20 20 24 28 44  .......)..   $(D
09a0: 5f 43 4f 4d 4d 45 4e 54 20 23 20 e9 96 a2 e6 95  _COMMENT # .....
09b0: b0 e5 91 bc e3 81 b3 e5 87 ba e3 81 97 29 0a 20  .............). 
09c0: 20 20 20 20 7c 20 45 20 22 28 22 20 41 52 47 53      | E "(" ARGS
09d0: 22 29 22 0a 0a 20 20 20 20 20 20 20 20 20 77 68  ")"..         wh
09e0: 65 72 65 20 20 20 20 41 52 47 53 20 3a 3a 3d 20  ere    ARGS ::= 
09f0: 45 20 22 2c 22 20 2e 2e 2e 20 22 2c 22 20 45 0a  E "," ... "," E.
0a00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0a10: 50 41 52 41 4d 53 20 3a 3a 3d 20 28 49 44 7c 4c  PARAMS ::= (ID|L
0a20: 41 59 45 52 29 2b 20 22 2c 22 20 2e 2e 2e 20 22  AYER)+ "," ... "
0a30: 2c 22 20 28 49 44 7c 4c 41 59 45 52 29 2b 0a 20  ," (ID|LAYER)+. 
0a40: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 45                 E
0a50: 4e 54 52 59 53 20 3a 3a 3d 20 49 44 20 22 3a 22  NTRYS ::= ID ":"
0a60: 20 45 20 20 20 20 22 2c 22 20 2e 2e 2e 20 22 2c   E    "," ... ",
0a70: 22 20 49 44 20 22 3a 22 20 45 0a 0a 20 20 20 24  " ID ":" E..   $
0a80: 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e6 bc 94  (D_COMMENT # ...
0a90: e7 ae 97 e5 ad 90 e3 81 aa e3 81 a9 29 0a 20 20  ............).  
0aa0: 20 20 20 7c 20 22 28 22 20 45 20 22 29 22 20 20     | "(" E ")"  
0ab0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 24                 $
0ac0: 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 81 9f  (D_COMMENT # ...
0ad0: e3 81 a0 e3 81 ae e6 8b ac e5 bc a7 29 0a 20 20  ............).  
0ae0: 20 20 20 7c 20 22 2e 2e 2e 22 20 20 20 20 20 20     | "..."      
0af0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 24                 $
0b00: 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e3 81 93  (D_COMMENT # ...
0b10: e3 82 8c e3 82 92 e5 ae 9f e8 a1 8c e3 81 99 e3  ................
0b20: 82 8b e3 81 a8 64 69 65 29 0a 20 20 20 20 20 7c  .....die).     |
0b30: 20 45 20 42 49 4e 4f 50 20 45 20 20 20 20 20 20   E BINOP E      
0b40: 20 20 20 20 20 20 20 20 20 20 20 24 28 44 5f 43             $(D_C
0b50: 4f 4d 4d 45 4e 54 20 23 20 e4 ba 8c e9 a0 85 e6  OMMENT # .......
0b60: bc 94 e7 ae 97 e5 ad 90 e3 81 84 e3 82 8d e3 81  ................
0b70: 84 e3 82 8d 29 0a 20 20 20 20 20 7c 20 45 20 22  ....).     | E "
0b80: 2e 22 20 20 49 44 20 20 20 20 20 20 20 20 20 20  ."  ID          
0b90: 20 20 20 20 20 20 20 24 28 44 5f 43 4f 4d 4d 45         $(D_COMME
0ba0: 4e 54 20 23 20 e3 83 86 e3 83 bc e3 83 96 e3 83  NT # ...........
0bb0: ab e3 81 ae e3 83 95 e3 82 a3 e3 83 bc e3 83 ab  ................
0bc0: e3 83 89 e3 82 a2 e3 82 af e3 82 bb e3 82 b9 29  ...............)
0bd0: 0a 20 20 20 20 20 7c 20 45 20 22 2e 3f 22 20 49  .     | E ".?" I
0be0: 44 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  D               
0bf0: 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20    $(D_COMMENT # 
0c00: e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3 81 ab e3  ................
0c10: 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89 e3 81  ................
0c20: 8c e3 81 82 e3 82 8b e3 81 8b e5 90 a6 e3 81 8b  ................
0c30: 29 0a 20 20 20 20 20 7c 20 45 20 22 7b 22 20 45  ).     | E "{" E
0c40: 4e 54 52 59 53 20 22 7d 22 20 20 20 20 20 20 20  NTRYS "}"       
0c50: 20 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23     $(D_COMMENT #
0c60: 20 e3 83 86 e3 83 bc e3 83 96 e3 83 ab e6 8b a1   ...............
0c70: e5 bc b5 29 0a 20 20 20 20 20 7c 20 22 69 66 22  ...).     | "if"
0c80: 20 45 20 28 22 74 68 65 6e 22 7c 22 3a 22 7c 22   E ("then"|":"|"
0c90: 74 68 65 6e 22 20 22 3a 22 29 20 45 0a 20 20 20  then" ":") E.   
0ca0: 20 20 7c 20 22 69 66 22 20 45 20 28 22 74 68 65    | "if" E ("the
0cb0: 6e 22 7c 22 3a 22 7c 22 74 68 65 6e 22 20 22 3a  n"|":"|"then" ":
0cc0: 22 29 20 45 20 22 65 6c 73 65 22 20 22 3a 22 3f  ") E "else" ":"?
0cd0: 20 45 0a 0a 20 20 20 24 28 44 5f 43 4f 4d 4d 45   E..   $(D_COMME
0ce0: 4e 54 20 23 20 e3 83 91 e3 82 bf e3 83 bc e3 83  NT # ...........
0cf0: b3 e3 83 9e e3 83 83 e3 83 81 29 0a 20 20 20 20  ..........).    
0d00: 20 7c 20 22 63 61 73 65 22 20 45 20 28 22 77 68   | "case" E ("wh
0d10: 65 6e 22 20 50 41 54 54 45 52 4e 20 22 3a 22 20  en" PATTERN ":" 
0d20: 45 20 29 2a 20 0a 0a 20 20 20 20 20 20 20 20 20  E )* ..         
0d30: 77 68 65 72 65 20 50 41 54 54 45 52 4e 20 3a 3a  where PATTERN ::
0d40: 3d 20 e5 bc 8f e3 81 8c e3 81 a0 e3 81 84 e3 81  = ..............
0d50: 9f e3 81 84 e3 81 aa e3 82 93 e3 81 a7 e3 82 82  ................
0d60: e6 9b b8 e3 81 91 e3 82 8b e6 b0 97 e3 81 8c e3  ................
0d70: 81 99 e3 82 8b 0a 0a 20 20 20 24 28 44 5f 43 4f  .......   $(D_CO
0d80: 4d 4d 45 4e 54 20 23 20 e3 83 ac e3 82 a4 e3 83  MMENT # ........
0d90: a4 e6 8c 87 e5 ae 9a e5 ae 9f e8 a1 8c 29 0a 20  .............). 
0da0: 20 20 20 20 7c 20 4c 41 59 45 52 20 22 28 22 20      | LAYER "(" 
0db0: 45 20 22 29 22 0a 3c 2f 70 72 65 3e 0a 29 29 0a  E ")".</pre>.)).
0dc0: 0a 24 28 53 45 43 54 49 4f 4e 20 e7 b3 96 e8 a1  .$(SECTION .....
0dd0: a3 e6 a7 8b e6 96 87 2c 20 24 28 53 45 43 42 4f  ......., $(SECBO
0de0: 44 59 0a 3c 70 3e 0a e6 bc 94 e7 ae 97 e5 ad 90  DY.<p>..........
0df0: e3 81 a8 e3 81 84 e3 81 86 e3 82 82 e3 81 ae e3  ................
0e00: 81 af e3 81 82 e3 82 8a e3 81 be e3 81 9b e3 82  ................
0e10: 93 e3 80 82 e5 86 85 e9 83 a8 e7 9a 84 e3 81 ab  ................
0e20: e3 81 af e5 85 a8 e3 81 a6 e9 96 a2 e6 95 b0 e5  ................
0e30: 91 bc e3 81 b3 e5 87 ba e3 81 97 e6 a7 8b e6 96  ................
0e40: 87 e3 81 ab e6 9b b8 e3 81 8d e6 8f 9b e3 81 88  ................
0e50: e3 82 89 e3 82 8c e3 81 a6 e3 81 84 e3 81 be e3  ................
0e60: 81 99 e3 80 82 3c 74 74 3e 69 66 3c 2f 74 74 3e  .....<tt>if</tt>
0e70: 20 e3 82 82 e3 81 a7 e3 81 99 e3 80 82 0a 3c 62   .............<b
0e80: 72 2f 3e 0a e3 83 91 e3 82 bf e3 83 bc e3 83 b3  r/>.............
0e90: e3 83 9e e3 83 83 e3 83 81 e3 82 82 e5 85 a8 e9  ................
0ea0: 83 a8 20 3c 74 74 3e 69 66 3c 2f 74 74 3e 20 e3  .. <tt>if</tt> .
0eb0: 81 a8 20 3c 74 74 3e 3d 3d 3c 2f 74 74 3e 20 e3  .. <tt>==</tt> .
0ec0: 81 a8 20 3c 74 74 3e 26 61 6d 70 3b 26 61 6d 70  .. <tt>&amp;&amp
0ed0: 3b 3c 2f 74 74 3e 20 e3 81 a8 0a 3c 74 74 3e 2e  ;</tt> ....<tt>.
0ee0: 3c 2f 74 74 3e 20 e3 81 a8 20 3c 74 74 3e 2e 3f  </tt> ... <tt>.?
0ef0: 3c 2f 74 74 3e 20 e3 82 92 e4 bd bf e3 81 a3 e3  </tt> ..........
0f00: 81 9f e9 96 a2 e6 95 b0 e5 91 bc e3 81 b3 e5 87  ................
0f10: ba e3 81 97 e5 bc 8f e3 81 ab e6 9b b8 e3 81 8d  ................
0f20: e6 8f 9b e3 81 88 e3 82 89 e3 82 8c e3 81 a6 e3  ................
0f30: 81 84 e3 81 be e3 81 99 e3 81 8c e3 80 81 0a e8  ................
0f40: a6 8f e5 89 87 e3 81 ae e8 a9 b3 e7 b4 b0 e3 82  ................
0f50: 92 e8 aa ac e6 98 8e e3 81 99 e3 82 8b e3 81 ae  ................
0f60: e3 81 8c e9 9d a2 e5 80 92 e3 81 aa e3 81 ae e3  ................
0f70: 81 a7 e9 81 a9 e5 bd 93 e3 81 ab e6 83 b3 e5 83  ................
0f80: 8f e3 81 97 e3 81 a6 e4 b8 8b e3 81 95 e3 81 84  ................
0f90: e3 80 82 0a e4 bb 96 e3 81 ae e6 9b b8 e3 81 8d  ................
0fa0: e6 8f 9b e3 81 88 e3 81 af e3 81 93 e3 82 93 e3  ................
0fb0: 81 aa e6 84 9f e3 81 98 e3 81 a7 e3 81 99 e3 80  ................
0fc0: 82 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20  ..</p>.<pre>.   
0fd0: 20 69 66 20 45 20 74 68 65 6e 20 45 20 20 20 20   if E then E    
0fe0: 20 20 20 20 20 e2 87 92 20 69 66 28 20 45 2c 20       ... if( E, 
0ff0: 66 75 6e 28 29 7b 45 7d 2c 20 66 75 6e 28 29 7b  fun(){E}, fun(){
1000: 7d 20 29 0a 20 20 20 20 69 66 20 45 20 74 68 65  } ).    if E the
1010: 6e 20 45 20 65 6c 73 65 20 45 20 20 e2 87 92 20  n E else E  ... 
1020: 69 66 28 20 45 2c 20 66 75 6e 28 29 7b 45 7d 2c  if( E, fun(){E},
1030: 20 66 75 6e 28 29 7b 45 7d 20 29 0a 20 20 20 20   fun(){E} ).    
1040: 45 20 42 49 4e 4f 50 20 45 20 20 20 20 20 20 20  E BINOP E       
1050: 20 20 20 20 e2 87 92 20 42 49 4e 4f 50 28 45 2c      ... BINOP(E,
1060: 20 45 29 0a 20 20 20 20 7b 20 45 4e 54 52 49 45   E).    { ENTRIE
1070: 53 20 7d 20 20 20 20 20 20 20 20 20 e2 87 92 20  S }         ... 
1080: 7b 7d 7b 20 45 4e 54 52 49 45 53 20 7d 0a 20 20  {}{ ENTRIES }.  
1090: 20 20 7b 7d 20 20 20 20 20 20 20 20 20 20 20 20    {}            
10a0: 20 20 20 20 20 20 e2 87 92 20 7b 7d 28 29 0a 20        ... {}(). 
10b0: 20 20 20 45 20 7b 49 44 3a 45 2c 20 2e 2e 2e 7d     E {ID:E, ...}
10c0: 20 20 20 20 20 20 20 e2 87 92 20 2e 3d 28 45 2c         ... .=(E,
10d0: 20 49 44 2c 20 45 29 20 7b 20 2e 2e 2e 20 7d 0a   ID, E) { ... }.
10e0: 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e5 a4 89 e6 95  </pre>.<p>......
10f0: b0 e5 ae a3 e8 a8 80 e3 81 ab e8 89 b2 e3 80 85  ................
1100: e3 81 82 e3 82 8a e3 81 be e3 81 99 e3 81 8c e3  ................
1110: 80 81 3c 74 74 3e 6c 65 74 3c 2f 74 74 3e 20 e3  ..<tt>let</tt> .
1120: 81 a8 20 3c 74 74 3e 76 61 72 3c 2f 74 74 3e 20  .. <tt>var</tt> 
1130: e3 81 a8 20 3c 74 74 3e 64 65 66 3c 2f 74 74 3e  ... <tt>def</tt>
1140: 20 e3 81 af e5 90 8c e3 81 98 e6 89 b1 e3 81 84   ...............
1150: e3 81 a7 e3 80 81 0a 3c 74 74 3e 69 6e 3c 2f 74  .......<tt>in</t
1160: 74 3e 20 e3 81 a8 20 3c 74 74 3e 3b 3c 2f 74 74  t> ... <tt>;</tt
1170: 3e 20 e3 81 af e5 90 8c e3 81 98 e6 89 b1 e3 81  > ..............
1180: 84 e3 81 a7 e3 81 99 e3 80 82 e3 81 a4 e3 81 be  ................
1190: e3 82 8a 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20  ....</p>.<pre>. 
11a0: 20 20 6c 65 74 20 78 20 3d 20 45 20 69 6e 20 45    let x = E in E
11b0: 0a 20 20 20 76 61 72 20 78 20 3d 20 45 20 69 6e  .   var x = E in
11c0: 20 45 0a 20 20 20 64 65 66 20 78 20 3d 20 45 20   E.   def x = E 
11d0: 69 6e 20 45 0a 20 20 20 6c 65 74 20 78 20 3d 20  in E.   let x = 
11e0: 45 20 3b 20 45 0a 20 20 20 76 61 72 20 78 20 3d  E ; E.   var x =
11f0: 20 45 20 3b 20 45 0a 20 20 20 64 65 66 20 78 20   E ; E.   def x 
1200: 3d 20 45 20 3b 20 45 0a 3c 2f 70 72 65 3e 0a 3c  = E ; E.</pre>.<
1210: 70 3e 0a e4 bb a5 e4 b8 8a e3 81 ae e3 81 a9 e3  p>..............
1220: 82 8c e3 82 82 e5 90 8c e3 81 98 e6 84 8f e5 91  ................
1230: b3 e3 81 aa e3 81 ae e3 81 a7 e3 80 81 e3 81 aa  ................
1240: e3 82 93 e3 81 a8 e3 81 aa e3 81 8f e9 96 a2 e6  ................
1250: 95 b0 e5 9e 8b e3 81 a3 e3 81 bd e3 81 8f e6 9b  ................
1260: b8 e3 81 8d e3 81 9f e3 81 84 e6 b0 97 e5 88 86  ................
1270: e3 81 ae e6 97 a5 e3 81 af 20 3c 74 74 3e 6c 65  ......... <tt>le
1280: 74 20 69 6e 3c 2f 74 74 3e 20 e3 82 92 e3 80 81  t in</tt> ......
1290: 0a e6 89 8b e7 b6 9a e3 81 8d e5 9e 8b e3 81 a3  ................
12a0: e3 81 bd e3 81 8f e6 9b b8 e3 81 8d e3 81 9f e3  ................
12b0: 81 84 e6 b0 97 e5 88 86 e3 81 ae e6 97 a5 e3 81  ................
12c0: af 20 3c 74 74 3e 76 61 72 20 3b 3c 2f 74 74 3e  . <tt>var ;</tt>
12d0: 20 e3 82 92 e4 bd bf e3 81 86 e3 81 a8 e3 82 88   ...............
12e0: e3 81 84 e3 81 a8 e6 80 9d e3 81 84 e3 81 be e3  ................
12f0: 81 99 e3 80 82 0a 3c 74 74 3e 69 66 20 74 68 65  ......<tt>if the
1300: 6e 20 65 6c 73 65 3c 2f 74 74 3e 20 e3 82 82 e5  n else</tt> ....
1310: be ae e5 a6 99 e3 81 ab e3 82 b3 e3 83 ad e3 83  ................
1320: b3 e3 81 8c e3 81 82 e3 81 a3 e3 81 9f e3 82 8a  ................
1330: e3 81 aa e3 81 8b e3 81 a3 e3 81 9f e3 82 8a e3  ................
1340: 83 90 e3 83 aa e3 82 a8 e3 83 bc e3 82 b7 e3 83  ................
1350: a7 e3 83 b3 e3 81 8c e3 81 82 e3 82 8a e3 81 be  ................
1360: e3 81 99 e3 81 8c e5 a5 bd e3 81 bf e3 81 a7 e4  ................
1370: bd bf e3 81 84 e3 81 be e3 81 99 e3 80 82 0a 3c  ...............<
1380: 2f 70 3e 0a 3c 70 3e 0a e9 96 a2 e6 95 b0 e3 82  /p>.<p>.........
1390: 92 e5 ae a3 e8 a8 80 e3 81 99 e3 82 8b e3 81 a8  ................
13a0: e3 81 8d e3 81 af e3 80 81 3c 74 74 3e 66 75 6e  .........<tt>fun
13b0: 3c 2f 74 74 3e 20 e3 82 84 20 3c 74 74 3e ce bb  </tt> ... <tt>..
13c0: 3c 2f 74 74 3e 20 e3 82 92 e7 9c 81 e7 95 a5 e3  </tt> ..........
13d0: 81 a7 e3 81 8d e3 81 be e3 81 99 e3 80 82 0a e4  ................
13e0: bb a5 e4 b8 8b e3 81 ae e6 9b b8 e3 81 8d e6 8f  ................
13f0: 9b e3 81 88 e3 81 8c e8 a1 8c e3 82 8f e3 82 8c  ................
1400: e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c  ..........</p>.<
1410: 70 72 65 3e 0a 20 20 20 64 65 66 20 66 28 20 41  pre>.   def f( A
1420: 52 47 53 20 29 20 7b 20 45 20 7d 3b 20 45 20 20  RGS ) { E }; E  
1430: 20 e2 87 92 20 20 20 64 65 66 20 66 20 3d 20 66   ...   def f = f
1440: 75 6e 28 41 52 47 53 29 7b 45 7d 3b 20 45 0a 3c  un(ARGS){E}; E.<
1450: 2f 70 72 65 3e 0a 3c 70 3e 0a e4 bb 96 e3 81 ab  /pre>.<p>.......
1460: e3 80 81 e3 82 82 e3 81 a3 e3 81 a8 e6 89 8b e7  ................
1470: b6 9a e3 81 8d e5 9e 8b e3 81 a3 e3 81 bd e3 81  ................
1480: 8f e3 81 9f e3 82 81 e3 81 ae e6 9b b8 e3 81 8d  ................
1490: e6 8f 9b e3 81 88 e8 89 b2 e3 80 85 0a 3c 2f 70  .............</p
14a0: 3e 0a 3c 70 72 65 3e 0a 20 20 20 66 75 6e 20 28  >.<pre>.   fun (
14b0: 29 20 7b 20 45 3b 20 45 3b 20 45 20 20 20 20 20  ) { E; E; E     
14c0: 20 7d 20 20 20 e2 87 92 20 20 20 66 75 6e 20 28   }   ...   fun (
14d0: 29 20 7b 20 6c 65 74 20 5f 20 3d 20 45 20 69 6e  ) { let _ = E in
14e0: 20 6c 65 74 20 5f 20 3d 20 45 20 69 6e 20 45 20   let _ = E in E 
14f0: 7d 0a 20 20 20 66 75 6e 20 28 29 20 7b 20 76 61  }.   fun () { va
1500: 72 20 78 20 3d 20 31 30 30 20 20 7d 20 20 20 e2  r x = 100  }   .
1510: 87 92 20 20 20 66 75 6e 20 28 29 20 7b 20 76 61  ..   fun () { va
1520: 72 20 78 20 3d 20 31 30 30 3b 20 78 20 7d 0a 20  r x = 100; x }. 
1530: 20 20 66 75 6e 20 28 29 20 7b 20 76 61 72 20 78    fun () { var x
1540: 20 3d 20 31 30 30 3b 20 7d 20 20 20 e2 87 92 20   = 100; }   ... 
1550: 20 20 66 75 6e 20 28 29 20 7b 20 76 61 72 20 78    fun () { var x
1560: 20 3d 20 31 30 30 3b 20 78 20 7d 0a 20 20 20 66   = 100; x }.   f
1570: 75 6e 20 28 29 20 7b 20 7d 20 20 20 20 20 20 20  un () { }       
1580: 20 20 20 20 20 20 20 20 20 e2 87 92 20 20 20 66           ...   f
1590: 75 6e 20 28 29 20 7b 20 22 28 65 6d 70 74 79 20  un () { "(empty 
15a0: 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 29 22 20  function body)" 
15b0: 7d 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e4 b8 ad  }.</pre>.<p>....
15c0: e8 ba ab e3 81 8c e7 a9 ba e3 81 ae e9 96 a2 e6  ................
15d0: 95 b0 e3 81 ab e4 bd 95 e3 82 92 e8 bf 94 e3 81  ................
15e0: 95 e3 81 9b e3 82 8b e3 81 8b e3 81 af e9 81 a9  ................
15f0: e5 bd 93 e3 81 a7 e3 81 99 e3 80 82 e4 bb 8a e3  ................
1600: 81 af e3 81 a8 e3 82 8a e3 81 82 e3 81 88 e3 81  ................
1610: 9a e9 81 a9 e5 bd 93 e3 81 ab e6 96 87 e5 ad 97  ................
1620: e5 88 97 e8 bf 94 e3 81 97 e3 81 a6 e3 81 be e3  ................
1630: 81 99 e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a 0a 24  ......</p>.))..$
1640: 28 53 45 43 54 49 4f 4e 20 e5 a4 89 e6 95 b0 e3  (SECTION .......
1650: 81 ae e3 82 b9 e3 82 b3 e3 83 bc e3 83 97 e8 a6  ................
1660: 8f e5 89 87 2c 20 24 28 53 45 43 42 4f 44 59 0a  ...., $(SECBODY.
1670: 3c 70 3e 0a e5 9f ba e6 9c ac e7 9a 84 e3 81 ab  <p>.............
1680: e3 81 af e3 80 81 6c 65 74 20 e3 81 ab e3 82 88  ......let ......
1690: e3 81 a3 e3 81 a6 e5 b8 b8 e8 ad 98 e7 9a 84 e3  ................
16a0: 81 aa e6 84 9f e3 81 98 e3 81 ab e5 a4 89 e6 95  ................
16b0: b0 e3 81 ae e3 82 b9 e3 82 b3 e3 83 bc e3 83 97  ................
16c0: e3 81 8c e3 83 8d e3 82 b9 e3 83 88 e3 81 97 e3  ................
16d0: 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70  .........</p>.<p
16e0: 72 65 3e 0a 20 20 20 6c 65 74 20 78 3d 32 31 20  re>.   let x=21 
16f0: 69 6e 20 6c 65 74 20 78 3d 78 2b 78 20 69 6e 20  in let x=x+x in 
1700: 78 20 20 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54  x    $(D_COMMENT
1710: 20 23 20 34 32 29 0a 3c 2f 70 72 65 3e 0a 3c 70   # 42).</pre>.<p
1720: 3e 0a e4 b8 80 e6 96 b9 e3 81 a7 e3 80 81 22 6c  >............."l
1730: 65 74 20 72 65 63 22 20 e3 81 ae e3 82 88 e3 81  et rec" ........
1740: 86 e3 81 aa e7 89 b9 e5 88 a5 e3 81 aa e6 a7 8b  ................
1750: e6 96 87 e3 81 af e3 81 82 e3 82 8a e3 81 be e3  ................
1760: 81 9b e3 82 93 e3 81 8c e3 80 81 0a 3c 2f 70 3e  ............</p>
1770: 0a 3c 70 72 65 3e 0a 20 20 20 6c 65 74 20 66 20  .<pre>.   let f 
1780: 3d 20 66 75 6e 28 78 29 20 7b 20 69 66 20 78 3d  = fun(x) { if x=
1790: 3d 30 20 74 68 65 6e 20 31 20 65 6c 73 65 20 78  =0 then 1 else x
17a0: 2a 66 28 78 2d 31 29 20 7d 20 69 6e 20 66 28 31  *f(x-1) } in f(1
17b0: 30 29 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20  0)  $(D_COMMENT 
17c0: 23 20 33 36 32 38 38 30 30 29 0a 3c 2f 70 72 65  # 3628800).</pre
17d0: 3e 0a 3c 70 3e 0a e5 86 8d e5 b8 b0 e7 9a 84 e3  >.<p>...........
17e0: 81 aa e9 96 a2 e6 95 b0 e5 ae 9a e7 be a9 e3 81  ................
17f0: aa e3 81 a9 e3 82 82 e3 80 81 e3 81 8a e3 81 9d  ................
1800: e3 82 89 e3 81 8f e6 84 8f e5 9b b3 e3 81 95 e3  ................
1810: 82 8c e3 81 9f e3 81 a8 e3 81 8a e3 82 8a e3 81  ................
1820: ab e5 8b 95 e3 81 8d e3 81 be e3 81 99 e3 80 82  ................
1830: 0a e5 86 85 e9 83 a8 e3 81 ae e8 a9 b3 e7 b4 b0  ................
1840: e3 81 af e3 80 81 e8 ab b8 e8 88 ac e3 81 ae e4  ................
1850: ba 8b e6 83 85 e3 81 ab e3 82 88 e3 82 8a e3 80  ................
1860: 81 0a e3 83 9e e3 82 b8 e3 82 ab e3 83 ab e3 81  ................
1870: a7 e7 a0 b4 e5 a3 8a e7 9a 84 e3 81 aa e3 82 b9  ................
1880: e3 82 b3 e3 83 bc e3 83 97 e8 a6 8f e5 89 87 e3  ................
1890: 81 ab e3 81 aa e3 81 a3 e3 81 a6 e3 81 84 e3 82  ................
18a0: 8b e3 81 ae e3 81 a7 e3 81 99 e3 81 8c e3 80 81  ................
18b0: 0a e5 90 8c e5 90 8d e3 81 ae e5 a4 89 e6 95 b0  ................
18c0: e3 82 92 e6 bf 80 e3 81 97 e3 81 8f e9 87 8d e3  ................
18d0: 81 ad e3 81 a6 e4 bd bf e3 81 a3 e3 81 9f e3 82  ................
18e0: 8a e3 81 97 e3 81 aa e3 81 91 e3 82 8c e3 81 b0  ................
18f0: e3 80 81 0a e3 81 a0 e3 81 84 e3 81 9f e3 81 84  ................
1900: e8 87 aa e7 84 b6 e3 81 aa e5 8b 95 e3 81 8d e3  ................
1910: 82 92 e3 81 99 e3 82 8b e3 81 a8 e6 80 9d e3 81  ................
1920: 84 e3 81 be e3 81 99 e3 80 81 e3 81 9f e3 81 b6  ................
1930: e3 82 93 e3 80 81 e3 81 af e3 81 84 e3 80 82 0a  ................
1940: 3c 2f 70 3e 0a 3c 70 3e 0a e3 81 b2 e3 81 a8 e3  </p>.<p>........
1950: 81 a4 e3 81 a0 e3 81 91 e4 b8 8d e5 8f af e6 80  ................
1960: 9d e8 ad b0 e3 81 aa e5 8b 95 e3 81 8d e3 82 92  ................
1970: e3 81 99 e3 82 8b e3 81 ae e3 81 af e3 80 81 e4  ................
1980: bb a5 e4 b8 8b e3 81 ae e3 82 b1 e3 83 bc e3 82  ................
1990: b9 e3 81 a7 e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a  ...........</p>.
19a0: 3c 70 72 65 3e 0a 20 20 20 6c 65 74 20 78 20 3d  <pre>.   let x =
19b0: 20 31 20 69 6e 0a 20 20 20 6c 65 74 20 66 20 3d   1 in.   let f =
19c0: 20 66 75 6e 28 29 20 7b 78 7d 20 69 6e 0a 20 20   fun() {x} in.  
19d0: 20 6c 65 74 20 78 20 3d 20 32 20 69 6e 0a 20 20   let x = 2 in.  
19e0: 20 20 20 20 66 28 29 20 20 20 20 24 28 44 5f 43      f()    $(D_C
19f0: 4f 4d 4d 45 4e 54 20 23 20 32 21 21 29 0a 3c 2f  OMMENT # 2!!).</
1a00: 70 72 65 3e 0a 3c 70 3e 0a 6c 65 74 2d 69 6e 20  pre>.<p>.let-in 
1a10: e3 82 92 e7 b8 a6 e3 81 ab e3 83 81 e3 82 a7 e3  ................
1a20: 82 a4 e3 83 b3 e3 81 97 e3 81 9f e3 81 a8 e3 81  ................
1a30: 8d e3 81 a0 e3 81 91 e3 80 81 e5 90 8c e5 90 8d  ................
1a40: e5 a4 89 e6 95 b0 e3 82 92 e7 a0 b4 e5 a3 8a e7  ................
1a50: 9a 84 e3 81 ab e4 b8 8a e6 9b b8 e3 81 8d e3 81  ................
1a60: 97 e3 81 be e3 81 99 0a ef bc 88 e5 86 8d e5 b8  ................
1a70: b0 e9 96 a2 e6 95 b0 e3 81 ae e5 ae 9a e7 be a9  ................
1a80: e3 81 8c 22 e3 81 86 e3 81 be e3 81 8f 22 e3 81  ..."........."..
1a90: 84 e3 81 a3 e3 81 a6 e3 81 84 e3 82 8b e3 81 ae  ................
1aa0: e3 81 af e3 81 93 e3 81 ae e4 b8 8a e6 9b b8 e3  ................
1ab0: 81 8d e3 81 ae e3 81 9f e3 82 81 e3 81 a7 e3 81  ................
1ac0: 99 ef bc 89 e3 80 82 0a e3 81 aa e3 82 93 e3 81  ................
1ad0: a7 e3 81 93 e3 82 93 e3 81 aa e3 81 93 e3 81 a8  ................
1ae0: e3 81 ab e3 81 aa e3 81 a3 e3 81 a6 e3 81 84 e3  ................
1af0: 82 8b e3 81 8b e3 81 a8 e3 81 84 e3 81 86 e3 81  ................
1b00: a8 e3 80 81 0a e5 be 8c e3 81 a7 e8 aa ac e6 98  ................
1b10: 8e e3 81 99 e3 82 8b e3 80 8c e3 83 ac e3 82 a4  ................
1b20: e3 83 a4 e3 80 8d e3 82 92 e4 bd bf e3 81 a3 e3  ................
1b30: 81 9f e3 81 a8 e3 81 8d e3 81 ab 0a 3c 74 74 3e  ............<tt>
1b40: 6c 65 74 20 66 6f 6f 20 3d 20 2e 2e 2e 20 69 6e  let foo = ... in
1b50: 20 40 6c 61 79 20 66 6f 6f 20 3d 20 2e 2e 2e 20   @lay foo = ... 
1b60: 69 6e 20 2e 2e 2e 3c 2f 74 74 3e 0a e3 81 a7 e4  in ...</tt>.....
1b70: bb 96 e3 83 ac e3 82 a4 e3 83 a4 e3 81 ab e9 87  ................
1b80: 8d e3 81 ad e6 9b b8 e3 81 8d e3 81 99 e3 82 8b  ................
1b90: e3 81 9f e3 82 81 e3 80 81 e3 81 ae e3 81 a4 e3  ................
1ba0: 82 82 e3 82 8a e3 81 a7 e3 81 99 e3 80 82 e8 a9  ................
1bb0: b3 e3 81 97 e3 81 8f e3 81 af e5 be 8c e3 81 a7  ................
1bc0: e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a 29 0a 29 29  ....</p>.)).).))
1bd0: 0a 0a 0a 0a 0a 24 28 53 45 43 54 49 4f 4e 20 42  .....$(SECTION B
1be0: 61 73 69 63 20 46 65 61 74 75 72 65 73 2c 20 24  asic Features, $
1bf0: 28 53 45 43 42 4f 44 59 0a 3c 70 3e 0a e7 89 b9  (SECBODY.<p>....
1c00: e3 81 ab e7 89 b9 e5 be b4 e7 9a 84 e3 81 a7 e3  ................
1c10: 82 82 e3 81 aa e3 81 84 e9 83 a8 e5 88 86 e3 82  ................
1c20: 92 e7 b0 a1 e5 8d 98 e3 81 ab e3 81 be e3 81 a8  ................
1c30: e3 82 81 e3 80 82 0a 3c 2f 70 3e 0a 3c 75 6c 3e  .......</p>.<ul>
1c40: 0a 20 20 3c 6c 69 3e e9 9d 99 e7 9a 84 e5 9e 8b  .  <li>.........
1c50: e3 82 b7 e3 82 b9 e3 83 86 e3 83 a0 e3 81 af e3  ................
1c60: 81 82 e3 82 8a e3 81 be e3 81 9b e3 82 93 e3 80  ................
1c70: 82 3c 2f 6c 69 3e 0a 20 20 3c 6c 69 3e 22 e3 81  .</li>.  <li>"..
1c80: bb e3 81 bc 22 20 e7 b4 94 e7 b2 8b e9 96 a2 e6  ...." ..........
1c90: 95 b0 e5 9e 8b e8 a8 80 e8 aa 9e e3 81 a7 e3 81  ................
1ca0: 99 e3 80 82 e5 a4 89 e6 95 b0 e3 82 84 e3 83 86  ................
1cb0: e3 83 bc e3 83 96 e3 83 ab e3 81 ae e3 83 95 e3  ................
1cc0: 82 a3 e3 83 bc e3 83 ab e3 83 89 e3 81 ae e7 a0  ................
1cd0: b4 e5 a3 8a e7 9a 84 e3 81 aa e6 9b b8 e3 81 8d  ................
1ce0: e6 8f 9b e3 81 88 e3 81 af e3 81 a7 e3 81 8d e3  ................
1cf0: 81 be e3 81 9b e3 82 93 e3 80 82 3c 62 72 2f 3e  ...........<br/>
1d00: 0a 20 20 20 20 20 20 e3 81 9f e3 81 a0 e3 81 97  .      .........
1d10: e3 80 81 e7 b5 84 e3 81 bf e8 be bc e3 81 bf e9  ................
1d20: 96 a2 e6 95 b0 ef bc 88 3c 74 74 3e 70 72 69 6e  ........<tt>prin
1d30: 74 3c 2f 74 74 3e ef bc 89 e3 81 a8 e3 80 81 e5  t</tt>..........
1d40: a4 89 e6 95 b0 e3 81 ae e3 82 b9 e3 82 b3 e3 83  ................
1d50: bc e3 83 97 e8 a6 8f e5 89 87 e3 81 ae e3 83 9e  ................
1d60: e3 82 b8 e3 82 ab e3 83 ab e3 81 aa e7 89 87 e9  ................
1d70: 9a 85 e3 81 ab e5 89 af e4 bd 9c e7 94 a8 e3 81  ................
1d80: 8c e3 81 82 e3 82 8a e3 81 be e3 81 99 e3 80 82  ................
1d90: 3c 2f 6c 69 3e 0a 3c 2f 75 6c 3e 0a 3c 70 3e 0a  </li>.</ul>.<p>.
1da0: e9 9d 99 e7 9a 84 e5 9e 8b e3 82 b7 e3 82 b9 e3  ................
1db0: 83 86 e3 83 a0 e3 81 8c e3 81 aa e3 81 84 e3 81  ................
1dc0: ae e3 81 af e6 84 8f e5 9b b3 e7 9a 84 e3 81 a7  ................
1dd0: e3 81 99 e3 81 8c e3 80 81 e7 a0 b4 e5 a3 8a e7  ................
1de0: 9a 84 e4 bb a3 e5 85 a5 e3 81 8c e3 81 aa e3 81  ................
1df0: 84 e3 81 ae e3 81 af e3 80 81 e5 8d 98 e3 81 ab  ................
1e00: e5 ae 9f e8 a3 85 e3 81 8c e3 82 81 e3 82 93 e3  ................
1e10: 81 a9 e3 81 8b e3 81 a3 e3 81 9f e3 81 a0 e3 81  ................
1e20: 91 e3 81 aa e3 81 ae e3 81 a7 e3 80 81 0a e4 bb  ................
1e30: 8a e5 be 8c e4 bd 95 e3 81 8b e5 a2 97 e3 81 88  ................
1e40: e3 82 8b e3 81 8b e3 82 82 e3 81 97 e3 82 8c e3  ................
1e50: 81 be e3 81 9b e3 82 93 e3 80 82 e5 a2 97 e3 81  ................
1e60: 88 e3 81 aa e3 81 84 e3 81 8b e3 82 82 e3 81 97  ................
1e70: e3 82 8c e3 81 be e3 81 9b e3 82 93 e3 80 82 0a  ................
1e80: 3c 2f 70 3e 0a 24 28 44 44 4f 43 5f 4d 45 4d 42  </p>.$(DDOC_MEMB
1e90: 45 52 53 0a 24 28 53 45 43 54 49 4f 4e 20 e3 83  ERS.$(SECTION ..
1ea0: 87 e3 83 bc e3 82 bf e5 9e 8b 2c 20 24 28 53 45  .........., $(SE
1eb0: 43 42 4f 44 59 0a 3c 70 3e 0a e4 bb a5 e4 b8 8b  CBODY.<p>.......
1ec0: e3 81 ae e3 83 87 e3 83 bc e3 82 bf e5 9e 8b e3  ................
1ed0: 81 8c e3 81 82 e3 82 8a e3 81 be e3 81 99 e3 80  ................
1ee0: 82 0a 3c 2f 70 3e 0a 3c 75 6c 3e 0a 20 20 3c 6c  ..</p>.<ul>.  <l
1ef0: 69 3e e6 95 b4 e6 95 b0 3a 20 20 20 20 20 3c 74  i>......:     <t
1f00: 74 3e 30 3c 2f 74 74 3e 2c 20 3c 74 74 3e 31 32  t>0</tt>, <tt>12
1f10: 33 3c 2f 74 74 3e 2c 20 3c 74 74 3e 34 35 36 36  3</tt>, <tt>4566
1f20: 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36  6666666666666666
1f30: 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36  6666666666666666
1f40: 36 36 36 37 38 39 3c 2f 74 74 3e 2c 20 2e 2e 2e  666789</tt>, ...
1f50: 3c 2f 6c 69 3e 0a 20 20 3c 6c 69 3e e6 96 87 e5  </li>.  <li>....
1f60: ad 97 e5 88 97 3a 20 20 20 3c 74 74 3e 22 68 65  .....:   <tt>"he
1f70: 6c 6c 6f 2c 20 77 6f 72 6c 64 21 22 3c 2f 74 74  llo, world!"</tt
1f80: 3e 2c 20 2e 2e 2e 3c 2f 6c 69 3e 0a 20 20 3c 6c  >, ...</li>.  <l
1f90: 69 3e e9 96 a2 e6 95 b0 3a 20 20 20 20 20 3c 74  i>......:     <t
1fa0: 74 3e 66 75 6e 28 78 29 7b 78 2b 31 7d 3c 2f 74  t>fun(x){x+1}</t
1fb0: 74 3e 3c 2f 6c 69 3e 0a 20 20 3c 6c 69 3e e3 83  t></li>.  <li>..
1fc0: 86 e3 83 bc e3 83 96 e3 83 ab 3a 20 3c 74 74 3e  ..........: <tt>
1fd0: 7b 63 61 72 3a 20 31 2c 20 63 64 72 3a 20 7b 63  {car: 1, cdr: {c
1fe0: 61 72 3a 20 32 2c 20 63 64 72 3a 20 7b 7d 7d 7d  ar: 2, cdr: {}}}
1ff0: 3c 2f 74 74 3e 3c 2f 6c 69 3e 0a 20 20 3c 6c 69  </tt></li>.  <li
2000: 3e e3 83 9c e3 83 88 e3 83 a0 3a 20 20 20 28 e7  >.........:   (.
2010: 89 b9 e6 ae 8a e3 81 aa e3 82 b1 e3 83 bc e3 82  ................
2020: b9 e3 81 a7 e4 bd 9c e3 82 89 e3 82 8c e3 81 be  ................
2030: e3 81 99 e3 80 82 e3 80 8c e3 83 ac e3 82 a4 e3  ................
2040: 83 a4 e3 80 8d e3 81 ae e8 aa ac e6 98 8e e5 8f  ................
2050: 82 e7 85 a7 e3 81 ae e3 81 93 e3 81 a8 e3 80 82  ................
2060: 29 3c 2f 6c 69 3e 0a 3c 2f 75 6c 3e 0a 3c 70 3e  )</li>.</ul>.<p>
2070: 0a e9 96 a2 e6 95 b0 e3 81 af e3 81 84 e3 82 8f  ................
2080: e3 82 86 e3 82 8b e3 80 8c e3 82 af e3 83 ad e3  ................
2090: 83 bc e3 82 b8 e3 83 a3 e3 80 8d e3 81 a7 e3 81  ................
20a0: 99 e3 80 82 e9 9d 99 e7 9a 84 e3 82 b9 e3 82 b3  ................
20b0: e3 83 bc e3 83 97 e3 81 a7 e5 a4 96 e5 81 b4 e3  ................
20c0: 81 ae e7 92 b0 e5 a2 83 e3 81 ab e3 82 a2 e3 82  ................
20d0: af e3 82 bb e3 82 b9 e3 81 a7 e3 81 8d e3 81 be  ................
20e0: e3 81 99 e3 80 82 0a e3 83 86 e3 83 bc e3 83 96  ................
20f0: e3 83 ab e3 81 af e3 81 84 e3 82 8f e3 82 86 e3  ................
2100: 82 8b e3 83 97 e3 83 ad e3 83 88 e3 82 bf e3 82  ................
2110: a4 e3 83 97 e3 83 81 e3 82 a7 e3 83 bc e3 83 b3  ................
2120: e3 82 92 e6 8c 81 e3 81 a3 e3 81 a6 e3 81 84 e3  ................
2130: 81 a6 e3 80 81 0a e8 87 aa e5 88 86 e3 81 ab e3  ................
2140: 81 aa e3 81 84 e3 83 95 e3 82 a3 e3 83 bc e3 83  ................
2150: ab e3 83 89 e3 81 ae e5 a0 b4 e5 90 88 e3 81 af  ................
2160: e8 a6 aa e3 81 ab e5 95 8f e3 81 84 e5 90 88 e3  ................
2170: 82 8f e3 81 9b e3 81 8c e8 a1 8c e3 81 8f e6 84  ................
2180: 9f e3 81 98 e3 81 ab e3 81 aa e3 81 a3 e3 81 a6  ................
2190: e3 81 84 e3 81 be e3 81 99 e3 81 8c e3 80 81 0a  ................
21a0: e3 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83 89 e3  ................
21b0: 81 ae e6 9b b8 e3 81 8d e6 8f 9b e3 81 88 e3 81  ................
21c0: 8c e3 81 aa e3 81 84 e3 81 ae e3 81 a7 e3 80 81  ................
21d0: e3 81 93 e3 82 8c e3 81 af e7 89 b9 e3 81 ab e6  ................
21e0: 84 8f e5 91 b3 e3 81 aa e3 81 84 e3 81 8b e3 82  ................
21f0: 82 e3 81 97 e3 82 8c e3 81 aa e3 81 84 e2 80 a6  ................
2200: e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a e3 81 be  ....</p>.<p>....
2210: e3 81 9f e3 80 81 e3 83 aa e3 82 b9 e3 83 88 e3  ................
2220: 82 92 e6 89 b1 e3 81 86 e3 81 9f e3 82 81 e3 81  ................
2230: ab e3 80 81 e3 81 84 e3 82 8f e3 82 86 e3 82 8b  ................
2240: e3 80 8c 63 6f 6e 73 20 e3 83 aa e3 82 b9 e3 83  ...cons ........
2250: 88 e3 80 8d e3 82 92 e4 bd bf e3 81 84 e3 81 be  ................
2260: e3 81 99 e3 80 82 0a e7 a9 ba e3 83 aa e3 82 b9  ................
2270: e3 83 88 e3 82 92 20 3c 74 74 3e 7b 7d 3c 2f 74  ...... <tt>{}</t
2280: 74 3e e3 80 81 ef bc 91 e5 80 8b e4 bb a5 e4 b8  t>..............
2290: 8a e8 a6 81 e7 b4 a0 e3 81 8c e3 81 82 e3 82 8b  ................
22a0: e3 82 82 e3 81 ae e3 82 92 20 3c 74 74 3e 7b 63  ......... <tt>{c
22b0: 61 72 3a 20 e5 85 88 e9 a0 ad e8 a6 81 e7 b4 a0  ar: ............
22c0: 2c 20 63 64 72 3a 20 e4 ba 8c e7 95 aa e7 9b ae  , cdr: .........
22d0: e4 bb a5 e9 99 8d e3 81 ae e3 83 aa e3 82 b9 e3  ................
22e0: 83 88 7d 3c 2f 74 74 3e 0a e3 81 a8 e3 81 84 e3  ..}</tt>........
22f0: 81 86 e5 bd a2 e3 81 a7 e3 80 82 e3 81 93 e3 81  ................
2300: ae e5 bd a2 e3 81 a7 e3 83 aa e3 82 b9 e3 83 88  ................
2310: e3 82 92 e6 89 b1 e3 82 8f e3 81 aa e3 81 91 e3  ................
2320: 82 8c e3 81 b0 e3 81 aa e3 82 89 e3 81 aa e3 81  ................
2330: 84 e3 81 a8 e3 81 84 e3 81 86 e6 b1 ba e3 81 be  ................
2340: e3 82 8a e3 81 af e3 81 82 e3 82 8a e3 81 be e3  ................
2350: 81 9b e3 82 93 e3 81 8c e3 80 81 0a e3 81 93 e3  ................
2360: 81 ae e5 bd a2 e3 81 af e7 89 b9 e5 88 a5 e6 89  ................
2370: b1 e3 81 84 e3 81 95 e3 82 8c e3 81 a6 20 3c 74  ............. <t
2380: 74 3e 70 72 69 6e 74 3c 2f 74 74 3e 20 e3 81 a7  t>print</tt> ...
2390: e7 b6 ba e9 ba 97 e3 81 ab e5 87 ba e5 8a 9b e3  ................
23a0: 81 95 e3 82 8c e3 81 9f e3 82 8a e3 81 97 e3 81  ................
23b0: be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a  ........</p>.)).
23c0: 24 28 53 45 43 54 49 4f 4e 20 e3 83 91 e3 82 bf  $(SECTION ......
23d0: e3 83 bc e3 83 b3 e3 83 9e e3 83 83 e3 83 81 2c  ...............,
23e0: 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 3e 0a e9   $(SECBODY.<p>..
23f0: 81 a9 e5 bd 93 e3 81 ab e5 ae 9f e8 a3 85 e3 81  ................
2400: 95 e3 82 8c e3 81 9f e3 83 91 e3 82 bf e3 83 bc  ................
2410: e3 83 b3 e3 83 9e e3 83 83 e3 83 81 e3 81 8c e3  ................
2420: 81 82 e3 82 8a e3 81 be e3 81 99 e3 80 82 0a e3  ................
2430: 83 aa e3 82 b9 e3 83 88 e3 81 ae 20 32 6e 20 e7  ........... 2n .
2440: 95 aa e7 9b ae e3 81 a8 20 32 6e 2b 31 20 e7 95  ........ 2n+1 ..
2450: aa e7 9b ae e3 82 92 e8 b6 b3 e3 81 97 e3 81 a6  ................
2460: e9 95 b7 e3 81 95 e3 82 92 e5 8d 8a e5 88 86 e3  ................
2470: 81 ab e3 81 99 e3 82 8b e9 96 a2 e6 95 b0 ef bc  ................
2480: 9a 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20  ..</p>.<pre>.   
2490: 20 64 65 66 20 61 64 6a 53 75 6d 28 6c 73 74 29   def adjSum(lst)
24a0: 0a 20 20 20 20 7b 0a 20 20 20 20 20 20 63 61 73  .    {.      cas
24b0: 65 20 6c 73 74 0a 20 20 20 20 20 20 20 20 77 68  e lst.        wh
24c0: 65 6e 20 7b 63 61 72 3a 78 2c 20 63 64 72 3a 7b  en {car:x, cdr:{
24d0: 63 61 72 3a 20 79 2c 20 63 64 72 3a 7a 7d 7d 3a  car: y, cdr:z}}:
24e0: 20 7b 63 61 72 3a 20 78 2b 79 2c 20 63 64 72 3a   {car: x+y, cdr:
24f0: 20 61 64 6a 53 75 6d 28 7a 29 7d 0a 20 20 20 20   adjSum(z)}.    
2500: 20 20 20 20 77 68 65 6e 20 7b 63 61 72 3a 78 2c      when {car:x,
2510: 20 63 64 72 3a 7b 7d 7d 3a 20 6c 73 74 0a 20 20   cdr:{}}: lst.  
2520: 20 20 20 20 20 20 77 68 65 6e 20 7b 7d 3a 20 7b        when {}: {
2530: 7d 0a 20 20 20 20 7d 0a 3c 2f 70 72 65 3e 0a 3c  }.    }.</pre>.<
2540: 70 3e 0a e5 8b 95 e3 81 8b e3 81 99 e3 81 a8 e3  p>..............
2550: 81 8d e3 81 ab e3 81 af e3 80 81 e5 87 a6 e7 90  ................
2560: 86 e7 b3 bb e3 81 8c e3 81 9d e3 82 8c e3 81 a3  ................
2570: e3 81 bd e3 81 84 20 69 66 2d 74 68 65 6e 2d 65  ...... if-then-e
2580: 6c 73 65 20 e3 81 ab e5 b1 95 e9 96 8b e3 81 97  lse ............
2590: e3 81 a6 e3 81 84 e3 81 be e3 81 99 e3 80 82 0a  ................
25a0: 3c 74 74 3e 77 68 65 6e 3c 2f 74 74 3e 20 e3 82  <tt>when</tt> ..
25b0: 92 e4 b8 8a e3 81 8b e3 82 89 e8 a9 a6 e3 81 97  ................
25c0: e3 81 a6 e3 81 84 e3 81 a3 e3 81 a6 e3 80 81 e6  ................
25d0: 9c 80 e5 88 9d e3 81 ab e3 83 9e e3 83 83 e3 83  ................
25e0: 81 e3 81 97 e3 81 9f e3 81 a8 e3 81 93 e3 82 8d  ................
25f0: e3 82 92 e5 ae 9f e8 a1 8c e3 81 97 e3 81 be e3  ................
2600: 81 99 e3 80 82 0a e3 81 a9 e3 82 8c e3 81 ab e3  ................
2610: 82 82 e3 83 9e e3 83 83 e3 83 81 e3 81 97 e3 81  ................
2620: aa e3 81 84 e3 81 a8 e3 82 a8 e3 83 a9 e3 83 bc  ................
2630: e3 81 a7 e3 83 97 e3 83 ad e3 82 b0 e3 83 a9 e3  ................
2640: 83 a0 e7 b5 82 e4 ba 86 e3 81 97 e3 81 be e3 81  ................
2650: 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a  .....</p>.<pre>.
2660: 20 20 20 50 41 54 20 3a 3a 3d 20 22 5f 22 20 20     PAT ::= "_"  
2670: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2680: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2690: 20 20 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20      $(D_COMMENT 
26a0: 23 20 e3 83 af e3 82 a4 e3 83 ab e3 83 89 e3 82  # ..............
26b0: ab e3 83 bc e3 83 89 29 0a 20 20 20 20 20 20 20  .......).       
26c0: 20 20 7c 20 49 44 20 20 20 20 20 20 20 20 20 20    | ID          
26d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
26e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 24 28 44               $(D
26f0: 5f 43 4f 4d 4d 45 4e 54 20 23 20 e5 a4 89 e6 95  _COMMENT # .....
2700: b0 e3 83 91 e3 82 bf e3 83 bc e3 83 b3 29 0a 20  .............). 
2710: 20 20 20 20 20 20 20 20 7c 20 22 7b 22 20 49 44          | "{" ID
2720: 20 22 3a 22 20 50 41 54 20 22 2c 22 20 2e 2e 2e   ":" PAT "," ...
2730: 20 22 2c 22 20 49 44 20 3a 20 50 41 54 20 22 7d   "," ID : PAT "}
2740: 22 20 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23  "  $(D_COMMENT #
2750: 20 e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3 83 91   ...............
2760: e3 82 bf e3 83 bc e3 83 b3 29 0a 20 20 20 20 20  .........).     
2770: 20 20 20 20 7c 20 45 20 20 20 20 20 20 20 20 20      | E         
2780: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2790: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 24                 $
27a0: 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 e5 80 a4  (D_COMMENT # ...
27b0: e3 83 91 e3 82 bf e3 83 bc e3 83 b3 29 0a 3c 2f  ............).</
27c0: 70 72 65 3e 0a 3c 70 3e 0a e5 a4 89 e6 95 b0 e3  pre>.<p>........
27d0: 83 91 e3 82 bf e3 83 bc e3 83 b3 e3 81 af e5 b8  ................
27e0: b8 e3 81 ab e3 83 9e e3 83 83 e3 83 81 e3 81 97  ................
27f0: e3 81 a6 e3 80 81 e5 80 a4 e3 82 92 e3 81 9d e3  ................
2800: 81 ae e5 a4 89 e6 95 b0 e3 81 ab e6 9d 9f e7 b8  ................
2810: 9b e3 81 97 e3 81 be e3 81 99 e3 80 82 0a e3 83  ................
2820: af e3 82 a4 e3 83 ab e3 83 89 e3 82 ab e3 83 bc  ................
2830: e3 83 89 e3 82 82 e5 b8 b8 e3 81 ab e3 83 9e e3  ................
2840: 83 83 e3 83 81 e3 81 97 e3 81 be e3 81 99 e3 81  ................
2850: 8c e3 80 81 e5 a4 89 e6 95 b0 e6 9d 9f e7 b8 9b  ................
2860: e3 81 97 e3 81 be e3 81 9b e3 82 93 e3 80 82 0a  ................
2870: e5 80 a4 e3 83 91 e3 82 bf e3 83 bc e3 83 b3 e3  ................
2880: 81 af e3 80 81 e4 bb bb e6 84 8f e3 81 ae e5 bc  ................
2890: 8f e3 81 8c e6 9b b8 e3 81 91 e3 81 be e3 81 99  ................
28a0: e3 80 82 e3 81 9d e3 81 ae e5 bc 8f e3 82 92 e8  ................
28b0: a9 95 e4 be a1 e3 81 97 e3 81 9f e7 b5 90 e6 9e  ................
28c0: 9c e3 81 a8 20 3c 74 74 3e 3d 3d 3c 2f 74 74 3e  .... <tt>==</tt>
28d0: 20 e3 81 aa e3 82 89 e3 83 9e e3 83 83 e3 83 81   ...............
28e0: e3 81 97 e3 81 be e3 81 99 e3 80 82 0a e5 a4 96  ................
28f0: e3 81 a7 e6 9d 9f e7 b8 9b e3 81 95 e3 82 8c e3  ................
2900: 81 9f e5 a4 89 e6 95 b0 e3 82 92 e5 80 a4 e3 83  ................
2910: 91 e3 82 bf e3 83 bc e3 83 b3 e3 81 a8 e3 81 97  ................
2920: e3 81 a6 e9 85 8d e7 bd ae e3 80 81 e3 81 af e7  ................
2930: 9b b4 e6 8e a5 e3 81 af e3 81 a7 e3 81 8d e3 81  ................
2940: aa e3 81 84 e3 81 ae e3 81 a7 0a 3c 2f 70 3e 0a  ...........</p>.
2950: 3c 70 72 65 3e 0a 20 20 20 76 61 72 20 78 20 3d  <pre>.   var x =
2960: 20 31 32 33 3b 0a 20 20 20 63 61 73 65 20 66 6f   123;.   case fo
2970: 6f 0a 20 20 20 20 20 77 68 65 6e 20 7b 76 61 6c  o.     when {val
2980: 3a 20 78 2b 30 7d 3a 20 2e 2e 2e 20 24 28 44 5f  : x+0}: ... $(D_
2990: 43 4f 4d 4d 45 4e 54 20 23 20 e3 81 93 e3 82 8c  COMMENT # ......
29a0: e3 81 af 20 7b 76 61 6c 3a 31 32 33 7d 20 e3 81  ... {val:123} ..
29b0: a8 e5 90 8c e3 81 98 29 0a 20 20 20 20 20 77 68  .......).     wh
29c0: 65 6e 20 7b 76 61 6c 3a 20 78 7d 3a 20 20 20 2e  en {val: x}:   .
29d0: 2e 2e 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23  .. $(D_COMMENT #
29e0: 20 e3 81 93 e3 82 8c e3 81 af e4 bb bb e6 84 8f   ...............
29f0: e3 81 ae 20 66 6f 6f 2e 3f 76 61 6c 20 e3 81 aa  ... foo.?val ...
2a00: e3 82 89 e5 b8 b8 e3 81 ab e3 83 9e e3 83 83 e3  ................
2a10: 83 81 29 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e9  ..).</pre>.<p>..
2a20: 81 a9 e5 bd 93 e3 81 ab e3 81 a1 e3 82 87 e3 81  ................
2a30: a3 e3 81 a8 e8 a4 87 e9 9b 91 e3 81 aa e5 bc 8f  ................
2a40: e3 81 ab e3 81 97 e3 81 a6 e3 82 84 e3 82 8b e3  ................
2a50: 81 a8 e3 82 88 e3 81 84 e3 81 8b e3 82 82 ef bc  ................
2a60: 88 e8 a3 8f e6 8a 80 ef bc 89 e3 80 82 0a 3c 2f  ..............</
2a70: 70 3e 0a 3c 70 3e 0a e3 83 86 e3 83 bc e3 83 96  p>.<p>..........
2a80: e3 83 ab e3 83 91 e3 82 bf e3 83 bc e3 83 b3 e3  ................
2a90: 81 af e3 80 81 e6 9b b8 e3 81 8b e3 82 8c e3 81  ................
2aa0: 9f e3 82 ad e3 83 bc e3 81 8c e5 85 a8 e3 81 a6  ................
2ab0: e3 81 82 e3 82 8c e3 81 b0 e3 83 9e e3 83 83 e3  ................
2ac0: 83 81 e3 81 97 e3 81 be e3 81 99 e3 80 82 0a 3c  ...............<
2ad0: 74 74 3e 7b 61 3a 20 5f 7d 3c 2f 74 74 3e 20 e3  tt>{a: _}</tt> .
2ae0: 81 af e3 80 81 3c 74 74 3e 2e 61 3c 2f 74 74 3e  .....<tt>.a</tt>
2af0: 20 e3 82 92 e6 8c 81 e3 81 a3 e3 81 a6 e3 81 95   ...............
2b00: e3 81 88 e3 81 84 e3 82 8c e3 81 b0 e3 83 9e e3  ................
2b10: 83 83 e3 83 81 e3 81 99 e3 82 8b e3 81 ae e3 81  ................
2b20: a7 e3 80 81 0a 3c 74 74 3e 7b 61 3a 20 31 32 33  .....<tt>{a: 123
2b30: 2c 20 62 3a 20 34 35 36 7d 3c 2f 74 74 3e 20 e3  , b: 456}</tt> .
2b40: 81 aa e3 82 93 e3 81 8b e3 81 ab e3 82 82 e3 83  ................
2b50: 9e e3 83 83 e3 83 81 e3 81 97 e3 81 be e3 81 99  ................
2b60: e3 80 82 0a e3 81 aa e3 81 ae e3 81 a7 e3 80 81  ................
2b70: e3 83 aa e3 82 b9 e3 83 88 e3 81 ab e5 af be e3  ................
2b80: 81 99 e3 82 8b e3 83 91 e3 82 bf e3 83 bc e3 83  ................
2b90: b3 e3 82 92 e6 9b b8 e3 81 8f e3 81 a8 e3 81 8d  ................
2ba0: e3 81 ab e3 81 af e3 80 81 63 61 72 2f 63 64 72  .........car/cdr
2bb0: 20 e3 81 ae e5 a0 b4 e5 90 88 e3 82 92 e5 85 88   ...............
2bc0: e3 81 ab e6 9b b8 e3 81 8b e3 81 aa e3 81 84 e3  ................
2bd0: 81 a8 0a 3c 74 74 3e 77 68 65 6e 20 7b 7d 3c 2f  ...<tt>when {}</
2be0: 74 74 3e 20 e3 82 92 e4 b8 8a e3 81 ab e6 9b b8  tt> ............
2bf0: e3 81 8f e3 81 a8 e5 85 a8 e9 83 a8 e3 83 9e e3  ................
2c00: 83 83 e3 83 81 e3 81 97 e3 81 a1 e3 82 83 e3 81  ................
2c10: 84 e3 81 be e3 81 99 e3 80 82 e6 b3 a8 e6 84 8f  ................
2c20: e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a 29 0a 29 29  ....</p>.)).).))
2c30: 0a 0a 0a 0a 0a 0a 24 28 53 45 43 54 49 4f 4e 20  ......$(SECTION 
2c40: 4c 61 79 65 72 73 2c 20 24 28 53 45 43 42 4f 44  Layers, $(SECBOD
2c50: 59 0a 3c 70 3e 0a e3 81 93 e3 81 ae e8 a8 80 e8  Y.<p>...........
2c60: aa 9e e3 81 ae e5 94 af e4 b8 80 e3 81 ae e7 89  ................
2c70: b9 e5 be b4 e7 9a 84 e3 81 aa e9 83 a8 e5 88 86  ................
2c80: e3 81 af e3 80 81 e3 80 8c e3 83 ac e3 82 a4 e3  ................
2c90: 83 a4 e3 80 8d e6 a9 9f e8 83 bd e3 81 a7 e3 81  ................
2ca0: 99 e3 80 82 0a 3c 2f 70 3e 0a 24 28 44 44 4f 43  .....</p>.$(DDOC
2cb0: 5f 4d 45 4d 42 45 52 53 0a 24 28 53 45 43 54 49  _MEMBERS.$(SECTI
2cc0: 4f 4e 20 4c 61 79 65 72 73 2c 20 24 28 53 45 43  ON Layers, $(SEC
2cd0: 42 4f 44 59 0a 3c 70 72 65 3e 0a 5b 4c 61 79 65  BODY.<pre>.[Laye
2ce0: 72 73 20 3a 3a 20 4f 76 65 72 76 69 65 77 5d 0a  rs :: Overview].
2cf0: 0a 20 20 50 6f 6c 65 6d 79 27 73 20 72 75 6e 74  .  Polemy's runt
2d00: 69 6d 65 20 65 6e 76 69 72 6f 6e 6d 65 6e 74 20  ime environment 
2d10: 68 61 73 20 6d 61 6e 79 20 22 6c 61 79 65 72 22  has many "layer"
2d20: 73 2e 0a 20 20 55 73 75 61 6c 20 65 78 65 63 75  s..  Usual execu
2d30: 74 69 6f 6e 20 72 75 6e 20 69 6e 20 74 68 65 20  tion run in the 
2d40: 40 76 61 6c 75 65 20 6c 61 79 65 72 2e 0a 0a 20  @value layer... 
2d50: 20 20 20 3e 3e 20 31 20 2b 20 32 0a 20 20 20 20     >> 1 + 2.    
2d60: 33 0a 20 20 20 20 3e 3e 20 40 76 61 6c 75 65 28  3.    >> @value(
2d70: 20 31 20 2b 20 32 20 29 0a 20 20 20 20 33 0a 0a   1 + 2 ).    3..
2d80: 20 20 48 65 72 65 20 79 6f 75 20 63 61 6e 20 73    Here you can s
2d90: 65 65 20 74 68 61 74 20 40 4c 61 79 65 72 4e 61  ee that @LayerNa
2da0: 6d 65 28 20 45 78 70 72 65 73 73 69 6f 6e 20 29  me( Expression )
2db0: 20 65 78 65 63 75 74 65 73 20 74 68 65 20 69 6e   executes the in
2dc0: 6e 65 72 20 45 78 70 72 65 73 73 69 6f 6e 20 69  ner Expression i
2dd0: 6e 0a 20 20 74 68 65 20 40 4c 61 79 65 72 4e 61  n.  the @LayerNa
2de0: 6d 65 20 6c 61 79 65 72 2e 20 4f 74 68 65 72 20  me layer. Other 
2df0: 74 68 61 6e 20 40 76 61 6c 75 65 2c 20 6f 6e 65  than @value, one
2e00: 20 6f 74 68 65 72 20 70 72 65 64 65 66 69 6e 65   other predefine
2e10: 64 20 6c 61 79 65 72 20 65 78 69 73 74 73 3a 20  d layer exists: 
2e20: 40 6d 61 63 72 6f 2e 0a 0a 20 20 20 20 3e 3e 20  @macro...    >> 
2e30: 40 6d 61 63 72 6f 28 20 31 2b 32 20 29 0a 20 20  @macro( 1+2 ).  
2e40: 20 20 7b 70 6f 73 40 76 61 6c 75 65 3a 7b 6c 69    {pos@value:{li
2e50: 6e 65 6e 6f 40 76 61 6c 75 65 3a 33 2c 20 63 6f  neno@value:3, co
2e60: 6c 75 6d 6e 40 76 61 6c 75 65 3a 39 2c 20 66 69  lumn@value:9, fi
2e70: 6c 65 6e 61 6d 65 40 76 61 6c 75 65 3a 3c 52 45  lename@value:<RE
2e80: 50 4c 3e 7d 2c 0a 20 20 20 20 20 20 69 73 40 76  PL>},.      is@v
2e90: 61 6c 75 65 3a 61 70 70 2c 0a 20 20 20 20 61 72  alue:app,.    ar
2ea0: 67 73 40 76 61 6c 75 65 3a 7b 63 61 72 40 76 61  gs@value:{car@va
2eb0: 6c 75 65 3a 7b 70 6f 73 40 76 61 6c 75 65 3a 7b  lue:{pos@value:{
2ec0: 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 3a 33 2c 20  lineno@value:3, 
2ed0: 63 6f 6c 75 6d 6e 40 76 61 6c 75 65 3a 39 2c 20  column@value:9, 
2ee0: 66 69 6c 65 6e 61 6d 65 40 76 61 6c 75 65 3a 3c  filename@value:<
2ef0: 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 20 20 20 20  REPL>},.        
2f00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2f10: 20 20 20 20 69 73 40 76 61 6c 75 65 3a 69 6e 74      is@value:int
2f20: 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ,.              
2f30: 20 20 20 20 20 20 20 20 20 20 20 20 64 61 74 61              data
2f40: 40 76 61 6c 75 65 3a 31 7d 2c 0a 20 20 20 20 20  @value:1},.     
2f50: 20 20 20 20 20 20 20 20 20 20 20 63 64 72 40 76             cdr@v
2f60: 61 6c 75 65 3a 7b 0a 20 20 20 20 20 20 20 20 20  alue:{.         
2f70: 20 20 20 20 20 20 20 20 20 63 61 72 40 76 61 6c           car@val
2f80: 75 65 3a 7b 70 6f 73 40 76 61 6c 75 65 3a 7b 6c  ue:{pos@value:{l
2f90: 69 6e 65 6e 6f 40 76 61 6c 75 65 3a 33 2c 20 63  ineno@value:3, c
2fa0: 6f 6c 75 6d 6e 40 76 61 6c 75 65 3a 31 31 2c 20  olumn@value:11, 
2fb0: 66 69 6c 65 6e 61 6d 65 40 76 61 6c 75 65 3a 3c  filename@value:<
2fc0: 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 20 20 20 20  REPL>},.        
2fd0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2fe0: 20 20 20 20 20 20 69 73 40 76 61 6c 75 65 3a 69        is@value:i
2ff0: 6e 74 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20  nt,.            
3000: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3010: 64 61 74 61 40 76 61 6c 75 65 3a 32 7d 2c 0a 20  data@value:2},. 
3020: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3030: 20 63 64 72 40 76 61 6c 75 65 3a 7b 7d 7d 7d 2c   cdr@value:{}}},
3040: 0a 20 20 20 20 20 66 75 6e 40 76 61 6c 75 65 3a  .     fun@value:
3050: 7b 70 6f 73 40 76 61 6c 75 65 3a 7b 6c 69 6e 65  {pos@value:{line
3060: 6e 6f 40 76 61 6c 75 65 3a 33 2c 20 63 6f 6c 75  no@value:3, colu
3070: 6d 6e 40 76 61 6c 75 65 3a 31 30 2c 20 66 69 6c  mn@value:10, fil
3080: 65 6e 61 6d 65 40 76 61 6c 75 65 3a 3c 52 45 50  ename@value:<REP
3090: 4c 3e 7d 2c 0a 20 20 20 20 20 20 20 20 20 20 20  L>},.           
30a0: 20 20 20 20 20 20 69 73 40 76 61 6c 75 65 3a 76        is@value:v
30b0: 61 72 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20  ar,.            
30c0: 20 20 20 6e 61 6d 65 40 76 61 6c 75 65 3a 2b 7d     name@value:+}
30d0: 7d 0a 0a 20 20 28 53 6f 72 72 79 2c 20 74 68 69  }..  (Sorry, thi
30e0: 73 20 70 72 65 74 74 79 20 70 72 69 6e 74 69 6e  s pretty printin
30f0: 67 20 69 73 20 6e 6f 74 20 61 76 61 69 6c 61 62  g is not availab
3100: 6c 65 20 6f 6e 20 74 68 65 20 61 63 74 75 61 6c  le on the actual
3110: 20 69 6e 74 65 72 70 72 65 74 65 72 2e 2e 2e 29   interpreter...)
3120: 0a 20 20 54 68 69 73 20 65 76 61 6c 75 61 74 65  .  This evaluate
3130: 73 20 74 68 65 20 65 78 70 72 65 73 73 69 6f 6e  s the expression
3140: 20 31 2b 32 20 69 6e 20 74 68 65 20 40 6d 61 63   1+2 in the @mac
3150: 72 6f 20 6c 61 79 65 72 2e 20 49 6e 20 74 68 69  ro layer. In thi
3160: 73 20 6c 61 79 65 72 2c 20 74 68 65 20 6d 65 61  s layer, the mea
3170: 6e 69 6e 67 20 6f 66 0a 20 20 74 68 65 20 70 72  ning of.  the pr
3180: 6f 67 72 61 6d 20 69 73 20 69 74 73 20 61 62 73  ogram is its abs
3190: 74 72 61 63 74 20 73 79 6e 74 61 78 20 74 72 65  tract syntax tre
31a0: 65 2e 0a 0a 20 20 59 6f 75 20 63 61 6e 20 69 6e  e...  You can in
31b0: 74 65 72 6c 65 61 76 65 20 6c 61 79 65 72 73 2e  terleave layers.
31c0: 0a 20 20 54 68 65 20 72 6f 6f 74 20 6e 6f 64 65  .  The root node
31d0: 20 6f 66 20 74 68 65 20 61 62 73 74 72 61 63 74   of the abstract
31e0: 20 73 79 6e 74 61 78 20 74 72 65 65 20 69 73 20   syntax tree is 
31f0: 66 75 6e 63 74 69 6f 6e 20 22 61 70 70 22 6c 69  function "app"li
3200: 63 61 74 69 6f 6e 2e 0a 0a 20 20 20 20 3e 3e 20  cation...    >> 
3210: 40 76 61 6c 75 65 28 40 6d 61 63 72 6f 28 20 31  @value(@macro( 1
3220: 2b 32 20 29 2e 69 73 29 0a 20 20 20 20 61 70 70  +2 ).is).    app
3230: 0a 0a 0a 0a 5b 4c 61 79 65 72 73 20 3a 3a 20 44  ....[Layers :: D
3240: 65 66 69 6e 69 6e 67 20 61 20 6e 65 77 20 6c 61  efining a new la
3250: 79 65 72 5d 0a 0a 20 20 54 6f 20 64 65 66 69 6e  yer]..  To defin
3260: 65 20 61 20 6e 65 77 20 6c 61 79 65 72 2c 20 79  e a new layer, y
3270: 6f 75 20 73 68 6f 75 6c 64 20 66 69 72 73 74 20  ou should first 
3280: 74 65 6c 6c 20 68 6f 77 20 74 6f 20 22 6c 69 66  tell how to "lif
3290: 74 22 20 65 78 69 73 74 69 6e 67 20 76 61 6c 75  t" existing valu
32a0: 65 73 20 74 77 6f 20 74 68 65 20 6e 65 77 20 6c  es two the new l
32b0: 61 79 65 72 2e 0a 20 20 4c 65 74 20 75 73 20 64  ayer..  Let us d
32c0: 65 66 69 6e 65 20 74 68 65 20 22 40 74 79 70 65  efine the "@type
32d0: 22 20 6c 61 79 65 72 2c 20 77 68 65 72 65 20 74  " layer, where t
32e0: 68 65 20 6d 65 61 6e 69 6e 67 20 6f 66 20 70 72  he meaning of pr
32f0: 6f 67 72 61 6d 73 20 69 73 20 74 68 65 69 72 20  ograms is their 
3300: 73 74 61 74 69 63 20 74 79 70 65 2e 0a 0a 20 20  static type...  
3310: 20 20 3e 3e 20 40 40 74 79 70 65 20 3d 20 66 75    >> @@type = fu
3320: 6e 28 78 29 20 7b 0a 20 20 20 20 3e 3e 20 20 20  n(x) {.    >>   
3330: 69 66 28 20 5f 69 73 69 6e 74 28 78 29 20 29 20  if( _isint(x) ) 
3340: 7b 20 22 69 6e 74 22 20 7d 20 65 6c 73 65 20 7b  { "int" } else {
3350: 0a 20 20 20 20 3e 3e 20 20 20 69 66 28 20 5f 69  .    >>   if( _i
3360: 73 66 75 6e 28 78 29 20 29 20 7b 20 78 20 7d 20  sfun(x) ) { x } 
3370: 65 6c 73 65 20 7b 20 22 75 6e 6b 6e 6f 77 6e 22  else { "unknown"
3380: 20 7d 20 7d 0a 20 20 20 20 3e 3e 20 7d 0a 20 20   } }.    >> }.  
3390: 20 20 28 4e 6f 74 65 3a 20 70 6f 6c 65 6d 79 20    (Note: polemy 
33a0: 52 45 50 4c 20 6d 61 79 20 77 61 72 6e 20 73 6f  REPL may warn so
33b0: 6d 65 20 65 78 63 65 70 74 69 6f 6e 20 68 65 72  me exception her
33c0: 65 20 62 75 74 20 70 6c 65 61 73 65 20 69 67 6e  e but please ign
33d0: 6f 72 65 29 0a 0a 20 20 46 6f 72 20 73 69 6d 70  ore)..  For simp
33e0: 6c 69 63 69 74 79 2c 20 49 20 68 65 72 65 20 64  licity, I here d
33f0: 65 61 6c 20 6f 6e 6c 79 20 77 69 74 68 20 69 6e  eal only with in
3400: 74 65 67 65 72 73 2e 0a 20 20 5f 69 73 69 6e 74  tegers..  _isint
3410: 20 69 73 20 61 20 70 72 69 6d 69 74 69 76 65 20   is a primitive 
3420: 66 75 6e 63 74 69 6f 6e 20 6f 66 20 50 6f 6c 65  function of Pole
3430: 6d 79 20 74 68 61 74 20 63 68 65 63 6b 73 20 74  my that checks t
3440: 68 65 20 64 79 6e 61 6d 69 63 20 74 79 70 65 20  he dynamic type 
3450: 6f 66 20 61 20 76 61 6c 75 65 2e 0a 20 20 46 6f  of a value..  Fo
3460: 72 20 66 75 6e 63 74 69 6f 6e 2c 20 6c 65 61 76  r function, leav
3470: 69 6e 67 20 69 74 20 75 6e 74 6f 75 63 68 65 64  ing it untouched
3480: 20 77 6f 72 6b 73 20 77 65 6c 6c 20 66 6f 72 20   works well for 
3490: 61 6c 6d 6f 73 74 20 61 6c 6c 20 6c 61 79 65 72  almost all layer
34a0: 73 2e 0a 0a 20 20 20 20 3e 3e 20 40 74 79 70 65  s...    >> @type
34b0: 28 20 31 20 29 0a 20 20 20 20 69 6e 74 0a 20 20  ( 1 ).    int.  
34c0: 20 20 3e 3e 20 40 74 79 70 65 28 20 32 20 29 0a    >> @type( 2 ).
34d0: 20 20 20 20 69 6e 74 0a 20 20 20 20 3e 3e 20 40      int.    >> @
34e0: 74 79 70 65 28 20 22 66 6f 6f 22 20 29 0a 20 20  type( "foo" ).  
34f0: 20 20 75 6e 6b 6e 6f 77 6e 0a 0a 20 20 46 69 6e    unknown..  Fin
3500: 65 21 20 4c 65 74 27 73 20 74 72 79 20 74 6f 20  e! Let's try to 
3510: 74 79 70 65 20 31 2b 32 2e 0a 0a 20 20 20 20 3e  type 1+2...    >
3520: 3e 20 40 74 79 70 65 28 20 31 20 2b 20 32 20 29  > @type( 1 + 2 )
3530: 0a 20 20 20 20 2e 2e 2e 5c 76 61 6c 75 65 2e 64  .    ...\value.d
3540: 28 31 31 39 29 3a 20 5b 3c 52 45 50 4c 3e 3a 36  (119): [<REPL>:6
3550: 3a 38 5d 20 6f 6e 6c 79 20 40 76 61 6c 75 65 20  :8] only @value 
3560: 6c 61 79 65 72 20 63 61 6e 20 63 61 6c 6c 20 6e  layer can call n
3570: 61 74 69 76 65 20 66 75 6e 63 74 69 6f 6e 0a 0a  ative function..
3580: 20 20 4e 6f 74 65 20 74 68 61 74 20 74 68 65 20    Note that the 
3590: 62 65 68 61 76 69 6f 72 20 6f 66 20 74 68 69 73  behavior of this
35a0: 20 70 72 6f 67 72 61 6d 20 69 73 0a 20 20 20 20   program is.    
35b0: 2d 20 72 75 6e 20 31 2b 32 20 69 6e 20 74 68 65  - run 1+2 in the
35c0: 20 40 74 79 70 65 20 6c 61 79 65 72 0a 20 20 61   @type layer.  a
35d0: 6e 64 20 4e 4f 54 0a 20 20 20 20 2d 20 72 75 6e  nd NOT.    - run
35e0: 20 31 2b 32 20 69 6e 20 40 76 61 6c 75 65 20 61   1+2 in @value a
35f0: 6e 64 20 6f 62 74 61 69 6e 20 33 20 61 6e 64 20  nd obtain 3 and 
3600: 72 75 6e 20 33 20 69 6e 20 74 68 65 20 40 74 79  run 3 in the @ty
3610: 70 65 2e 0a 20 20 54 68 65 20 70 72 6f 62 6c 65  pe..  The proble
3620: 6d 20 69 73 2c 20 74 68 65 20 76 61 72 69 61 62  m is, the variab
3630: 6c 65 20 22 2b 22 20 69 73 20 64 65 66 69 6e 65  le "+" is define
3640: 64 20 6f 6e 6c 79 20 69 6e 20 74 68 65 20 40 76  d only in the @v
3650: 61 6c 75 65 20 6c 61 79 65 72 2e 0a 20 20 54 6f  alue layer..  To
3660: 20 63 61 72 72 79 20 6f 75 74 20 63 6f 6d 70 75   carry out compu
3670: 74 61 74 69 6f 6e 20 69 6e 20 74 68 65 20 40 74  tation in the @t
3680: 79 70 65 20 6c 61 79 65 72 2e 20 57 65 20 6e 65  ype layer. We ne
3690: 65 64 20 74 6f 20 64 65 66 69 6e 65 20 69 74 20  ed to define it 
36a0: 61 6c 73 6f 0a 20 20 69 6e 20 74 68 65 20 40 74  also.  in the @t
36b0: 79 70 65 20 6c 61 79 65 72 2e 0a 0a 20 20 54 6f  ype layer...  To
36c0: 20 64 65 66 69 6e 65 20 73 6f 6d 65 20 76 61 72   define some var
36d0: 69 61 62 6c 65 20 69 6e 20 61 20 73 70 65 63 69  iable in a speci
36e0: 66 69 63 20 6c 61 79 65 72 2c 20 75 73 65 20 40  fic layer, use @
36f0: 4c 61 79 65 72 4e 61 6d 65 20 69 6e 20 70 6c 61  LayerName in pla
3700: 63 65 20 6f 66 0a 20 20 28 6c 65 74 7c 76 61 72  ce of.  (let|var
3710: 7c 64 65 66 29 73 2e 0a 0a 20 20 20 20 3e 3e 20  |def)s...    >> 
3720: 6c 65 74 20 78 20 3d 20 32 0a 20 20 20 20 3e 3e  let x = 2.    >>
3730: 20 40 76 61 6c 75 65 20 78 20 3d 20 32 0a 20 20   @value x = 2.  
3740: 20 20 3e 3e 20 40 74 79 70 65 20 78 20 3d 20 22    >> @type x = "
3750: 69 6e 74 22 0a 20 20 20 20 3e 3e 20 40 68 6f 67  int".    >> @hog
3760: 65 20 78 20 3d 20 22 66 75 67 61 22 0a 0a 20 20  e x = "fuga"..  
3770: 46 6f 72 20 22 2b 22 2c 20 64 6f 20 69 74 20 6c  For "+", do it l
3780: 69 6b 65 20 74 68 69 73 2e 0a 0a 20 20 20 20 3e  ike this...    >
3790: 3e 20 40 74 79 70 65 20 22 2b 22 20 3d 20 66 75  > @type "+" = fu
37a0: 6e 28 78 2c 79 29 20 7b 40 76 61 6c 75 65 28 0a  n(x,y) {@value(.
37b0: 20 20 20 20 3e 3e 20 20 20 69 66 28 20 40 74 79      >>   if( @ty
37c0: 70 65 28 78 29 3d 3d 22 69 6e 74 22 20 26 26 20  pe(x)=="int" && 
37d0: 40 74 79 70 65 28 79 29 3d 3d 22 69 6e 74 22 20  @type(y)=="int" 
37e0: 29 20 7b 20 22 69 6e 74 22 20 7d 20 65 6c 73 65  ) { "int" } else
37f0: 20 7b 20 22 74 79 70 65 65 72 72 6f 72 22 20 7d   { "typeerror" }
3800: 0a 20 20 20 20 3e 3e 20 29 7d 0a 20 20 20 20 70  .    >> )}.    p
3810: 6f 6c 65 6d 79 2e 76 61 6c 75 65 2e 6e 61 74 69  olemy.value.nati
3820: 76 65 21 28 49 6e 74 56 61 6c 75 65 2c 49 6e 74  ve!(IntValue,Int
3830: 56 61 6c 75 65 2c 49 6e 74 56 61 6c 75 65 29 2e  Value,IntValue).
3840: 6e 61 74 69 76 65 2e 5f 5f 61 6e 6f 6e 63 6c 61  native.__anoncla
3850: 73 73 32 34 0a 0a 20 20 49 74 20 69 73 20 6a 75  ss24..  It is ju
3860: 73 74 20 63 6f 6d 70 75 74 69 6e 67 20 74 68 65  st computing the
3870: 20 72 65 74 75 72 6e 20 74 79 70 65 20 66 72 6f   return type fro
3880: 6d 20 74 68 65 20 69 6e 70 75 74 20 74 79 70 65  m the input type
3890: 2e 0a 20 20 4e 6f 74 20 68 65 72 65 20 74 68 61  ..  Not here tha
38a0: 74 20 74 68 65 20 69 6e 74 65 6e 64 65 64 20 22  t the intended "
38b0: 6d 65 61 6e 69 6e 67 22 20 6f 66 20 69 66 2d 74  meaning" of if-t
38c0: 68 65 6e 2d 65 6c 73 65 20 69 73 20 74 68 65 20  hen-else is the 
38d0: 72 75 6e 74 69 6d 65 2d 62 72 61 6e 63 68 69 6e  runtime-branchin
38e0: 67 2c 0a 20 20 61 6e 64 20 74 68 65 20 6d 65 61  g,.  and the mea
38f0: 6e 69 6e 67 20 6f 66 20 22 3d 3d 22 20 69 73 20  ning of "==" is 
3900: 74 68 65 20 76 61 6c 75 65 2d 63 6f 6d 70 61 72  the value-compar
3910: 69 73 6f 6e 2e 20 54 68 65 73 65 20 61 72 65 20  ison. These are 
3920: 74 68 65 20 40 76 61 6c 75 65 20 6c 61 79 65 72  the @value layer
3930: 0a 20 20 62 65 68 61 76 69 6f 72 2e 20 53 6f 20  .  behavior. So 
3940: 77 65 20 68 61 76 65 20 64 65 66 69 6e 65 64 20  we have defined 
3950: 74 68 65 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64  the function bod
3960: 79 20 69 6e 73 69 64 65 20 40 76 61 6c 75 65 20  y inside @value 
3970: 6c 61 79 65 72 2e 0a 20 20 42 75 74 20 77 68 65  layer..  But whe
3980: 6e 20 77 65 20 72 65 66 65 72 20 74 68 65 20 76  n we refer the v
3990: 61 72 69 61 62 6c 65 73 20 78 20 61 6e 64 20 79  ariables x and y
39a0: 2c 20 77 65 20 6e 65 65 64 20 69 74 73 20 40 74  , we need its @t
39b0: 79 70 65 20 6c 61 79 65 72 20 6d 65 61 6e 69 6e  ype layer meanin
39c0: 67 2e 0a 20 20 48 65 6e 63 65 20 77 65 20 75 73  g..  Hence we us
39d0: 65 20 40 74 79 70 65 28 29 20 74 68 65 72 65 2e  e @type() there.
39e0: 0a 0a 20 20 4e 6f 77 20 77 65 20 67 65 74 20 69  ..  Now we get i
39f0: 74 2e 0a 0a 20 20 20 20 3e 3e 20 40 74 79 70 65  t...    >> @type
3a00: 28 20 31 20 2b 20 32 20 29 0a 20 20 20 20 69 6e  ( 1 + 2 ).    in
3a10: 74 0a 0a 20 20 57 65 6c 6c 2c 20 62 75 74 20 64  t..  Well, but d
3a20: 6f 20 77 65 20 68 61 76 65 20 74 6f 20 64 65 66  o we have to def
3a30: 69 6e 65 20 74 68 65 20 40 74 79 70 65 20 6c 61  ine the @type la
3a40: 79 65 72 20 6d 65 61 6e 69 6e 67 20 66 6f 72 20  yer meaning for 
3a50: 65 76 65 72 79 20 76 61 72 69 61 62 6c 65 73 3f  every variables?
3a60: 3f 3f 0a 20 20 4e 6f 2e 20 41 66 74 65 72 20 79  ??.  No. After y
3a70: 6f 75 20 64 65 66 69 6e 65 64 20 40 74 79 70 65  ou defined @type
3a80: 20 22 2b 22 2c 20 79 6f 75 27 6c 6c 20 61 75 74   "+", you'll aut
3a90: 6f 6d 61 74 69 63 61 6c 6c 79 20 67 65 74 20 74  omatically get t
3aa0: 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 3a 0a 0a 20  he following:.. 
3ab0: 20 20 20 3e 3e 20 64 65 66 20 64 6f 75 62 6c 65     >> def double
3ac0: 28 78 29 20 7b 20 78 20 2b 20 78 20 7d 0a 20 20  (x) { x + x }.  
3ad0: 20 20 28 66 75 6e 63 74 69 6f 6e 3a 31 37 65 34    (function:17e4
3ae0: 37 34 30 3a 31 37 38 39 37 32 30 29 0a 0a 20 20  740:1789720)..  
3af0: 20 20 3e 3e 20 40 74 79 70 65 28 20 64 6f 75 62    >> @type( doub
3b00: 6c 65 28 31 32 33 29 20 29 0a 20 20 20 20 69 6e  le(123) ).    in
3b10: 74 0a 0a 20 20 45 76 65 72 79 20 75 73 65 72 2d  t..  Every user-
3b20: 64 65 66 69 6e 65 64 20 66 75 6e 63 74 69 6f 6e  defined function
3b30: 73 20 61 72 65 20 61 75 74 6f 6d 61 74 69 63 61  s are automatica
3b40: 6c 6c 79 20 22 6c 69 66 74 22 65 64 20 74 6f 20  lly "lift"ed to 
3b50: 74 68 65 20 61 70 70 72 6f 70 72 69 61 74 65 20  the appropriate 
3b60: 6c 61 79 65 72 2e 0a 20 20 4f 6e 6c 79 20 70 72  layer..  Only pr
3b70: 69 6d 69 74 69 76 65 20 66 75 6e 63 74 69 6f 6e  imitive function
3b80: 73 20 6c 69 6b 65 20 22 2b 22 20 72 65 71 75 69  s like "+" requi
3b90: 72 65 73 20 40 79 6f 75 72 4e 65 77 4c 61 79 65  res @yourNewLaye
3ba0: 72 20 61 6e 6e 6f 74 61 74 69 6f 6e 2e 0a 0a 0a  r annotation....
3bb0: 0a 5b 4c 61 79 65 72 73 20 3a 3a 20 6e 65 75 74  .[Layers :: neut
3bc0: 72 61 6c 2d 6c 61 79 65 72 5d 0a 0a 20 20 6c 65  ral-layer]..  le
3bd0: 74 7c 76 61 72 7c 64 65 66 20 69 73 20 74 6f 20  t|var|def is to 
3be0: 64 65 66 69 6e 65 20 61 20 76 61 72 69 61 62 6c  define a variabl
3bf0: 65 20 69 6e 20 74 68 65 20 22 63 75 72 72 65 6e  e in the "curren
3c00: 74 22 20 6c 61 79 65 72 2e 0a 20 20 4e 6f 74 20  t" layer..  Not 
3c10: 6e 65 63 65 73 73 61 72 79 20 74 6f 20 74 68 65  necessary to the
3c20: 20 40 76 61 6c 75 65 20 6c 61 79 65 72 2e 0a 0a   @value layer...
3c30: 20 20 20 20 3e 3e 20 40 76 61 6c 75 65 28 20 6c      >> @value( l
3c40: 65 74 20 78 20 3d 20 31 20 69 6e 20 40 76 61 6c  et x = 1 in @val
3c50: 75 65 28 78 29 20 29 0a 20 20 20 20 31 0a 0a 20  ue(x) ).    1.. 
3c60: 20 20 20 3e 3e 20 40 6d 61 63 72 6f 28 20 6c 65     >> @macro( le
3c70: 74 20 78 20 3d 20 31 20 69 6e 20 40 76 61 6c 75  t x = 1 in @valu
3c80: 65 28 78 29 20 29 0a 20 20 20 20 70 6f 6c 65 6d  e(x) ).    polem
3c90: 79 2e 66 61 69 6c 75 72 65 2e 52 75 6e 74 69 6d  y.failure.Runtim
3ca0: 65 45 78 63 65 70 74 69 6f 6e 3a 20 5b 3c 52 45  eException: [<RE
3cb0: 50 4c 3e 3a 31 34 3a 32 39 5d 20 76 61 72 69 61  PL>:14:29] varia
3cc0: 62 6c 65 20 78 20 6e 6f 74 20 66 6f 75 6e 64 0a  ble x not found.
3cd0: 0a 20 20 20 20 3e 3e 20 40 6d 61 63 72 6f 28 20  .    >> @macro( 
3ce0: 6c 65 74 20 78 20 3d 20 31 20 69 6e 20 40 6d 61  let x = 1 in @ma
3cf0: 63 72 6f 28 78 29 20 29 0a 20 20 20 20 7b 70 6f  cro(x) ).    {po
3d00: 73 40 76 61 6c 75 65 3a 7b 6c 69 6e 65 6e 6f 40  s@value:{lineno@
3d10: 76 61 6c 75 65 3a 31 35 2c 20 2e 2e 2e 0a 0a 0a  value:15, ......
3d20: 0a 5b 4c 61 79 65 72 73 20 3a 3a 20 4c 61 79 65  .[Layers :: Laye
3d30: 72 65 64 2d 50 61 72 61 6d 65 74 65 72 73 5d 0a  red-Parameters].
3d40: 0a 20 20 20 20 3e 3e 20 64 65 66 20 66 6f 6f 28  .    >> def foo(
3d50: 78 20 40 6d 61 63 72 6f 20 40 76 61 6c 75 65 29  x @macro @value)
3d60: 20 7b 20 7b 66 73 74 3a 20 78 2c 20 73 6e 64 3a   { {fst: x, snd:
3d70: 20 40 6d 61 63 72 6f 28 78 29 7d 20 7d 0a 20 20   @macro(x)} }.  
3d80: 20 20 28 66 75 6e 63 74 69 6f 6e 3a 31 37 33 30    (function:1730
3d90: 33 36 30 3a 31 37 38 39 37 32 30 29 0a 0a 20 20  360:1789720)..  
3da0: 49 66 20 79 6f 75 20 61 6e 6e 6f 74 61 74 65 20  If you annotate 
3db0: 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74  function paramet
3dc0: 65 72 73 20 62 79 20 40 4c 61 79 65 72 4e 61 6d  ers by @LayerNam
3dd0: 65 73 2c 20 77 68 65 6e 20 79 6f 75 20 69 6e 76  es, when you inv
3de0: 6f 6b 65 20 74 68 65 20 66 75 6e 63 74 69 6f 6e  oke the function
3df0: 2e 2e 2e 0a 0a 20 20 20 20 3e 3e 20 66 6f 6f 28  .....    >> foo(
3e00: 31 2b 32 29 0a 20 20 20 20 7b 73 6e 64 40 76 61  1+2).    {snd@va
3e10: 6c 75 65 3a 20 7b 70 6f 73 40 76 61 6c 75 65 3a  lue: {pos@value:
3e20: 7b 6c 69 6e 65 6e 6f 40 76 61 6c 75 65 3a 31 37  {lineno@value:17
3e30: 2c 20 63 6f 6c 75 6d 6e 40 76 61 6c 75 65 3a 35  , column@value:5
3e40: 2c 20 66 69 6c 65 6e 61 6d 65 40 76 61 6c 75 65  , filename@value
3e50: 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 20 20 20 20  :<REPL>},.      
3e60: 20 20 20 20 20 20 20 20 20 20 20 20 69 73 40 76              is@v
3e70: 61 6c 75 65 3a 61 70 70 2c 20 61 72 67 40 76 61  alue:app, arg@va
3e80: 6c 75 65 3a 7b 2e 2e 2e 0a 20 20 20 20 2f 66 73  lue:{....    /fs
3e90: 74 40 76 61 6c 75 65 3a 33 0a 20 20 20 20 2f 7d  t@value:3.    /}
3ea0: 0a 0a 20 20 69 74 73 20 63 6f 72 72 65 73 70 6f  ..  its correspo
3eb0: 6e 64 69 6e 67 20 61 72 67 75 6d 65 6e 74 73 20  nding arguments 
3ec0: 61 72 65 20 65 76 61 6c 75 61 74 65 64 20 69 6e  are evaluated in
3ed0: 20 74 68 65 20 6c 61 79 65 72 20 61 6e 64 20 70   the layer and p
3ee0: 61 73 73 65 64 20 74 6f 20 69 74 2e 0a 20 20 49  assed to it..  I
3ef0: 66 20 79 6f 75 20 73 70 65 63 69 66 79 20 6d 75  f you specify mu
3f00: 6c 74 69 70 6c 65 20 6c 61 79 65 72 73 2c 20 74  ltiple layers, t
3f10: 68 65 20 61 72 67 75 6d 65 6e 74 20 65 78 70 72  he argument expr
3f20: 65 73 73 69 6f 6e 20 69 73 20 72 75 6e 20 6d 75  ession is run mu
3f30: 6c 74 69 70 6c 65 20 74 69 6d 65 73 2e 0a 20 20  ltiple times..  
3f40: 49 66 20 79 6f 75 20 64 6f 20 6e 6f 74 20 73 70  If you do not sp
3f50: 65 63 69 66 79 20 61 6e 79 20 6c 61 79 65 72 20  ecify any layer 
3f60: 66 6f 72 20 61 20 70 61 72 61 6d 65 74 65 72 2c  for a parameter,
3f70: 20 69 74 20 77 6f 72 6b 73 20 69 6e 20 74 68 65   it works in the
3f80: 20 6e 65 75 74 72 61 6c 20 6c 61 79 65 72 2e 0a   neutral layer..
3f90: 3c 2f 70 72 65 3e 0a 29 29 0a 29 0a 29 29 0a 0a  </pre>.)).).))..
3fa0: 0a 24 28 53 45 43 54 49 4f 4e 20 4d 61 63 72 6f  .$(SECTION Macro
3fb0: 20 4c 61 79 65 72 73 2c 20 24 28 53 45 43 42 4f   Layers, $(SECBO
3fc0: 44 59 0a 3c 70 3e 0a 50 6f 6c 65 6d 79 20 e8 a8  DY.<p>.Polemy ..
3fd0: 80 e8 aa 9e e7 b5 84 e3 81 bf e8 be bc e3 81 bf  ................
3fe0: e3 81 ae e3 83 ac e3 82 a4 e3 83 a4 e3 81 af 20  ............... 
3ff0: 3c 63 6f 64 65 3e 40 76 61 6c 75 65 3c 2f 63 6f  <code>@value</co
4000: 64 65 3e 20 e3 81 a8 20 3c 63 6f 64 65 3e 40 6d  de> ... <code>@m
4010: 61 63 72 6f 3c 2f 63 6f 64 65 3e 20 e3 81 ae e4  acro</code> ....
4020: ba 8c e3 81 a4 e3 81 a7 e3 81 99 e3 80 82 0a ef  ................
4030: bc 88 e5 86 85 e9 83 a8 e7 9a 84 e3 81 ab e3 81  ................
4040: af e3 82 82 e3 81 86 e3 81 84 e3 81 8f e3 81 a4  ................
4050: e3 81 8b e3 81 82 e3 82 8a e3 81 be e3 81 99 e3  ................
4060: 81 8c e3 80 81 e3 83 a6 e3 83 bc e3 82 b6 e3 81  ................
4070: 8b e3 82 89 e7 9b b4 e6 8e a5 e3 81 af e4 bd bf  ................
4080: e3 81 88 e3 81 be e3 81 9b e3 82 93 e3 80 82 ef  ................
4090: bc 89 0a 3c 63 6f 64 65 3e 40 76 61 6c 75 65 3c  ...<code>@value<
40a0: 2f 63 6f 64 65 3e 20 e3 81 af e3 80 81 e3 80 8c  /code> .........
40b0: e6 99 ae e9 80 9a e3 81 ab e3 80 8d e6 99 ae e9  ................
40c0: 80 9a e3 81 ae e3 82 bb e3 83 9e e3 83 b3 e3 83  ................
40d0: 86 e3 82 a3 e3 82 af e3 82 b9 e3 81 a7 e3 83 97  ................
40e0: e3 83 ad e3 82 b0 e3 83 a9 e3 83 a0 e3 82 92 e5  ................
40f0: ae 9f e8 a1 8c e3 81 99 e3 82 8b e3 83 ac e3 82  ................
4100: a4 e3 83 a4 e3 81 a7 e3 81 97 e3 81 9f e3 80 82  ................
4110: 0a 3c 63 6f 64 65 3e 40 6d 61 63 72 6f 3c 2f 63  .<code>@macro</c
4120: 6f 64 65 3e 20 e3 81 af e3 80 81 e5 ae 9f e3 81  ode> ...........
4130: af e3 80 81 3c 63 6f 64 65 3e 40 76 61 6c 75 65  ....<code>@value
4140: 3c 2f 63 6f 64 65 3e 20 e3 82 88 e3 82 8a e3 82  </code> ........
4150: 82 e5 89 8d e3 81 ab e5 ae 9f e8 a1 8c e3 81 95  ................
4160: e3 82 8c e3 82 8b e3 83 ac e3 82 a4 e3 83 a4 e3  ................
4170: 81 a7 e3 80 81 0a e3 80 8c e3 83 97 e3 83 ad e3  ................
4180: 82 b0 e3 83 a9 e3 83 a0 e3 82 92 e5 ae 9f e8 a1  ................
4190: 8c e3 81 99 e3 82 8b e3 81 a8 e3 81 9d e3 81 ae  ................
41a0: e6 a7 8b e6 96 87 e6 9c a8 e3 82 92 e8 bf 94 e3  ................
41b0: 81 99 e3 80 8d e3 81 a8 e3 81 84 e3 81 86 e3 82  ................
41c0: bb e3 83 9e e3 83 b3 e3 83 86 e3 82 a3 e3 82 af  ................
41d0: e3 82 b9 e3 81 a7 e5 8b 95 e3 81 8d e3 81 be e3  ................
41e0: 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 72 65 3e  ......</p>.<pre>
41f0: 0a 20 20 20 20 28 e3 81 93 e3 81 93 e3 81 ab e4  .    (..........
4200: be 8b 29 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e5  ..).</pre>.<p>..
4210: 8b 95 e3 81 8d e3 81 a8 e3 81 97 e3 81 a6 e3 81  ................
4220: af e3 81 93 e3 81 86 e3 81 a7 e3 81 99 e3 80 82  ................
4230: 0a 3c 2f 70 3e 0a 3c 6f 6c 3e 0a 3c 6c 69 3e e9  .</p>.<ol>.<li>.
4240: 96 a2 e6 95 b0 e5 91 bc e3 81 b3 e5 87 ba e3 81  ................
4250: 97 e6 99 82 ef bc 88 e3 81 a8 e3 83 88 e3 83 83  ................
4260: e3 83 97 e3 83 ac e3 83 99 e3 83 ab e7 92 b0 e5  ................
4270: a2 83 e3 81 ae e5 ae 9f e8 a1 8c e9 96 8b e5 a7  ................
4280: 8b e6 99 82 ef bc 89 e3 81 ab e3 80 81 0a 09 e3  ................
4290: 81 be e3 81 9a e3 80 81 3c 63 6f 64 65 3e 40 6d  ........<code>@m
42a0: 61 63 72 6f 3c 2f 63 6f 64 65 3e 20 e3 83 ac e3  acro</code> ....
42b0: 82 a4 e3 83 a4 e3 81 a7 e3 82 b3 e3 83 bc e3 83  ................
42c0: 89 e3 82 92 e5 ae 9f e8 a1 8c e3 80 82 3c 2f 6c  .............</l
42d0: 69 3e 0a 3c 6c 69 3e e8 bf 94 e3 81 a3 e3 81 a6  i>.<li>.........
42e0: e3 81 8d e3 81 9f e6 a7 8b e6 96 87 e6 9c a8 e3  ................
42f0: 82 92 e3 80 81 e3 81 9d e3 81 ae e9 96 a2 e6 95  ................
4300: b0 e3 82 92 e5 91 bc e3 81 b3 e5 87 ba e3 81 97  ................
4310: e3 81 9f e3 81 a8 e3 81 8d e3 81 ae e3 83 ac e3  ................
4320: 82 a4 e3 83 a4 e3 81 a7 e5 ae 9f e8 a1 8c e3 80  ................
4330: 82 3c 2f 6c 69 3e 0a 3c 2f 6f 6c 3e 0a 3c 70 3e  .</li>.</ol>.<p>
4340: 0a 3c 63 6f 64 65 3e 40 6d 61 63 72 6f 3c 2f 63  .<code>@macro</c
4350: 6f 64 65 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 82  ode> ...........
4360: 82 e6 89 80 e8 a9 ae e3 81 9f e3 81 a0 e3 81 ae  ................
4370: e3 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e3 81 99 e3  ................
4380: 81 ae e3 81 a7 e3 80 81 0a e4 b8 8a e3 81 a7 e8  ................
4390: aa ac e6 98 8e e3 81 97 e3 81 9f e6 96 b9 e6 b3  ................
43a0: 95 e3 81 a7 20 3c 63 6f 64 65 3e 40 6d 61 63 72  .... <code>@macr
43b0: 6f 3c 2f 63 6f 64 65 3e 20 e3 83 ac e3 82 a4 e3  o</code> .......
43c0: 83 a4 e3 81 ab e9 96 a2 e6 95 b0 e3 81 aa e3 81  ................
43d0: a9 e3 82 92 e7 99 bb e9 8c b2 e3 81 97 e3 81 a6  ................
43e0: e3 81 8a e3 81 8f e3 81 93 e3 81 a8 e3 81 a7 e3  ................
43f0: 80 81 0a e6 a7 8b e6 96 87 e6 9c a8 e3 81 ae e7  ................
4400: 94 9f e6 88 90 e3 82 92 e3 81 84 e3 81 98 e3 82  ................
4410: 8b e3 81 93 e3 81 a8 e3 81 8c e5 8f af e8 83 bd  ................
4420: e3 81 a7 e3 81 99 e3 80 82 e3 81 be e3 81 95 e3  ................
4430: 81 ab e3 83 9e e3 82 af e3 83 ad e3 80 82 0a 3c  ...............<
4440: 2f 70 3e 0a 0a 24 28 44 44 4f 43 5f 4d 45 4d 42  /p>..$(DDOC_MEMB
4450: 45 52 53 0a 24 28 53 45 43 54 49 4f 4e 20 e6 a6  ERS.$(SECTION ..
4460: 82 e8 a6 81 2c 20 24 28 53 45 43 42 4f 44 59 0a  ...., $(SECBODY.
4470: 3c 70 3e 0a 73 61 6d 70 6c 65 73 2f 6d 61 63 72  <p>.samples/macr
4480: 6f 2e 70 6d 79 20 e3 81 ab e3 81 84 e3 81 8f e3  o.pmy ..........
4490: 81 a4 e3 81 8b e4 bd bf e3 81 84 e6 96 b9 e3 82  ................
44a0: b5 e3 83 b3 e3 83 97 e3 83 ab e3 81 8c e7 bd ae  ................
44b0: e3 81 84 e3 81 a6 e3 81 82 e3 82 8a e3 81 be e3  ................
44c0: 81 99 e3 81 ae e3 81 a7 e3 80 81 e8 a9 b3 e3 81  ................
44d0: 97 e3 81 8f e3 81 af e3 81 9d e3 81 a1 e3 82 89  ................
44e0: e3 82 92 e3 81 a9 e3 81 86 e3 81 9e e3 80 82 0a  ................
44f0: 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 20 26  </p>.<pre>.    &
4500: 67 74 3b 26 67 74 3b 20 40 6d 61 63 72 6f 28 20  gt;&gt; @macro( 
4510: 74 77 69 63 65 28 70 72 69 6e 74 28 22 48 65 6c  twice(print("Hel
4520: 6c 6f 22 29 29 20 29 0a 20 20 20 20 7b 0a 20 20  lo")) ).    {.  
4530: 20 20 20 20 70 6f 73 3a 20 7b 6c 69 6e 65 6e 6f      pos: {lineno
4540: 3a 31 2c 20 63 6f 6c 75 6d 6e 3a 39 2c 20 66 69  :1, column:9, fi
4550: 6c 65 6e 61 6d 65 3a 3c 52 45 50 4c 3e 7d 2c 0a  lename:<REPL>},.
4560: 20 20 20 20 20 61 72 67 73 3a 20 5b 20 7b 20 70       args: [ { p
4570: 6f 73 3a 20 7b 6c 69 6e 65 6e 6f 3a 31 2c 20 63  os: {lineno:1, c
4580: 6f 6c 75 6d 6e 3a 31 35 2c 20 66 69 6c 65 6e 61  olumn:15, filena
4590: 6d 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20 20 20  me:<REPL>},.    
45a0: 20 20 20 20 20 20 20 20 20 20 61 72 67 73 3a 20            args: 
45b0: 5b 7b 70 6f 73 3a 7b 6c 69 6e 65 6e 6f 3a 31 2c  [{pos:{lineno:1,
45c0: 20 63 6f 6c 75 6d 6e 3a 32 31 2c 20 66 69 6c 65   column:21, file
45d0: 6e 61 6d 65 3a 3c 52 45 50 4c 3e 7d 2c 0a 20 20  name:<REPL>},.  
45e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
45f0: 20 20 20 20 20 69 73 3a 53 74 72 2c 0a 20 20 20       is:Str,.   
4600: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
4610: 20 20 64 61 74 61 3a 48 65 6c 6c 6f 7d 5d 2c 0a    data:Hello}],.
4620: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
4630: 69 73 3a 20 41 70 70 2c 0a 20 20 20 20 20 20 20  is: App,.       
4640: 20 20 20 20 20 20 20 20 66 75 6e 3a 20 7b 70 6f          fun: {po
4650: 73 3a 7b 6c 69 6e 65 6e 6f 3a 31 2c 20 63 6f 6c  s:{lineno:1, col
4660: 75 6d 6e 3a 31 35 2c 20 66 69 6c 65 6e 61 6d 65  umn:15, filename
4670: 3a 3c 52 45 50 4c 3e 7d 2c 20 69 73 3a 56 61 72  :<REPL>}, is:Var
4680: 2c 20 6e 61 6d 65 3a 70 72 69 6e 74 7d 7d 0a 20  , name:print}}. 
4690: 20 20 20 20 20 20 20 20 20 20 5d 2c 0a 20 20 20            ],.   
46a0: 20 20 20 20 69 73 3a 20 41 70 70 2c 0a 20 20 20      is: App,.   
46b0: 20 20 20 66 75 6e 3a 20 7b 70 6f 73 3a 7b 6c 69     fun: {pos:{li
46c0: 6e 65 6e 6f 3a 31 2c 20 63 6f 6c 75 6d 6e 3a 39  neno:1, column:9
46d0: 2c 20 66 69 6c 65 6e 61 6d 65 3a 3c 52 45 50 4c  , filename:<REPL
46e0: 3e 7d 2c 20 69 73 3a 56 61 72 2c 20 6e 61 6d 65  >}, is:Var, name
46f0: 3a 74 77 69 63 65 7d 0a 20 20 20 20 7d 0a 3c 2f  :twice}.    }.</
4700: 70 72 65 3e 0a 3c 70 3e 0a e8 a9 b3 e7 b4 b0 e3  pre>.<p>........
4710: 81 af e6 b0 97 e3 81 ab e3 81 97 e3 81 aa e3 81  ................
4720: 8f e3 81 a6 e6 a7 8b e3 81 84 e3 81 be e3 81 9b  ................
4730: e3 82 93 e3 81 8c e3 80 81 e3 81 a8 e3 81 ab e3  ................
4740: 81 8b e3 81 8f e3 80 81 3c 74 74 3e 40 6d 61 63  ........<tt>@mac
4750: 72 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83  ro</tt> ........
4760: a4 e3 81 a7 e3 81 af e3 80 81 0a e5 9f ba e6 9c  ................
4770: ac e7 9a 84 e3 81 ab e3 81 af e3 80 81 e3 82 b3  ................
4780: e3 83 bc e3 83 89 e3 82 92 e5 ae 9f e8 a1 8c e3  ................
4790: 81 99 e3 82 8b e3 81 a8 e3 81 9d e3 81 ae e3 82  ................
47a0: b3 e3 83 bc e3 83 89 e3 81 ae e6 a7 8b e6 96 87  ................
47b0: e6 9c a8 e3 81 8c e3 81 a7 e3 81 a6 e3 81 8d e3  ................
47c0: 81 be e3 81 99 e3 80 82 0a e3 81 93 e3 81 ae e6  ................
47d0: 8c 99 e5 8b 95 e3 81 af 20 3c 74 74 3e 40 6d 61  ........ <tt>@ma
47e0: 63 72 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3  cro</tt> .......
47f0: 83 a4 e3 81 ae e5 a4 89 e6 95 b0 e3 82 92 e3 82  ................
4800: bb e3 83 83 e3 83 88 e3 81 99 e3 82 8b e3 81 93  ................
4810: e3 81 a8 e3 81 a7 e3 80 81 e3 82 ab e3 82 b9 e3  ................
4820: 82 bf e3 83 9e e3 82 a4 e3 82 ba e3 81 a7 e3 81  ................
4830: 8d e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a  ...........</p>.
4840: 3c 70 72 65 3e 0a 20 20 20 20 26 67 74 3b 26 67  <pre>.    &gt;&g
4850: 74 3b 20 40 6d 61 63 72 6f 20 74 77 69 63 65 28  t; @macro twice(
4860: 78 29 20 7b 20 78 3b 20 78 20 7d 20 69 6e 20 74  x) { x; x } in t
4870: 77 69 63 65 28 70 72 69 6e 74 28 22 48 65 6c 6c  wice(print("Hell
4880: 6f 22 29 29 0a 20 20 20 20 48 65 6c 6c 6f 0a 20  o")).    Hello. 
4890: 20 20 20 48 65 6c 6c 6f 0a 20 20 20 20 48 65 6c     Hello.    Hel
48a0: 6c 6f 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a ef bc  lo.</pre>.<p>...
48b0: 88 ef bc 93 e5 9b 9e e5 87 ba e5 8a 9b e3 81 95  ................
48c0: e3 82 8c e3 81 a6 e3 81 be e3 81 99 e3 81 8c e3  ................
48d0: 80 81 ef bc 93 e5 80 8b e7 9b ae e3 81 af 20 3c  .............. <
48e0: 74 74 3e 70 72 69 6e 74 28 78 29 3c 2f 74 74 3e  tt>print(x)</tt>
48f0: 20 e3 81 ae e8 bf 94 e5 80 a4 e3 81 af 20 3c 74   ............ <t
4900: 74 3e 78 3c 2f 74 74 3e 20 e3 81 aa e3 81 ae e3  t>x</tt> .......
4910: 81 a7 e3 80 81 0a e3 81 9d e3 82 8c e3 81 8c 52  ...............R
4920: 45 50 4c e3 81 ab e3 82 88 e3 81 a3 e3 81 a6 e5  EPL.............
4930: 8d b0 e5 ad 97 e3 81 95 e3 82 8c e3 81 a6 e3 81  ................
4940: 84 e3 82 8b e3 81 a0 e3 81 91 e3 81 a7 e3 81 99  ................
4950: e3 80 82 ef bc 89 0a 3c 74 74 3e 40 6d 61 63 72  .......<tt>@macr
4960: 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4  o</tt> .........
4970: e3 81 a7 20 3c 74 74 3e 69 6e 3c 2f 74 74 3e 20  ... <tt>in</tt> 
4980: e4 bb a5 e9 99 8d e3 82 92 e5 ae 9f e8 a1 8c e3  ................
4990: 81 99 e3 82 8b e3 81 a8 e3 80 81 3c 74 74 3e 70  ...........<tt>p
49a0: 72 69 6e 74 28 22 48 65 6c 6c 6f 22 29 3c 2f 74  rint("Hello")</t
49b0: 74 3e 20 e3 81 a8 e3 81 84 e3 81 86 e5 bc 8f e3  t> .............
49c0: 82 92 e8 a1 a8 e3 81 99 e6 a7 8b e6 96 87 e6 9c  ................
49d0: a8 e3 81 8c e4 bd 9c e3 82 89 e3 82 8c e3 80 81  ................
49e0: 0a e3 81 9d e3 82 8c e3 81 8c 20 3c 74 74 3e 74  .......... <tt>t
49f0: 77 69 63 65 3c 2f 74 74 3e 20 e9 96 a2 e6 95 b0  wice</tt> ......
4a00: e3 81 ab e6 b8 a1 e3 81 95 e3 82 8c e3 81 be e3  ................
4a10: 81 99 e3 80 82 3c 74 74 3e 74 77 69 63 65 3c 2f  .....<tt>twice</
4a20: 74 74 3e 20 e3 81 ae e4 b8 ad e8 ba ab e3 82 82  tt> ............
4a30: 20 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e   <tt>@macro</tt>
4a40: 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 a7 e5 ae 9f   ...............
4a50: e8 a1 8c e3 81 95 e3 82 8c e3 82 8b e3 81 ae e3  ................
4a60: 81 a7 e3 80 81 0a e6 a7 8b e6 96 87 e6 9c a8 e3  ................
4a70: 82 92 e4 bd 9c e3 82 8d e3 81 86 e3 81 a8 e3 81  ................
4a80: 97 e3 81 be e3 81 99 e3 81 8c e3 80 81 e5 a4 89  ................
4a90: e6 95 b0 20 3c 74 74 3e 78 3c 2f 74 74 3e 20 e3  ... <tt>x</tt> .
4aa0: 81 ab e3 81 af 20 3c 74 74 3e 40 6d 61 63 72 6f  ..... <tt>@macro
4ab0: 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3  </tt> ..........
4ac0: 81 a7 e5 80 a4 e3 81 8c e5 85 a5 e3 81 a3 e3 81  ................
4ad0: a6 e3 81 84 e3 82 8b e3 81 ae e3 81 a7 e3 80 81  ................
4ae0: 0a e3 81 9d e3 81 ae e5 80 a4 e3 82 92 e8 aa ad  ................
4af0: e3 81 bf e5 8f 96 e3 81 a3 e3 81 a6 e6 a7 8b e6  ................
4b00: 96 87 e6 9c a8 e3 82 92 e4 bd 9c e6 88 90 e3 81  ................
4b10: 97 e3 81 be e3 81 99 e3 80 82 0a e7 b5 90 e6 9e  ................
4b20: 9c e3 81 a8 e3 81 97 e3 81 a6 e3 80 81 ef bc 92  ................
4b30: e5 9b 9e 20 3c 74 74 3e 70 72 69 6e 74 28 22 48  ... <tt>print("H
4b40: 65 6c 6c 6f 22 29 3c 2f 74 74 3e 20 e3 81 99 e3  ello")</tt> ....
4b50: 82 8b e6 a7 8b e6 96 87 e6 9c a8 e3 81 8c e4 bd  ................
4b60: 9c e3 82 89 e3 82 8c e3 81 a6 e3 80 81 0a e3 81  ................
4b70: 9d e3 81 ae e5 be 8c e3 81 a7 e3 80 81 e3 81 9d  ................
4b80: e3 82 8c e3 81 8c 20 3c 74 74 3e 40 76 61 6c 75  ...... <tt>@valu
4b90: 65 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4  e</tt> .........
4ba0: e3 81 a7 e5 ae 9f e8 a1 8c e3 81 95 e3 82 8c e3  ................
4bb0: 81 a6 e3 81 84 e3 81 be e3 81 99 e3 80 82 0a 3c  ...............<
4bc0: 2f 70 3e 0a 3c 70 3e 0a e6 9c ac e5 bd 93 e3 81  /p>.<p>.........
4bd0: ab e3 83 99 e3 82 bf e3 81 ab e6 a7 8b e6 96 87  ................
4be0: e6 9c a8 e3 82 92 e4 bd 9c e3 82 8b e3 81 a0 e3  ................
4bf0: 81 91 e3 81 aa e3 81 ae e3 81 a7 e3 80 81 e5 a4  ................
4c00: 89 e6 95 b0 e5 90 8d e3 81 ae e8 a1 9d e7 aa 81  ................
4c10: e3 81 aa e3 81 a9 e3 81 aa e3 81 a9 e3 81 af e6  ................
4c20: b0 97 e3 81 ab e3 81 97 e3 81 be e3 81 9b e3 82  ................
4c30: 93 e3 80 82 e3 80 8c e8 a1 9b e7 94 9f e7 9a 84  ................
4c40: e3 81 a7 e3 81 aa e3 81 84 e3 80 8d e3 83 9e e3  ................
4c50: 82 af e3 83 ad e3 81 a7 e3 81 99 e3 80 82 0a 3c  ...............<
4c60: 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20 20 20 40 6d  /p>.<pre>.    @m
4c70: 61 63 72 6f 20 4c 65 74 49 74 42 65 28 78 2c 20  acro LetItBe(x, 
4c80: 79 29 20 7b 20 76 61 72 20 24 28 42 20 69 74 29  y) { var $(B it)
4c90: 20 3d 20 78 3b 20 79 20 7d 3b 20 20 24 28 44 5f   = x; y };  $(D_
4ca0: 43 4f 4d 4d 45 4e 54 20 23 20 79 20 e3 81 ae e4  COMMENT # y ....
4cb0: b8 ad e3 81 a7 e5 a4 89 e6 95 b0 20 69 74 20 e3  ........... it .
4cc0: 81 8c e4 bd bf e3 81 88 e3 82 8b 29 0a 20 20 20  ...........).   
4cd0: 20 70 72 69 6e 74 28 20 4c 65 74 49 74 42 65 28   print( LetItBe(
4ce0: 22 6d 79 73 65 6c 66 22 2c 20 20 22 77 68 65 6e  "myself",  "when
4cf0: 20 49 20 66 69 6e 64 20 22 20 7e 20 24 28 42 20   I find " ~ $(B 
4d00: 69 74 29 20 7e 20 22 20 69 6e 20 74 69 6d 65 73  it) ~ " in times
4d10: 20 6f 66 20 74 72 6f 75 62 6c 65 22 29 20 29 3b   of trouble") );
4d20: 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e5 a4 89 e6  .</pre>.<p>.....
4d30: 95 b0 e5 90 8d e3 81 ab e6 b0 97 e3 82 92 e3 81  ................
4d40: a4 e3 81 91 e3 82 8b e3 81 ab e3 81 af e3 80 81  ................
4d50: e7 b5 84 e3 81 bf e8 be bc e3 81 bf e9 96 a2 e6  ................
4d60: 95 b0 20 3c 74 74 3e 67 65 6e 73 79 6d 28 29 3c  .. <tt>gensym()<
4d70: 2f 74 74 3e 20 e3 82 92 e4 bd bf e3 81 a3 e3 81  /tt> ...........
4d80: a6 e9 a0 91 e5 bc b5 e3 81 a3 e3 81 a6 e4 b8 8b  ................
4d90: e3 81 95 e3 81 84 e3 80 82 0a 3c 2f 70 3e 0a 29  ..........</p>.)
4da0: 29 0a 24 28 53 45 43 54 49 4f 4e 20 e3 83 ac e3  ).$(SECTION ....
4db0: 82 a4 e3 83 a4 e5 88 87 e3 82 8a e6 9b bf e3 81  ................
4dc0: 88 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 3e  ., $(SECBODY.<p>
4dd0: 0a e4 bb 96 e3 81 ae e3 83 ac e3 82 a4 e3 83 a4  ................
4de0: e5 90 8c e6 a7 98 e3 80 81 3c 74 74 3e 40 6d 61  .........<tt>@ma
4df0: 63 72 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3  cro</tt> .......
4e00: 83 a4 e3 82 92 e5 ae 9f e8 a1 8c e4 b8 ad e3 81  ................
4e10: ab 20 3c 74 74 3e 40 6c 61 79 65 72 28 20 2e 2e  . <tt>@layer( ..
4e20: 2e 20 29 3c 2f 74 74 3e 20 e6 a7 8b e6 96 87 e3  . )</tt> .......
4e30: 82 92 e4 bd bf e3 81 86 e3 81 93 e3 81 a8 e3 81  ................
4e40: a7 e3 80 81 0a e5 88 a5 e3 81 ae e3 83 ac e3 82  ................
4e50: a4 e3 83 a4 e3 81 a7 e3 82 b3 e3 83 bc e3 83 89  ................
4e60: e3 82 92 e5 8b 95 e3 81 8b e3 81 99 e3 81 93 e3  ................
4e70: 81 a8 e3 82 82 e3 81 a7 e3 81 8d e3 81 be e3 81  ................
4e80: 99 e3 80 82 e3 82 88 e3 81 8f e4 bd bf e3 81 86  ................
4e90: e4 be 8b e3 81 af e3 80 81 3c 74 74 3e 40 76 61  .........<tt>@va
4ea0: 6c 75 65 3c 2f 74 74 3e 0a e3 83 ac e3 82 a4 e3  lue</tt>........
4eb0: 83 a4 e3 81 ab e7 a7 bb e3 82 8b e3 81 93 e3 81  ................
4ec0: a8 e3 81 a7 e6 a7 8b e6 96 87 e6 9c a8 e3 82 92  ................
4ed0: e6 99 ae e9 80 9a e3 81 ab e8 a8 88 e7 ae 97 e3  ................
4ee0: 81 97 e3 81 a6 e8 89 b2 e3 80 85 e3 83 97 e3 83  ................
4ef0: ad e3 82 b0 e3 83 a9 e3 83 a0 e7 9a 84 e3 81 ab  ................
4f00: e3 81 84 e3 81 98 e3 82 8b e7 94 a8 e9 80 94 e3  ................
4f10: 81 a7 e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70  .........</p>.<p
4f20: 72 65 3e 0a 20 20 20 20 40 6d 61 63 72 6f 20 72  re>.    @macro r
4f30: 65 76 65 72 73 65 41 72 67 73 28 65 29 20 7b 24  everseArgs(e) {$
4f40: 28 42 20 40 76 61 6c 75 65 29 28 0a 20 20 20 20  (B @value)(.    
4f50: 20 20 20 20 64 65 66 20 72 65 76 28 78 73 2c 20      def rev(xs, 
4f60: 61 63 63 29 20 7b 0a 20 20 20 20 20 20 20 20 20  acc) {.         
4f70: 20 63 61 73 65 20 78 73 20 77 68 65 6e 20 7b 63   case xs when {c
4f80: 61 72 3a 78 2c 20 63 64 72 3a 78 73 7d 3a 20 72  ar:x, cdr:xs}: r
4f90: 65 76 28 78 73 2c 20 7b 63 61 72 3a 78 2c 20 63  ev(xs, {car:x, c
4fa0: 64 72 3a 61 63 63 7d 29 20 77 68 65 6e 20 7b 7d  dr:acc}) when {}
4fb0: 3a 20 61 63 63 0a 20 20 20 20 20 20 20 20 7d 3b  : acc.        };
4fc0: 0a 20 20 20 20 20 20 20 20 63 61 73 65 20 40 6d  .        case @m
4fd0: 61 63 72 6f 28 65 29 0a 20 20 20 20 20 20 20 20  acro(e).        
4fe0: 20 20 77 68 65 6e 20 7b 69 73 3a 22 41 70 70 22    when {is:"App"
4ff0: 2c 20 66 75 6e 3a 66 2c 20 61 72 67 73 3a 61 73  , fun:f, args:as
5000: 7d 3a 20 7b 69 73 3a 22 41 70 70 22 2c 20 66 75  }: {is:"App", fu
5010: 6e 3a 66 2c 20 61 72 67 73 3a 72 65 76 28 61 73  n:f, args:rev(as
5020: 2c 7b 7d 29 7d 0a 20 20 20 20 20 20 20 20 20 20  ,{})}.          
5030: 77 68 65 6e 20 65 3a 20 65 0a 20 20 20 20 29 7d  when e: e.    )}
5040: 3b 0a 20 20 20 20 70 72 69 6e 74 28 20 72 65 76  ;.    print( rev
5050: 65 72 73 65 41 72 67 73 28 31 2d 32 29 20 29 3b  erseArgs(1-2) );
5060: 20 24 28 44 5f 43 4f 4d 4d 45 4e 54 20 23 20 32   $(D_COMMENT # 2
5070: 2d 31 20 3d 3d 20 31 29 0a 3c 2f 70 72 65 3e 0a  -1 == 1).</pre>.
5080: 3c 70 3e 0a 3c 74 74 3e 72 65 76 65 72 73 65 41  <p>.<tt>reverseA
5090: 72 67 73 3c 2f 74 74 3e 20 e3 81 af e3 80 81 e9  rgs</tt> .......
50a0: 96 a2 e6 95 b0 e5 91 bc e3 81 b3 e5 87 ba e3 81  ................
50b0: 97 e3 81 ae e6 a7 8b e6 96 87 e6 9c a8 e3 81 ae  ................
50c0: e3 80 81 e5 bc 95 e6 95 b0 e3 81 ae e9 a0 86 e7  ................
50d0: 95 aa e3 82 92 e9 80 86 e8 bb a2 e3 81 99 e3 82  ................
50e0: 8b e9 96 a2 e6 95 b0 e3 81 a7 e3 81 99 e3 80 82  ................
50f0: 0a 3c 74 74 3e 40 6d 61 63 72 6f 28 65 29 3c 2f  .<tt>@macro(e)</
5100: 74 74 3e 20 e3 81 ab e3 82 88 e3 81 a3 e3 81 a6  tt> ............
5110: e3 83 9e e3 82 af e3 83 ad e3 83 ac e3 82 a4 e3  ................
5120: 83 a4 e3 81 ab e3 82 bb e3 83 83 e3 83 88 e3 81  ................
5130: 95 e3 82 8c e3 81 a6 e3 81 84 e3 82 8b e6 a7 8b  ................
5140: e6 96 87 e6 9c a8 e5 bc 95 e6 95 b0 e3 82 92 e5  ................
5150: 8f 96 e3 82 8a e5 87 ba e3 81 97 e3 80 81 0a e3  ................
5160: 81 9d e3 82 8c e3 82 92 20 3c 74 74 3e 40 76 61  ........ <tt>@va
5170: 6c 75 65 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3  lue</tt> .......
5180: 83 a4 e3 81 ab e3 82 88 e3 82 8b e6 99 ae e9 80  ................
5190: 9a e3 81 ae e8 a8 88 e7 ae 97 e3 83 97 e3 83 ad  ................
51a0: e3 82 b0 e3 83 a9 e3 83 a0 e3 81 a7 e6 93 8d e4  ................
51b0: bd 9c e3 81 97 e3 81 a6 e3 81 84 e3 81 be e3 81  ................
51c0: 99 e3 80 82 0a 3c 74 74 3e 40 6d 61 63 72 6f 28  .....<tt>@macro(
51d0: 2e 2e 2e 29 3c 2f 74 74 3e 20 e3 81 af e3 81 84  ...)</tt> ......
51e0: e3 82 8f e3 82 86 e3 82 8b e3 80 8c e6 ba 96 e3  ................
51f0: 82 af e3 82 aa e3 83 bc e3 83 88 20 28 71 75 61  ........... (qua
5200: 73 69 71 75 6f 74 65 29 e3 80 8d e3 80 81 0a 3c  siquote).......<
5210: 74 74 3e 40 76 61 6c 75 65 28 2e 2e 2e 29 3c 2f  tt>@value(...)</
5220: 74 74 3e 20 e3 81 af e3 80 8c e9 80 86 e3 82 af  tt> ............
5230: e3 82 aa e3 83 bc e3 83 88 20 28 75 6e 71 75 6f  ......... (unquo
5240: 74 65 29 e3 80 8d e3 81 ab e3 81 a1 e3 82 87 e3  te).............
5250: 81 a3 e3 81 a8 e8 bf 91 e3 81 84 e3 81 8b e3 82  ................
5260: 82 e3 81 97 e3 82 8c e3 81 be e3 81 9b e3 82 93  ................
5270: e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a 3c 74 74  ....</p>.<p>.<tt
5280: 3e 40 6c 61 79 65 72 28 2e 2e 2e 29 3c 2f 74 74  >@layer(...)</tt
5290: 3e 20 e3 81 a0 e3 81 91 e3 81 a7 e3 81 aa e3 81  > ..............
52a0: 8f e3 80 81 e9 96 a2 e6 95 b0 e3 81 ae e3 83 ac  ................
52b0: e3 82 a4 e3 83 a4 e6 8c 87 e5 ae 9a e5 bc 95 e6  ................
52c0: 95 b0 e3 81 aa e3 81 a9 e3 82 82 e5 90 8c e6 a7  ................
52d0: 98 e3 81 ab e4 bd bf e3 81 86 e3 81 93 e3 81 a8  ................
52e0: e3 81 8c e3 81 a7 e3 81 8d e3 82 8b e3 81 ae e3  ................
52f0: 81 a7 e3 80 81 0a e4 b8 80 e9 83 a8 e3 81 ae e5  ................
5300: bc 95 e6 95 b0 e3 81 af 20 3c 74 74 3e 40 6d 61  ........ <tt>@ma
5310: 63 72 6f 3c 2f 74 74 3e e3 80 81 e4 b8 80 e9 83  cro</tt>........
5320: a8 e3 81 ae e5 bc 95 e6 95 b0 e3 81 af 20 3c 74  ............. <t
5330: 74 3e 40 76 61 6c 75 65 3c 2f 74 74 3e 20 e3 83  t>@value</tt> ..
5340: ac e3 82 a4 e3 83 a4 e3 81 a7 e5 8f 97 e3 81 91  ................
5350: e5 8f 96 e3 82 8b e9 96 a2 e6 95 b0 e3 82 92 e6  ................
5360: 9b b8 e3 81 8f e3 81 aa e3 81 a9 e3 80 81 0a e3  ................
5370: 81 95 e3 82 89 e3 81 ab e8 89 b2 e3 80 85 e9 9d  ................
5380: a2 e7 99 bd e3 81 84 e3 81 93 e3 81 a8 e3 81 8c  ................
5390: e5 8f af e8 83 bd e3 81 a7 e3 81 99 e3 80 82 0a  ................
53a0: 3c 2f 70 3e 0a 29 29 0a 24 28 53 45 43 54 49 4f  </p>.)).$(SECTIO
53b0: 4e 20 e6 a7 8b e6 96 87 e6 9c a8 e3 81 ae e6 a7  N ..............
53c0: 8b e9 80 a0 2c 20 24 28 53 45 43 42 4f 44 59 0a  ...., $(SECBODY.
53d0: 3c 70 3e 0a e6 a7 8b e6 96 87 e6 9c a8 e3 81 8c  <p>.............
53e0: e3 81 a9 e3 81 ae e3 82 88 e3 81 86 e3 81 aa e3  ................
53f0: 83 86 e3 83 bc e3 83 96 e3 83 ab e3 81 a7 e6 b8  ................
5400: a1 e3 81 95 e3 82 8c e3 81 a6 e3 81 8f e3 82 8b  ................
5410: e3 81 8b e3 81 ab e3 81 a4 e3 81 84 e3 81 a6 e3  ................
5420: 81 af e3 80 81 e3 82 bd e3 83 bc e3 82 b9 e3 83  ................
5430: 89 e3 82 ad e3 83 a5 e3 83 a1 e3 83 b3 e3 83 88  ................
5440: e3 81 ae 0a 3c 61 20 68 72 65 66 3d 22 68 74 74  ....<a href="htt
5450: 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f 73 2e 6e  p://www.kmonos.n
5460: 65 74 2f 72 65 70 6f 73 2f 70 6f 6c 65 6d 79 2f  et/repos/polemy/
5470: 64 6f 63 2f 74 69 70 2f 64 6f 63 2f 61 73 74 2e  doc/tip/doc/ast.
5480: 68 74 6d 6c 22 3e 70 6f 6c 65 6d 79 2e 61 73 74  html">polemy.ast
5490: 3c 2f 61 3e 0a e3 81 ae e3 83 9a e3 83 bc e3 82  </a>............
54a0: b8 e3 82 92 e3 81 94 e8 a6 a7 e4 b8 8b e3 81 95  ................
54b0: e3 81 84 e3 80 82 e4 be 8b e3 81 88 e3 81 b0 e5  ................
54c0: a4 89 e6 95 b0 e5 90 8d e3 82 92 e8 a1 a8 e3 81  ................
54d0: 99 20 3c 63 6f 64 65 3e 56 61 72 3c 2f 63 6f 64  . <code>Var</cod
54e0: 65 3e 20 e3 82 af e3 83 a9 e3 82 b9 e3 81 ab e3  e> .............
54f0: 81 af e3 80 81 0a e7 b6 99 e6 89 bf e3 81 ae e5  ................
5500: 88 86 e3 82 82 e5 90 88 e3 82 8f e3 81 9b e3 81  ................
5510: a6 0a 3c 74 74 3e 3c 61 20 68 72 65 66 3d 22 68  ..<tt><a href="h
5520: 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f 73  ttp://www.kmonos
5530: 2e 6e 65 74 2f 72 65 70 6f 73 2f 70 6f 6c 65 6d  .net/repos/polem
5540: 79 2f 64 6f 63 2f 74 69 70 2f 64 6f 63 2f 66 61  y/doc/tip/doc/fa
5550: 69 6c 75 72 65 2e 68 74 6d 6c 22 3e 4c 65 78 50  ilure.html">LexP
5560: 6f 73 69 74 69 6f 6e 3c 2f 61 3e 20 70 6f 73 3b  osition</a> pos;
5570: 3c 2f 74 74 3e 0a e3 81 a8 20 3c 74 74 3e 73 74  </tt>.... <tt>st
5580: 72 69 6e 67 20 6e 61 6d 65 3b 3c 2f 74 74 3e 20  ring name;</tt> 
5590: e3 81 ae ef bc 92 e3 81 a4 e3 81 ae e3 83 a1 e3  ................
55a0: 83 b3 e3 83 90 e3 81 8c e3 81 82 e3 82 8b e3 81  ................
55b0: ae e3 81 a7 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a  .....</p>.<pre>.
55c0: 20 20 20 20 7b 20 69 73 3a 20 20 20 22 56 61 72      { is:   "Var
55d0: 22 2c 0a 20 20 20 20 20 20 70 6f 73 3a 20 20 7b  ",.      pos:  {
55e0: 66 69 6c 65 6e 61 6d 65 3a 22 66 6f 6f 2e 70 6d  filename:"foo.pm
55f0: 79 22 2c 20 6c 69 6e 65 6e 6f 3a 31 32 33 2c 20  y", lineno:123, 
5600: 63 6f 6c 75 6d 6e 3a 34 35 7d 2c 0a 20 20 20 20  column:45},.    
5610: 20 20 6e 61 6d 65 3a 20 22 78 22 20 7d 0a 3c 2f    name: "x" }.</
5620: 70 72 65 3e 0a 3c 70 3e 0a e3 81 93 e3 82 93 e3  pre>.<p>........
5630: 81 aa e6 84 9f e3 81 98 e3 81 ae e3 83 86 e3 83  ................
5640: bc e3 83 96 e3 83 ab e3 81 ab e3 81 aa e3 82 8a  ................
5650: e3 81 be e3 81 99 e3 80 82 0a e3 82 af e3 83 a9  ................
5660: e3 82 b9 e5 90 8d e3 81 8c 20 3c 74 74 3e 69 73  ......... <tt>is
5670: 3c 2f 74 74 3e 20 e3 83 95 e3 82 a3 e3 83 bc e3  </tt> ..........
5680: 83 ab e3 83 89 e3 81 ab e3 80 81 e3 83 a1 e3 83  ................
5690: b3 e3 83 90 e5 a4 89 e6 95 b0 e3 81 af e3 81 9d  ................
56a0: e3 81 ae e3 81 be e3 81 be e3 81 ae e5 90 8d e5  ................
56b0: 89 8d e3 81 a7 e5 85 a5 e3 82 8a e3 81 be e3 81  ................
56c0: 99 e3 80 82 0a e9 85 8d e5 88 97 e3 83 a1 e3 83  ................
56d0: b3 e3 83 90 e3 81 af 20 63 6f 6e 73 20 e3 83 aa  ....... cons ...
56e0: e3 82 b9 e3 83 88 e3 81 ab e3 81 aa e3 81 a3 e3  ................
56f0: 81 a6 e5 85 a5 e3 81 a3 e3 81 a6 e3 81 8d e3 81  ................
5700: be e3 81 99 e3 80 82 0a e8 87 aa e5 88 86 e3 81  ................
5710: a7 e6 a7 8b e6 96 87 e6 9c a8 e3 82 92 e4 bd 9c  ................
5720: e3 82 8b e6 99 82 e3 81 af e3 80 81 3c 74 74 3e  ............<tt>
5730: 70 6f 73 3c 2f 74 74 3e 20 e3 83 95 e3 82 a3 e3  pos</tt> .......
5740: 83 bc e3 83 ab e3 83 89 e3 81 a0 e3 81 91 e3 81  ................
5750: af e7 9c 81 e7 95 a5 e3 81 97 e3 81 a6 e3 82 82  ................
5760: e6 a7 8b e3 81 84 e3 81 be e3 81 9b e3 82 93 e3  ................
5770: 80 82 0a 3c 2f 70 3e 0a 29 29 0a 24 28 53 45 43  ...</p>.)).$(SEC
5780: 54 49 4f 4e 20 e5 be ae e5 a6 99 e3 81 aa e3 81  TION ...........
5790: a8 e3 81 93 e3 82 8d ef bc 91 2c 20 24 28 53 45  .........., $(SE
57a0: 43 42 4f 44 59 0a 3c 70 3e 0a e3 81 93 e3 81 93  CBODY.<p>.......
57b0: e3 81 be e3 81 a7 e3 80 81 3c 74 74 3e 40 6d 61  .........<tt>@ma
57c0: 63 72 6f 3c 2f 74 74 3e 20 e3 81 8c e6 9c ac e5  cro</tt> .......
57d0: bd 93 e3 81 ab e3 81 9f e3 81 a0 e3 81 ae ef bc  ................
57e0: 91 e3 83 ac e3 82 a4 e3 83 a4 e3 81 a8 e8 aa ac  ................
57f0: e6 98 8e e3 81 97 e3 81 a6 e3 81 8d e3 81 be e3  ................
5800: 81 97 e3 81 9f e3 81 8c e3 80 81 0a e5 ae 9f e3  ................
5810: 81 af e3 81 a1 e3 82 87 e3 81 a3 e3 81 a8 e3 83  ................
5820: 88 e3 83 aa e3 83 83 e3 82 af e3 81 8c e6 bd 9c  ................
5830: e3 82 93 e3 81 a7 e3 81 84 e3 81 be e3 81 99 e3  ................
5840: 80 82 0a 3c 2f 70 3e 0a 3c 70 72 65 3e 0a 20 20  ...</p>.<pre>.  
5850: 20 20 26 67 74 3b 26 67 74 3b 20 40 6d 61 63 72    &gt;&gt; @macr
5860: 6f 20 74 77 69 63 65 28 78 29 20 7b 78 3b 20 78  o twice(x) {x; x
5870: 7d 20 69 6e 20 74 77 69 63 65 28 24 28 42 20 40  } in twice($(B @
5880: 76 61 6c 75 65 29 28 70 72 69 6e 74 28 22 48 65  value)(print("He
5890: 6c 6c 6f 22 29 29 29 0a 20 20 20 20 48 65 6c 6c  llo"))).    Hell
58a0: 6f 0a 20 20 20 20 48 65 6c 6c 6f 0a 20 20 20 20  o.    Hello.    
58b0: 48 65 6c 6c 6f 0a 3c 2f 70 72 65 3e 0a 3c 70 3e  Hello.</pre>.<p>
58c0: 0a e5 85 88 e3 81 bb e3 81 a9 e3 81 ae e4 be 8b  ................
58d0: e3 81 ab 20 3c 74 74 3e 40 76 61 6c 75 65 3c 2f  ... <tt>@value</
58e0: 74 74 3e 20 e3 82 92 e5 a2 97 e3 82 84 e3 81 97  tt> ............
58f0: e3 81 9f e3 82 82 e3 81 ae e3 81 a7 e3 81 99 e3  ................
5900: 81 8c e3 80 81 e3 81 93 e3 82 8c e3 81 a7 e3 82  ................
5910: 82 e3 82 84 e3 81 af e3 82 8a e3 80 81 48 65 6c  .............Hel
5920: 6c 6f 0a e3 81 8c ef bc 92 e5 9b 9e 20 70 72 69  lo.......... pri
5930: 6e 74 20 e3 81 95 e3 82 8c e3 82 8b e3 82 88 e3  nt .............
5940: 81 86 e3 81 ab e3 81 aa e3 82 8a e3 81 be e3 81  ................
5950: 99 e3 80 82 e3 81 93 e3 82 8c e3 81 af e6 9c ac  ................
5960: e6 9d a5 e3 81 af e3 81 8a e3 81 8b e3 81 97 e3  ................
5970: 81 aa e8 a9 b1 e3 81 a7 e3 80 81 3c 74 74 3e 70  ...........<tt>p
5980: 72 69 6e 74 28 22 48 65 6c 6c 6f 22 29 3c 2f 74  rint("Hello")</t
5990: 74 3e 0a e3 81 af 20 3c 74 74 3e 40 76 61 6c 75  t>.... <tt>@valu
59a0: 65 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4  e</tt> .........
59b0: e3 81 a7 e5 ae 9f e8 a1 8c e3 81 95 e3 82 8c e3  ................
59c0: 81 a6 e5 80 a4 e3 81 ab e8 90 bd e3 81 a1 e3 82  ................
59d0: 8b e3 81 af e3 81 9a e3 81 aa e3 81 ae e3 81 a7  ................
59e0: e3 80 81 ef bc 91 e5 9b 9e e3 81 97 e3 81 8b 20  ............... 
59f0: 70 72 69 6e 74 20 e3 81 95 e3 82 8c e3 81 aa e3  print ..........
5a00: 81 84 e3 81 af e3 81 9a e3 80 82 0a 3c 2f 70 3e  ............</p>
5a10: 0a 3c 70 3e 0a e5 ae 9f e3 81 af e3 80 81 50 6f  .<p>..........Po
5a20: 6c 65 6d 79 20 e3 81 ae e4 b8 ad e3 81 a7 e3 81  lemy ...........
5a30: af e3 80 81 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f  ....<tt>@macro</
5a40: 74 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 a8  tt> ............
5a50: 20 3c 74 74 3e 28 72 61 77 6d 61 63 72 6f 29 3c   <tt>(rawmacro)<
5a60: 2f 74 74 3e 0a e3 83 ac e3 82 a4 e3 83 a4 e3 81  /tt>............
5a70: a8 e3 81 84 e3 81 86 e4 ba 8c e3 81 a4 e3 81 ae  ................
5a80: e7 95 b0 e3 81 aa e3 82 8b e3 83 9e e3 82 af e3  ................
5a90: 83 ad e7 94 a8 e3 83 ac e3 82 a4 e3 83 a4 e3 81  ................
5aa0: 8c e5 8b 95 e3 81 84 e3 81 a6 e3 81 84 e3 81 be  ................
5ab0: e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 75 6c 3e  .......</p>.<ul>
5ac0: 0a 09 3c 6c 69 3e 3c 74 74 3e 28 72 61 77 6d 61  ..<li><tt>(rawma
5ad0: 63 72 6f 29 3c 2f 74 74 3e 20 e3 82 82 20 3c 74  cro)</tt> ... <t
5ae0: 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 82  t>@macro</tt> ..
5af0: 82 e3 80 81 e3 82 b3 e3 83 bc e3 83 89 e3 82 92  ................
5b00: e5 8b 95 e3 81 8b e3 81 99 e3 81 a8 e3 81 9d e3  ................
5b10: 81 ae e6 a7 8b e6 96 87 e6 9c a8 e3 82 92 e8 bf  ................
5b20: 94 e3 81 99 e6 84 8f e5 91 b3 e8 ab 96 e3 80 82  ................
5b30: 3c 2f 6c 69 3e 0a 09 3c 6c 69 3e e3 81 9f e3 81  </li>..<li>.....
5b40: a0 e3 81 97 e3 80 81 3c 74 74 3e 28 72 61 77 6d  .......<tt>(rawm
5b50: 61 63 72 6f 29 3c 2f 74 74 3e 20 e3 82 82 20 3c  acro)</tt> ... <
5b60: 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3  tt>@macro</tt> .
5b70: 82 82 e3 80 81 0a 09 09 3c 74 74 3e 40 6d 61 63  ........<tt>@mac
5b80: 72 6f 3c 2f 74 74 3e 20 e3 83 ac e3 82 a4 e3 83  ro</tt> ........
5b90: a4 e3 81 ab e5 80 a4 e3 81 ae e3 82 bb e3 83 83  ................
5ba0: e3 83 88 e3 81 95 e3 82 8c e3 81 9f e5 a4 89 e6  ................
5bb0: 95 b0 e3 82 92 e3 81 bf e3 81 a4 e3 81 91 e3 81  ................
5bc0: 9f e3 81 a8 e3 81 8d e3 81 af e3 80 81 0a 09 09  ................
5bd0: e3 81 9d e3 81 ae e5 a4 89 e6 95 b0 e3 81 a8 e3  ................
5be0: 81 84 e3 81 86 e6 a7 8b e6 96 87 e6 9c a8 e3 82  ................
5bf0: 92 e4 bd 9c e3 82 8b e3 81 ae e3 81 a7 e3 81 af  ................
5c00: e3 81 aa e3 81 8f e3 80 81 e5 a4 89 e6 95 b0 e3  ................
5c10: 81 ae e5 86 85 e5 ae b9 e3 82 92 e5 b1 95 e9 96  ................
5c20: 8b e3 80 82 3c 2f 6c 69 3e 0a 09 3c 6c 69 3e e3  ....</li>..<li>.
5c30: 81 be e3 81 9f 20 3c 74 74 3e 40 6d 61 63 72 6f  ..... <tt>@macro
5c40: 3c 2f 74 74 3e 20 e3 81 af e3 80 81 0a 09 09 e3  </tt> ..........
5c50: 83 ac e3 82 a4 e3 83 a4 e6 8c 87 e5 ae 9a e5 bc  ................
5c60: 8f e3 82 92 e8 a6 8b e3 82 8b e3 81 a8 e5 ae 9f  ................
5c70: e8 a1 8c e3 83 ac e3 82 a4 e3 83 a4 e3 82 92 e5  ................
5c80: 88 87 e3 82 8a e6 9b bf e3 81 a6 e3 80 81 e6 a7  ................
5c90: 8b e6 96 87 e6 9c a8 e7 94 9f e6 88 90 e3 83 a2  ................
5ca0: e3 83 bc e3 83 89 e3 82 92 e3 82 84 e3 82 81 e3  ................
5cb0: 81 a6 e3 81 97 e3 81 be e3 81 86 e3 80 82 3c 2f  ..............</
5cc0: 6c 69 3e 0a 09 3c 6c 69 3e 3c 74 74 3e 28 72 61  li>..<li><tt>(ra
5cd0: 77 6d 61 63 72 6f 29 3c 2f 74 74 3e 20 e3 81 af  wmacro)</tt> ...
5ce0: e3 80 81 0a 09 09 e3 83 ac e3 82 a4 e3 83 a4 e6  ................
5cf0: 8c 87 e5 ae 9a e5 bc 8f e3 82 92 e8 a6 8b e3 81  ................
5d00: a6 e3 82 82 e5 ae 9f e8 a1 8c e3 83 ac e3 82 a4  ................
5d10: e3 83 a4 e3 82 92 e5 88 87 e3 82 8a e6 9b bf e3  ................
5d20: 81 88 e3 81 aa e3 81 84 e3 81 a7 e6 a7 8b e6 96  ................
5d30: 87 e6 9c a8 e3 81 ab e3 81 99 e3 82 8b e3 80 82  ................
5d40: 3c 2f 6c 69 3e 0a 3c 2f 75 6c 3e 0a 3c 70 3e 0a  </li>.</ul>.<p>.
5d50: e3 83 a6 e3 83 bc e3 82 b6 e3 83 bc e3 81 8b e3  ................
5d60: 82 89 e7 9b b4 e6 8e a5 20 3c 74 74 3e 28 72 61  ........ <tt>(ra
5d70: 77 6d 61 63 72 6f 29 3c 2f 74 74 3e 20 e3 81 af  wmacro)</tt> ...
5d80: e5 91 bc e3 81 b9 e3 81 be e3 81 9b e3 82 93 e3  ................
5d90: 81 8c e3 80 81 0a e3 80 8c e9 96 a2 e6 95 b0 e3  ................
5da0: 82 84 e3 83 88 e3 83 83 e3 83 97 e3 83 ac e3 83  ................
5db0: 99 e3 83 ab e5 ae 9f e8 a1 8c e9 96 8b e5 a7 8b  ................
5dc0: e5 89 8d e3 81 ae e3 83 9e e3 82 af e3 83 ad e5  ................
5dd0: 87 a6 e7 90 86 e3 81 af 20 3c 74 74 3e 28 72 61  ........ <tt>(ra
5de0: 77 6d 61 63 72 6f 29 3c 2f 74 74 3e 20 e3 81 a7  wmacro)</tt> ...
5df0: e5 ae 9f e8 a1 8c e9 96 8b e5 a7 8b e3 80 8d 0a  ................
5e00: e3 80 8c 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74  ...<tt>@macro</t
5e10: 74 3e 20 e3 83 ac e3 82 a4 e3 83 a4 e4 bb a5 e5  t> .............
5e20: a4 96 e3 81 a7 e5 91 bc e3 81 b3 e5 87 ba e3 81  ................
5e30: 97 e3 81 9f e9 96 a2 e6 95 b0 e3 81 ae e4 bb ae  ................
5e40: e5 bc 95 e6 95 b0 e3 81 ab 20 3c 74 74 3e 40 6d  ......... <tt>@m
5e50: 61 63 72 6f 3c 2f 74 74 3e 20 e3 81 8c e3 81 a4  acro</tt> ......
5e60: e3 81 84 e3 81 a6 e3 81 84 e3 81 9f e3 82 89 e3  ................
5e70: 80 81 0a e3 81 9d e3 81 ae e5 ae 9f e5 bc 95 e6  ................
5e80: 95 b0 e3 81 af 20 3c 74 74 3e 28 72 61 77 6d 61  ..... <tt>(rawma
5e90: 63 72 6f 29 3c 2f 74 74 3e 20 e3 81 a7 e5 ae 9f  cro)</tt> ......
5ea0: e8 a1 8c e3 80 8d 0a e3 81 a8 e3 81 84 e3 81 86  ................
5eb0: ef bc 92 e3 81 a4 e3 81 ae e3 82 bf e3 82 a4 e3  ................
5ec0: 83 9f e3 83 b3 e3 82 b0 e3 81 a7 20 3c 74 74 3e  ........... <tt>
5ed0: 28 72 61 77 6d 61 63 72 6f 29 3c 2f 74 74 3e 20  (rawmacro)</tt> 
5ee0: e3 81 8c e5 8b 95 e3 81 8d e5 87 ba e3 81 97 e3  ................
5ef0: 81 be e3 81 99 e3 80 82 0a 3c 74 74 3e 28 72 61  .........<tt>(ra
5f00: 77 6d 61 63 72 6f 29 3c 2f 74 74 3e 20 e3 81 8c  wmacro)</tt> ...
5f10: 20 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e   <tt>@macro</tt>
5f20: 20 e3 83 ac e3 82 a4 e3 83 a4 e3 81 8b e3 82 89   ...............
5f30: e5 a4 89 e6 95 b0 e3 82 92 e8 a6 8b e3 81 a4 e3  ................
5f40: 81 91 e3 81 a6 e3 83 9e e3 82 af e3 83 ad e3 81  ................
5f50: 97 e5 a7 8b e3 82 81 e3 82 8b e6 99 82 e3 81 ab  ................
5f60: e3 80 81 0a e3 81 9d e3 81 93 e3 81 a7 20 3c 74  ............. <t
5f70: 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 81  t>@macro</tt> ..
5f80: ab e5 8b 95 e4 bd 9c e3 81 8c e7 a7 bb e3 82 8a  ................
5f90: e3 81 be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c  ..........</p>.<
5fa0: 70 3e 0a e3 81 93 e3 81 86 e3 81 aa e3 81 a3 e3  p>..............
5fb0: 81 a6 e3 81 84 e3 82 8b e3 81 ae e3 81 af e3 80  ................
5fc0: 81 e5 85 a8 e9 83 a8 e3 81 8c e3 83 ac e3 82 a4  ................
5fd0: e3 83 a4 e6 8c 87 e5 ae 9a e5 bc 8f e3 81 ab e5  ................
5fe0: 8f 8d e5 bf 9c e3 81 99 e3 82 8b 20 3c 74 74 3e  ........... <tt>
5ff0: 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e3 81 ae e5  @macro</tt> ....
6000: 8b 95 e4 bd 9c e3 81 a0 e3 81 a8 e3 80 81 0a e3  ................
6010: 83 ac e3 82 a4 e3 83 a4 e3 82 92 e4 bd bf e3 81  ................
6020: a3 e3 81 9f e3 83 97 e3 83 ad e3 82 b0 e3 83 a9  ................
6030: e3 83 a0 e3 81 8c e5 85 a8 e3 81 a6 20 3c 74 74  ............ <tt
6040: 3e 40 76 61 6c 75 65 3c 2f 74 74 3e 20 e5 ae 9f  >@value</tt> ...
6050: e8 a1 8c e6 99 82 e3 81 a7 e3 81 af e3 81 aa e3  ................
6060: 81 8f e3 80 81 0a e3 83 9e e3 82 af e3 83 ad e5  ................
6070: b1 95 e9 96 8b e3 81 ae e6 99 82 e7 82 b9 e3 81  ................
6080: a7 e5 8b 95 e3 81 8d e5 a7 8b e3 82 81 e3 81 a6  ................
6090: e3 81 97 e3 81 be e3 81 a3 e3 81 a6 e3 80 81 e3  ................
60a0: 81 8a e3 81 8b e3 81 97 e3 81 aa e3 81 93 e3 81  ................
60b0: a8 e3 81 ab e3 81 aa e3 82 8b e3 81 9f e3 82 81  ................
60c0: e3 81 a7 e3 81 99 e3 80 82 0a e8 89 b2 e3 80 85  ................
60d0: e8 80 83 e3 81 88 e3 81 9f e7 b5 90 e6 9e 9c e3  ................
60e0: 80 81 e3 81 a8 e3 82 8a e3 81 82 e3 81 88 e3 81  ................
60f0: 9a e3 81 93 e3 81 ae e4 b8 ad e9 80 94 e5 8d 8a  ................
6100: e7 ab af e3 81 aa e6 b7 b7 e5 90 88 e3 81 8c e5  ................
6110: 85 b7 e5 90 88 e3 81 8c e3 82 88 e3 81 84 e3 81  ................
6120: ae e3 81 a7 e3 81 af e3 81 aa e3 81 84 e3 81 8b  ................
6130: e3 81 a8 e3 81 84 e3 81 86 e3 81 93 e3 81 a8 e3  ................
6140: 81 ab e3 81 aa e3 82 8a e3 81 be e3 81 97 e3 81  ................
6150: 9f e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a 24 28 53  .....</p>.)).$(S
6160: 45 43 54 49 4f 4e 20 e5 be ae e5 a6 99 e3 81 aa  ECTION .........
6170: e3 81 a8 e3 81 93 e3 82 8d ef bc 92 2c 20 24 28  ............, $(
6180: 53 45 43 42 4f 44 59 0a 3c 70 3e 0a e3 80 8c e9  SECBODY.<p>.....
6190: 96 a2 e6 95 b0 e5 ae 9f e8 a1 8c e9 96 8b e5 a7  ................
61a0: 8b e6 99 82 e3 81 ab e3 80 81 e3 81 be e3 81 9a  ................
61b0: e3 83 9e e3 82 af e3 83 ad e3 83 ac e3 82 a4 e3  ................
61c0: 83 a4 e3 82 92 e5 ae 9f e8 a1 8c e3 80 8d e3 81  ................
61d0: a8 e6 9b b8 e3 81 8d e3 81 be e3 81 97 e3 81 9f  ................
61e0: e3 81 8c e3 80 81 e3 81 93 e3 81 ae e6 99 82 e3  ................
61f0: 80 81 e9 96 a2 e6 95 b0 e5 86 85 e9 96 a2 e6 95  ................
6200: b0 e3 81 be e3 81 a7 e8 be bf e3 82 8a e3 81 ab  ................
6210: e3 81 84 e3 81 8f e3 81 ae e3 81 a7 e3 80 81 0a  ................
6220: e4 bd 95 e9 87 8d e3 81 ab e3 82 82 e3 83 8d e3  ................
6230: 82 b9 e3 83 88 e3 81 97 e3 81 9f e9 96 a2 e6 95  ................
6240: b0 e3 82 92 e4 bd bf e3 81 a3 e3 81 a6 e3 81 84  ................
6250: e3 82 8b e3 81 a8 e3 80 81 e5 86 85 e5 81 b4 e3  ................
6260: 81 ae e9 96 a2 e6 95 b0 e3 81 af e3 80 81 e4 bd  ................
6270: 95 e9 87 8d e3 81 ab e3 82 82 e3 83 9e e3 82 af  ................
6280: e3 83 ad e5 b1 95 e9 96 8b e3 81 8c e8 b5 b0 e3  ................
6290: 81 a3 e3 81 a6 e3 81 97 e3 81 be e3 81 84 e3 81  ................
62a0: be e3 81 99 e3 80 82 0a e3 81 93 e3 82 8c e3 81  ................
62b0: af e3 81 aa e3 81 ab e3 81 8b e3 81 8a e3 81 8b  ................
62c0: e3 81 97 e3 81 84 e6 b0 97 e3 81 8c e3 81 97 e3  ................
62d0: 81 be e3 81 99 e3 81 ad e3 80 82 53 63 68 65 6d  ...........Schem
62e0: 65 20 e3 81 aa e3 81 a9 e3 81 af e3 81 a9 e3 81  e ..............
62f0: 86 e3 81 aa e3 81 a3 e3 81 a6 e3 81 84 e3 82 8b  ................
6300: e3 81 ae e3 81 8b e8 aa bf e3 81 b9 e3 81 aa e3  ................
6310: 81 84 e3 81 a8 e2 80 a6 e3 80 82 0a 3c 2f 70 3e  ............</p>
6320: 0a 29 29 0a 24 28 53 45 43 54 49 4f 4e 20 e5 be  .)).$(SECTION ..
6330: ae e5 a6 99 e3 81 aa e3 81 a8 e3 81 93 e3 82 8d  ................
6340: ef bc 93 2c 20 24 28 53 45 43 42 4f 44 59 0a 3c  ..., $(SECBODY.<
6350: 70 3e 0a e3 81 93 e3 82 8c e3 81 af e3 82 a8 e3  p>..............
6360: 83 a9 e3 83 bc e3 81 ab e3 81 aa e3 82 8a e3 81  ................
6370: be e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 3c 70 72  ........</p>.<pr
6380: 65 3e 0a 20 20 20 20 26 67 74 3b 26 67 74 3b 20  e>.    &gt;&gt; 
6390: 6c 65 74 20 5f 20 3d 20 28 40 6d 61 63 72 6f 20  let _ = (@macro 
63a0: 74 77 69 63 65 28 78 29 20 7b 78 3b 78 7d 20 69  twice(x) {x;x} i
63b0: 6e 20 74 77 69 63 65 28 70 72 69 6e 74 28 22 48  n twice(print("H
63c0: 65 6c 6c 6f 22 29 29 29 0a 20 20 20 20 70 6f 6c  ello"))).    pol
63d0: 65 6d 79 2e 66 61 69 6c 75 72 65 2e 52 75 6e 74  emy.failure.Runt
63e0: 69 6d 65 45 78 63 65 70 74 69 6f 6e 40 43 3a 5c  imeException@C:\
63f0: 44 65 76 65 6c 6f 70 5c 50 72 6f 6a 65 63 74 73  Develop\Projects
6400: 5c 50 6f 6c 65 6d 79 5c 70 6f 6c 65 6d 79 5c 76  \Polemy\polemy\v
6410: 61 6c 75 65 2e 64 28 31 30 39 29 3a 0a 20 20 20  alue.d(109):.   
6420: 20 5b 3c 52 45 50 4c 3e 3a 32 3a 33 35 5d 20 27   [<REPL>:2:35] '
6430: 74 77 69 63 65 27 20 69 73 20 6e 6f 74 20 73 65  twice' is not se
6440: 74 20 69 6e 20 40 76 61 6c 75 65 20 6c 61 79 65  t in @value laye
6450: 72 0a 3c 2f 70 72 65 3e 0a 3c 70 3e 0a e3 81 a9  r.</pre>.<p>....
6460: e3 81 86 e3 81 84 e3 81 86 e3 81 93 e3 81 a8 e3  ................
6470: 81 8b e3 81 a8 e3 81 84 e3 81 86 e3 81 a8 e3 80  ................
6480: 81 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e  .<tt>@macro</tt>
6490: 20 e3 81 a7 e5 ae 9a e7 be a9 e3 81 97 e3 81 9f   ...............
64a0: e3 83 9e e3 82 af e3 83 ad e3 81 af e3 81 84 e3  ................
64b0: 81 a4 e3 81 8b e3 82 89 e4 bd bf e3 81 88 e3 82  ................
64c0: 8b e3 82 88 e3 81 86 e3 81 ab e3 81 aa e3 82 8b  ................
64d0: e3 81 8b e3 81 a8 e3 81 84 e3 81 86 e8 a9 b1 e3  ................
64e0: 81 a7 e3 80 81 0a e3 81 93 e3 81 ae 20 3c 74 74  ............ <tt
64f0: 3e 40 6d 61 63 72 6f 20 74 77 69 63 65 28 78 29  >@macro twice(x)
6500: 20 7b 78 3b 78 7d 20 69 6e 20 2e 2e 2e 3c 2f 74   {x;x} in ...</t
6510: 74 3e 20 e3 81 ae e9 83 a8 e5 88 86 e3 81 af 20  t> ............ 
6520: 3c 74 74 3e 40 76 61 6c 75 65 3c 2f 74 74 3e 20  <tt>@value</tt> 
6530: e3 83 ac e3 82 a4 e3 83 a4 e3 81 ae e5 bc 8f e3  ................
6540: 81 aa e3 81 ae e3 81 a7 e3 80 81 0a e3 81 be e3  ................
6550: 81 9a e3 81 93 e3 81 ae e5 bc 8f e5 85 a8 e4 bd  ................
6560: 93 e3 81 ae e3 83 9e e3 82 af e3 83 ad e5 b1 95  ................
6570: e9 96 8b e3 81 8c e7 b5 82 e3 82 8f e3 81 a3 e3  ................
6580: 81 9f e3 81 82 e3 81 a8 e3 81 ab e3 81 97 e3 81  ................
6590: 8b e5 ae 9f e8 a1 8c e3 81 95 e3 82 8c e3 81 aa  ................
65a0: e3 81 84 e3 81 ae e3 81 a7 e3 81 99 e3 80 82 3c  ...............<
65b0: 74 74 3e 74 77 69 63 65 3c 2f 74 74 3e 0a e3 81  tt>twice</tt>...
65c0: 8c e3 83 9e e3 82 af e3 83 ad e3 81 a8 e8 a6 8b  ................
65d0: e3 81 aa e3 81 95 e3 82 8c e3 81 af e3 81 98 e3  ................
65e0: 82 81 e3 82 8b e3 81 ae e3 81 af e3 80 81 3c 74  ..............<t
65f0: 74 3e 40 6d 61 63 72 6f 3c 2f 74 74 3e 20 e5 ae  t>@macro</tt> ..
6600: 9f e8 a1 8c e3 81 8c e7 b5 82 e3 82 8f e3 81 a3  ................
6610: e3 81 9f e5 be 8c e3 80 82 0a e3 81 aa e3 81 ae  ................
6620: e3 81 a7 e3 80 81 0a e4 be 8b e3 81 88 e3 81 b0  ................
6630: 20 3c 74 74 3e 74 77 69 63 65 28 70 72 69 6e 74   <tt>twice(print
6640: 28 22 48 65 6c 6c 6f 22 29 29 3c 2f 74 74 3e 20  ("Hello"))</tt> 
6650: e3 81 ae e9 83 a8 e5 88 86 e3 82 92 e7 84 a1 e5  ................
6660: 90 8d e9 96 a2 e6 95 b0 e3 81 ab e3 83 a9 e3 83  ................
6670: 83 e3 83 97 e3 81 97 e3 81 a6 e3 82 84 e3 82 8c  ................
6680: e3 81 b0 e3 80 81 0a e3 83 9e e3 82 af e3 83 ad  ................
6690: e5 b1 95 e9 96 8b e3 82 92 e9 81 85 e3 82 89 e3  ................
66a0: 81 9b e3 82 89 e3 82 8c e3 81 a6 e3 80 81 20 e3  .............. .
66b0: 81 a1 e3 82 83 e3 82 93 e3 81 a8 e5 ae 9f e8 a1  ................
66c0: 8c e3 81 8c e3 81 a7 e3 81 8d e3 81 be e3 81 99  ................
66d0: e3 80 82 0a 3c 2f 70 3e 0a 3c 70 3e 0a e3 81 93  ....</p>.<p>....
66e0: e3 82 8c e3 81 a0 e3 81 a8 e4 bd 99 e3 82 8a e3  ................
66f0: 81 ab e3 82 82 e4 b8 8d e4 be bf e3 81 aa e3 81  ................
6700: ae e3 81 a7 e3 80 81 e9 96 a2 e6 95 b0 e3 81 ae  ................
6710: e3 83 88 e3 83 83 e3 83 97 e3 83 ac e3 83 99 e3  ................
6720: 83 ab e3 81 ae e5 a4 89 e6 95 b0 e5 ae a3 e8 a8  ................
6730: 80 e5 bc 8f e3 81 ae e5 88 97 e3 81 ab e3 81 a4  ................
6740: e3 81 84 e3 81 a6 e3 81 a0 e3 81 91 e3 81 af e3  ................
6750: 80 81 0a 3c 74 74 3e 40 6d 61 63 72 6f 3c 2f 74  ...<tt>@macro</t
6760: 74 3e 20 e3 81 a8 20 3c 74 74 3e 40 76 61 6c 75  t> ... <tt>@valu
6770: 65 3c 2f 74 74 3e 20 e3 81 ae e8 a9 95 e4 be a1  e</tt> .........
6780: e3 82 92 e4 ba a4 e4 ba 92 e3 81 ab e3 82 a4 e3  ................
6790: 83 b3 e3 82 bf e3 83 bc e3 83 aa e3 83 bc e3 83  ................
67a0: 96 e3 81 99 e3 82 8b e3 82 88 e3 81 86 e3 81 ab  ................
67b0: e3 81 97 e3 81 be e3 81 97 e3 81 9f e3 80 82 0a  ................
67c0: e3 80 8c e9 96 a2 e6 95 b0 e3 82 84 52 45 50 4c  ............REPL
67d0: e3 81 ae e3 83 88 e3 83 83 e3 83 97 e3 83 ac e3  ................
67e0: 83 99 e3 83 ab e3 81 ae e6 9c 80 e5 88 9d e3 81  ................
67f0: ab e5 ae a3 e8 a8 80 e3 81 97 e3 81 9f e3 83 9e  ................
6800: e3 82 af e3 83 ad e3 81 a0 e3 81 91 e3 81 af e3  ................
6810: 80 81 e3 81 9d e3 81 ae e9 96 a2 e6 95 b0 e5 86  ................
6820: 85 e3 81 a7 e5 8d b3 e5 ba a7 e3 81 ab e4 bd bf  ................
6830: e3 81 88 e3 82 8b e3 80 8d e3 82 8f e3 81 91 e3  ................
6840: 81 a7 e3 81 99 e3 80 82 0a e3 81 93 e3 82 8c e3  ................
6850: 82 82 20 53 63 68 65 6d 65 20 e3 81 ae 20 6c 65  .. Scheme ... le
6860: 74 2d 73 79 6e 74 61 78 20 e3 81 aa e3 81 a9 e3  t-syntax .......
6870: 81 aa e3 81 a9 e3 81 ae e5 8b 95 e3 81 8d e3 82  ................
6880: 92 e8 aa bf e3 81 b9 e3 81 a6 e5 8b 89 e5 bc b7  ................
6890: e3 81 97 e3 81 aa e3 81 84 e3 81 a8 e2 80 a6 e3  ................
68a0: 80 82 0a 3c 2f 70 3e 0a 29 29 0a 29 0a 29 29 0a  ...</p>.)).).)).
68b0: 0a 0a 24 28 53 45 43 54 49 4f 4e 20 42 75 69 6c  ..$(SECTION Buil
68c0: 74 2d 69 6e 20 50 72 69 6d 69 74 69 76 65 73 2c  t-in Primitives,
68d0: 20 24 28 53 45 43 42 4f 44 59 0a 3c 70 3e 0a e7   $(SECBODY.<p>..
68e0: b5 84 e3 81 bf e8 be bc e3 81 bf e9 96 a2 e6 95  ................
68f0: b0 e3 83 bb e5 a4 89 e6 95 b0 e3 81 ae e4 b8 80  ................
6900: e8 a6 a7 e3 80 82 0a 3c 2f 70 3e 0a 24 28 44 44  .......</p>.$(DD
6910: 4f 43 5f 4d 45 4d 42 45 52 53 0a 0a 24 28 53 45  OC_MEMBERS..$(SE
6920: 43 54 49 4f 4e 20 e3 83 86 e3 83 bc e3 83 96 e3  CTION ..........
6930: 83 ab e6 93 8d e4 bd 9c 2c 20 24 28 53 45 43 42  ........, $(SECB
6940: 4f 44 59 0a 20 20 24 28 54 41 42 4c 45 0a 20 20  ODY.  $(TABLE.  
6950: 20 20 24 28 54 52 20 24 28 54 48 20 7b 7d 29 20    $(TR $(TH {}) 
6960: 24 28 54 44 20 28 29 29 20 24 28 54 44 20 e7 a9  $(TD ()) $(TD ..
6970: ba e3 81 ae e3 83 86 e3 83 bc e3 83 96 e3 83 ab  ................
6980: e3 82 92 e4 bd 9c e3 82 8b 29 29 0a 20 20 20 20  .........)).    
6990: 24 28 54 52 20 24 28 54 48 20 2e 29 20 24 28 54  $(TR $(TH .) $(T
69a0: 44 20 28 74 2c 20 73 29 29 20 24 28 54 44 20 e3  D (t, s)) $(TD .
69b0: 83 86 e3 83 bc e3 83 96 e3 83 ab 20 74 20 e3 81  ........... t ..
69c0: ae e5 90 8d e5 89 8d 20 73 20 e3 81 ae e3 83 95  ....... s ......
69d0: e3 82 a3 e3 83 bc e3 83 ab e3 83 89 e3 81 ae e5  ................
69e0: 80 a4 e3 82 92 e5 8f 96 e5 be 97 e3 80 82 e3 81  ................
69f0: aa e3 81 91 e3 82 8c e3 81 b0 20 3c 74 74 3e 75  .......... <tt>u
6a00: 6e 64 65 66 69 6e 65 64 3c 2f 74 74 3e 29 29 0a  ndefined</tt>)).
6a10: 20 20 20 20 24 28 54 52 20 24 28 54 48 20 2e 3f      $(TR $(TH .?
6a20: 29 20 24 28 54 44 20 28 74 2c 20 73 29 29 20 24  ) $(TD (t, s)) $
6a30: 28 54 44 20 e3 83 86 e3 83 bc e3 83 96 e3 83 ab  (TD ............
6a40: 20 74 20 e3 81 ab e5 90 8d e5 89 8d 20 73 20 e3   t ......... s .
6a50: 81 ae e3 83 95 e3 82 a3 e3 83 bc e3 83 ab e3 83  ................
6a60: 89 e3 81 8c e3 81 82 e3 82 8c e3 81 b0 20 31 e3  ............. 1.
6a70: 80 81 e3 81 aa e3 81 91 e3 82 8c e3 81 b0 20 30  .............. 0
6a80: 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48  )).    $(TR $(TH
6a90: 20 2e 3d 29 20 24 28 54 44 20 28 74 2c 20 73 2c   .=) $(TD (t, s,
6aa0: 20 76 29 29 20 24 28 54 44 20 e3 83 86 e3 83 bc   v)) $(TD ......
6ab0: e3 83 96 e3 83 ab 20 74 20 e3 82 92 e8 a6 aa e3  ...... t .......
6ac0: 81 ab e6 8c 81 e3 81 a1 e3 80 81 e5 90 8d e5 89  ................
6ad0: 8d 20 73 20 e3 81 ae e3 83 95 e3 82 a3 e3 83 bc  . s ............
6ae0: e3 83 ab e3 83 89 e3 81 ab 20 76 20 e3 81 8c e5  ......... v ....
6af0: 85 a5 e3 81 a3 e3 81 9f e3 83 86 e3 83 bc e3 83  ................
6b00: 96 e3 83 ab e3 82 92 e4 bd 9c e3 82 8b 29 29 0a  .............)).
6b10: 20 20 29 0a 29 29 0a 3c 62 72 20 2f 3e 0a 0a 24    ).)).<br />..$
6b20: 28 53 45 43 54 49 4f 4e 20 e5 88 b6 e5 be a1 e3  (SECTION .......
6b30: 83 95 e3 83 ad e3 83 bc 2c 20 24 28 53 45 43 42  ........, $(SECB
6b40: 4f 44 59 0a 20 20 24 28 54 41 42 4c 45 0a 20 20  ODY.  $(TABLE.  
6b50: 20 20 24 28 54 52 20 24 28 54 48 20 69 66 29 20    $(TR $(TH if) 
6b60: 24 28 54 44 20 28 6e 2c 20 66 74 2c 20 66 65 29  $(TD (n, ft, fe)
6b70: 29 20 24 28 54 44 20 6e 20 e3 81 8c e9 9d 9e 20  ) $(TD n ...... 
6b80: 30 20 e3 81 aa e3 82 89 20 3c 74 74 3e 66 74 28  0 ...... <tt>ft(
6b90: 29 3c 2f 74 3e e3 80 81 30 20 e3 81 aa e3 82 89  )</t>...0 ......
6ba0: 20 3c 74 74 3e 66 65 28 29 3c 2f 74 74 3e 20 e3   <tt>fe()</tt> .
6bb0: 82 92 e5 ae 9f e8 a1 8c 29 29 0a 20 20 29 0a 29  ........)).  ).)
6bc0: 29 0a 3c 62 72 20 2f 3e 0a 0a 24 28 53 45 43 54  ).<br />..$(SECT
6bd0: 49 4f 4e 20 e6 bc 94 e7 ae 97 2c 20 24 28 53 45  ION ......, $(SE
6be0: 43 42 4f 44 59 0a 20 20 24 28 54 41 42 4c 45 0a  CBODY.  $(TABLE.
6bf0: 20 20 20 20 24 28 54 52 20 24 28 54 48 20 2b 29      $(TR $(TH +)
6c00: 20 24 28 54 44 20 28 6e 2c 20 6d 29 29 20 24 28   $(TD (n, m)) $(
6c10: 54 44 20 e6 95 b4 e6 95 b0 20 6e 20 e3 81 a8 e6  TD ...... n ....
6c20: 95 b4 e6 95 b0 20 6d 20 e3 82 92 e8 b6 b3 e3 81  ..... m ........
6c30: 97 e3 81 a6 e8 bf 94 e3 81 99 29 29 0a 20 20 20  ..........)).   
6c40: 20 24 28 54 52 20 24 28 54 48 20 2d 29 20 24 28   $(TR $(TH -) $(
6c50: 54 44 20 28 6e 2c 20 6d 29 29 20 24 28 54 44 20  TD (n, m)) $(TD 
6c60: e6 95 b4 e6 95 b0 e3 81 ae e5 bc 95 e3 81 8d e7  ................
6c70: ae 97 29 29 0a 20 20 20 20 24 28 54 52 20 24 28  ..)).    $(TR $(
6c80: 54 48 20 2a 29 20 24 28 54 44 20 28 6e 2c 20 6d  TH *) $(TD (n, m
6c90: 29 29 20 24 28 54 44 20 e6 95 b4 e6 95 b0 e3 81  )) $(TD ........
6ca0: ae e6 8e 9b e3 81 91 e7 ae 97 29 29 0a 20 20 20  ..........)).   
6cb0: 20 24 28 54 52 20 24 28 54 48 20 2f 29 20 24 28   $(TR $(TH /) $(
6cc0: 54 44 20 28 6e 2c 20 6d 29 29 20 24 28 54 44 20  TD (n, m)) $(TD 
6cd0: e6 95 b4 e6 95 b0 e3 81 ae e5 89 b2 e3 82 8a e7  ................
6ce0: ae 97 29 29 0a 20 20 20 20 24 28 54 52 20 24 28  ..)).    $(TR $(
6cf0: 54 48 20 25 29 20 24 28 54 44 20 28 6e 2c 20 6d  TH %) $(TD (n, m
6d00: 29 29 20 24 28 54 44 20 e6 95 b4 e6 95 b0 e3 81  )) $(TD ........
6d10: ae e5 89 b0 e4 bd 99 29 29 0a 20 20 20 20 24 28  .......)).    $(
6d20: 54 52 20 24 28 54 48 20 26 61 6d 70 3b 26 61 6d  TR $(TH &amp;&am
6d30: 70 3b 29 20 24 28 54 44 20 28 6e 2c 20 6d 29 29  p;) $(TD (n, m))
6d40: 20 24 28 54 44 20 e6 95 b4 e6 95 b0 20 6e 20 e3   $(TD ...... n .
6d50: 81 a8 20 6d 20 e3 81 8c e4 b8 a1 e6 96 b9 e9 9d  .. m ...........
6d60: 9e 20 30 20 e3 81 aa e3 82 89 20 31 e3 80 81 e3  . 0 ...... 1....
6d70: 81 9d e3 82 8c e4 bb a5 e5 a4 96 e3 81 a7 e3 81  ................
6d80: af 20 30 29 29 0a 20 20 20 20 24 28 54 52 20 24  . 0)).    $(TR $
6d90: 28 54 48 20 7c 7c 29 20 24 28 54 44 20 28 6e 2c  (TH ||) $(TD (n,
6da0: 20 6d 29 29 20 24 28 54 44 20 e6 95 b4 e6 95 b0   m)) $(TD ......
6db0: 20 6e 20 e3 81 a8 20 6d 20 e3 81 8c e3 81 a9 e3   n ... m .......
6dc0: 81 a1 e3 82 89 e3 81 8b e9 9d 9e 20 30 20 e3 81  ........... 0 ..
6dd0: aa e3 82 89 20 31 e3 80 81 e3 81 9d e3 82 8c e4  .... 1..........
6de0: bb a5 e5 a4 96 e3 81 a7 e3 81 af 20 30 29 29 0a  ........... 0)).
6df0: 20 20 20 20 24 28 54 52 20 24 28 54 48 20 7e 29      $(TR $(TH ~)
6e00: 20 24 28 54 44 20 28 61 2c 20 62 29 29 20 24 28   $(TD (a, b)) $(
6e10: 54 44 20 61 20 e3 81 a8 20 62 20 e3 82 92 e6 96  TD a ... b .....
6e20: 87 e5 ad 97 e5 88 97 e5 8c 96 e3 81 97 e3 81 a6  ................
6e30: e7 b5 90 e5 90 88 29 29 0a 20 20 20 20 24 28 54  ......)).    $(T
6e40: 52 20 24 28 54 48 20 26 6c 74 3b 29 20 24 28 54  R $(TH &lt;) $(T
6e50: 44 20 28 61 2c 20 62 29 29 20 24 28 54 44 20 61  D (a, b)) $(TD a
6e60: 20 e3 81 a8 20 62 20 e3 82 92 e6 af 94 e8 bc 83   ... b .........
6e70: 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48  )).    $(TR $(TH
6e80: 20 26 6c 74 3b 3d 29 20 24 28 54 44 20 28 61 2c   &lt;=) $(TD (a,
6e90: 20 62 29 29 20 24 28 54 44 20 61 20 e3 81 a8 20   b)) $(TD a ... 
6ea0: 62 20 e3 82 92 e6 af 94 e8 bc 83 29 29 0a 20 20  b .........)).  
6eb0: 20 20 24 28 54 52 20 24 28 54 48 20 26 67 74 3b    $(TR $(TH &gt;
6ec0: 29 20 24 28 54 44 20 28 61 2c 20 62 29 29 20 24  ) $(TD (a, b)) $
6ed0: 28 54 44 20 61 20 e3 81 a8 20 62 20 e3 82 92 e6  (TD a ... b ....
6ee0: af 94 e8 bc 83 29 29 0a 20 20 20 20 24 28 54 52  .....)).    $(TR
6ef0: 20 24 28 54 48 20 26 67 74 3b 3d 29 20 24 28 54   $(TH &gt;=) $(T
6f00: 44 20 28 61 2c 20 62 29 29 20 24 28 54 44 20 61  D (a, b)) $(TD a
6f10: 20 e3 81 a8 20 62 20 e3 82 92 e6 af 94 e8 bc 83   ... b .........
6f20: 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48  )).    $(TR $(TH
6f30: 20 3d 3d 29 20 24 28 54 44 20 28 61 2c 20 62 29   ==) $(TD (a, b)
6f40: 29 20 24 28 54 44 20 61 20 e3 81 a8 20 62 20 e3  ) $(TD a ... b .
6f50: 82 92 e6 af 94 e8 bc 83 29 29 0a 20 20 20 20 24  ........)).    $
6f60: 28 54 52 20 24 28 54 48 20 21 3d 29 20 24 28 54  (TR $(TH !=) $(T
6f70: 44 20 28 61 2c 20 62 29 29 20 24 28 54 44 20 61  D (a, b)) $(TD a
6f80: 20 e3 81 a8 20 62 20 e3 82 92 e6 af 94 e8 bc 83   ... b .........
6f90: 29 29 0a 20 20 29 0a 3c 70 3e 0a e6 b3 a8 e6 84  )).  ).<p>......
6fa0: 8f e7 82 b9 e3 81 a8 e3 81 97 e3 81 a6 e3 80 81  ................
6fb0: e4 bd 9c e8 80 85 e3 81 ae e8 b6 a3 e5 91 b3 e3  ................
6fc0: 81 ae e5 95 8f e9 a1 8c e3 81 a7 e3 80 81 3c 74  ..............<t
6fd0: 74 3e 26 61 6d 70 3b 26 61 6d 70 3b 3c 2f 74 74  t>&amp;&amp;</tt
6fe0: 3e 20 e3 81 a8 20 3c 74 74 3e 7c 7c 3c 2f 74 74  > ... <tt>||</tt
6ff0: 3e 20 e3 81 af 20 73 68 6f 72 74 2d 63 69 72 63  > ... short-circ
7000: 75 69 74 20 e8 a9 95 e4 be a1 e3 82 92 e3 81 97  uit ............
7010: e3 81 be e3 81 9b e3 82 93 e3 80 82 0a e6 95 b4  ................
7020: e6 95 b0 e6 bc 94 e7 ae 97 e3 81 ae e7 a8 ae e9  ................
7030: a1 9e e3 81 8c e5 b0 91 e3 81 aa e3 81 84 e3 81  ................
7040: ae e3 81 af e3 80 81 44 20 e8 a8 80 e8 aa 9e e3  .......D .......
7050: 81 ae 20 73 74 64 2e 62 69 67 69 6e 74 20 e3 81  .. std.bigint ..
7060: 8c e3 83 93 e3 83 83 e3 83 88 e6 bc 94 e7 ae 97  ................
7070: e3 81 aa e3 81 a9 e3 82 92 e3 82 b5 e3 83 9d e3  ................
7080: 83 bc e3 83 88 e3 81 97 e3 81 a6 e3 81 aa e3 81  ................
7090: 84 e3 81 9f e3 82 81 e3 81 a7 e3 81 99 e3 80 82  ................
70a0: 0a e6 96 87 e5 ad 97 e5 88 97 e3 81 8c e7 b5 90  ................
70b0: e5 90 88 e3 81 97 e3 81 8b e3 81 a7 e3 81 8d e3  ................
70c0: 81 aa e3 81 84 e3 81 ae e3 81 af e3 80 81 e5 8d  ................
70d0: 98 e3 81 ab e6 89 8b e6 8a 9c e3 81 8d e3 81 a7  ................
70e0: e3 81 99 e3 80 82 0a 3c 2f 70 3e 0a 29 29 0a 0a  .......</p>.))..
70f0: 24 28 53 45 43 54 49 4f 4e 20 e5 a4 96 e9 83 a8  $(SECTION ......
7100: e3 81 a8 e3 81 ae e3 82 84 e3 82 8a e3 81 a8 e3  ................
7110: 82 8a 2c 20 24 28 53 45 43 42 4f 44 59 0a 20 20  .., $(SECBODY.  
7120: 24 28 54 41 42 4c 45 0a 20 20 20 20 24 28 54 52  $(TABLE.    $(TR
7130: 20 24 28 54 48 20 70 72 69 6e 74 29 20 24 28 54   $(TH print) $(T
7140: 44 20 28 61 29 29 20 24 28 54 44 20 61 20 e3 82  D (a)) $(TD a ..
7150: 92 e6 96 87 e5 ad 97 e5 88 97 e5 8c 96 e6 a8 99  ................
7160: e6 ba 96 e5 87 ba e5 8a 9b e3 81 ab e6 94 b9 e8  ................
7170: a1 8c e4 bb 98 e3 81 8d e3 81 a7 e8 a1 a8 e7 a4  ................
7180: ba e3 81 97 e3 81 a6 e3 80 81 61 20 e3 82 92 e8  ..........a ....
7190: bf 94 e3 81 99 29 29 0a 20 20 20 20 24 28 54 52  .....)).    $(TR
71a0: 20 24 28 54 48 20 61 72 67 76 29 20 24 28 54 44   $(TH argv) $(TD
71b0: 20 29 20 24 28 54 44 20 e3 82 b9 e3 82 af e3 83   ) $(TD ........
71c0: aa e3 83 97 e3 83 88 e3 81 ab e6 b8 a1 e3 81 95  ................
71d0: e3 82 8c e3 81 9f e5 bc 95 e6 95 b0 e6 96 87 e5  ................
71e0: ad 97 e5 88 97 e3 81 ae 63 6f 6e 73 e3 83 aa e3  ........cons....
71f0: 82 b9 e3 83 88 29 29 0a 20 20 20 20 24 28 54 52  .....)).    $(TR
7200: 20 24 28 54 48 20 67 65 6e 73 79 6d 29 20 24 28   $(TH gensym) $(
7210: 54 44 20 28 29 29 20 24 28 54 44 20 e3 82 a8 e3  TD ()) $(TD ....
7220: 82 bb 67 65 6e 73 79 6d e3 80 82 e5 a4 89 e6 95  ..gensym........
7230: b0 e5 90 8d e3 81 a8 e3 81 97 e3 81 a6 e4 bb 96  ................
7240: e3 81 a8 e3 81 8b e3 81 b6 e3 82 89 e3 81 aa e3  ................
7250: 81 9d e3 81 86 e3 81 aa e6 96 87 e5 ad 97 e5 88  ................
7260: 97 e3 82 92 e8 bf 94 e3 81 97 e3 81 be e3 81 99  ................
7270: 29 29 0a 20 20 20 20 24 28 54 52 20 24 28 54 48  )).    $(TR $(TH
7280: 20 72 61 6e 64 29 20 24 28 54 44 20 28 6e 29 29   rand) $(TD (n))
7290: 20 24 28 54 44 20 30 20 e4 bb a5 e4 b8 8a 20 6e   $(TD 0 ...... n
72a0: 20 e6 9c aa e6 ba 80 e3 81 ae e8 87 aa e7 84 b6   ...............
72b0: e6 95 b0 e3 82 92 33 31 62 69 74 e4 bb a5 e5 86  ......31bit.....
72c0: 85 e3 81 a7 e3 83 a9 e3 83 b3 e3 83 80 e3 83 a0  ................
72d0: e3 81 ab e7 94 9f e6 88 90 e3 81 97 e3 81 be e3  ................
72e0: 81 99 29 29 0a 20 20 29 0a 29 29 0a 3c 62 72 20  ..)).  ).)).<br 
72f0: 2f 3e 0a 0a 24 28 53 45 43 54 49 4f 4e 20 e3 83  />..$(SECTION ..
7300: 87 e3 83 bc e3 82 bf e5 9e 8b e5 88 a4 e5 ae 9a  ................
7310: 2c 20 24 28 53 45 43 42 4f 44 59 0a 20 20 24 28  , $(SECBODY.  $(
7320: 54 41 42 4c 45 0a 20 20 20 20 24 28 54 52 20 24  TABLE.    $(TR $
7330: 28 54 48 20 5f 69 73 69 6e 74 29 20 24 28 54 44  (TH _isint) $(TD
7340: 20 28 61 29 29 20 24 28 54 44 20 61 20 e3 81 8c   (a)) $(TD a ...
7350: e6 95 b4 e6 95 b0 e3 81 aa e3 82 89 20 31 e3 80  ............ 1..
7360: 81 e3 81 a7 e3 81 aa e3 81 91 e3 82 8c e3 81 b0  ................
7370: 20 30 29 29 0a 20 20 20 20 24 28 54 52 20 24 28   0)).    $(TR $(
7380: 54 48 20 5f 69 73 73 74 72 29 20 24 28 54 44 20  TH _isstr) $(TD 
7390: 28 61 29 29 20 24 28 54 44 20 61 20 e3 81 8c e6  (a)) $(TD a ....
73a0: 96 87 e5 ad 97 e5 88 97 e3 81 aa e3 82 89 20 31  .............. 1
73b0: e3 80 81 e3 81 a7 e3 81 aa e3 81 91 e3 82 8c e3  ................
73c0: 81 b0 20 30 29 29 0a 20 20 20 20 24 28 54 52 20  .. 0)).    $(TR 
73d0: 24 28 54 48 20 5f 69 73 66 75 6e 29 20 24 28 54  $(TH _isfun) $(T
73e0: 44 20 28 61 29 29 20 24 28 54 44 20 61 20 e3 81  D (a)) $(TD a ..
73f0: 8c e9 96 a2 e6 95 b0 e3 81 aa e3 82 89 20 31 e3  ............. 1.
7400: 80 81 e3 81 a7 e3 81 aa e3 81 91 e3 82 8c e3 81  ................
7410: b0 20 30 29 29 0a 20 20 20 20 24 28 54 52 20 24  . 0)).    $(TR $
7420: 28 54 48 20 5f 69 73 74 61 62 6c 65 29 20 24 28  (TH _istable) $(
7430: 54 44 20 28 61 29 29 20 24 28 54 44 20 61 20 e3  TD (a)) $(TD a .
7440: 81 8c e3 83 86 e3 83 bc e3 83 96 e3 83 ab e3 81  ................
7450: aa e3 82 89 20 31 e3 80 81 e3 81 a7 e3 81 aa e3  .... 1..........
7460: 81 91 e3 82 8c e3 81 b0 20 30 29 29 0a 20 20 20  ........ 0)).   
7470: 20 24 28 54 52 20 24 28 54 48 20 5f 69 73 75 6e   $(TR $(TH _isun
7480: 64 65 66 69 6e 65 64 29 20 24 28 54 44 20 28 61  defined) $(TD (a
7490: 29 29 20 24 28 54 44 20 61 20 e3 81 8c e6 9c aa  )) $(TD a ......
74a0: e5 ae 9a e7 be a9 e5 80 a4 e3 81 aa e3 82 89 20  ............... 
74b0: 31 e3 80 81 e3 81 a7 e3 81 aa e3 81 91 e3 82 8c  1...............
74c0: e3 81 b0 20 30 29 29 0a 20 20 29 0a 29 29 0a 29  ... 0)).  ).)).)
74d0: 0a 29 29 0a 0a 29 0a 4d 61 63 72 6f 73 3a 0a 20  .))..).Macros:. 
74e0: 20 20 20 54 49 54 4c 45 3d 50 6f 6c 65 6d 79 20     TITLE=Polemy 
74f0: 52 65 66 65 72 65 6e 63 65 20 4d 61 6e 75 61 6c  Reference Manual
7500: 0a 20 20 20 20 44 4f 43 46 49 4c 45 4e 41 4d 45  .    DOCFILENAME
7510: 3d 69 6e 64 65 78 2e 68 74 6d 6c 0a 20 20 20 20  =index.html.    
7520: 53 45 43 54 49 4f 4e 3d 24 28 44 44 4f 43 5f 44  SECTION=$(DDOC_D
7530: 45 43 4c 20 24 28 44 44 4f 43 5f 50 53 59 4d 42  ECL $(DDOC_PSYMB
7540: 4f 4c 20 24 31 29 29 20 24 28 44 44 4f 43 5f 44  OL $1)) $(DDOC_D
7550: 45 43 4c 5f 44 44 20 24 32 29 0a 20 20 20 20 53  ECL_DD $2).    S
7560: 45 43 42 4f 44 59 3d 24 30 0a                    ECBODY=$0.