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 73 74 64 2e 74 79 70 65 .import std.type
0110: 63 6f 6e 73 3b 0d 0a 69 6d 70 6f 72 74 20 73 74 cons;..import st
0120: 64 2e 73 74 64 69 6f 3b 0a 0d 0a 2f 2f 2f 0a 54 d.stdio;...///.T
0130: 61 62 6c 65 20 63 72 65 61 74 65 47 6c 6f 62 61 able createGloba
0140: 6c 43 6f 6e 74 65 78 74 28 29 0a 7b 0d 0a 09 61 lContext().{...a
0150: 75 74 6f 20 63 74 78 20 3d 20 6e 65 77 20 54 61 uto ctx = new Ta
0160: 62 6c 65 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 ble;...ctx.set("
0170: 2b 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 76 65 +", "@v", native
0180: 28 20 28 49 6e 74 56 61 6c 75 65 20 6c 68 73 2c ( (IntValue lhs,
0190: 20 49 6e 74 56 61 6c 75 65 20 72 68 73 29 7b 72 IntValue rhs){r
01a0: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c eturn new IntVal
01b0: 75 65 28 6c 68 73 2e 64 61 74 61 20 2b 20 72 68 ue(lhs.data + rh
01c0: 73 2e 64 61 74 61 29 3b 7d 20 29 29 3b 0d 0a 09 s.data);} ));...
01d0: 63 74 78 2e 73 65 74 28 22 2d 22 2c 20 22 40 76 ctx.set("-", "@v
01e0: 22 2c 20 6e 61 74 69 76 65 28 20 28 49 6e 74 56 ", native( (IntV
01f0: 61 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 61 6c alue lhs, IntVal
0200: 75 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 6e ue rhs){return n
0210: 65 77 20 49 6e 74 56 61 6c 75 65 28 6c 68 73 2e ew IntValue(lhs.
0220: 64 61 74 61 20 2d 20 72 68 73 2e 64 61 74 61 29 data - rhs.data)
0230: 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 ;} ));...ctx.set
0240: 28 22 2a 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 ("*", "@v", nati
0250: 76 65 28 20 28 49 6e 74 56 61 6c 75 65 20 6c 68 ve( (IntValue lh
0260: 73 2c 20 49 6e 74 56 61 6c 75 65 20 72 68 73 29 s, IntValue rhs)
0270: 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 {return new IntV
0280: 61 6c 75 65 28 6c 68 73 2e 64 61 74 61 20 2a 20 alue(lhs.data *
0290: 72 68 73 2e 64 61 74 61 29 3b 7d 20 29 29 3b 0d rhs.data);} ));.
02a0: 0a 09 63 74 78 2e 73 65 74 28 22 2f 22 2c 20 22 ..ctx.set("/", "
02b0: 40 76 22 2c 20 6e 61 74 69 76 65 28 20 28 49 6e @v", native( (In
02c0: 74 56 61 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 tValue lhs, IntV
02d0: 61 6c 75 65 20 72 68 73 29 7b 72 65 74 75 72 6e alue rhs){return
02e0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 6c 68 new IntValue(lh
02f0: 73 2e 64 61 74 61 20 2f 20 72 68 73 2e 64 61 74 s.data / rhs.dat
0300: 61 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 a);} ));...ctx.s
0310: 65 74 28 22 25 22 2c 20 22 40 76 22 2c 20 6e 61 et("%", "@v", na
0320: 74 69 76 65 28 20 28 49 6e 74 56 61 6c 75 65 20 tive( (IntValue
0330: 6c 68 73 2c 20 49 6e 74 56 61 6c 75 65 20 72 68 lhs, IntValue rh
0340: 73 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 6e s){return new In
0350: 74 56 61 6c 75 65 28 6c 68 73 2e 64 61 74 61 20 tValue(lhs.data
0360: 25 20 72 68 73 2e 64 61 74 61 29 3b 7d 20 29 29 % rhs.data);} ))
0370: 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 7c 7c 22 ;...ctx.set("||"
0380: 2c 20 22 40 76 22 2c 20 6e 61 74 69 76 65 28 20 , "@v", native(
0390: 28 49 6e 74 56 61 6c 75 65 20 6c 68 73 2c 20 49 (IntValue lhs, I
03a0: 6e 74 56 61 6c 75 65 20 72 68 73 29 7b 72 65 74 ntValue rhs){ret
03b0: 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 urn new IntValue
03c0: 28 42 69 67 49 6e 74 28 28 6c 68 73 2e 64 61 74 (BigInt((lhs.dat
03d0: 61 21 3d 30 29 20 7c 7c 20 28 72 68 73 2e 64 61 a!=0) || (rhs.da
03e0: 74 61 21 3d 30 29 20 3f 20 31 3a 30 29 29 3b 7d ta!=0) ? 1:0));}
03f0: 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 ));...ctx.set("
0400: 26 26 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 76 &&", "@v", nativ
0410: 65 28 20 28 49 6e 74 56 61 6c 75 65 20 6c 68 73 e( (IntValue lhs
0420: 2c 20 49 6e 74 56 61 6c 75 65 20 72 68 73 29 7b , IntValue rhs){
0430: 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 return new IntVa
0440: 6c 75 65 28 42 69 67 49 6e 74 28 28 6c 68 73 2e lue(BigInt((lhs.
0450: 64 61 74 61 21 3d 30 29 20 26 26 20 28 72 68 73 data!=0) && (rhs
0460: 2e 64 61 74 61 21 3d 30 29 20 3f 20 31 3a 30 29 .data!=0) ? 1:0)
0470: 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 );} ));...ctx.se
0480: 74 28 22 3c 22 2c 20 22 40 76 22 2c 20 6e 61 74 t("<", "@v", nat
0490: 69 76 65 28 20 28 56 61 6c 75 65 20 6c 68 73 2c ive( (Value lhs,
04a0: 20 56 61 6c 75 65 20 72 68 73 29 7b 72 65 74 75 Value rhs){retu
04b0: 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 rn new IntValue(
04c0: 42 69 67 49 6e 74 28 6c 68 73 20 3c 20 72 68 73 BigInt(lhs < rhs
04d0: 20 3f 20 31 3a 20 30 29 29 3b 7d 20 29 29 3b 0d ? 1: 0));} ));.
04e0: 0a 09 63 74 78 2e 73 65 74 28 22 3e 22 2c 20 22 ..ctx.set(">", "
04f0: 40 76 22 2c 20 6e 61 74 69 76 65 28 20 28 56 61 @v", native( (Va
0500: 6c 75 65 20 6c 68 73 2c 20 56 61 6c 75 65 20 72 lue lhs, Value r
0510: 68 73 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 hs){return new I
0520: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 6c ntValue(BigInt(l
0530: 68 73 20 3e 20 72 68 73 20 3f 20 31 3a 20 30 29 hs > rhs ? 1: 0)
0540: 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 );} ));...ctx.se
0550: 74 28 22 3c 3d 22 2c 20 22 40 76 22 2c 20 6e 61 t("<=", "@v", na
0560: 74 69 76 65 28 20 28 56 61 6c 75 65 20 6c 68 73 tive( (Value lhs
0570: 2c 20 56 61 6c 75 65 20 72 68 73 29 7b 72 65 74 , Value rhs){ret
0580: 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 urn new IntValue
0590: 28 42 69 67 49 6e 74 28 6c 68 73 20 3c 3d 20 72 (BigInt(lhs <= r
05a0: 68 73 20 3f 20 31 3a 20 30 29 29 3b 7d 20 29 29 hs ? 1: 0));} ))
05b0: 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 3e 3d 22 ;...ctx.set(">="
05c0: 2c 20 22 40 76 22 2c 20 6e 61 74 69 76 65 28 20 , "@v", native(
05d0: 28 56 61 6c 75 65 20 6c 68 73 2c 20 56 61 6c 75 (Value lhs, Valu
05e0: 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 6e 65 e rhs){return ne
05f0: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
0600: 74 28 6c 68 73 20 3e 3d 20 72 68 73 20 3f 20 31 t(lhs >= rhs ? 1
0610: 3a 20 30 29 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 : 0));} ));...ct
0620: 78 2e 73 65 74 28 22 3d 3d 22 2c 20 22 40 76 22 x.set("==", "@v"
0630: 2c 20 6e 61 74 69 76 65 28 20 28 56 61 6c 75 65 , native( (Value
0640: 20 6c 68 73 2c 20 56 61 6c 75 65 20 72 68 73 29 lhs, Value rhs)
0650: 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 {return new IntV
0660: 61 6c 75 65 28 42 69 67 49 6e 74 28 6c 68 73 20 alue(BigInt(lhs
0670: 3d 3d 20 72 68 73 20 3f 20 31 3a 20 30 29 29 3b == rhs ? 1: 0));
0680: 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 } ));...ctx.set(
0690: 22 21 3d 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 "!=", "@v", nati
06a0: 76 65 28 20 28 56 61 6c 75 65 20 6c 68 73 2c 20 ve( (Value lhs,
06b0: 56 61 6c 75 65 20 72 68 73 29 7b 72 65 74 75 72 Value rhs){retur
06c0: 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 n new IntValue(B
06d0: 69 67 49 6e 74 28 6c 68 73 20 21 3d 20 72 68 73 igInt(lhs != rhs
06e0: 20 3f 20 31 3a 20 30 29 29 3b 7d 20 29 29 3b 0d ? 1: 0));} ));.
06f0: 0a 09 63 74 78 2e 73 65 74 28 22 70 72 69 6e 74 ..ctx.set("print
0700: 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 76 65 28 ", "@v", native(
0710: 20 28 56 61 6c 75 65 20 61 29 7b 0a 09 09 77 72 (Value a){...wr
0720: 69 74 65 6c 6e 28 61 29 3b 0a 09 09 72 65 74 75 iteln(a);...retu
0730: 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 rn new IntValue(
0740: 42 69 67 49 6e 74 28 31 37 38 29 29 3b 0a 09 7d BigInt(178));..}
0750: 29 29 3b 0a 09 63 74 78 2e 73 65 74 28 22 69 66 ));..ctx.set("if
0760: 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 76 65 28 ", "@v", native(
0770: 20 28 49 6e 74 56 61 6c 75 65 20 78 2c 20 46 75 (IntValue x, Fu
0780: 6e 56 61 6c 75 65 20 66 74 2c 20 46 75 6e 56 61 nValue ft, FunVa
0790: 6c 75 65 20 66 65 29 7b 0d 0a 09 09 61 75 74 6f lue fe){....auto
07a0: 20 74 6f 52 75 6e 20 3d 20 28 78 2e 64 61 74 61 toRun = (x.data
07b0: 3d 3d 30 20 3f 20 66 65 20 3a 20 66 74 29 3b 0d ==0 ? fe : ft);.
07c0: 0a 09 09 72 65 74 75 72 6e 20 74 6f 52 75 6e 2e ...return toRun.
07d0: 69 6e 76 6f 6b 65 28 6e 75 6c 6c 2c 20 22 40 76 invoke(null, "@v
07e0: 22 2c 20 74 6f 52 75 6e 2e 64 65 66 69 6e 69 74 ", toRun.definit
07f0: 69 6f 6e 43 6f 6e 74 65 78 74 28 29 29 3b 0d 0a ionContext());..
0800: 2f 2f 09 09 72 65 74 75 72 6e 20 74 6f 52 75 6e //..return toRun
0810: 2e 69 6e 76 6f 6b 65 28 70 6f 73 2c 20 6c 61 79 .invoke(pos, lay
0820: 2c 20 74 6f 52 75 6e 2e 64 65 66 69 6e 69 74 69 , toRun.definiti
0830: 6f 6e 43 6f 6e 74 65 78 74 28 29 29 3b 0d 0a 09 onContext());...
0840: 7d 29 29 3b 0a 09 63 74 78 2e 73 65 74 28 22 5f }));..ctx.set("_
0850: 69 73 69 6e 74 22 2c 20 22 40 76 22 2c 20 6e 61 isint", "@v", na
0860: 74 69 76 65 28 20 28 56 61 6c 75 65 20 76 29 7b tive( (Value v){
0870: 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 return new IntVa
0880: 6c 75 65 28 42 69 67 49 6e 74 28 63 61 73 74 28 lue(BigInt(cast(
0890: 49 6e 74 56 61 6c 75 65 29 76 20 69 73 20 6e 75 IntValue)v is nu
08a0: 6c 6c 20 3f 20 30 20 3a 20 31 29 29 3b 7d 20 29 ll ? 0 : 1));} )
08b0: 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 5f 69 );...ctx.set("_i
08c0: 73 73 74 72 22 2c 20 22 40 76 22 2c 20 6e 61 74 sstr", "@v", nat
08d0: 69 76 65 28 20 28 56 61 6c 75 65 20 76 29 7b 72 ive( (Value v){r
08e0: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c eturn new IntVal
08f0: 75 65 28 42 69 67 49 6e 74 28 63 61 73 74 28 53 ue(BigInt(cast(S
0900: 74 72 56 61 6c 75 65 29 76 20 69 73 20 6e 75 6c trValue)v is nul
0910: 6c 20 3f 20 30 20 3a 20 31 29 29 3b 7d 20 29 29 l ? 0 : 1));} ))
0920: 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 5f 69 73 ;...ctx.set("_is
0930: 66 75 6e 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 fun", "@v", nati
0940: 76 65 28 20 28 56 61 6c 75 65 20 76 29 7b 72 65 ve( (Value v){re
0950: 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 turn new IntValu
0960: 65 28 42 69 67 49 6e 74 28 63 61 73 74 28 46 75 e(BigInt(cast(Fu
0970: 6e 56 61 6c 75 65 29 76 20 69 73 20 6e 75 6c 6c nValue)v is null
0980: 20 3f 20 30 20 3a 20 31 29 29 3b 7d 20 29 29 3b ? 0 : 1));} ));
0990: 0d 0a 09 63 74 78 2e 73 65 74 28 22 5f 69 73 75 ...ctx.set("_isu
09a0: 6e 64 65 66 69 6e 65 64 22 2c 20 22 40 76 22 2c ndefined", "@v",
09b0: 20 6e 61 74 69 76 65 28 20 28 56 61 6c 75 65 20 native( (Value
09c0: 76 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 6e v){return new In
09d0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 63 61 tValue(BigInt(ca
09e0: 73 74 28 55 6e 64 56 61 6c 75 65 29 76 20 69 73 st(UndValue)v is
09f0: 20 6e 75 6c 6c 20 3f 20 30 20 3a 20 31 29 29 3b null ? 0 : 1));
0a00: 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 } ));...ctx.set(
0a10: 22 5f 69 73 74 61 62 6c 65 22 2c 20 22 40 76 22 "_istable", "@v"
0a20: 2c 20 6e 61 74 69 76 65 28 20 28 56 61 6c 75 65 , native( (Value
0a30: 20 76 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 v){return new I
0a40: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 63 ntValue(BigInt(c
0a50: 61 73 74 28 54 61 62 6c 65 29 76 20 69 73 20 6e ast(Table)v is n
0a60: 75 6c 6c 20 3f 20 30 20 3a 20 31 29 29 3b 7d 20 ull ? 0 : 1));}
0a70: 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 2e ));...ctx.set(".
0a80: 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 76 65 28 ", "@v", native(
0a90: 20 28 54 61 62 6c 65 20 74 2c 20 53 74 72 56 61 (Table t, StrVa
0aa0: 6c 75 65 20 73 29 7b 0d 0a 09 09 72 65 74 75 72 lue s){....retur
0ab0: 6e 20 28 74 2e 68 61 73 28 73 2e 64 61 74 61 2c n (t.has(s.data,
0ac0: 20 22 40 76 22 29 20 3f 20 74 2e 67 65 74 28 73 "@v") ? t.get(s
0ad0: 2e 64 61 74 61 2c 20 22 40 76 22 29 20 3a 20 6e .data, "@v") : n
0ae0: 65 77 20 55 6e 64 56 61 6c 75 65 29 3b 0d 0a 09 ew UndValue);...
0af0: 7d 29 20 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 }) );...ctx.set(
0b00: 22 2e 3f 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 ".?", "@v", nati
0b10: 76 65 28 20 28 54 61 62 6c 65 20 74 2c 20 53 74 ve( (Table t, St
0b20: 72 56 61 6c 75 65 20 73 29 7b 0d 0a 09 09 72 65 rValue s){....re
0b30: 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 turn new IntValu
0b40: 65 28 42 69 67 49 6e 74 28 74 2e 68 61 73 28 73 e(BigInt(t.has(s
0b50: 2e 64 61 74 61 2c 20 22 40 76 22 29 20 3f 20 31 .data, "@v") ? 1
0b60: 20 3a 20 30 29 29 3b 0d 0a 09 7d 29 20 29 3b 0d : 0));...}) );.
0b70: 0a 09 63 74 78 2e 73 65 74 28 22 2e 3d 22 2c 20 ..ctx.set(".=",
0b80: 22 40 76 22 2c 20 6e 61 74 69 76 65 28 20 28 54 "@v", native( (T
0b90: 61 62 6c 65 20 74 2c 20 53 74 72 56 61 6c 75 65 able t, StrValue
0ba0: 20 73 2c 20 56 61 6c 75 65 20 76 29 7b 0d 0a 09 s, Value v){...
0bb0: 09 61 75 74 6f 20 74 32 20 3d 20 6e 65 77 20 54 .auto t2 = new T
0bc0: 61 62 6c 65 28 74 2c 20 54 61 62 6c 65 2e 4b 69 able(t, Table.Ki
0bd0: 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 nd.NotPropagateS
0be0: 65 74 29 3b 0d 0a 09 09 74 32 2e 73 65 74 28 73 et);....t2.set(s
0bf0: 2e 64 61 74 61 2c 20 22 40 76 22 2c 20 76 29 3b .data, "@v", v);
0c00: 0d 0a 09 09 72 65 74 75 72 6e 20 74 32 3b 0d 0a ....return t2;..
0c10: 09 7d 29 20 29 3b 0d 0a 09 63 74 78 2e 73 65 74 .}) );...ctx.set
0c20: 28 22 7b 7d 22 2c 20 22 40 76 22 2c 20 6e 61 74 ("{}", "@v", nat
0c30: 69 76 65 28 20 28 29 7b 0d 0a 09 09 72 65 74 75 ive( (){....retu
0c40: 72 6e 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 rn new Table;...
0c50: 7d 29 20 29 3b 0d 0a 09 72 65 74 75 72 6e 20 63 }) );...return c
0c60: 74 78 3b 0a 7d 0a 0a 2f 2f 2f 20 45 6e 74 72 79 tx;.}../// Entry
0c70: 20 70 6f 69 6e 74 20 6f 66 20 74 68 69 73 20 6d point of this m
0c80: 6f 64 75 6c 65 0d 0a 0d 0a 54 75 70 6c 65 21 28 odule....Tuple!(
0c90: 56 61 6c 75 65 2c 22 76 61 6c 22 2c 54 61 62 6c Value,"val",Tabl
0ca0: 65 2c 22 63 74 78 22 29 20 65 76 61 6c 53 74 72 e,"ctx") evalStr
0cb0: 69 6e 67 28 53 2c 54 2e 2e 2e 29 28 53 20 73 74 ing(S,T...)(S st
0cc0: 72 2c 20 54 20 66 6e 5f 6c 6e 5f 63 6e 29 0a 7b r, T fn_ln_cn).{
0cd0: 0a 09 72 65 74 75 72 6e 20 65 76 61 6c 28 20 70 ..return eval( p
0ce0: 6f 6c 65 6d 79 2e 70 61 72 73 65 2e 70 61 72 73 olemy.parse.pars
0cf0: 65 53 74 72 69 6e 67 28 73 74 72 2c 20 66 6e 5f eString(str, fn_
0d00: 6c 6e 5f 63 6e 29 20 29 3b 0a 7d 0a 0a 2f 2f 2f ln_cn) );.}..///
0d10: 20 45 6e 74 72 79 20 70 6f 69 6e 74 20 6f 66 20 Entry point of
0d20: 74 68 69 73 20 6d 6f 64 75 6c 65 0d 0a 0d 0a 54 this module....T
0d30: 75 70 6c 65 21 28 56 61 6c 75 65 2c 22 76 61 6c uple!(Value,"val
0d40: 22 2c 54 61 62 6c 65 2c 22 63 74 78 22 29 20 65 ",Table,"ctx") e
0d50: 76 61 6c 46 69 6c 65 28 53 2c 20 54 2e 2e 2e 29 valFile(S, T...)
0d60: 28 53 20 66 69 6c 65 6e 61 6d 65 2c 20 54 20 6c (S filename, T l
0d70: 6e 5f 63 6e 29 0a 7b 0a 09 72 65 74 75 72 6e 20 n_cn).{..return
0d80: 65 76 61 6c 28 20 70 6f 6c 65 6d 79 2e 70 61 72 eval( polemy.par
0d90: 73 65 2e 70 61 72 73 65 46 69 6c 65 28 66 69 6c se.parseFile(fil
0da0: 65 6e 61 6d 65 2c 20 6c 6e 5f 63 6e 29 20 29 3b ename, ln_cn) );
0db0: 0a 7d 0a 0a 2f 2f 2f 20 45 6e 74 72 79 20 70 6f .}../// Entry po
0dc0: 69 6e 74 20 6f 66 20 74 68 69 73 20 6d 6f 64 75 int of this modu
0dd0: 6c 65 0d 0a 0d 0a 54 75 70 6c 65 21 28 56 61 6c le....Tuple!(Val
0de0: 75 65 2c 22 76 61 6c 22 2c 54 61 62 6c 65 2c 22 ue,"val",Table,"
0df0: 63 74 78 22 29 20 65 76 61 6c 28 41 53 54 20 65 ctx") eval(AST e
0e00: 29 0a 7b 0a 09 54 61 62 6c 65 20 63 74 78 20 3d ).{..Table ctx =
0e10: 20 63 72 65 61 74 65 47 6c 6f 62 61 6c 43 6f 6e createGlobalCon
0e20: 74 65 78 74 28 29 3b 0a 09 72 65 74 75 72 6e 20 text();..return
0e30: 74 79 70 65 6f 66 28 72 65 74 75 72 6e 29 28 65 typeof(return)(e
0e40: 76 61 6c 28 65 2c 20 63 74 78 2c 20 66 61 6c 73 val(e, ctx, fals
0e50: 65 2c 20 22 40 76 22 29 2c 20 63 74 78 29 3b 0a e, "@v"), ctx);.
0e60: 7d 0a 0d 0a 56 61 6c 75 65 20 69 6e 76 6f 6b 65 }...Value invoke
0e70: 46 75 6e 63 74 69 6f 6e 28 69 6e 20 4c 65 78 50 Function(in LexP
0e80: 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 56 61 6c osition pos, Val
0e90: 75 65 20 5f 66 2c 20 41 53 54 5b 5d 20 61 72 67 ue _f, AST[] arg
0ea0: 73 2c 20 54 61 62 6c 65 20 63 61 6c 6c 65 72 43 s, Table callerC
0eb0: 74 78 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 62 tx, Layer lay, b
0ec0: 6f 6f 6c 20 41 6c 77 61 79 73 4d 61 63 72 6f 3d ool AlwaysMacro=
0ed0: 66 61 6c 73 65 29 0d 0a 7b 0d 0a 09 69 66 28 61 false)..{...if(a
0ee0: 75 74 6f 20 66 20 3d 20 63 61 73 74 28 46 75 6e uto f = cast(Fun
0ef0: 56 61 6c 75 65 29 5f 66 29 0d 0a 09 7b 0d 0a 09 Value)_f)...{...
0f00: 09 54 61 62 6c 65 20 63 74 78 20 3d 20 6e 65 77 .Table ctx = new
0f10: 20 54 61 62 6c 65 28 66 2e 64 65 66 69 6e 69 74 Table(f.definit
0f20: 69 6f 6e 43 6f 6e 74 65 78 74 28 29 2c 20 54 61 ionContext(), Ta
0f30: 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 ble.Kind.NotProp
0f40: 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 09 66 6f agateSet);....fo
0f50: 72 65 61 63 68 28 69 2c 70 3b 20 66 2e 70 61 72 reach(i,p; f.par
0f60: 61 6d 73 28 29 29 0d 0a 09 09 09 69 66 28 20 70 ams()).....if( p
0f70: 2e 6c 61 79 65 72 73 2e 65 6d 70 74 79 20 29 0d .layers.empty ).
0f80: 0a 09 09 09 09 69 66 28 6c 61 79 3d 3d 22 40 6d .....if(lay=="@m
0f90: 61 63 72 6f 22 29 0d 0a 09 09 09 09 09 63 74 78 acro").......ctx
0fa0: 2e 73 65 74 28 70 2e 6e 61 6d 65 2c 20 6c 61 79 .set(p.name, lay
0fb0: 2c 20 6d 61 63 72 6f 45 76 61 6c 28 61 72 67 73 , macroEval(args
0fc0: 5b 69 5d 2c 20 63 61 6c 6c 65 72 43 74 78 2c 20 [i], callerCtx,
0fd0: 41 6c 77 61 79 73 4d 61 63 72 6f 29 29 3b 0d 0a AlwaysMacro));..
0fe0: 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 63 ....else.......c
0ff0: 74 78 2e 73 65 74 28 70 2e 6e 61 6d 65 2c 20 6c tx.set(p.name, l
1000: 61 79 2c 20 65 76 61 6c 28 61 72 67 73 5b 69 5d ay, eval(args[i]
1010: 2c 20 63 61 6c 6c 65 72 43 74 78 2c 20 74 72 75 , callerCtx, tru
1020: 65 2c 20 6c 61 79 29 29 3b 0d 0a 09 09 09 65 6c e, lay));.....el
1030: 73 65 0d 0a 09 09 09 09 66 6f 72 65 61 63 68 28 se......foreach(
1040: 61 72 67 4c 61 79 3b 20 70 2e 6c 61 79 65 72 73 argLay; p.layers
1050: 29 0d 0a 09 09 09 09 09 69 66 28 61 72 67 4c 61 ).......if(argLa
1060: 79 3d 3d 22 40 6d 61 63 72 6f 22 29 0d 0a 09 09 y=="@macro")....
1070: 09 09 09 09 63 74 78 2e 73 65 74 28 70 2e 6e 61 ....ctx.set(p.na
1080: 6d 65 2c 20 61 72 67 4c 61 79 2c 20 6d 61 63 72 me, argLay, macr
1090: 6f 45 76 61 6c 28 61 72 67 73 5b 69 5d 2c 20 63 oEval(args[i], c
10a0: 61 6c 6c 65 72 43 74 78 2c 20 41 6c 77 61 79 73 allerCtx, Always
10b0: 4d 61 63 72 6f 29 29 3b 0d 0a 09 09 09 09 09 65 Macro));.......e
10c0: 6c 73 65 0d 0a 09 09 09 09 09 09 63 74 78 2e 73 lse........ctx.s
10d0: 65 74 28 70 2e 6e 61 6d 65 2c 20 61 72 67 4c 61 et(p.name, argLa
10e0: 79 2c 20 65 76 61 6c 28 61 72 67 73 5b 69 5d 2c y, eval(args[i],
10f0: 20 63 61 6c 6c 65 72 43 74 78 2c 20 74 72 75 65 callerCtx, true
1100: 2c 20 61 72 67 4c 61 79 29 29 3b 0d 0a 09 09 72 , argLay));....r
1110: 65 74 75 72 6e 20 66 2e 69 6e 76 6f 6b 65 28 70 eturn f.invoke(p
1120: 6f 73 2c 20 6c 61 79 2c 20 63 74 78 29 3b 0d 0a os, lay, ctx);..
1130: 09 7d 0d 0a 09 74 68 72 6f 77 20 67 65 6e 65 78 .}...throw genex
1140: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
1150: 6e 28 70 6f 73 2c 20 22 74 72 69 65 64 20 74 6f n(pos, "tried to
1160: 20 63 61 6c 6c 20 6e 6f 6e 2d 66 75 6e 63 74 69 call non-functi
1170: 6f 6e 22 29 3b 0d 0a 7d 0d 0a 0d 0a 56 61 6c 75 on");..}....Valu
1180: 65 20 6c 69 66 74 28 69 6e 20 4c 65 78 50 6f 73 e lift(in LexPos
1190: 69 74 69 6f 6e 20 70 6f 73 2c 20 56 61 6c 75 65 ition pos, Value
11a0: 20 76 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 v, Layer lay, T
11b0: 61 62 6c 65 20 63 61 6c 6c 65 72 43 74 78 29 0d able callerCtx).
11c0: 0a 7b 0d 0a 09 2f 2f 20 73 69 6d 69 6c 61 72 20 .{...// similar
11d0: 74 6f 20 69 6e 76 6f 6b 65 20 46 75 6e 63 74 69 to invoke Functi
11e0: 6f 6e 2c 20 62 75 74 20 77 69 74 68 20 6f 6e 6c on, but with onl
11f0: 79 20 6f 6e 65 20 61 72 67 75 6d 65 6e 74 20 62 y one argument b
1200: 6f 75 6e 64 20 74 6f 20 40 76 0d 0a 09 56 61 6c ound to @v...Val
1210: 75 65 20 5f 66 20 3d 20 63 61 6c 6c 65 72 43 74 ue _f = callerCt
1220: 78 2e 67 65 74 28 6c 61 79 2c 20 22 28 73 79 73 x.get(lay, "(sys
1230: 74 65 6d 29 22 2c 20 70 6f 73 29 3b 0d 0a 09 69 tem)", pos);...i
1240: 66 28 61 75 74 6f 20 66 20 3d 20 63 61 73 74 28 f(auto f = cast(
1250: 46 75 6e 56 61 6c 75 65 29 5f 66 29 0d 0a 09 7b FunValue)_f)...{
1260: 0d 0a 09 09 54 61 62 6c 65 20 63 74 78 20 3d 20 ....Table ctx =
1270: 6e 65 77 20 54 61 62 6c 65 28 66 2e 64 65 66 69 new Table(f.defi
1280: 6e 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 2c nitionContext(),
1290: 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 Table.Kind.NotP
12a0: 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 ropagateSet);...
12b0: 09 61 75 74 6f 20 70 73 20 3d 20 66 2e 70 61 72 .auto ps = f.par
12c0: 61 6d 73 28 29 3b 0d 0a 09 09 69 66 28 20 70 73 ams();....if( ps
12d0: 2e 6c 65 6e 67 74 68 20 21 3d 20 31 20 29 0d 0a .length != 1 )..
12e0: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 ...throw genex!R
12f0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
1300: 70 6f 73 2c 20 22 6c 69 66 74 20 66 75 6e 63 74 pos, "lift funct
1310: 69 6f 6e 20 6d 75 73 74 20 74 61 6b 65 20 65 78 ion must take ex
1320: 61 63 74 6c 79 20 6f 6e 65 20 61 72 67 75 6d 65 actly one argume
1330: 6e 74 20 61 74 20 40 76 20 6c 61 79 65 72 22 29 nt at @v layer")
1340: 3b 0d 0a 09 09 69 66 28 20 70 73 5b 30 5d 2e 6c ;....if( ps[0].l
1350: 61 79 65 72 73 2e 6c 65 6e 67 74 68 3d 3d 30 20 ayers.length==0
1360: 7c 7c 20 70 73 5b 30 5d 2e 6c 61 79 65 72 73 2e || ps[0].layers.
1370: 6c 65 6e 67 74 68 3d 3d 31 20 26 26 20 70 73 5b length==1 && ps[
1380: 30 5d 2e 6c 61 79 65 72 73 5b 30 5d 3d 3d 22 40 0].layers[0]=="@
1390: 76 22 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 63 74 v" )....{.....ct
13a0: 78 2e 73 65 74 28 70 73 5b 30 5d 2e 6e 61 6d 65 x.set(ps[0].name
13b0: 2c 20 22 40 76 22 2c 20 76 29 3b 0d 0a 09 09 09 , "@v", v);.....
13c0: 72 65 74 75 72 6e 20 66 2e 69 6e 76 6f 6b 65 28 return f.invoke(
13d0: 70 6f 73 2c 20 22 40 76 22 2c 20 63 74 78 29 3b pos, "@v", ctx);
13e0: 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 ....}....else...
13f0: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 ..throw genex!Ru
1400: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 ntimeException(p
1410: 6f 73 2c 20 22 6c 69 66 74 20 66 75 6e 63 74 69 os, "lift functi
1420: 6f 6e 20 6d 75 73 74 20 74 61 6b 65 20 65 78 61 on must take exa
1430: 63 74 6c 79 20 6f 6e 65 20 61 72 67 75 6d 65 6e ctly one argumen
1440: 74 20 61 74 20 40 76 20 6c 61 79 65 72 22 29 3b t at @v layer");
1450: 0d 0a 09 7d 0d 0a 09 74 68 72 6f 77 20 67 65 6e ...}...throw gen
1460: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
1470: 69 6f 6e 28 70 6f 73 2c 20 22 74 72 69 65 64 20 ion(pos, "tried
1480: 74 6f 20 63 61 6c 6c 20 6e 6f 6e 2d 66 75 6e 63 to call non-func
1490: 74 69 6f 6e 22 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f tion");..}....//
14a0: 2f 20 45 6e 74 72 79 20 70 6f 69 6e 74 20 6f 66 / Entry point of
14b0: 20 74 68 69 73 20 6d 6f 64 75 6c 65 0d 0a 2f 2f this module..//
14c0: 2f 20 49 66 20 73 70 6c 69 74 43 74 78 20 3d 20 / If splitCtx =
14d0: 74 72 75 65 2c 20 74 68 65 6e 20 69 6e 6e 65 72 true, then inner
14e0: 20 76 61 72 69 61 62 6c 65 20 64 65 63 6c 61 72 variable declar
14f0: 61 74 69 6f 6e 20 64 6f 20 6e 6f 74 20 6f 76 65 ation do not ove
1500: 72 77 72 69 74 65 20 63 74 78 2e 0d 0a 2f 2f 2f rwrite ctx...///
1510: 20 6c 61 79 20 69 73 20 74 68 65 20 6c 61 79 65 lay is the laye
1520: 72 20 49 44 20 66 6f 72 20 65 76 61 6c 75 61 74 r ID for evaluat
1530: 69 6f 6e 20 28 73 74 61 6e 64 61 72 64 20 76 61 ion (standard va
1540: 6c 75 65 20 73 65 6d 61 6e 74 69 63 73 20 75 73 lue semantics us
1550: 65 73 20 22 40 76 22 29 2e 0d 0a 0d 0a 56 61 6c es "@v").....Val
1560: 75 65 20 65 76 61 6c 28 41 53 54 20 65 2c 20 54 ue eval(AST e, T
1570: 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 73 able ctx, bool s
1580: 70 6c 69 74 43 74 78 2c 20 4c 61 79 65 72 20 6c plitCtx, Layer l
1590: 61 79 29 0a 7b 0d 0a 09 72 65 74 75 72 6e 20 65 ay).{...return e
15a0: 2e 6d 61 74 63 68 28 0a 09 09 28 53 74 72 4c 69 .match(...(StrLi
15b0: 74 65 72 61 6c 20 65 29 0a 09 09 7b 0d 0a 09 09 teral e)...{....
15c0: 09 56 61 6c 75 65 20 76 20 3d 20 6e 65 77 20 53 .Value v = new S
15d0: 74 72 56 61 6c 75 65 28 65 2e 64 61 74 61 29 3b trValue(e.data);
15e0: 0d 0a 09 09 09 69 66 28 20 6c 61 79 20 3d 3d 20 .....if( lay ==
15f0: 22 40 76 22 20 29 0a 09 09 09 09 72 65 74 75 72 "@v" ).....retur
1600: 6e 20 76 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 n v;.....else...
1610: 09 09 09 72 65 74 75 72 6e 20 6c 69 66 74 28 65 ...return lift(e
1620: 2e 70 6f 73 2c 76 2c 6c 61 79 2c 63 74 78 29 3b .pos,v,lay,ctx);
1630: 0a 09 09 7d 2c 0a 09 09 28 49 6e 74 4c 69 74 65 ...},...(IntLite
1640: 72 61 6c 20 65 29 0a 09 09 7b 0a 09 09 09 56 61 ral e)...{....Va
1650: 6c 75 65 20 76 20 3d 20 6e 65 77 20 49 6e 74 56 lue v = new IntV
1660: 61 6c 75 65 28 65 2e 64 61 74 61 29 3b 0d 0a 09 alue(e.data);...
1670: 09 09 69 66 28 20 6c 61 79 20 3d 3d 20 22 40 76 ..if( lay == "@v
1680: 22 20 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 " )......return
1690: 76 3b 0a 09 09 09 65 6c 73 65 20 2f 2f 20 72 69 v;....else // ri
16a0: 73 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 6c se......return l
16b0: 69 66 74 28 65 2e 70 6f 73 2c 76 2c 6c 61 79 2c ift(e.pos,v,lay,
16c0: 63 74 78 29 3b 0d 0a 09 09 7d 2c 0a 09 09 28 56 ctx);....},...(V
16d0: 61 72 45 78 70 72 65 73 73 69 6f 6e 20 65 29 0d arExpression e).
16e0: 0a 09 09 7b 0d 0a 09 09 09 69 66 28 20 6c 61 79 ...{.....if( lay
16f0: 20 3d 3d 20 22 40 76 22 20 29 0d 0a 09 09 09 09 == "@v" )......
1700: 72 65 74 75 72 6e 20 63 74 78 2e 67 65 74 28 65 return ctx.get(e
1710: 2e 76 61 72 2c 20 6c 61 79 2c 20 65 2e 70 6f 73 .var, lay, e.pos
1720: 29 3b 0d 0a 09 09 09 74 72 79 20 7b 0d 0a 09 09 );.....try {....
1730: 09 09 72 65 74 75 72 6e 20 63 74 78 2e 67 65 74 ..return ctx.get
1740: 28 65 2e 76 61 72 2c 20 6c 61 79 2c 20 65 2e 70 (e.var, lay, e.p
1750: 6f 73 29 3b 0d 0a 09 09 09 7d 20 63 61 74 63 68 os);.....} catch
1760: 28 20 54 68 72 6f 77 61 62 6c 65 20 29 20 7b 20 ( Throwable ) {
1770: 2f 2f 20 5b 54 4f 44 4f 5d 20 6d 6f 72 65 20 70 // [TODO] more p
1780: 72 65 63 69 73 65 2e 2e 2e 0d 0a 09 09 09 09 72 recise.........r
1790: 65 74 75 72 6e 20 6c 69 66 74 28 65 2e 70 6f 73 eturn lift(e.pos
17a0: 2c 20 63 74 78 2e 67 65 74 28 65 2e 76 61 72 2c , ctx.get(e.var,
17b0: 20 22 40 76 22 2c 20 65 2e 70 6f 73 29 2c 20 6c "@v", e.pos), l
17c0: 61 79 2c 20 63 74 78 29 3b 0d 0a 09 09 09 7d 0d ay, ctx);.....}.
17d0: 0a 09 09 7d 2c 0d 0a 09 09 28 4c 61 79 65 72 65 ...},....(Layere
17e0: 64 45 78 70 72 65 73 73 69 6f 6e 20 65 29 0d 0a dExpression e)..
17f0: 09 09 7b 0d 0a 09 09 09 69 66 28 20 65 2e 6c 61 ..{.....if( e.la
1800: 79 20 3d 3d 20 22 40 6d 61 63 72 6f 22 20 29 0d y == "@macro" ).
1810: 0a 09 09 09 09 72 65 74 75 72 6e 20 6d 61 63 72 .....return macr
1820: 6f 45 76 61 6c 28 65 2e 65 78 70 72 2c 20 63 74 oEval(e.expr, ct
1830: 78 2c 20 66 61 6c 73 65 29 3b 0d 0a 09 09 09 65 x, false);.....e
1840: 6c 73 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 lse......return
1850: 65 76 61 6c 28 65 2e 65 78 70 72 2c 20 63 74 78 eval(e.expr, ctx
1860: 2c 20 74 72 75 65 2c 20 65 2e 6c 61 79 29 3b 0d , true, e.lay);.
1870: 0a 09 09 7d 2c 0d 0a 09 09 28 4c 65 74 45 78 70 ...},....(LetExp
1880: 72 65 73 73 69 6f 6e 20 65 29 0d 0a 09 09 7b 0d ression e)....{.
1890: 0a 09 09 09 2f 2f 20 66 6f 72 20 6c 65 74 72 65 ....// for letre
18a0: 63 2c 20 77 65 20 6e 65 65 64 20 74 68 69 73 2c c, we need this,
18b0: 20 62 75 74 20 73 68 6f 75 6c 64 20 61 76 6f 69 but should avoi
18c0: 64 20 6f 76 65 72 77 72 69 74 69 6e 67 3f 3f 3f d overwriting???
18d0: 3f 0d 0a 09 09 09 2f 2f 20 63 74 78 2e 73 65 74 ?.....// ctx.set
18e0: 28 65 2e 76 61 72 2c 20 22 40 76 22 2c 20 6e 65 (e.var, "@v", ne
18f0: 77 20 55 6e 64 65 66 69 6e 65 64 56 61 6c 75 65 w UndefinedValue
1900: 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 09 09 69 66 , e.pos);.....if
1910: 28 73 70 6c 69 74 43 74 78 29 0d 0a 09 09 09 09 (splitCtx)......
1920: 63 74 78 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 ctx = new Table(
1930: 63 74 78 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e ctx, Table.Kind.
1940: 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 29 NotPropagateSet)
1950: 3b 0d 0a 09 09 09 56 61 6c 75 65 20 76 20 3d 20 ;.....Value v =
1960: 65 76 61 6c 28 65 2e 69 6e 69 74 2c 20 63 74 78 eval(e.init, ctx
1970: 2c 20 74 72 75 65 2c 20 6c 61 79 29 3b 0d 0a 09 , true, lay);...
1980: 09 09 63 74 78 2e 73 65 74 28 65 2e 76 61 72 2c ..ctx.set(e.var,
1990: 20 28 65 2e 6c 61 79 65 72 2e 6c 65 6e 67 74 68 (e.layer.length
19a0: 20 3f 20 65 2e 6c 61 79 65 72 20 3a 20 6c 61 79 ? e.layer : lay
19b0: 29 2c 20 76 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 ), v, e.pos);...
19c0: 09 09 72 65 74 75 72 6e 20 65 76 61 6c 28 65 2e ..return eval(e.
19d0: 65 78 70 72 2c 20 63 74 78 2c 20 66 61 6c 73 65 expr, ctx, false
19e0: 2c 20 6c 61 79 29 3b 0d 0a 09 09 7d 2c 0d 0a 09 , lay);....},...
19f0: 09 28 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 .(FuncallExpress
1a00: 69 6f 6e 20 65 29 0a 09 09 7b 0a 09 09 09 72 65 ion e)...{....re
1a10: 74 75 72 6e 20 69 6e 76 6f 6b 65 46 75 6e 63 74 turn invokeFunct
1a20: 69 6f 6e 28 65 2e 70 6f 73 2c 20 65 76 61 6c 28 ion(e.pos, eval(
1a30: 65 2e 66 75 6e 2c 20 63 74 78 2c 20 74 72 75 65 e.fun, ctx, true
1a40: 2c 20 6c 61 79 29 2c 20 65 2e 61 72 67 73 2c 20 , lay), e.args,
1a50: 63 74 78 2c 20 6c 61 79 29 3b 0d 0a 09 09 7d 2c ctx, lay);....},
1a60: 0a 09 09 28 46 75 6e 4c 69 74 65 72 61 6c 20 65 ...(FunLiteral e
1a70: 29 0a 09 09 7b 0d 0a 09 09 09 56 61 6c 75 65 5b )...{.....Value[
1a80: 56 61 6c 75 65 5b 5d 5d 5b 4c 61 79 65 72 5d 20 Value[]][Layer]
1a90: 6d 65 6d 6f 3b 0d 0a 09 09 09 41 53 54 20 6d 61 memo;.....AST ma
1aa0: 63 72 6f 4d 65 6d 6f 20 3d 20 6e 75 6c 6c 3b 20 croMemo = null;
1ab0: 2f 2f 20 63 61 63 68 65 0d 0a 0d 0a 09 09 09 2f // cache......./
1ac0: 2f 20 66 75 6e 76 61 6c 75 65 20 6e 65 65 64 20 / funvalue need
1ad0: 6e 6f 74 20 62 65 20 72 69 73 65 64 0d 0a 09 09 not be rised....
1ae0: 09 2f 2f 20 6e 6f 2c 20 6e 65 65 64 20 74 6f 20 .// no, need to
1af0: 62 65 20 72 69 73 65 64 20 21 21 20 20 73 75 70 be rised !! sup
1b00: 70 6f 73 65 20 40 74 28 66 69 62 29 28 22 69 6e pose @t(fib)("in
1b10: 74 22 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e t").....return n
1b20: 65 77 20 55 73 65 72 44 65 66 69 6e 65 64 46 75 ew UserDefinedFu
1b30: 6e 56 61 6c 75 65 28 65 2c 20 63 74 78 29 3b 0a nValue(e, ctx);.
1b40: 09 09 7d 2c 0d 0a 09 09 64 65 6c 65 67 61 74 65 ..},....delegate
1b50: 20 56 61 6c 75 65 20 28 41 53 54 20 65 29 0d 0a Value (AST e)..
1b60: 09 09 7b 0a 09 09 09 74 68 72 6f 77 20 67 65 6e ..{....throw gen
1b70: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
1b80: 69 6f 6e 28 65 2e 70 6f 73 2c 20 73 70 72 69 6e ion(e.pos, sprin
1b90: 74 66 21 22 55 6e 6b 6e 6f 77 6e 20 4b 69 6e 64 tf!"Unknown Kind
1ba0: 20 6f 66 20 45 78 70 72 65 73 73 69 6f 6e 20 25 of Expression %
1bb0: 73 22 28 74 79 70 65 69 64 28 65 29 29 29 3b 0d s"(typeid(e)));.
1bc0: 0a 09 09 7d 0d 0a 09 29 3b 0a 7d 0a 0d 0a 2f 2f ...}...);.}...//
1bd0: 20 5b 54 4f 44 4f 5d 20 4f 70 74 69 6d 69 7a 61 [TODO] Optimiza
1be0: 74 69 6f 6e 0d 0a 56 61 6c 75 65 20 6d 61 63 72 tion..Value macr
1bf0: 6f 45 76 61 6c 28 41 53 54 20 65 2c 20 54 61 62 oEval(AST e, Tab
1c00: 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 41 6c 77 le ctx, bool Alw
1c10: 61 79 73 4d 61 63 72 6f 29 0d 0a 7b 0d 0a 09 4c aysMacro)..{...L
1c20: 61 79 65 72 20 74 68 65 4c 61 79 65 72 20 3d 20 ayer theLayer =
1c30: 22 40 76 22 3b 0d 0a 0d 0a 09 54 61 62 6c 65 20 "@v";.....Table
1c40: 70 6f 73 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b pos = new Table;
1c50: 0d 0a 09 70 6f 73 2e 73 65 74 28 22 66 69 6c 65 ...pos.set("file
1c60: 6e 61 6d 65 22 2c 20 74 68 65 4c 61 79 65 72 2c name", theLayer,
1c70: 20 6e 65 77 20 53 74 72 56 61 6c 75 65 28 65 2e new StrValue(e.
1c80: 70 6f 73 2e 66 69 6c 65 6e 61 6d 65 29 29 3b 0d pos.filename));.
1c90: 0a 09 70 6f 73 2e 73 65 74 28 22 6c 69 6e 65 6e ..pos.set("linen
1ca0: 6f 22 2c 20 20 20 74 68 65 4c 61 79 65 72 2c 20 o", theLayer,
1cb0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
1cc0: 49 6e 74 28 65 2e 70 6f 73 2e 6c 69 6e 65 6e 6f Int(e.pos.lineno
1cd0: 29 29 29 3b 0d 0a 09 70 6f 73 2e 73 65 74 28 22 )));...pos.set("
1ce0: 63 6f 6c 75 6d 6e 22 2c 20 20 20 74 68 65 4c 61 column", theLa
1cf0: 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 yer, new IntValu
1d00: 65 28 42 69 67 49 6e 74 28 65 2e 70 6f 73 2e 63 e(BigInt(e.pos.c
1d10: 6f 6c 75 6d 6e 29 29 29 3b 0d 0a 09 72 65 74 75 olumn)));...retu
1d20: 72 6e 20 65 2e 6d 61 74 63 68 28 0d 0a 09 09 28 rn e.match(....(
1d30: 53 74 72 4c 69 74 65 72 61 6c 20 65 29 0d 0a 09 StrLiteral e)...
1d40: 09 7b 0d 0a 09 09 09 54 61 62 6c 65 20 74 20 3d .{.....Table t =
1d50: 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 new Table;.....
1d60: 74 2e 73 65 74 28 22 70 6f 73 22 2c 20 20 74 68 t.set("pos", th
1d70: 65 4c 61 79 65 72 2c 20 70 6f 73 29 3b 0d 0a 09 eLayer, pos);...
1d80: 09 09 74 2e 73 65 74 28 22 69 73 22 2c 20 20 20 ..t.set("is",
1d90: 74 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 theLayer, new St
1da0: 72 56 61 6c 75 65 28 22 73 74 72 22 29 29 3b 0d rValue("str"));.
1db0: 0a 09 09 09 74 2e 73 65 74 28 22 64 61 74 61 22 ....t.set("data"
1dc0: 2c 20 74 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 , theLayer, new
1dd0: 53 74 72 56 61 6c 75 65 28 65 2e 64 61 74 61 29 StrValue(e.data)
1de0: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 3b );.....return t;
1df0: 0d 0a 09 09 7d 2c 0d 0a 09 09 28 49 6e 74 4c 69 ....},....(IntLi
1e00: 74 65 72 61 6c 20 65 29 0d 0a 09 09 7b 0d 0a 09 teral e)....{...
1e10: 09 09 54 61 62 6c 65 20 74 20 3d 20 6e 65 77 20 ..Table t = new
1e20: 54 61 62 6c 65 3b 0d 0a 09 09 09 74 2e 73 65 74 Table;.....t.set
1e30: 28 22 70 6f 73 22 2c 20 20 74 68 65 4c 61 79 65 ("pos", theLaye
1e40: 72 2c 20 70 6f 73 29 3b 0d 0a 09 09 09 74 2e 73 r, pos);.....t.s
1e50: 65 74 28 22 69 73 22 2c 20 20 20 74 68 65 4c 61 et("is", theLa
1e60: 79 65 72 2c 20 6e 65 77 20 53 74 72 56 61 6c 75 yer, new StrValu
1e70: 65 28 22 69 6e 74 22 29 29 3b 0d 0a 09 09 09 74 e("int"));.....t
1e80: 2e 73 65 74 28 22 64 61 74 61 22 2c 20 74 68 65 .set("data", the
1e90: 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 Layer, new IntVa
1ea0: 6c 75 65 28 65 2e 64 61 74 61 29 29 3b 0d 0a 09 lue(e.data));...
1eb0: 09 09 72 65 74 75 72 6e 20 74 3b 0d 0a 09 09 7d ..return t;....}
1ec0: 2c 0d 0a 09 09 28 56 61 72 45 78 70 72 65 73 73 ,....(VarExpress
1ed0: 69 6f 6e 20 65 29 0d 0a 09 09 7b 0d 0a 09 09 09 ion e)....{.....
1ee0: 74 72 79 20 7b 0d 0a 09 09 09 09 72 65 74 75 72 try {......retur
1ef0: 6e 20 63 74 78 2e 67 65 74 28 65 2e 76 61 72 2c n ctx.get(e.var,
1f00: 20 22 40 6d 61 63 72 6f 22 2c 20 65 2e 70 6f 73 "@macro", e.pos
1f10: 29 3b 0d 0a 09 09 09 7d 20 63 61 74 63 68 28 20 );.....} catch(
1f20: 54 68 72 6f 77 61 62 6c 65 20 29 20 7b 2f 2f 20 Throwable ) {//
1f30: 5b 54 4f 44 4f 5d 20 6d 6f 72 65 20 70 72 65 63 [TODO] more prec
1f40: 69 65 73 2e 2e 2e 0d 0a 09 09 09 09 54 61 62 6c ies.........Tabl
1f50: 65 20 74 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b e t = new Table;
1f60: 0d 0a 09 09 09 09 74 2e 73 65 74 28 22 70 6f 73 ......t.set("pos
1f70: 22 2c 20 20 74 68 65 4c 61 79 65 72 2c 20 70 6f ", theLayer, po
1f80: 73 29 3b 0d 0a 09 09 09 09 74 2e 73 65 74 28 22 s);......t.set("
1f90: 69 73 22 2c 20 20 20 74 68 65 4c 61 79 65 72 2c is", theLayer,
1fa0: 20 6e 65 77 20 53 74 72 56 61 6c 75 65 28 22 76 new StrValue("v
1fb0: 61 72 22 29 29 3b 0d 0a 09 09 09 09 74 2e 73 65 ar"));......t.se
1fc0: 74 28 22 6e 61 6d 65 22 2c 20 74 68 65 4c 61 79 t("name", theLay
1fd0: 65 72 2c 20 6e 65 77 20 53 74 72 56 61 6c 75 65 er, new StrValue
1fe0: 28 65 2e 76 61 72 29 29 3b 0d 0a 09 09 09 09 72 (e.var));......r
1ff0: 65 74 75 72 6e 20 63 61 73 74 28 56 61 6c 75 65 eturn cast(Value
2000: 29 74 3b 0d 0a 09 09 09 7d 0d 0a 09 09 7d 2c 0d )t;.....}....},.
2010: 0a 09 09 28 4c 61 79 65 72 65 64 45 78 70 72 65 ...(LayeredExpre
2020: 73 73 69 6f 6e 20 65 29 0d 0a 09 09 7b 0d 0a 09 ssion e)....{...
2030: 09 09 69 66 28 20 41 6c 77 61 79 73 4d 61 63 72 ..if( AlwaysMacr
2040: 6f 20 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 54 o ).....{......T
2050: 61 62 6c 65 20 74 20 3d 20 6e 65 77 20 54 61 62 able t = new Tab
2060: 6c 65 3b 0d 0a 09 09 09 09 74 2e 73 65 74 28 22 le;......t.set("
2070: 70 6f 73 22 2c 20 20 74 68 65 4c 61 79 65 72 2c pos", theLayer,
2080: 20 70 6f 73 29 3b 0d 0a 09 09 09 09 74 2e 73 65 pos);......t.se
2090: 74 28 22 69 73 22 2c 20 20 20 74 68 65 4c 61 79 t("is", theLay
20a0: 65 72 2c 20 6e 65 77 20 53 74 72 56 61 6c 75 65 er, new StrValue
20b0: 28 22 6c 61 79 22 29 29 3b 0d 0a 09 09 09 09 74 ("lay"));......t
20c0: 2e 73 65 74 28 22 6c 61 79 65 72 22 2c 20 20 20 .set("layer",
20d0: 74 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 theLayer, new St
20e0: 72 56 61 6c 75 65 28 65 2e 6c 61 79 29 29 3b 0d rValue(e.lay));.
20f0: 0a 09 09 09 09 74 2e 73 65 74 28 22 65 78 70 72 .....t.set("expr
2100: 22 2c 20 74 68 65 4c 61 79 65 72 2c 20 6d 61 63 ", theLayer, mac
2110: 72 6f 45 76 61 6c 28 65 2e 65 78 70 72 2c 63 74 roEval(e.expr,ct
2120: 78 2c 41 6c 77 61 79 73 4d 61 63 72 6f 29 29 3b x,AlwaysMacro));
2130: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 63 61 73 ......return cas
2140: 74 28 56 61 6c 75 65 29 74 3b 0d 0a 09 09 09 7d t(Value)t;.....}
2150: 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 7b 0d .....else.....{.
2160: 0a 09 09 09 09 69 66 28 20 65 2e 6c 61 79 20 3d .....if( e.lay =
2170: 3d 20 22 40 6d 61 63 72 6f 22 20 29 0d 0a 09 09 = "@macro" )....
2180: 09 09 09 72 65 74 75 72 6e 20 6d 61 63 72 6f 45 ...return macroE
2190: 76 61 6c 28 65 2e 65 78 70 72 2c 20 63 74 78 2c val(e.expr, ctx,
21a0: 20 66 61 6c 73 65 29 3b 0d 0a 09 09 09 09 65 6c false);......el
21b0: 73 65 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 se.......return
21c0: 65 76 61 6c 28 65 2e 65 78 70 72 2c 20 63 74 78 eval(e.expr, ctx
21d0: 2c 20 74 72 75 65 2c 20 65 2e 6c 61 79 29 3b 0d , true, e.lay);.
21e0: 0a 09 09 09 7d 0d 0a 09 09 7d 2c 0d 0a 09 09 28 ....}....},....(
21f0: 4c 65 74 45 78 70 72 65 73 73 69 6f 6e 20 65 29 LetExpression e)
2200: 0d 0a 09 09 7b 0d 0a 09 09 09 54 61 62 6c 65 20 ....{.....Table
2210: 74 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a t = new Table;..
2220: 09 09 09 74 2e 73 65 74 28 22 70 6f 73 22 2c 20 ...t.set("pos",
2230: 20 74 68 65 4c 61 79 65 72 2c 20 70 6f 73 29 3b theLayer, pos);
2240: 0d 0a 09 09 09 74 2e 73 65 74 28 22 69 73 22 2c .....t.set("is",
2250: 20 20 20 74 68 65 4c 61 79 65 72 2c 20 6e 65 77 theLayer, new
2260: 20 53 74 72 56 61 6c 75 65 28 22 6c 65 74 22 29 StrValue("let")
2270: 29 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22 6e 61 );.....t.set("na
2280: 6d 65 22 2c 20 74 68 65 4c 61 79 65 72 2c 20 6e me", theLayer, n
2290: 65 77 20 53 74 72 56 61 6c 75 65 28 65 2e 76 61 ew StrValue(e.va
22a0: 72 29 29 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22 r));.....t.set("
22b0: 69 6e 69 74 22 2c 20 74 68 65 4c 61 79 65 72 2c init", theLayer,
22c0: 20 6d 61 63 72 6f 45 76 61 6c 28 65 2e 69 6e 69 macroEval(e.ini
22d0: 74 2c 63 74 78 2c 41 6c 77 61 79 73 4d 61 63 72 t,ctx,AlwaysMacr
22e0: 6f 29 29 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22 o));.....t.set("
22f0: 65 78 70 72 22 2c 20 74 68 65 4c 61 79 65 72 2c expr", theLayer,
2300: 20 6d 61 63 72 6f 45 76 61 6c 28 65 2e 65 78 70 macroEval(e.exp
2310: 72 2c 63 74 78 2c 41 6c 77 61 79 73 4d 61 63 72 r,ctx,AlwaysMacr
2320: 6f 29 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 o));.....return
2330: 74 3b 0d 0a 09 09 7d 2c 0d 0a 09 09 28 46 75 6e t;....},....(Fun
2340: 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 20 65 callExpression e
2350: 29 0d 0a 09 09 7b 0d 0a 09 09 09 56 61 6c 75 65 )....{.....Value
2360: 20 5f 66 20 3d 20 6d 61 63 72 6f 45 76 61 6c 28 _f = macroEval(
2370: 65 2e 66 75 6e 2c 63 74 78 2c 41 6c 77 61 79 73 e.fun,ctx,Always
2380: 4d 61 63 72 6f 29 3b 0d 0a 0d 0a 09 09 09 69 66 Macro);.......if
2390: 28 20 61 75 74 6f 20 66 20 3d 20 63 61 73 74 28 ( auto f = cast(
23a0: 46 75 6e 56 61 6c 75 65 29 5f 66 20 29 0d 0a 09 FunValue)_f )...
23b0: 09 09 09 72 65 74 75 72 6e 20 69 6e 76 6f 6b 65 ...return invoke
23c0: 46 75 6e 63 74 69 6f 6e 28 65 2e 70 6f 73 2c 20 Function(e.pos,
23d0: 66 2c 20 65 2e 61 72 67 73 2c 20 63 74 78 2c 20 f, e.args, ctx,
23e0: 22 40 6d 61 63 72 6f 22 2c 20 41 6c 77 61 79 73 "@macro", Always
23f0: 4d 61 63 72 6f 29 3b 0d 0a 0d 0a 09 09 09 54 61 Macro);.......Ta
2400: 62 6c 65 20 74 20 3d 20 6e 65 77 20 54 61 62 6c ble t = new Tabl
2410: 65 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22 70 6f e;.....t.set("po
2420: 73 22 2c 20 20 74 68 65 4c 61 79 65 72 2c 20 70 s", theLayer, p
2430: 6f 73 29 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22 os);.....t.set("
2440: 69 73 22 2c 20 20 20 74 68 65 4c 61 79 65 72 2c is", theLayer,
2450: 20 6e 65 77 20 53 74 72 56 61 6c 75 65 28 22 61 new StrValue("a
2460: 70 70 22 29 29 3b 0d 0a 09 09 09 74 2e 73 65 74 pp"));.....t.set
2470: 28 22 66 75 6e 22 2c 20 20 74 68 65 4c 61 79 65 ("fun", theLaye
2480: 72 2c 20 5f 66 29 3b 0d 0a 09 09 09 54 61 62 6c r, _f);.....Tabl
2490: 65 20 61 72 67 73 20 3d 20 6e 65 77 20 54 61 62 e args = new Tab
24a0: 6c 65 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 5f le;.....foreach_
24b0: 72 65 76 65 72 73 65 28 61 3b 20 65 2e 61 72 67 reverse(a; e.arg
24c0: 73 29 20 7b 0d 0a 09 09 09 09 54 61 62 6c 65 20 s) {......Table
24d0: 63 6f 6e 73 20 3d 20 6e 65 77 20 54 61 62 6c 65 cons = new Table
24e0: 3b 0d 0a 09 09 09 09 63 6f 6e 73 2e 73 65 74 28 ;......cons.set(
24f0: 22 63 61 72 22 2c 74 68 65 4c 61 79 65 72 2c 6d "car",theLayer,m
2500: 61 63 72 6f 45 76 61 6c 28 61 2c 63 74 78 2c 41 acroEval(a,ctx,A
2510: 6c 77 61 79 73 4d 61 63 72 6f 29 29 3b 0d 0a 09 lwaysMacro));...
2520: 09 09 09 63 6f 6e 73 2e 73 65 74 28 22 63 64 72 ...cons.set("cdr
2530: 22 2c 74 68 65 4c 61 79 65 72 2c 61 72 67 73 29 ",theLayer,args)
2540: 3b 0d 0a 09 09 09 09 61 72 67 73 20 3d 20 63 6f ;......args = co
2550: 6e 73 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 74 2e ns;.....}.....t.
2560: 73 65 74 28 22 61 72 67 22 2c 20 74 68 65 4c 61 set("arg", theLa
2570: 79 65 72 2c 20 61 72 67 73 29 3b 0d 0a 09 09 09 yer, args);.....
2580: 72 65 74 75 72 6e 20 63 61 73 74 28 56 61 6c 75 return cast(Valu
2590: 65 29 74 3b 0d 0a 09 09 7d 2c 0d 0a 09 09 28 46 e)t;....},....(F
25a0: 75 6e 4c 69 74 65 72 61 6c 20 65 29 0d 0a 09 09 unLiteral e)....
25b0: 7b 0d 0a 09 09 09 54 61 62 6c 65 20 74 20 3d 20 {.....Table t =
25c0: 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 74 new Table;.....t
25d0: 2e 73 65 74 28 22 70 6f 73 22 2c 20 20 20 74 68 .set("pos", th
25e0: 65 4c 61 79 65 72 2c 20 70 6f 73 29 3b 0d 0a 09 eLayer, pos);...
25f0: 09 09 74 2e 73 65 74 28 22 69 73 22 2c 20 20 20 ..t.set("is",
2600: 20 74 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 53 theLayer, new S
2610: 74 72 56 61 6c 75 65 28 22 66 75 6e 22 29 29 3b trValue("fun"));
2620: 0d 0a 09 09 09 74 2e 73 65 74 28 22 62 6f 64 79 .....t.set("body
2630: 22 2c 20 20 74 68 65 4c 61 79 65 72 2c 20 6d 61 ", theLayer, ma
2640: 63 72 6f 45 76 61 6c 28 65 2e 66 75 6e 62 6f 64 croEval(e.funbod
2650: 79 2c 63 74 78 2c 41 6c 77 61 79 73 4d 61 63 72 y,ctx,AlwaysMacr
2660: 6f 29 29 3b 0d 0a 09 09 09 54 61 62 6c 65 20 70 o));.....Table p
2670: 61 72 61 6d 20 3d 20 6e 65 77 20 54 61 62 6c 65 aram = new Table
2680: 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 5f 72 65 ;.....foreach_re
2690: 76 65 72 73 65 28 70 3b 20 65 2e 70 61 72 61 6d verse(p; e.param
26a0: 73 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 54 61 s).....{......Ta
26b0: 62 6c 65 20 63 6f 6e 73 20 3d 20 6e 65 77 20 54 ble cons = new T
26c0: 61 62 6c 65 3b 0d 0a 09 09 09 09 54 61 62 6c 65 able;......Table
26d0: 20 6b 76 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b kv = new Table;
26e0: 0d 0a 09 09 09 09 6b 76 2e 73 65 74 28 22 6e 61 ......kv.set("na
26f0: 6d 65 22 2c 20 74 68 65 4c 61 79 65 72 2c 20 6e me", theLayer, n
2700: 65 77 20 53 74 72 56 61 6c 75 65 28 70 2e 6e 61 ew StrValue(p.na
2710: 6d 65 29 29 3b 0d 0a 09 09 09 09 66 6f 72 65 61 me));......forea
2720: 63 68 5f 72 65 76 65 72 73 65 28 6c 61 79 3b 20 ch_reverse(lay;
2730: 70 2e 6c 61 79 65 72 73 29 0d 0a 09 09 09 09 7b p.layers)......{
2740: 0d 0a 09 09 09 09 09 54 61 62 6c 65 20 63 6f 6e .......Table con
2750: 73 32 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d s2 = new Table;.
2760: 0a 09 09 09 09 09 63 6f 6e 73 32 2e 73 65 74 28 ......cons2.set(
2770: 22 63 61 72 22 2c 20 74 68 65 4c 61 79 65 72 2c "car", theLayer,
2780: 20 6e 65 77 20 53 74 72 56 61 6c 75 65 28 6c 61 new StrValue(la
2790: 79 29 29 3b 0d 0a 09 09 09 09 09 63 6f 6e 73 32 y));.......cons2
27a0: 2e 73 65 74 28 22 63 64 72 22 2c 20 74 68 65 4c .set("cdr", theL
27b0: 61 79 65 72 2c 20 6b 76 29 3b 0d 0a 09 09 09 09 ayer, kv);......
27c0: 09 6b 76 20 3d 20 63 6f 6e 73 32 3b 0d 0a 09 09 .kv = cons2;....
27d0: 09 09 7d 0d 0a 09 09 09 09 63 6f 6e 73 2e 73 65 ..}......cons.se
27e0: 74 28 22 63 61 72 22 2c 20 74 68 65 4c 61 79 65 t("car", theLaye
27f0: 72 2c 20 6b 76 29 3b 0d 0a 09 09 09 09 63 6f 6e r, kv);......con
2800: 73 2e 73 65 74 28 22 63 64 72 22 2c 20 74 68 65 s.set("cdr", the
2810: 4c 61 79 65 72 2c 20 70 61 72 61 6d 29 3b 0d 0a Layer, param);..
2820: 09 09 09 09 70 61 72 61 6d 20 3d 20 63 6f 6e 73 ....param = cons
2830: 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 74 2e 73 65 ;.....}.....t.se
2840: 74 28 22 70 61 72 61 6d 22 2c 20 74 68 65 4c 61 t("param", theLa
2850: 79 65 72 2c 20 70 61 72 61 6d 29 3b 0d 0a 09 09 yer, param);....
2860: 09 72 65 74 75 72 6e 20 74 3b 0d 0a 09 09 7d 2c .return t;....},
2870: 0d 0a 09 09 64 65 6c 65 67 61 74 65 20 56 61 6c ....delegate Val
2880: 75 65 20 28 41 53 54 20 65 29 0d 0a 09 09 7b 0d ue (AST e)....{.
2890: 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
28a0: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
28b0: 28 65 2e 70 6f 73 2c 20 73 70 72 69 6e 74 66 21 (e.pos, sprintf!
28c0: 22 55 6e 6b 6e 6f 77 6e 20 4b 69 6e 64 20 6f 66 "Unknown Kind of
28d0: 20 45 78 70 72 65 73 73 69 6f 6e 20 25 73 22 28 Expression %s"(
28e0: 74 79 70 65 69 64 28 65 29 29 29 3b 0d 0a 09 09 typeid(e)));....
28f0: 7d 0d 0a 09 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 }...);..}....uni
2900: 74 74 65 73 74 0a 7b 0d 0a 09 61 75 74 6f 20 72 ttest.{...auto r
2910: 20 3d 20 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f = assert_nothro
2920: 77 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 76 w( evalString(`v
2930: 61 72 20 78 20 3d 20 32 31 3b 20 78 20 2b 20 78 ar x = 21; x + x
2940: 2a 78 3b 60 29 20 29 3b 0a 09 61 73 73 65 72 74 *x;`) );..assert
2950: 5f 65 71 28 20 72 2e 76 61 6c 2c 20 6e 65 77 20 _eq( r.val, new
2960: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
2970: 32 31 2b 32 31 2a 32 31 29 29 20 29 3b 0a 09 61 21+21*21)) );..a
2980: 73 73 65 72 74 5f 65 71 28 20 72 2e 63 74 78 2e ssert_eq( r.ctx.
2990: 67 65 74 28 22 78 22 2c 22 40 76 22 29 2c 20 6e get("x","@v"), n
29a0: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
29b0: 6e 74 28 32 31 29 29 20 29 3b 0a 09 61 73 73 65 nt(21)) );..asse
29c0: 72 74 5f 6e 6f 74 68 72 6f 77 28 20 72 2e 63 74 rt_nothrow( r.ct
29d0: 78 2e 67 65 74 28 22 78 22 2c 22 40 76 22 29 20 x.get("x","@v")
29e0: 29 3b 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 );..assert_throw
29f0: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
2a00: 6e 28 20 72 2e 63 74 78 2e 67 65 74 28 22 79 22 n( r.ctx.get("y"
2a10: 2c 22 40 76 22 29 20 29 3b 0a 7d 0a 75 6e 69 74 ,"@v") );.}.unit
2a20: 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 72 test..{...auto r
2a30: 20 3d 20 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f = assert_nothro
2a40: 77 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 76 w( evalString(`v
2a50: 61 72 20 78 20 3d 20 32 31 3b 20 76 61 72 20 78 ar x = 21; var x
2a60: 20 3d 20 78 20 2b 20 78 2a 78 3b 60 29 20 29 3b = x + x*x;`) );
2a70: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 72 2e ...assert_eq( r.
2a80: 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 val, new IntValu
2a90: 65 28 42 69 67 49 6e 74 28 32 31 2b 32 31 2a 32 e(BigInt(21+21*2
2aa0: 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 1)) );...assert_
2ab0: 65 71 28 20 72 2e 63 74 78 2e 67 65 74 28 22 78 eq( r.ctx.get("x
2ac0: 22 2c 22 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 ","@v"), new Int
2ad0: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 32 31 2b Value(BigInt(21+
2ae0: 32 31 2a 32 31 29 29 20 29 3b 0d 0a 09 61 73 73 21*21)) );...ass
2af0: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 72 2e 63 ert_nothrow( r.c
2b00: 74 78 2e 67 65 74 28 22 78 22 2c 22 40 76 22 29 tx.get("x","@v")
2b10: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 );...assert_thr
2b20: 6f 77 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ow!RuntimeExcept
2b30: 69 6f 6e 28 20 72 2e 63 74 78 2e 67 65 74 28 22 ion( r.ctx.get("
2b40: 79 22 2c 22 40 76 22 29 20 29 3b 0d 0a 7d 0d 0a y","@v") );..}..
2b50: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 unittest..{...as
2b60: 73 65 72 74 5f 65 71 28 20 65 76 61 6c 53 74 72 sert_eq( evalStr
2b70: 69 6e 67 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 ing(`let x=1; le
2b80: 74 20 79 3d 28 6c 65 74 20 78 3d 32 29 3b 20 78 t y=(let x=2); x
2b90: 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 `).val, new IntV
2ba0: 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 20 alue(BigInt(1))
2bb0: 29 3b 20 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ); ...assert_eq(
2bc0: 20 65 76 61 6c 53 74 72 69 6e 67 28 60 6c 65 74 evalString(`let
2bd0: 20 78 3d 31 3b 20 6c 65 74 20 79 3d 28 6c 65 74 x=1; let y=(let
2be0: 20 78 3d 32 3b 66 75 6e 28 29 7b 78 7d 29 3b 20 x=2;fun(){x});
2bf0: 79 28 29 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 y()`).val, new I
2c00: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 32 ntValue(BigInt(2
2c10: 29 29 20 29 3b 20 0d 0a 7d 0d 0a 75 6e 69 74 74 )) ); ..}..unitt
2c20: 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 5f est..{...assert_
2c30: 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 eq( evalString(`
2c40: 40 61 20 78 3d 31 3b 20 40 62 20 78 3d 32 3b 20 @a x=1; @b x=2;
2c50: 40 61 28 78 29 60 29 2e 76 61 6c 2c 20 6e 65 77 @a(x)`).val, new
2c60: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
2c70: 28 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 (1)) );...assert
2c80: 5f 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 _eq( evalString(
2c90: 60 40 61 20 78 3d 31 3b 20 40 62 20 78 3d 32 3b `@a x=1; @b x=2;
2ca0: 20 40 62 28 78 29 60 29 2e 76 61 6c 2c 20 6e 65 @b(x)`).val, ne
2cb0: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
2cc0: 74 28 32 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 t(2)) );...asser
2cd0: 74 5f 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 t_eq( evalString
2ce0: 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 5f (`let x=1; let _
2cf0: 20 3d 20 28 40 61 20 78 3d 32 3b 32 29 3b 20 78 = (@a x=2;2); x
2d00: 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 `).val, new IntV
2d10: 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 20 alue(BigInt(1))
2d20: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
2d30: 77 21 54 68 72 6f 77 61 62 6c 65 28 20 65 76 61 w!Throwable( eva
2d40: 6c 53 74 72 69 6e 67 28 60 6c 65 74 20 78 3d 31 lString(`let x=1
2d50: 3b 20 6c 65 74 20 5f 20 3d 20 28 40 61 20 78 3d ; let _ = (@a x=
2d60: 32 3b 32 29 3b 20 40 61 28 78 29 60 29 20 29 3b 2;2); @a(x)`) );
2d70: 0d 0a 7d 0d 0a 0a 75 6e 69 74 74 65 73 74 0a 7b ..}...unittest.{
2d80: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 ..assert_eq( eva
2d90: 6c 53 74 72 69 6e 67 28 60 76 61 72 20 66 61 63 lString(`var fac
2da0: 20 3d 20 66 75 6e 28 78 29 7b 0a 09 09 69 66 28 = fun(x){...if(
2db0: 78 29 0a 09 09 09 7b 20 78 2a 66 61 63 28 78 2d x)....{ x*fac(x-
2dc0: 31 29 3b 20 7d 0a 09 09 65 6c 73 65 0a 09 09 09 1); }...else....
2dd0: 7b 20 31 3b 20 7d 3b 0a 09 7d 3b 0a 09 66 61 63 { 1; };..};..fac
2de0: 28 31 30 29 3b 60 29 2e 76 61 6c 2c 20 6e 65 77 (10);`).val, new
2df0: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
2e00: 28 31 30 2a 39 2a 38 2a 35 30 34 30 29 29 29 3b (10*9*8*5040)));
2e10: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 ..assert_eq( eva
2e20: 6c 53 74 72 69 6e 67 28 60 76 61 72 20 66 69 62 lString(`var fib
2e30: 20 3d 20 66 75 6e 28 78 29 7b 0a 09 09 69 66 28 = fun(x){...if(
2e40: 78 3c 32 29 0a 09 09 09 7b 20 31 3b 20 7d 0a 09 x<2)....{ 1; }..
2e50: 09 65 6c 73 65 0a 09 09 09 7b 20 66 69 62 28 78 .else....{ fib(x
2e60: 2d 31 29 20 2b 20 66 69 62 28 78 2d 32 29 3b 20 -1) + fib(x-2);
2e70: 7d 3b 0a 09 7d 3b 0a 09 66 69 62 28 35 29 3b 60 };..};..fib(5);`
2e80: 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 ).val, new IntVa
2e90: 6c 75 65 28 42 69 67 49 6e 74 28 38 29 29 29 3b lue(BigInt(8)));
2ea0: 0a 7d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b .}...unittest..{
2eb0: 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 ...assert_throw!
2ec0: 54 68 72 6f 77 61 62 6c 65 28 20 65 76 61 6c 53 Throwable( evalS
2ed0: 74 72 69 6e 67 28 60 40 40 73 28 78 29 7b 78 7d tring(`@@s(x){x}
2ee0: 3b 20 40 73 20 22 2b 22 3d 66 75 6e 28 78 2c 79 ; @s "+"=fun(x,y
2ef0: 29 7b 78 2d 79 7d 3b 40 73 28 31 2b 32 29 60 29 ){x-y};@s(1+2)`)
2f00: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
2f10: 20 65 76 61 6c 53 74 72 69 6e 67 28 60 40 40 73 evalString(`@@s
2f20: 28 78 29 7b 78 7d 3b 20 40 73 20 22 2b 22 3d 66 (x){x}; @s "+"=f
2f30: 75 6e 28 78 2c 79 29 7b 78 2d 79 7d 3b 31 2b 32 un(x,y){x-y};1+2
2f40: 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 `).val, new IntV
2f50: 61 6c 75 65 28 42 69 67 49 6e 74 28 33 29 29 20 alue(BigInt(3))
2f60: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
2f70: 65 76 61 6c 53 74 72 69 6e 67 28 60 40 40 73 28 evalString(`@@s(
2f80: 78 29 7b 78 7d 3b 20 40 73 20 22 2b 22 3d 66 75 x){x}; @s "+"=fu
2f90: 6e 28 78 2c 79 29 7b 40 76 28 40 73 28 78 29 2d n(x,y){@v(@s(x)-
2fa0: 40 73 28 79 29 29 7d 3b 31 2b 32 60 29 2e 76 61 @s(y))};1+2`).va
2fb0: 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 l, new IntValue(
2fc0: 42 69 67 49 6e 74 28 33 29 29 20 29 3b 0d 0a 09 BigInt(3)) );...
2fd0: 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 6c 53 assert_eq( evalS
2fe0: 74 72 69 6e 67 28 60 40 40 73 28 78 29 7b 78 7d tring(`@@s(x){x}
2ff0: 3b 20 40 73 20 22 2b 22 3d 66 75 6e 28 78 2c 79 ; @s "+"=fun(x,y
3000: 29 7b 40 76 28 40 73 28 78 29 2d 40 73 28 79 29 ){@v(@s(x)-@s(y)
3010: 29 7d 3b 40 73 28 31 2b 32 29 60 29 2e 76 61 6c )};@s(1+2)`).val
3020: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
3030: 69 67 49 6e 74 28 2d 31 29 29 20 29 3b 0d 0a 7d igInt(-1)) );..}
3040: 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d ....unittest..{.
3050: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 ..assert_eq( eva
3060: 6c 53 74 72 69 6e 67 28 60 40 40 74 20 3d 20 66 lString(`@@t = f
3070: 75 6e 28 78 29 7b 78 2b 31 7d 3b 20 40 74 28 31 un(x){x+1}; @t(1
3080: 32 33 29 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 23)`).val, new I
3090: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 ntValue(BigInt(1
30a0: 32 34 29 29 20 29 3b 0d 0a 09 2f 2f 20 74 68 65 24)) );...// the
30b0: 72 65 20 77 61 73 20 61 20 62 75 67 20 74 68 61 re was a bug tha
30c0: 74 20 64 65 63 6c 61 72 61 74 69 6f 6e 20 69 6e t declaration in
30d0: 20 74 68 65 20 66 69 72 73 74 20 6c 69 6e 65 20 the first line
30e0: 6f 66 20 66 75 6e 63 74 69 6f 6e 20 64 65 66 69 of function defi
30f0: 6e 69 74 69 6f 6e 0d 0a 09 2f 2f 20 63 61 6e 6e nition...// cann
3100: 6f 74 20 62 65 20 72 65 63 75 72 73 69 76 65 0d ot be recursive.
3110: 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 ..assert_nothrow
3120: 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 64 65 ( evalString(`de
3130: 66 20 66 6f 6f 28 29 20 7b 0d 0a 20 20 64 65 66 f foo() {.. def
3140: 20 62 61 72 28 79 29 20 7b 20 69 66 28 79 3c 31 bar(y) { if(y<1
3150: 29 20 7b 30 7d 20 65 6c 73 65 20 7b 62 61 72 28 ) {0} else {bar(
3160: 30 29 7d 20 7d 3b 0d 0a 20 20 62 61 72 28 31 29 0)} };.. bar(1)
3170: 0d 0a 7d 3b 20 66 6f 6f 28 29 60 29 20 29 3b 0d ..}; foo()`) );.
3180: 0a 7d 0d 0a 0d 0a .}....