Hex Artifact Content
Not logged in

Artifact 996468a22f9d9a8e3239c13b5f733ed42a5ffbbb:


0000: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
0010: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
0020: 23 23 23 23 23 23 23 23 0a 70 72 69 6e 74 28 22  ########.print("
0030: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 22 29 3b 0a 0a 40  ----------");..@
0040: 6d 61 63 72 6f 20 74 77 69 63 65 20 3d 20 66 75  macro twice = fu
0050: 6e 28 78 29 20 7b 20 78 3b 20 78 20 7d 3b 20 23  n(x) { x; x }; #
0060: 20 48 65 6c 6c 6f 20 48 65 6c 6c 6f 0a 74 77 69   Hello Hello.twi
0070: 63 65 28 20 70 72 69 6e 74 28 22 48 65 6c 6c 6f  ce( print("Hello
0080: 22 29 20 29 3b 0a 0a 23 23 23 23 23 23 23 23 23  ") );..#########
0090: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
00a0: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 0a  ###############.
00b0: 70 72 69 6e 74 28 22 2d 2d 2d 2d 2d 2d 2d 2d 2d  print("---------
00c0: 2d 22 29 3b 0a 0a 40 6d 61 63 72 6f 20 6d 61 78  -");..@macro max
00d0: 42 61 64 28 78 2c 79 29 20 7b 0a 09 69 66 20 78  Bad(x,y) {..if x
00e0: 3c 79 20 74 68 65 6e 20 79 20 65 6c 73 65 20 78  <y then y else x
00f0: 0a 7d 3b 0a 40 6d 61 63 72 6f 20 6d 61 78 47 6f  .};.@macro maxGo
0100: 6f 64 28 78 2c 79 29 20 7b 0a 09 76 61 72 20 5f  od(x,y) {..var _
0110: 78 20 3d 20 78 3b 20 20 23 20 4e 4f 54 45 3a 20  x = x;  # NOTE: 
0120: 6e 6f 20 68 79 67 65 6e 69 63 20 6d 61 63 72 6f  no hygenic macro
0130: 0a 09 76 61 72 20 5f 79 20 3d 20 79 3b 0a 09 69  ..var _y = y;..i
0140: 66 20 5f 78 20 3c 20 5f 79 20 74 68 65 6e 20 5f  f _x < _y then _
0150: 79 20 65 6c 73 65 20 5f 78 0a 7d 3b 0a 64 65 66  y else _x.};.def
0160: 20 6d 61 78 46 75 6e 28 78 2c 79 29 20 7b 0a 09   maxFun(x,y) {..
0170: 69 66 20 78 3c 79 20 74 68 65 6e 20 79 20 65 6c  if x<y then y el
0180: 73 65 20 78 0a 7d 3b 0a 40 6d 61 63 72 6f 20 6d  se x.};.@macro m
0190: 61 78 47 72 65 61 74 28 78 2c 79 29 7b 40 76 61  axGreat(x,y){@va
01a0: 6c 75 65 28 0a 09 76 61 72 20 6e 78 20 3d 20 67  lue(..var nx = g
01b0: 65 6e 73 79 6d 28 29 3b 20 23 20 67 65 6e 65 72  ensym(); # gener
01c0: 61 74 65 20 66 72 65 73 68 20 73 79 6d 62 6f 6c  ate fresh symbol
01d0: 0a 09 76 61 72 20 6e 79 20 3d 20 67 65 6e 73 79  ..var ny = gensy
01e0: 6d 28 29 3b 0a 09 40 6d 61 63 72 6f 20 5f 78 20  m();..@macro _x 
01f0: 3d 20 40 6d 61 63 72 6f 28 6e 78 29 20 7b 6e 61  = @macro(nx) {na
0200: 6d 65 3a 20 6e 78 7d 3b 20 20 23 20 63 68 65 61  me: nx};  # chea
0210: 74 69 6e 67 20 74 6f 20 63 72 65 61 74 65 20 7b  ting to create {
0220: 69 73 3a 22 56 61 72 22 20 2e 2e 20 7d 0a 09 40  is:"Var" .. }..@
0230: 6d 61 63 72 6f 20 5f 79 20 3d 20 40 6d 61 63 72  macro _y = @macr
0240: 6f 28 6e 79 29 20 7b 6e 61 6d 65 3a 20 6e 79 7d  o(ny) {name: ny}
0250: 3b 20 20 23 20 61 74 20 6d 61 63 72 6f 20 6c 61  ;  # at macro la
0260: 79 65 72 0a 09 7b 69 73 3a 20 22 4c 65 74 22 2c  yer..{is: "Let",
0270: 20 6e 61 6d 65 3a 20 6e 78 2c 20 6c 61 79 65 72   name: nx, layer
0280: 3a 20 22 22 2c 20 69 6e 69 74 3a 20 40 6d 61 63  : "", init: @mac
0290: 72 6f 28 78 29 2c 20 65 78 70 72 3a 0a 09 09 7b  ro(x), expr:...{
02a0: 69 73 3a 20 22 4c 65 74 22 2c 20 6e 61 6d 65 3a  is: "Let", name:
02b0: 20 6e 79 2c 20 6c 61 79 65 72 3a 20 22 22 2c 20   ny, layer: "", 
02c0: 69 6e 69 74 3a 20 40 6d 61 63 72 6f 28 79 29 2c  init: @macro(y),
02d0: 20 65 78 70 72 3a 0a 09 09 09 40 6d 61 63 72 6f   expr:....@macro
02e0: 28 69 66 20 5f 78 20 3c 20 5f 79 20 74 68 65 6e  (if _x < _y then
02f0: 20 5f 79 20 65 6c 73 65 20 5f 78 29 7d 7d 20 23   _y else _x)}} #
0300: 20 74 68 65 20 65 78 70 72 65 73 73 69 6f 6e 0a   the expression.
0310: 29 7d 3b 0a 0a 70 72 69 6e 74 28 20 6d 61 78 47  )};..print( maxG
0320: 6f 6f 64 28 70 72 69 6e 74 28 31 29 2c 20 70 72  ood(print(1), pr
0330: 69 6e 74 28 32 29 29 20 29 3b 20 20 23 20 31 20  int(2)) );  # 1 
0340: 32 20 32 0a 70 72 69 6e 74 28 20 6d 61 78 42 61  2 2.print( maxBa
0350: 64 28 70 72 69 6e 74 28 31 29 2c 20 70 72 69 6e  d(print(1), prin
0360: 74 28 32 29 29 20 29 3b 20 20 20 20 23 20 31 20  t(2)) );    # 1 
0370: 32 20 32 20 32 0a 70 72 69 6e 74 28 20 6d 61 78  2 2 2.print( max
0380: 46 75 6e 28 70 72 69 6e 74 28 31 29 2c 20 70 72  Fun(print(1), pr
0390: 69 6e 74 28 32 29 29 20 29 3b 20 20 20 20 23 20  int(2)) );    # 
03a0: 31 20 32 20 32 0a 70 72 69 6e 74 28 20 6d 61 78  1 2 2.print( max
03b0: 47 72 65 61 74 28 70 72 69 6e 74 28 31 29 2c 20  Great(print(1), 
03c0: 70 72 69 6e 74 28 32 29 29 20 29 3b 20 20 20 20  print(2)) );    
03d0: 23 20 31 20 32 20 32 0a 70 72 69 6e 74 28 20 6d  # 1 2 2.print( m
03e0: 61 78 47 72 65 61 74 28 70 72 69 6e 74 28 32 29  axGreat(print(2)
03f0: 2c 20 70 72 69 6e 74 28 31 29 29 20 29 3b 20 20  , print(1)) );  
0400: 20 20 23 20 32 20 31 20 32 0a 0a 23 23 23 23 23    # 2 1 2..#####
0410: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
0420: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
0430: 23 23 23 0a 70 72 69 6e 74 28 22 2d 2d 2d 2d 2d  ###.print("-----
0440: 2d 2d 2d 2d 2d 22 29 3b 0a 0a 23 20 74 68 65 20  -----");..# the 
0450: 76 61 72 69 61 62 6c 65 20 22 69 74 22 20 69 73  variable "it" is
0460: 20 69 6e 73 65 72 74 65 64 20 74 6f 20 74 68 65   inserted to the
0470: 20 73 63 6f 70 65 0a 40 6d 61 63 72 6f 20 4c 65   scope.@macro Le
0480: 74 49 74 42 65 28 78 2c 20 79 29 20 7b 20 6c 65  tItBe(x, y) { le
0490: 74 20 69 74 20 3d 20 78 20 69 6e 20 79 20 7d 3b  t it = x in y };
04a0: 0a 70 72 69 6e 74 28 20 4c 65 74 49 74 42 65 28  .print( LetItBe(
04b0: 22 6d 79 73 65 6c 66 22 2c 20 20 22 77 68 65 6e  "myself",  "when
04c0: 20 49 20 66 69 6e 64 20 22 20 7e 20 69 74 20 7e   I find " ~ it ~
04d0: 20 22 20 69 6e 20 74 69 6d 65 73 20 6f 66 20 74   " in times of t
04e0: 72 6f 75 62 6c 65 22 29 20 29 3b 0a 0a 23 23 23  rouble") );..###
04f0: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
0500: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
0510: 23 23 23 23 23 0a 70 72 69 6e 74 28 22 2d 2d 2d  #####.print("---
0520: 2d 2d 2d 2d 2d 2d 2d 22 29 3b 0a 0a 23 20 6c 61  -------");..# la
0530: 79 65 72 64 20 70 61 72 61 6d 65 74 65 72 20 63  yerd parameter c
0540: 61 6e 20 61 6c 73 6f 20 62 65 20 75 73 65 64 20  an also be used 
0550: 66 6f 72 20 40 6d 61 63 72 6f 0a 23 20 79 6f 75  for @macro.# you
0560: 20 63 61 6e 20 6d 69 78 20 40 6d 61 63 72 6f 20   can mix @macro 
0570: 61 6e 64 20 6e 6f 72 6d 61 6c 20 70 61 72 61 6d  and normal param
0580: 65 74 65 72 73 21 21 0a 64 65 66 20 33 77 61 79  eters!!.def 3way
0590: 28 6e 2c 20 63 31 20 40 6d 61 63 72 6f 2c 20 63  (n, c1 @macro, c
05a0: 32 20 40 6d 61 63 72 6f 2c 20 63 33 20 40 6d 61  2 @macro, c3 @ma
05b0: 63 72 6f 29 0a 7b 0a 09 63 61 73 65 20 6e 2a 6e  cro).{..case n*n
05c0: 0a 09 09 77 68 65 6e 20 30 3a 20 63 31 0a 09 09  ...when 0: c1...
05d0: 77 68 65 6e 20 31 3a 20 63 32 0a 09 09 77 68 65  when 1: c2...whe
05e0: 6e 20 34 3a 20 63 33 0a 7d 3b 0a 0a 33 77 61 79  n 4: c3.};..3way
05f0: 28 20 72 61 6e 64 28 33 29 2c 20 70 72 69 6e 74  ( rand(3), print
0600: 28 22 4f 6e 65 22 29 2c 20 70 72 69 6e 74 28 22  ("One"), print("
0610: 54 77 6f 22 29 2c 20 70 72 69 6e 74 28 22 54 68  Two"), print("Th
0620: 72 65 65 22 29 20 29 3b 0a 33 77 61 79 28 20 72  ree") );.3way( r
0630: 61 6e 64 28 33 29 2c 20 70 72 69 6e 74 28 22 4f  and(3), print("O
0640: 6e 65 22 29 2c 20 70 72 69 6e 74 28 22 54 77 6f  ne"), print("Two
0650: 22 29 2c 20 70 72 69 6e 74 28 22 54 68 72 65 65  "), print("Three
0660: 22 29 20 29 3b 0a 33 77 61 79 28 20 72 61 6e 64  ") );.3way( rand
0670: 28 33 29 2c 20 70 72 69 6e 74 28 22 4f 6e 65 22  (3), print("One"
0680: 29 2c 20 70 72 69 6e 74 28 22 54 77 6f 22 29 2c  ), print("Two"),
0690: 20 70 72 69 6e 74 28 22 54 68 72 65 65 22 29 20   print("Three") 
06a0: 29 3b 0a 0a 23 23 23 23 23 23 23 23 23 23 23 23  );..############
06b0: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
06c0: 23 23 23 23 23 23 23 23 23 23 23 23 0a 70 72 69  ############.pri
06d0: 6e 74 28 22 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 22 29  nt("----------")
06e0: 3b 0a 0a 23 20 43 6f 6e 76 65 72 73 65 6c 79 2c  ;..# Conversely,
06f0: 20 77 65 20 63 61 6e 20 6d 69 78 20 40 76 61 6c   we can mix @val
0700: 75 65 20 70 61 72 61 6d 65 74 65 72 20 69 6e 20  ue parameter in 
0710: 74 68 65 20 6d 61 63 72 6f 20 64 65 66 69 6e 69  the macro defini
0720: 74 69 6f 6e 0a 40 6d 61 63 72 6f 20 74 69 6d 65  tion.@macro time
0730: 73 28 6e 20 40 76 61 6c 75 65 2c 20 65 29 20 7b  s(n @value, e) {
0740: 20 40 76 61 6c 75 65 28 0a 09 69 66 20 6e 20 3d   @value(..if n =
0750: 3d 20 31 20 74 68 65 6e 0a 09 09 40 6d 61 63 72  = 1 then...@macr
0760: 6f 28 65 29 0a 09 65 6c 73 65 0a 09 09 40 6d 61  o(e)..else...@ma
0770: 63 72 6f 28 65 3b 20 74 69 6d 65 73 28 6e 2d 31  cro(e; times(n-1
0780: 2c 65 29 29 0a 29 7d 3b 0a 74 69 6d 65 73 28 37  ,e)).)};.times(7
0790: 2c 20 70 72 69 6e 74 28 22 49 63 68 69 6d 65 6e  , print("Ichimen
07a0: 20 6e 6f 20 4e 61 6e 6f 68 61 6e 61 22 29 29 3b   no Nanohana"));
07b0: 0a 0a 23 20 48 65 72 65 2c 20 6e 20 69 73 20 62  ..# Here, n is b
07c0: 6f 75 6e 64 20 74 6f 20 74 68 65 20 69 6e 74 65  ound to the inte
07d0: 67 65 72 20 37 2c 20 6e 6f 74 20 74 68 65 20 41  ger 7, not the A
07e0: 53 54 20 6f 66 20 69 74 2e 0a 0a 23 23 23 23 23  ST of it...#####
07f0: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
0800: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
0810: 23 23 23 0a 70 72 69 6e 74 28 22 2d 2d 2d 2d 2d  ###.print("-----
0820: 2d 2d 2d 2d 2d 22 29 3b 0a 0a 23 20 45 78 70 6c  -----");..# Expl
0830: 69 63 69 74 20 6d 61 6e 69 70 75 6c 61 74 69 6f  icit manipulatio
0840: 6e 20 6f 66 20 41 53 54 2e 0a 23 20 52 65 76 65  n of AST..# Reve
0850: 72 73 65 20 74 68 65 20 6f 72 64 65 72 20 6f 66  rse the order of
0860: 20 61 72 67 75 6d 65 6e 74 73 20 6f 66 20 74 68   arguments of th
0870: 65 20 66 75 6e 63 74 69 6f 6e 20 63 61 6c 6c 20  e function call 
0880: 65 78 70 72 65 73 73 69 6f 6e 0a 40 6d 61 63 72  expression.@macr
0890: 6f 20 72 65 76 65 72 73 65 41 72 67 73 28 65 29  o reverseArgs(e)
08a0: 20 7b 40 76 61 6c 75 65 28 0a 09 64 65 66 20 72   {@value(..def r
08b0: 65 76 28 78 73 2c 20 61 63 63 29 20 7b 0a 09 09  ev(xs, acc) {...
08c0: 63 61 73 65 20 78 73 20 77 68 65 6e 20 7b 63 61  case xs when {ca
08d0: 72 3a 78 2c 20 63 64 72 3a 78 73 7d 3a 20 72 65  r:x, cdr:xs}: re
08e0: 76 28 78 73 2c 20 7b 63 61 72 3a 78 2c 20 63 64  v(xs, {car:x, cd
08f0: 72 3a 61 63 63 7d 29 20 77 68 65 6e 20 7b 7d 3a  r:acc}) when {}:
0900: 20 61 63 63 0a 09 7d 3b 0a 09 63 61 73 65 20 40   acc..};..case @
0910: 6d 61 63 72 6f 28 65 29 0a 09 09 77 68 65 6e 20  macro(e)...when 
0920: 7b 69 73 3a 22 41 70 70 22 2c 20 66 75 6e 3a 66  {is:"App", fun:f
0930: 2c 20 61 72 67 73 3a 61 73 7d 3a 20 7b 69 73 3a  , args:as}: {is:
0940: 22 41 70 70 22 2c 20 66 75 6e 3a 66 2c 20 61 72  "App", fun:f, ar
0950: 67 73 3a 72 65 76 28 61 73 2c 7b 7d 29 7d 0a 09  gs:rev(as,{})}..
0960: 09 77 68 65 6e 20 65 20 3a 20 65 0a 29 7d 3b 0a  .when e : e.)};.
0970: 70 72 69 6e 74 28 20 72 65 76 65 72 73 65 41 72  print( reverseAr
0980: 67 73 28 31 2b 32 29 20 29 3b 20 23 20 32 2b 31  gs(1+2) ); # 2+1
0990: 20 3d 3d 20 33 0a 70 72 69 6e 74 28 20 72 65 76   == 3.print( rev
09a0: 65 72 73 65 41 72 67 73 28 31 2d 32 29 20 29 3b  erseArgs(1-2) );
09b0: 20 23 20 32 2d 31 20 3d 3d 20 31 0a 0a 23 23 23   # 2-1 == 1..###
09c0: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
09d0: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
09e0: 23 23 23 23 23 0a 70 72 69 6e 74 28 22 2d 2d 2d  #####.print("---
09f0: 2d 2d 2d 2d 2d 2d 2d 22 29 3b 0a 0a 23 20 42 6f  -------");..# Bo
0a00: 74 68 20 70 72 69 6e 74 73 20 22 6f 72 69 67 69  th prints "origi
0a10: 6e 61 6c 22 2e 20 4d 61 63 72 6f 20 72 65 73 70  nal". Macro resp
0a20: 65 63 74 73 20 74 68 65 20 6e 65 75 74 72 61 6c  ects the neutral
0a30: 20 6c 61 79 65 72 27 73 20 22 6c 65 74 20 79 3d   layer's "let y=
0a40: 22 0a 23 20 61 6e 64 20 22 66 75 6e 28 79 29 22  ".# and "fun(y)"
0a50: 2e 20 49 74 20 64 6f 65 73 20 6e 6f 74 20 61 6c  . It does not al
0a60: 74 65 72 20 74 68 65 20 69 6e 6e 65 72 20 73 63  ter the inner sc
0a70: 6f 70 65 20 79 0a 40 6d 61 63 72 6f 20 74 65 73  ope y.@macro tes
0a80: 74 31 28 79 29 20 7b 20 66 75 6e 28 79 29 7b 79  t1(y) { fun(y){y
0a90: 7d 28 22 6f 72 69 67 69 6e 61 6c 22 29 20 7d 3b  }("original") };
0aa0: 0a 40 6d 61 63 72 6f 20 74 65 73 74 32 28 79 29  .@macro test2(y)
0ab0: 20 7b 20 6c 65 74 20 79 20 3d 20 22 6f 72 69 67   { let y = "orig
0ac0: 69 6e 61 6c 22 20 69 6e 20 79 20 7d 3b 0a 70 72  inal" in y };.pr
0ad0: 69 6e 74 28 20 74 65 73 74 31 28 22 72 65 70 6c  int( test1("repl
0ae0: 61 63 65 64 3f 22 29 20 29 3b 0a 70 72 69 6e 74  aced?") );.print
0af0: 28 20 74 65 73 74 32 28 22 72 65 70 6c 61 63 65  ( test2("replace
0b00: 64 3f 22 29 20 29 3b 0a 0a 23 23 23 23 23 23 23  d?") );..#######
0b10: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
0b20: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
0b30: 23 0a 70 72 69 6e 74 28 22 2d 2d 2d 2d 2d 2d 2d  #.print("-------
0b40: 2d 2d 2d 22 29 3b 0a 0a 23 20 4d 61 63 72 6f 20  ---");..# Macro 
0b50: 65 78 70 61 6e 73 69 6f 6e 20 69 73 20 64 6f 6e  expansion is don
0b60: 65 20 6f 6e 6c 79 20 61 74 20 74 68 65 20 66 69  e only at the fi
0b70: 72 73 74 20 63 61 6c 6c 2e 0a 23 20 53 6f 20 62  rst call..# So b
0b80: 79 20 75 73 69 6e 67 20 40 6d 61 63 72 6f 20 70  y using @macro p
0b90: 61 72 61 6d 65 74 65 72 2c 20 69 74 20 63 61 6e  arameter, it can
0ba0: 20 72 65 6d 65 6d 62 65 72 20 74 68 65 20 61 72   remember the ar
0bb0: 67 75 6d 65 6e 74 0a 23 20 6f 66 20 74 68 65 20  gument.# of the 
0bc0: 66 69 72 73 74 20 63 61 6c 6c 2e 0a 64 65 66 20  first call..def 
0bd0: 72 65 6d 65 6d 62 65 72 31 28 20 78 20 40 6d 61  remember1( x @ma
0be0: 63 72 6f 2c 20 79 20 29 20 7b 20 69 66 20 78 20  cro, y ) { if x 
0bf0: 3d 3d 20 79 20 74 68 65 6e 20 22 79 65 73 22 20  == y then "yes" 
0c00: 65 6c 73 65 20 22 6e 6f 22 20 7d 3b 0a 70 72 69  else "no" };.pri
0c10: 6e 74 28 20 72 65 6d 65 6d 62 65 72 31 28 31 2c  nt( remember1(1,
0c20: 20 31 29 20 29 3b 20 20 23 20 79 65 73 20 20 31   1) );  # yes  1
0c30: 20 3d 3d 20 31 0a 70 72 69 6e 74 28 20 72 65 6d   == 1.print( rem
0c40: 65 6d 62 65 72 31 28 32 2c 31 29 20 29 3b 20 23  ember1(2,1) ); #
0c50: 20 79 65 73 20 20 22 31 22 20 3d 3d 20 31 0a 70   yes  "1" == 1.p
0c60: 72 69 6e 74 28 20 72 65 6d 65 6d 62 65 72 31 28  rint( remember1(
0c70: 32 2c 32 29 20 29 3b 20 23 20 6e 6f 20 20 22 31  2,2) ); # no  "1
0c80: 22 20 20 21 3d 20 32 0a 0a 23 20 65 78 61 63 74  "  != 2..# exact
0c90: 6c 79 20 74 68 65 20 73 61 6d 65 20 66 75 6e 63  ly the same func
0ca0: 74 69 6f 6e 2c 20 62 75 74 20 63 61 6c 6c 65 64  tion, but called
0cb0: 20 69 6e 20 64 69 66 66 65 72 65 6e 74 20 6f 72   in different or
0cc0: 64 65 72 0a 64 65 66 20 72 65 6d 65 6d 62 65 72  der.def remember
0cd0: 32 28 20 78 20 40 6d 61 63 72 6f 2c 20 79 20 29  2( x @macro, y )
0ce0: 20 7b 20 69 66 20 78 20 3d 3d 20 79 20 74 68 65   { if x == y the
0cf0: 6e 20 22 79 65 73 22 20 65 6c 73 65 20 22 6e 6f  n "yes" else "no
0d00: 22 20 7d 3b 0a 70 72 69 6e 74 28 20 72 65 6d 65  " };.print( reme
0d10: 6d 62 65 72 32 28 32 2c 20 32 29 20 29 3b 20 20  mber2(2, 2) );  
0d20: 23 20 79 65 73 20 20 22 32 22 20 3d 3d 20 32 0a  # yes  "2" == 2.
0d30: 70 72 69 6e 74 28 20 72 65 6d 65 6d 62 65 72 32  print( remember2
0d40: 28 32 2c 20 31 29 20 29 3b 20 23 20 6e 6f 20 20  (2, 1) ); # no  
0d50: 20 22 32 22 20 21 3d 20 31 0a 70 72 69 6e 74 28   "2" != 1.print(
0d60: 20 72 65 6d 65 6d 62 65 72 32 28 31 2c 20 31 29   remember2(1, 1)
0d70: 20 20 29 3b 20 23 20 6e 6f 20 20 22 32 22 20 21    ); # no  "2" !
0d80: 3d 20 31 0a 0a 23 20 49 73 20 74 68 69 73 20 61  = 1..# Is this a
0d90: 20 67 6f 6f 64 20 74 68 69 6e 67 20 6f 72 20 61   good thing or a
0da0: 20 62 61 64 20 74 68 69 6e 67 3f 3f 0a 0a 23 23   bad thing??..##
0db0: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
0dc0: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
0dd0: 23 23 23 23 23 23 0a 70 72 69 6e 74 28 22 2d 2d  ######.print("--
0de0: 2d 2d 2d 2d 2d 2d 2d 2d 22 29 3b 0a 0a 23 20 54  --------");..# T
0df0: 72 69 63 6b 20 74 6f 20 65 78 74 72 61 63 74 20  rick to extract 
0e00: 74 68 65 20 41 53 54 20 6f 66 20 61 20 66 75 6e  the AST of a fun
0e10: 63 74 69 6f 6e 0a 64 65 66 20 66 6f 6f 28 78 29  ction.def foo(x)
0e20: 20 7b 20 78 20 2b 20 78 20 7d 3b 0a 70 72 69 6e   { x + x };.prin
0e30: 74 28 20 40 6d 61 63 72 6f 28 40 76 61 6c 75 65  t( @macro(@value
0e40: 28 66 6f 6f 29 28 61 72 67 31 29 29 20 29 3b 20  (foo)(arg1)) ); 
0e50: 20 20 23 20 70 72 69 6e 74 73 20 41 53 54 20 66    # prints AST f
0e60: 6f 72 20 22 61 72 67 31 20 2b 20 61 72 67 31 22  or "arg1 + arg1"
0e70: 0a 0a 23 20 49 66 20 77 65 20 77 72 6f 74 65 20  ..# If we wrote 
0e80: 40 6d 61 63 72 6f 28 66 6f 6f 28 61 72 67 31 29  @macro(foo(arg1)
0e90: 29 2c 20 69 74 20 69 73 20 74 68 65 20 41 53 54  ), it is the AST
0ea0: 20 6f 66 20 22 66 6f 6f 28 61 72 67 31 29 22 0a   of "foo(arg1)".
0eb0: 23 20 48 65 72 65 2c 20 62 79 20 40 76 61 6c 75  # Here, by @valu
0ec0: 65 28 66 6f 6f 29 20 77 65 20 6f 62 74 61 69 6e  e(foo) we obtain
0ed0: 20 74 68 65 20 22 75 73 75 61 6c 22 20 62 65 68   the "usual" beh
0ee0: 61 76 69 6f 72 20 6f 66 20 66 6f 6f 2c 0a 23 20  avior of foo,.# 
0ef0: 6e 6f 74 20 74 68 65 20 6d 61 63 72 6f 2d 6c 69  not the macro-li
0f00: 6b 65 20 62 61 68 61 76 69 6f 72 20 74 6f 20 63  ke bahavior to c
0f10: 6f 6e 73 74 72 75 63 74 20 41 53 54 20 22 66 6f  onstruct AST "fo
0f20: 6f 28 3f 3f 29 22 2e 0a 23 20 42 75 74 20 73 74  o(??)"..# But st
0f30: 69 6c 6c 2c 20 62 79 20 40 6d 61 63 72 6f 28 20  ill, by @macro( 
0f40: 2e 2e 2e 20 29 20 6c 61 79 65 72 2c 20 74 68 65  ... ) layer, the
0f50: 20 22 75 73 75 61 6c 22 20 66 75 6e 63 74 69 6f   "usual" functio
0f60: 6e 20 69 73 20 72 75 6e 20 69 6e 0a 23 20 6d 61  n is run in.# ma
0f70: 63 72 6f 20 6d 6f 64 65 2e 0a                    cro mode..