Hex Artifact Content
Not logged in

Artifact 9a9618fb0277f9667ee0044c0c000d52da2e40f1:


0000: 2f 2a 2a 0a 20 2a 20 41 75 74 68 6f 72 73 3a 20  /**. * Authors: 
0010: 6b 2e 69 6e 61 62 61 0a 20 2a 20 4c 69 63 65 6e  k.inaba. * Licen
0020: 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38 32 20  se: NYSL 0.9982 
0030: 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f  http://www.kmono
0040: 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0a 20 2a 0a 20  s.net/nysl/. *. 
0050: 2a 20 45 76 61 6c 75 61 74 6f 72 20 66 6f 72 20  * Evaluator for 
0060: 50 6f 6c 65 6d 79 20 70 72 6f 67 72 61 6d 6d 69  Polemy programmi
0070: 6e 67 20 6c 61 6e 67 75 61 67 65 2e 0a 20 2a 2f  ng language.. */
0080: 0a 6d 6f 64 75 6c 65 20 70 6f 6c 65 6d 79 2e 65  .module polemy.e
0090: 76 61 6c 3b 0a 69 6d 70 6f 72 74 20 70 6f 6c 65  val;.import pole
00a0: 6d 79 2e 5f 63 6f 6d 6d 6f 6e 3b 0a 69 6d 70 6f  my._common;.impo
00b0: 72 74 20 70 6f 6c 65 6d 79 2e 66 61 69 6c 75 72  rt polemy.failur
00c0: 65 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d  e;..import polem
00d0: 79 2e 61 73 74 3b 0a 69 6d 70 6f 72 74 20 70 6f  y.ast;.import po
00e0: 6c 65 6d 79 2e 70 61 72 73 65 3b 0a 69 6d 70 6f  lemy.parse;.impo
00f0: 72 74 20 70 6f 6c 65 6d 79 2e 76 61 6c 75 65 3b  rt polemy.value;
0100: 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 6c  .import polemy.l
0110: 61 79 65 72 3b 0d 0a 69 6d 70 6f 72 74 20 73 74  ayer;..import st
0120: 64 2e 74 79 70 65 63 6f 6e 73 3b 0d 0a 69 6d 70  d.typecons;..imp
0130: 6f 72 74 20 73 74 64 2e 73 74 64 69 6f 3b 0a 0d  ort std.stdio;..
0140: 0a 2f 2f 2f 0a 54 61 62 6c 65 20 63 72 65 61 74  .///.Table creat
0150: 65 47 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 28 29  eGlobalContext()
0160: 0a 7b 0d 0a 09 61 75 74 6f 20 63 74 78 20 3d 20  .{...auto ctx = 
0170: 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 63 74 78  new Table;...ctx
0180: 2e 73 65 74 28 22 2b 22 2c 20 56 61 6c 75 65 4c  .set("+", ValueL
0190: 61 79 65 72 2c 20 6e 61 74 69 76 65 28 20 28 49  ayer, native( (I
01a0: 6e 74 56 61 6c 75 65 20 6c 68 73 2c 20 49 6e 74  ntValue lhs, Int
01b0: 56 61 6c 75 65 20 72 68 73 29 7b 72 65 74 75 72  Value rhs){retur
01c0: 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 6c  n new IntValue(l
01d0: 68 73 2e 64 61 74 61 20 2b 20 72 68 73 2e 64 61  hs.data + rhs.da
01e0: 74 61 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e  ta);} ));...ctx.
01f0: 73 65 74 28 22 2d 22 2c 20 56 61 6c 75 65 4c 61  set("-", ValueLa
0200: 79 65 72 2c 20 6e 61 74 69 76 65 28 20 28 49 6e  yer, native( (In
0210: 74 56 61 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56  tValue lhs, IntV
0220: 61 6c 75 65 20 72 68 73 29 7b 72 65 74 75 72 6e  alue rhs){return
0230: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 6c 68   new IntValue(lh
0240: 73 2e 64 61 74 61 20 2d 20 72 68 73 2e 64 61 74  s.data - rhs.dat
0250: 61 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73  a);} ));...ctx.s
0260: 65 74 28 22 2a 22 2c 20 56 61 6c 75 65 4c 61 79  et("*", ValueLay
0270: 65 72 2c 20 6e 61 74 69 76 65 28 20 28 49 6e 74  er, native( (Int
0280: 56 61 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 61  Value lhs, IntVa
0290: 6c 75 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20  lue rhs){return 
02a0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 6c 68 73  new IntValue(lhs
02b0: 2e 64 61 74 61 20 2a 20 72 68 73 2e 64 61 74 61  .data * rhs.data
02c0: 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65  );} ));...ctx.se
02d0: 74 28 22 2f 22 2c 20 56 61 6c 75 65 4c 61 79 65  t("/", ValueLaye
02e0: 72 2c 20 6e 61 74 69 76 65 28 20 28 49 6e 74 56  r, native( (IntV
02f0: 61 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 61 6c  alue lhs, IntVal
0300: 75 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 6e  ue rhs){return n
0310: 65 77 20 49 6e 74 56 61 6c 75 65 28 6c 68 73 2e  ew IntValue(lhs.
0320: 64 61 74 61 20 2f 20 72 68 73 2e 64 61 74 61 29  data / rhs.data)
0330: 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74  ;} ));...ctx.set
0340: 28 22 25 22 2c 20 56 61 6c 75 65 4c 61 79 65 72  ("%", ValueLayer
0350: 2c 20 6e 61 74 69 76 65 28 20 28 49 6e 74 56 61  , native( (IntVa
0360: 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 61 6c 75  lue lhs, IntValu
0370: 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 6e 65  e rhs){return ne
0380: 77 20 49 6e 74 56 61 6c 75 65 28 6c 68 73 2e 64  w IntValue(lhs.d
0390: 61 74 61 20 25 20 72 68 73 2e 64 61 74 61 29 3b  ata % rhs.data);
03a0: 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28  } ));...ctx.set(
03b0: 22 7c 7c 22 2c 20 56 61 6c 75 65 4c 61 79 65 72  "||", ValueLayer
03c0: 2c 20 6e 61 74 69 76 65 28 20 28 49 6e 74 56 61  , native( (IntVa
03d0: 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 61 6c 75  lue lhs, IntValu
03e0: 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 6e 65  e rhs){return ne
03f0: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e  w IntValue(BigIn
0400: 74 28 28 6c 68 73 2e 64 61 74 61 21 3d 30 29 20  t((lhs.data!=0) 
0410: 7c 7c 20 28 72 68 73 2e 64 61 74 61 21 3d 30 29  || (rhs.data!=0)
0420: 20 3f 20 31 3a 30 29 29 3b 7d 20 29 29 3b 0d 0a   ? 1:0));} ));..
0430: 09 63 74 78 2e 73 65 74 28 22 26 26 22 2c 20 56  .ctx.set("&&", V
0440: 61 6c 75 65 4c 61 79 65 72 2c 20 6e 61 74 69 76  alueLayer, nativ
0450: 65 28 20 28 49 6e 74 56 61 6c 75 65 20 6c 68 73  e( (IntValue lhs
0460: 2c 20 49 6e 74 56 61 6c 75 65 20 72 68 73 29 7b  , IntValue rhs){
0470: 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61  return new IntVa
0480: 6c 75 65 28 42 69 67 49 6e 74 28 28 6c 68 73 2e  lue(BigInt((lhs.
0490: 64 61 74 61 21 3d 30 29 20 26 26 20 28 72 68 73  data!=0) && (rhs
04a0: 2e 64 61 74 61 21 3d 30 29 20 3f 20 31 3a 30 29  .data!=0) ? 1:0)
04b0: 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65  );} ));...ctx.se
04c0: 74 28 22 3c 22 2c 20 56 61 6c 75 65 4c 61 79 65  t("<", ValueLaye
04d0: 72 2c 20 6e 61 74 69 76 65 28 20 28 56 61 6c 75  r, native( (Valu
04e0: 65 20 6c 68 73 2c 20 56 61 6c 75 65 20 72 68 73  e lhs, Value rhs
04f0: 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74  ){return new Int
0500: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 6c 68 73  Value(BigInt(lhs
0510: 20 3c 20 72 68 73 20 3f 20 31 3a 20 30 29 29 3b   < rhs ? 1: 0));
0520: 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28  } ));...ctx.set(
0530: 22 3e 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c  ">", ValueLayer,
0540: 20 6e 61 74 69 76 65 28 20 28 56 61 6c 75 65 20   native( (Value 
0550: 6c 68 73 2c 20 56 61 6c 75 65 20 72 68 73 29 7b  lhs, Value rhs){
0560: 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61  return new IntVa
0570: 6c 75 65 28 42 69 67 49 6e 74 28 6c 68 73 20 3e  lue(BigInt(lhs >
0580: 20 72 68 73 20 3f 20 31 3a 20 30 29 29 3b 7d 20   rhs ? 1: 0));} 
0590: 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 3c  ));...ctx.set("<
05a0: 3d 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20  =", ValueLayer, 
05b0: 6e 61 74 69 76 65 28 20 28 56 61 6c 75 65 20 6c  native( (Value l
05c0: 68 73 2c 20 56 61 6c 75 65 20 72 68 73 29 7b 72  hs, Value rhs){r
05d0: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c  eturn new IntVal
05e0: 75 65 28 42 69 67 49 6e 74 28 6c 68 73 20 3c 3d  ue(BigInt(lhs <=
05f0: 20 72 68 73 20 3f 20 31 3a 20 30 29 29 3b 7d 20   rhs ? 1: 0));} 
0600: 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 3e  ));...ctx.set(">
0610: 3d 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20  =", ValueLayer, 
0620: 6e 61 74 69 76 65 28 20 28 56 61 6c 75 65 20 6c  native( (Value l
0630: 68 73 2c 20 56 61 6c 75 65 20 72 68 73 29 7b 72  hs, Value rhs){r
0640: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c  eturn new IntVal
0650: 75 65 28 42 69 67 49 6e 74 28 6c 68 73 20 3e 3d  ue(BigInt(lhs >=
0660: 20 72 68 73 20 3f 20 31 3a 20 30 29 29 3b 7d 20   rhs ? 1: 0));} 
0670: 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 3d  ));...ctx.set("=
0680: 3d 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20  =", ValueLayer, 
0690: 6e 61 74 69 76 65 28 20 28 56 61 6c 75 65 20 6c  native( (Value l
06a0: 68 73 2c 20 56 61 6c 75 65 20 72 68 73 29 7b 72  hs, Value rhs){r
06b0: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c  eturn new IntVal
06c0: 75 65 28 42 69 67 49 6e 74 28 6c 68 73 20 3d 3d  ue(BigInt(lhs ==
06d0: 20 72 68 73 20 3f 20 31 3a 20 30 29 29 3b 7d 20   rhs ? 1: 0));} 
06e0: 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 21  ));...ctx.set("!
06f0: 3d 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20  =", ValueLayer, 
0700: 6e 61 74 69 76 65 28 20 28 56 61 6c 75 65 20 6c  native( (Value l
0710: 68 73 2c 20 56 61 6c 75 65 20 72 68 73 29 7b 72  hs, Value rhs){r
0720: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c  eturn new IntVal
0730: 75 65 28 42 69 67 49 6e 74 28 6c 68 73 20 21 3d  ue(BigInt(lhs !=
0740: 20 72 68 73 20 3f 20 31 3a 20 30 29 29 3b 7d 20   rhs ? 1: 0));} 
0750: 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 70  ));...ctx.set("p
0760: 72 69 6e 74 22 2c 20 56 61 6c 75 65 4c 61 79 65  rint", ValueLaye
0770: 72 2c 20 6e 61 74 69 76 65 28 20 28 56 61 6c 75  r, native( (Valu
0780: 65 20 61 29 7b 0a 09 09 77 72 69 74 65 6c 6e 28  e a){...writeln(
0790: 61 29 3b 0a 09 09 72 65 74 75 72 6e 20 6e 65 77  a);...return new
07a0: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74   IntValue(BigInt
07b0: 28 30 29 29 3b 0a 09 7d 29 29 3b 0a 09 63 74 78  (0));..}));..ctx
07c0: 2e 73 65 74 28 22 69 66 22 2c 20 56 61 6c 75 65  .set("if", Value
07d0: 4c 61 79 65 72 2c 20 6e 61 74 69 76 65 28 20 28  Layer, native( (
07e0: 49 6e 74 56 61 6c 75 65 20 78 2c 20 46 75 6e 56  IntValue x, FunV
07f0: 61 6c 75 65 20 66 74 2c 20 46 75 6e 56 61 6c 75  alue ft, FunValu
0800: 65 20 66 65 29 7b 0d 0a 09 09 61 75 74 6f 20 74  e fe){....auto t
0810: 6f 52 75 6e 20 3d 20 28 78 2e 64 61 74 61 3d 3d  oRun = (x.data==
0820: 30 20 3f 20 66 65 20 3a 20 66 74 29 3b 0d 0a 09  0 ? fe : ft);...
0830: 09 2f 2f 20 5b 54 4f 44 4f 5d 20 66 69 6c 6c 20  .// [TODO] fill 
0840: 70 6f 73 69 74 69 6f 6e 61 6c 20 69 6e 66 6f 72  positional infor
0850: 6d 61 74 69 6f 6e 0d 0a 09 09 72 65 74 75 72 6e  mation....return
0860: 20 74 6f 52 75 6e 2e 69 6e 76 6f 6b 65 28 6e 75   toRun.invoke(nu
0870: 6c 6c 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20  ll, ValueLayer, 
0880: 74 6f 52 75 6e 2e 64 65 66 69 6e 69 74 69 6f 6e  toRun.definition
0890: 43 6f 6e 74 65 78 74 28 29 29 3b 0d 0a 2f 2f 09  Context());..//.
08a0: 09 72 65 74 75 72 6e 20 74 6f 52 75 6e 2e 69 6e  .return toRun.in
08b0: 76 6f 6b 65 28 70 6f 73 2c 20 6c 61 79 2c 20 74  voke(pos, lay, t
08c0: 6f 52 75 6e 2e 64 65 66 69 6e 69 74 69 6f 6e 43  oRun.definitionC
08d0: 6f 6e 74 65 78 74 28 29 29 3b 0d 0a 09 7d 29 29  ontext());...}))
08e0: 3b 0a 09 63 74 78 2e 73 65 74 28 22 5f 69 73 69  ;..ctx.set("_isi
08f0: 6e 74 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c  nt", ValueLayer,
0900: 20 6e 61 74 69 76 65 28 20 28 56 61 6c 75 65 20   native( (Value 
0910: 76 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 6e  v){return new In
0920: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 63 61  tValue(BigInt(ca
0930: 73 74 28 49 6e 74 56 61 6c 75 65 29 76 20 69 73  st(IntValue)v is
0940: 20 6e 75 6c 6c 20 3f 20 30 20 3a 20 31 29 29 3b   null ? 0 : 1));
0950: 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28  } ));...ctx.set(
0960: 22 5f 69 73 73 74 72 22 2c 20 56 61 6c 75 65 4c  "_isstr", ValueL
0970: 61 79 65 72 2c 20 6e 61 74 69 76 65 28 20 28 56  ayer, native( (V
0980: 61 6c 75 65 20 76 29 7b 72 65 74 75 72 6e 20 6e  alue v){return n
0990: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49  ew IntValue(BigI
09a0: 6e 74 28 63 61 73 74 28 53 74 72 56 61 6c 75 65  nt(cast(StrValue
09b0: 29 76 20 69 73 20 6e 75 6c 6c 20 3f 20 30 20 3a  )v is null ? 0 :
09c0: 20 31 29 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78   1));} ));...ctx
09d0: 2e 73 65 74 28 22 5f 69 73 66 75 6e 22 2c 20 56  .set("_isfun", V
09e0: 61 6c 75 65 4c 61 79 65 72 2c 20 6e 61 74 69 76  alueLayer, nativ
09f0: 65 28 20 28 56 61 6c 75 65 20 76 29 7b 72 65 74  e( (Value v){ret
0a00: 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65  urn new IntValue
0a10: 28 42 69 67 49 6e 74 28 63 61 73 74 28 46 75 6e  (BigInt(cast(Fun
0a20: 56 61 6c 75 65 29 76 20 69 73 20 6e 75 6c 6c 20  Value)v is null 
0a30: 3f 20 30 20 3a 20 31 29 29 3b 7d 20 29 29 3b 0d  ? 0 : 1));} ));.
0a40: 0a 09 63 74 78 2e 73 65 74 28 22 5f 69 73 75 6e  ..ctx.set("_isun
0a50: 64 65 66 69 6e 65 64 22 2c 20 56 61 6c 75 65 4c  defined", ValueL
0a60: 61 79 65 72 2c 20 6e 61 74 69 76 65 28 20 28 56  ayer, native( (V
0a70: 61 6c 75 65 20 76 29 7b 72 65 74 75 72 6e 20 6e  alue v){return n
0a80: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49  ew IntValue(BigI
0a90: 6e 74 28 63 61 73 74 28 55 6e 64 56 61 6c 75 65  nt(cast(UndValue
0aa0: 29 76 20 69 73 20 6e 75 6c 6c 20 3f 20 30 20 3a  )v is null ? 0 :
0ab0: 20 31 29 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78   1));} ));...ctx
0ac0: 2e 73 65 74 28 22 5f 69 73 74 61 62 6c 65 22 2c  .set("_istable",
0ad0: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 61 74   ValueLayer, nat
0ae0: 69 76 65 28 20 28 56 61 6c 75 65 20 76 29 7b 72  ive( (Value v){r
0af0: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c  eturn new IntVal
0b00: 75 65 28 42 69 67 49 6e 74 28 63 61 73 74 28 54  ue(BigInt(cast(T
0b10: 61 62 6c 65 29 76 20 69 73 20 6e 75 6c 6c 20 3f  able)v is null ?
0b20: 20 30 20 3a 20 31 29 29 3b 7d 20 29 29 3b 0d 0a   0 : 1));} ));..
0b30: 09 63 74 78 2e 73 65 74 28 22 2e 22 2c 20 56 61  .ctx.set(".", Va
0b40: 6c 75 65 4c 61 79 65 72 2c 20 6e 61 74 69 76 65  lueLayer, native
0b50: 28 20 28 54 61 62 6c 65 20 74 2c 20 53 74 72 56  ( (Table t, StrV
0b60: 61 6c 75 65 20 73 29 7b 0d 0a 09 09 72 65 74 75  alue s){....retu
0b70: 72 6e 20 28 74 2e 68 61 73 28 73 2e 64 61 74 61  rn (t.has(s.data
0b80: 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 20 3f 20  , ValueLayer) ? 
0b90: 74 2e 67 65 74 28 73 2e 64 61 74 61 2c 20 56 61  t.get(s.data, Va
0ba0: 6c 75 65 4c 61 79 65 72 29 20 3a 20 6e 65 77 20  lueLayer) : new 
0bb0: 55 6e 64 56 61 6c 75 65 29 3b 0d 0a 09 7d 29 20  UndValue);...}) 
0bc0: 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 2e 3f  );...ctx.set(".?
0bd0: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e  ", ValueLayer, n
0be0: 61 74 69 76 65 28 20 28 54 61 62 6c 65 20 74 2c  ative( (Table t,
0bf0: 20 53 74 72 56 61 6c 75 65 20 73 29 7b 0d 0a 09   StrValue s){...
0c00: 09 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56  .return new IntV
0c10: 61 6c 75 65 28 42 69 67 49 6e 74 28 74 2e 68 61  alue(BigInt(t.ha
0c20: 73 28 73 2e 64 61 74 61 2c 20 56 61 6c 75 65 4c  s(s.data, ValueL
0c30: 61 79 65 72 29 20 3f 20 31 20 3a 20 30 29 29 3b  ayer) ? 1 : 0));
0c40: 0d 0a 09 7d 29 20 29 3b 0d 0a 09 63 74 78 2e 73  ...}) );...ctx.s
0c50: 65 74 28 22 2e 3d 22 2c 20 56 61 6c 75 65 4c 61  et(".=", ValueLa
0c60: 79 65 72 2c 20 6e 61 74 69 76 65 28 20 28 54 61  yer, native( (Ta
0c70: 62 6c 65 20 74 2c 20 53 74 72 56 61 6c 75 65 20  ble t, StrValue 
0c80: 73 2c 20 56 61 6c 75 65 20 76 29 7b 0d 0a 09 09  s, Value v){....
0c90: 61 75 74 6f 20 74 32 20 3d 20 6e 65 77 20 54 61  auto t2 = new Ta
0ca0: 62 6c 65 28 74 2c 20 54 61 62 6c 65 2e 4b 69 6e  ble(t, Table.Kin
0cb0: 64 2e 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65  d.NotPropagateSe
0cc0: 74 29 3b 0d 0a 09 09 74 32 2e 73 65 74 28 73 2e  t);....t2.set(s.
0cd0: 64 61 74 61 2c 20 56 61 6c 75 65 4c 61 79 65 72  data, ValueLayer
0ce0: 2c 20 76 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20  , v);....return 
0cf0: 74 32 3b 0d 0a 09 7d 29 20 29 3b 0d 0a 09 63 74  t2;...}) );...ct
0d00: 78 2e 73 65 74 28 22 7b 7d 22 2c 20 56 61 6c 75  x.set("{}", Valu
0d10: 65 4c 61 79 65 72 2c 20 6e 61 74 69 76 65 28 20  eLayer, native( 
0d20: 28 29 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65  (){....return ne
0d30: 77 20 54 61 62 6c 65 3b 0d 0a 09 7d 29 20 29 3b  w Table;...}) );
0d40: 0d 0a 09 72 65 74 75 72 6e 20 63 74 78 3b 0a 7d  ...return ctx;.}
0d50: 0a 0a 2f 2f 2f 20 45 6e 74 72 79 20 70 6f 69 6e  ../// Entry poin
0d60: 74 20 6f 66 20 74 68 69 73 20 6d 6f 64 75 6c 65  t of this module
0d70: 0d 0a 0d 0a 54 75 70 6c 65 21 28 56 61 6c 75 65  ....Tuple!(Value
0d80: 2c 22 76 61 6c 22 2c 54 61 62 6c 65 2c 22 63 74  ,"val",Table,"ct
0d90: 78 22 29 20 65 76 61 6c 53 74 72 69 6e 67 28 53  x") evalString(S
0da0: 2c 54 2e 2e 2e 29 28 53 20 73 74 72 2c 20 54 20  ,T...)(S str, T 
0db0: 66 6e 5f 6c 6e 5f 63 6e 29 0a 7b 0a 09 72 65 74  fn_ln_cn).{..ret
0dc0: 75 72 6e 20 65 76 61 6c 28 20 70 6f 6c 65 6d 79  urn eval( polemy
0dd0: 2e 70 61 72 73 65 2e 70 61 72 73 65 53 74 72 69  .parse.parseStri
0de0: 6e 67 28 73 74 72 2c 20 66 6e 5f 6c 6e 5f 63 6e  ng(str, fn_ln_cn
0df0: 29 20 29 3b 0a 7d 0a 0a 2f 2f 2f 20 45 6e 74 72  ) );.}../// Entr
0e00: 79 20 70 6f 69 6e 74 20 6f 66 20 74 68 69 73 20  y point of this 
0e10: 6d 6f 64 75 6c 65 0d 0a 0d 0a 54 75 70 6c 65 21  module....Tuple!
0e20: 28 56 61 6c 75 65 2c 22 76 61 6c 22 2c 54 61 62  (Value,"val",Tab
0e30: 6c 65 2c 22 63 74 78 22 29 20 65 76 61 6c 46 69  le,"ctx") evalFi
0e40: 6c 65 28 53 2c 20 54 2e 2e 2e 29 28 53 20 66 69  le(S, T...)(S fi
0e50: 6c 65 6e 61 6d 65 2c 20 54 20 6c 6e 5f 63 6e 29  lename, T ln_cn)
0e60: 0a 7b 0a 09 72 65 74 75 72 6e 20 65 76 61 6c 28  .{..return eval(
0e70: 20 70 6f 6c 65 6d 79 2e 70 61 72 73 65 2e 70 61   polemy.parse.pa
0e80: 72 73 65 46 69 6c 65 28 66 69 6c 65 6e 61 6d 65  rseFile(filename
0e90: 2c 20 6c 6e 5f 63 6e 29 20 29 3b 0a 7d 0a 0a 2f  , ln_cn) );.}../
0ea0: 2f 2f 20 45 6e 74 72 79 20 70 6f 69 6e 74 20 6f  // Entry point o
0eb0: 66 20 74 68 69 73 20 6d 6f 64 75 6c 65 0d 0a 0d  f this module...
0ec0: 0a 54 75 70 6c 65 21 28 56 61 6c 75 65 2c 22 76  .Tuple!(Value,"v
0ed0: 61 6c 22 2c 54 61 62 6c 65 2c 22 63 74 78 22 29  al",Table,"ctx")
0ee0: 20 65 76 61 6c 28 41 53 54 20 65 29 0a 7b 0a 09   eval(AST e).{..
0ef0: 54 61 62 6c 65 20 63 74 78 20 3d 20 63 72 65 61  Table ctx = crea
0f00: 74 65 47 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 28  teGlobalContext(
0f10: 29 3b 0a 09 72 65 74 75 72 6e 20 74 79 70 65 6f  );..return typeo
0f20: 66 28 72 65 74 75 72 6e 29 28 65 76 61 6c 28 65  f(return)(eval(e
0f30: 2c 20 63 74 78 2c 20 66 61 6c 73 65 2c 20 56 61  , ctx, false, Va
0f40: 6c 75 65 4c 61 79 65 72 29 2c 20 63 74 78 29 3b  lueLayer), ctx);
0f50: 0a 7d 0a 0d 0a 56 61 6c 75 65 20 69 6e 76 6f 6b  .}...Value invok
0f60: 65 46 75 6e 63 74 69 6f 6e 28 69 6e 20 4c 65 78  eFunction(in Lex
0f70: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 56 61  Position pos, Va
0f80: 6c 75 65 20 5f 66 2c 20 41 53 54 5b 5d 20 61 72  lue _f, AST[] ar
0f90: 67 73 2c 20 54 61 62 6c 65 20 63 61 6c 6c 65 72  gs, Table caller
0fa0: 43 74 78 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20  Ctx, Layer lay, 
0fb0: 62 6f 6f 6c 20 41 6c 77 61 79 73 4d 61 63 72 6f  bool AlwaysMacro
0fc0: 3d 66 61 6c 73 65 29 0d 0a 7b 0d 0a 09 69 66 28  =false)..{...if(
0fd0: 61 75 74 6f 20 66 20 3d 20 63 61 73 74 28 46 75  auto f = cast(Fu
0fe0: 6e 56 61 6c 75 65 29 5f 66 29 0d 0a 09 7b 0d 0a  nValue)_f)...{..
0ff0: 09 09 54 61 62 6c 65 20 63 74 78 20 3d 20 6e 65  ..Table ctx = ne
1000: 77 20 54 61 62 6c 65 28 66 2e 64 65 66 69 6e 69  w Table(f.defini
1010: 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 2c 20 54  tionContext(), T
1020: 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f  able.Kind.NotPro
1030: 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 09 66  pagateSet);....f
1040: 6f 72 65 61 63 68 28 69 2c 70 3b 20 66 2e 70 61  oreach(i,p; f.pa
1050: 72 61 6d 73 28 29 29 0d 0a 09 09 09 69 66 28 20  rams()).....if( 
1060: 70 2e 6c 61 79 65 72 73 2e 65 6d 70 74 79 20 29  p.layers.empty )
1070: 0d 0a 09 09 09 09 69 66 28 6c 61 79 3d 3d 4d 61  ......if(lay==Ma
1080: 63 72 6f 4c 61 79 65 72 29 0d 0a 09 09 09 09 09  croLayer).......
1090: 63 74 78 2e 73 65 74 28 70 2e 6e 61 6d 65 2c 20  ctx.set(p.name, 
10a0: 6c 61 79 2c 20 6d 61 63 72 6f 45 76 61 6c 28 61  lay, macroEval(a
10b0: 72 67 73 5b 69 5d 2c 20 63 61 6c 6c 65 72 43 74  rgs[i], callerCt
10c0: 78 2c 20 41 6c 77 61 79 73 4d 61 63 72 6f 29 29  x, AlwaysMacro))
10d0: 3b 0d 0a 09 09 09 09 65 6c 73 65 0d 0a 09 09 09  ;......else.....
10e0: 09 09 63 74 78 2e 73 65 74 28 70 2e 6e 61 6d 65  ..ctx.set(p.name
10f0: 2c 20 6c 61 79 2c 20 65 76 61 6c 28 61 72 67 73  , lay, eval(args
1100: 5b 69 5d 2c 20 63 61 6c 6c 65 72 43 74 78 2c 20  [i], callerCtx, 
1110: 74 72 75 65 2c 20 6c 61 79 29 29 3b 0d 0a 09 09  true, lay));....
1120: 09 65 6c 73 65 0d 0a 09 09 09 09 66 6f 72 65 61  .else......forea
1130: 63 68 28 61 72 67 4c 61 79 3b 20 70 2e 6c 61 79  ch(argLay; p.lay
1140: 65 72 73 29 0d 0a 09 09 09 09 09 69 66 28 61 72  ers).......if(ar
1150: 67 4c 61 79 3d 3d 4d 61 63 72 6f 4c 61 79 65 72  gLay==MacroLayer
1160: 29 0d 0a 09 09 09 09 09 09 63 74 78 2e 73 65 74  )........ctx.set
1170: 28 70 2e 6e 61 6d 65 2c 20 61 72 67 4c 61 79 2c  (p.name, argLay,
1180: 20 6d 61 63 72 6f 45 76 61 6c 28 61 72 67 73 5b   macroEval(args[
1190: 69 5d 2c 20 63 61 6c 6c 65 72 43 74 78 2c 20 41  i], callerCtx, A
11a0: 6c 77 61 79 73 4d 61 63 72 6f 29 29 3b 0d 0a 09  lwaysMacro));...
11b0: 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 09  ....else........
11c0: 63 74 78 2e 73 65 74 28 70 2e 6e 61 6d 65 2c 20  ctx.set(p.name, 
11d0: 61 72 67 4c 61 79 2c 20 65 76 61 6c 28 61 72 67  argLay, eval(arg
11e0: 73 5b 69 5d 2c 20 63 61 6c 6c 65 72 43 74 78 2c  s[i], callerCtx,
11f0: 20 74 72 75 65 2c 20 61 72 67 4c 61 79 29 29 3b   true, argLay));
1200: 0d 0a 09 09 72 65 74 75 72 6e 20 66 2e 69 6e 76  ....return f.inv
1210: 6f 6b 65 28 70 6f 73 2c 20 6c 61 79 2c 20 63 74  oke(pos, lay, ct
1220: 78 29 3b 0d 0a 09 7d 0d 0a 09 74 68 72 6f 77 20  x);...}...throw 
1230: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63  genex!RuntimeExc
1240: 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 74 72 69  eption(pos, "tri
1250: 65 64 20 74 6f 20 63 61 6c 6c 20 6e 6f 6e 2d 66  ed to call non-f
1260: 75 6e 63 74 69 6f 6e 22 29 3b 0d 0a 7d 0d 0a 0d  unction");..}...
1270: 0a 56 61 6c 75 65 20 6c 69 66 74 28 69 6e 20 4c  .Value lift(in L
1280: 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20  exPosition pos, 
1290: 56 61 6c 75 65 20 76 2c 20 4c 61 79 65 72 20 6c  Value v, Layer l
12a0: 61 79 2c 20 54 61 62 6c 65 20 63 61 6c 6c 65 72  ay, Table caller
12b0: 43 74 78 29 0d 0a 7b 0d 0a 09 2f 2f 20 66 75 6e  Ctx)..{...// fun
12c0: 63 74 69 6f 6e 73 20 61 72 65 20 61 75 74 6f 6d  ctions are autom
12d0: 61 74 69 63 61 6c 6c 79 20 6c 69 66 74 65 72 64  atically lifterd
12e0: 0d 0a 09 69 66 28 20 63 61 73 74 28 46 75 6e 56  ...if( cast(FunV
12f0: 61 6c 75 65 29 20 76 20 29 0d 0a 09 09 72 65 74  alue) v )....ret
1300: 75 72 6e 20 76 3b 0d 0a 09 0d 0a 09 2f 2f 20 73  urn v;......// s
1310: 69 6d 69 6c 61 72 20 74 6f 20 69 6e 76 6f 6b 65  imilar to invoke
1320: 20 46 75 6e 63 74 69 6f 6e 2c 20 62 75 74 20 77   Function, but w
1330: 69 74 68 20 6f 6e 6c 79 20 6f 6e 65 20 61 72 67  ith only one arg
1340: 75 6d 65 6e 74 20 62 6f 75 6e 64 20 74 6f 20 56  ument bound to V
1350: 61 6c 75 65 4c 61 79 65 72 0d 0a 09 56 61 6c 75  alueLayer...Valu
1360: 65 20 5f 66 20 3d 20 63 61 6c 6c 65 72 43 74 78  e _f = callerCtx
1370: 2e 67 65 74 28 6c 61 79 2c 20 53 79 73 74 65 6d  .get(lay, System
1380: 4c 61 79 65 72 2c 20 70 6f 73 29 3b 0d 0a 09 69  Layer, pos);...i
1390: 66 28 61 75 74 6f 20 66 20 3d 20 63 61 73 74 28  f(auto f = cast(
13a0: 46 75 6e 56 61 6c 75 65 29 5f 66 29 0d 0a 09 7b  FunValue)_f)...{
13b0: 0d 0a 09 09 54 61 62 6c 65 20 63 74 78 20 3d 20  ....Table ctx = 
13c0: 6e 65 77 20 54 61 62 6c 65 28 66 2e 64 65 66 69  new Table(f.defi
13d0: 6e 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 2c  nitionContext(),
13e0: 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50   Table.Kind.NotP
13f0: 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 09  ropagateSet);...
1400: 09 61 75 74 6f 20 70 73 20 3d 20 66 2e 70 61 72  .auto ps = f.par
1410: 61 6d 73 28 29 3b 0d 0a 09 09 69 66 28 20 70 73  ams();....if( ps
1420: 2e 6c 65 6e 67 74 68 20 21 3d 20 31 20 29 0d 0a  .length != 1 )..
1430: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52  ...throw genex!R
1440: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28  untimeException(
1450: 70 6f 73 2c 20 22 6c 69 66 74 20 66 75 6e 63 74  pos, "lift funct
1460: 69 6f 6e 20 6d 75 73 74 20 74 61 6b 65 20 65 78  ion must take ex
1470: 61 63 74 6c 79 20 6f 6e 65 20 61 72 67 75 6d 65  actly one argume
1480: 6e 74 20 61 74 20 22 7e 56 61 6c 75 65 4c 61 79  nt at "~ValueLay
1490: 65 72 7e 22 20 6c 61 79 65 72 22 29 3b 0d 0a 09  er~" layer");...
14a0: 09 69 66 28 20 70 73 5b 30 5d 2e 6c 61 79 65 72  .if( ps[0].layer
14b0: 73 2e 6c 65 6e 67 74 68 3d 3d 30 20 7c 7c 20 70  s.length==0 || p
14c0: 73 5b 30 5d 2e 6c 61 79 65 72 73 2e 6c 65 6e 67  s[0].layers.leng
14d0: 74 68 3d 3d 31 20 26 26 20 70 73 5b 30 5d 2e 6c  th==1 && ps[0].l
14e0: 61 79 65 72 73 5b 30 5d 3d 3d 56 61 6c 75 65 4c  ayers[0]==ValueL
14f0: 61 79 65 72 20 29 0d 0a 09 09 7b 0d 0a 09 09 09  ayer )....{.....
1500: 63 74 78 2e 73 65 74 28 70 73 5b 30 5d 2e 6e 61  ctx.set(ps[0].na
1510: 6d 65 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20  me, ValueLayer, 
1520: 76 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 66  v);.....return f
1530: 2e 69 6e 76 6f 6b 65 28 70 6f 73 2c 20 56 61 6c  .invoke(pos, Val
1540: 75 65 4c 61 79 65 72 2c 20 63 74 78 29 3b 0d 0a  ueLayer, ctx);..
1550: 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 09  ..}....else.....
1560: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74  throw genex!Runt
1570: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73  imeException(pos
1580: 2c 20 22 6c 69 66 74 20 66 75 6e 63 74 69 6f 6e  , "lift function
1590: 20 6d 75 73 74 20 74 61 6b 65 20 65 78 61 63 74   must take exact
15a0: 6c 79 20 6f 6e 65 20 61 72 67 75 6d 65 6e 74 20  ly one argument 
15b0: 61 74 20 22 7e 56 61 6c 75 65 4c 61 79 65 72 7e  at "~ValueLayer~
15c0: 22 20 6c 61 79 65 72 22 29 3b 0d 0a 09 7d 0d 0a  " layer");...}..
15d0: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e  .throw genex!Run
15e0: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f  timeException(po
15f0: 73 2c 20 22 74 72 69 65 64 20 74 6f 20 63 61 6c  s, "tried to cal
1600: 6c 20 6e 6f 6e 2d 66 75 6e 63 74 69 6f 6e 22 29  l non-function")
1610: 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 45 6e 74 72  ;..}..../// Entr
1620: 79 20 70 6f 69 6e 74 20 6f 66 20 74 68 69 73 20  y point of this 
1630: 6d 6f 64 75 6c 65 0d 0a 2f 2f 2f 20 49 66 20 73  module../// If s
1640: 70 6c 69 74 43 74 78 20 3d 20 74 72 75 65 2c 20  plitCtx = true, 
1650: 74 68 65 6e 20 69 6e 6e 65 72 20 76 61 72 69 61  then inner varia
1660: 62 6c 65 20 64 65 63 6c 61 72 61 74 69 6f 6e 20  ble declaration 
1670: 64 6f 20 6e 6f 74 20 6f 76 65 72 77 72 69 74 65  do not overwrite
1680: 20 63 74 78 2e 0d 0a 2f 2f 2f 20 6c 61 79 20 69   ctx.../// lay i
1690: 73 20 74 68 65 20 6c 61 79 65 72 20 49 44 20 66  s the layer ID f
16a0: 6f 72 20 65 76 61 6c 75 61 74 69 6f 6e 20 28 73  or evaluation (s
16b0: 74 61 6e 64 61 72 64 20 76 61 6c 75 65 20 73 65  tandard value se
16c0: 6d 61 6e 74 69 63 73 20 75 73 65 73 20 56 61 6c  mantics uses Val
16d0: 75 65 4c 61 79 65 72 29 2e 0d 0a 0d 0a 56 61 6c  ueLayer).....Val
16e0: 75 65 20 65 76 61 6c 28 41 53 54 20 65 2c 20 54  ue eval(AST e, T
16f0: 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 73  able ctx, bool s
1700: 70 6c 69 74 43 74 78 2c 20 4c 61 79 65 72 20 6c  plitCtx, Layer l
1710: 61 79 29 0a 7b 0d 0a 09 72 65 74 75 72 6e 20 65  ay).{...return e
1720: 2e 6d 61 74 63 68 28 0a 09 09 28 53 74 72 4c 69  .match(...(StrLi
1730: 74 65 72 61 6c 20 65 29 0a 09 09 7b 0d 0a 09 09  teral e)...{....
1740: 09 56 61 6c 75 65 20 76 20 3d 20 6e 65 77 20 53  .Value v = new S
1750: 74 72 56 61 6c 75 65 28 65 2e 64 61 74 61 29 3b  trValue(e.data);
1760: 0d 0a 09 09 09 69 66 28 20 6c 61 79 20 3d 3d 20  .....if( lay == 
1770: 56 61 6c 75 65 4c 61 79 65 72 20 29 0a 09 09 09  ValueLayer )....
1780: 09 72 65 74 75 72 6e 20 76 3b 0d 0a 09 09 09 65  .return v;.....e
1790: 6c 73 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20  lse......return 
17a0: 6c 69 66 74 28 65 2e 70 6f 73 2c 76 2c 6c 61 79  lift(e.pos,v,lay
17b0: 2c 63 74 78 29 3b 0a 09 09 7d 2c 0a 09 09 28 49  ,ctx);...},...(I
17c0: 6e 74 4c 69 74 65 72 61 6c 20 65 29 0a 09 09 7b  ntLiteral e)...{
17d0: 0a 09 09 09 56 61 6c 75 65 20 76 20 3d 20 6e 65  ....Value v = ne
17e0: 77 20 49 6e 74 56 61 6c 75 65 28 65 2e 64 61 74  w IntValue(e.dat
17f0: 61 29 3b 0d 0a 09 09 09 69 66 28 20 6c 61 79 20  a);.....if( lay 
1800: 3d 3d 20 56 61 6c 75 65 4c 61 79 65 72 20 29 0d  == ValueLayer ).
1810: 0a 09 09 09 09 72 65 74 75 72 6e 20 76 3b 0a 09  .....return v;..
1820: 09 09 65 6c 73 65 20 2f 2f 20 72 69 73 65 0d 0a  ..else // rise..
1830: 09 09 09 09 72 65 74 75 72 6e 20 6c 69 66 74 28  ....return lift(
1840: 65 2e 70 6f 73 2c 76 2c 6c 61 79 2c 63 74 78 29  e.pos,v,lay,ctx)
1850: 3b 0d 0a 09 09 7d 2c 0a 09 09 28 56 61 72 45 78  ;....},...(VarEx
1860: 70 72 65 73 73 69 6f 6e 20 65 29 0d 0a 09 09 7b  pression e)....{
1870: 0d 0a 09 09 09 69 66 28 20 6c 61 79 20 3d 3d 20  .....if( lay == 
1880: 56 61 6c 75 65 4c 61 79 65 72 20 29 0d 0a 09 09  ValueLayer )....
1890: 09 09 72 65 74 75 72 6e 20 63 74 78 2e 67 65 74  ..return ctx.get
18a0: 28 65 2e 6e 61 6d 65 2c 20 6c 61 79 2c 20 65 2e  (e.name, lay, e.
18b0: 70 6f 73 29 3b 0d 0a 09 09 09 69 66 28 20 63 74  pos);.....if( ct
18c0: 78 2e 68 61 73 28 65 2e 6e 61 6d 65 2c 20 6c 61  x.has(e.name, la
18d0: 79 2c 20 65 2e 70 6f 73 29 20 29 0d 0a 09 09 09  y, e.pos) ).....
18e0: 09 72 65 74 75 72 6e 20 63 74 78 2e 67 65 74 28  .return ctx.get(
18f0: 65 2e 6e 61 6d 65 2c 20 6c 61 79 2c 20 65 2e 70  e.name, lay, e.p
1900: 6f 73 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09  os);.....else...
1910: 09 09 09 72 65 74 75 72 6e 20 6c 69 66 74 28 65  ...return lift(e
1920: 2e 70 6f 73 2c 20 63 74 78 2e 67 65 74 28 65 2e  .pos, ctx.get(e.
1930: 6e 61 6d 65 2c 20 56 61 6c 75 65 4c 61 79 65 72  name, ValueLayer
1940: 2c 20 65 2e 70 6f 73 29 2c 20 6c 61 79 2c 20 63  , e.pos), lay, c
1950: 74 78 29 3b 0d 0a 09 09 7d 2c 0d 0a 09 09 28 4c  tx);....},....(L
1960: 61 79 45 78 70 72 65 73 73 69 6f 6e 20 65 29 0d  ayExpression e).
1970: 0a 09 09 7b 0d 0a 09 09 09 69 66 28 20 65 2e 6c  ...{.....if( e.l
1980: 61 79 65 72 20 3d 3d 20 4d 61 63 72 6f 4c 61 79  ayer == MacroLay
1990: 65 72 20 29 0d 0a 09 09 09 09 72 65 74 75 72 6e  er )......return
19a0: 20 6d 61 63 72 6f 45 76 61 6c 28 65 2e 65 78 70   macroEval(e.exp
19b0: 72 2c 20 63 74 78 2c 20 66 61 6c 73 65 29 3b 0d  r, ctx, false);.
19c0: 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 72 65  ....else......re
19d0: 74 75 72 6e 20 65 76 61 6c 28 65 2e 65 78 70 72  turn eval(e.expr
19e0: 2c 20 63 74 78 2c 20 74 72 75 65 2c 20 65 2e 6c  , ctx, true, e.l
19f0: 61 79 65 72 29 3b 0d 0a 09 09 7d 2c 0d 0a 09 09  ayer);....},....
1a00: 28 4c 65 74 45 78 70 72 65 73 73 69 6f 6e 20 65  (LetExpression e
1a10: 29 0d 0a 09 09 7b 0d 0a 09 09 09 2f 2f 20 66 6f  )....{.....// fo
1a20: 72 20 6c 65 74 72 65 63 2c 20 77 65 20 6e 65 65  r letrec, we nee
1a30: 64 20 74 68 69 73 2c 20 62 75 74 20 73 68 6f 75  d this, but shou
1a40: 6c 64 20 61 76 6f 69 64 20 6f 76 65 72 77 72 69  ld avoid overwri
1a50: 74 69 6e 67 3f 3f 3f 3f 0d 0a 09 09 09 2f 2f 20  ting????.....// 
1a60: 63 74 78 2e 73 65 74 28 65 2e 76 61 72 2c 20 56  ctx.set(e.var, V
1a70: 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 20 55  alueLayer, new U
1a80: 6e 64 65 66 69 6e 65 64 56 61 6c 75 65 2c 20 65  ndefinedValue, e
1a90: 2e 70 6f 73 29 3b 0d 0a 09 09 09 69 66 28 73 70  .pos);.....if(sp
1aa0: 6c 69 74 43 74 78 29 0d 0a 09 09 09 09 63 74 78  litCtx)......ctx
1ab0: 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 74 78   = new Table(ctx
1ac0: 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74  , Table.Kind.Not
1ad0: 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a  PropagateSet);..
1ae0: 09 09 09 56 61 6c 75 65 20 76 20 3d 20 65 76 61  ...Value v = eva
1af0: 6c 28 65 2e 69 6e 69 74 2c 20 63 74 78 2c 20 74  l(e.init, ctx, t
1b00: 72 75 65 2c 20 6c 61 79 29 3b 0d 0a 09 09 09 63  rue, lay);.....c
1b10: 74 78 2e 73 65 74 28 65 2e 6e 61 6d 65 2c 20 28  tx.set(e.name, (
1b20: 65 2e 6c 61 79 65 72 2e 6c 65 6e 67 74 68 20 3f  e.layer.length ?
1b30: 20 65 2e 6c 61 79 65 72 20 3a 20 6c 61 79 29 2c   e.layer : lay),
1b40: 20 76 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 09 09   v, e.pos);.....
1b50: 72 65 74 75 72 6e 20 65 76 61 6c 28 65 2e 65 78  return eval(e.ex
1b60: 70 72 2c 20 63 74 78 2c 20 66 61 6c 73 65 2c 20  pr, ctx, false, 
1b70: 6c 61 79 29 3b 0d 0a 09 09 7d 2c 0d 0a 09 09 28  lay);....},....(
1b80: 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f  FuncallExpressio
1b90: 6e 20 65 29 0a 09 09 7b 0a 09 09 09 72 65 74 75  n e)...{....retu
1ba0: 72 6e 20 69 6e 76 6f 6b 65 46 75 6e 63 74 69 6f  rn invokeFunctio
1bb0: 6e 28 65 2e 70 6f 73 2c 20 65 76 61 6c 28 65 2e  n(e.pos, eval(e.
1bc0: 66 75 6e 2c 20 63 74 78 2c 20 74 72 75 65 2c 20  fun, ctx, true, 
1bd0: 6c 61 79 29 2c 20 65 2e 61 72 67 73 2c 20 63 74  lay), e.args, ct
1be0: 78 2c 20 6c 61 79 29 3b 0d 0a 09 09 7d 2c 0a 09  x, lay);....},..
1bf0: 09 28 46 75 6e 4c 69 74 65 72 61 6c 20 65 29 0a  .(FunLiteral e).
1c00: 09 09 7b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e  ..{.....return n
1c10: 65 77 20 55 73 65 72 44 65 66 69 6e 65 64 46 75  ew UserDefinedFu
1c20: 6e 56 61 6c 75 65 28 65 2c 20 63 74 78 29 3b 0a  nValue(e, ctx);.
1c30: 09 09 7d 2c 0d 0a 09 09 64 65 6c 65 67 61 74 65  ..},....delegate
1c40: 20 56 61 6c 75 65 20 28 41 53 54 20 65 29 0d 0a   Value (AST e)..
1c50: 09 09 7b 0a 09 09 09 74 68 72 6f 77 20 67 65 6e  ..{....throw gen
1c60: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74  ex!RuntimeExcept
1c70: 69 6f 6e 28 65 2e 70 6f 73 2c 20 73 70 72 69 6e  ion(e.pos, sprin
1c80: 74 66 21 22 55 6e 6b 6e 6f 77 6e 20 4b 69 6e 64  tf!"Unknown Kind
1c90: 20 6f 66 20 45 78 70 72 65 73 73 69 6f 6e 20 25   of Expression %
1ca0: 73 22 28 74 79 70 65 69 64 28 65 29 29 29 3b 0d  s"(typeid(e)));.
1cb0: 0a 09 09 7d 0d 0a 09 29 3b 0a 7d 0d 0a 0d 0a 2f  ...}...);.}..../
1cc0: 2f 20 5b 54 4f 44 4f 5d 20 4f 70 74 69 6d 69 7a  / [TODO] Optimiz
1cd0: 61 74 69 6f 6e 0d 0a 56 61 6c 75 65 20 6d 61 63  ation..Value mac
1ce0: 72 6f 45 76 61 6c 28 41 53 54 20 65 2c 20 54 61  roEval(AST e, Ta
1cf0: 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 41 6c  ble ctx, bool Al
1d00: 77 61 79 73 4d 61 63 72 6f 29 0d 0a 7b 0d 0a 09  waysMacro)..{...
1d10: 4c 61 79 65 72 20 74 68 65 4c 61 79 65 72 20 3d  Layer theLayer =
1d20: 20 56 61 6c 75 65 4c 61 79 65 72 3b 0d 0a 0d 0a   ValueLayer;....
1d30: 09 54 61 62 6c 65 20 6d 61 6b 65 43 6f 6e 73 28  .Table makeCons(
1d40: 56 61 6c 75 65 20 61 2c 20 56 61 6c 75 65 20 64  Value a, Value d
1d50: 29 0d 0a 09 7b 0d 0a 09 09 54 61 62 6c 65 20 74  )...{....Table t
1d60: 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09   = new Table;...
1d70: 09 74 2e 73 65 74 28 22 63 61 72 22 2c 20 74 68  .t.set("car", th
1d80: 65 4c 61 79 65 72 2c 20 61 29 3b 0d 0a 09 09 74  eLayer, a);....t
1d90: 2e 73 65 74 28 22 63 64 72 22 2c 20 74 68 65 4c  .set("cdr", theL
1da0: 61 79 65 72 2c 20 64 29 3b 0d 0a 09 09 72 65 74  ayer, d);....ret
1db0: 75 72 6e 20 74 3b 0d 0a 09 7d 0d 0a 0d 0a 09 54  urn t;...}.....T
1dc0: 61 62 6c 65 20 70 6f 73 20 3d 20 6e 65 77 20 54  able pos = new T
1dd0: 61 62 6c 65 3b 0d 0a 09 69 66 28 20 65 2e 70 6f  able;...if( e.po
1de0: 73 20 21 69 73 20 6e 75 6c 6c 20 29 20 7b 0d 0a  s !is null ) {..
1df0: 09 09 70 6f 73 2e 73 65 74 28 22 66 69 6c 65 6e  ..pos.set("filen
1e00: 61 6d 65 22 2c 20 74 68 65 4c 61 79 65 72 2c 20  ame", theLayer, 
1e10: 6e 65 77 20 53 74 72 56 61 6c 75 65 28 65 2e 70  new StrValue(e.p
1e20: 6f 73 2e 66 69 6c 65 6e 61 6d 65 29 29 3b 0d 0a  os.filename));..
1e30: 09 09 70 6f 73 2e 73 65 74 28 22 6c 69 6e 65 6e  ..pos.set("linen
1e40: 6f 22 2c 20 20 20 74 68 65 4c 61 79 65 72 2c 20  o",   theLayer, 
1e50: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67  new IntValue(Big
1e60: 49 6e 74 28 65 2e 70 6f 73 2e 6c 69 6e 65 6e 6f  Int(e.pos.lineno
1e70: 29 29 29 3b 0d 0a 09 09 70 6f 73 2e 73 65 74 28  )));....pos.set(
1e80: 22 63 6f 6c 75 6d 6e 22 2c 20 20 20 74 68 65 4c  "column",   theL
1e90: 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c  ayer, new IntVal
1ea0: 75 65 28 42 69 67 49 6e 74 28 65 2e 70 6f 73 2e  ue(BigInt(e.pos.
1eb0: 63 6f 6c 75 6d 6e 29 29 29 3b 0d 0a 09 7d 20 65  column)));...} e
1ec0: 6c 73 65 20 7b 0d 0a 09 09 70 6f 73 2e 73 65 74  lse {....pos.set
1ed0: 28 22 66 69 6c 65 6e 61 6d 65 22 2c 20 74 68 65  ("filename", the
1ee0: 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 72 56 61  Layer, new StrVa
1ef0: 6c 75 65 28 22 6e 75 6c 6c 70 6f 73 22 29 29 3b  lue("nullpos"));
1f00: 0d 0a 09 09 70 6f 73 2e 73 65 74 28 22 6c 69 6e  ....pos.set("lin
1f10: 65 6e 6f 22 2c 20 20 20 74 68 65 4c 61 79 65 72  eno",   theLayer
1f20: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42  , new IntValue(B
1f30: 69 67 49 6e 74 28 30 29 29 29 3b 0d 0a 09 09 70  igInt(0)));....p
1f40: 6f 73 2e 73 65 74 28 22 63 6f 6c 75 6d 6e 22 2c  os.set("column",
1f50: 20 20 20 74 68 65 4c 61 79 65 72 2c 20 6e 65 77     theLayer, new
1f60: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74   IntValue(BigInt
1f70: 28 30 29 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 72  (0)));...}.....r
1f80: 65 74 75 72 6e 20 65 2e 6d 61 74 63 68 28 0d 0a  eturn e.match(..
1f90: 09 09 28 53 74 72 4c 69 74 65 72 61 6c 20 65 29  ..(StrLiteral e)
1fa0: 0d 0a 09 09 7b 0d 0a 09 09 09 54 61 62 6c 65 20  ....{.....Table 
1fb0: 74 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a  t = new Table;..
1fc0: 09 09 09 74 2e 73 65 74 28 22 70 6f 73 22 2c 20  ...t.set("pos", 
1fd0: 20 74 68 65 4c 61 79 65 72 2c 20 70 6f 73 29 3b   theLayer, pos);
1fe0: 0d 0a 09 09 09 74 2e 73 65 74 28 22 69 73 22 2c  .....t.set("is",
1ff0: 20 20 20 74 68 65 4c 61 79 65 72 2c 20 6e 65 77     theLayer, new
2000: 20 53 74 72 56 61 6c 75 65 28 22 73 74 72 22 29   StrValue("str")
2010: 29 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22 64 61  );.....t.set("da
2020: 74 61 22 2c 20 74 68 65 4c 61 79 65 72 2c 20 6e  ta", theLayer, n
2030: 65 77 20 53 74 72 56 61 6c 75 65 28 65 2e 64 61  ew StrValue(e.da
2040: 74 61 29 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e  ta));.....return
2050: 20 74 3b 0d 0a 09 09 7d 2c 0d 0a 09 09 28 49 6e   t;....},....(In
2060: 74 4c 69 74 65 72 61 6c 20 65 29 0d 0a 09 09 7b  tLiteral e)....{
2070: 0d 0a 09 09 09 54 61 62 6c 65 20 74 20 3d 20 6e  .....Table t = n
2080: 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 74 2e  ew Table;.....t.
2090: 73 65 74 28 22 70 6f 73 22 2c 20 20 74 68 65 4c  set("pos",  theL
20a0: 61 79 65 72 2c 20 70 6f 73 29 3b 0d 0a 09 09 09  ayer, pos);.....
20b0: 74 2e 73 65 74 28 22 69 73 22 2c 20 20 20 74 68  t.set("is",   th
20c0: 65 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 72 56  eLayer, new StrV
20d0: 61 6c 75 65 28 22 69 6e 74 22 29 29 3b 0d 0a 09  alue("int"));...
20e0: 09 09 74 2e 73 65 74 28 22 64 61 74 61 22 2c 20  ..t.set("data", 
20f0: 74 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e  theLayer, new In
2100: 74 56 61 6c 75 65 28 65 2e 64 61 74 61 29 29 3b  tValue(e.data));
2110: 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 3b 0d 0a  .....return t;..
2120: 09 09 7d 2c 0d 0a 09 09 28 56 61 72 45 78 70 72  ..},....(VarExpr
2130: 65 73 73 69 6f 6e 20 65 29 0d 0a 09 09 7b 0d 0a  ession e)....{..
2140: 09 09 09 69 66 28 20 63 74 78 2e 68 61 73 28 65  ...if( ctx.has(e
2150: 2e 6e 61 6d 65 2c 20 4d 61 63 72 6f 4c 61 79 65  .name, MacroLaye
2160: 72 2c 20 65 2e 70 6f 73 29 20 29 0d 0a 09 09 09  r, e.pos) ).....
2170: 09 72 65 74 75 72 6e 20 63 74 78 2e 67 65 74 28  .return ctx.get(
2180: 65 2e 6e 61 6d 65 2c 20 4d 61 63 72 6f 4c 61 79  e.name, MacroLay
2190: 65 72 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 09 09  er, e.pos);.....
21a0: 65 6c 73 65 20 7b 0d 0a 09 09 09 09 54 61 62 6c  else {......Tabl
21b0: 65 20 74 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b  e t = new Table;
21c0: 0d 0a 09 09 09 09 74 2e 73 65 74 28 22 70 6f 73  ......t.set("pos
21d0: 22 2c 20 20 74 68 65 4c 61 79 65 72 2c 20 70 6f  ",  theLayer, po
21e0: 73 29 3b 0d 0a 09 09 09 09 74 2e 73 65 74 28 22  s);......t.set("
21f0: 69 73 22 2c 20 20 20 74 68 65 4c 61 79 65 72 2c  is",   theLayer,
2200: 20 6e 65 77 20 53 74 72 56 61 6c 75 65 28 22 76   new StrValue("v
2210: 61 72 22 29 29 3b 0d 0a 09 09 09 09 74 2e 73 65  ar"));......t.se
2220: 74 28 22 6e 61 6d 65 22 2c 20 74 68 65 4c 61 79  t("name", theLay
2230: 65 72 2c 20 6e 65 77 20 53 74 72 56 61 6c 75 65  er, new StrValue
2240: 28 65 2e 6e 61 6d 65 29 29 3b 0d 0a 09 09 09 09  (e.name));......
2250: 72 65 74 75 72 6e 20 63 61 73 74 28 56 61 6c 75  return cast(Valu
2260: 65 29 74 3b 0d 0a 09 09 09 7d 0d 0a 09 09 7d 2c  e)t;.....}....},
2270: 0d 0a 09 09 28 4c 61 79 45 78 70 72 65 73 73 69  ....(LayExpressi
2280: 6f 6e 20 65 29 0d 0a 09 09 7b 0d 0a 09 09 09 69  on e)....{.....i
2290: 66 28 20 41 6c 77 61 79 73 4d 61 63 72 6f 20 29  f( AlwaysMacro )
22a0: 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 54 61 62 6c  .....{......Tabl
22b0: 65 20 74 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b  e t = new Table;
22c0: 0d 0a 09 09 09 09 74 2e 73 65 74 28 22 70 6f 73  ......t.set("pos
22d0: 22 2c 20 20 20 74 68 65 4c 61 79 65 72 2c 20 70  ",   theLayer, p
22e0: 6f 73 29 3b 0d 0a 09 09 09 09 74 2e 73 65 74 28  os);......t.set(
22f0: 22 69 73 22 2c 20 20 20 20 74 68 65 4c 61 79 65  "is",    theLaye
2300: 72 2c 20 6e 65 77 20 53 74 72 56 61 6c 75 65 28  r, new StrValue(
2310: 22 6c 61 79 22 29 29 3b 0d 0a 09 09 09 09 74 2e  "lay"));......t.
2320: 73 65 74 28 22 6c 61 79 65 72 22 2c 20 74 68 65  set("layer", the
2330: 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 72 56 61  Layer, new StrVa
2340: 6c 75 65 28 65 2e 6c 61 79 65 72 29 29 3b 0d 0a  lue(e.layer));..
2350: 09 09 09 09 74 2e 73 65 74 28 22 65 78 70 72 22  ....t.set("expr"
2360: 2c 20 20 74 68 65 4c 61 79 65 72 2c 20 6d 61 63  ,  theLayer, mac
2370: 72 6f 45 76 61 6c 28 65 2e 65 78 70 72 2c 63 74  roEval(e.expr,ct
2380: 78 2c 41 6c 77 61 79 73 4d 61 63 72 6f 29 29 3b  x,AlwaysMacro));
2390: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 63 61 73  ......return cas
23a0: 74 28 56 61 6c 75 65 29 74 3b 0d 0a 09 09 09 7d  t(Value)t;.....}
23b0: 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 7b 0d  .....else.....{.
23c0: 0a 09 09 09 09 69 66 28 20 65 2e 6c 61 79 65 72  .....if( e.layer
23d0: 20 3d 3d 20 4d 61 63 72 6f 4c 61 79 65 72 20 29   == MacroLayer )
23e0: 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 6d 61  .......return ma
23f0: 63 72 6f 45 76 61 6c 28 65 2e 65 78 70 72 2c 20  croEval(e.expr, 
2400: 63 74 78 2c 20 66 61 6c 73 65 29 3b 0d 0a 09 09  ctx, false);....
2410: 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 72 65 74  ..else.......ret
2420: 75 72 6e 20 65 76 61 6c 28 65 2e 65 78 70 72 2c  urn eval(e.expr,
2430: 20 63 74 78 2c 20 74 72 75 65 2c 20 65 2e 6c 61   ctx, true, e.la
2440: 79 65 72 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 7d  yer);.....}....}
2450: 2c 0d 0a 09 09 28 4c 65 74 45 78 70 72 65 73 73  ,....(LetExpress
2460: 69 6f 6e 20 65 29 0d 0a 09 09 7b 0d 0a 09 09 09  ion e)....{.....
2470: 54 61 62 6c 65 20 74 20 3d 20 6e 65 77 20 54 61  Table t = new Ta
2480: 62 6c 65 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22  ble;.....t.set("
2490: 70 6f 73 22 2c 20 20 74 68 65 4c 61 79 65 72 2c  pos",  theLayer,
24a0: 20 70 6f 73 29 3b 0d 0a 09 09 09 74 2e 73 65 74   pos);.....t.set
24b0: 28 22 69 73 22 2c 20 20 20 74 68 65 4c 61 79 65  ("is",   theLaye
24c0: 72 2c 20 6e 65 77 20 53 74 72 56 61 6c 75 65 28  r, new StrValue(
24d0: 22 6c 65 74 22 29 29 3b 0d 0a 09 09 09 74 2e 73  "let"));.....t.s
24e0: 65 74 28 22 6e 61 6d 65 22 2c 20 74 68 65 4c 61  et("name", theLa
24f0: 79 65 72 2c 20 6e 65 77 20 53 74 72 56 61 6c 75  yer, new StrValu
2500: 65 28 65 2e 6e 61 6d 65 29 29 3b 0d 0a 09 09 09  e(e.name));.....
2510: 74 2e 73 65 74 28 22 69 6e 69 74 22 2c 20 74 68  t.set("init", th
2520: 65 4c 61 79 65 72 2c 20 6d 61 63 72 6f 45 76 61  eLayer, macroEva
2530: 6c 28 65 2e 69 6e 69 74 2c 63 74 78 2c 41 6c 77  l(e.init,ctx,Alw
2540: 61 79 73 4d 61 63 72 6f 29 29 3b 0d 0a 09 09 09  aysMacro));.....
2550: 74 2e 73 65 74 28 22 65 78 70 72 22 2c 20 74 68  t.set("expr", th
2560: 65 4c 61 79 65 72 2c 20 6d 61 63 72 6f 45 76 61  eLayer, macroEva
2570: 6c 28 65 2e 65 78 70 72 2c 63 74 78 2c 41 6c 77  l(e.expr,ctx,Alw
2580: 61 79 73 4d 61 63 72 6f 29 29 3b 0d 0a 09 09 09  aysMacro));.....
2590: 72 65 74 75 72 6e 20 74 3b 0d 0a 09 09 7d 2c 0d  return t;....},.
25a0: 0a 09 09 28 46 75 6e 63 61 6c 6c 45 78 70 72 65  ...(FuncallExpre
25b0: 73 73 69 6f 6e 20 65 29 0d 0a 09 09 7b 0d 0a 09  ssion e)....{...
25c0: 09 09 56 61 6c 75 65 20 5f 66 20 3d 20 6d 61 63  ..Value _f = mac
25d0: 72 6f 45 76 61 6c 28 65 2e 66 75 6e 2c 63 74 78  roEval(e.fun,ctx
25e0: 2c 41 6c 77 61 79 73 4d 61 63 72 6f 29 3b 0d 0a  ,AlwaysMacro);..
25f0: 0d 0a 09 09 09 69 66 28 20 61 75 74 6f 20 66 20  .....if( auto f 
2600: 3d 20 63 61 73 74 28 46 75 6e 56 61 6c 75 65 29  = cast(FunValue)
2610: 5f 66 20 29 0d 0a 09 09 09 09 72 65 74 75 72 6e  _f )......return
2620: 20 69 6e 76 6f 6b 65 46 75 6e 63 74 69 6f 6e 28   invokeFunction(
2630: 65 2e 70 6f 73 2c 20 66 2c 20 65 2e 61 72 67 73  e.pos, f, e.args
2640: 2c 20 63 74 78 2c 20 4d 61 63 72 6f 4c 61 79 65  , ctx, MacroLaye
2650: 72 2c 20 41 6c 77 61 79 73 4d 61 63 72 6f 29 3b  r, AlwaysMacro);
2660: 0d 0a 0d 0a 09 09 09 54 61 62 6c 65 20 74 20 3d  .......Table t =
2670: 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09   new Table;.....
2680: 74 2e 73 65 74 28 22 70 6f 73 22 2c 20 20 74 68  t.set("pos",  th
2690: 65 4c 61 79 65 72 2c 20 70 6f 73 29 3b 0d 0a 09  eLayer, pos);...
26a0: 09 09 74 2e 73 65 74 28 22 69 73 22 2c 20 20 20  ..t.set("is",   
26b0: 74 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 53 74  theLayer, new St
26c0: 72 56 61 6c 75 65 28 22 61 70 70 22 29 29 3b 0d  rValue("app"));.
26d0: 0a 09 09 09 74 2e 73 65 74 28 22 66 75 6e 22 2c  ....t.set("fun",
26e0: 20 20 74 68 65 4c 61 79 65 72 2c 20 5f 66 29 3b    theLayer, _f);
26f0: 0d 0a 09 09 09 54 61 62 6c 65 20 61 72 67 73 20  .....Table args 
2700: 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09  = new Table;....
2710: 09 66 6f 72 65 61 63 68 5f 72 65 76 65 72 73 65  .foreach_reverse
2720: 28 61 3b 20 65 2e 61 72 67 73 29 20 7b 0d 0a 09  (a; e.args) {...
2730: 09 09 09 54 61 62 6c 65 20 63 6f 6e 73 20 3d 20  ...Table cons = 
2740: 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 09  new Table;......
2750: 63 6f 6e 73 2e 73 65 74 28 22 63 61 72 22 2c 74  cons.set("car",t
2760: 68 65 4c 61 79 65 72 2c 6d 61 63 72 6f 45 76 61  heLayer,macroEva
2770: 6c 28 61 2c 63 74 78 2c 41 6c 77 61 79 73 4d 61  l(a,ctx,AlwaysMa
2780: 63 72 6f 29 29 3b 0d 0a 09 09 09 09 63 6f 6e 73  cro));......cons
2790: 2e 73 65 74 28 22 63 64 72 22 2c 74 68 65 4c 61  .set("cdr",theLa
27a0: 79 65 72 2c 61 72 67 73 29 3b 0d 0a 09 09 09 09  yer,args);......
27b0: 61 72 67 73 20 3d 20 63 6f 6e 73 3b 0d 0a 09 09  args = cons;....
27c0: 09 7d 0d 0a 09 09 09 74 2e 73 65 74 28 22 61 72  .}.....t.set("ar
27d0: 67 73 22 2c 20 74 68 65 4c 61 79 65 72 2c 20 61  gs", theLayer, a
27e0: 72 67 73 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e  rgs);.....return
27f0: 20 63 61 73 74 28 56 61 6c 75 65 29 74 3b 0d 0a   cast(Value)t;..
2800: 09 09 7d 2c 0d 0a 09 09 28 46 75 6e 4c 69 74 65  ..},....(FunLite
2810: 72 61 6c 20 65 29 0d 0a 09 09 7b 0d 0a 09 09 09  ral e)....{.....
2820: 54 61 62 6c 65 20 74 20 3d 20 6e 65 77 20 54 61  Table t = new Ta
2830: 62 6c 65 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22  ble;.....t.set("
2840: 70 6f 73 22 2c 20 20 20 74 68 65 4c 61 79 65 72  pos",   theLayer
2850: 2c 20 70 6f 73 29 3b 0d 0a 09 09 09 74 2e 73 65  , pos);.....t.se
2860: 74 28 22 69 73 22 2c 20 20 20 20 74 68 65 4c 61  t("is",    theLa
2870: 79 65 72 2c 20 6e 65 77 20 53 74 72 56 61 6c 75  yer, new StrValu
2880: 65 28 22 66 75 6e 22 29 29 3b 0d 0a 09 09 09 74  e("fun"));.....t
2890: 2e 73 65 74 28 22 66 75 6e 62 6f 64 79 22 2c 20  .set("funbody", 
28a0: 20 74 68 65 4c 61 79 65 72 2c 20 6d 61 63 72 6f   theLayer, macro
28b0: 45 76 61 6c 28 65 2e 66 75 6e 62 6f 64 79 2c 63  Eval(e.funbody,c
28c0: 74 78 2c 41 6c 77 61 79 73 4d 61 63 72 6f 29 29  tx,AlwaysMacro))
28d0: 3b 0d 0a 09 09 09 54 61 62 6c 65 20 70 61 72 61  ;.....Table para
28e0: 6d 73 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d  ms = new Table;.
28f0: 0a 09 09 09 66 6f 72 65 61 63 68 5f 72 65 76 65  ....foreach_reve
2900: 72 73 65 28 70 3b 20 65 2e 70 61 72 61 6d 73 29  rse(p; e.params)
2910: 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 54 61 62 6c  .....{......Tabl
2920: 65 20 6c 61 79 73 20 3d 20 6e 65 77 20 54 61 62  e lays = new Tab
2930: 6c 65 3b 0d 0a 09 09 09 09 66 6f 72 65 61 63 68  le;......foreach
2940: 5f 72 65 76 65 72 73 65 28 6c 61 79 3b 20 70 2e  _reverse(lay; p.
2950: 6c 61 79 65 72 73 29 0d 0a 09 09 09 09 09 6c 61  layers).......la
2960: 79 73 20 3d 20 6d 61 6b 65 43 6f 6e 73 28 6e 65  ys = makeCons(ne
2970: 77 20 53 74 72 56 61 6c 75 65 28 6c 61 79 29 2c  w StrValue(lay),
2980: 20 6c 61 79 73 29 3b 0d 0a 09 09 09 09 54 61 62   lays);......Tab
2990: 6c 65 20 6b 76 20 3d 20 6e 65 77 20 54 61 62 6c  le kv = new Tabl
29a0: 65 3b 0d 0a 09 09 09 09 6b 76 2e 73 65 74 28 22  e;......kv.set("
29b0: 6e 61 6d 65 22 2c 20 74 68 65 4c 61 79 65 72 2c  name", theLayer,
29c0: 20 6e 65 77 20 53 74 72 56 61 6c 75 65 28 70 2e   new StrValue(p.
29d0: 6e 61 6d 65 29 29 3b 0d 0a 09 09 09 09 6b 76 2e  name));......kv.
29e0: 73 65 74 28 22 6c 61 79 65 72 73 22 2c 20 74 68  set("layers", th
29f0: 65 4c 61 79 65 72 2c 20 6c 61 79 73 29 3b 0d 0a  eLayer, lays);..
2a00: 09 09 09 09 54 61 62 6c 65 20 63 6f 6e 73 20 3d  ....Table cons =
2a10: 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09   new Table;.....
2a20: 09 70 61 72 61 6d 73 20 3d 20 6d 61 6b 65 43 6f  .params = makeCo
2a30: 6e 73 28 6b 76 2c 20 70 61 72 61 6d 73 29 3b 0d  ns(kv, params);.
2a40: 0a 09 09 09 7d 0d 0a 09 09 09 74 2e 73 65 74 28  ....}.....t.set(
2a50: 22 70 61 72 61 6d 73 22 2c 20 74 68 65 4c 61 79  "params", theLay
2a60: 65 72 2c 20 70 61 72 61 6d 73 29 3b 0d 0a 09 09  er, params);....
2a70: 09 72 65 74 75 72 6e 20 74 3b 0d 0a 09 09 7d 2c  .return t;....},
2a80: 0d 0a 09 09 64 65 6c 65 67 61 74 65 20 56 61 6c  ....delegate Val
2a90: 75 65 20 28 41 53 54 20 65 29 0d 0a 09 09 7b 0d  ue (AST e)....{.
2aa0: 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21  ....throw genex!
2ab0: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e  RuntimeException
2ac0: 28 65 2e 70 6f 73 2c 20 73 70 72 69 6e 74 66 21  (e.pos, sprintf!
2ad0: 22 55 6e 6b 6e 6f 77 6e 20 4b 69 6e 64 20 6f 66  "Unknown Kind of
2ae0: 20 45 78 70 72 65 73 73 69 6f 6e 20 25 73 22 28   Expression %s"(
2af0: 74 79 70 65 69 64 28 65 29 29 29 3b 0d 0a 09 09  typeid(e)));....
2b00: 7d 0d 0a 09 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69  }...);..}....uni
2b10: 74 74 65 73 74 0a 7b 0d 0a 09 61 75 74 6f 20 72  ttest.{...auto r
2b20: 20 3d 20 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f   = assert_nothro
2b30: 77 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 76  w( evalString(`v
2b40: 61 72 20 78 20 3d 20 32 31 3b 20 78 20 2b 20 78  ar x = 21; x + x
2b50: 2a 78 3b 60 29 20 29 3b 0a 09 61 73 73 65 72 74  *x;`) );..assert
2b60: 5f 65 71 28 20 72 2e 76 61 6c 2c 20 6e 65 77 20  _eq( r.val, new 
2b70: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28  IntValue(BigInt(
2b80: 32 31 2b 32 31 2a 32 31 29 29 20 29 3b 0a 09 61  21+21*21)) );..a
2b90: 73 73 65 72 74 5f 65 71 28 20 72 2e 63 74 78 2e  ssert_eq( r.ctx.
2ba0: 67 65 74 28 22 78 22 2c 56 61 6c 75 65 4c 61 79  get("x",ValueLay
2bb0: 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75  er), new IntValu
2bc0: 65 28 42 69 67 49 6e 74 28 32 31 29 29 20 29 3b  e(BigInt(21)) );
2bd0: 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77  ..assert_nothrow
2be0: 28 20 72 2e 63 74 78 2e 67 65 74 28 22 78 22 2c  ( r.ctx.get("x",
2bf0: 56 61 6c 75 65 4c 61 79 65 72 29 20 29 3b 0a 09  ValueLayer) );..
2c00: 61 73 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e  assert_throw!Run
2c10: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 72  timeException( r
2c20: 2e 63 74 78 2e 67 65 74 28 22 79 22 2c 56 61 6c  .ctx.get("y",Val
2c30: 75 65 4c 61 79 65 72 29 20 29 3b 0a 7d 0a 75 6e  ueLayer) );.}.un
2c40: 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f  ittest..{...auto
2c50: 20 72 20 3d 20 61 73 73 65 72 74 5f 6e 6f 74 68   r = assert_noth
2c60: 72 6f 77 28 20 65 76 61 6c 53 74 72 69 6e 67 28  row( evalString(
2c70: 60 76 61 72 20 78 20 3d 20 32 31 3b 20 76 61 72  `var x = 21; var
2c80: 20 78 20 3d 20 78 20 2b 20 78 2a 78 3b 60 29 20   x = x + x*x;`) 
2c90: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20  );...assert_eq( 
2ca0: 72 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61  r.val, new IntVa
2cb0: 6c 75 65 28 42 69 67 49 6e 74 28 32 31 2b 32 31  lue(BigInt(21+21
2cc0: 2a 32 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72  *21)) );...asser
2cd0: 74 5f 65 71 28 20 72 2e 63 74 78 2e 67 65 74 28  t_eq( r.ctx.get(
2ce0: 22 78 22 2c 56 61 6c 75 65 4c 61 79 65 72 29 2c  "x",ValueLayer),
2cf0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69   new IntValue(Bi
2d00: 67 49 6e 74 28 32 31 2b 32 31 2a 32 31 29 29 20  gInt(21+21*21)) 
2d10: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68  );...assert_noth
2d20: 72 6f 77 28 20 72 2e 63 74 78 2e 67 65 74 28 22  row( r.ctx.get("
2d30: 78 22 2c 56 61 6c 75 65 4c 61 79 65 72 29 20 29  x",ValueLayer) )
2d40: 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77  ;...assert_throw
2d50: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f  !RuntimeExceptio
2d60: 6e 28 20 72 2e 63 74 78 2e 67 65 74 28 22 79 22  n( r.ctx.get("y"
2d70: 2c 56 61 6c 75 65 4c 61 79 65 72 29 20 29 3b 0d  ,ValueLayer) );.
2d80: 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d  .}..unittest..{.
2d90: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 61  ..assert_eq( eva
2da0: 6c 53 74 72 69 6e 67 28 60 6c 65 74 20 78 3d 31  lString(`let x=1
2db0: 3b 20 6c 65 74 20 79 3d 28 6c 65 74 20 78 3d 32  ; let y=(let x=2
2dc0: 29 3b 20 78 60 29 2e 76 61 6c 2c 20 6e 65 77 20  ); x`).val, new 
2dd0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28  IntValue(BigInt(
2de0: 31 29 29 20 29 3b 20 0d 0a 09 61 73 73 65 72 74  1)) ); ...assert
2df0: 5f 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28  _eq( evalString(
2e00: 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 79 3d  `let x=1; let y=
2e10: 28 6c 65 74 20 78 3d 32 3b 66 75 6e 28 29 7b 78  (let x=2;fun(){x
2e20: 7d 29 3b 20 79 28 29 60 29 2e 76 61 6c 2c 20 6e  }); y()`).val, n
2e30: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49  ew IntValue(BigI
2e40: 6e 74 28 32 29 29 20 29 3b 20 0d 0a 7d 0d 0a 75  nt(2)) ); ..}..u
2e50: 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 73  nittest..{...ass
2e60: 65 72 74 5f 65 71 28 20 65 76 61 6c 53 74 72 69  ert_eq( evalStri
2e70: 6e 67 28 60 40 61 20 78 3d 31 3b 20 40 62 20 78  ng(`@a x=1; @b x
2e80: 3d 32 3b 20 40 61 28 78 29 60 29 2e 76 61 6c 2c  =2; @a(x)`).val,
2e90: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69   new IntValue(Bi
2ea0: 67 49 6e 74 28 31 29 29 20 29 3b 0d 0a 09 61 73  gInt(1)) );...as
2eb0: 73 65 72 74 5f 65 71 28 20 65 76 61 6c 53 74 72  sert_eq( evalStr
2ec0: 69 6e 67 28 60 40 61 20 78 3d 31 3b 20 40 62 20  ing(`@a x=1; @b 
2ed0: 78 3d 32 3b 20 40 62 28 78 29 60 29 2e 76 61 6c  x=2; @b(x)`).val
2ee0: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42  , new IntValue(B
2ef0: 69 67 49 6e 74 28 32 29 29 20 29 3b 0d 0a 09 61  igInt(2)) );...a
2f00: 73 73 65 72 74 5f 65 71 28 20 65 76 61 6c 53 74  ssert_eq( evalSt
2f10: 72 69 6e 67 28 60 6c 65 74 20 78 3d 31 3b 20 6c  ring(`let x=1; l
2f20: 65 74 20 5f 20 3d 20 28 40 61 20 78 3d 32 3b 32  et _ = (@a x=2;2
2f30: 29 3b 20 78 60 29 2e 76 61 6c 2c 20 6e 65 77 20  ); x`).val, new 
2f40: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28  IntValue(BigInt(
2f50: 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f  1)) );...assert_
2f60: 74 68 72 6f 77 21 54 68 72 6f 77 61 62 6c 65 28  throw!Throwable(
2f70: 20 65 76 61 6c 53 74 72 69 6e 67 28 60 6c 65 74   evalString(`let
2f80: 20 78 3d 31 3b 20 6c 65 74 20 5f 20 3d 20 28 40   x=1; let _ = (@
2f90: 61 20 78 3d 32 3b 32 29 3b 20 40 61 28 78 29 60  a x=2;2); @a(x)`
2fa0: 29 20 29 3b 0d 0a 7d 0d 0a 2f 2a 0d 0a 75 6e 69  ) );..}../*..uni
2fb0: 74 74 65 73 74 0a 7b 0a 09 61 73 73 65 72 74 5f  ttest.{..assert_
2fc0: 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60  eq( evalString(`
2fd0: 76 61 72 20 66 61 63 20 3d 20 66 75 6e 28 78 29  var fac = fun(x)
2fe0: 7b 0a 09 09 69 66 28 78 29 0a 09 09 09 7b 20 78  {...if(x)....{ x
2ff0: 2a 66 61 63 28 78 2d 31 29 3b 20 7d 0a 09 09 65  *fac(x-1); }...e
3000: 6c 73 65 0a 09 09 09 7b 20 31 3b 20 7d 3b 0a 09  lse....{ 1; };..
3010: 7d 3b 0a 09 66 61 63 28 31 30 29 3b 60 29 2e 76  };..fac(10);`).v
3020: 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65  al, new IntValue
3030: 28 42 69 67 49 6e 74 28 31 30 2a 39 2a 38 2a 35  (BigInt(10*9*8*5
3040: 30 34 30 29 29 29 3b 0a 09 61 73 73 65 72 74 5f  040)));..assert_
3050: 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60  eq( evalString(`
3060: 76 61 72 20 66 69 62 20 3d 20 66 75 6e 28 78 29  var fib = fun(x)
3070: 7b 0a 09 09 69 66 28 78 3c 32 29 0a 09 09 09 7b  {...if(x<2)....{
3080: 20 31 3b 20 7d 0a 09 09 65 6c 73 65 0a 09 09 09   1; }...else....
3090: 7b 20 66 69 62 28 78 2d 31 29 20 2b 20 66 69 62  { fib(x-1) + fib
30a0: 28 78 2d 32 29 3b 20 7d 3b 0a 09 7d 3b 0a 09 66  (x-2); };..};..f
30b0: 69 62 28 35 29 3b 60 29 2e 76 61 6c 2c 20 6e 65  ib(5);`).val, ne
30c0: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e  w IntValue(BigIn
30d0: 74 28 38 29 29 29 3b 0a 7d 0a 0d 0a 75 6e 69 74  t(8)));.}...unit
30e0: 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74  test..{...assert
30f0: 5f 74 68 72 6f 77 21 54 68 72 6f 77 61 62 6c 65  _throw!Throwable
3100: 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 40 40  ( evalString(`@@
3110: 73 28 78 29 7b 78 7d 3b 20 40 73 20 22 2b 22 3d  s(x){x}; @s "+"=
3120: 66 75 6e 28 78 2c 79 29 7b 78 2d 79 7d 3b 40 73  fun(x,y){x-y};@s
3130: 28 31 2b 32 29 60 29 20 29 3b 0d 0a 09 61 73 73  (1+2)`) );...ass
3140: 65 72 74 5f 65 71 28 20 65 76 61 6c 53 74 72 69  ert_eq( evalStri
3150: 6e 67 28 60 40 40 73 28 78 29 7b 78 7d 3b 20 40  ng(`@@s(x){x}; @
3160: 73 20 22 2b 22 3d 66 75 6e 28 78 2c 79 29 7b 78  s "+"=fun(x,y){x
3170: 2d 79 7d 3b 31 2b 32 60 29 2e 76 61 6c 2c 20 6e  -y};1+2`).val, n
3180: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49  ew IntValue(BigI
3190: 6e 74 28 33 29 29 20 29 3b 0d 0a 09 61 73 73 65  nt(3)) );...asse
31a0: 72 74 5f 65 71 28 20 65 76 61 6c 53 74 72 69 6e  rt_eq( evalStrin
31b0: 67 28 60 40 40 73 28 78 29 7b 78 7d 3b 20 40 73  g(`@@s(x){x}; @s
31c0: 20 22 2b 22 3d 66 75 6e 28 78 2c 79 29 7b 40 76   "+"=fun(x,y){@v
31d0: 61 6c 75 65 28 40 73 28 78 29 2d 40 73 28 79 29  alue(@s(x)-@s(y)
31e0: 29 7d 3b 31 2b 32 60 29 2e 76 61 6c 2c 20 6e 65  )};1+2`).val, ne
31f0: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e  w IntValue(BigIn
3200: 74 28 33 29 29 20 29 3b 0d 0a 09 61 73 73 65 72  t(3)) );...asser
3210: 74 5f 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67  t_eq( evalString
3220: 28 60 40 40 73 28 78 29 7b 78 7d 3b 20 40 73 20  (`@@s(x){x}; @s 
3230: 22 2b 22 3d 66 75 6e 28 78 2c 79 29 7b 40 76 61  "+"=fun(x,y){@va
3240: 6c 75 65 28 40 73 28 78 29 2d 40 73 28 79 29 29  lue(@s(x)-@s(y))
3250: 7d 3b 40 73 28 31 2b 32 29 60 29 2e 76 61 6c 2c  };@s(1+2)`).val,
3260: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69   new IntValue(Bi
3270: 67 49 6e 74 28 2d 31 29 29 20 29 3b 0d 0a 7d 0d  gInt(-1)) );..}.
3280: 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a  ...unittest..{..
3290: 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 6c  .assert_eq( eval
32a0: 53 74 72 69 6e 67 28 60 40 40 74 20 3d 20 66 75  String(`@@t = fu
32b0: 6e 28 78 29 7b 78 2b 31 7d 3b 20 40 74 28 31 32  n(x){x+1}; @t(12
32c0: 33 29 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e  3)`).val, new In
32d0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 32  tValue(BigInt(12
32e0: 34 29 29 20 29 3b 0d 0a 09 2f 2f 20 74 68 65 72  4)) );...// ther
32f0: 65 20 77 61 73 20 61 20 62 75 67 20 74 68 61 74  e was a bug that
3300: 20 64 65 63 6c 61 72 61 74 69 6f 6e 20 69 6e 20   declaration in 
3310: 74 68 65 20 66 69 72 73 74 20 6c 69 6e 65 20 6f  the first line o
3320: 66 20 66 75 6e 63 74 69 6f 6e 20 64 65 66 69 6e  f function defin
3330: 69 74 69 6f 6e 0d 0a 09 2f 2f 20 63 61 6e 6e 6f  ition...// canno
3340: 74 20 62 65 20 72 65 63 75 72 73 69 76 65 0d 0a  t be recursive..
3350: 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28  .assert_nothrow(
3360: 20 65 76 61 6c 53 74 72 69 6e 67 28 60 64 65 66   evalString(`def
3370: 20 66 6f 6f 28 29 20 7b 0d 0a 20 20 64 65 66 20   foo() {..  def 
3380: 62 61 72 28 79 29 20 7b 20 69 66 28 79 3c 31 29  bar(y) { if(y<1)
3390: 20 7b 30 7d 20 65 6c 73 65 20 7b 62 61 72 28 30   {0} else {bar(0
33a0: 29 7d 20 7d 3b 0d 0a 20 20 62 61 72 28 31 29 0d  )} };..  bar(1).
33b0: 0a 7d 3b 20 66 6f 6f 28 29 60 29 20 29 3b 0d 0a  .}; foo()`) );..
33c0: 7d 0d 0a 2a 2f 0d 0a                             }..*/..