0000: 2f 2a 2a 0a 20 2a 20 41 75 74 68 6f 72 73 3a 20 /**. * Authors:
0010: 6b 2e 69 6e 61 62 61 0a 20 2a 20 4c 69 63 65 6e k.inaba. * Licen
0020: 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38 32 20 se: NYSL 0.9982
0030: 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f http://www.kmono
0040: 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0a 20 2a 0a 20 s.net/nysl/. *.
0050: 2a 20 45 76 61 6c 75 61 74 6f 72 20 66 6f 72 20 * Evaluator for
0060: 50 6f 6c 65 6d 79 20 70 72 6f 67 72 61 6d 6d 69 Polemy programmi
0070: 6e 67 20 6c 61 6e 67 75 61 67 65 2e 0a 20 2a 2f ng language.. */
0080: 0a 6d 6f 64 75 6c 65 20 70 6f 6c 65 6d 79 2e 65 .module polemy.e
0090: 76 61 6c 3b 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 val;.import pole
00a0: 6d 79 2e 5f 63 6f 6d 6d 6f 6e 3b 0a 69 6d 70 6f my._common;.impo
00b0: 72 74 20 70 6f 6c 65 6d 79 2e 66 61 69 6c 75 72 rt polemy.failur
00c0: 65 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d e;..import polem
00d0: 79 2e 61 73 74 3b 0a 69 6d 70 6f 72 74 20 70 6f y.ast;.import po
00e0: 6c 65 6d 79 2e 70 61 72 73 65 3b 0a 69 6d 70 6f lemy.parse;.impo
00f0: 72 74 20 70 6f 6c 65 6d 79 2e 76 61 6c 75 65 3b rt polemy.value;
0100: 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 6c .import polemy.l
0110: 61 79 65 72 3b 0d 0a 69 6d 70 6f 72 74 20 73 74 ayer;..import st
0120: 64 2e 74 79 70 65 63 6f 6e 73 3b 0d 0a 69 6d 70 d.typecons;..imp
0130: 6f 72 74 20 73 74 64 2e 73 74 64 69 6f 3b 0a 0d ort std.stdio;..
0140: 0a 2f 2f 2f 0a 54 61 62 6c 65 20 63 72 65 61 74 .///.Table creat
0150: 65 47 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 28 29 eGlobalContext()
0160: 0a 7b 0d 0a 09 61 75 74 6f 20 63 74 78 20 3d 20 .{...auto ctx =
0170: 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 63 74 78 new Table;...ctx
0180: 2e 73 65 74 28 22 2b 22 2c 20 56 61 6c 75 65 4c .set("+", ValueL
0190: 61 79 65 72 2c 20 6e 61 74 69 76 65 28 20 28 49 ayer, native( (I
01a0: 6e 74 56 61 6c 75 65 20 6c 68 73 2c 20 49 6e 74 ntValue lhs, Int
01b0: 56 61 6c 75 65 20 72 68 73 29 7b 72 65 74 75 72 Value rhs){retur
01c0: 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 6c n new IntValue(l
01d0: 68 73 2e 64 61 74 61 20 2b 20 72 68 73 2e 64 61 hs.data + rhs.da
01e0: 74 61 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e ta);} ));...ctx.
01f0: 73 65 74 28 22 2d 22 2c 20 56 61 6c 75 65 4c 61 set("-", ValueLa
0200: 79 65 72 2c 20 6e 61 74 69 76 65 28 20 28 49 6e yer, native( (In
0210: 74 56 61 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 tValue lhs, IntV
0220: 61 6c 75 65 20 72 68 73 29 7b 72 65 74 75 72 6e alue rhs){return
0230: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 6c 68 new IntValue(lh
0240: 73 2e 64 61 74 61 20 2d 20 72 68 73 2e 64 61 74 s.data - rhs.dat
0250: 61 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 a);} ));...ctx.s
0260: 65 74 28 22 2a 22 2c 20 56 61 6c 75 65 4c 61 79 et("*", ValueLay
0270: 65 72 2c 20 6e 61 74 69 76 65 28 20 28 49 6e 74 er, native( (Int
0280: 56 61 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 61 Value lhs, IntVa
0290: 6c 75 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 lue rhs){return
02a0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 6c 68 73 new IntValue(lhs
02b0: 2e 64 61 74 61 20 2a 20 72 68 73 2e 64 61 74 61 .data * rhs.data
02c0: 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 );} ));...ctx.se
02d0: 74 28 22 2f 22 2c 20 56 61 6c 75 65 4c 61 79 65 t("/", ValueLaye
02e0: 72 2c 20 6e 61 74 69 76 65 28 20 28 49 6e 74 56 r, native( (IntV
02f0: 61 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 61 6c alue lhs, IntVal
0300: 75 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 6e ue rhs){return n
0310: 65 77 20 49 6e 74 56 61 6c 75 65 28 6c 68 73 2e ew IntValue(lhs.
0320: 64 61 74 61 20 2f 20 72 68 73 2e 64 61 74 61 29 data / rhs.data)
0330: 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 ;} ));...ctx.set
0340: 28 22 25 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 ("%", ValueLayer
0350: 2c 20 6e 61 74 69 76 65 28 20 28 49 6e 74 56 61 , native( (IntVa
0360: 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 61 6c 75 lue lhs, IntValu
0370: 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 6e 65 e rhs){return ne
0380: 77 20 49 6e 74 56 61 6c 75 65 28 6c 68 73 2e 64 w IntValue(lhs.d
0390: 61 74 61 20 25 20 72 68 73 2e 64 61 74 61 29 3b ata % rhs.data);
03a0: 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 } ));...ctx.set(
03b0: 22 7c 7c 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 "||", ValueLayer
03c0: 2c 20 6e 61 74 69 76 65 28 20 28 49 6e 74 56 61 , native( (IntVa
03d0: 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 61 6c 75 lue lhs, IntValu
03e0: 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 6e 65 e rhs){return ne
03f0: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
0400: 74 28 28 6c 68 73 2e 64 61 74 61 21 3d 30 29 20 t((lhs.data!=0)
0410: 7c 7c 20 28 72 68 73 2e 64 61 74 61 21 3d 30 29 || (rhs.data!=0)
0420: 20 3f 20 31 3a 30 29 29 3b 7d 20 29 29 3b 0d 0a ? 1:0));} ));..
0430: 09 63 74 78 2e 73 65 74 28 22 26 26 22 2c 20 56 .ctx.set("&&", V
0440: 61 6c 75 65 4c 61 79 65 72 2c 20 6e 61 74 69 76 alueLayer, nativ
0450: 65 28 20 28 49 6e 74 56 61 6c 75 65 20 6c 68 73 e( (IntValue lhs
0460: 2c 20 49 6e 74 56 61 6c 75 65 20 72 68 73 29 7b , IntValue rhs){
0470: 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 return new IntVa
0480: 6c 75 65 28 42 69 67 49 6e 74 28 28 6c 68 73 2e lue(BigInt((lhs.
0490: 64 61 74 61 21 3d 30 29 20 26 26 20 28 72 68 73 data!=0) && (rhs
04a0: 2e 64 61 74 61 21 3d 30 29 20 3f 20 31 3a 30 29 .data!=0) ? 1:0)
04b0: 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 );} ));...ctx.se
04c0: 74 28 22 3c 22 2c 20 56 61 6c 75 65 4c 61 79 65 t("<", ValueLaye
04d0: 72 2c 20 6e 61 74 69 76 65 28 20 28 56 61 6c 75 r, native( (Valu
04e0: 65 20 6c 68 73 2c 20 56 61 6c 75 65 20 72 68 73 e lhs, Value rhs
04f0: 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 ){return new Int
0500: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 6c 68 73 Value(BigInt(lhs
0510: 20 3c 20 72 68 73 20 3f 20 31 3a 20 30 29 29 3b < rhs ? 1: 0));
0520: 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 } ));...ctx.set(
0530: 22 3e 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c ">", ValueLayer,
0540: 20 6e 61 74 69 76 65 28 20 28 56 61 6c 75 65 20 native( (Value
0550: 6c 68 73 2c 20 56 61 6c 75 65 20 72 68 73 29 7b lhs, Value rhs){
0560: 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 return new IntVa
0570: 6c 75 65 28 42 69 67 49 6e 74 28 6c 68 73 20 3e lue(BigInt(lhs >
0580: 20 72 68 73 20 3f 20 31 3a 20 30 29 29 3b 7d 20 rhs ? 1: 0));}
0590: 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 3c ));...ctx.set("<
05a0: 3d 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 =", ValueLayer,
05b0: 6e 61 74 69 76 65 28 20 28 56 61 6c 75 65 20 6c native( (Value l
05c0: 68 73 2c 20 56 61 6c 75 65 20 72 68 73 29 7b 72 hs, Value rhs){r
05d0: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c eturn new IntVal
05e0: 75 65 28 42 69 67 49 6e 74 28 6c 68 73 20 3c 3d ue(BigInt(lhs <=
05f0: 20 72 68 73 20 3f 20 31 3a 20 30 29 29 3b 7d 20 rhs ? 1: 0));}
0600: 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 3e ));...ctx.set(">
0610: 3d 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 =", ValueLayer,
0620: 6e 61 74 69 76 65 28 20 28 56 61 6c 75 65 20 6c native( (Value l
0630: 68 73 2c 20 56 61 6c 75 65 20 72 68 73 29 7b 72 hs, Value rhs){r
0640: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c eturn new IntVal
0650: 75 65 28 42 69 67 49 6e 74 28 6c 68 73 20 3e 3d ue(BigInt(lhs >=
0660: 20 72 68 73 20 3f 20 31 3a 20 30 29 29 3b 7d 20 rhs ? 1: 0));}
0670: 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 3d ));...ctx.set("=
0680: 3d 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 =", ValueLayer,
0690: 6e 61 74 69 76 65 28 20 28 56 61 6c 75 65 20 6c native( (Value l
06a0: 68 73 2c 20 56 61 6c 75 65 20 72 68 73 29 7b 72 hs, Value rhs){r
06b0: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c eturn new IntVal
06c0: 75 65 28 42 69 67 49 6e 74 28 6c 68 73 20 3d 3d ue(BigInt(lhs ==
06d0: 20 72 68 73 20 3f 20 31 3a 20 30 29 29 3b 7d 20 rhs ? 1: 0));}
06e0: 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 21 ));...ctx.set("!
06f0: 3d 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 =", ValueLayer,
0700: 6e 61 74 69 76 65 28 20 28 56 61 6c 75 65 20 6c native( (Value l
0710: 68 73 2c 20 56 61 6c 75 65 20 72 68 73 29 7b 72 hs, Value rhs){r
0720: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c eturn new IntVal
0730: 75 65 28 42 69 67 49 6e 74 28 6c 68 73 20 21 3d ue(BigInt(lhs !=
0740: 20 72 68 73 20 3f 20 31 3a 20 30 29 29 3b 7d 20 rhs ? 1: 0));}
0750: 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 70 ));...ctx.set("p
0760: 72 69 6e 74 22 2c 20 56 61 6c 75 65 4c 61 79 65 rint", ValueLaye
0770: 72 2c 20 6e 61 74 69 76 65 28 20 28 56 61 6c 75 r, native( (Valu
0780: 65 20 61 29 7b 0a 09 09 77 72 69 74 65 6c 6e 28 e a){...writeln(
0790: 61 29 3b 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 a);...return new
07a0: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
07b0: 28 30 29 29 3b 0a 09 7d 29 29 3b 0a 09 63 74 78 (0));..}));..ctx
07c0: 2e 73 65 74 28 22 69 66 22 2c 20 56 61 6c 75 65 .set("if", Value
07d0: 4c 61 79 65 72 2c 20 6e 61 74 69 76 65 28 20 28 Layer, native( (
07e0: 49 6e 74 56 61 6c 75 65 20 78 2c 20 46 75 6e 56 IntValue x, FunV
07f0: 61 6c 75 65 20 66 74 2c 20 46 75 6e 56 61 6c 75 alue ft, FunValu
0800: 65 20 66 65 29 7b 0d 0a 09 09 61 75 74 6f 20 74 e fe){....auto t
0810: 6f 52 75 6e 20 3d 20 28 78 2e 64 61 74 61 3d 3d oRun = (x.data==
0820: 30 20 3f 20 66 65 20 3a 20 66 74 29 3b 0d 0a 09 0 ? fe : ft);...
0830: 09 2f 2f 20 5b 54 4f 44 4f 5d 20 66 69 6c 6c 20 .// [TODO] fill
0840: 70 6f 73 69 74 69 6f 6e 61 6c 20 69 6e 66 6f 72 positional infor
0850: 6d 61 74 69 6f 6e 0d 0a 09 09 72 65 74 75 72 6e mation....return
0860: 20 74 6f 52 75 6e 2e 69 6e 76 6f 6b 65 28 6e 75 toRun.invoke(nu
0870: 6c 6c 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 ll, ValueLayer,
0880: 74 6f 52 75 6e 2e 64 65 66 69 6e 69 74 69 6f 6e toRun.definition
0890: 43 6f 6e 74 65 78 74 28 29 29 3b 0d 0a 2f 2f 09 Context());..//.
08a0: 09 72 65 74 75 72 6e 20 74 6f 52 75 6e 2e 69 6e .return toRun.in
08b0: 76 6f 6b 65 28 70 6f 73 2c 20 6c 61 79 2c 20 74 voke(pos, lay, t
08c0: 6f 52 75 6e 2e 64 65 66 69 6e 69 74 69 6f 6e 43 oRun.definitionC
08d0: 6f 6e 74 65 78 74 28 29 29 3b 0d 0a 09 7d 29 29 ontext());...}))
08e0: 3b 0a 09 63 74 78 2e 73 65 74 28 22 5f 69 73 69 ;..ctx.set("_isi
08f0: 6e 74 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c nt", ValueLayer,
0900: 20 6e 61 74 69 76 65 28 20 28 56 61 6c 75 65 20 native( (Value
0910: 76 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 6e v){return new In
0920: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 63 61 tValue(BigInt(ca
0930: 73 74 28 49 6e 74 56 61 6c 75 65 29 76 20 69 73 st(IntValue)v is
0940: 20 6e 75 6c 6c 20 3f 20 30 20 3a 20 31 29 29 3b null ? 0 : 1));
0950: 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 } ));...ctx.set(
0960: 22 5f 69 73 73 74 72 22 2c 20 56 61 6c 75 65 4c "_isstr", ValueL
0970: 61 79 65 72 2c 20 6e 61 74 69 76 65 28 20 28 56 ayer, native( (V
0980: 61 6c 75 65 20 76 29 7b 72 65 74 75 72 6e 20 6e alue v){return n
0990: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
09a0: 6e 74 28 63 61 73 74 28 53 74 72 56 61 6c 75 65 nt(cast(StrValue
09b0: 29 76 20 69 73 20 6e 75 6c 6c 20 3f 20 30 20 3a )v is null ? 0 :
09c0: 20 31 29 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 1));} ));...ctx
09d0: 2e 73 65 74 28 22 5f 69 73 66 75 6e 22 2c 20 56 .set("_isfun", V
09e0: 61 6c 75 65 4c 61 79 65 72 2c 20 6e 61 74 69 76 alueLayer, nativ
09f0: 65 28 20 28 56 61 6c 75 65 20 76 29 7b 72 65 74 e( (Value v){ret
0a00: 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 urn new IntValue
0a10: 28 42 69 67 49 6e 74 28 63 61 73 74 28 46 75 6e (BigInt(cast(Fun
0a20: 56 61 6c 75 65 29 76 20 69 73 20 6e 75 6c 6c 20 Value)v is null
0a30: 3f 20 30 20 3a 20 31 29 29 3b 7d 20 29 29 3b 0d ? 0 : 1));} ));.
0a40: 0a 09 63 74 78 2e 73 65 74 28 22 5f 69 73 75 6e ..ctx.set("_isun
0a50: 64 65 66 69 6e 65 64 22 2c 20 56 61 6c 75 65 4c defined", ValueL
0a60: 61 79 65 72 2c 20 6e 61 74 69 76 65 28 20 28 56 ayer, native( (V
0a70: 61 6c 75 65 20 76 29 7b 72 65 74 75 72 6e 20 6e alue v){return n
0a80: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
0a90: 6e 74 28 63 61 73 74 28 55 6e 64 56 61 6c 75 65 nt(cast(UndValue
0aa0: 29 76 20 69 73 20 6e 75 6c 6c 20 3f 20 30 20 3a )v is null ? 0 :
0ab0: 20 31 29 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 1));} ));...ctx
0ac0: 2e 73 65 74 28 22 5f 69 73 74 61 62 6c 65 22 2c .set("_istable",
0ad0: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 61 74 ValueLayer, nat
0ae0: 69 76 65 28 20 28 56 61 6c 75 65 20 76 29 7b 72 ive( (Value v){r
0af0: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c eturn new IntVal
0b00: 75 65 28 42 69 67 49 6e 74 28 63 61 73 74 28 54 ue(BigInt(cast(T
0b10: 61 62 6c 65 29 76 20 69 73 20 6e 75 6c 6c 20 3f able)v is null ?
0b20: 20 30 20 3a 20 31 29 29 3b 7d 20 29 29 3b 0d 0a 0 : 1));} ));..
0b30: 09 63 74 78 2e 73 65 74 28 22 2e 22 2c 20 56 61 .ctx.set(".", Va
0b40: 6c 75 65 4c 61 79 65 72 2c 20 6e 61 74 69 76 65 lueLayer, native
0b50: 28 20 28 54 61 62 6c 65 20 74 2c 20 53 74 72 56 ( (Table t, StrV
0b60: 61 6c 75 65 20 73 29 7b 0d 0a 09 09 72 65 74 75 alue s){....retu
0b70: 72 6e 20 28 74 2e 68 61 73 28 73 2e 64 61 74 61 rn (t.has(s.data
0b80: 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 20 3f 20 , ValueLayer) ?
0b90: 74 2e 67 65 74 28 73 2e 64 61 74 61 2c 20 56 61 t.get(s.data, Va
0ba0: 6c 75 65 4c 61 79 65 72 29 20 3a 20 6e 65 77 20 lueLayer) : new
0bb0: 55 6e 64 56 61 6c 75 65 29 3b 0d 0a 09 7d 29 20 UndValue);...})
0bc0: 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 2e 3f );...ctx.set(".?
0bd0: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e ", ValueLayer, n
0be0: 61 74 69 76 65 28 20 28 54 61 62 6c 65 20 74 2c ative( (Table t,
0bf0: 20 53 74 72 56 61 6c 75 65 20 73 29 7b 0d 0a 09 StrValue s){...
0c00: 09 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 .return new IntV
0c10: 61 6c 75 65 28 42 69 67 49 6e 74 28 74 2e 68 61 alue(BigInt(t.ha
0c20: 73 28 73 2e 64 61 74 61 2c 20 56 61 6c 75 65 4c s(s.data, ValueL
0c30: 61 79 65 72 29 20 3f 20 31 20 3a 20 30 29 29 3b ayer) ? 1 : 0));
0c40: 0d 0a 09 7d 29 20 29 3b 0d 0a 09 63 74 78 2e 73 ...}) );...ctx.s
0c50: 65 74 28 22 2e 3d 22 2c 20 56 61 6c 75 65 4c 61 et(".=", ValueLa
0c60: 79 65 72 2c 20 6e 61 74 69 76 65 28 20 28 54 61 yer, native( (Ta
0c70: 62 6c 65 20 74 2c 20 53 74 72 56 61 6c 75 65 20 ble t, StrValue
0c80: 73 2c 20 56 61 6c 75 65 20 76 29 7b 0d 0a 09 09 s, Value v){....
0c90: 61 75 74 6f 20 74 32 20 3d 20 6e 65 77 20 54 61 auto t2 = new Ta
0ca0: 62 6c 65 28 74 2c 20 54 61 62 6c 65 2e 4b 69 6e ble(t, Table.Kin
0cb0: 64 2e 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 d.NotPropagateSe
0cc0: 74 29 3b 0d 0a 09 09 74 32 2e 73 65 74 28 73 2e t);....t2.set(s.
0cd0: 64 61 74 61 2c 20 56 61 6c 75 65 4c 61 79 65 72 data, ValueLayer
0ce0: 2c 20 76 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 , v);....return
0cf0: 74 32 3b 0d 0a 09 7d 29 20 29 3b 0d 0a 09 63 74 t2;...}) );...ct
0d00: 78 2e 73 65 74 28 22 7b 7d 22 2c 20 56 61 6c 75 x.set("{}", Valu
0d10: 65 4c 61 79 65 72 2c 20 6e 61 74 69 76 65 28 20 eLayer, native(
0d20: 28 29 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 (){....return ne
0d30: 77 20 54 61 62 6c 65 3b 0d 0a 09 7d 29 20 29 3b w Table;...}) );
0d40: 0d 0a 09 72 65 74 75 72 6e 20 63 74 78 3b 0a 7d ...return ctx;.}
0d50: 0a 0a 2f 2f 2f 20 45 6e 74 72 79 20 70 6f 69 6e ../// Entry poin
0d60: 74 20 6f 66 20 74 68 69 73 20 6d 6f 64 75 6c 65 t of this module
0d70: 0d 0a 0d 0a 54 75 70 6c 65 21 28 56 61 6c 75 65 ....Tuple!(Value
0d80: 2c 22 76 61 6c 22 2c 54 61 62 6c 65 2c 22 63 74 ,"val",Table,"ct
0d90: 78 22 29 20 65 76 61 6c 53 74 72 69 6e 67 28 53 x") evalString(S
0da0: 2c 54 2e 2e 2e 29 28 53 20 73 74 72 2c 20 54 20 ,T...)(S str, T
0db0: 66 6e 5f 6c 6e 5f 63 6e 29 0a 7b 0a 09 72 65 74 fn_ln_cn).{..ret
0dc0: 75 72 6e 20 65 76 61 6c 28 20 70 6f 6c 65 6d 79 urn eval( polemy
0dd0: 2e 70 61 72 73 65 2e 70 61 72 73 65 53 74 72 69 .parse.parseStri
0de0: 6e 67 28 73 74 72 2c 20 66 6e 5f 6c 6e 5f 63 6e ng(str, fn_ln_cn
0df0: 29 20 29 3b 0a 7d 0a 0a 2f 2f 2f 20 45 6e 74 72 ) );.}../// Entr
0e00: 79 20 70 6f 69 6e 74 20 6f 66 20 74 68 69 73 20 y point of this
0e10: 6d 6f 64 75 6c 65 0d 0a 0d 0a 54 75 70 6c 65 21 module....Tuple!
0e20: 28 56 61 6c 75 65 2c 22 76 61 6c 22 2c 54 61 62 (Value,"val",Tab
0e30: 6c 65 2c 22 63 74 78 22 29 20 65 76 61 6c 46 69 le,"ctx") evalFi
0e40: 6c 65 28 53 2c 20 54 2e 2e 2e 29 28 53 20 66 69 le(S, T...)(S fi
0e50: 6c 65 6e 61 6d 65 2c 20 54 20 6c 6e 5f 63 6e 29 lename, T ln_cn)
0e60: 0a 7b 0a 09 72 65 74 75 72 6e 20 65 76 61 6c 28 .{..return eval(
0e70: 20 70 6f 6c 65 6d 79 2e 70 61 72 73 65 2e 70 61 polemy.parse.pa
0e80: 72 73 65 46 69 6c 65 28 66 69 6c 65 6e 61 6d 65 rseFile(filename
0e90: 2c 20 6c 6e 5f 63 6e 29 20 29 3b 0a 7d 0a 0a 2f , ln_cn) );.}../
0ea0: 2f 2f 20 45 6e 74 72 79 20 70 6f 69 6e 74 20 6f // Entry point o
0eb0: 66 20 74 68 69 73 20 6d 6f 64 75 6c 65 0d 0a 0d f this module...
0ec0: 0a 54 75 70 6c 65 21 28 56 61 6c 75 65 2c 22 76 .Tuple!(Value,"v
0ed0: 61 6c 22 2c 54 61 62 6c 65 2c 22 63 74 78 22 29 al",Table,"ctx")
0ee0: 20 65 76 61 6c 28 41 53 54 20 65 29 0a 7b 0a 09 eval(AST e).{..
0ef0: 54 61 62 6c 65 20 63 74 78 20 3d 20 63 72 65 61 Table ctx = crea
0f00: 74 65 47 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 28 teGlobalContext(
0f10: 29 3b 0a 09 72 65 74 75 72 6e 20 74 79 70 65 6f );..return typeo
0f20: 66 28 72 65 74 75 72 6e 29 28 65 76 61 6c 28 65 f(return)(eval(e
0f30: 2c 20 63 74 78 2c 20 66 61 6c 73 65 2c 20 56 61 , ctx, false, Va
0f40: 6c 75 65 4c 61 79 65 72 29 2c 20 63 74 78 29 3b lueLayer), ctx);
0f50: 0a 7d 0a 0d 0a 56 61 6c 75 65 20 69 6e 76 6f 6b .}...Value invok
0f60: 65 46 75 6e 63 74 69 6f 6e 28 69 6e 20 4c 65 78 eFunction(in Lex
0f70: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 56 61 Position pos, Va
0f80: 6c 75 65 20 5f 66 2c 20 41 53 54 5b 5d 20 61 72 lue _f, AST[] ar
0f90: 67 73 2c 20 54 61 62 6c 65 20 63 61 6c 6c 65 72 gs, Table caller
0fa0: 43 74 78 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 Ctx, Layer lay,
0fb0: 62 6f 6f 6c 20 41 6c 77 61 79 73 4d 61 63 72 6f bool AlwaysMacro
0fc0: 3d 66 61 6c 73 65 29 0d 0a 7b 0d 0a 09 69 66 28 =false)..{...if(
0fd0: 61 75 74 6f 20 66 20 3d 20 63 61 73 74 28 46 75 auto f = cast(Fu
0fe0: 6e 56 61 6c 75 65 29 5f 66 29 0d 0a 09 7b 0d 0a nValue)_f)...{..
0ff0: 09 09 54 61 62 6c 65 20 63 74 78 20 3d 20 6e 65 ..Table ctx = ne
1000: 77 20 54 61 62 6c 65 28 66 2e 64 65 66 69 6e 69 w Table(f.defini
1010: 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 2c 20 54 tionContext(), T
1020: 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f able.Kind.NotPro
1030: 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 09 66 pagateSet);....f
1040: 6f 72 65 61 63 68 28 69 2c 70 3b 20 66 2e 70 61 oreach(i,p; f.pa
1050: 72 61 6d 73 28 29 29 0d 0a 09 09 09 69 66 28 20 rams()).....if(
1060: 70 2e 6c 61 79 65 72 73 2e 65 6d 70 74 79 20 29 p.layers.empty )
1070: 0d 0a 09 09 09 09 69 66 28 6c 61 79 3d 3d 4d 61 ......if(lay==Ma
1080: 63 72 6f 4c 61 79 65 72 29 0d 0a 09 09 09 09 09 croLayer).......
1090: 63 74 78 2e 73 65 74 28 70 2e 6e 61 6d 65 2c 20 ctx.set(p.name,
10a0: 6c 61 79 2c 20 6d 61 63 72 6f 45 76 61 6c 28 61 lay, macroEval(a
10b0: 72 67 73 5b 69 5d 2c 20 63 61 6c 6c 65 72 43 74 rgs[i], callerCt
10c0: 78 2c 20 41 6c 77 61 79 73 4d 61 63 72 6f 29 29 x, AlwaysMacro))
10d0: 3b 0d 0a 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 ;......else.....
10e0: 09 09 63 74 78 2e 73 65 74 28 70 2e 6e 61 6d 65 ..ctx.set(p.name
10f0: 2c 20 6c 61 79 2c 20 65 76 61 6c 28 61 72 67 73 , lay, eval(args
1100: 5b 69 5d 2c 20 63 61 6c 6c 65 72 43 74 78 2c 20 [i], callerCtx,
1110: 74 72 75 65 2c 20 6c 61 79 29 29 3b 0d 0a 09 09 true, lay));....
1120: 09 65 6c 73 65 0d 0a 09 09 09 09 66 6f 72 65 61 .else......forea
1130: 63 68 28 61 72 67 4c 61 79 3b 20 70 2e 6c 61 79 ch(argLay; p.lay
1140: 65 72 73 29 0d 0a 09 09 09 09 09 69 66 28 61 72 ers).......if(ar
1150: 67 4c 61 79 3d 3d 4d 61 63 72 6f 4c 61 79 65 72 gLay==MacroLayer
1160: 29 0d 0a 09 09 09 09 09 09 63 74 78 2e 73 65 74 )........ctx.set
1170: 28 70 2e 6e 61 6d 65 2c 20 61 72 67 4c 61 79 2c (p.name, argLay,
1180: 20 6d 61 63 72 6f 45 76 61 6c 28 61 72 67 73 5b macroEval(args[
1190: 69 5d 2c 20 63 61 6c 6c 65 72 43 74 78 2c 20 41 i], callerCtx, A
11a0: 6c 77 61 79 73 4d 61 63 72 6f 29 29 3b 0d 0a 09 lwaysMacro));...
11b0: 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 09 ....else........
11c0: 63 74 78 2e 73 65 74 28 70 2e 6e 61 6d 65 2c 20 ctx.set(p.name,
11d0: 61 72 67 4c 61 79 2c 20 65 76 61 6c 28 61 72 67 argLay, eval(arg
11e0: 73 5b 69 5d 2c 20 63 61 6c 6c 65 72 43 74 78 2c s[i], callerCtx,
11f0: 20 74 72 75 65 2c 20 61 72 67 4c 61 79 29 29 3b true, argLay));
1200: 0d 0a 09 09 72 65 74 75 72 6e 20 66 2e 69 6e 76 ....return f.inv
1210: 6f 6b 65 28 70 6f 73 2c 20 6c 61 79 2c 20 63 74 oke(pos, lay, ct
1220: 78 29 3b 0d 0a 09 7d 0d 0a 09 74 68 72 6f 77 20 x);...}...throw
1230: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
1240: 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 74 72 69 eption(pos, "tri
1250: 65 64 20 74 6f 20 63 61 6c 6c 20 6e 6f 6e 2d 66 ed to call non-f
1260: 75 6e 63 74 69 6f 6e 22 29 3b 0d 0a 7d 0d 0a 0d unction");..}...
1270: 0a 56 61 6c 75 65 20 6c 69 66 74 28 69 6e 20 4c .Value lift(in L
1280: 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 exPosition pos,
1290: 56 61 6c 75 65 20 76 2c 20 4c 61 79 65 72 20 6c Value v, Layer l
12a0: 61 79 2c 20 54 61 62 6c 65 20 63 61 6c 6c 65 72 ay, Table caller
12b0: 43 74 78 29 0d 0a 7b 0d 0a 09 2f 2f 20 73 69 6d Ctx)..{...// sim
12c0: 69 6c 61 72 20 74 6f 20 69 6e 76 6f 6b 65 20 46 ilar to invoke F
12d0: 75 6e 63 74 69 6f 6e 2c 20 62 75 74 20 77 69 74 unction, but wit
12e0: 68 20 6f 6e 6c 79 20 6f 6e 65 20 61 72 67 75 6d h only one argum
12f0: 65 6e 74 20 62 6f 75 6e 64 20 74 6f 20 56 61 6c ent bound to Val
1300: 75 65 4c 61 79 65 72 0d 0a 09 56 61 6c 75 65 20 ueLayer...Value
1310: 5f 66 20 3d 20 63 61 6c 6c 65 72 43 74 78 2e 67 _f = callerCtx.g
1320: 65 74 28 6c 61 79 2c 20 53 79 73 74 65 6d 4c 61 et(lay, SystemLa
1330: 79 65 72 2c 20 70 6f 73 29 3b 0d 0a 09 69 66 28 yer, pos);...if(
1340: 61 75 74 6f 20 66 20 3d 20 63 61 73 74 28 46 75 auto f = cast(Fu
1350: 6e 56 61 6c 75 65 29 5f 66 29 0d 0a 09 7b 0d 0a nValue)_f)...{..
1360: 09 09 54 61 62 6c 65 20 63 74 78 20 3d 20 6e 65 ..Table ctx = ne
1370: 77 20 54 61 62 6c 65 28 66 2e 64 65 66 69 6e 69 w Table(f.defini
1380: 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 2c 20 54 tionContext(), T
1390: 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f able.Kind.NotPro
13a0: 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 09 61 pagateSet);....a
13b0: 75 74 6f 20 70 73 20 3d 20 66 2e 70 61 72 61 6d uto ps = f.param
13c0: 73 28 29 3b 0d 0a 09 09 69 66 28 20 70 73 2e 6c s();....if( ps.l
13d0: 65 6e 67 74 68 20 21 3d 20 31 20 29 0d 0a 09 09 ength != 1 )....
13e0: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e .throw genex!Run
13f0: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f timeException(po
1400: 73 2c 20 22 6c 69 66 74 20 66 75 6e 63 74 69 6f s, "lift functio
1410: 6e 20 6d 75 73 74 20 74 61 6b 65 20 65 78 61 63 n must take exac
1420: 74 6c 79 20 6f 6e 65 20 61 72 67 75 6d 65 6e 74 tly one argument
1430: 20 61 74 20 22 7e 56 61 6c 75 65 4c 61 79 65 72 at "~ValueLayer
1440: 7e 22 20 6c 61 79 65 72 22 29 3b 0d 0a 09 09 69 ~" layer");....i
1450: 66 28 20 70 73 5b 30 5d 2e 6c 61 79 65 72 73 2e f( ps[0].layers.
1460: 6c 65 6e 67 74 68 3d 3d 30 20 7c 7c 20 70 73 5b length==0 || ps[
1470: 30 5d 2e 6c 61 79 65 72 73 2e 6c 65 6e 67 74 68 0].layers.length
1480: 3d 3d 31 20 26 26 20 70 73 5b 30 5d 2e 6c 61 79 ==1 && ps[0].lay
1490: 65 72 73 5b 30 5d 3d 3d 56 61 6c 75 65 4c 61 79 ers[0]==ValueLay
14a0: 65 72 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 63 74 er )....{.....ct
14b0: 78 2e 73 65 74 28 70 73 5b 30 5d 2e 6e 61 6d 65 x.set(ps[0].name
14c0: 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 76 29 , ValueLayer, v)
14d0: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 66 2e 69 ;.....return f.i
14e0: 6e 76 6f 6b 65 28 70 6f 73 2c 20 56 61 6c 75 65 nvoke(pos, Value
14f0: 4c 61 79 65 72 2c 20 63 74 78 29 3b 0d 0a 09 09 Layer, ctx);....
1500: 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 09 74 68 }....else.....th
1510: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
1520: 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 eException(pos,
1530: 22 6c 69 66 74 20 66 75 6e 63 74 69 6f 6e 20 6d "lift function m
1540: 75 73 74 20 74 61 6b 65 20 65 78 61 63 74 6c 79 ust take exactly
1550: 20 6f 6e 65 20 61 72 67 75 6d 65 6e 74 20 61 74 one argument at
1560: 20 22 7e 56 61 6c 75 65 4c 61 79 65 72 7e 22 20 "~ValueLayer~"
1570: 6c 61 79 65 72 22 29 3b 0d 0a 09 7d 0d 0a 09 74 layer");...}...t
1580: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
1590: 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c meException(pos,
15a0: 20 22 74 72 69 65 64 20 74 6f 20 63 61 6c 6c 20 "tried to call
15b0: 6e 6f 6e 2d 66 75 6e 63 74 69 6f 6e 22 29 3b 0d non-function");.
15c0: 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 45 6e 74 72 79 20 .}..../// Entry
15d0: 70 6f 69 6e 74 20 6f 66 20 74 68 69 73 20 6d 6f point of this mo
15e0: 64 75 6c 65 0d 0a 2f 2f 2f 20 49 66 20 73 70 6c dule../// If spl
15f0: 69 74 43 74 78 20 3d 20 74 72 75 65 2c 20 74 68 itCtx = true, th
1600: 65 6e 20 69 6e 6e 65 72 20 76 61 72 69 61 62 6c en inner variabl
1610: 65 20 64 65 63 6c 61 72 61 74 69 6f 6e 20 64 6f e declaration do
1620: 20 6e 6f 74 20 6f 76 65 72 77 72 69 74 65 20 63 not overwrite c
1630: 74 78 2e 0d 0a 2f 2f 2f 20 6c 61 79 20 69 73 20 tx.../// lay is
1640: 74 68 65 20 6c 61 79 65 72 20 49 44 20 66 6f 72 the layer ID for
1650: 20 65 76 61 6c 75 61 74 69 6f 6e 20 28 73 74 61 evaluation (sta
1660: 6e 64 61 72 64 20 76 61 6c 75 65 20 73 65 6d 61 ndard value sema
1670: 6e 74 69 63 73 20 75 73 65 73 20 56 61 6c 75 65 ntics uses Value
1680: 4c 61 79 65 72 29 2e 0d 0a 0d 0a 56 61 6c 75 65 Layer).....Value
1690: 20 65 76 61 6c 28 41 53 54 20 65 2c 20 54 61 62 eval(AST e, Tab
16a0: 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 73 70 6c le ctx, bool spl
16b0: 69 74 43 74 78 2c 20 4c 61 79 65 72 20 6c 61 79 itCtx, Layer lay
16c0: 29 0a 7b 0d 0a 09 72 65 74 75 72 6e 20 65 2e 6d ).{...return e.m
16d0: 61 74 63 68 28 0a 09 09 28 53 74 72 4c 69 74 65 atch(...(StrLite
16e0: 72 61 6c 20 65 29 0a 09 09 7b 0d 0a 09 09 09 56 ral e)...{.....V
16f0: 61 6c 75 65 20 76 20 3d 20 6e 65 77 20 53 74 72 alue v = new Str
1700: 56 61 6c 75 65 28 65 2e 64 61 74 61 29 3b 0d 0a Value(e.data);..
1710: 09 09 09 69 66 28 20 6c 61 79 20 3d 3d 20 56 61 ...if( lay == Va
1720: 6c 75 65 4c 61 79 65 72 20 29 0a 09 09 09 09 72 lueLayer ).....r
1730: 65 74 75 72 6e 20 76 3b 0d 0a 09 09 09 65 6c 73 eturn v;.....els
1740: 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 6c 69 e......return li
1750: 66 74 28 65 2e 70 6f 73 2c 76 2c 6c 61 79 2c 63 ft(e.pos,v,lay,c
1760: 74 78 29 3b 0a 09 09 7d 2c 0a 09 09 28 49 6e 74 tx);...},...(Int
1770: 4c 69 74 65 72 61 6c 20 65 29 0a 09 09 7b 0a 09 Literal e)...{..
1780: 09 09 56 61 6c 75 65 20 76 20 3d 20 6e 65 77 20 ..Value v = new
1790: 49 6e 74 56 61 6c 75 65 28 65 2e 64 61 74 61 29 IntValue(e.data)
17a0: 3b 0d 0a 09 09 09 69 66 28 20 6c 61 79 20 3d 3d ;.....if( lay ==
17b0: 20 56 61 6c 75 65 4c 61 79 65 72 20 29 0d 0a 09 ValueLayer )...
17c0: 09 09 09 72 65 74 75 72 6e 20 76 3b 0a 09 09 09 ...return v;....
17d0: 65 6c 73 65 20 2f 2f 20 72 69 73 65 0d 0a 09 09 else // rise....
17e0: 09 09 72 65 74 75 72 6e 20 6c 69 66 74 28 65 2e ..return lift(e.
17f0: 70 6f 73 2c 76 2c 6c 61 79 2c 63 74 78 29 3b 0d pos,v,lay,ctx);.
1800: 0a 09 09 7d 2c 0a 09 09 28 56 61 72 45 78 70 72 ...},...(VarExpr
1810: 65 73 73 69 6f 6e 20 65 29 0d 0a 09 09 7b 0d 0a ession e)....{..
1820: 09 09 09 69 66 28 20 6c 61 79 20 3d 3d 20 56 61 ...if( lay == Va
1830: 6c 75 65 4c 61 79 65 72 20 29 0d 0a 09 09 09 09 lueLayer )......
1840: 72 65 74 75 72 6e 20 63 74 78 2e 67 65 74 28 65 return ctx.get(e
1850: 2e 6e 61 6d 65 2c 20 6c 61 79 2c 20 65 2e 70 6f .name, lay, e.po
1860: 73 29 3b 0d 0a 09 09 09 74 72 79 20 7b 0d 0a 09 s);.....try {...
1870: 09 09 09 72 65 74 75 72 6e 20 63 74 78 2e 67 65 ...return ctx.ge
1880: 74 28 65 2e 6e 61 6d 65 2c 20 6c 61 79 2c 20 65 t(e.name, lay, e
1890: 2e 70 6f 73 29 3b 0d 0a 09 09 09 7d 20 63 61 74 .pos);.....} cat
18a0: 63 68 28 20 54 68 72 6f 77 61 62 6c 65 20 29 20 ch( Throwable )
18b0: 7b 20 2f 2f 20 5b 54 4f 44 4f 5d 20 6d 6f 72 65 { // [TODO] more
18c0: 20 70 72 65 63 69 73 65 2e 2e 2e 0d 0a 09 09 09 precise........
18d0: 09 72 65 74 75 72 6e 20 6c 69 66 74 28 65 2e 70 .return lift(e.p
18e0: 6f 73 2c 20 63 74 78 2e 67 65 74 28 65 2e 6e 61 os, ctx.get(e.na
18f0: 6d 65 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 me, ValueLayer,
1900: 65 2e 70 6f 73 29 2c 20 6c 61 79 2c 20 63 74 78 e.pos), lay, ctx
1910: 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 7d 2c 0d 0a );.....}....},..
1920: 09 09 28 4c 61 79 45 78 70 72 65 73 73 69 6f 6e ..(LayExpression
1930: 20 65 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 28 e)....{.....if(
1940: 20 65 2e 6c 61 79 65 72 20 3d 3d 20 4d 61 63 72 e.layer == Macr
1950: 6f 4c 61 79 65 72 20 29 0d 0a 09 09 09 09 72 65 oLayer )......re
1960: 74 75 72 6e 20 6d 61 63 72 6f 45 76 61 6c 28 65 turn macroEval(e
1970: 2e 65 78 70 72 2c 20 63 74 78 2c 20 66 61 6c 73 .expr, ctx, fals
1980: 65 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 e);.....else....
1990: 09 09 72 65 74 75 72 6e 20 65 76 61 6c 28 65 2e ..return eval(e.
19a0: 65 78 70 72 2c 20 63 74 78 2c 20 74 72 75 65 2c expr, ctx, true,
19b0: 20 65 2e 6c 61 79 65 72 29 3b 0d 0a 09 09 7d 2c e.layer);....},
19c0: 0d 0a 09 09 28 4c 65 74 45 78 70 72 65 73 73 69 ....(LetExpressi
19d0: 6f 6e 20 65 29 0d 0a 09 09 7b 0d 0a 09 09 09 2f on e)....{...../
19e0: 2f 20 66 6f 72 20 6c 65 74 72 65 63 2c 20 77 65 / for letrec, we
19f0: 20 6e 65 65 64 20 74 68 69 73 2c 20 62 75 74 20 need this, but
1a00: 73 68 6f 75 6c 64 20 61 76 6f 69 64 20 6f 76 65 should avoid ove
1a10: 72 77 72 69 74 69 6e 67 3f 3f 3f 3f 0d 0a 09 09 rwriting????....
1a20: 09 2f 2f 20 63 74 78 2e 73 65 74 28 65 2e 76 61 .// ctx.set(e.va
1a30: 72 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e r, ValueLayer, n
1a40: 65 77 20 55 6e 64 65 66 69 6e 65 64 56 61 6c 75 ew UndefinedValu
1a50: 65 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 09 09 69 e, e.pos);.....i
1a60: 66 28 73 70 6c 69 74 43 74 78 29 0d 0a 09 09 09 f(splitCtx).....
1a70: 09 63 74 78 20 3d 20 6e 65 77 20 54 61 62 6c 65 .ctx = new Table
1a80: 28 63 74 78 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 (ctx, Table.Kind
1a90: 2e 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 .NotPropagateSet
1aa0: 29 3b 0d 0a 09 09 09 56 61 6c 75 65 20 76 20 3d );.....Value v =
1ab0: 20 65 76 61 6c 28 65 2e 69 6e 69 74 2c 20 63 74 eval(e.init, ct
1ac0: 78 2c 20 74 72 75 65 2c 20 6c 61 79 29 3b 0d 0a x, true, lay);..
1ad0: 09 09 09 63 74 78 2e 73 65 74 28 65 2e 6e 61 6d ...ctx.set(e.nam
1ae0: 65 2c 20 28 65 2e 6c 61 79 65 72 2e 6c 65 6e 67 e, (e.layer.leng
1af0: 74 68 20 3f 20 65 2e 6c 61 79 65 72 20 3a 20 6c th ? e.layer : l
1b00: 61 79 29 2c 20 76 2c 20 65 2e 70 6f 73 29 3b 0d ay), v, e.pos);.
1b10: 0a 09 09 09 72 65 74 75 72 6e 20 65 76 61 6c 28 ....return eval(
1b20: 65 2e 65 78 70 72 2c 20 63 74 78 2c 20 66 61 6c e.expr, ctx, fal
1b30: 73 65 2c 20 6c 61 79 29 3b 0d 0a 09 09 7d 2c 0d se, lay);....},.
1b40: 0a 09 09 28 46 75 6e 63 61 6c 6c 45 78 70 72 65 ...(FuncallExpre
1b50: 73 73 69 6f 6e 20 65 29 0a 09 09 7b 0a 09 09 09 ssion e)...{....
1b60: 72 65 74 75 72 6e 20 69 6e 76 6f 6b 65 46 75 6e return invokeFun
1b70: 63 74 69 6f 6e 28 65 2e 70 6f 73 2c 20 65 76 61 ction(e.pos, eva
1b80: 6c 28 65 2e 66 75 6e 2c 20 63 74 78 2c 20 74 72 l(e.fun, ctx, tr
1b90: 75 65 2c 20 6c 61 79 29 2c 20 65 2e 61 72 67 73 ue, lay), e.args
1ba0: 2c 20 63 74 78 2c 20 6c 61 79 29 3b 0d 0a 09 09 , ctx, lay);....
1bb0: 7d 2c 0a 09 09 28 46 75 6e 4c 69 74 65 72 61 6c },...(FunLiteral
1bc0: 20 65 29 0a 09 09 7b 0d 0a 09 09 09 56 61 6c 75 e)...{.....Valu
1bd0: 65 5b 56 61 6c 75 65 5b 5d 5d 5b 4c 61 79 65 72 e[Value[]][Layer
1be0: 5d 20 6d 65 6d 6f 3b 0d 0a 09 09 09 41 53 54 20 ] memo;.....AST
1bf0: 6d 61 63 72 6f 4d 65 6d 6f 20 3d 20 6e 75 6c 6c macroMemo = null
1c00: 3b 20 2f 2f 20 63 61 63 68 65 0d 0a 0d 0a 09 09 ; // cache......
1c10: 09 2f 2f 20 66 75 6e 76 61 6c 75 65 20 6e 65 65 .// funvalue nee
1c20: 64 20 6e 6f 74 20 62 65 20 72 69 73 65 64 0d 0a d not be rised..
1c30: 09 09 09 2f 2f 20 6e 6f 2c 20 6e 65 65 64 20 74 ...// no, need t
1c40: 6f 20 62 65 20 72 69 73 65 64 20 21 21 20 20 73 o be rised !! s
1c50: 75 70 70 6f 73 65 20 40 74 28 66 69 62 29 28 22 uppose @t(fib)("
1c60: 69 6e 74 22 29 0d 0a 09 09 09 72 65 74 75 72 6e int").....return
1c70: 20 6e 65 77 20 55 73 65 72 44 65 66 69 6e 65 64 new UserDefined
1c80: 46 75 6e 56 61 6c 75 65 28 65 2c 20 63 74 78 29 FunValue(e, ctx)
1c90: 3b 0a 09 09 7d 2c 0d 0a 09 09 64 65 6c 65 67 61 ;...},....delega
1ca0: 74 65 20 56 61 6c 75 65 20 28 41 53 54 20 65 29 te Value (AST e)
1cb0: 0d 0a 09 09 7b 0a 09 09 09 74 68 72 6f 77 20 67 ....{....throw g
1cc0: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
1cd0: 70 74 69 6f 6e 28 65 2e 70 6f 73 2c 20 73 70 72 ption(e.pos, spr
1ce0: 69 6e 74 66 21 22 55 6e 6b 6e 6f 77 6e 20 4b 69 intf!"Unknown Ki
1cf0: 6e 64 20 6f 66 20 45 78 70 72 65 73 73 69 6f 6e nd of Expression
1d00: 20 25 73 22 28 74 79 70 65 69 64 28 65 29 29 29 %s"(typeid(e)))
1d10: 3b 0d 0a 09 09 7d 0d 0a 09 29 3b 0a 7d 0d 0a 0d ;....}...);.}...
1d20: 0a 2f 2f 20 5b 54 4f 44 4f 5d 20 4f 70 74 69 6d .// [TODO] Optim
1d30: 69 7a 61 74 69 6f 6e 0d 0a 56 61 6c 75 65 20 6d ization..Value m
1d40: 61 63 72 6f 45 76 61 6c 28 41 53 54 20 65 2c 20 acroEval(AST e,
1d50: 54 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 Table ctx, bool
1d60: 41 6c 77 61 79 73 4d 61 63 72 6f 29 0d 0a 7b 0d AlwaysMacro)..{.
1d70: 0a 09 4c 61 79 65 72 20 74 68 65 4c 61 79 65 72 ..Layer theLayer
1d80: 20 3d 20 56 61 6c 75 65 4c 61 79 65 72 3b 0d 0a = ValueLayer;..
1d90: 0d 0a 09 54 61 62 6c 65 20 6d 61 6b 65 43 6f 6e ...Table makeCon
1da0: 73 28 56 61 6c 75 65 20 61 2c 20 56 61 6c 75 65 s(Value a, Value
1db0: 20 64 29 0d 0a 09 7b 0d 0a 09 09 54 61 62 6c 65 d)...{....Table
1dc0: 20 74 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d t = new Table;.
1dd0: 0a 09 09 74 2e 73 65 74 28 22 63 61 72 22 2c 20 ...t.set("car",
1de0: 74 68 65 4c 61 79 65 72 2c 20 61 29 3b 0d 0a 09 theLayer, a);...
1df0: 09 74 2e 73 65 74 28 22 63 64 72 22 2c 20 74 68 .t.set("cdr", th
1e00: 65 4c 61 79 65 72 2c 20 64 29 3b 0d 0a 09 09 72 eLayer, d);....r
1e10: 65 74 75 72 6e 20 74 3b 0d 0a 09 7d 0d 0a 0d 0a eturn t;...}....
1e20: 09 54 61 62 6c 65 20 70 6f 73 20 3d 20 6e 65 77 .Table pos = new
1e30: 20 54 61 62 6c 65 3b 0d 0a 09 69 66 28 20 65 2e Table;...if( e.
1e40: 70 6f 73 20 21 69 73 20 6e 75 6c 6c 20 29 20 7b pos !is null ) {
1e50: 0d 0a 09 09 70 6f 73 2e 73 65 74 28 22 66 69 6c ....pos.set("fil
1e60: 65 6e 61 6d 65 22 2c 20 74 68 65 4c 61 79 65 72 ename", theLayer
1e70: 2c 20 6e 65 77 20 53 74 72 56 61 6c 75 65 28 65 , new StrValue(e
1e80: 2e 70 6f 73 2e 66 69 6c 65 6e 61 6d 65 29 29 3b .pos.filename));
1e90: 0d 0a 09 09 70 6f 73 2e 73 65 74 28 22 6c 69 6e ....pos.set("lin
1ea0: 65 6e 6f 22 2c 20 20 20 74 68 65 4c 61 79 65 72 eno", theLayer
1eb0: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
1ec0: 69 67 49 6e 74 28 65 2e 70 6f 73 2e 6c 69 6e 65 igInt(e.pos.line
1ed0: 6e 6f 29 29 29 3b 0d 0a 09 09 70 6f 73 2e 73 65 no)));....pos.se
1ee0: 74 28 22 63 6f 6c 75 6d 6e 22 2c 20 20 20 74 68 t("column", th
1ef0: 65 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 eLayer, new IntV
1f00: 61 6c 75 65 28 42 69 67 49 6e 74 28 65 2e 70 6f alue(BigInt(e.po
1f10: 73 2e 63 6f 6c 75 6d 6e 29 29 29 3b 0d 0a 09 7d s.column)));...}
1f20: 20 65 6c 73 65 20 7b 0d 0a 09 09 70 6f 73 2e 73 else {....pos.s
1f30: 65 74 28 22 66 69 6c 65 6e 61 6d 65 22 2c 20 74 et("filename", t
1f40: 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 72 heLayer, new Str
1f50: 56 61 6c 75 65 28 22 6e 75 6c 6c 70 6f 73 22 29 Value("nullpos")
1f60: 29 3b 0d 0a 09 09 70 6f 73 2e 73 65 74 28 22 6c );....pos.set("l
1f70: 69 6e 65 6e 6f 22 2c 20 20 20 74 68 65 4c 61 79 ineno", theLay
1f80: 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 er, new IntValue
1f90: 28 42 69 67 49 6e 74 28 30 29 29 29 3b 0d 0a 09 (BigInt(0)));...
1fa0: 09 70 6f 73 2e 73 65 74 28 22 63 6f 6c 75 6d 6e .pos.set("column
1fb0: 22 2c 20 20 20 74 68 65 4c 61 79 65 72 2c 20 6e ", theLayer, n
1fc0: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
1fd0: 6e 74 28 30 29 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a nt(0)));...}....
1fe0: 09 72 65 74 75 72 6e 20 65 2e 6d 61 74 63 68 28 .return e.match(
1ff0: 0d 0a 09 09 28 53 74 72 4c 69 74 65 72 61 6c 20 ....(StrLiteral
2000: 65 29 0d 0a 09 09 7b 0d 0a 09 09 09 54 61 62 6c e)....{.....Tabl
2010: 65 20 74 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b e t = new Table;
2020: 0d 0a 09 09 09 74 2e 73 65 74 28 22 70 6f 73 22 .....t.set("pos"
2030: 2c 20 20 74 68 65 4c 61 79 65 72 2c 20 70 6f 73 , theLayer, pos
2040: 29 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22 69 73 );.....t.set("is
2050: 22 2c 20 20 20 74 68 65 4c 61 79 65 72 2c 20 6e ", theLayer, n
2060: 65 77 20 53 74 72 56 61 6c 75 65 28 22 73 74 72 ew StrValue("str
2070: 22 29 29 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22 "));.....t.set("
2080: 64 61 74 61 22 2c 20 74 68 65 4c 61 79 65 72 2c data", theLayer,
2090: 20 6e 65 77 20 53 74 72 56 61 6c 75 65 28 65 2e new StrValue(e.
20a0: 64 61 74 61 29 29 3b 0d 0a 09 09 09 72 65 74 75 data));.....retu
20b0: 72 6e 20 74 3b 0d 0a 09 09 7d 2c 0d 0a 09 09 28 rn t;....},....(
20c0: 49 6e 74 4c 69 74 65 72 61 6c 20 65 29 0d 0a 09 IntLiteral e)...
20d0: 09 7b 0d 0a 09 09 09 54 61 62 6c 65 20 74 20 3d .{.....Table t =
20e0: 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 new Table;.....
20f0: 74 2e 73 65 74 28 22 70 6f 73 22 2c 20 20 74 68 t.set("pos", th
2100: 65 4c 61 79 65 72 2c 20 70 6f 73 29 3b 0d 0a 09 eLayer, pos);...
2110: 09 09 74 2e 73 65 74 28 22 69 73 22 2c 20 20 20 ..t.set("is",
2120: 74 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 theLayer, new St
2130: 72 56 61 6c 75 65 28 22 69 6e 74 22 29 29 3b 0d rValue("int"));.
2140: 0a 09 09 09 74 2e 73 65 74 28 22 64 61 74 61 22 ....t.set("data"
2150: 2c 20 74 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 , theLayer, new
2160: 49 6e 74 56 61 6c 75 65 28 65 2e 64 61 74 61 29 IntValue(e.data)
2170: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 3b );.....return t;
2180: 0d 0a 09 09 7d 2c 0d 0a 09 09 28 56 61 72 45 78 ....},....(VarEx
2190: 70 72 65 73 73 69 6f 6e 20 65 29 0d 0a 09 09 7b pression e)....{
21a0: 0d 0a 09 09 09 74 72 79 20 7b 0d 0a 09 09 09 09 .....try {......
21b0: 72 65 74 75 72 6e 20 63 74 78 2e 67 65 74 28 65 return ctx.get(e
21c0: 2e 6e 61 6d 65 2c 20 4d 61 63 72 6f 4c 61 79 65 .name, MacroLaye
21d0: 72 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 09 09 7d r, e.pos);.....}
21e0: 20 63 61 74 63 68 28 20 54 68 72 6f 77 61 62 6c catch( Throwabl
21f0: 65 20 29 20 7b 2f 2f 20 5b 54 4f 44 4f 5d 20 6d e ) {// [TODO] m
2200: 6f 72 65 20 70 72 65 63 69 65 73 2e 2e 2e 0d 0a ore precies.....
2210: 09 09 09 09 54 61 62 6c 65 20 74 20 3d 20 6e 65 ....Table t = ne
2220: 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 09 74 2e w Table;......t.
2230: 73 65 74 28 22 70 6f 73 22 2c 20 20 74 68 65 4c set("pos", theL
2240: 61 79 65 72 2c 20 70 6f 73 29 3b 0d 0a 09 09 09 ayer, pos);.....
2250: 09 74 2e 73 65 74 28 22 69 73 22 2c 20 20 20 74 .t.set("is", t
2260: 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 72 heLayer, new Str
2270: 56 61 6c 75 65 28 22 76 61 72 22 29 29 3b 0d 0a Value("var"));..
2280: 09 09 09 09 74 2e 73 65 74 28 22 6e 61 6d 65 22 ....t.set("name"
2290: 2c 20 74 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 , theLayer, new
22a0: 53 74 72 56 61 6c 75 65 28 65 2e 6e 61 6d 65 29 StrValue(e.name)
22b0: 29 3b 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 63 );......return c
22c0: 61 73 74 28 56 61 6c 75 65 29 74 3b 0d 0a 09 09 ast(Value)t;....
22d0: 09 7d 0d 0a 09 09 7d 2c 0d 0a 09 09 28 4c 61 79 .}....},....(Lay
22e0: 45 78 70 72 65 73 73 69 6f 6e 20 65 29 0d 0a 09 Expression e)...
22f0: 09 7b 0d 0a 09 09 09 69 66 28 20 41 6c 77 61 79 .{.....if( Alway
2300: 73 4d 61 63 72 6f 20 29 0d 0a 09 09 09 7b 0d 0a sMacro ).....{..
2310: 09 09 09 09 54 61 62 6c 65 20 74 20 3d 20 6e 65 ....Table t = ne
2320: 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 09 74 2e w Table;......t.
2330: 73 65 74 28 22 70 6f 73 22 2c 20 20 20 74 68 65 set("pos", the
2340: 4c 61 79 65 72 2c 20 70 6f 73 29 3b 0d 0a 09 09 Layer, pos);....
2350: 09 09 74 2e 73 65 74 28 22 69 73 22 2c 20 20 20 ..t.set("is",
2360: 20 74 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 53 theLayer, new S
2370: 74 72 56 61 6c 75 65 28 22 6c 61 79 22 29 29 3b trValue("lay"));
2380: 0d 0a 09 09 09 09 74 2e 73 65 74 28 22 6c 61 79 ......t.set("lay
2390: 65 72 22 2c 20 74 68 65 4c 61 79 65 72 2c 20 6e er", theLayer, n
23a0: 65 77 20 53 74 72 56 61 6c 75 65 28 65 2e 6c 61 ew StrValue(e.la
23b0: 79 65 72 29 29 3b 0d 0a 09 09 09 09 74 2e 73 65 yer));......t.se
23c0: 74 28 22 65 78 70 72 22 2c 20 20 74 68 65 4c 61 t("expr", theLa
23d0: 79 65 72 2c 20 6d 61 63 72 6f 45 76 61 6c 28 65 yer, macroEval(e
23e0: 2e 65 78 70 72 2c 63 74 78 2c 41 6c 77 61 79 73 .expr,ctx,Always
23f0: 4d 61 63 72 6f 29 29 3b 0d 0a 09 09 09 09 72 65 Macro));......re
2400: 74 75 72 6e 20 63 61 73 74 28 56 61 6c 75 65 29 turn cast(Value)
2410: 74 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 65 6c 73 t;.....}.....els
2420: 65 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 69 66 28 e.....{......if(
2430: 20 65 2e 6c 61 79 65 72 20 3d 3d 20 4d 61 63 72 e.layer == Macr
2440: 6f 4c 61 79 65 72 20 29 0d 0a 09 09 09 09 09 72 oLayer ).......r
2450: 65 74 75 72 6e 20 6d 61 63 72 6f 45 76 61 6c 28 eturn macroEval(
2460: 65 2e 65 78 70 72 2c 20 63 74 78 2c 20 66 61 6c e.expr, ctx, fal
2470: 73 65 29 3b 0d 0a 09 09 09 09 65 6c 73 65 0d 0a se);......else..
2480: 09 09 09 09 09 72 65 74 75 72 6e 20 65 76 61 6c .....return eval
2490: 28 65 2e 65 78 70 72 2c 20 63 74 78 2c 20 74 72 (e.expr, ctx, tr
24a0: 75 65 2c 20 65 2e 6c 61 79 65 72 29 3b 0d 0a 09 ue, e.layer);...
24b0: 09 09 7d 0d 0a 09 09 7d 2c 0d 0a 09 09 28 4c 65 ..}....},....(Le
24c0: 74 45 78 70 72 65 73 73 69 6f 6e 20 65 29 0d 0a tExpression e)..
24d0: 09 09 7b 0d 0a 09 09 09 54 61 62 6c 65 20 74 20 ..{.....Table t
24e0: 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 = new Table;....
24f0: 09 74 2e 73 65 74 28 22 70 6f 73 22 2c 20 20 74 .t.set("pos", t
2500: 68 65 4c 61 79 65 72 2c 20 70 6f 73 29 3b 0d 0a heLayer, pos);..
2510: 09 09 09 74 2e 73 65 74 28 22 69 73 22 2c 20 20 ...t.set("is",
2520: 20 74 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 53 theLayer, new S
2530: 74 72 56 61 6c 75 65 28 22 6c 65 74 22 29 29 3b trValue("let"));
2540: 0d 0a 09 09 09 74 2e 73 65 74 28 22 6e 61 6d 65 .....t.set("name
2550: 22 2c 20 74 68 65 4c 61 79 65 72 2c 20 6e 65 77 ", theLayer, new
2560: 20 53 74 72 56 61 6c 75 65 28 65 2e 6e 61 6d 65 StrValue(e.name
2570: 29 29 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22 69 ));.....t.set("i
2580: 6e 69 74 22 2c 20 74 68 65 4c 61 79 65 72 2c 20 nit", theLayer,
2590: 6d 61 63 72 6f 45 76 61 6c 28 65 2e 69 6e 69 74 macroEval(e.init
25a0: 2c 63 74 78 2c 41 6c 77 61 79 73 4d 61 63 72 6f ,ctx,AlwaysMacro
25b0: 29 29 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22 65 ));.....t.set("e
25c0: 78 70 72 22 2c 20 74 68 65 4c 61 79 65 72 2c 20 xpr", theLayer,
25d0: 6d 61 63 72 6f 45 76 61 6c 28 65 2e 65 78 70 72 macroEval(e.expr
25e0: 2c 63 74 78 2c 41 6c 77 61 79 73 4d 61 63 72 6f ,ctx,AlwaysMacro
25f0: 29 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 ));.....return t
2600: 3b 0d 0a 09 09 7d 2c 0d 0a 09 09 28 46 75 6e 63 ;....},....(Func
2610: 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 20 65 29 allExpression e)
2620: 0d 0a 09 09 7b 0d 0a 09 09 09 56 61 6c 75 65 20 ....{.....Value
2630: 5f 66 20 3d 20 6d 61 63 72 6f 45 76 61 6c 28 65 _f = macroEval(e
2640: 2e 66 75 6e 2c 63 74 78 2c 41 6c 77 61 79 73 4d .fun,ctx,AlwaysM
2650: 61 63 72 6f 29 3b 0d 0a 0d 0a 09 09 09 69 66 28 acro);.......if(
2660: 20 61 75 74 6f 20 66 20 3d 20 63 61 73 74 28 46 auto f = cast(F
2670: 75 6e 56 61 6c 75 65 29 5f 66 20 29 0d 0a 09 09 unValue)_f )....
2680: 09 09 72 65 74 75 72 6e 20 69 6e 76 6f 6b 65 46 ..return invokeF
2690: 75 6e 63 74 69 6f 6e 28 65 2e 70 6f 73 2c 20 66 unction(e.pos, f
26a0: 2c 20 65 2e 61 72 67 73 2c 20 63 74 78 2c 20 4d , e.args, ctx, M
26b0: 61 63 72 6f 4c 61 79 65 72 2c 20 41 6c 77 61 79 acroLayer, Alway
26c0: 73 4d 61 63 72 6f 29 3b 0d 0a 0d 0a 09 09 09 54 sMacro);.......T
26d0: 61 62 6c 65 20 74 20 3d 20 6e 65 77 20 54 61 62 able t = new Tab
26e0: 6c 65 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22 70 le;.....t.set("p
26f0: 6f 73 22 2c 20 20 74 68 65 4c 61 79 65 72 2c 20 os", theLayer,
2700: 70 6f 73 29 3b 0d 0a 09 09 09 74 2e 73 65 74 28 pos);.....t.set(
2710: 22 69 73 22 2c 20 20 20 74 68 65 4c 61 79 65 72 "is", theLayer
2720: 2c 20 6e 65 77 20 53 74 72 56 61 6c 75 65 28 22 , new StrValue("
2730: 61 70 70 22 29 29 3b 0d 0a 09 09 09 74 2e 73 65 app"));.....t.se
2740: 74 28 22 66 75 6e 22 2c 20 20 74 68 65 4c 61 79 t("fun", theLay
2750: 65 72 2c 20 5f 66 29 3b 0d 0a 09 09 09 54 61 62 er, _f);.....Tab
2760: 6c 65 20 61 72 67 73 20 3d 20 6e 65 77 20 54 61 le args = new Ta
2770: 62 6c 65 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 ble;.....foreach
2780: 5f 72 65 76 65 72 73 65 28 61 3b 20 65 2e 61 72 _reverse(a; e.ar
2790: 67 73 29 20 7b 0d 0a 09 09 09 09 54 61 62 6c 65 gs) {......Table
27a0: 20 63 6f 6e 73 20 3d 20 6e 65 77 20 54 61 62 6c cons = new Tabl
27b0: 65 3b 0d 0a 09 09 09 09 63 6f 6e 73 2e 73 65 74 e;......cons.set
27c0: 28 22 63 61 72 22 2c 74 68 65 4c 61 79 65 72 2c ("car",theLayer,
27d0: 6d 61 63 72 6f 45 76 61 6c 28 61 2c 63 74 78 2c macroEval(a,ctx,
27e0: 41 6c 77 61 79 73 4d 61 63 72 6f 29 29 3b 0d 0a AlwaysMacro));..
27f0: 09 09 09 09 63 6f 6e 73 2e 73 65 74 28 22 63 64 ....cons.set("cd
2800: 72 22 2c 74 68 65 4c 61 79 65 72 2c 61 72 67 73 r",theLayer,args
2810: 29 3b 0d 0a 09 09 09 09 61 72 67 73 20 3d 20 63 );......args = c
2820: 6f 6e 73 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 74 ons;.....}.....t
2830: 2e 73 65 74 28 22 61 72 67 73 22 2c 20 74 68 65 .set("args", the
2840: 4c 61 79 65 72 2c 20 61 72 67 73 29 3b 0d 0a 09 Layer, args);...
2850: 09 09 72 65 74 75 72 6e 20 63 61 73 74 28 56 61 ..return cast(Va
2860: 6c 75 65 29 74 3b 0d 0a 09 09 7d 2c 0d 0a 09 09 lue)t;....},....
2870: 28 46 75 6e 4c 69 74 65 72 61 6c 20 65 29 0d 0a (FunLiteral e)..
2880: 09 09 7b 0d 0a 09 09 09 54 61 62 6c 65 20 74 20 ..{.....Table t
2890: 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 = new Table;....
28a0: 09 74 2e 73 65 74 28 22 70 6f 73 22 2c 20 20 20 .t.set("pos",
28b0: 74 68 65 4c 61 79 65 72 2c 20 70 6f 73 29 3b 0d theLayer, pos);.
28c0: 0a 09 09 09 74 2e 73 65 74 28 22 69 73 22 2c 20 ....t.set("is",
28d0: 20 20 20 74 68 65 4c 61 79 65 72 2c 20 6e 65 77 theLayer, new
28e0: 20 53 74 72 56 61 6c 75 65 28 22 66 75 6e 22 29 StrValue("fun")
28f0: 29 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22 66 75 );.....t.set("fu
2900: 6e 62 6f 64 79 22 2c 20 20 74 68 65 4c 61 79 65 nbody", theLaye
2910: 72 2c 20 6d 61 63 72 6f 45 76 61 6c 28 65 2e 66 r, macroEval(e.f
2920: 75 6e 62 6f 64 79 2c 63 74 78 2c 41 6c 77 61 79 unbody,ctx,Alway
2930: 73 4d 61 63 72 6f 29 29 3b 0d 0a 09 09 09 54 61 sMacro));.....Ta
2940: 62 6c 65 20 70 61 72 61 6d 73 20 3d 20 6e 65 77 ble params = new
2950: 20 54 61 62 6c 65 3b 0d 0a 09 09 09 66 6f 72 65 Table;.....fore
2960: 61 63 68 5f 72 65 76 65 72 73 65 28 70 3b 20 65 ach_reverse(p; e
2970: 2e 70 61 72 61 6d 73 29 0d 0a 09 09 09 7b 0d 0a .params).....{..
2980: 09 09 09 09 54 61 62 6c 65 20 6c 61 79 73 20 3d ....Table lays =
2990: 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 new Table;.....
29a0: 09 66 6f 72 65 61 63 68 5f 72 65 76 65 72 73 65 .foreach_reverse
29b0: 28 6c 61 79 3b 20 70 2e 6c 61 79 65 72 73 29 0d (lay; p.layers).
29c0: 0a 09 09 09 09 09 6c 61 79 73 20 3d 20 6d 61 6b ......lays = mak
29d0: 65 43 6f 6e 73 28 6e 65 77 20 53 74 72 56 61 6c eCons(new StrVal
29e0: 75 65 28 6c 61 79 29 2c 20 6c 61 79 73 29 3b 0d ue(lay), lays);.
29f0: 0a 09 09 09 09 54 61 62 6c 65 20 6b 76 20 3d 20 .....Table kv =
2a00: 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 09 new Table;......
2a10: 6b 76 2e 73 65 74 28 22 6e 61 6d 65 22 2c 20 74 kv.set("name", t
2a20: 68 65 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 72 heLayer, new Str
2a30: 56 61 6c 75 65 28 70 2e 6e 61 6d 65 29 29 3b 0d Value(p.name));.
2a40: 0a 09 09 09 09 6b 76 2e 73 65 74 28 22 6c 61 79 .....kv.set("lay
2a50: 65 72 73 22 2c 20 74 68 65 4c 61 79 65 72 2c 20 ers", theLayer,
2a60: 6c 61 79 73 29 3b 0d 0a 09 09 09 09 54 61 62 6c lays);......Tabl
2a70: 65 20 63 6f 6e 73 20 3d 20 6e 65 77 20 54 61 62 e cons = new Tab
2a80: 6c 65 3b 0d 0a 09 09 09 09 70 61 72 61 6d 73 20 le;......params
2a90: 3d 20 6d 61 6b 65 43 6f 6e 73 28 6b 76 2c 20 70 = makeCons(kv, p
2aa0: 61 72 61 6d 73 29 3b 0d 0a 09 09 09 7d 0d 0a 09 arams);.....}...
2ab0: 09 09 74 2e 73 65 74 28 22 70 61 72 61 6d 73 22 ..t.set("params"
2ac0: 2c 20 74 68 65 4c 61 79 65 72 2c 20 70 61 72 61 , theLayer, para
2ad0: 6d 73 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 ms);.....return
2ae0: 74 3b 0d 0a 09 09 7d 2c 0d 0a 09 09 64 65 6c 65 t;....},....dele
2af0: 67 61 74 65 20 56 61 6c 75 65 20 28 41 53 54 20 gate Value (AST
2b00: 65 29 0d 0a 09 09 7b 0d 0a 09 09 09 74 68 72 6f e)....{.....thro
2b10: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 w genex!RuntimeE
2b20: 78 63 65 70 74 69 6f 6e 28 65 2e 70 6f 73 2c 20 xception(e.pos,
2b30: 73 70 72 69 6e 74 66 21 22 55 6e 6b 6e 6f 77 6e sprintf!"Unknown
2b40: 20 4b 69 6e 64 20 6f 66 20 45 78 70 72 65 73 73 Kind of Express
2b50: 69 6f 6e 20 25 73 22 28 74 79 70 65 69 64 28 65 ion %s"(typeid(e
2b60: 29 29 29 3b 0d 0a 09 09 7d 0d 0a 09 29 3b 0d 0a )));....}...);..
2b70: 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0a 7b 0d }....unittest.{.
2b80: 0a 09 61 75 74 6f 20 72 20 3d 20 61 73 73 65 72 ..auto r = asser
2b90: 74 5f 6e 6f 74 68 72 6f 77 28 20 65 76 61 6c 53 t_nothrow( evalS
2ba0: 74 72 69 6e 67 28 60 76 61 72 20 78 20 3d 20 32 tring(`var x = 2
2bb0: 31 3b 20 78 20 2b 20 78 2a 78 3b 60 29 20 29 3b 1; x + x*x;`) );
2bc0: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 72 2e 76 ..assert_eq( r.v
2bd0: 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 al, new IntValue
2be0: 28 42 69 67 49 6e 74 28 32 31 2b 32 31 2a 32 31 (BigInt(21+21*21
2bf0: 29 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 65 71 )) );..assert_eq
2c00: 28 20 72 2e 63 74 78 2e 67 65 74 28 22 78 22 2c ( r.ctx.get("x",
2c10: 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 ValueLayer), new
2c20: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
2c30: 28 32 31 29 29 20 29 3b 0a 09 61 73 73 65 72 74 (21)) );..assert
2c40: 5f 6e 6f 74 68 72 6f 77 28 20 72 2e 63 74 78 2e _nothrow( r.ctx.
2c50: 67 65 74 28 22 78 22 2c 56 61 6c 75 65 4c 61 79 get("x",ValueLay
2c60: 65 72 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 74 er) );..assert_t
2c70: 68 72 6f 77 21 52 75 6e 74 69 6d 65 45 78 63 65 hrow!RuntimeExce
2c80: 70 74 69 6f 6e 28 20 72 2e 63 74 78 2e 67 65 74 ption( r.ctx.get
2c90: 28 22 79 22 2c 56 61 6c 75 65 4c 61 79 65 72 29 ("y",ValueLayer)
2ca0: 20 29 3b 0a 7d 0a 75 6e 69 74 74 65 73 74 0d 0a );.}.unittest..
2cb0: 7b 0d 0a 09 61 75 74 6f 20 72 20 3d 20 61 73 73 {...auto r = ass
2cc0: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 76 61 ert_nothrow( eva
2cd0: 6c 53 74 72 69 6e 67 28 60 76 61 72 20 78 20 3d lString(`var x =
2ce0: 20 32 31 3b 20 76 61 72 20 78 20 3d 20 78 20 2b 21; var x = x +
2cf0: 20 78 2a 78 3b 60 29 20 29 3b 0d 0a 09 61 73 73 x*x;`) );...ass
2d00: 65 72 74 5f 65 71 28 20 72 2e 76 61 6c 2c 20 6e ert_eq( r.val, n
2d10: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
2d20: 6e 74 28 32 31 2b 32 31 2a 32 31 29 29 20 29 3b nt(21+21*21)) );
2d30: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 72 2e ...assert_eq( r.
2d40: 63 74 78 2e 67 65 74 28 22 78 22 2c 56 61 6c 75 ctx.get("x",Valu
2d50: 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 eLayer), new Int
2d60: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 32 31 2b Value(BigInt(21+
2d70: 32 31 2a 32 31 29 29 20 29 3b 0d 0a 09 61 73 73 21*21)) );...ass
2d80: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 72 2e 63 ert_nothrow( r.c
2d90: 74 78 2e 67 65 74 28 22 78 22 2c 56 61 6c 75 65 tx.get("x",Value
2da0: 4c 61 79 65 72 29 20 29 3b 0d 0a 09 61 73 73 65 Layer) );...asse
2db0: 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 rt_throw!Runtime
2dc0: 45 78 63 65 70 74 69 6f 6e 28 20 72 2e 63 74 78 Exception( r.ctx
2dd0: 2e 67 65 74 28 22 79 22 2c 56 61 6c 75 65 4c 61 .get("y",ValueLa
2de0: 79 65 72 29 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 yer) );..}..unit
2df0: 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 test..{...assert
2e00: 5f 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 _eq( evalString(
2e10: 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 79 3d `let x=1; let y=
2e20: 28 6c 65 74 20 78 3d 32 29 3b 20 78 60 29 2e 76 (let x=2); x`).v
2e30: 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 al, new IntValue
2e40: 28 42 69 67 49 6e 74 28 31 29 29 20 29 3b 20 0d (BigInt(1)) ); .
2e50: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 ..assert_eq( eva
2e60: 6c 53 74 72 69 6e 67 28 60 6c 65 74 20 78 3d 31 lString(`let x=1
2e70: 3b 20 6c 65 74 20 79 3d 28 6c 65 74 20 78 3d 32 ; let y=(let x=2
2e80: 3b 66 75 6e 28 29 7b 78 7d 29 3b 20 79 28 29 60 ;fun(){x}); y()`
2e90: 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 ).val, new IntVa
2ea0: 6c 75 65 28 42 69 67 49 6e 74 28 32 29 29 20 29 lue(BigInt(2)) )
2eb0: 3b 20 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0d ; ..}..unittest.
2ec0: 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 .{...assert_eq(
2ed0: 65 76 61 6c 53 74 72 69 6e 67 28 60 40 61 20 78 evalString(`@a x
2ee0: 3d 31 3b 20 40 62 20 78 3d 32 3b 20 40 61 28 78 =1; @b x=2; @a(x
2ef0: 29 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 )`).val, new Int
2f00: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 Value(BigInt(1))
2f10: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
2f20: 20 65 76 61 6c 53 74 72 69 6e 67 28 60 40 61 20 evalString(`@a
2f30: 78 3d 31 3b 20 40 62 20 78 3d 32 3b 20 40 62 28 x=1; @b x=2; @b(
2f40: 78 29 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e x)`).val, new In
2f50: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 32 29 tValue(BigInt(2)
2f60: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
2f70: 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 6c 65 ( evalString(`le
2f80: 74 20 78 3d 31 3b 20 6c 65 74 20 5f 20 3d 20 28 t x=1; let _ = (
2f90: 40 61 20 78 3d 32 3b 32 29 3b 20 78 60 29 2e 76 @a x=2;2); x`).v
2fa0: 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 al, new IntValue
2fb0: 28 42 69 67 49 6e 74 28 31 29 29 20 29 3b 0d 0a (BigInt(1)) );..
2fc0: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 54 68 .assert_throw!Th
2fd0: 72 6f 77 61 62 6c 65 28 20 65 76 61 6c 53 74 72 rowable( evalStr
2fe0: 69 6e 67 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 ing(`let x=1; le
2ff0: 74 20 5f 20 3d 20 28 40 61 20 78 3d 32 3b 32 29 t _ = (@a x=2;2)
3000: 3b 20 40 61 28 78 29 60 29 20 29 3b 0d 0a 7d 0d ; @a(x)`) );..}.
3010: 0a 2f 2a 0d 0a 75 6e 69 74 74 65 73 74 0a 7b 0a ./*..unittest.{.
3020: 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 6c .assert_eq( eval
3030: 53 74 72 69 6e 67 28 60 76 61 72 20 66 61 63 20 String(`var fac
3040: 3d 20 66 75 6e 28 78 29 7b 0a 09 09 69 66 28 78 = fun(x){...if(x
3050: 29 0a 09 09 09 7b 20 78 2a 66 61 63 28 78 2d 31 )....{ x*fac(x-1
3060: 29 3b 20 7d 0a 09 09 65 6c 73 65 0a 09 09 09 7b ); }...else....{
3070: 20 31 3b 20 7d 3b 0a 09 7d 3b 0a 09 66 61 63 28 1; };..};..fac(
3080: 31 30 29 3b 60 29 2e 76 61 6c 2c 20 6e 65 77 20 10);`).val, new
3090: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
30a0: 31 30 2a 39 2a 38 2a 35 30 34 30 29 29 29 3b 0a 10*9*8*5040)));.
30b0: 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 6c .assert_eq( eval
30c0: 53 74 72 69 6e 67 28 60 76 61 72 20 66 69 62 20 String(`var fib
30d0: 3d 20 66 75 6e 28 78 29 7b 0a 09 09 69 66 28 78 = fun(x){...if(x
30e0: 3c 32 29 0a 09 09 09 7b 20 31 3b 20 7d 0a 09 09 <2)....{ 1; }...
30f0: 65 6c 73 65 0a 09 09 09 7b 20 66 69 62 28 78 2d else....{ fib(x-
3100: 31 29 20 2b 20 66 69 62 28 78 2d 32 29 3b 20 7d 1) + fib(x-2); }
3110: 3b 0a 09 7d 3b 0a 09 66 69 62 28 35 29 3b 60 29 ;..};..fib(5);`)
3120: 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c .val, new IntVal
3130: 75 65 28 42 69 67 49 6e 74 28 38 29 29 29 3b 0a ue(BigInt(8)));.
3140: 7d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d }...unittest..{.
3150: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 54 ..assert_throw!T
3160: 68 72 6f 77 61 62 6c 65 28 20 65 76 61 6c 53 74 hrowable( evalSt
3170: 72 69 6e 67 28 60 40 40 73 28 78 29 7b 78 7d 3b ring(`@@s(x){x};
3180: 20 40 73 20 22 2b 22 3d 66 75 6e 28 78 2c 79 29 @s "+"=fun(x,y)
3190: 7b 78 2d 79 7d 3b 40 73 28 31 2b 32 29 60 29 20 {x-y};@s(1+2)`)
31a0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
31b0: 65 76 61 6c 53 74 72 69 6e 67 28 60 40 40 73 28 evalString(`@@s(
31c0: 78 29 7b 78 7d 3b 20 40 73 20 22 2b 22 3d 66 75 x){x}; @s "+"=fu
31d0: 6e 28 78 2c 79 29 7b 78 2d 79 7d 3b 31 2b 32 60 n(x,y){x-y};1+2`
31e0: 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 ).val, new IntVa
31f0: 6c 75 65 28 42 69 67 49 6e 74 28 33 29 29 20 29 lue(BigInt(3)) )
3200: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 ;...assert_eq( e
3210: 76 61 6c 53 74 72 69 6e 67 28 60 40 40 73 28 78 valString(`@@s(x
3220: 29 7b 78 7d 3b 20 40 73 20 22 2b 22 3d 66 75 6e ){x}; @s "+"=fun
3230: 28 78 2c 79 29 7b 40 76 61 6c 75 65 28 40 73 28 (x,y){@value(@s(
3240: 78 29 2d 40 73 28 79 29 29 7d 3b 31 2b 32 60 29 x)-@s(y))};1+2`)
3250: 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c .val, new IntVal
3260: 75 65 28 42 69 67 49 6e 74 28 33 29 29 20 29 3b ue(BigInt(3)) );
3270: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 ...assert_eq( ev
3280: 61 6c 53 74 72 69 6e 67 28 60 40 40 73 28 78 29 alString(`@@s(x)
3290: 7b 78 7d 3b 20 40 73 20 22 2b 22 3d 66 75 6e 28 {x}; @s "+"=fun(
32a0: 78 2c 79 29 7b 40 76 61 6c 75 65 28 40 73 28 78 x,y){@value(@s(x
32b0: 29 2d 40 73 28 79 29 29 7d 3b 40 73 28 31 2b 32 )-@s(y))};@s(1+2
32c0: 29 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 )`).val, new Int
32d0: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 2d 31 29 Value(BigInt(-1)
32e0: 29 20 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 ) );..}....unitt
32f0: 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 5f est..{...assert_
3300: 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 eq( evalString(`
3310: 40 40 74 20 3d 20 66 75 6e 28 78 29 7b 78 2b 31 @@t = fun(x){x+1
3320: 7d 3b 20 40 74 28 31 32 33 29 60 29 2e 76 61 6c }; @t(123)`).val
3330: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
3340: 69 67 49 6e 74 28 31 32 34 29 29 20 29 3b 0d 0a igInt(124)) );..
3350: 09 2f 2f 20 74 68 65 72 65 20 77 61 73 20 61 20 .// there was a
3360: 62 75 67 20 74 68 61 74 20 64 65 63 6c 61 72 61 bug that declara
3370: 74 69 6f 6e 20 69 6e 20 74 68 65 20 66 69 72 73 tion in the firs
3380: 74 20 6c 69 6e 65 20 6f 66 20 66 75 6e 63 74 69 t line of functi
3390: 6f 6e 20 64 65 66 69 6e 69 74 69 6f 6e 0d 0a 09 on definition...
33a0: 2f 2f 20 63 61 6e 6e 6f 74 20 62 65 20 72 65 63 // cannot be rec
33b0: 75 72 73 69 76 65 0d 0a 09 61 73 73 65 72 74 5f ursive...assert_
33c0: 6e 6f 74 68 72 6f 77 28 20 65 76 61 6c 53 74 72 nothrow( evalStr
33d0: 69 6e 67 28 60 64 65 66 20 66 6f 6f 28 29 20 7b ing(`def foo() {
33e0: 0d 0a 20 20 64 65 66 20 62 61 72 28 79 29 20 7b .. def bar(y) {
33f0: 20 69 66 28 79 3c 31 29 20 7b 30 7d 20 65 6c 73 if(y<1) {0} els
3400: 65 20 7b 62 61 72 28 30 29 7d 20 7d 3b 0d 0a 20 e {bar(0)} };..
3410: 20 62 61 72 28 31 29 0d 0a 7d 3b 20 66 6f 6f 28 bar(1)..}; foo(
3420: 29 60 29 20 29 3b 0d 0a 7d 0d 0a 2a 2f 0d 0a )`) );..}..*/..