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 20 5b 74 6f 64 6f 5d 20 6d 6f 76 ...// [todo] mov
0140: 65 20 74 6f 20 76 61 6c 75 65 2e 64 0d 0a 0d 0a e to value.d....
0150: 46 75 6e 56 61 6c 75 65 20 6e 61 74 69 76 65 66 FunValue nativef
0160: 28 56 61 6c 75 65 20 64 65 6c 65 67 61 74 65 28 (Value delegate(
0170: 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 immutable LexPos
0180: 69 74 69 6f 6e 20 70 6f 73 2c 20 4c 61 79 65 72 ition pos, Layer
0190: 20 6c 61 79 2c 20 56 61 6c 75 65 5b 5d 20 61 72 lay, Value[] ar
01a0: 67 73 29 20 64 67 29 0d 0a 7b 0d 0a 09 72 65 74 gs) dg)..{...ret
01b0: 75 72 6e 20 6e 65 77 20 46 75 6e 56 61 6c 75 65 urn new FunValue
01c0: 28 64 67 29 3b 0d 0a 7d 0d 0a 0d 0a 46 75 6e 56 (dg);..}....FunV
01d0: 61 6c 75 65 20 6e 61 74 69 76 65 28 52 2c 54 2e alue native(R,T.
01e0: 2e 2e 29 28 52 20 64 65 6c 65 67 61 74 65 20 28 ..)(R delegate (
01f0: 54 29 20 64 67 29 0d 0a 7b 0d 0a 09 72 65 74 75 T) dg)..{...retu
0200: 72 6e 20 6e 61 74 69 76 65 66 28 20 64 65 6c 65 rn nativef( dele
0210: 67 61 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 74 gate Value(immut
0220: 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e able LexPosition
0230: 20 70 6f 73 2c 20 4c 61 79 65 72 20 6c 61 79 2c pos, Layer lay,
0240: 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 29 20 7b Value[] args) {
0250: 0d 0a 09 09 69 66 28 20 6c 61 79 20 21 3d 20 22 ....if( lay != "
0260: 40 76 22 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 @v" ).....throw
0270: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
0280: 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 6f 6e 6c eption(pos, "onl
0290: 79 20 40 76 20 6c 61 79 65 72 20 63 61 6e 20 63 y @v layer can c
02a0: 61 6c 6c 20 6e 61 74 69 76 65 20 66 75 6e 63 74 all native funct
02b0: 69 6f 6e 22 29 3b 0d 0a 09 09 69 66 28 20 54 2e ion");....if( T.
02c0: 6c 65 6e 67 74 68 20 21 3d 20 61 72 67 73 2e 6c length != args.l
02d0: 65 6e 67 74 68 20 29 0d 0a 09 09 09 74 68 72 6f ength ).....thro
02e0: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 w genex!RuntimeE
02f0: 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 61 xception(pos, "a
0300: 72 67 75 6d 65 6e 74 20 6e 75 6d 62 65 72 20 6d rgument number m
0310: 69 73 6d 61 74 63 68 21 22 29 3b 0d 0a 09 09 54 ismatch!");....T
0320: 20 74 79 70 65 64 5f 61 72 67 73 3b 0d 0a 09 09 typed_args;....
0330: 66 6f 72 65 61 63 68 28 69 2c 20 54 69 3b 20 54 foreach(i, Ti; T
0340: 29 0d 0a 09 09 7b 0d 0a 09 09 09 74 79 70 65 64 )....{.....typed
0350: 5f 61 72 67 73 5b 69 5d 20 3d 20 63 61 73 74 28 _args[i] = cast(
0360: 54 69 29 20 61 72 67 73 5b 69 5d 3b 0d 0a 09 09 Ti) args[i];....
0370: 09 69 66 28 20 74 79 70 65 64 5f 61 72 67 73 5b .if( typed_args[
0380: 69 5d 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 i] is null )....
0390: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 ..throw genex!Ru
03a0: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 ntimeException(p
03b0: 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 74 79 70 os, sprintf!"typ
03c0: 65 20 6d 69 73 6d 61 74 63 68 20 6f 6e 20 74 68 e mismatch on th
03d0: 65 20 61 72 67 75 6d 65 6e 74 20 25 64 22 28 69 e argument %d"(i
03e0: 2b 31 29 29 3b 0d 0a 09 09 7d 0d 0a 09 09 74 72 +1));....}....tr
03f0: 79 20 7b 0d 0a 09 09 09 72 65 74 75 72 6e 20 64 y {.....return d
0400: 67 28 74 79 70 65 64 5f 61 72 67 73 29 3b 0d 0a g(typed_args);..
0410: 09 09 7d 20 63 61 74 63 68 28 20 52 75 6e 74 69 ..} catch( Runti
0420: 6d 65 45 78 63 65 70 74 69 6f 6e 20 65 20 29 20 meException e )
0430: 7b 0d 0a 09 09 09 74 68 72 6f 77 20 65 2e 70 6f {.....throw e.po
0440: 73 20 69 73 20 6e 75 6c 6c 20 3f 20 6e 65 77 20 s is null ? new
0450: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
0460: 28 70 6f 73 2c 20 65 2e 6d 73 67 2c 20 65 2e 66 (pos, e.msg, e.f
0470: 69 6c 65 2c 20 65 2e 6c 69 6e 65 29 20 3a 20 65 ile, e.line) : e
0480: 3b 0d 0a 09 09 7d 0d 0a 09 7d 29 3b 0d 0a 7d 0d ;....}...});..}.
0490: 0a 0d 0a 2f 2f 2f 0a 54 61 62 6c 65 20 63 72 65 ...///.Table cre
04a0: 61 74 65 47 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 ateGlobalContext
04b0: 28 29 0a 7b 0d 0a 09 61 75 74 6f 20 63 74 78 20 ().{...auto ctx
04c0: 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 63 = new Table;...c
04d0: 74 78 2e 73 65 74 28 22 2b 22 2c 20 22 40 76 22 tx.set("+", "@v"
04e0: 2c 20 6e 61 74 69 76 65 28 20 28 49 6e 74 56 61 , native( (IntVa
04f0: 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 61 6c 75 lue lhs, IntValu
0500: 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 6e 65 e rhs){return ne
0510: 77 20 49 6e 74 56 61 6c 75 65 28 6c 68 73 2e 64 w IntValue(lhs.d
0520: 61 74 61 20 2b 20 72 68 73 2e 64 61 74 61 29 3b ata + rhs.data);
0530: 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 } ));...ctx.set(
0540: 22 2d 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 76 "-", "@v", nativ
0550: 65 28 20 28 49 6e 74 56 61 6c 75 65 20 6c 68 73 e( (IntValue lhs
0560: 2c 20 49 6e 74 56 61 6c 75 65 20 72 68 73 29 7b , IntValue rhs){
0570: 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 return new IntVa
0580: 6c 75 65 28 6c 68 73 2e 64 61 74 61 20 2d 20 72 lue(lhs.data - r
0590: 68 73 2e 64 61 74 61 29 3b 7d 20 29 29 3b 0d 0a hs.data);} ));..
05a0: 09 63 74 78 2e 73 65 74 28 22 2a 22 2c 20 22 40 .ctx.set("*", "@
05b0: 76 22 2c 20 6e 61 74 69 76 65 28 20 28 49 6e 74 v", native( (Int
05c0: 56 61 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 61 Value lhs, IntVa
05d0: 6c 75 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 lue rhs){return
05e0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 6c 68 73 new IntValue(lhs
05f0: 2e 64 61 74 61 20 2a 20 72 68 73 2e 64 61 74 61 .data * rhs.data
0600: 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 );} ));...ctx.se
0610: 74 28 22 2f 22 2c 20 22 40 76 22 2c 20 6e 61 74 t("/", "@v", nat
0620: 69 76 65 28 20 28 49 6e 74 56 61 6c 75 65 20 6c ive( (IntValue l
0630: 68 73 2c 20 49 6e 74 56 61 6c 75 65 20 72 68 73 hs, IntValue rhs
0640: 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 ){return new Int
0650: 56 61 6c 75 65 28 6c 68 73 2e 64 61 74 61 20 2f Value(lhs.data /
0660: 20 72 68 73 2e 64 61 74 61 29 3b 7d 20 29 29 3b rhs.data);} ));
0670: 0d 0a 09 63 74 78 2e 73 65 74 28 22 25 22 2c 20 ...ctx.set("%",
0680: 22 40 76 22 2c 20 6e 61 74 69 76 65 28 20 28 49 "@v", native( (I
0690: 6e 74 56 61 6c 75 65 20 6c 68 73 2c 20 49 6e 74 ntValue lhs, Int
06a0: 56 61 6c 75 65 20 72 68 73 29 7b 72 65 74 75 72 Value rhs){retur
06b0: 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 6c n new IntValue(l
06c0: 68 73 2e 64 61 74 61 20 25 20 72 68 73 2e 64 61 hs.data % rhs.da
06d0: 74 61 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e ta);} ));...ctx.
06e0: 73 65 74 28 22 7c 7c 22 2c 20 22 40 76 22 2c 20 set("||", "@v",
06f0: 6e 61 74 69 76 65 28 20 28 49 6e 74 56 61 6c 75 native( (IntValu
0700: 65 20 6c 68 73 2c 20 49 6e 74 56 61 6c 75 65 20 e lhs, IntValue
0710: 72 68 73 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 rhs){return new
0720: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
0730: 28 6c 68 73 2e 64 61 74 61 21 3d 30 29 20 7c 7c (lhs.data!=0) ||
0740: 20 28 72 68 73 2e 64 61 74 61 21 3d 30 29 20 3f (rhs.data!=0) ?
0750: 20 31 3a 30 29 29 3b 7d 20 29 29 3b 0d 0a 09 63 1:0));} ));...c
0760: 74 78 2e 73 65 74 28 22 26 26 22 2c 20 22 40 76 tx.set("&&", "@v
0770: 22 2c 20 6e 61 74 69 76 65 28 20 28 49 6e 74 56 ", native( (IntV
0780: 61 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 61 6c alue lhs, IntVal
0790: 75 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 6e ue rhs){return n
07a0: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
07b0: 6e 74 28 28 6c 68 73 2e 64 61 74 61 21 3d 30 29 nt((lhs.data!=0)
07c0: 20 26 26 20 28 72 68 73 2e 64 61 74 61 21 3d 30 && (rhs.data!=0
07d0: 29 20 3f 20 31 3a 30 29 29 3b 7d 20 29 29 3b 0d ) ? 1:0));} ));.
07e0: 0a 09 63 74 78 2e 73 65 74 28 22 3c 22 2c 20 22 ..ctx.set("<", "
07f0: 40 76 22 2c 20 6e 61 74 69 76 65 28 20 28 56 61 @v", native( (Va
0800: 6c 75 65 20 6c 68 73 2c 20 56 61 6c 75 65 20 72 lue lhs, Value r
0810: 68 73 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 hs){return new I
0820: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 6c ntValue(BigInt(l
0830: 68 73 20 3c 20 72 68 73 20 3f 20 31 3a 20 30 29 hs < rhs ? 1: 0)
0840: 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 );} ));...ctx.se
0850: 74 28 22 3e 22 2c 20 22 40 76 22 2c 20 6e 61 74 t(">", "@v", nat
0860: 69 76 65 28 20 28 56 61 6c 75 65 20 6c 68 73 2c ive( (Value lhs,
0870: 20 56 61 6c 75 65 20 72 68 73 29 7b 72 65 74 75 Value rhs){retu
0880: 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 rn new IntValue(
0890: 42 69 67 49 6e 74 28 6c 68 73 20 3e 20 72 68 73 BigInt(lhs > rhs
08a0: 20 3f 20 31 3a 20 30 29 29 3b 7d 20 29 29 3b 0d ? 1: 0));} ));.
08b0: 0a 09 63 74 78 2e 73 65 74 28 22 3c 3d 22 2c 20 ..ctx.set("<=",
08c0: 22 40 76 22 2c 20 6e 61 74 69 76 65 28 20 28 56 "@v", native( (V
08d0: 61 6c 75 65 20 6c 68 73 2c 20 56 61 6c 75 65 20 alue lhs, Value
08e0: 72 68 73 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 rhs){return new
08f0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
0900: 6c 68 73 20 3c 3d 20 72 68 73 20 3f 20 31 3a 20 lhs <= rhs ? 1:
0910: 30 29 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 0));} ));...ctx.
0920: 73 65 74 28 22 3e 3d 22 2c 20 22 40 76 22 2c 20 set(">=", "@v",
0930: 6e 61 74 69 76 65 28 20 28 56 61 6c 75 65 20 6c native( (Value l
0940: 68 73 2c 20 56 61 6c 75 65 20 72 68 73 29 7b 72 hs, Value rhs){r
0950: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c eturn new IntVal
0960: 75 65 28 42 69 67 49 6e 74 28 6c 68 73 20 3e 3d ue(BigInt(lhs >=
0970: 20 72 68 73 20 3f 20 31 3a 20 30 29 29 3b 7d 20 rhs ? 1: 0));}
0980: 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 3d ));...ctx.set("=
0990: 3d 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 76 65 =", "@v", native
09a0: 28 20 28 56 61 6c 75 65 20 6c 68 73 2c 20 56 61 ( (Value lhs, Va
09b0: 6c 75 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 lue rhs){return
09c0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
09d0: 49 6e 74 28 6c 68 73 20 3d 3d 20 72 68 73 20 3f Int(lhs == rhs ?
09e0: 20 31 3a 20 30 29 29 3b 7d 20 29 29 3b 0d 0a 09 1: 0));} ));...
09f0: 63 74 78 2e 73 65 74 28 22 21 3d 22 2c 20 22 40 ctx.set("!=", "@
0a00: 76 22 2c 20 6e 61 74 69 76 65 28 20 28 56 61 6c v", native( (Val
0a10: 75 65 20 6c 68 73 2c 20 56 61 6c 75 65 20 72 68 ue lhs, Value rh
0a20: 73 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 6e s){return new In
0a30: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 6c 68 tValue(BigInt(lh
0a40: 73 20 21 3d 20 72 68 73 20 3f 20 31 3a 20 30 29 s != rhs ? 1: 0)
0a50: 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 );} ));...ctx.se
0a60: 74 28 22 70 72 69 6e 74 22 2c 20 22 40 76 22 2c t("print", "@v",
0a70: 20 6e 65 77 20 46 75 6e 56 61 6c 75 65 28 64 65 new FunValue(de
0a80: 6c 65 67 61 74 65 20 56 61 6c 75 65 28 69 6d 6d legate Value(imm
0a90: 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 utable LexPositi
0aa0: 6f 6e 20 70 6f 73 2c 20 4c 61 79 65 72 20 6c 61 on pos, Layer la
0ab0: 79 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 29 y, Value[] args)
0ac0: 7b 0a 09 09 66 6f 72 65 61 63 68 28 61 3b 20 61 {...foreach(a; a
0ad0: 72 67 73 29 0a 09 09 09 77 72 69 74 65 28 61 29 rgs)....write(a)
0ae0: 3b 0a 09 09 77 72 69 74 65 6c 6e 28 22 22 29 3b ;...writeln("");
0af0: 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 6e ...return new In
0b00: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 37 tValue(BigInt(17
0b10: 38 29 29 3b 0a 09 7d 29 29 3b 0a 09 63 74 78 2e 8));..}));..ctx.
0b20: 73 65 74 28 22 69 66 22 2c 20 22 40 76 22 2c 20 set("if", "@v",
0b30: 6e 65 77 20 46 75 6e 56 61 6c 75 65 28 64 65 6c new FunValue(del
0b40: 65 67 61 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 egate Value(immu
0b50: 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f table LexPositio
0b60: 6e 20 70 6f 73 2c 20 4c 61 79 65 72 20 6c 61 79 n pos, Layer lay
0b70: 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 29 7b , Value[] args){
0b80: 0a 09 09 69 66 28 20 61 72 67 73 2e 6c 65 6e 67 ...if( args.leng
0b90: 74 68 20 21 3d 20 33 20 29 0a 09 09 09 74 68 72 th != 3 )....thr
0ba0: 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 ow genex!Runtime
0bb0: 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 Exception(pos, "
0bc0: 69 66 20 74 61 6b 65 73 20 74 68 72 65 65 20 61 if takes three a
0bd0: 72 67 75 6d 65 6e 74 73 21 21 22 29 3b 0a 09 09 rguments!!");...
0be0: 69 66 28 20 61 75 74 6f 20 78 20 3d 20 63 61 73 if( auto x = cas
0bf0: 74 28 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b t(IntValue)args[
0c00: 30 5d 20 29 0a 09 09 69 66 28 20 61 75 74 6f 20 0] )...if( auto
0c10: 66 74 20 3d 20 63 61 73 74 28 46 75 6e 56 61 6c ft = cast(FunVal
0c20: 75 65 29 61 72 67 73 5b 31 5d 20 29 0a 09 09 69 ue)args[1] )...i
0c30: 66 28 20 61 75 74 6f 20 66 65 20 3d 20 63 61 73 f( auto fe = cas
0c40: 74 28 46 75 6e 56 61 6c 75 65 29 61 72 67 73 5b t(FunValue)args[
0c50: 32 5d 20 29 0a 09 09 09 72 65 74 75 72 6e 20 28 2] )....return (
0c60: 78 2e 64 61 74 61 20 3d 3d 20 30 20 3f 20 66 65 x.data == 0 ? fe
0c70: 20 3a 20 66 74 29 2e 63 61 6c 6c 28 70 6f 73 2c : ft).call(pos,
0c80: 6c 61 79 2c 5b 5d 29 3b 0a 09 09 74 68 72 6f 77 lay,[]);...throw
0c90: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
0ca0: 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 74 79 ception(pos, "ty
0cb0: 70 65 20 6d 69 73 6d 61 74 63 68 20 69 6e 20 69 pe mismatch in i
0cc0: 66 22 29 3b 0d 0a 09 7d 29 29 3b 0a 09 63 74 78 f");...}));..ctx
0cd0: 2e 73 65 74 28 22 5f 69 73 69 6e 74 22 2c 20 22 .set("_isint", "
0ce0: 40 76 22 2c 20 6e 61 74 69 76 65 28 20 28 56 61 @v", native( (Va
0cf0: 6c 75 65 20 76 29 7b 72 65 74 75 72 6e 20 6e 65 lue v){return ne
0d00: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
0d10: 74 28 63 61 73 74 28 49 6e 74 56 61 6c 75 65 29 t(cast(IntValue)
0d20: 76 20 69 73 20 6e 75 6c 6c 20 3f 20 30 20 3a 20 v is null ? 0 :
0d30: 31 29 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 1));} ));...ctx.
0d40: 73 65 74 28 22 5f 69 73 73 74 72 22 2c 20 22 40 set("_isstr", "@
0d50: 76 22 2c 20 6e 61 74 69 76 65 28 20 28 56 61 6c v", native( (Val
0d60: 75 65 20 76 29 7b 72 65 74 75 72 6e 20 6e 65 77 ue v){return new
0d70: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
0d80: 28 63 61 73 74 28 53 74 72 56 61 6c 75 65 29 76 (cast(StrValue)v
0d90: 20 69 73 20 6e 75 6c 6c 20 3f 20 30 20 3a 20 31 is null ? 0 : 1
0da0: 29 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 ));} ));...ctx.s
0db0: 65 74 28 22 5f 69 73 66 75 6e 22 2c 20 22 40 76 et("_isfun", "@v
0dc0: 22 2c 20 6e 61 74 69 76 65 28 20 28 56 61 6c 75 ", native( (Valu
0dd0: 65 20 76 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 e v){return new
0de0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
0df0: 63 61 73 74 28 46 75 6e 56 61 6c 75 65 29 76 20 cast(FunValue)v
0e00: 69 73 20 6e 75 6c 6c 20 3f 20 30 20 3a 20 31 29 is null ? 0 : 1)
0e10: 29 3b 7d 20 29 29 3b 0d 0a 09 72 65 74 75 72 6e );} ));...return
0e20: 20 63 74 78 3b 0a 7d 0a 0a 2f 2f 2f 20 45 6e 74 ctx;.}../// Ent
0e30: 72 79 20 70 6f 69 6e 74 20 6f 66 20 74 68 69 73 ry point of this
0e40: 20 6d 6f 64 75 6c 65 0d 0a 0d 0a 54 75 70 6c 65 module....Tuple
0e50: 21 28 56 61 6c 75 65 2c 22 76 61 6c 22 2c 54 61 !(Value,"val",Ta
0e60: 62 6c 65 2c 22 63 74 78 22 29 20 65 76 61 6c 53 ble,"ctx") evalS
0e70: 74 72 69 6e 67 28 53 2c 54 2e 2e 2e 29 28 53 20 tring(S,T...)(S
0e80: 73 74 72 2c 20 54 20 66 6e 5f 6c 6e 5f 63 6e 29 str, T fn_ln_cn)
0e90: 0a 7b 0a 09 72 65 74 75 72 6e 20 65 76 61 6c 28 .{..return eval(
0ea0: 20 70 6f 6c 65 6d 79 2e 70 61 72 73 65 2e 70 61 polemy.parse.pa
0eb0: 72 73 65 53 74 72 69 6e 67 28 73 74 72 2c 20 66 rseString(str, f
0ec0: 6e 5f 6c 6e 5f 63 6e 29 20 29 3b 0a 7d 0a 0a 2f n_ln_cn) );.}../
0ed0: 2f 2f 20 45 6e 74 72 79 20 70 6f 69 6e 74 20 6f // Entry point o
0ee0: 66 20 74 68 69 73 20 6d 6f 64 75 6c 65 0d 0a 0d f this module...
0ef0: 0a 54 75 70 6c 65 21 28 56 61 6c 75 65 2c 22 76 .Tuple!(Value,"v
0f00: 61 6c 22 2c 54 61 62 6c 65 2c 22 63 74 78 22 29 al",Table,"ctx")
0f10: 20 65 76 61 6c 46 69 6c 65 28 53 2c 20 54 2e 2e evalFile(S, T..
0f20: 2e 29 28 53 20 66 69 6c 65 6e 61 6d 65 2c 20 54 .)(S filename, T
0f30: 20 6c 6e 5f 63 6e 29 0a 7b 0a 09 72 65 74 75 72 ln_cn).{..retur
0f40: 6e 20 65 76 61 6c 28 20 70 6f 6c 65 6d 79 2e 70 n eval( polemy.p
0f50: 61 72 73 65 2e 70 61 72 73 65 46 69 6c 65 28 66 arse.parseFile(f
0f60: 69 6c 65 6e 61 6d 65 2c 20 6c 6e 5f 63 6e 29 20 ilename, ln_cn)
0f70: 29 3b 0a 7d 0a 0a 2f 2f 2f 20 45 6e 74 72 79 20 );.}../// Entry
0f80: 70 6f 69 6e 74 20 6f 66 20 74 68 69 73 20 6d 6f point of this mo
0f90: 64 75 6c 65 0d 0a 0d 0a 54 75 70 6c 65 21 28 56 dule....Tuple!(V
0fa0: 61 6c 75 65 2c 22 76 61 6c 22 2c 54 61 62 6c 65 alue,"val",Table
0fb0: 2c 22 63 74 78 22 29 20 65 76 61 6c 28 41 53 54 ,"ctx") eval(AST
0fc0: 20 65 29 0a 7b 0a 09 54 61 62 6c 65 20 63 74 78 e).{..Table ctx
0fd0: 20 3d 20 63 72 65 61 74 65 47 6c 6f 62 61 6c 43 = createGlobalC
0fe0: 6f 6e 74 65 78 74 28 29 3b 0a 09 72 65 74 75 72 ontext();..retur
0ff0: 6e 20 74 79 70 65 6f 66 28 72 65 74 75 72 6e 29 n typeof(return)
1000: 28 65 76 61 6c 28 65 2c 20 63 74 78 2c 20 66 61 (eval(e, ctx, fa
1010: 6c 73 65 2c 20 22 40 76 22 29 2c 20 63 74 78 29 lse, "@v"), ctx)
1020: 3b 0a 7d 0a 0a 2f 2f 2f 20 45 6e 74 72 79 20 70 ;.}../// Entry p
1030: 6f 69 6e 74 20 6f 66 20 74 68 69 73 20 6d 6f 64 oint of this mod
1040: 75 6c 65 0d 0a 2f 2f 2f 20 49 66 20 73 70 6c 69 ule../// If spli
1050: 74 43 74 78 20 3d 20 74 72 75 65 2c 20 74 68 65 tCtx = true, the
1060: 6e 20 69 6e 6e 65 72 20 76 61 72 69 61 62 6c 65 n inner variable
1070: 20 64 65 63 6c 61 72 61 74 69 6f 6e 20 64 6f 20 declaration do
1080: 6e 6f 74 20 6f 76 65 72 77 72 69 74 65 20 63 74 not overwrite ct
1090: 78 2e 0d 0a 2f 2f 2f 20 6c 61 79 20 69 73 20 74 x.../// lay is t
10a0: 68 65 20 6c 61 79 65 72 20 49 44 20 66 6f 72 20 he layer ID for
10b0: 65 76 61 6c 75 61 74 69 6f 6e 20 28 73 74 61 6e evaluation (stan
10c0: 64 61 72 64 20 76 61 6c 75 65 20 73 65 6d 61 6e dard value seman
10d0: 74 69 63 73 20 75 73 65 73 20 22 40 76 22 29 2e tics uses "@v").
10e0: 0d 0a 0d 0a 56 61 6c 75 65 20 65 76 61 6c 28 41 ....Value eval(A
10f0: 53 54 20 65 2c 20 54 61 62 6c 65 20 63 74 78 2c ST e, Table ctx,
1100: 20 62 6f 6f 6c 20 73 70 6c 69 74 43 74 78 2c 20 bool splitCtx,
1110: 4c 61 79 65 72 20 6c 61 79 29 0a 7b 0d 0a 09 72 Layer lay).{...r
1120: 65 74 75 72 6e 20 65 2e 6d 61 74 63 68 28 0a 09 eturn e.match(..
1130: 09 28 53 74 72 4c 69 74 65 72 61 6c 20 65 29 0a .(StrLiteral e).
1140: 09 09 7b 0d 0a 09 09 09 56 61 6c 75 65 20 76 20 ..{.....Value v
1150: 3d 20 6e 65 77 20 53 74 72 56 61 6c 75 65 28 65 = new StrValue(e
1160: 2e 64 61 74 61 29 3b 0d 0a 09 09 09 69 66 28 20 .data);.....if(
1170: 6c 61 79 20 3d 3d 20 22 40 76 22 20 29 0a 09 09 lay == "@v" )...
1180: 09 09 72 65 74 75 72 6e 20 76 3b 0d 0a 09 09 09 ..return v;.....
1190: 65 6c 73 65 20 2f 2f 20 72 69 73 65 0d 0a 09 09 else // rise....
11a0: 09 09 72 65 74 75 72 6e 20 28 63 61 73 74 28 46 ..return (cast(F
11b0: 75 6e 56 61 6c 75 65 29 63 74 78 2e 67 65 74 28 unValue)ctx.get(
11c0: 6c 61 79 2c 20 22 28 73 79 73 74 65 6d 29 22 2c lay, "(system)",
11d0: 20 65 2e 70 6f 73 29 29 2e 63 61 6c 6c 28 65 2e e.pos)).call(e.
11e0: 70 6f 73 2c 20 22 40 76 22 2c 20 5b 76 5d 29 3b pos, "@v", [v]);
11f0: 0a 09 09 7d 2c 0a 09 09 28 49 6e 74 4c 69 74 65 ...},...(IntLite
1200: 72 61 6c 20 65 29 0a 09 09 7b 0a 09 09 09 56 61 ral e)...{....Va
1210: 6c 75 65 20 76 20 3d 20 6e 65 77 20 49 6e 74 56 lue v = new IntV
1220: 61 6c 75 65 28 65 2e 64 61 74 61 29 3b 0d 0a 09 alue(e.data);...
1230: 09 09 69 66 28 20 6c 61 79 20 3d 3d 20 22 40 76 ..if( lay == "@v
1240: 22 20 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 " )......return
1250: 76 3b 0a 09 09 09 65 6c 73 65 20 2f 2f 20 72 69 v;....else // ri
1260: 73 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 28 se......return (
1270: 63 61 73 74 28 46 75 6e 56 61 6c 75 65 29 63 74 cast(FunValue)ct
1280: 78 2e 67 65 74 28 6c 61 79 2c 20 22 28 73 79 73 x.get(lay, "(sys
1290: 74 65 6d 29 22 2c 20 65 2e 70 6f 73 29 29 2e 63 tem)", e.pos)).c
12a0: 61 6c 6c 28 65 2e 70 6f 73 2c 20 22 40 76 22 2c all(e.pos, "@v",
12b0: 20 5b 76 5d 29 3b 0d 0a 09 09 7d 2c 0a 09 09 28 [v]);....},...(
12c0: 56 61 72 45 78 70 72 65 73 73 69 6f 6e 20 65 29 VarExpression e)
12d0: 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 28 20 6c 61 ....{.....if( la
12e0: 79 20 3d 3d 20 22 40 76 22 20 29 0d 0a 09 09 09 y == "@v" ).....
12f0: 09 72 65 74 75 72 6e 20 63 74 78 2e 67 65 74 28 .return ctx.get(
1300: 65 2e 76 61 72 2c 20 6c 61 79 2c 20 65 2e 70 6f e.var, lay, e.po
1310: 73 29 3b 0d 0a 09 09 09 74 72 79 20 7b 0d 0a 09 s);.....try {...
1320: 09 09 09 72 65 74 75 72 6e 20 63 74 78 2e 67 65 ...return ctx.ge
1330: 74 28 65 2e 76 61 72 2c 20 6c 61 79 2c 20 65 2e t(e.var, lay, e.
1340: 70 6f 73 29 3b 0d 0a 09 09 09 7d 20 63 61 74 63 pos);.....} catc
1350: 68 28 20 54 68 72 6f 77 61 62 6c 65 20 29 20 7b h( Throwable ) {
1360: 20 2f 2f 20 5b 54 4f 44 4f 5d 20 6d 6f 72 65 20 // [TODO] more
1370: 70 72 65 63 69 73 65 2e 2e 2e 0d 0a 09 09 09 09 precise.........
1380: 2f 2f 20 72 69 73 65 20 66 72 6f 6d 20 40 76 0d // rise from @v.
1390: 0a 09 09 09 09 72 65 74 75 72 6e 20 28 63 61 73 .....return (cas
13a0: 74 28 46 75 6e 56 61 6c 75 65 29 63 74 78 2e 67 t(FunValue)ctx.g
13b0: 65 74 28 6c 61 79 2c 20 22 28 73 79 73 74 65 6d et(lay, "(system
13c0: 29 22 2c 20 65 2e 70 6f 73 29 29 2e 63 61 6c 6c )", e.pos)).call
13d0: 28 65 2e 70 6f 73 2c 20 22 40 76 22 2c 20 0d 0a (e.pos, "@v", ..
13e0: 09 09 09 09 09 5b 63 74 78 2e 67 65 74 28 65 2e .....[ctx.get(e.
13f0: 76 61 72 2c 20 22 40 76 22 2c 20 65 2e 70 6f 73 var, "@v", e.pos
1400: 29 5d 0d 0a 09 09 09 09 29 3b 0d 0a 09 09 09 7d )]......);.....}
1410: 0d 0a 09 09 7d 2c 0d 0a 09 09 28 4c 61 79 65 72 ....},....(Layer
1420: 65 64 45 78 70 72 65 73 73 69 6f 6e 20 65 29 0d edExpression e).
1430: 0a 09 09 7b 0d 0a 09 09 09 72 65 74 75 72 6e 20 ...{.....return
1440: 65 76 61 6c 28 65 2e 65 78 70 72 2c 20 63 74 78 eval(e.expr, ctx
1450: 2c 20 66 61 6c 73 65 2c 20 65 2e 6c 61 79 29 3b , false, e.lay);
1460: 0d 0a 09 09 7d 2c 0d 0a 09 09 28 4c 65 74 45 78 ....},....(LetEx
1470: 70 72 65 73 73 69 6f 6e 20 65 29 0d 0a 09 09 7b pression e)....{
1480: 0d 0a 09 09 09 2f 2f 20 66 6f 72 20 6c 65 74 72 .....// for letr
1490: 65 63 2c 20 77 65 20 6e 65 65 64 20 74 68 69 73 ec, we need this
14a0: 2c 20 62 75 74 20 73 68 6f 75 6c 64 20 61 76 6f , but should avo
14b0: 69 64 20 6f 76 65 72 77 72 69 74 69 6e 67 3f 3f id overwriting??
14c0: 3f 3f 0d 0a 09 09 09 2f 2f 20 63 74 78 2e 73 65 ??.....// ctx.se
14d0: 74 28 65 2e 76 61 72 2c 20 22 40 76 22 2c 20 6e t(e.var, "@v", n
14e0: 65 77 20 55 6e 64 65 66 69 6e 65 64 56 61 6c 75 ew UndefinedValu
14f0: 65 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 09 09 56 e, e.pos);.....V
1500: 61 6c 75 65 20 76 20 3d 20 65 76 61 6c 28 65 2e alue v = eval(e.
1510: 69 6e 69 74 2c 20 63 74 78 2c 20 74 72 75 65 2c init, ctx, true,
1520: 20 6c 61 79 29 3b 0d 0a 09 09 09 69 66 28 73 70 lay);.....if(sp
1530: 6c 69 74 43 74 78 29 0d 0a 09 09 09 09 63 74 78 litCtx)......ctx
1540: 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 74 78 = new Table(ctx
1550: 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 , Table.Kind.Not
1560: 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a PropagateSet);..
1570: 09 09 09 63 74 78 2e 73 65 74 28 65 2e 76 61 72 ...ctx.set(e.var
1580: 2c 20 28 65 2e 6c 61 79 65 72 2e 6c 65 6e 67 74 , (e.layer.lengt
1590: 68 20 3f 20 65 2e 6c 61 79 65 72 20 3a 20 6c 61 h ? e.layer : la
15a0: 79 29 2c 20 76 2c 20 65 2e 70 6f 73 29 3b 0d 0a y), v, e.pos);..
15b0: 09 09 09 72 65 74 75 72 6e 20 65 76 61 6c 28 65 ...return eval(e
15c0: 2e 65 78 70 72 2c 20 63 74 78 2c 20 66 61 6c 73 .expr, ctx, fals
15d0: 65 2c 20 6c 61 79 29 3b 0d 0a 09 09 7d 2c 0d 0a e, lay);....},..
15e0: 09 09 28 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 ..(FuncallExpres
15f0: 73 69 6f 6e 20 65 29 0a 09 09 7b 0a 09 09 09 56 sion e)...{....V
1600: 61 6c 75 65 20 5f 66 20 3d 20 65 76 61 6c 28 65 alue _f = eval(e
1610: 2e 66 75 6e 2c 20 63 74 78 2c 20 74 72 75 65 2c .fun, ctx, true,
1620: 20 6c 61 79 29 3b 0a 09 09 09 69 66 28 20 61 75 lay);....if( au
1630: 74 6f 20 66 20 3d 20 63 61 73 74 28 46 75 6e 56 to f = cast(FunV
1640: 61 6c 75 65 29 5f 66 20 29 20 7b 0a 09 09 09 09 alue)_f ) {.....
1650: 56 61 6c 75 65 5b 5d 20 61 72 67 73 3b 0a 09 09 Value[] args;...
1660: 09 09 66 6f 72 65 61 63 68 28 61 3b 20 65 2e 61 ..foreach(a; e.a
1670: 72 67 73 29 0a 09 09 09 09 09 61 72 67 73 20 7e rgs)......args ~
1680: 3d 20 65 76 61 6c 28 61 2c 20 63 74 78 2c 20 74 = eval(a, ctx, t
1690: 72 75 65 2c 20 6c 61 79 29 3b 0a 09 09 09 09 72 rue, lay);.....r
16a0: 65 74 75 72 6e 20 66 2e 63 61 6c 6c 28 65 2e 70 eturn f.call(e.p
16b0: 6f 73 2c 20 6c 61 79 2c 20 61 72 67 73 29 3b 0a os, lay, args);.
16c0: 09 09 09 7d 0d 0a 09 09 09 74 68 72 6f 77 20 67 ...}.....throw g
16d0: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
16e0: 70 74 69 6f 6e 28 65 2e 70 6f 73 2c 20 22 4e 6f ption(e.pos, "No
16f0: 6e 2d 66 75 6e 63 69 6f 6e 20 69 73 20 61 70 70 n-funcion is app
1700: 6c 69 65 64 22 29 3b 0a 09 09 7d 2c 0a 09 09 28 lied");...},...(
1710: 46 75 6e 4c 69 74 65 72 61 6c 20 65 29 0a 09 09 FunLiteral e)...
1720: 7b 0d 0a 09 09 09 2f 2f 20 66 75 6e 76 61 6c 75 {.....// funvalu
1730: 65 20 6e 65 65 64 20 6e 6f 74 20 62 65 20 72 69 e need not be ri
1740: 73 65 64 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 sed....return ne
1750: 77 20 46 75 6e 56 61 6c 75 65 28 64 65 6c 65 67 w FunValue(deleg
1760: 61 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 74 61 ate Value(immuta
1770: 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 ble LexPosition
1780: 70 6f 73 2c 20 73 74 72 69 6e 67 20 6c 61 79 2c pos, string lay,
1790: 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 29 7b 0a Value[] args){.
17a0: 09 09 09 09 69 66 28 20 65 2e 70 61 72 61 6d 73 ....if( e.params
17b0: 2e 6c 65 6e 67 74 68 20 21 3d 20 61 72 67 73 2e .length != args.
17c0: 6c 65 6e 67 74 68 20 29 0a 09 09 09 09 09 74 68 length )......th
17d0: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
17e0: 65 45 78 63 65 70 74 69 6f 6e 28 65 2e 70 6f 73 eException(e.pos
17f0: 2c 20 73 70 72 69 6e 74 66 21 22 41 72 67 75 6d , sprintf!"Argum
1800: 65 6e 74 20 4e 75 6d 62 65 72 20 4d 69 73 6d 61 ent Number Misma
1810: 74 63 68 20 28 25 64 20 72 65 71 75 69 72 65 64 tch (%d required
1820: 20 62 75 74 20 25 64 20 67 69 76 65 6e 29 22 0a but %d given)".
1830: 09 09 09 09 09 09 28 65 2e 70 61 72 61 6d 73 2e ......(e.params.
1840: 6c 65 6e 67 74 68 2c 20 61 72 67 73 2e 6c 65 6e length, args.len
1850: 67 74 68 29 29 3b 0a 09 09 09 09 54 61 62 6c 65 gth));.....Table
1860: 20 63 74 78 4e 65 6f 20 3d 20 6e 65 77 20 54 61 ctxNeo = new Ta
1870: 62 6c 65 28 63 74 78 2c 20 54 61 62 6c 65 2e 4b ble(ctx, Table.K
1880: 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 61 74 65 ind.NotPropagate
1890: 53 65 74 29 3b 0a 09 09 09 09 66 6f 72 65 61 63 Set);.....foreac
18a0: 68 28 69 2c 70 3b 20 65 2e 70 61 72 61 6d 73 29 h(i,p; e.params)
18b0: 0a 09 09 09 09 09 63 74 78 4e 65 6f 2e 73 65 74 ......ctxNeo.set
18c0: 28 70 2e 6e 61 6d 65 2c 20 6c 61 79 2c 20 61 72 (p.name, lay, ar
18d0: 67 73 5b 69 5d 29 3b 0d 0a 09 09 09 09 72 65 74 gs[i]);......ret
18e0: 75 72 6e 20 65 76 61 6c 28 65 2e 66 75 6e 62 6f urn eval(e.funbo
18f0: 64 79 2c 20 63 74 78 4e 65 6f 2c 20 74 72 75 65 dy, ctxNeo, true
1900: 2c 20 6c 61 79 29 3b 0a 09 09 09 7d 29 3b 0a 09 , lay);....});..
1910: 09 7d 2c 0d 0a 09 09 64 65 6c 65 67 61 74 65 20 .},....delegate
1920: 56 61 6c 75 65 20 28 41 53 54 20 65 29 0d 0a 09 Value (AST e)...
1930: 09 7b 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 .{....throw gene
1940: 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 x!RuntimeExcepti
1950: 6f 6e 28 65 2e 70 6f 73 2c 20 73 70 72 69 6e 74 on(e.pos, sprint
1960: 66 21 22 55 6e 6b 6e 6f 77 6e 20 4b 69 6e 64 20 f!"Unknown Kind
1970: 6f 66 20 45 78 70 72 65 73 73 69 6f 6e 20 25 73 of Expression %s
1980: 22 28 74 79 70 65 69 64 28 65 29 29 29 3b 0d 0a "(typeid(e)));..
1990: 09 09 7d 0d 0a 09 29 3b 0a 7d 0a 0d 0a 75 6e 69 ..}...);.}...uni
19a0: 74 74 65 73 74 0a 7b 0d 0a 09 61 75 74 6f 20 72 ttest.{...auto r
19b0: 20 3d 20 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f = assert_nothro
19c0: 77 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 76 w( evalString(`v
19d0: 61 72 20 78 20 3d 20 32 31 3b 20 78 20 2b 20 78 ar x = 21; x + x
19e0: 2a 78 3b 60 29 20 29 3b 0a 09 61 73 73 65 72 74 *x;`) );..assert
19f0: 5f 65 71 28 20 72 2e 76 61 6c 2c 20 6e 65 77 20 _eq( r.val, new
1a00: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
1a10: 32 31 2b 32 31 2a 32 31 29 29 20 29 3b 0a 09 61 21+21*21)) );..a
1a20: 73 73 65 72 74 5f 65 71 28 20 72 2e 63 74 78 2e ssert_eq( r.ctx.
1a30: 67 65 74 28 22 78 22 2c 22 40 76 22 29 2c 20 6e get("x","@v"), n
1a40: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
1a50: 6e 74 28 32 31 29 29 20 29 3b 0a 09 61 73 73 65 nt(21)) );..asse
1a60: 72 74 5f 6e 6f 74 68 72 6f 77 28 20 72 2e 63 74 rt_nothrow( r.ct
1a70: 78 2e 67 65 74 28 22 78 22 2c 22 40 76 22 29 20 x.get("x","@v")
1a80: 29 3b 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 );..assert_throw
1a90: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
1aa0: 6e 28 20 72 2e 63 74 78 2e 67 65 74 28 22 79 22 n( r.ctx.get("y"
1ab0: 2c 22 40 76 22 29 20 29 3b 0a 7d 0a 75 6e 69 74 ,"@v") );.}.unit
1ac0: 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 72 test..{...auto r
1ad0: 20 3d 20 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f = assert_nothro
1ae0: 77 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 76 w( evalString(`v
1af0: 61 72 20 78 20 3d 20 32 31 3b 20 76 61 72 20 78 ar x = 21; var x
1b00: 20 3d 20 78 20 2b 20 78 2a 78 3b 60 29 20 29 3b = x + x*x;`) );
1b10: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 72 2e ...assert_eq( r.
1b20: 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 val, new IntValu
1b30: 65 28 42 69 67 49 6e 74 28 32 31 2b 32 31 2a 32 e(BigInt(21+21*2
1b40: 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 1)) );...assert_
1b50: 65 71 28 20 72 2e 63 74 78 2e 67 65 74 28 22 78 eq( r.ctx.get("x
1b60: 22 2c 22 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 ","@v"), new Int
1b70: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 32 31 2b Value(BigInt(21+
1b80: 32 31 2a 32 31 29 29 20 29 3b 0d 0a 09 61 73 73 21*21)) );...ass
1b90: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 72 2e 63 ert_nothrow( r.c
1ba0: 74 78 2e 67 65 74 28 22 78 22 2c 22 40 76 22 29 tx.get("x","@v")
1bb0: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 );...assert_thr
1bc0: 6f 77 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ow!RuntimeExcept
1bd0: 69 6f 6e 28 20 72 2e 63 74 78 2e 67 65 74 28 22 ion( r.ctx.get("
1be0: 79 22 2c 22 40 76 22 29 20 29 3b 0d 0a 7d 0d 0a y","@v") );..}..
1bf0: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 unittest..{...as
1c00: 73 65 72 74 5f 65 71 28 20 65 76 61 6c 53 74 72 sert_eq( evalStr
1c10: 69 6e 67 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 ing(`let x=1; le
1c20: 74 20 79 3d 28 6c 65 74 20 78 3d 32 29 3b 20 78 t y=(let x=2); x
1c30: 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 `).val, new IntV
1c40: 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 20 alue(BigInt(1))
1c50: 29 3b 20 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ); ...assert_eq(
1c60: 20 65 76 61 6c 53 74 72 69 6e 67 28 60 6c 65 74 evalString(`let
1c70: 20 78 3d 31 3b 20 6c 65 74 20 79 3d 28 6c 65 74 x=1; let y=(let
1c80: 20 78 3d 32 3b 66 75 6e 28 29 7b 78 7d 29 3b 20 x=2;fun(){x});
1c90: 79 28 29 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 y()`).val, new I
1ca0: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 32 ntValue(BigInt(2
1cb0: 29 29 20 29 3b 20 0d 0a 7d 0d 0a 75 6e 69 74 74 )) ); ..}..unitt
1cc0: 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 5f est..{...assert_
1cd0: 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 eq( evalString(`
1ce0: 40 61 20 78 3d 31 3b 20 40 62 20 78 3d 32 3b 20 @a x=1; @b x=2;
1cf0: 40 61 28 78 29 60 29 2e 76 61 6c 2c 20 6e 65 77 @a(x)`).val, new
1d00: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
1d10: 28 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 (1)) );...assert
1d20: 5f 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 _eq( evalString(
1d30: 60 40 61 20 78 3d 31 3b 20 40 62 20 78 3d 32 3b `@a x=1; @b x=2;
1d40: 20 40 62 28 78 29 60 29 2e 76 61 6c 2c 20 6e 65 @b(x)`).val, ne
1d50: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
1d60: 74 28 32 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 t(2)) );...asser
1d70: 74 5f 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 t_eq( evalString
1d80: 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 5f (`let x=1; let _
1d90: 20 3d 20 28 40 61 20 78 3d 32 3b 32 29 3b 20 78 = (@a x=2;2); x
1da0: 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 `).val, new IntV
1db0: 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 20 alue(BigInt(1))
1dc0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
1dd0: 77 21 54 68 72 6f 77 61 62 6c 65 28 20 65 76 61 w!Throwable( eva
1de0: 6c 53 74 72 69 6e 67 28 60 6c 65 74 20 78 3d 31 lString(`let x=1
1df0: 3b 20 6c 65 74 20 5f 20 3d 20 28 40 61 20 78 3d ; let _ = (@a x=
1e00: 32 3b 32 29 3b 20 40 61 28 78 29 60 29 20 29 3b 2;2); @a(x)`) );
1e10: 0d 0a 7d 0d 0a 0a 75 6e 69 74 74 65 73 74 0a 7b ..}...unittest.{
1e20: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 ..assert_eq( eva
1e30: 6c 53 74 72 69 6e 67 28 60 76 61 72 20 66 61 63 lString(`var fac
1e40: 20 3d 20 66 75 6e 28 78 29 7b 0a 09 09 69 66 28 = fun(x){...if(
1e50: 78 29 0a 09 09 09 7b 20 78 2a 66 61 63 28 78 2d x)....{ x*fac(x-
1e60: 31 29 3b 20 7d 0a 09 09 65 6c 73 65 0a 09 09 09 1); }...else....
1e70: 7b 20 31 3b 20 7d 3b 0a 09 7d 3b 0a 09 66 61 63 { 1; };..};..fac
1e80: 28 31 30 29 3b 60 29 2e 76 61 6c 2c 20 6e 65 77 (10);`).val, new
1e90: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
1ea0: 28 31 30 2a 39 2a 38 2a 35 30 34 30 29 29 29 3b (10*9*8*5040)));
1eb0: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 ..assert_eq( eva
1ec0: 6c 53 74 72 69 6e 67 28 60 76 61 72 20 66 69 62 lString(`var fib
1ed0: 20 3d 20 66 75 6e 28 78 29 7b 0a 09 09 69 66 28 = fun(x){...if(
1ee0: 78 3c 32 29 0a 09 09 09 7b 20 31 3b 20 7d 0a 09 x<2)....{ 1; }..
1ef0: 09 65 6c 73 65 0a 09 09 09 7b 20 66 69 62 28 78 .else....{ fib(x
1f00: 2d 31 29 20 2b 20 66 69 62 28 78 2d 32 29 3b 20 -1) + fib(x-2);
1f10: 7d 3b 0a 09 7d 3b 0a 09 66 69 62 28 31 30 29 3b };..};..fib(10);
1f20: 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 `).val, new IntV
1f30: 61 6c 75 65 28 42 69 67 49 6e 74 28 38 39 29 29 alue(BigInt(89))
1f40: 29 3b 0a 7d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d );.}...unittest.
1f50: 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f .{...assert_thro
1f60: 77 21 54 68 72 6f 77 61 62 6c 65 28 20 65 76 61 w!Throwable( eva
1f70: 6c 53 74 72 69 6e 67 28 60 40 40 73 28 78 29 7b lString(`@@s(x){
1f80: 78 7d 3b 20 40 73 20 22 2b 22 3d 66 75 6e 28 78 x}; @s "+"=fun(x
1f90: 2c 79 29 7b 78 2d 79 7d 3b 40 73 28 31 2b 32 29 ,y){x-y};@s(1+2)
1fa0: 60 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 `) );...assert_e
1fb0: 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 40 q( evalString(`@
1fc0: 40 73 28 78 29 7b 78 7d 3b 20 40 73 20 22 2b 22 @s(x){x}; @s "+"
1fd0: 3d 66 75 6e 28 78 2c 79 29 7b 78 2d 79 7d 3b 31 =fun(x,y){x-y};1
1fe0: 2b 32 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e +2`).val, new In
1ff0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 33 29 tValue(BigInt(3)
2000: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
2010: 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 40 40 ( evalString(`@@
2020: 73 28 78 29 7b 78 7d 3b 20 40 73 20 22 2b 22 3d s(x){x}; @s "+"=
2030: 66 75 6e 28 78 2c 79 29 7b 40 76 28 40 73 28 78 fun(x,y){@v(@s(x
2040: 29 2d 40 73 28 79 29 29 7d 3b 31 2b 32 60 29 2e )-@s(y))};1+2`).
2050: 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 val, new IntValu
2060: 65 28 42 69 67 49 6e 74 28 33 29 29 20 29 3b 0d e(BigInt(3)) );.
2070: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 ..assert_eq( eva
2080: 6c 53 74 72 69 6e 67 28 60 40 40 73 28 78 29 7b lString(`@@s(x){
2090: 78 7d 3b 20 40 73 20 22 2b 22 3d 66 75 6e 28 78 x}; @s "+"=fun(x
20a0: 2c 79 29 7b 40 76 28 40 73 28 78 29 2d 40 73 28 ,y){@v(@s(x)-@s(
20b0: 79 29 29 7d 3b 40 73 28 31 2b 32 29 60 29 2e 76 y))};@s(1+2)`).v
20c0: 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 al, new IntValue
20d0: 28 42 69 67 49 6e 74 28 2d 31 29 29 20 29 3b 0d (BigInt(-1)) );.
20e0: 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a .}....unittest..
20f0: 7b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 {...assert_eq( e
2100: 76 61 6c 53 74 72 69 6e 67 28 60 40 40 74 20 3d valString(`@@t =
2110: 20 66 75 6e 28 78 29 7b 78 2b 31 7d 3b 20 40 74 fun(x){x+1}; @t
2120: 28 31 32 33 29 60 29 2e 76 61 6c 2c 20 6e 65 77 (123)`).val, new
2130: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
2140: 28 31 32 34 29 29 20 29 3b 0d 0a 7d (124)) );..}