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: 29 29 3b 0d 0a 09 09 7d 0d 0a 09 09 74 72 79 20 ));....}....try
03f0: 7b 0d 0a 09 09 09 72 65 74 75 72 6e 20 64 67 28 {.....return dg(
0400: 74 79 70 65 64 5f 61 72 67 73 29 3b 0d 0a 09 09 typed_args);....
0410: 7d 20 63 61 74 63 68 28 20 52 75 6e 74 69 6d 65 } catch( Runtime
0420: 45 78 63 65 70 74 69 6f 6e 20 65 20 29 20 7b 0d Exception e ) {.
0430: 0a 09 09 09 74 68 72 6f 77 20 65 2e 70 6f 73 20 ....throw e.pos
0440: 69 73 20 6e 75 6c 6c 20 3f 20 6e 65 77 20 52 75 is null ? new Ru
0450: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 ntimeException(p
0460: 6f 73 2c 20 65 2e 6d 73 67 2c 20 65 2e 66 69 6c os, e.msg, e.fil
0470: 65 2c 20 65 2e 6c 69 6e 65 29 20 3a 20 65 3b 0d e, e.line) : e;.
0480: 0a 09 09 7d 0d 0a 09 7d 29 3b 0d 0a 7d 0d 0a 0d ...}...});..}...
0490: 0a 2f 2f 2f 0a 54 61 62 6c 65 20 63 72 65 61 74 .///.Table creat
04a0: 65 47 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 28 29 eGlobalContext()
04b0: 0a 7b 0d 0a 09 61 75 74 6f 20 63 74 78 20 3d 20 .{...auto ctx =
04c0: 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 63 74 78 new Table;...ctx
04d0: 2e 73 65 74 28 22 2b 22 2c 20 22 40 76 22 2c 20 .set("+", "@v",
04e0: 6e 61 74 69 76 65 28 20 28 49 6e 74 56 61 6c 75 native( (IntValu
04f0: 65 20 6c 68 73 2c 20 49 6e 74 56 61 6c 75 65 20 e lhs, IntValue
0500: 72 68 73 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 rhs){return new
0510: 49 6e 74 56 61 6c 75 65 28 6c 68 73 2e 64 61 74 IntValue(lhs.dat
0520: 61 20 2b 20 72 68 73 2e 64 61 74 61 29 3b 7d 20 a + rhs.data);}
0530: 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 2d ));...ctx.set("-
0540: 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 76 65 28 ", "@v", native(
0550: 20 28 49 6e 74 56 61 6c 75 65 20 6c 68 73 2c 20 (IntValue lhs,
0560: 49 6e 74 56 61 6c 75 65 20 72 68 73 29 7b 72 65 IntValue rhs){re
0570: 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 turn new IntValu
0580: 65 28 6c 68 73 2e 64 61 74 61 20 2d 20 72 68 73 e(lhs.data - rhs
0590: 2e 64 61 74 61 29 3b 7d 20 29 29 3b 0d 0a 09 63 .data);} ));...c
05a0: 74 78 2e 73 65 74 28 22 2a 22 2c 20 22 40 76 22 tx.set("*", "@v"
05b0: 2c 20 6e 61 74 69 76 65 28 20 28 49 6e 74 56 61 , native( (IntVa
05c0: 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 61 6c 75 lue lhs, IntValu
05d0: 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 6e 65 e rhs){return ne
05e0: 77 20 49 6e 74 56 61 6c 75 65 28 6c 68 73 2e 64 w IntValue(lhs.d
05f0: 61 74 61 20 2a 20 72 68 73 2e 64 61 74 61 29 3b ata * rhs.data);
0600: 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 } ));...ctx.set(
0610: 22 2f 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 76 "/", "@v", nativ
0620: 65 28 20 28 49 6e 74 56 61 6c 75 65 20 6c 68 73 e( (IntValue lhs
0630: 2c 20 49 6e 74 56 61 6c 75 65 20 72 68 73 29 7b , IntValue rhs){
0640: 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 return new IntVa
0650: 6c 75 65 28 6c 68 73 2e 64 61 74 61 20 2f 20 72 lue(lhs.data / r
0660: 68 73 2e 64 61 74 61 29 3b 7d 20 29 29 3b 0d 0a hs.data);} ));..
0670: 09 63 74 78 2e 73 65 74 28 22 25 22 2c 20 22 40 .ctx.set("%", "@
0680: 76 22 2c 20 6e 61 74 69 76 65 28 20 28 49 6e 74 v", native( (Int
0690: 56 61 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 61 Value lhs, IntVa
06a0: 6c 75 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 lue rhs){return
06b0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 6c 68 73 new IntValue(lhs
06c0: 2e 64 61 74 61 20 25 20 72 68 73 2e 64 61 74 61 .data % rhs.data
06d0: 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 );} ));...ctx.se
06e0: 74 28 22 3c 22 2c 20 22 40 76 22 2c 20 6e 61 74 t("<", "@v", nat
06f0: 69 76 65 28 20 28 49 6e 74 56 61 6c 75 65 20 6c ive( (IntValue l
0700: 68 73 2c 20 49 6e 74 56 61 6c 75 65 20 72 68 73 hs, IntValue rhs
0710: 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 ){return new Int
0720: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 6c 68 73 Value(BigInt(lhs
0730: 2e 64 61 74 61 20 3c 20 72 68 73 2e 64 61 74 61 .data < rhs.data
0740: 20 3f 20 31 3a 20 30 29 29 3b 7d 20 29 29 3b 0d ? 1: 0));} ));.
0750: 0a 09 63 74 78 2e 73 65 74 28 22 3e 22 2c 20 22 ..ctx.set(">", "
0760: 40 76 22 2c 20 6e 61 74 69 76 65 28 20 28 49 6e @v", native( (In
0770: 74 56 61 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 tValue lhs, IntV
0780: 61 6c 75 65 20 72 68 73 29 7b 72 65 74 75 72 6e alue rhs){return
0790: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
07a0: 67 49 6e 74 28 6c 68 73 2e 64 61 74 61 20 3e 20 gInt(lhs.data >
07b0: 72 68 73 2e 64 61 74 61 20 3f 20 31 3a 20 30 29 rhs.data ? 1: 0)
07c0: 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 );} ));...ctx.se
07d0: 74 28 22 3c 3d 22 2c 20 22 40 76 22 2c 20 6e 61 t("<=", "@v", na
07e0: 74 69 76 65 28 20 28 49 6e 74 56 61 6c 75 65 20 tive( (IntValue
07f0: 6c 68 73 2c 20 49 6e 74 56 61 6c 75 65 20 72 68 lhs, IntValue rh
0800: 73 29 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 6e s){return new In
0810: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 6c 68 tValue(BigInt(lh
0820: 73 2e 64 61 74 61 20 3c 3d 20 72 68 73 2e 64 61 s.data <= rhs.da
0830: 74 61 20 3f 20 31 3a 20 30 29 29 3b 7d 20 29 29 ta ? 1: 0));} ))
0840: 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 3e 3d 22 ;...ctx.set(">="
0850: 2c 20 22 40 76 22 2c 20 6e 61 74 69 76 65 28 20 , "@v", native(
0860: 28 49 6e 74 56 61 6c 75 65 20 6c 68 73 2c 20 49 (IntValue lhs, I
0870: 6e 74 56 61 6c 75 65 20 72 68 73 29 7b 72 65 74 ntValue rhs){ret
0880: 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 urn new IntValue
0890: 28 42 69 67 49 6e 74 28 6c 68 73 2e 64 61 74 61 (BigInt(lhs.data
08a0: 20 3e 3d 20 72 68 73 2e 64 61 74 61 20 3f 20 31 >= rhs.data ? 1
08b0: 3a 20 30 29 29 3b 7d 20 29 29 3b 0d 0a 09 63 74 : 0));} ));...ct
08c0: 78 2e 73 65 74 28 22 3d 3d 22 2c 20 22 40 76 22 x.set("==", "@v"
08d0: 2c 20 6e 61 74 69 76 65 28 20 28 49 6e 74 56 61 , native( (IntVa
08e0: 6c 75 65 20 6c 68 73 2c 20 49 6e 74 56 61 6c 75 lue lhs, IntValu
08f0: 65 20 72 68 73 29 7b 72 65 74 75 72 6e 20 6e 65 e rhs){return ne
0900: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
0910: 74 28 6c 68 73 2e 64 61 74 61 20 3d 3d 20 72 68 t(lhs.data == rh
0920: 73 2e 64 61 74 61 20 3f 20 31 3a 20 30 29 29 3b s.data ? 1: 0));
0930: 7d 20 29 29 3b 0d 0a 09 63 74 78 2e 73 65 74 28 } ));...ctx.set(
0940: 22 21 3d 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 "!=", "@v", nati
0950: 76 65 28 20 28 49 6e 74 56 61 6c 75 65 20 6c 68 ve( (IntValue lh
0960: 73 2c 20 49 6e 74 56 61 6c 75 65 20 72 68 73 29 s, IntValue rhs)
0970: 7b 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 {return new IntV
0980: 61 6c 75 65 28 42 69 67 49 6e 74 28 6c 68 73 2e alue(BigInt(lhs.
0990: 64 61 74 61 20 21 3d 20 72 68 73 2e 64 61 74 61 data != rhs.data
09a0: 20 3f 20 31 3a 20 30 29 29 3b 7d 20 29 29 3b 0d ? 1: 0));} ));.
09b0: 0a 09 63 74 78 2e 73 65 74 28 22 70 72 69 6e 74 ..ctx.set("print
09c0: 22 2c 20 22 40 76 22 2c 20 6e 65 77 20 46 75 6e ", "@v", new Fun
09d0: 56 61 6c 75 65 28 64 65 6c 65 67 61 74 65 20 56 Value(delegate V
09e0: 61 6c 75 65 28 69 6d 6d 75 74 61 62 6c 65 20 4c alue(immutable L
09f0: 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 exPosition pos,
0a00: 4c 61 79 65 72 20 6c 61 79 2c 20 56 61 6c 75 65 Layer lay, Value
0a10: 5b 5d 20 61 72 67 73 29 7b 0a 09 09 66 6f 72 65 [] args){...fore
0a20: 61 63 68 28 61 3b 20 61 72 67 73 29 0a 09 09 09 ach(a; args)....
0a30: 77 72 69 74 65 28 61 29 3b 0a 09 09 77 72 69 74 write(a);...writ
0a40: 65 6c 6e 28 22 22 29 3b 0a 09 09 72 65 74 75 72 eln("");...retur
0a50: 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 n new IntValue(B
0a60: 69 67 49 6e 74 28 31 37 38 29 29 3b 0a 09 7d 29 igInt(178));..})
0a70: 29 3b 0a 09 63 74 78 2e 73 65 74 28 22 69 66 22 );..ctx.set("if"
0a80: 2c 20 22 40 76 22 2c 20 6e 65 77 20 46 75 6e 56 , "@v", new FunV
0a90: 61 6c 75 65 28 64 65 6c 65 67 61 74 65 20 56 61 alue(delegate Va
0aa0: 6c 75 65 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 lue(immutable Le
0ab0: 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 4c xPosition pos, L
0ac0: 61 79 65 72 20 6c 61 79 2c 20 56 61 6c 75 65 5b ayer lay, Value[
0ad0: 5d 20 61 72 67 73 29 7b 0a 09 09 69 66 28 20 61 ] args){...if( a
0ae0: 72 67 73 2e 6c 65 6e 67 74 68 20 21 3d 20 33 20 rgs.length != 3
0af0: 29 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 )....throw genex
0b00: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
0b10: 6e 28 70 6f 73 2c 20 22 69 66 20 74 61 6b 65 73 n(pos, "if takes
0b20: 20 74 68 72 65 65 20 61 72 67 75 6d 65 6e 74 73 three arguments
0b30: 21 21 22 29 3b 0a 09 09 69 66 28 20 61 75 74 6f !!");...if( auto
0b40: 20 78 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c x = cast(IntVal
0b50: 75 65 29 61 72 67 73 5b 30 5d 20 29 0a 09 09 69 ue)args[0] )...i
0b60: 66 28 20 61 75 74 6f 20 66 74 20 3d 20 63 61 73 f( auto ft = cas
0b70: 74 28 46 75 6e 56 61 6c 75 65 29 61 72 67 73 5b t(FunValue)args[
0b80: 31 5d 20 29 0a 09 09 69 66 28 20 61 75 74 6f 20 1] )...if( auto
0b90: 66 65 20 3d 20 63 61 73 74 28 46 75 6e 56 61 6c fe = cast(FunVal
0ba0: 75 65 29 61 72 67 73 5b 32 5d 20 29 0a 09 09 09 ue)args[2] )....
0bb0: 72 65 74 75 72 6e 20 28 78 2e 64 61 74 61 20 3d return (x.data =
0bc0: 3d 20 30 20 3f 20 66 65 20 3a 20 66 74 29 2e 63 = 0 ? fe : ft).c
0bd0: 61 6c 6c 28 70 6f 73 2c 6c 61 79 2c 5b 5d 29 3b all(pos,lay,[]);
0be0: 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 ...throw genex!R
0bf0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
0c00: 70 6f 73 2c 20 22 74 79 70 65 20 6d 69 73 6d 61 pos, "type misma
0c10: 74 63 68 20 69 6e 20 69 66 22 29 3b 0d 0a 09 7d tch in if");...}
0c20: 29 29 3b 0a 09 63 74 78 2e 73 65 74 28 22 5f 69 ));..ctx.set("_i
0c30: 73 69 6e 74 22 2c 20 22 40 76 22 2c 20 6e 61 74 sint", "@v", nat
0c40: 69 76 65 28 20 28 56 61 6c 75 65 20 76 29 7b 72 ive( (Value v){r
0c50: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c eturn new IntVal
0c60: 75 65 28 42 69 67 49 6e 74 28 63 61 73 74 28 49 ue(BigInt(cast(I
0c70: 6e 74 56 61 6c 75 65 29 76 20 69 73 20 6e 75 6c ntValue)v is nul
0c80: 6c 20 3f 20 30 20 3a 20 31 29 29 3b 7d 20 29 29 l ? 0 : 1));} ))
0c90: 3b 0d 0a 09 63 74 78 2e 73 65 74 28 22 5f 69 73 ;...ctx.set("_is
0ca0: 73 74 72 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 str", "@v", nati
0cb0: 76 65 28 20 28 56 61 6c 75 65 20 76 29 7b 72 65 ve( (Value v){re
0cc0: 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 turn new IntValu
0cd0: 65 28 42 69 67 49 6e 74 28 63 61 73 74 28 53 74 e(BigInt(cast(St
0ce0: 72 56 61 6c 75 65 29 76 20 69 73 20 6e 75 6c 6c rValue)v is null
0cf0: 20 3f 20 30 20 3a 20 31 29 29 3b 7d 20 29 29 3b ? 0 : 1));} ));
0d00: 0d 0a 09 63 74 78 2e 73 65 74 28 22 5f 69 73 66 ...ctx.set("_isf
0d10: 75 6e 22 2c 20 22 40 76 22 2c 20 6e 61 74 69 76 un", "@v", nativ
0d20: 65 28 20 28 56 61 6c 75 65 20 76 29 7b 72 65 74 e( (Value v){ret
0d30: 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 urn new IntValue
0d40: 28 42 69 67 49 6e 74 28 63 61 73 74 28 46 75 6e (BigInt(cast(Fun
0d50: 56 61 6c 75 65 29 76 20 69 73 20 6e 75 6c 6c 20 Value)v is null
0d60: 3f 20 30 20 3a 20 31 29 29 3b 7d 20 29 29 3b 0d ? 0 : 1));} ));.
0d70: 0a 09 72 65 74 75 72 6e 20 63 74 78 3b 0a 7d 0a ..return ctx;.}.
0d80: 0a 2f 2f 2f 20 45 6e 74 72 79 20 70 6f 69 6e 74 ./// Entry point
0d90: 20 6f 66 20 74 68 69 73 20 6d 6f 64 75 6c 65 0d of this module.
0da0: 0a 0d 0a 54 75 70 6c 65 21 28 56 61 6c 75 65 2c ...Tuple!(Value,
0db0: 22 76 61 6c 22 2c 54 61 62 6c 65 2c 22 63 74 78 "val",Table,"ctx
0dc0: 22 29 20 65 76 61 6c 53 74 72 69 6e 67 28 53 2c ") evalString(S,
0dd0: 54 2e 2e 2e 29 28 53 20 73 74 72 2c 20 54 20 66 T...)(S str, T f
0de0: 6e 5f 6c 6e 5f 63 6e 29 0a 7b 0a 09 72 65 74 75 n_ln_cn).{..retu
0df0: 72 6e 20 65 76 61 6c 28 20 70 6f 6c 65 6d 79 2e rn eval( polemy.
0e00: 70 61 72 73 65 2e 70 61 72 73 65 53 74 72 69 6e parse.parseStrin
0e10: 67 28 73 74 72 2c 20 66 6e 5f 6c 6e 5f 63 6e 29 g(str, fn_ln_cn)
0e20: 20 29 3b 0a 7d 0a 0a 2f 2f 2f 20 45 6e 74 72 79 );.}../// Entry
0e30: 20 70 6f 69 6e 74 20 6f 66 20 74 68 69 73 20 6d point of this m
0e40: 6f 64 75 6c 65 0d 0a 0d 0a 54 75 70 6c 65 21 28 odule....Tuple!(
0e50: 56 61 6c 75 65 2c 22 76 61 6c 22 2c 54 61 62 6c Value,"val",Tabl
0e60: 65 2c 22 63 74 78 22 29 20 65 76 61 6c 46 69 6c e,"ctx") evalFil
0e70: 65 28 53 2c 20 54 2e 2e 2e 29 28 53 20 66 69 6c e(S, T...)(S fil
0e80: 65 6e 61 6d 65 2c 20 54 20 6c 6e 5f 63 6e 29 0a ename, T ln_cn).
0e90: 7b 0a 09 72 65 74 75 72 6e 20 65 76 61 6c 28 20 {..return eval(
0ea0: 70 6f 6c 65 6d 79 2e 70 61 72 73 65 2e 70 61 72 polemy.parse.par
0eb0: 73 65 46 69 6c 65 28 66 69 6c 65 6e 61 6d 65 2c seFile(filename,
0ec0: 20 6c 6e 5f 63 6e 29 20 29 3b 0a 7d 0a 0a 2f 2f ln_cn) );.}..//
0ed0: 2f 20 45 6e 74 72 79 20 70 6f 69 6e 74 20 6f 66 / Entry point of
0ee0: 20 74 68 69 73 20 6d 6f 64 75 6c 65 0d 0a 0d 0a this module....
0ef0: 54 75 70 6c 65 21 28 56 61 6c 75 65 2c 22 76 61 Tuple!(Value,"va
0f00: 6c 22 2c 54 61 62 6c 65 2c 22 63 74 78 22 29 20 l",Table,"ctx")
0f10: 65 76 61 6c 28 41 53 54 20 65 29 0a 7b 0a 09 54 eval(AST e).{..T
0f20: 61 62 6c 65 20 63 74 78 20 3d 20 63 72 65 61 74 able ctx = creat
0f30: 65 47 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 28 29 eGlobalContext()
0f40: 3b 0a 09 72 65 74 75 72 6e 20 74 79 70 65 6f 66 ;..return typeof
0f50: 28 72 65 74 75 72 6e 29 28 65 76 61 6c 28 65 2c (return)(eval(e,
0f60: 20 63 74 78 2c 20 66 61 6c 73 65 2c 20 22 40 76 ctx, false, "@v
0f70: 22 29 2c 20 63 74 78 29 3b 0a 7d 0a 0a 2f 2f 2f "), ctx);.}..///
0f80: 20 45 6e 74 72 79 20 70 6f 69 6e 74 20 6f 66 20 Entry point of
0f90: 74 68 69 73 20 6d 6f 64 75 6c 65 0d 0a 2f 2f 2f this module..///
0fa0: 20 49 66 20 73 70 6c 69 74 43 74 78 20 3d 20 74 If splitCtx = t
0fb0: 72 75 65 2c 20 74 68 65 6e 20 69 6e 6e 65 72 20 rue, then inner
0fc0: 76 61 72 69 61 62 6c 65 20 64 65 63 6c 61 72 61 variable declara
0fd0: 74 69 6f 6e 20 64 6f 20 6e 6f 74 20 6f 76 65 72 tion do not over
0fe0: 77 72 69 74 65 20 63 74 78 2e 0d 0a 2f 2f 2f 20 write ctx...///
0ff0: 6c 61 79 20 69 73 20 74 68 65 20 6c 61 79 65 72 lay is the layer
1000: 20 49 44 20 66 6f 72 20 65 76 61 6c 75 61 74 69 ID for evaluati
1010: 6f 6e 20 28 73 74 61 6e 64 61 72 64 20 76 61 6c on (standard val
1020: 75 65 20 73 65 6d 61 6e 74 69 63 73 20 75 73 65 ue semantics use
1030: 73 20 22 40 76 22 29 2e 0d 0a 0d 0a 56 61 6c 75 s "@v").....Valu
1040: 65 20 65 76 61 6c 28 41 53 54 20 65 2c 20 54 61 e eval(AST e, Ta
1050: 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 73 70 ble ctx, bool sp
1060: 6c 69 74 43 74 78 2c 20 4c 61 79 65 72 20 6c 61 litCtx, Layer la
1070: 79 29 0a 7b 0d 0a 09 72 65 74 75 72 6e 20 65 2e y).{...return e.
1080: 6d 61 74 63 68 28 0a 09 09 28 53 74 72 4c 69 74 match(...(StrLit
1090: 65 72 61 6c 20 65 29 0a 09 09 7b 0d 0a 09 09 09 eral e)...{.....
10a0: 56 61 6c 75 65 20 76 20 3d 20 6e 65 77 20 53 74 Value v = new St
10b0: 72 56 61 6c 75 65 28 65 2e 64 61 74 61 29 3b 0d rValue(e.data);.
10c0: 0a 09 09 09 69 66 28 20 6c 61 79 20 3d 3d 20 22 ....if( lay == "
10d0: 40 76 22 20 29 0a 09 09 09 09 72 65 74 75 72 6e @v" ).....return
10e0: 20 76 3b 0d 0a 09 09 09 65 6c 73 65 20 2f 2f 20 v;.....else //
10f0: 72 69 73 65 0d 0a 09 09 09 09 72 65 74 75 72 6e rise......return
1100: 20 28 63 61 73 74 28 46 75 6e 56 61 6c 75 65 29 (cast(FunValue)
1110: 63 74 78 2e 67 65 74 28 6c 61 79 2c 20 22 28 73 ctx.get(lay, "(s
1120: 79 73 74 65 6d 29 22 2c 20 65 2e 70 6f 73 29 29 ystem)", e.pos))
1130: 2e 63 61 6c 6c 28 65 2e 70 6f 73 2c 20 22 40 76 .call(e.pos, "@v
1140: 22 2c 20 5b 76 5d 29 3b 0a 09 09 7d 2c 0a 09 09 ", [v]);...},...
1150: 28 49 6e 74 4c 69 74 65 72 61 6c 20 65 29 0a 09 (IntLiteral e)..
1160: 09 7b 0a 09 09 09 56 61 6c 75 65 20 76 20 3d 20 .{....Value v =
1170: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 65 2e 64 new IntValue(e.d
1180: 61 74 61 29 3b 0d 0a 09 09 09 69 66 28 20 6c 61 ata);.....if( la
1190: 79 20 3d 3d 20 22 40 76 22 20 29 0d 0a 09 09 09 y == "@v" ).....
11a0: 09 72 65 74 75 72 6e 20 76 3b 0a 09 09 09 65 6c .return v;....el
11b0: 73 65 20 2f 2f 20 72 69 73 65 0d 0a 09 09 09 09 se // rise......
11c0: 72 65 74 75 72 6e 20 28 63 61 73 74 28 46 75 6e return (cast(Fun
11d0: 56 61 6c 75 65 29 63 74 78 2e 67 65 74 28 6c 61 Value)ctx.get(la
11e0: 79 2c 20 22 28 73 79 73 74 65 6d 29 22 2c 20 65 y, "(system)", e
11f0: 2e 70 6f 73 29 29 2e 63 61 6c 6c 28 65 2e 70 6f .pos)).call(e.po
1200: 73 2c 20 22 40 76 22 2c 20 5b 76 5d 29 3b 0d 0a s, "@v", [v]);..
1210: 09 09 7d 2c 0a 09 09 28 56 61 72 45 78 70 72 65 ..},...(VarExpre
1220: 73 73 69 6f 6e 20 65 29 0d 0a 09 09 7b 0d 0a 09 ssion e)....{...
1230: 09 09 74 72 79 20 7b 0d 0a 09 09 09 09 72 65 74 ..try {......ret
1240: 75 72 6e 20 63 74 78 2e 67 65 74 28 65 2e 76 61 urn ctx.get(e.va
1250: 72 2c 20 6c 61 79 2c 20 65 2e 70 6f 73 29 3b 0d r, lay, e.pos);.
1260: 0a 09 09 09 7d 20 63 61 74 63 68 28 20 52 75 6e ....} catch( Run
1270: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 20 29 20 timeException )
1280: 7b 0d 0a 09 09 09 09 2f 2f 20 72 69 73 65 20 66 {......// rise f
1290: 72 6f 6d 20 40 76 0d 0a 09 09 09 09 72 65 74 75 rom @v......retu
12a0: 72 6e 20 28 63 61 73 74 28 46 75 6e 56 61 6c 75 rn (cast(FunValu
12b0: 65 29 63 74 78 2e 67 65 74 28 6c 61 79 2c 20 22 e)ctx.get(lay, "
12c0: 28 73 79 73 74 65 6d 29 22 2c 20 65 2e 70 6f 73 (system)", e.pos
12d0: 29 29 2e 63 61 6c 6c 28 65 2e 70 6f 73 2c 20 22 )).call(e.pos, "
12e0: 40 76 22 2c 20 0d 0a 09 09 09 09 09 5b 63 74 78 @v", .......[ctx
12f0: 2e 67 65 74 28 65 2e 76 61 72 2c 20 22 40 76 22 .get(e.var, "@v"
1300: 2c 20 65 2e 70 6f 73 29 5d 0d 0a 09 09 09 09 29 , e.pos)]......)
1310: 3b 0d 0a 09 09 09 7d 0d 0a 09 09 7d 2c 0d 0a 09 ;.....}....},...
1320: 09 28 4c 61 79 65 72 65 64 45 78 70 72 65 73 73 .(LayeredExpress
1330: 69 6f 6e 20 65 29 0d 0a 09 09 7b 0d 0a 09 09 09 ion e)....{.....
1340: 72 65 74 75 72 6e 20 65 76 61 6c 28 65 2e 65 78 return eval(e.ex
1350: 70 72 2c 20 63 74 78 2c 20 66 61 6c 73 65 2c 20 pr, ctx, false,
1360: 65 2e 6c 61 79 29 3b 0d 0a 09 09 7d 2c 0d 0a 09 e.lay);....},...
1370: 09 28 4c 65 74 45 78 70 72 65 73 73 69 6f 6e 20 .(LetExpression
1380: 65 29 0d 0a 09 09 7b 0d 0a 09 09 09 2f 2f 20 66 e)....{.....// f
1390: 6f 72 20 6c 65 74 72 65 63 2c 20 77 65 20 6e 65 or letrec, we ne
13a0: 65 64 20 74 68 69 73 2c 20 62 75 74 20 73 68 6f ed this, but sho
13b0: 75 6c 64 20 61 76 6f 69 64 20 6f 76 65 72 77 72 uld avoid overwr
13c0: 69 74 69 6e 67 3f 3f 3f 3f 0d 0a 09 09 09 2f 2f iting????.....//
13d0: 20 63 74 78 2e 73 65 74 28 65 2e 76 61 72 2c 20 ctx.set(e.var,
13e0: 22 40 76 22 2c 20 6e 65 77 20 55 6e 64 65 66 69 "@v", new Undefi
13f0: 6e 65 64 56 61 6c 75 65 2c 20 65 2e 70 6f 73 29 nedValue, e.pos)
1400: 3b 0d 0a 09 09 09 56 61 6c 75 65 20 76 20 3d 20 ;.....Value v =
1410: 65 76 61 6c 28 65 2e 69 6e 69 74 2c 20 63 74 78 eval(e.init, ctx
1420: 2c 20 74 72 75 65 2c 20 6c 61 79 29 3b 0d 0a 09 , true, lay);...
1430: 09 09 69 66 28 73 70 6c 69 74 43 74 78 29 0d 0a ..if(splitCtx)..
1440: 09 09 09 09 63 74 78 20 3d 20 6e 65 77 20 54 61 ....ctx = new Ta
1450: 62 6c 65 28 63 74 78 2c 20 54 61 62 6c 65 2e 4b ble(ctx, Table.K
1460: 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 61 74 65 ind.NotPropagate
1470: 53 65 74 29 3b 0d 0a 09 09 09 63 74 78 2e 73 65 Set);.....ctx.se
1480: 74 28 65 2e 76 61 72 2c 20 28 65 2e 6c 61 79 65 t(e.var, (e.laye
1490: 72 2e 6c 65 6e 67 74 68 20 3f 20 65 2e 6c 61 79 r.length ? e.lay
14a0: 65 72 20 3a 20 6c 61 79 29 2c 20 76 2c 20 65 2e er : lay), v, e.
14b0: 70 6f 73 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e pos);.....return
14c0: 20 65 76 61 6c 28 65 2e 65 78 70 72 2c 20 63 74 eval(e.expr, ct
14d0: 78 2c 20 66 61 6c 73 65 2c 20 6c 61 79 29 3b 0d x, false, lay);.
14e0: 0a 09 09 7d 2c 0d 0a 09 09 28 46 75 6e 63 61 6c ...},....(Funcal
14f0: 6c 45 78 70 72 65 73 73 69 6f 6e 20 65 29 0a 09 lExpression e)..
1500: 09 7b 0a 09 09 09 56 61 6c 75 65 20 5f 66 20 3d .{....Value _f =
1510: 20 65 76 61 6c 28 65 2e 66 75 6e 2c 20 63 74 78 eval(e.fun, ctx
1520: 2c 20 74 72 75 65 2c 20 6c 61 79 29 3b 0a 09 09 , true, lay);...
1530: 09 69 66 28 20 61 75 74 6f 20 66 20 3d 20 63 61 .if( auto f = ca
1540: 73 74 28 46 75 6e 56 61 6c 75 65 29 5f 66 20 29 st(FunValue)_f )
1550: 20 7b 0a 09 09 09 09 56 61 6c 75 65 5b 5d 20 61 {.....Value[] a
1560: 72 67 73 3b 0a 09 09 09 09 66 6f 72 65 61 63 68 rgs;.....foreach
1570: 28 61 3b 20 65 2e 61 72 67 73 29 0a 09 09 09 09 (a; e.args).....
1580: 09 61 72 67 73 20 7e 3d 20 65 76 61 6c 28 61 2c .args ~= eval(a,
1590: 20 63 74 78 2c 20 74 72 75 65 2c 20 6c 61 79 29 ctx, true, lay)
15a0: 3b 0a 09 09 09 09 72 65 74 75 72 6e 20 66 2e 63 ;.....return f.c
15b0: 61 6c 6c 28 65 2e 70 6f 73 2c 20 6c 61 79 2c 20 all(e.pos, lay,
15c0: 61 72 67 73 29 3b 0a 09 09 09 7d 0d 0a 09 09 09 args);....}.....
15d0: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 throw genex!Runt
15e0: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 65 2e 70 imeException(e.p
15f0: 6f 73 2c 20 22 4e 6f 6e 2d 66 75 6e 63 69 6f 6e os, "Non-funcion
1600: 20 69 73 20 61 70 70 6c 69 65 64 22 29 3b 0a 09 is applied");..
1610: 09 7d 2c 0a 09 09 28 46 75 6e 4c 69 74 65 72 61 .},...(FunLitera
1620: 6c 20 65 29 0a 09 09 7b 0d 0a 09 09 09 2f 2f 20 l e)...{.....//
1630: 66 75 6e 76 61 6c 75 65 20 6e 65 65 64 20 6e 6f funvalue need no
1640: 74 20 62 65 20 72 69 73 65 64 0a 09 09 09 72 65 t be rised....re
1650: 74 75 72 6e 20 6e 65 77 20 46 75 6e 56 61 6c 75 turn new FunValu
1660: 65 28 64 65 6c 65 67 61 74 65 20 56 61 6c 75 65 e(delegate Value
1670: 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f (immutable LexPo
1680: 73 69 74 69 6f 6e 20 70 6f 73 2c 20 73 74 72 69 sition pos, stri
1690: 6e 67 20 6c 61 79 2c 20 56 61 6c 75 65 5b 5d 20 ng lay, Value[]
16a0: 61 72 67 73 29 7b 0a 09 09 09 09 69 66 28 20 65 args){.....if( e
16b0: 2e 70 61 72 61 6d 73 2e 6c 65 6e 67 74 68 20 21 .params.length !
16c0: 3d 20 61 72 67 73 2e 6c 65 6e 67 74 68 20 29 0a = args.length ).
16d0: 09 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 .....throw genex
16e0: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
16f0: 6e 28 65 2e 70 6f 73 2c 20 73 70 72 69 6e 74 66 n(e.pos, sprintf
1700: 21 22 41 72 67 75 6d 65 6e 74 20 4e 75 6d 62 65 !"Argument Numbe
1710: 72 20 4d 69 73 6d 61 74 63 68 20 28 25 64 20 72 r Mismatch (%d r
1720: 65 71 75 69 72 65 64 20 62 75 74 20 25 64 20 67 equired but %d g
1730: 69 76 65 6e 29 22 0a 09 09 09 09 09 09 28 65 2e iven)".......(e.
1740: 70 61 72 61 6d 73 2e 6c 65 6e 67 74 68 2c 20 61 params.length, a
1750: 72 67 73 2e 6c 65 6e 67 74 68 29 29 3b 0a 09 09 rgs.length));...
1760: 09 09 54 61 62 6c 65 20 63 74 78 4e 65 6f 20 3d ..Table ctxNeo =
1770: 20 6e 65 77 20 54 61 62 6c 65 28 63 74 78 2c 20 new Table(ctx,
1780: 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 Table.Kind.NotPr
1790: 6f 70 61 67 61 74 65 53 65 74 29 3b 0a 09 09 09 opagateSet);....
17a0: 09 66 6f 72 65 61 63 68 28 69 2c 70 3b 20 65 2e .foreach(i,p; e.
17b0: 70 61 72 61 6d 73 29 0a 09 09 09 09 09 63 74 78 params)......ctx
17c0: 4e 65 6f 2e 73 65 74 28 70 2e 6e 61 6d 65 2c 20 Neo.set(p.name,
17d0: 6c 61 79 2c 20 61 72 67 73 5b 69 5d 29 3b 0d 0a lay, args[i]);..
17e0: 09 09 09 09 72 65 74 75 72 6e 20 65 76 61 6c 28 ....return eval(
17f0: 65 2e 66 75 6e 62 6f 64 79 2c 20 63 74 78 4e 65 e.funbody, ctxNe
1800: 6f 2c 20 74 72 75 65 2c 20 6c 61 79 29 3b 0a 09 o, true, lay);..
1810: 09 09 7d 29 3b 0a 09 09 7d 2c 0d 0a 09 09 64 65 ..});...},....de
1820: 6c 65 67 61 74 65 20 56 61 6c 75 65 20 28 41 53 legate Value (AS
1830: 54 20 65 29 0d 0a 09 09 7b 0a 09 09 09 74 68 72 T e)....{....thr
1840: 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 ow genex!Runtime
1850: 45 78 63 65 70 74 69 6f 6e 28 65 2e 70 6f 73 2c Exception(e.pos,
1860: 20 73 70 72 69 6e 74 66 21 22 55 6e 6b 6e 6f 77 sprintf!"Unknow
1870: 6e 20 4b 69 6e 64 20 6f 66 20 45 78 70 72 65 73 n Kind of Expres
1880: 73 69 6f 6e 20 25 73 22 28 74 79 70 65 69 64 28 sion %s"(typeid(
1890: 65 29 29 29 3b 0d 0a 09 09 7d 0d 0a 09 29 3b 0a e)));....}...);.
18a0: 7d 0a 0d 0a 75 6e 69 74 74 65 73 74 0a 7b 0d 0a }...unittest.{..
18b0: 09 61 75 74 6f 20 72 20 3d 20 61 73 73 65 72 74 .auto r = assert
18c0: 5f 6e 6f 74 68 72 6f 77 28 20 65 76 61 6c 53 74 _nothrow( evalSt
18d0: 72 69 6e 67 28 60 76 61 72 20 78 20 3d 20 32 31 ring(`var x = 21
18e0: 3b 20 78 20 2b 20 78 2a 78 3b 60 29 20 29 3b 0a ; x + x*x;`) );.
18f0: 09 61 73 73 65 72 74 5f 65 71 28 20 72 2e 76 61 .assert_eq( r.va
1900: 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 l, new IntValue(
1910: 42 69 67 49 6e 74 28 32 31 2b 32 31 2a 32 31 29 BigInt(21+21*21)
1920: 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 65 71 28 ) );..assert_eq(
1930: 20 72 2e 63 74 78 2e 67 65 74 28 22 78 22 2c 22 r.ctx.get("x","
1940: 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c @v"), new IntVal
1950: 75 65 28 42 69 67 49 6e 74 28 32 31 29 29 20 29 ue(BigInt(21)) )
1960: 3b 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f ;..assert_nothro
1970: 77 28 20 72 2e 63 74 78 2e 67 65 74 28 22 78 22 w( r.ctx.get("x"
1980: 2c 22 40 76 22 29 20 29 3b 0a 09 61 73 73 65 72 ,"@v") );..asser
1990: 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 45 t_throw!RuntimeE
19a0: 78 63 65 70 74 69 6f 6e 28 20 72 2e 63 74 78 2e xception( r.ctx.
19b0: 67 65 74 28 22 79 22 2c 22 40 76 22 29 20 29 3b get("y","@v") );
19c0: 0a 7d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a .}.unittest..{..
19d0: 09 61 75 74 6f 20 72 20 3d 20 61 73 73 65 72 74 .auto r = assert
19e0: 5f 6e 6f 74 68 72 6f 77 28 20 65 76 61 6c 53 74 _nothrow( evalSt
19f0: 72 69 6e 67 28 60 76 61 72 20 78 20 3d 20 32 31 ring(`var x = 21
1a00: 3b 20 76 61 72 20 78 20 3d 20 78 20 2b 20 78 2a ; var x = x + x*
1a10: 78 3b 60 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 x;`) );...assert
1a20: 5f 65 71 28 20 72 2e 76 61 6c 2c 20 6e 65 77 20 _eq( r.val, new
1a30: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
1a40: 32 31 2b 32 31 2a 32 31 29 29 20 29 3b 0d 0a 09 21+21*21)) );...
1a50: 61 73 73 65 72 74 5f 65 71 28 20 72 2e 63 74 78 assert_eq( r.ctx
1a60: 2e 67 65 74 28 22 78 22 2c 22 40 76 22 29 2c 20 .get("x","@v"),
1a70: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
1a80: 49 6e 74 28 32 31 2b 32 31 2a 32 31 29 29 20 29 Int(21+21*21)) )
1a90: 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 ;...assert_nothr
1aa0: 6f 77 28 20 72 2e 63 74 78 2e 67 65 74 28 22 78 ow( r.ctx.get("x
1ab0: 22 2c 22 40 76 22 29 20 29 3b 0d 0a 09 61 73 73 ","@v") );...ass
1ac0: 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d ert_throw!Runtim
1ad0: 65 45 78 63 65 70 74 69 6f 6e 28 20 72 2e 63 74 eException( r.ct
1ae0: 78 2e 67 65 74 28 22 79 22 2c 22 40 76 22 29 20 x.get("y","@v")
1af0: 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0d );..}..unittest.
1b00: 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 .{...assert_eq(
1b10: 65 76 61 6c 53 74 72 69 6e 67 28 60 6c 65 74 20 evalString(`let
1b20: 78 3d 31 3b 20 6c 65 74 20 79 3d 28 6c 65 74 20 x=1; let y=(let
1b30: 78 3d 32 29 3b 20 78 60 29 2e 76 61 6c 2c 20 6e x=2); x`).val, n
1b40: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
1b50: 6e 74 28 31 29 29 20 29 3b 20 0d 0a 09 61 73 73 nt(1)) ); ...ass
1b60: 65 72 74 5f 65 71 28 20 65 76 61 6c 53 74 72 69 ert_eq( evalStri
1b70: 6e 67 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 ng(`let x=1; let
1b80: 20 79 3d 28 6c 65 74 20 78 3d 32 3b 66 75 6e 28 y=(let x=2;fun(
1b90: 29 7b 78 7d 29 3b 20 79 28 29 60 29 2e 76 61 6c ){x}); y()`).val
1ba0: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
1bb0: 69 67 49 6e 74 28 32 29 29 20 29 3b 20 0d 0a 7d igInt(2)) ); ..}
1bc0: 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 ..unittest..{...
1bd0: 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 6c 53 assert_eq( evalS
1be0: 74 72 69 6e 67 28 60 40 61 20 78 3d 31 3b 20 40 tring(`@a x=1; @
1bf0: 62 20 78 3d 32 3b 20 40 61 28 78 29 60 29 2e 76 b x=2; @a(x)`).v
1c00: 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 al, new IntValue
1c10: 28 42 69 67 49 6e 74 28 31 29 29 20 29 3b 0d 0a (BigInt(1)) );..
1c20: 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 6c .assert_eq( eval
1c30: 53 74 72 69 6e 67 28 60 40 61 20 78 3d 31 3b 20 String(`@a x=1;
1c40: 40 62 20 78 3d 32 3b 20 40 62 28 78 29 60 29 2e @b x=2; @b(x)`).
1c50: 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 val, new IntValu
1c60: 65 28 42 69 67 49 6e 74 28 32 29 29 20 29 3b 0d e(BigInt(2)) );.
1c70: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 ..assert_eq( eva
1c80: 6c 53 74 72 69 6e 67 28 60 6c 65 74 20 78 3d 31 lString(`let x=1
1c90: 3b 20 6c 65 74 20 5f 20 3d 20 28 40 61 20 78 3d ; let _ = (@a x=
1ca0: 32 3b 32 29 3b 20 78 60 29 2e 76 61 6c 2c 20 6e 2;2); x`).val, n
1cb0: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
1cc0: 6e 74 28 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 nt(1)) );...asse
1cd0: 72 74 5f 74 68 72 6f 77 21 45 72 72 6f 72 28 20 rt_throw!Error(
1ce0: 65 76 61 6c 53 74 72 69 6e 67 28 60 6c 65 74 20 evalString(`let
1cf0: 78 3d 31 3b 20 6c 65 74 20 5f 20 3d 20 28 40 61 x=1; let _ = (@a
1d00: 20 78 3d 32 3b 32 29 3b 20 40 61 28 78 29 60 29 x=2;2); @a(x)`)
1d10: 20 29 3b 0d 0a 7d 0d 0a 0a 75 6e 69 74 74 65 73 );..}...unittes
1d20: 74 0a 7b 0a 09 61 73 73 65 72 74 5f 65 71 28 20 t.{..assert_eq(
1d30: 65 76 61 6c 53 74 72 69 6e 67 28 60 76 61 72 20 evalString(`var
1d40: 66 61 63 20 3d 20 66 75 6e 28 78 29 7b 0a 09 09 fac = fun(x){...
1d50: 69 66 28 78 29 0a 09 09 09 7b 20 78 2a 66 61 63 if(x)....{ x*fac
1d60: 28 78 2d 31 29 3b 20 7d 0a 09 09 65 6c 73 65 0a (x-1); }...else.
1d70: 09 09 09 7b 20 31 3b 20 7d 3b 0a 09 7d 3b 0a 09 ...{ 1; };..};..
1d80: 66 61 63 28 31 30 29 3b 60 29 2e 76 61 6c 2c 20 fac(10);`).val,
1d90: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
1da0: 49 6e 74 28 31 30 2a 39 2a 38 2a 35 30 34 30 29 Int(10*9*8*5040)
1db0: 29 29 3b 0a 09 61 73 73 65 72 74 5f 65 71 28 20 ));..assert_eq(
1dc0: 65 76 61 6c 53 74 72 69 6e 67 28 60 76 61 72 20 evalString(`var
1dd0: 66 69 62 20 3d 20 66 75 6e 28 78 29 7b 0a 09 09 fib = fun(x){...
1de0: 69 66 28 78 3c 32 29 0a 09 09 09 7b 20 31 3b 20 if(x<2)....{ 1;
1df0: 7d 0a 09 09 65 6c 73 65 0a 09 09 09 7b 20 66 69 }...else....{ fi
1e00: 62 28 78 2d 31 29 20 2b 20 66 69 62 28 78 2d 32 b(x-1) + fib(x-2
1e10: 29 3b 20 7d 3b 0a 09 7d 3b 0a 09 66 69 62 28 31 ); };..};..fib(1
1e20: 30 29 3b 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 0);`).val, new I
1e30: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 38 ntValue(BigInt(8
1e40: 39 29 29 29 3b 0a 7d 0a 0d 0a 75 6e 69 74 74 65 9)));.}...unitte
1e50: 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 74 st..{...assert_t
1e60: 68 72 6f 77 21 54 68 72 6f 77 61 62 6c 65 28 20 hrow!Throwable(
1e70: 65 76 61 6c 53 74 72 69 6e 67 28 60 40 40 73 28 evalString(`@@s(
1e80: 78 29 7b 78 7d 3b 20 40 73 20 22 2b 22 3d 66 75 x){x}; @s "+"=fu
1e90: 6e 28 78 2c 79 29 7b 78 2d 79 7d 3b 40 73 28 31 n(x,y){x-y};@s(1
1ea0: 2b 32 29 60 29 20 29 3b 0d 0a 09 61 73 73 65 72 +2)`) );...asser
1eb0: 74 5f 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 t_eq( evalString
1ec0: 28 60 40 40 73 28 78 29 7b 78 7d 3b 20 40 73 20 (`@@s(x){x}; @s
1ed0: 22 2b 22 3d 66 75 6e 28 78 2c 79 29 7b 78 2d 79 "+"=fun(x,y){x-y
1ee0: 7d 3b 31 2b 32 60 29 2e 76 61 6c 2c 20 6e 65 77 };1+2`).val, new
1ef0: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
1f00: 28 33 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 (3)) );...assert
1f10: 5f 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 _eq( evalString(
1f20: 60 40 40 73 28 78 29 7b 78 7d 3b 20 40 73 20 22 `@@s(x){x}; @s "
1f30: 2b 22 3d 66 75 6e 28 78 2c 79 29 7b 40 76 28 40 +"=fun(x,y){@v(@
1f40: 73 28 78 29 2d 40 73 28 79 29 29 7d 3b 31 2b 32 s(x)-@s(y))};1+2
1f50: 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 `).val, new IntV
1f60: 61 6c 75 65 28 42 69 67 49 6e 74 28 33 29 29 20 alue(BigInt(3))
1f70: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
1f80: 65 76 61 6c 53 74 72 69 6e 67 28 60 40 40 73 28 evalString(`@@s(
1f90: 78 29 7b 78 7d 3b 20 40 73 20 22 2b 22 3d 66 75 x){x}; @s "+"=fu
1fa0: 6e 28 78 2c 79 29 7b 40 76 28 40 73 28 78 29 2d n(x,y){@v(@s(x)-
1fb0: 40 73 28 79 29 29 7d 3b 40 73 28 31 2b 32 29 60 @s(y))};@s(1+2)`
1fc0: 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 ).val, new IntVa
1fd0: 6c 75 65 28 42 69 67 49 6e 74 28 2d 31 29 29 20 lue(BigInt(-1))
1fe0: 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 );..}....unittes
1ff0: 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 65 71 t..{...assert_eq
2000: 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 40 40 ( evalString(`@@
2010: 74 20 3d 20 66 75 6e 28 78 29 7b 78 2b 31 7d 3b t = fun(x){x+1};
2020: 20 40 74 28 31 32 33 29 60 29 2e 76 61 6c 2c 20 @t(123)`).val,
2030: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
2040: 49 6e 74 28 31 32 34 29 29 20 29 3b 0d 0a 7d Int(124)) );..}