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 6c 65 78 20 3a 20 rt polemy.lex :
00c0: 4c 65 78 50 6f 73 69 74 69 6f 6e 3b 0a 69 6d 70 LexPosition;.imp
00d0: 6f 72 74 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0a ort polemy.ast;.
00e0: 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 70 61 import polemy.pa
00f0: 72 73 65 3b 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 rse;.import pole
0100: 6d 79 2e 76 61 6c 75 65 3b 0a 69 6d 70 6f 72 74 my.value;.import
0110: 20 73 74 64 2e 74 79 70 65 63 6f 6e 73 3b 0a 69 std.typecons;.i
0120: 6d 70 6f 72 74 20 73 74 64 2e 73 74 64 69 6f 3b mport std.stdio;
0130: 0a 0d 0a 2f 2f 2f 0a 54 61 62 6c 65 20 63 72 65 ...///.Table cre
0140: 61 74 65 47 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 ateGlobalContext
0150: 28 29 0a 7b 0d 0a 09 61 75 74 6f 20 63 74 78 20 ().{...auto ctx
0160: 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 63 = new Table;...c
0170: 74 78 2e 73 65 74 28 22 2b 22 2c 20 22 40 76 22 tx.set("+", "@v"
0180: 2c 20 6e 61 74 69 76 65 28 20 28 49 6e 74 56 61 , native( (IntVa
0190: 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 61 6c 75 lue lhs, IntValu
01a0: 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 6e 65 e rhs){return ne
01b0: 77 20 49 6e 74 56 61 6c 75 65 28 6c 68 73 2e 64 w IntValue(lhs.d
01c0: 61 74 61 20 2b 20 72 68 73 2e 64 61 74 61 29 3b ata + rhs.data);
01d0: 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 } ));...ctx.set(
01e0: 22 2d 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 76 "-", "@v", nativ
01f0: 65 28 20 28 49 6e 74 56 61 6c 75 65 20 6c 68 73 e( (IntValue lhs
0200: 2c 20 49 6e 74 56 61 6c 75 65 20 72 68 73 29 7b , IntValue rhs){
0210: 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 return new IntVa
0220: 6c 75 65 28 6c 68 73 2e 64 61 74 61 20 2d 20 72 lue(lhs.data - r
0230: 68 73 2e 64 61 74 61 29 3b 7d 20 29 29 3b 0d 0a hs.data);} ));..
0240: 09 63 74 78 2e 73 65 74 28 22 2a 22 2c 20 22 40 .ctx.set("*", "@
0250: 76 22 2c 20 6e 61 74 69 76 65 28 20 28 49 6e 74 v", native( (Int
0260: 56 61 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 61 Value lhs, IntVa
0270: 6c 75 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 lue rhs){return
0280: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 6c 68 73 new IntValue(lhs
0290: 2e 64 61 74 61 20 2a 20 72 68 73 2e 64 61 74 61 .data * rhs.data
02a0: 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 );} ));...ctx.se
02b0: 74 28 22 2f 22 2c 20 22 40 76 22 2c 20 6e 61 74 t("/", "@v", nat
02c0: 69 76 65 28 20 28 49 6e 74 56 61 6c 75 65 20 6c ive( (IntValue l
02d0: 68 73 2c 20 49 6e 74 56 61 6c 75 65 20 72 68 73 hs, IntValue rhs
02e0: 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 ){return new Int
02f0: 56 61 6c 75 65 28 6c 68 73 2e 64 61 74 61 20 2f Value(lhs.data /
0300: 20 72 68 73 2e 64 61 74 61 29 3b 7d 20 29 29 3b rhs.data);} ));
0310: 0d 0a 09 63 74 78 2e 73 65 74 28 22 25 22 2c 20 ...ctx.set("%",
0320: 22 40 76 22 2c 20 6e 61 74 69 76 65 28 20 28 49 "@v", native( (I
0330: 6e 74 56 61 6c 75 65 20 6c 68 73 2c 20 49 6e 74 ntValue lhs, Int
0340: 56 61 6c 75 65 20 72 68 73 29 7b 72 65 74 75 72 Value rhs){retur
0350: 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 6c n new IntValue(l
0360: 68 73 2e 64 61 74 61 20 25 20 72 68 73 2e 64 61 hs.data % rhs.da
0370: 74 61 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e ta);} ));...ctx.
0380: 73 65 74 28 22 7c 7c 22 2c 20 22 40 76 22 2c 20 set("||", "@v",
0390: 6e 61 74 69 76 65 28 20 28 49 6e 74 56 61 6c 75 native( (IntValu
03a0: 65 20 6c 68 73 2c 20 49 6e 74 56 61 6c 75 65 20 e lhs, IntValue
03b0: 72 68 73 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 rhs){return new
03c0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
03d0: 28 6c 68 73 2e 64 61 74 61 21 3d 30 29 20 7c 7c (lhs.data!=0) ||
03e0: 20 28 72 68 73 2e 64 61 74 61 21 3d 30 29 20 3f (rhs.data!=0) ?
03f0: 20 31 3a 30 29 29 3b 7d 20 29 29 3b 0d 0a 09 63 1:0));} ));...c
0400: 74 78 2e 73 65 74 28 22 26 26 22 2c 20 22 40 76 tx.set("&&", "@v
0410: 22 2c 20 6e 61 74 69 76 65 28 20 28 49 6e 74 56 ", native( (IntV
0420: 61 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 61 6c alue lhs, IntVal
0430: 75 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 6e ue rhs){return n
0440: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
0450: 6e 74 28 28 6c 68 73 2e 64 61 74 61 21 3d 30 29 nt((lhs.data!=0)
0460: 20 26 26 20 28 72 68 73 2e 64 61 74 61 21 3d 30 && (rhs.data!=0
0470: 29 20 3f 20 31 3a 30 29 29 3b 7d 20 29 29 3b 0d ) ? 1:0));} ));.
0480: 0a 09 63 74 78 2e 73 65 74 28 22 3c 22 2c 20 22 ..ctx.set("<", "
0490: 40 76 22 2c 20 6e 61 74 69 76 65 28 20 28 56 61 @v", native( (Va
04a0: 6c 75 65 20 6c 68 73 2c 20 56 61 6c 75 65 20 72 lue lhs, Value r
04b0: 68 73 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 hs){return new I
04c0: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 6c ntValue(BigInt(l
04d0: 68 73 20 3c 20 72 68 73 20 3f 20 31 3a 20 30 29 hs < rhs ? 1: 0)
04e0: 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 );} ));...ctx.se
04f0: 74 28 22 3e 22 2c 20 22 40 76 22 2c 20 6e 61 74 t(">", "@v", nat
0500: 69 76 65 28 20 28 56 61 6c 75 65 20 6c 68 73 2c ive( (Value lhs,
0510: 20 56 61 6c 75 65 20 72 68 73 29 7b 72 65 74 75 Value rhs){retu
0520: 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 rn new IntValue(
0530: 42 69 67 49 6e 74 28 6c 68 73 20 3e 20 72 68 73 BigInt(lhs > rhs
0540: 20 3f 20 31 3a 20 30 29 29 3b 7d 20 29 29 3b 0d ? 1: 0));} ));.
0550: 0a 09 63 74 78 2e 73 65 74 28 22 3c 3d 22 2c 20 ..ctx.set("<=",
0560: 22 40 76 22 2c 20 6e 61 74 69 76 65 28 20 28 56 "@v", native( (V
0570: 61 6c 75 65 20 6c 68 73 2c 20 56 61 6c 75 65 20 alue lhs, Value
0580: 72 68 73 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 rhs){return new
0590: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
05a0: 6c 68 73 20 3c 3d 20 72 68 73 20 3f 20 31 3a 20 lhs <= rhs ? 1:
05b0: 30 29 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 0));} ));...ctx.
05c0: 73 65 74 28 22 3e 3d 22 2c 20 22 40 76 22 2c 20 set(">=", "@v",
05d0: 6e 61 74 69 76 65 28 20 28 56 61 6c 75 65 20 6c native( (Value l
05e0: 68 73 2c 20 56 61 6c 75 65 20 72 68 73 29 7b 72 hs, Value rhs){r
05f0: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c eturn new IntVal
0600: 75 65 28 42 69 67 49 6e 74 28 6c 68 73 20 3e 3d ue(BigInt(lhs >=
0610: 20 72 68 73 20 3f 20 31 3a 20 30 29 29 3b 7d 20 rhs ? 1: 0));}
0620: 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 3d ));...ctx.set("=
0630: 3d 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 76 65 =", "@v", native
0640: 28 20 28 56 61 6c 75 65 20 6c 68 73 2c 20 56 61 ( (Value lhs, Va
0650: 6c 75 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 lue rhs){return
0660: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
0670: 49 6e 74 28 6c 68 73 20 3d 3d 20 72 68 73 20 3f Int(lhs == rhs ?
0680: 20 31 3a 20 30 29 29 3b 7d 20 29 29 3b 0d 0a 09 1: 0));} ));...
0690: 63 74 78 2e 73 65 74 28 22 21 3d 22 2c 20 22 40 ctx.set("!=", "@
06a0: 76 22 2c 20 6e 61 74 69 76 65 28 20 28 56 61 6c v", native( (Val
06b0: 75 65 20 6c 68 73 2c 20 56 61 6c 75 65 20 72 68 ue lhs, Value rh
06c0: 73 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 6e s){return new In
06d0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 6c 68 tValue(BigInt(lh
06e0: 73 20 21 3d 20 72 68 73 20 3f 20 31 3a 20 30 29 s != rhs ? 1: 0)
06f0: 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 );} ));...ctx.se
0700: 74 28 22 70 72 69 6e 74 22 2c 20 22 40 76 22 2c t("print", "@v",
0710: 20 6e 65 77 20 46 75 6e 56 61 6c 75 65 28 64 65 new FunValue(de
0720: 6c 65 67 61 74 65 20 56 61 6c 75 65 28 69 6d 6d legate Value(imm
0730: 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 utable LexPositi
0740: 6f 6e 20 70 6f 73 2c 20 4c 61 79 65 72 20 6c 61 on pos, Layer la
0750: 79 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 29 y, Value[] args)
0760: 7b 0a 09 09 66 6f 72 65 61 63 68 28 61 3b 20 61 {...foreach(a; a
0770: 72 67 73 29 0a 09 09 09 77 72 69 74 65 28 61 29 rgs)....write(a)
0780: 3b 0a 09 09 77 72 69 74 65 6c 6e 28 22 22 29 3b ;...writeln("");
0790: 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 6e ...return new In
07a0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 37 tValue(BigInt(17
07b0: 38 29 29 3b 0a 09 7d 29 29 3b 0a 09 63 74 78 2e 8));..}));..ctx.
07c0: 73 65 74 28 22 69 66 22 2c 20 22 40 76 22 2c 20 set("if", "@v",
07d0: 6e 65 77 20 46 75 6e 56 61 6c 75 65 28 64 65 6c new FunValue(del
07e0: 65 67 61 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 egate Value(immu
07f0: 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f table LexPositio
0800: 6e 20 70 6f 73 2c 20 4c 61 79 65 72 20 6c 61 79 n pos, Layer lay
0810: 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 29 7b , Value[] args){
0820: 0a 09 09 69 66 28 20 61 72 67 73 2e 6c 65 6e 67 ...if( args.leng
0830: 74 68 20 21 3d 20 33 20 29 0a 09 09 09 74 68 72 th != 3 )....thr
0840: 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 ow genex!Runtime
0850: 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 Exception(pos, "
0860: 69 66 20 74 61 6b 65 73 20 74 68 72 65 65 20 61 if takes three a
0870: 72 67 75 6d 65 6e 74 73 21 21 22 29 3b 0a 09 09 rguments!!");...
0880: 69 66 28 20 61 75 74 6f 20 78 20 3d 20 63 61 73 if( auto x = cas
0890: 74 28 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b t(IntValue)args[
08a0: 30 5d 20 29 0a 09 09 69 66 28 20 61 75 74 6f 20 0] )...if( auto
08b0: 66 74 20 3d 20 63 61 73 74 28 46 75 6e 56 61 6c ft = cast(FunVal
08c0: 75 65 29 61 72 67 73 5b 31 5d 20 29 0a 09 09 69 ue)args[1] )...i
08d0: 66 28 20 61 75 74 6f 20 66 65 20 3d 20 63 61 73 f( auto fe = cas
08e0: 74 28 46 75 6e 56 61 6c 75 65 29 61 72 67 73 5b t(FunValue)args[
08f0: 32 5d 20 29 0a 09 09 09 72 65 74 75 72 6e 20 28 2] )....return (
0900: 78 2e 64 61 74 61 20 3d 3d 20 30 20 3f 20 66 65 x.data == 0 ? fe
0910: 20 3a 20 66 74 29 2e 63 61 6c 6c 28 70 6f 73 2c : ft).call(pos,
0920: 6c 61 79 2c 5b 5d 29 3b 0a 09 09 74 68 72 6f 77 lay,[]);...throw
0930: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
0940: 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 74 79 ception(pos, "ty
0950: 70 65 20 6d 69 73 6d 61 74 63 68 20 69 6e 20 69 pe mismatch in i
0960: 66 22 29 3b 0d 0a 09 7d 29 29 3b 0a 09 63 74 78 f");...}));..ctx
0970: 2e 73 65 74 28 22 5f 69 73 69 6e 74 22 2c 20 22 .set("_isint", "
0980: 40 76 22 2c 20 6e 61 74 69 76 65 28 20 28 56 61 @v", native( (Va
0990: 6c 75 65 20 76 29 7b 72 65 74 75 72 6e 20 6e 65 lue v){return ne
09a0: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
09b0: 74 28 63 61 73 74 28 49 6e 74 56 61 6c 75 65 29 t(cast(IntValue)
09c0: 76 20 69 73 20 6e 75 6c 6c 20 3f 20 30 20 3a 20 v is null ? 0 :
09d0: 31 29 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 1));} ));...ctx.
09e0: 73 65 74 28 22 5f 69 73 73 74 72 22 2c 20 22 40 set("_isstr", "@
09f0: 76 22 2c 20 6e 61 74 69 76 65 28 20 28 56 61 6c v", native( (Val
0a00: 75 65 20 76 29 7b 72 65 74 75 72 6e 20 6e 65 77 ue v){return new
0a10: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
0a20: 28 63 61 73 74 28 53 74 72 56 61 6c 75 65 29 76 (cast(StrValue)v
0a30: 20 69 73 20 6e 75 6c 6c 20 3f 20 30 20 3a 20 31 is null ? 0 : 1
0a40: 29 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 ));} ));...ctx.s
0a50: 65 74 28 22 5f 69 73 66 75 6e 22 2c 20 22 40 76 et("_isfun", "@v
0a60: 22 2c 20 6e 61 74 69 76 65 28 20 28 56 61 6c 75 ", native( (Valu
0a70: 65 20 76 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 e v){return new
0a80: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
0a90: 63 61 73 74 28 46 75 6e 56 61 6c 75 65 29 76 20 cast(FunValue)v
0aa0: 69 73 20 6e 75 6c 6c 20 3f 20 30 20 3a 20 31 29 is null ? 0 : 1)
0ab0: 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 );} ));...ctx.se
0ac0: 74 28 22 5f 69 73 75 6e 64 65 66 69 6e 65 64 22 t("_isundefined"
0ad0: 2c 20 22 40 76 22 2c 20 6e 61 74 69 76 65 28 20 , "@v", native(
0ae0: 28 56 61 6c 75 65 20 76 29 7b 72 65 74 75 72 6e (Value v){return
0af0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
0b00: 67 49 6e 74 28 63 61 73 74 28 55 6e 64 56 61 6c gInt(cast(UndVal
0b10: 75 65 29 76 20 69 73 20 6e 75 6c 6c 20 3f 20 30 ue)v is null ? 0
0b20: 20 3a 20 31 29 29 3b 7d 20 29 29 3b 0d 0a 09 63 : 1));} ));...c
0b30: 74 78 2e 73 65 74 28 22 5f 69 73 74 61 62 6c 65 tx.set("_istable
0b40: 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 76 65 28 ", "@v", native(
0b50: 20 28 56 61 6c 75 65 20 76 29 7b 72 65 74 75 72 (Value v){retur
0b60: 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 n new IntValue(B
0b70: 69 67 49 6e 74 28 63 61 73 74 28 54 61 62 6c 65 igInt(cast(Table
0b80: 29 76 20 69 73 20 6e 75 6c 6c 20 3f 20 30 20 3a )v is null ? 0 :
0b90: 20 31 29 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 1));} ));...ctx
0ba0: 2e 73 65 74 28 22 2e 22 2c 20 22 40 76 22 2c 20 .set(".", "@v",
0bb0: 6e 61 74 69 76 65 28 20 28 54 61 62 6c 65 20 74 native( (Table t
0bc0: 2c 20 53 74 72 56 61 6c 75 65 20 73 29 7b 0d 0a , StrValue s){..
0bd0: 09 09 72 65 74 75 72 6e 20 28 74 2e 68 61 73 28 ..return (t.has(
0be0: 73 2e 64 61 74 61 2c 20 22 40 76 22 29 20 3f 20 s.data, "@v") ?
0bf0: 74 2e 67 65 74 28 73 2e 64 61 74 61 2c 20 22 40 t.get(s.data, "@
0c00: 76 22 29 20 3a 20 6e 65 77 20 55 6e 64 56 61 6c v") : new UndVal
0c10: 75 65 29 3b 0d 0a 09 7d 29 20 29 3b 0d 0a 09 63 ue);...}) );...c
0c20: 74 78 2e 73 65 74 28 22 2e 3f 22 2c 20 22 40 76 tx.set(".?", "@v
0c30: 22 2c 20 6e 61 74 69 76 65 28 20 28 54 61 62 6c ", native( (Tabl
0c40: 65 20 74 2c 20 53 74 72 56 61 6c 75 65 20 73 29 e t, StrValue s)
0c50: 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 {....return new
0c60: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
0c70: 74 2e 68 61 73 28 73 2e 64 61 74 61 2c 20 22 40 t.has(s.data, "@
0c80: 76 22 29 20 3f 20 31 20 3a 20 30 29 29 3b 0d 0a v") ? 1 : 0));..
0c90: 09 7d 29 20 29 3b 0d 0a 09 63 74 78 2e 73 65 74 .}) );...ctx.set
0ca0: 28 22 2e 3d 22 2c 20 22 40 76 22 2c 20 6e 61 74 (".=", "@v", nat
0cb0: 69 76 65 28 20 28 54 61 62 6c 65 20 74 2c 20 53 ive( (Table t, S
0cc0: 74 72 56 61 6c 75 65 20 73 2c 20 56 61 6c 75 65 trValue s, Value
0cd0: 20 76 29 7b 0d 0a 09 09 61 75 74 6f 20 74 32 20 v){....auto t2
0ce0: 3d 20 6e 65 77 20 54 61 62 6c 65 28 74 2c 20 54 = new Table(t, T
0cf0: 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f able.Kind.NotPro
0d00: 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 09 74 pagateSet);....t
0d10: 32 2e 73 65 74 28 73 2e 64 61 74 61 2c 20 22 40 2.set(s.data, "@
0d20: 76 22 2c 20 76 29 3b 0d 0a 09 09 72 65 74 75 72 v", v);....retur
0d30: 6e 20 74 32 3b 0d 0a 09 7d 29 20 29 3b 0d 0a 09 n t2;...}) );...
0d40: 63 74 78 2e 73 65 74 28 22 7b 7d 22 2c 20 22 40 ctx.set("{}", "@
0d50: 76 22 2c 20 6e 61 74 69 76 65 28 20 28 29 7b 0d v", native( (){.
0d60: 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 54 61 ...return new Ta
0d70: 62 6c 65 3b 0d 0a 09 7d 29 20 29 3b 0d 0a 09 72 ble;...}) );...r
0d80: 65 74 75 72 6e 20 63 74 78 3b 0a 7d 0a 0a 2f 2f eturn ctx;.}..//
0d90: 2f 20 45 6e 74 72 79 20 70 6f 69 6e 74 20 6f 66 / Entry point of
0da0: 20 74 68 69 73 20 6d 6f 64 75 6c 65 0d 0a 0d 0a this module....
0db0: 54 75 70 6c 65 21 28 56 61 6c 75 65 2c 22 76 61 Tuple!(Value,"va
0dc0: 6c 22 2c 54 61 62 6c 65 2c 22 63 74 78 22 29 20 l",Table,"ctx")
0dd0: 65 76 61 6c 53 74 72 69 6e 67 28 53 2c 54 2e 2e evalString(S,T..
0de0: 2e 29 28 53 20 73 74 72 2c 20 54 20 66 6e 5f 6c .)(S str, T fn_l
0df0: 6e 5f 63 6e 29 0a 7b 0a 09 72 65 74 75 72 6e 20 n_cn).{..return
0e00: 65 76 61 6c 28 20 70 6f 6c 65 6d 79 2e 70 61 72 eval( polemy.par
0e10: 73 65 2e 70 61 72 73 65 53 74 72 69 6e 67 28 73 se.parseString(s
0e20: 74 72 2c 20 66 6e 5f 6c 6e 5f 63 6e 29 20 29 3b tr, fn_ln_cn) );
0e30: 0a 7d 0a 0a 2f 2f 2f 20 45 6e 74 72 79 20 70 6f .}../// Entry po
0e40: 69 6e 74 20 6f 66 20 74 68 69 73 20 6d 6f 64 75 int of this modu
0e50: 6c 65 0d 0a 0d 0a 54 75 70 6c 65 21 28 56 61 6c le....Tuple!(Val
0e60: 75 65 2c 22 76 61 6c 22 2c 54 61 62 6c 65 2c 22 ue,"val",Table,"
0e70: 63 74 78 22 29 20 65 76 61 6c 46 69 6c 65 28 53 ctx") evalFile(S
0e80: 2c 20 54 2e 2e 2e 29 28 53 20 66 69 6c 65 6e 61 , T...)(S filena
0e90: 6d 65 2c 20 54 20 6c 6e 5f 63 6e 29 0a 7b 0a 09 me, T ln_cn).{..
0ea0: 72 65 74 75 72 6e 20 65 76 61 6c 28 20 70 6f 6c return eval( pol
0eb0: 65 6d 79 2e 70 61 72 73 65 2e 70 61 72 73 65 46 emy.parse.parseF
0ec0: 69 6c 65 28 66 69 6c 65 6e 61 6d 65 2c 20 6c 6e ile(filename, ln
0ed0: 5f 63 6e 29 20 29 3b 0a 7d 0a 0a 2f 2f 2f 20 45 _cn) );.}../// E
0ee0: 6e 74 72 79 20 70 6f 69 6e 74 20 6f 66 20 74 68 ntry point of th
0ef0: 69 73 20 6d 6f 64 75 6c 65 0d 0a 0d 0a 54 75 70 is module....Tup
0f00: 6c 65 21 28 56 61 6c 75 65 2c 22 76 61 6c 22 2c le!(Value,"val",
0f10: 54 61 62 6c 65 2c 22 63 74 78 22 29 20 65 76 61 Table,"ctx") eva
0f20: 6c 28 41 53 54 20 65 29 0a 7b 0a 09 54 61 62 6c l(AST e).{..Tabl
0f30: 65 20 63 74 78 20 3d 20 63 72 65 61 74 65 47 6c e ctx = createGl
0f40: 6f 62 61 6c 43 6f 6e 74 65 78 74 28 29 3b 0a 09 obalContext();..
0f50: 72 65 74 75 72 6e 20 74 79 70 65 6f 66 28 72 65 return typeof(re
0f60: 74 75 72 6e 29 28 65 76 61 6c 28 65 2c 20 63 74 turn)(eval(e, ct
0f70: 78 2c 20 66 61 6c 73 65 2c 20 22 40 76 22 29 2c x, false, "@v"),
0f80: 20 63 74 78 29 3b 0a 7d 0a 0a 2f 2f 2f 20 45 6e ctx);.}../// En
0f90: 74 72 79 20 70 6f 69 6e 74 20 6f 66 20 74 68 69 try point of thi
0fa0: 73 20 6d 6f 64 75 6c 65 0d 0a 2f 2f 2f 20 49 66 s module../// If
0fb0: 20 73 70 6c 69 74 43 74 78 20 3d 20 74 72 75 65 splitCtx = true
0fc0: 2c 20 74 68 65 6e 20 69 6e 6e 65 72 20 76 61 72 , then inner var
0fd0: 69 61 62 6c 65 20 64 65 63 6c 61 72 61 74 69 6f iable declaratio
0fe0: 6e 20 64 6f 20 6e 6f 74 20 6f 76 65 72 77 72 69 n do not overwri
0ff0: 74 65 20 63 74 78 2e 0d 0a 2f 2f 2f 20 6c 61 79 te ctx.../// lay
1000: 20 69 73 20 74 68 65 20 6c 61 79 65 72 20 49 44 is the layer ID
1010: 20 66 6f 72 20 65 76 61 6c 75 61 74 69 6f 6e 20 for evaluation
1020: 28 73 74 61 6e 64 61 72 64 20 76 61 6c 75 65 20 (standard value
1030: 73 65 6d 61 6e 74 69 63 73 20 75 73 65 73 20 22 semantics uses "
1040: 40 76 22 29 2e 0d 0a 0d 0a 56 61 6c 75 65 20 65 @v").....Value e
1050: 76 61 6c 28 41 53 54 20 65 2c 20 54 61 62 6c 65 val(AST e, Table
1060: 20 63 74 78 2c 20 62 6f 6f 6c 20 73 70 6c 69 74 ctx, bool split
1070: 43 74 78 2c 20 4c 61 79 65 72 20 6c 61 79 29 0a Ctx, Layer lay).
1080: 7b 0d 0a 09 72 65 74 75 72 6e 20 65 2e 6d 61 74 {...return e.mat
1090: 63 68 28 0a 09 09 28 53 74 72 4c 69 74 65 72 61 ch(...(StrLitera
10a0: 6c 20 65 29 0a 09 09 7b 0d 0a 09 09 09 56 61 6c l e)...{.....Val
10b0: 75 65 20 76 20 3d 20 6e 65 77 20 53 74 72 56 61 ue v = new StrVa
10c0: 6c 75 65 28 65 2e 64 61 74 61 29 3b 0d 0a 09 09 lue(e.data);....
10d0: 09 69 66 28 20 6c 61 79 20 3d 3d 20 22 40 76 22 .if( lay == "@v"
10e0: 20 29 0a 09 09 09 09 72 65 74 75 72 6e 20 76 3b ).....return v;
10f0: 0d 0a 09 09 09 65 6c 73 65 20 2f 2f 20 72 69 73 .....else // ris
1100: 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 28 63 e......return (c
1110: 61 73 74 28 46 75 6e 56 61 6c 75 65 29 63 74 78 ast(FunValue)ctx
1120: 2e 67 65 74 28 6c 61 79 2c 20 22 28 73 79 73 74 .get(lay, "(syst
1130: 65 6d 29 22 2c 20 65 2e 70 6f 73 29 29 2e 63 61 em)", e.pos)).ca
1140: 6c 6c 28 65 2e 70 6f 73 2c 20 22 40 76 22 2c 20 ll(e.pos, "@v",
1150: 5b 76 5d 29 3b 0a 09 09 7d 2c 0a 09 09 28 49 6e [v]);...},...(In
1160: 74 4c 69 74 65 72 61 6c 20 65 29 0a 09 09 7b 0a tLiteral e)...{.
1170: 09 09 09 56 61 6c 75 65 20 76 20 3d 20 6e 65 77 ...Value v = new
1180: 20 49 6e 74 56 61 6c 75 65 28 65 2e 64 61 74 61 IntValue(e.data
1190: 29 3b 0d 0a 09 09 09 69 66 28 20 6c 61 79 20 3d );.....if( lay =
11a0: 3d 20 22 40 76 22 20 29 0d 0a 09 09 09 09 72 65 = "@v" )......re
11b0: 74 75 72 6e 20 76 3b 0a 09 09 09 65 6c 73 65 20 turn v;....else
11c0: 2f 2f 20 72 69 73 65 0d 0a 09 09 09 09 72 65 74 // rise......ret
11d0: 75 72 6e 20 28 63 61 73 74 28 46 75 6e 56 61 6c urn (cast(FunVal
11e0: 75 65 29 63 74 78 2e 67 65 74 28 6c 61 79 2c 20 ue)ctx.get(lay,
11f0: 22 28 73 79 73 74 65 6d 29 22 2c 20 65 2e 70 6f "(system)", e.po
1200: 73 29 29 2e 63 61 6c 6c 28 65 2e 70 6f 73 2c 20 s)).call(e.pos,
1210: 22 40 76 22 2c 20 5b 76 5d 29 3b 0d 0a 09 09 7d "@v", [v]);....}
1220: 2c 0a 09 09 28 56 61 72 45 78 70 72 65 73 73 69 ,...(VarExpressi
1230: 6f 6e 20 65 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 on e)....{.....i
1240: 66 28 20 6c 61 79 20 3d 3d 20 22 40 76 22 20 29 f( lay == "@v" )
1250: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 63 74 78 ......return ctx
1260: 2e 67 65 74 28 65 2e 76 61 72 2c 20 6c 61 79 2c .get(e.var, lay,
1270: 20 65 2e 70 6f 73 29 3b 0d 0a 09 09 09 74 72 79 e.pos);.....try
1280: 20 7b 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 63 {......return c
1290: 74 78 2e 67 65 74 28 65 2e 76 61 72 2c 20 6c 61 tx.get(e.var, la
12a0: 79 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 09 09 7d y, e.pos);.....}
12b0: 20 63 61 74 63 68 28 20 54 68 72 6f 77 61 62 6c catch( Throwabl
12c0: 65 20 29 20 7b 20 2f 2f 20 5b 54 4f 44 4f 5d 20 e ) { // [TODO]
12d0: 6d 6f 72 65 20 70 72 65 63 69 73 65 2e 2e 2e 0d more precise....
12e0: 0a 09 09 09 09 2f 2f 20 72 69 73 65 20 66 72 6f .....// rise fro
12f0: 6d 20 40 76 0d 0a 09 09 09 09 72 65 74 75 72 6e m @v......return
1300: 20 28 63 61 73 74 28 46 75 6e 56 61 6c 75 65 29 (cast(FunValue)
1310: 63 74 78 2e 67 65 74 28 6c 61 79 2c 20 22 28 73 ctx.get(lay, "(s
1320: 79 73 74 65 6d 29 22 2c 20 65 2e 70 6f 73 29 29 ystem)", e.pos))
1330: 2e 63 61 6c 6c 28 65 2e 70 6f 73 2c 20 22 40 76 .call(e.pos, "@v
1340: 22 2c 20 0d 0a 09 09 09 09 09 5b 63 74 78 2e 67 ", .......[ctx.g
1350: 65 74 28 65 2e 76 61 72 2c 20 22 40 76 22 2c 20 et(e.var, "@v",
1360: 65 2e 70 6f 73 29 5d 0d 0a 09 09 09 09 29 3b 0d e.pos)]......);.
1370: 0a 09 09 09 7d 0d 0a 09 09 7d 2c 0d 0a 09 09 28 ....}....},....(
1380: 4c 61 79 65 72 65 64 45 78 70 72 65 73 73 69 6f LayeredExpressio
1390: 6e 20 65 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 n e)....{.....if
13a0: 28 20 65 2e 6c 61 79 20 3d 3d 20 22 40 6d 61 63 ( e.lay == "@mac
13b0: 72 6f 22 20 29 0d 0a 09 09 09 09 72 65 74 75 72 ro" )......retur
13c0: 6e 20 6d 61 63 72 6f 45 76 61 6c 28 65 2e 65 78 n macroEval(e.ex
13d0: 70 72 2c 20 63 74 78 2c 20 66 61 6c 73 65 29 3b pr, ctx, false);
13e0: 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 72 .....else......r
13f0: 65 74 75 72 6e 20 65 76 61 6c 28 65 2e 65 78 70 eturn eval(e.exp
1400: 72 2c 20 63 74 78 2c 20 74 72 75 65 2c 20 65 2e r, ctx, true, e.
1410: 6c 61 79 29 3b 0d 0a 09 09 7d 2c 0d 0a 09 09 28 lay);....},....(
1420: 4c 65 74 45 78 70 72 65 73 73 69 6f 6e 20 65 29 LetExpression e)
1430: 0d 0a 09 09 7b 0d 0a 09 09 09 2f 2f 20 66 6f 72 ....{.....// for
1440: 20 6c 65 74 72 65 63 2c 20 77 65 20 6e 65 65 64 letrec, we need
1450: 20 74 68 69 73 2c 20 62 75 74 20 73 68 6f 75 6c this, but shoul
1460: 64 20 61 76 6f 69 64 20 6f 76 65 72 77 72 69 74 d avoid overwrit
1470: 69 6e 67 3f 3f 3f 3f 0d 0a 09 09 09 2f 2f 20 63 ing????.....// c
1480: 74 78 2e 73 65 74 28 65 2e 76 61 72 2c 20 22 40 tx.set(e.var, "@
1490: 76 22 2c 20 6e 65 77 20 55 6e 64 65 66 69 6e 65 v", new Undefine
14a0: 64 56 61 6c 75 65 2c 20 65 2e 70 6f 73 29 3b 0d dValue, e.pos);.
14b0: 0a 09 09 09 69 66 28 73 70 6c 69 74 43 74 78 29 ....if(splitCtx)
14c0: 0d 0a 09 09 09 09 63 74 78 20 3d 20 6e 65 77 20 ......ctx = new
14d0: 54 61 62 6c 65 28 63 74 78 2c 20 54 61 62 6c 65 Table(ctx, Table
14e0: 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 61 .Kind.NotPropaga
14f0: 74 65 53 65 74 29 3b 0d 0a 09 09 09 56 61 6c 75 teSet);.....Valu
1500: 65 20 76 20 3d 20 65 76 61 6c 28 65 2e 69 6e 69 e v = eval(e.ini
1510: 74 2c 20 63 74 78 2c 20 74 72 75 65 2c 20 6c 61 t, ctx, true, la
1520: 79 29 3b 0d 0a 09 09 09 63 74 78 2e 73 65 74 28 y);.....ctx.set(
1530: 65 2e 76 61 72 2c 20 28 65 2e 6c 61 79 65 72 2e e.var, (e.layer.
1540: 6c 65 6e 67 74 68 20 3f 20 65 2e 6c 61 79 65 72 length ? e.layer
1550: 20 3a 20 6c 61 79 29 2c 20 76 2c 20 65 2e 70 6f : lay), v, e.po
1560: 73 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 s);.....return e
1570: 76 61 6c 28 65 2e 65 78 70 72 2c 20 63 74 78 2c val(e.expr, ctx,
1580: 20 66 61 6c 73 65 2c 20 6c 61 79 29 3b 0d 0a 09 false, lay);...
1590: 09 7d 2c 0d 0a 09 09 28 46 75 6e 63 61 6c 6c 45 .},....(FuncallE
15a0: 78 70 72 65 73 73 69 6f 6e 20 65 29 0a 09 09 7b xpression e)...{
15b0: 0a 09 09 09 56 61 6c 75 65 20 5f 66 20 3d 20 65 ....Value _f = e
15c0: 76 61 6c 28 65 2e 66 75 6e 2c 20 63 74 78 2c 20 val(e.fun, ctx,
15d0: 74 72 75 65 2c 20 6c 61 79 29 3b 0a 09 09 09 69 true, lay);....i
15e0: 66 28 20 61 75 74 6f 20 66 20 3d 20 63 61 73 74 f( auto f = cast
15f0: 28 46 75 6e 56 61 6c 75 65 29 5f 66 20 29 20 7b (FunValue)_f ) {
1600: 0a 09 09 09 09 56 61 6c 75 65 5b 5d 20 61 72 67 .....Value[] arg
1610: 73 3b 0a 09 09 09 09 66 6f 72 65 61 63 68 28 61 s;.....foreach(a
1620: 3b 20 65 2e 61 72 67 73 29 0a 09 09 09 09 09 61 ; e.args)......a
1630: 72 67 73 20 7e 3d 20 65 76 61 6c 28 61 2c 20 63 rgs ~= eval(a, c
1640: 74 78 2c 20 74 72 75 65 2c 20 6c 61 79 29 3b 0a tx, true, lay);.
1650: 09 09 09 09 72 65 74 75 72 6e 20 66 2e 63 61 6c ....return f.cal
1660: 6c 28 65 2e 70 6f 73 2c 20 6c 61 79 2c 20 61 72 l(e.pos, lay, ar
1670: 67 73 29 3b 0a 09 09 09 7d 0d 0a 09 09 09 74 68 gs);....}.....th
1680: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
1690: 65 45 78 63 65 70 74 69 6f 6e 28 65 2e 70 6f 73 eException(e.pos
16a0: 2c 20 22 4e 6f 6e 2d 66 75 6e 63 69 6f 6e 20 69 , "Non-funcion i
16b0: 73 20 61 70 70 6c 69 65 64 22 29 3b 0a 09 09 7d s applied");...}
16c0: 2c 0a 09 09 28 46 75 6e 4c 69 74 65 72 61 6c 20 ,...(FunLiteral
16d0: 65 29 0a 09 09 7b 0d 0a 09 09 09 56 61 6c 75 65 e)...{.....Value
16e0: 5b 56 61 6c 75 65 5b 5d 5d 5b 4c 61 79 65 72 5d [Value[]][Layer]
16f0: 20 6d 65 6d 6f 3b 0d 0a 09 09 09 41 53 54 20 6d memo;.....AST m
1700: 61 63 72 6f 4d 65 6d 6f 20 3d 20 6e 75 6c 6c 3b acroMemo = null;
1710: 20 2f 2f 20 63 61 63 68 65 0d 0a 0d 0a 09 09 09 // cache.......
1720: 2f 2f 20 66 75 6e 76 61 6c 75 65 20 6e 65 65 64 // funvalue need
1730: 20 6e 6f 74 20 62 65 20 72 69 73 65 64 0d 0a 09 not be rised...
1740: 09 09 2f 2f 20 6e 6f 2c 20 6e 65 65 64 20 74 6f ..// no, need to
1750: 20 62 65 20 72 69 73 65 64 20 21 21 20 20 73 75 be rised !! su
1760: 70 70 6f 73 65 20 40 74 28 66 69 62 29 28 22 69 ppose @t(fib)("i
1770: 6e 74 22 29 0a 09 09 09 72 65 74 75 72 6e 20 6e nt")....return n
1780: 65 77 20 46 75 6e 56 61 6c 75 65 28 64 65 6c 65 ew FunValue(dele
1790: 67 61 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 74 gate Value(immut
17a0: 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e able LexPosition
17b0: 20 70 6f 73 2c 20 73 74 72 69 6e 67 20 6c 61 79 pos, string lay
17c0: 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 29 7b , Value[] args){
17d0: 0d 0a 09 09 09 09 2f 2f 20 54 4f 44 4f 3a 20 6f ......// TODO: o
17e0: 6e 6c 79 20 61 75 74 6f 20 72 61 69 73 65 64 20 nly auto raised
17f0: 6f 6e 65 73 20 6e 65 65 64 20 6d 65 6d 6f 3f 20 ones need memo?
1800: 6e 6f 3f 0d 0a 09 09 09 09 2f 2f 20 61 75 74 6f no?......// auto
1810: 20 6d 65 6d 6f 69 7a 61 74 69 6f 6e 0d 0a 09 09 memoization....
1820: 09 09 69 66 28 20 6c 61 79 20 21 3d 20 22 40 76 ..if( lay != "@v
1830: 22 20 26 26 20 6c 61 79 20 21 3d 20 22 40 6d 61 " && lay != "@ma
1840: 63 72 6f 22 20 29 0d 0a 09 09 09 09 7b 0d 0a 09 cro" )......{...
1850: 09 09 09 09 69 66 28 20 61 75 74 6f 20 6d 65 6d ....if( auto mem
1860: 6f 6c 61 79 20 3d 20 6c 61 79 20 69 6e 20 6d 65 olay = lay in me
1870: 6d 6f 20 29 0d 0a 09 09 09 09 09 09 69 66 28 20 mo )........if(
1880: 61 75 74 6f 20 70 76 20 3d 20 61 72 67 73 20 69 auto pv = args i
1890: 6e 20 2a 6d 65 6d 6f 6c 61 79 20 29 0d 0a 09 09 n *memolay )....
18a0: 09 09 09 09 09 72 65 74 75 72 6e 20 2a 70 76 3b .....return *pv;
18b0: 0d 0a 09 09 09 09 09 6d 65 6d 6f 5b 6c 61 79 5d .......memo[lay]
18c0: 5b 61 72 67 73 5d 20 3d 20 28 63 61 73 74 28 46 [args] = (cast(F
18d0: 75 6e 56 61 6c 75 65 29 63 74 78 2e 67 65 74 28 unValue)ctx.get(
18e0: 6c 61 79 2c 20 22 28 73 79 73 74 65 6d 29 22 2c lay, "(system)",
18f0: 20 65 2e 70 6f 73 29 29 2e 63 61 6c 6c 28 65 2e e.pos)).call(e.
1900: 70 6f 73 2c 20 22 40 76 22 2c 20 0d 0a 09 09 09 pos, "@v", .....
1910: 09 09 09 5b 6e 65 77 20 55 6e 64 56 61 6c 75 65 ...[new UndValue
1920: 5d 0d 0a 09 09 09 09 09 29 3b 0d 0a 09 09 09 09 ].......);......
1930: 7d 0d 0a 09 09 09 09 0a 09 09 09 09 69 66 28 20 }...........if(
1940: 65 2e 70 61 72 61 6d 73 2e 6c 65 6e 67 74 68 20 e.params.length
1950: 21 3d 20 61 72 67 73 2e 6c 65 6e 67 74 68 20 29 != args.length )
1960: 0a 09 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65 ......throw gene
1970: 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 x!RuntimeExcepti
1980: 6f 6e 28 65 2e 70 6f 73 2c 20 73 70 72 69 6e 74 on(e.pos, sprint
1990: 66 21 22 41 72 67 75 6d 65 6e 74 20 4e 75 6d 62 f!"Argument Numb
19a0: 65 72 20 4d 69 73 6d 61 74 63 68 20 28 25 64 20 er Mismatch (%d
19b0: 72 65 71 75 69 72 65 64 20 62 75 74 20 25 64 20 required but %d
19c0: 67 69 76 65 6e 29 22 0a 09 09 09 09 09 09 28 65 given)".......(e
19d0: 2e 70 61 72 61 6d 73 2e 6c 65 6e 67 74 68 2c 20 .params.length,
19e0: 61 72 67 73 2e 6c 65 6e 67 74 68 29 29 3b 0a 09 args.length));..
19f0: 09 09 09 54 61 62 6c 65 20 63 74 78 4e 65 6f 20 ...Table ctxNeo
1a00: 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 74 78 2c = new Table(ctx,
1a10: 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 Table.Kind.NotP
1a20: 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0a 09 09 ropagateSet);...
1a30: 09 09 66 6f 72 65 61 63 68 28 69 2c 70 3b 20 65 ..foreach(i,p; e
1a40: 2e 70 61 72 61 6d 73 29 0a 09 09 09 09 09 63 74 .params)......ct
1a50: 78 4e 65 6f 2e 73 65 74 28 70 2e 6e 61 6d 65 2c xNeo.set(p.name,
1a60: 20 6c 61 79 2c 20 61 72 67 73 5b 69 5d 29 3b 0d lay, args[i]);.
1a70: 0a 0d 0a 09 09 09 09 2f 2f 20 40 6d 61 63 72 6f .......// @macro
1a80: 20 72 75 6e 21 21 21 0d 0a 09 09 09 09 69 66 28 run!!!......if(
1a90: 20 6c 61 79 20 3d 3d 20 22 40 6d 61 63 72 6f 22 lay == "@macro"
1aa0: 20 29 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 ).......return
1ab0: 6d 61 63 72 6f 45 76 61 6c 28 65 2e 66 75 6e 62 macroEval(e.funb
1ac0: 6f 64 79 2c 20 63 74 78 4e 65 6f 2c 20 66 61 6c ody, ctxNeo, fal
1ad0: 73 65 29 3b 0d 0a 09 09 09 09 69 66 28 20 6d 61 se);......if( ma
1ae0: 63 72 6f 4d 65 6d 6f 20 69 73 20 6e 75 6c 6c 20 croMemo is null
1af0: 29 0d 0a 09 09 09 09 09 6d 61 63 72 6f 4d 65 6d ).......macroMem
1b00: 6f 20 3d 20 74 61 62 6c 65 54 6f 41 53 54 28 22 o = tableToAST("
1b10: 40 76 22 2c 6d 61 63 72 6f 45 76 61 6c 28 65 2e @v",macroEval(e.
1b20: 66 75 6e 62 6f 64 79 2c 20 63 74 78 4e 65 6f 2c funbody, ctxNeo,
1b30: 20 74 72 75 65 29 29 3b 0d 0a 09 09 09 09 61 75 true));......au
1b40: 74 6f 20 76 20 3d 20 65 76 61 6c 28 6d 61 63 72 to v = eval(macr
1b50: 6f 4d 65 6d 6f 2c 20 63 74 78 4e 65 6f 2c 20 74 oMemo, ctxNeo, t
1b60: 72 75 65 2c 20 6c 61 79 29 3b 0d 0a 0d 0a 09 09 rue, lay);......
1b70: 09 09 2f 2f 61 75 74 6f 20 76 20 3d 20 65 76 61 ..//auto v = eva
1b80: 6c 28 65 2e 66 75 6e 62 6f 64 79 2c 20 63 74 78 l(e.funbody, ctx
1b90: 4e 65 6f 2c 20 74 72 75 65 2c 20 6c 61 79 29 3b Neo, true, lay);
1ba0: 0d 0a 09 09 09 09 2f 2f 20 61 75 74 6f 20 6d 65 ......// auto me
1bb0: 6d 6f 69 7a 61 74 69 6f 6e 0d 0a 09 09 09 09 69 moization......i
1bc0: 66 28 20 6c 61 79 20 21 3d 20 22 40 76 22 20 26 f( lay != "@v" &
1bd0: 26 20 6c 61 79 20 21 3d 20 22 40 6d 61 63 72 6f & lay != "@macro
1be0: 22 20 29 0d 0a 09 09 09 09 09 6d 65 6d 6f 5b 6c " ).......memo[l
1bf0: 61 79 5d 5b 61 72 67 73 5d 20 3d 20 76 3b 0d 0a ay][args] = v;..
1c00: 09 09 09 09 72 65 74 75 72 6e 20 76 3b 0a 09 09 ....return v;...
1c10: 09 7d 29 3b 0a 09 09 7d 2c 0d 0a 09 09 64 65 6c .});...},....del
1c20: 65 67 61 74 65 20 56 61 6c 75 65 20 28 41 53 54 egate Value (AST
1c30: 20 65 29 0d 0a 09 09 7b 0a 09 09 09 74 68 72 6f e)....{....thro
1c40: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 w genex!RuntimeE
1c50: 78 63 65 70 74 69 6f 6e 28 65 2e 70 6f 73 2c 20 xception(e.pos,
1c60: 73 70 72 69 6e 74 66 21 22 55 6e 6b 6e 6f 77 6e sprintf!"Unknown
1c70: 20 4b 69 6e 64 20 6f 66 20 45 78 70 72 65 73 73 Kind of Express
1c80: 69 6f 6e 20 25 73 22 28 74 79 70 65 69 64 28 65 ion %s"(typeid(e
1c90: 29 29 29 3b 0d 0a 09 09 7d 0d 0a 09 29 3b 0a 7d )));....}...);.}
1ca0: 0a 0d 0a 2f 2f 20 5b 54 4f 44 4f 5d 20 4f 70 74 ...// [TODO] Opt
1cb0: 69 6d 69 7a 61 74 69 6f 6e 0d 0a 56 61 6c 75 65 imization..Value
1cc0: 20 6d 61 63 72 6f 45 76 61 6c 28 41 53 54 20 65 macroEval(AST e
1cd0: 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f , Table ctx, boo
1ce0: 6c 20 41 6c 77 61 79 73 4d 61 63 72 6f 29 0d 0a l AlwaysMacro)..
1cf0: 7b 0d 0a 09 4c 61 79 65 72 20 74 68 65 4c 61 79 {...Layer theLay
1d00: 65 72 20 3d 20 22 40 76 22 3b 0d 0a 0d 0a 09 54 er = "@v";.....T
1d10: 61 62 6c 65 20 70 6f 73 20 3d 20 6e 65 77 20 54 able pos = new T
1d20: 61 62 6c 65 3b 0d 0a 09 70 6f 73 2e 73 65 74 28 able;...pos.set(
1d30: 22 66 69 6c 65 6e 61 6d 65 22 2c 20 74 68 65 4c "filename", theL
1d40: 61 79 65 72 2c 20 6e 65 77 20 53 74 72 56 61 6c ayer, new StrVal
1d50: 75 65 28 65 2e 70 6f 73 2e 66 69 6c 65 6e 61 6d ue(e.pos.filenam
1d60: 65 29 29 3b 0d 0a 09 70 6f 73 2e 73 65 74 28 22 e));...pos.set("
1d70: 6c 69 6e 65 6e 6f 22 2c 20 20 20 74 68 65 4c 61 lineno", theLa
1d80: 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 yer, new IntValu
1d90: 65 28 42 69 67 49 6e 74 28 65 2e 70 6f 73 2e 6c e(BigInt(e.pos.l
1da0: 69 6e 65 6e 6f 29 29 29 3b 0d 0a 09 70 6f 73 2e ineno)));...pos.
1db0: 73 65 74 28 22 63 6f 6c 75 6d 6e 22 2c 20 20 20 set("column",
1dc0: 74 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e theLayer, new In
1dd0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 65 2e tValue(BigInt(e.
1de0: 70 6f 73 2e 63 6f 6c 75 6d 6e 29 29 29 3b 0d 0a pos.column)));..
1df0: 09 72 65 74 75 72 6e 20 65 2e 6d 61 74 63 68 28 .return e.match(
1e00: 0d 0a 09 09 28 53 74 72 4c 69 74 65 72 61 6c 20 ....(StrLiteral
1e10: 65 29 0d 0a 09 09 7b 0d 0a 09 09 09 54 61 62 6c e)....{.....Tabl
1e20: 65 20 74 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b e t = new Table;
1e30: 0d 0a 09 09 09 74 2e 73 65 74 28 22 70 6f 73 22 .....t.set("pos"
1e40: 2c 20 20 74 68 65 4c 61 79 65 72 2c 20 70 6f 73 , theLayer, pos
1e50: 29 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22 69 73 );.....t.set("is
1e60: 22 2c 20 20 20 74 68 65 4c 61 79 65 72 2c 20 6e ", theLayer, n
1e70: 65 77 20 53 74 72 56 61 6c 75 65 28 22 73 74 72 ew StrValue("str
1e80: 22 29 29 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22 "));.....t.set("
1e90: 64 61 74 61 22 2c 20 74 68 65 4c 61 79 65 72 2c data", theLayer,
1ea0: 20 6e 65 77 20 53 74 72 56 61 6c 75 65 28 65 2e new StrValue(e.
1eb0: 64 61 74 61 29 29 3b 0d 0a 09 09 09 72 65 74 75 data));.....retu
1ec0: 72 6e 20 74 3b 0d 0a 09 09 7d 2c 0d 0a 09 09 28 rn t;....},....(
1ed0: 49 6e 74 4c 69 74 65 72 61 6c 20 65 29 0d 0a 09 IntLiteral e)...
1ee0: 09 7b 0d 0a 09 09 09 54 61 62 6c 65 20 74 20 3d .{.....Table t =
1ef0: 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 new Table;.....
1f00: 74 2e 73 65 74 28 22 70 6f 73 22 2c 20 20 74 68 t.set("pos", th
1f10: 65 4c 61 79 65 72 2c 20 70 6f 73 29 3b 0d 0a 09 eLayer, pos);...
1f20: 09 09 74 2e 73 65 74 28 22 69 73 22 2c 20 20 20 ..t.set("is",
1f30: 74 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 theLayer, new St
1f40: 72 56 61 6c 75 65 28 22 69 6e 74 22 29 29 3b 0d rValue("int"));.
1f50: 0a 09 09 09 74 2e 73 65 74 28 22 64 61 74 61 22 ....t.set("data"
1f60: 2c 20 74 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 , theLayer, new
1f70: 49 6e 74 56 61 6c 75 65 28 65 2e 64 61 74 61 29 IntValue(e.data)
1f80: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 3b );.....return t;
1f90: 0d 0a 09 09 7d 2c 0d 0a 09 09 28 56 61 72 45 78 ....},....(VarEx
1fa0: 70 72 65 73 73 69 6f 6e 20 65 29 0d 0a 09 09 7b pression e)....{
1fb0: 0d 0a 09 09 09 74 72 79 20 7b 0d 0a 09 09 09 09 .....try {......
1fc0: 72 65 74 75 72 6e 20 63 74 78 2e 67 65 74 28 65 return ctx.get(e
1fd0: 2e 76 61 72 2c 20 22 40 6d 61 63 72 6f 22 2c 20 .var, "@macro",
1fe0: 65 2e 70 6f 73 29 3b 0d 0a 09 09 09 7d 20 63 61 e.pos);.....} ca
1ff0: 74 63 68 28 20 54 68 72 6f 77 61 62 6c 65 20 29 tch( Throwable )
2000: 20 7b 2f 2f 20 5b 54 4f 44 4f 5d 20 6d 6f 72 65 {// [TODO] more
2010: 20 70 72 65 63 69 65 73 2e 2e 2e 0d 0a 09 09 09 precies........
2020: 09 54 61 62 6c 65 20 74 20 3d 20 6e 65 77 20 54 .Table t = new T
2030: 61 62 6c 65 3b 0d 0a 09 09 09 09 74 2e 73 65 74 able;......t.set
2040: 28 22 70 6f 73 22 2c 20 20 74 68 65 4c 61 79 65 ("pos", theLaye
2050: 72 2c 20 70 6f 73 29 3b 0d 0a 09 09 09 09 74 2e r, pos);......t.
2060: 73 65 74 28 22 69 73 22 2c 20 20 20 74 68 65 4c set("is", theL
2070: 61 79 65 72 2c 20 6e 65 77 20 53 74 72 56 61 6c ayer, new StrVal
2080: 75 65 28 22 76 61 72 22 29 29 3b 0d 0a 09 09 09 ue("var"));.....
2090: 09 74 2e 73 65 74 28 22 6e 61 6d 65 22 2c 20 74 .t.set("name", t
20a0: 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 72 heLayer, new Str
20b0: 56 61 6c 75 65 28 65 2e 76 61 72 29 29 3b 0d 0a Value(e.var));..
20c0: 09 09 09 09 72 65 74 75 72 6e 20 63 61 73 74 28 ....return cast(
20d0: 56 61 6c 75 65 29 74 3b 0d 0a 09 09 09 7d 0d 0a Value)t;.....}..
20e0: 09 09 7d 2c 0d 0a 09 09 28 4c 61 79 65 72 65 64 ..},....(Layered
20f0: 45 78 70 72 65 73 73 69 6f 6e 20 65 29 0d 0a 09 Expression e)...
2100: 09 7b 0d 0a 09 09 09 69 66 28 20 41 6c 77 61 79 .{.....if( Alway
2110: 73 4d 61 63 72 6f 20 29 0d 0a 09 09 09 7b 0d 0a sMacro ).....{..
2120: 09 09 09 09 54 61 62 6c 65 20 74 20 3d 20 6e 65 ....Table t = ne
2130: 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 09 74 2e w Table;......t.
2140: 73 65 74 28 22 70 6f 73 22 2c 20 20 74 68 65 4c set("pos", theL
2150: 61 79 65 72 2c 20 70 6f 73 29 3b 0d 0a 09 09 09 ayer, pos);.....
2160: 09 74 2e 73 65 74 28 22 69 73 22 2c 20 20 20 74 .t.set("is", t
2170: 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 72 heLayer, new Str
2180: 56 61 6c 75 65 28 22 6c 61 79 22 29 29 3b 0d 0a Value("lay"));..
2190: 09 09 09 09 74 2e 73 65 74 28 22 6c 61 79 65 72 ....t.set("layer
21a0: 22 2c 20 20 20 74 68 65 4c 61 79 65 72 2c 20 6e ", theLayer, n
21b0: 65 77 20 53 74 72 56 61 6c 75 65 28 65 2e 6c 61 ew StrValue(e.la
21c0: 79 29 29 3b 0d 0a 09 09 09 09 74 2e 73 65 74 28 y));......t.set(
21d0: 22 65 78 70 72 22 2c 20 74 68 65 4c 61 79 65 72 "expr", theLayer
21e0: 2c 20 6d 61 63 72 6f 45 76 61 6c 28 65 2e 65 78 , macroEval(e.ex
21f0: 70 72 2c 63 74 78 2c 41 6c 77 61 79 73 4d 61 63 pr,ctx,AlwaysMac
2200: 72 6f 29 29 3b 0d 0a 09 09 09 09 72 65 74 75 72 ro));......retur
2210: 6e 20 63 61 73 74 28 56 61 6c 75 65 29 74 3b 0d n cast(Value)t;.
2220: 0a 09 09 09 7d 0d 0a 09 09 09 65 6c 73 65 0d 0a ....}.....else..
2230: 09 09 09 7b 0d 0a 09 09 09 09 72 65 74 75 72 6e ...{......return
2240: 20 65 76 61 6c 28 65 2e 65 78 70 72 2c 20 63 74 eval(e.expr, ct
2250: 78 2c 20 74 72 75 65 2c 20 65 2e 6c 61 79 29 3b x, true, e.lay);
2260: 0d 0a 09 09 09 7d 0d 0a 09 09 7d 2c 0d 0a 09 09 .....}....},....
2270: 28 4c 65 74 45 78 70 72 65 73 73 69 6f 6e 20 65 (LetExpression e
2280: 29 0d 0a 09 09 7b 0d 0a 09 09 09 54 61 62 6c 65 )....{.....Table
2290: 20 74 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d t = new Table;.
22a0: 0a 09 09 09 74 2e 73 65 74 28 22 70 6f 73 22 2c ....t.set("pos",
22b0: 20 20 74 68 65 4c 61 79 65 72 2c 20 70 6f 73 29 theLayer, pos)
22c0: 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22 69 73 22 ;.....t.set("is"
22d0: 2c 20 20 20 74 68 65 4c 61 79 65 72 2c 20 6e 65 , theLayer, ne
22e0: 77 20 53 74 72 56 61 6c 75 65 28 22 6c 65 74 22 w StrValue("let"
22f0: 29 29 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22 6e ));.....t.set("n
2300: 61 6d 65 22 2c 20 74 68 65 4c 61 79 65 72 2c 20 ame", theLayer,
2310: 6e 65 77 20 53 74 72 56 61 6c 75 65 28 65 2e 76 new StrValue(e.v
2320: 61 72 29 29 3b 0d 0a 09 09 09 74 2e 73 65 74 28 ar));.....t.set(
2330: 22 69 6e 69 74 22 2c 20 74 68 65 4c 61 79 65 72 "init", theLayer
2340: 2c 20 6d 61 63 72 6f 45 76 61 6c 28 65 2e 69 6e , macroEval(e.in
2350: 69 74 2c 63 74 78 2c 41 6c 77 61 79 73 4d 61 63 it,ctx,AlwaysMac
2360: 72 6f 29 29 3b 0d 0a 09 09 09 74 2e 73 65 74 28 ro));.....t.set(
2370: 22 65 78 70 72 22 2c 20 74 68 65 4c 61 79 65 72 "expr", theLayer
2380: 2c 20 6d 61 63 72 6f 45 76 61 6c 28 65 2e 65 78 , macroEval(e.ex
2390: 70 72 2c 63 74 78 2c 41 6c 77 61 79 73 4d 61 63 pr,ctx,AlwaysMac
23a0: 72 6f 29 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e ro));.....return
23b0: 20 74 3b 0d 0a 09 09 7d 2c 0d 0a 09 09 28 46 75 t;....},....(Fu
23c0: 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 20 ncallExpression
23d0: 65 29 0d 0a 09 09 7b 0d 0a 09 09 09 56 61 6c 75 e)....{.....Valu
23e0: 65 20 5f 66 20 3d 20 6d 61 63 72 6f 45 76 61 6c e _f = macroEval
23f0: 28 65 2e 66 75 6e 2c 63 74 78 2c 41 6c 77 61 79 (e.fun,ctx,Alway
2400: 73 4d 61 63 72 6f 29 3b 0d 0a 0d 0a 09 09 09 2f sMacro);......./
2410: 2f 20 63 6f 70 79 20 26 20 70 61 73 65 20 66 72 / copy & pase fr
2420: 6f 6d 20 6e 6f 72 6d 61 6c 20 65 76 61 6c 0d 0a om normal eval..
2430: 09 09 09 2f 2f 20 5b 54 4f 44 4f 5d 20 73 79 6e ...// [TODO] syn
2440: 63 20 77 69 74 68 20 40 6c 61 79 65 72 64 20 70 c with @layerd p
2450: 61 72 61 6d 65 74 65 72 73 2e 0d 0a 09 09 09 69 arameters......i
2460: 66 28 20 61 75 74 6f 20 66 20 3d 20 63 61 73 74 f( auto f = cast
2470: 28 46 75 6e 56 61 6c 75 65 29 5f 66 20 29 20 7b (FunValue)_f ) {
2480: 0d 0a 09 09 09 09 56 61 6c 75 65 5b 5d 20 61 72 ......Value[] ar
2490: 67 73 3b 0d 0a 09 09 09 09 66 6f 72 65 61 63 68 gs;......foreach
24a0: 28 61 3b 20 65 2e 61 72 67 73 29 0d 0a 09 09 09 (a; e.args).....
24b0: 09 09 61 72 67 73 20 7e 3d 20 6d 61 63 72 6f 45 ..args ~= macroE
24c0: 76 61 6c 28 61 2c 20 63 74 78 2c 20 41 6c 77 61 val(a, ctx, Alwa
24d0: 79 73 4d 61 63 72 6f 29 3b 0d 0a 09 09 09 09 72 ysMacro);......r
24e0: 65 74 75 72 6e 20 66 2e 63 61 6c 6c 28 65 2e 70 eturn f.call(e.p
24f0: 6f 73 2c 20 22 40 6d 61 63 72 6f 22 2c 20 61 72 os, "@macro", ar
2500: 67 73 29 3b 20 2f 2f 20 65 78 70 6c 69 63 69 74 gs); // explicit
2510: 20 40 6d 61 63 72 6f 20 69 73 20 74 68 65 20 62 @macro is the b
2520: 65 73 74 3f 3f 3f 0d 0a 09 09 09 7d 0d 0a 09 09 est???.....}....
2530: 09 0d 0a 09 09 09 54 61 62 6c 65 20 74 20 3d 20 ......Table t =
2540: 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 74 new Table;.....t
2550: 2e 73 65 74 28 22 70 6f 73 22 2c 20 20 74 68 65 .set("pos", the
2560: 4c 61 79 65 72 2c 20 70 6f 73 29 3b 0d 0a 09 09 Layer, pos);....
2570: 09 74 2e 73 65 74 28 22 69 73 22 2c 20 20 20 74 .t.set("is", t
2580: 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 72 heLayer, new Str
2590: 56 61 6c 75 65 28 22 61 70 70 22 29 29 3b 0d 0a Value("app"));..
25a0: 09 09 09 74 2e 73 65 74 28 22 66 75 6e 22 2c 20 ...t.set("fun",
25b0: 20 74 68 65 4c 61 79 65 72 2c 20 5f 66 29 3b 0d theLayer, _f);.
25c0: 0a 09 09 09 54 61 62 6c 65 20 61 72 67 73 20 3d ....Table args =
25d0: 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 new Table;.....
25e0: 66 6f 72 65 61 63 68 5f 72 65 76 65 72 73 65 28 foreach_reverse(
25f0: 61 3b 20 65 2e 61 72 67 73 29 20 7b 0d 0a 09 09 a; e.args) {....
2600: 09 09 54 61 62 6c 65 20 63 6f 6e 73 20 3d 20 6e ..Table cons = n
2610: 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 09 63 ew Table;......c
2620: 6f 6e 73 2e 73 65 74 28 22 63 61 72 22 2c 74 68 ons.set("car",th
2630: 65 4c 61 79 65 72 2c 6d 61 63 72 6f 45 76 61 6c eLayer,macroEval
2640: 28 61 2c 63 74 78 2c 41 6c 77 61 79 73 4d 61 63 (a,ctx,AlwaysMac
2650: 72 6f 29 29 3b 0d 0a 09 09 09 09 63 6f 6e 73 2e ro));......cons.
2660: 73 65 74 28 22 63 64 72 22 2c 74 68 65 4c 61 79 set("cdr",theLay
2670: 65 72 2c 61 72 67 73 29 3b 0d 0a 09 09 09 09 61 er,args);......a
2680: 72 67 73 20 3d 20 63 6f 6e 73 3b 0d 0a 09 09 09 rgs = cons;.....
2690: 7d 0d 0a 09 09 09 74 2e 73 65 74 28 22 61 72 67 }.....t.set("arg
26a0: 22 2c 20 74 68 65 4c 61 79 65 72 2c 20 61 72 67 ", theLayer, arg
26b0: 73 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 63 s);.....return c
26c0: 61 73 74 28 56 61 6c 75 65 29 74 3b 0d 0a 09 09 ast(Value)t;....
26d0: 7d 2c 0d 0a 09 09 28 46 75 6e 4c 69 74 65 72 61 },....(FunLitera
26e0: 6c 20 65 29 0d 0a 09 09 7b 0d 0a 09 09 09 54 61 l e)....{.....Ta
26f0: 62 6c 65 20 74 20 3d 20 6e 65 77 20 54 61 62 6c ble t = new Tabl
2700: 65 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22 70 6f e;.....t.set("po
2710: 73 22 2c 20 20 20 74 68 65 4c 61 79 65 72 2c 20 s", theLayer,
2720: 70 6f 73 29 3b 0d 0a 09 09 09 74 2e 73 65 74 28 pos);.....t.set(
2730: 22 69 73 22 2c 20 20 20 20 74 68 65 4c 61 79 65 "is", theLaye
2740: 72 2c 20 6e 65 77 20 53 74 72 56 61 6c 75 65 28 r, new StrValue(
2750: 22 66 75 6e 22 29 29 3b 0d 0a 09 09 09 74 2e 73 "fun"));.....t.s
2760: 65 74 28 22 62 6f 64 79 22 2c 20 20 74 68 65 4c et("body", theL
2770: 61 79 65 72 2c 20 6d 61 63 72 6f 45 76 61 6c 28 ayer, macroEval(
2780: 65 2e 66 75 6e 62 6f 64 79 2c 63 74 78 2c 41 6c e.funbody,ctx,Al
2790: 77 61 79 73 4d 61 63 72 6f 29 29 3b 0d 0a 09 09 waysMacro));....
27a0: 09 54 61 62 6c 65 20 70 61 72 61 6d 20 3d 20 6e .Table param = n
27b0: 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 66 6f ew Table;.....fo
27c0: 72 65 61 63 68 5f 72 65 76 65 72 73 65 28 70 3b reach_reverse(p;
27d0: 20 65 2e 70 61 72 61 6d 73 29 0d 0a 09 09 09 7b e.params).....{
27e0: 0d 0a 09 09 09 09 54 61 62 6c 65 20 63 6f 6e 73 ......Table cons
27f0: 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 = new Table;...
2800: 09 09 09 54 61 62 6c 65 20 6b 76 20 3d 20 6e 65 ...Table kv = ne
2810: 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 09 6b 76 w Table;......kv
2820: 2e 73 65 74 28 22 6e 61 6d 65 22 2c 20 74 68 65 .set("name", the
2830: 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 72 56 61 Layer, new StrVa
2840: 6c 75 65 28 70 2e 6e 61 6d 65 29 29 3b 0d 0a 09 lue(p.name));...
2850: 09 09 09 66 6f 72 65 61 63 68 5f 72 65 76 65 72 ...foreach_rever
2860: 73 65 28 6c 61 79 3b 20 70 2e 6c 61 79 65 72 73 se(lay; p.layers
2870: 29 0d 0a 09 09 09 09 7b 0d 0a 09 09 09 09 09 54 )......{.......T
2880: 61 62 6c 65 20 63 6f 6e 73 32 20 3d 20 6e 65 77 able cons2 = new
2890: 20 54 61 62 6c 65 3b 0d 0a 09 09 09 09 09 63 6f Table;.......co
28a0: 6e 73 32 2e 73 65 74 28 22 63 61 72 22 2c 20 74 ns2.set("car", t
28b0: 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 72 heLayer, new Str
28c0: 56 61 6c 75 65 28 6c 61 79 29 29 3b 0d 0a 09 09 Value(lay));....
28d0: 09 09 09 63 6f 6e 73 32 2e 73 65 74 28 22 63 64 ...cons2.set("cd
28e0: 72 22 2c 20 74 68 65 4c 61 79 65 72 2c 20 6b 76 r", theLayer, kv
28f0: 29 3b 0d 0a 09 09 09 09 09 6b 76 20 3d 20 63 6f );.......kv = co
2900: 6e 73 32 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 ns2;......}.....
2910: 09 63 6f 6e 73 2e 73 65 74 28 22 63 61 72 22 2c .cons.set("car",
2920: 20 74 68 65 4c 61 79 65 72 2c 20 6b 76 29 3b 0d theLayer, kv);.
2930: 0a 09 09 09 09 63 6f 6e 73 2e 73 65 74 28 22 63 .....cons.set("c
2940: 64 72 22 2c 20 74 68 65 4c 61 79 65 72 2c 20 70 dr", theLayer, p
2950: 61 72 61 6d 29 3b 0d 0a 09 09 09 09 70 61 72 61 aram);......para
2960: 6d 20 3d 20 63 6f 6e 73 3b 0d 0a 09 09 09 7d 0d m = cons;.....}.
2970: 0a 09 09 09 74 2e 73 65 74 28 22 70 61 72 61 6d ....t.set("param
2980: 22 2c 20 74 68 65 4c 61 79 65 72 2c 20 70 61 72 ", theLayer, par
2990: 61 6d 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 am);.....return
29a0: 74 3b 0d 0a 09 09 7d 2c 0d 0a 09 09 64 65 6c 65 t;....},....dele
29b0: 67 61 74 65 20 56 61 6c 75 65 20 28 41 53 54 20 gate Value (AST
29c0: 65 29 0d 0a 09 09 7b 0d 0a 09 09 09 74 68 72 6f e)....{.....thro
29d0: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 w genex!RuntimeE
29e0: 78 63 65 70 74 69 6f 6e 28 65 2e 70 6f 73 2c 20 xception(e.pos,
29f0: 73 70 72 69 6e 74 66 21 22 55 6e 6b 6e 6f 77 6e sprintf!"Unknown
2a00: 20 4b 69 6e 64 20 6f 66 20 45 78 70 72 65 73 73 Kind of Express
2a10: 69 6f 6e 20 25 73 22 28 74 79 70 65 69 64 28 65 ion %s"(typeid(e
2a20: 29 29 29 3b 0d 0a 09 09 7d 0d 0a 09 29 3b 0d 0a )));....}...);..
2a30: 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0a 7b 0d }....unittest.{.
2a40: 0a 09 61 75 74 6f 20 72 20 3d 20 61 73 73 65 72 ..auto r = asser
2a50: 74 5f 6e 6f 74 68 72 6f 77 28 20 65 76 61 6c 53 t_nothrow( evalS
2a60: 74 72 69 6e 67 28 60 76 61 72 20 78 20 3d 20 32 tring(`var x = 2
2a70: 31 3b 20 78 20 2b 20 78 2a 78 3b 60 29 20 29 3b 1; x + x*x;`) );
2a80: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 72 2e 76 ..assert_eq( r.v
2a90: 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 al, new IntValue
2aa0: 28 42 69 67 49 6e 74 28 32 31 2b 32 31 2a 32 31 (BigInt(21+21*21
2ab0: 29 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 65 71 )) );..assert_eq
2ac0: 28 20 72 2e 63 74 78 2e 67 65 74 28 22 78 22 2c ( r.ctx.get("x",
2ad0: 22 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 "@v"), new IntVa
2ae0: 6c 75 65 28 42 69 67 49 6e 74 28 32 31 29 29 20 lue(BigInt(21))
2af0: 29 3b 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 );..assert_nothr
2b00: 6f 77 28 20 72 2e 63 74 78 2e 67 65 74 28 22 78 ow( r.ctx.get("x
2b10: 22 2c 22 40 76 22 29 20 29 3b 0a 09 61 73 73 65 ","@v") );..asse
2b20: 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 rt_throw!Runtime
2b30: 45 78 63 65 70 74 69 6f 6e 28 20 72 2e 63 74 78 Exception( r.ctx
2b40: 2e 67 65 74 28 22 79 22 2c 22 40 76 22 29 20 29 .get("y","@v") )
2b50: 3b 0a 7d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d ;.}.unittest..{.
2b60: 0a 09 61 75 74 6f 20 72 20 3d 20 61 73 73 65 72 ..auto r = asser
2b70: 74 5f 6e 6f 74 68 72 6f 77 28 20 65 76 61 6c 53 t_nothrow( evalS
2b80: 74 72 69 6e 67 28 60 76 61 72 20 78 20 3d 20 32 tring(`var x = 2
2b90: 31 3b 20 76 61 72 20 78 20 3d 20 78 20 2b 20 78 1; var x = x + x
2ba0: 2a 78 3b 60 29 20 29 3b 0d 0a 09 61 73 73 65 72 *x;`) );...asser
2bb0: 74 5f 65 71 28 20 72 2e 76 61 6c 2c 20 6e 65 77 t_eq( r.val, new
2bc0: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
2bd0: 28 32 31 2b 32 31 2a 32 31 29 29 20 29 3b 0d 0a (21+21*21)) );..
2be0: 09 61 73 73 65 72 74 5f 65 71 28 20 72 2e 63 74 .assert_eq( r.ct
2bf0: 78 2e 67 65 74 28 22 78 22 2c 22 40 76 22 29 2c x.get("x","@v"),
2c00: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
2c10: 67 49 6e 74 28 32 31 2b 32 31 2a 32 31 29 29 20 gInt(21+21*21))
2c20: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 );...assert_noth
2c30: 72 6f 77 28 20 72 2e 63 74 78 2e 67 65 74 28 22 row( r.ctx.get("
2c40: 78 22 2c 22 40 76 22 29 20 29 3b 0d 0a 09 61 73 x","@v") );...as
2c50: 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 sert_throw!Runti
2c60: 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 72 2e 63 meException( r.c
2c70: 74 78 2e 67 65 74 28 22 79 22 2c 22 40 76 22 29 tx.get("y","@v")
2c80: 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 );..}..unittest
2c90: 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ..{...assert_eq(
2ca0: 20 65 76 61 6c 53 74 72 69 6e 67 28 60 6c 65 74 evalString(`let
2cb0: 20 78 3d 31 3b 20 6c 65 74 20 79 3d 28 6c 65 74 x=1; let y=(let
2cc0: 20 78 3d 32 29 3b 20 78 60 29 2e 76 61 6c 2c 20 x=2); x`).val,
2cd0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
2ce0: 49 6e 74 28 31 29 29 20 29 3b 20 0d 0a 09 61 73 Int(1)) ); ...as
2cf0: 73 65 72 74 5f 65 71 28 20 65 76 61 6c 53 74 72 sert_eq( evalStr
2d00: 69 6e 67 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 ing(`let x=1; le
2d10: 74 20 79 3d 28 6c 65 74 20 78 3d 32 3b 66 75 6e t y=(let x=2;fun
2d20: 28 29 7b 78 7d 29 3b 20 79 28 29 60 29 2e 76 61 (){x}); y()`).va
2d30: 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 l, new IntValue(
2d40: 42 69 67 49 6e 74 28 32 29 29 20 29 3b 20 0d 0a BigInt(2)) ); ..
2d50: 7d 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a }..unittest..{..
2d60: 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 6c .assert_eq( eval
2d70: 53 74 72 69 6e 67 28 60 40 61 20 78 3d 31 3b 20 String(`@a x=1;
2d80: 40 62 20 78 3d 32 3b 20 40 61 28 78 29 60 29 2e @b x=2; @a(x)`).
2d90: 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 val, new IntValu
2da0: 65 28 42 69 67 49 6e 74 28 31 29 29 20 29 3b 0d e(BigInt(1)) );.
2db0: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 ..assert_eq( eva
2dc0: 6c 53 74 72 69 6e 67 28 60 40 61 20 78 3d 31 3b lString(`@a x=1;
2dd0: 20 40 62 20 78 3d 32 3b 20 40 62 28 78 29 60 29 @b x=2; @b(x)`)
2de0: 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c .val, new IntVal
2df0: 75 65 28 42 69 67 49 6e 74 28 32 29 29 20 29 3b ue(BigInt(2)) );
2e00: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 ...assert_eq( ev
2e10: 61 6c 53 74 72 69 6e 67 28 60 6c 65 74 20 78 3d alString(`let x=
2e20: 31 3b 20 6c 65 74 20 5f 20 3d 20 28 40 61 20 78 1; let _ = (@a x
2e30: 3d 32 3b 32 29 3b 20 78 60 29 2e 76 61 6c 2c 20 =2;2); x`).val,
2e40: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
2e50: 49 6e 74 28 31 29 29 20 29 3b 0d 0a 09 61 73 73 Int(1)) );...ass
2e60: 65 72 74 5f 74 68 72 6f 77 21 54 68 72 6f 77 61 ert_throw!Throwa
2e70: 62 6c 65 28 20 65 76 61 6c 53 74 72 69 6e 67 28 ble( evalString(
2e80: 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 5f 20 `let x=1; let _
2e90: 3d 20 28 40 61 20 78 3d 32 3b 32 29 3b 20 40 61 = (@a x=2;2); @a
2ea0: 28 78 29 60 29 20 29 3b 0d 0a 7d 0d 0a 0a 75 6e (x)`) );..}...un
2eb0: 69 74 74 65 73 74 0a 7b 0a 09 61 73 73 65 72 74 ittest.{..assert
2ec0: 5f 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 _eq( evalString(
2ed0: 60 76 61 72 20 66 61 63 20 3d 20 66 75 6e 28 78 `var fac = fun(x
2ee0: 29 7b 0a 09 09 69 66 28 78 29 0a 09 09 09 7b 20 ){...if(x)....{
2ef0: 78 2a 66 61 63 28 78 2d 31 29 3b 20 7d 0a 09 09 x*fac(x-1); }...
2f00: 65 6c 73 65 0a 09 09 09 7b 20 31 3b 20 7d 3b 0a else....{ 1; };.
2f10: 09 7d 3b 0a 09 66 61 63 28 31 30 29 3b 60 29 2e .};..fac(10);`).
2f20: 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 val, new IntValu
2f30: 65 28 42 69 67 49 6e 74 28 31 30 2a 39 2a 38 2a e(BigInt(10*9*8*
2f40: 35 30 34 30 29 29 29 3b 0a 09 61 73 73 65 72 74 5040)));..assert
2f50: 5f 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 _eq( evalString(
2f60: 60 76 61 72 20 66 69 62 20 3d 20 66 75 6e 28 78 `var fib = fun(x
2f70: 29 7b 0a 09 09 69 66 28 78 3c 32 29 0a 09 09 09 ){...if(x<2)....
2f80: 7b 20 31 3b 20 7d 0a 09 09 65 6c 73 65 0a 09 09 { 1; }...else...
2f90: 09 7b 20 66 69 62 28 78 2d 31 29 20 2b 20 66 69 .{ fib(x-1) + fi
2fa0: 62 28 78 2d 32 29 3b 20 7d 3b 0a 09 7d 3b 0a 09 b(x-2); };..};..
2fb0: 66 69 62 28 35 29 3b 60 29 2e 76 61 6c 2c 20 6e fib(5);`).val, n
2fc0: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
2fd0: 6e 74 28 38 29 29 29 3b 0a 7d 0a 0d 0a 75 6e 69 nt(8)));.}...uni
2fe0: 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 ttest..{...asser
2ff0: 74 5f 74 68 72 6f 77 21 54 68 72 6f 77 61 62 6c t_throw!Throwabl
3000: 65 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 40 e( evalString(`@
3010: 40 73 28 78 29 7b 78 7d 3b 20 40 73 20 22 2b 22 @s(x){x}; @s "+"
3020: 3d 66 75 6e 28 78 2c 79 29 7b 78 2d 79 7d 3b 40 =fun(x,y){x-y};@
3030: 73 28 31 2b 32 29 60 29 20 29 3b 0d 0a 09 61 73 s(1+2)`) );...as
3040: 73 65 72 74 5f 65 71 28 20 65 76 61 6c 53 74 72 sert_eq( evalStr
3050: 69 6e 67 28 60 40 40 73 28 78 29 7b 78 7d 3b 20 ing(`@@s(x){x};
3060: 40 73 20 22 2b 22 3d 66 75 6e 28 78 2c 79 29 7b @s "+"=fun(x,y){
3070: 78 2d 79 7d 3b 31 2b 32 60 29 2e 76 61 6c 2c 20 x-y};1+2`).val,
3080: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
3090: 49 6e 74 28 33 29 29 20 29 3b 0d 0a 09 61 73 73 Int(3)) );...ass
30a0: 65 72 74 5f 65 71 28 20 65 76 61 6c 53 74 72 69 ert_eq( evalStri
30b0: 6e 67 28 60 40 40 73 28 78 29 7b 78 7d 3b 20 40 ng(`@@s(x){x}; @
30c0: 73 20 22 2b 22 3d 66 75 6e 28 78 2c 79 29 7b 40 s "+"=fun(x,y){@
30d0: 76 28 40 73 28 78 29 2d 40 73 28 79 29 29 7d 3b v(@s(x)-@s(y))};
30e0: 31 2b 32 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 1+2`).val, new I
30f0: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 33 ntValue(BigInt(3
3100: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
3110: 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 40 q( evalString(`@
3120: 40 73 28 78 29 7b 78 7d 3b 20 40 73 20 22 2b 22 @s(x){x}; @s "+"
3130: 3d 66 75 6e 28 78 2c 79 29 7b 40 76 28 40 73 28 =fun(x,y){@v(@s(
3140: 78 29 2d 40 73 28 79 29 29 7d 3b 40 73 28 31 2b x)-@s(y))};@s(1+
3150: 32 29 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 2)`).val, new In
3160: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 2d 31 tValue(BigInt(-1
3170: 29 29 20 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 )) );..}....unit
3180: 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 test..{...assert
3190: 5f 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 _eq( evalString(
31a0: 60 40 40 74 20 3d 20 66 75 6e 28 78 29 7b 78 2b `@@t = fun(x){x+
31b0: 31 7d 3b 20 40 74 28 31 32 33 29 60 29 2e 76 61 1}; @t(123)`).va
31c0: 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 l, new IntValue(
31d0: 42 69 67 49 6e 74 28 31 32 34 29 29 20 29 3b 0d BigInt(124)) );.
31e0: 0a 09 2f 2f 20 74 68 65 72 65 20 77 61 73 20 61 ..// there was a
31f0: 20 62 75 67 20 74 68 61 74 20 64 65 63 6c 61 72 bug that declar
3200: 61 74 69 6f 6e 20 69 6e 20 74 68 65 20 66 69 72 ation in the fir
3210: 73 74 20 6c 69 6e 65 20 6f 66 20 66 75 6e 63 74 st line of funct
3220: 69 6f 6e 20 64 65 66 69 6e 69 74 69 6f 6e 0d 0a ion definition..
3230: 09 2f 2f 20 63 61 6e 6e 6f 74 20 62 65 20 72 65 .// cannot be re
3240: 63 75 72 73 69 76 65 0d 0a 09 61 73 73 65 72 74 cursive...assert
3250: 5f 6e 6f 74 68 72 6f 77 28 20 65 76 61 6c 53 74 _nothrow( evalSt
3260: 72 69 6e 67 28 60 64 65 66 20 66 6f 6f 28 29 20 ring(`def foo()
3270: 7b 0d 0a 20 20 64 65 66 20 62 61 72 28 79 29 20 {.. def bar(y)
3280: 7b 20 69 66 28 79 3c 31 29 20 7b 30 7d 20 65 6c { if(y<1) {0} el
3290: 73 65 20 7b 62 61 72 28 30 29 7d 20 7d 3b 0d 0a se {bar(0)} };..
32a0: 20 20 62 61 72 28 31 29 0d 0a 7d 3b 20 66 6f 6f bar(1)..}; foo
32b0: 28 29 60 29 20 29 3b 0d 0a 7d 0d 0a ()`) );..}..