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 0a 54 61 62 6c 65 20 63 72 65 61 74 65 47 6c ..Table createGl
0140: 6f 62 61 6c 43 6f 6e 74 65 78 74 28 29 0a 7b 0d obalContext().{.
0150: 0a 09 61 75 74 6f 20 63 74 78 20 3d 20 6e 65 77 ..auto ctx = new
0160: 20 54 61 62 6c 65 3b 0d 0a 09 2f 2f 20 5b 54 4f Table;...// [TO
0170: 44 4f 5d 20 61 75 74 6f 67 65 6e 65 72 61 74 65 DO] autogenerate
0180: 20 74 68 65 73 65 20 74 79 70 65 63 68 65 63 6b these typecheck
0190: 73 0a 09 63 74 78 2e 73 65 74 28 22 2b 22 2c 20 s..ctx.set("+",
01a0: 22 40 76 22 2c 20 6e 65 77 20 46 75 6e 56 61 6c "@v", new FunVal
01b0: 75 65 28 64 65 6c 65 67 61 74 65 20 56 61 6c 75 ue(delegate Valu
01c0: 65 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 e(immutable LexP
01d0: 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 4c 61 79 osition pos, Lay
01e0: 65 72 20 6c 61 79 2c 20 56 61 6c 75 65 5b 5d 20 er lay, Value[]
01f0: 61 72 67 73 29 7b 0a 09 09 69 66 28 20 61 72 67 args){...if( arg
0200: 73 2e 6c 65 6e 67 74 68 20 21 3d 20 32 20 29 0a s.length != 2 ).
0210: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 ...throw genex!R
0220: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
0230: 70 6f 73 2c 20 22 2b 20 74 61 6b 65 73 20 74 77 pos, "+ takes tw
0240: 6f 20 61 72 67 75 6d 65 6e 74 73 21 21 22 29 3b o arguments!!");
0250: 0a 09 09 69 66 28 20 61 75 74 6f 20 78 20 3d 20 ...if( auto x =
0260: 63 61 73 74 28 49 6e 74 56 61 6c 75 65 29 61 72 cast(IntValue)ar
0270: 67 73 5b 30 5d 20 29 0a 09 09 09 69 66 28 20 61 gs[0] )....if( a
0280: 75 74 6f 20 79 20 3d 20 63 61 73 74 28 49 6e 74 uto y = cast(Int
0290: 56 61 6c 75 65 29 61 72 67 73 5b 31 5d 20 29 0a Value)args[1] ).
02a0: 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 ....return new I
02b0: 6e 74 56 61 6c 75 65 28 78 2e 64 61 74 61 2b 79 ntValue(x.data+y
02c0: 2e 64 61 74 61 29 3b 0a 09 09 74 68 72 6f 77 20 .data);...throw
02d0: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
02e0: 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 63 61 6e eption(pos, "can
02f0: 6e 6f 74 20 61 64 64 20 6e 6f 6e 2d 69 6e 74 65 not add non-inte
0300: 67 65 72 73 22 29 3b 0a 09 7d 29 29 3b 0a 09 63 gers");..}));..c
0310: 74 78 2e 73 65 74 28 22 2d 22 2c 20 22 40 76 22 tx.set("-", "@v"
0320: 2c 20 6e 65 77 20 46 75 6e 56 61 6c 75 65 28 64 , new FunValue(d
0330: 65 6c 65 67 61 74 65 20 56 61 6c 75 65 28 69 6d elegate Value(im
0340: 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 mutable LexPosit
0350: 69 6f 6e 20 70 6f 73 2c 20 4c 61 79 65 72 20 6c ion pos, Layer l
0360: 61 79 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 ay, Value[] args
0370: 29 7b 0a 09 09 69 66 28 20 61 72 67 73 2e 6c 65 ){...if( args.le
0380: 6e 67 74 68 20 21 3d 20 32 20 29 0a 09 09 09 74 ngth != 2 )....t
0390: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
03a0: 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c meException(pos,
03b0: 20 22 2d 20 74 61 6b 65 73 20 74 77 6f 20 61 72 "- takes two ar
03c0: 67 75 6d 65 6e 74 73 21 21 22 29 3b 0d 0a 09 09 guments!!");....
03d0: 69 66 28 20 61 75 74 6f 20 78 20 3d 20 63 61 73 if( auto x = cas
03e0: 74 28 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b t(IntValue)args[
03f0: 30 5d 20 29 0a 09 09 09 69 66 28 20 61 75 74 6f 0] )....if( auto
0400: 20 79 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c y = cast(IntVal
0410: 75 65 29 61 72 67 73 5b 31 5d 20 29 0a 09 09 09 ue)args[1] )....
0420: 09 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 .return new IntV
0430: 61 6c 75 65 28 78 2e 64 61 74 61 2d 79 2e 64 61 alue(x.data-y.da
0440: 74 61 29 3b 0a 09 09 74 68 72 6f 77 20 67 65 6e ta);...throw gen
0450: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
0460: 69 6f 6e 28 70 6f 73 2c 20 22 63 61 6e 6e 6f 74 ion(pos, "cannot
0470: 20 73 75 62 74 72 61 63 74 20 6e 6f 6e 2d 69 6e subtract non-in
0480: 74 65 67 65 72 73 22 29 3b 0d 0a 09 7d 29 29 3b tegers");...}));
0490: 0a 09 63 74 78 2e 73 65 74 28 22 2a 22 2c 20 22 ..ctx.set("*", "
04a0: 40 76 22 2c 20 6e 65 77 20 46 75 6e 56 61 6c 75 @v", new FunValu
04b0: 65 28 64 65 6c 65 67 61 74 65 20 56 61 6c 75 65 e(delegate Value
04c0: 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f (immutable LexPo
04d0: 73 69 74 69 6f 6e 20 70 6f 73 2c 20 4c 61 79 65 sition pos, Laye
04e0: 72 20 6c 61 79 2c 20 56 61 6c 75 65 5b 5d 20 61 r lay, Value[] a
04f0: 72 67 73 29 7b 0a 09 09 69 66 28 20 61 72 67 73 rgs){...if( args
0500: 2e 6c 65 6e 67 74 68 20 21 3d 20 32 20 29 0a 09 .length != 2 )..
0510: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 ..throw genex!Ru
0520: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 ntimeException(p
0530: 6f 73 2c 20 22 2a 20 74 61 6b 65 73 20 74 77 6f os, "* takes two
0540: 20 61 72 67 75 6d 65 6e 74 73 21 21 22 29 3b 0d arguments!!");.
0550: 0a 09 09 69 66 28 20 61 75 74 6f 20 78 20 3d 20 ...if( auto x =
0560: 63 61 73 74 28 49 6e 74 56 61 6c 75 65 29 61 72 cast(IntValue)ar
0570: 67 73 5b 30 5d 20 29 0a 09 09 09 69 66 28 20 61 gs[0] )....if( a
0580: 75 74 6f 20 79 20 3d 20 63 61 73 74 28 49 6e 74 uto y = cast(Int
0590: 56 61 6c 75 65 29 61 72 67 73 5b 31 5d 20 29 0a Value)args[1] ).
05a0: 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 ....return new I
05b0: 6e 74 56 61 6c 75 65 28 78 2e 64 61 74 61 2a 79 ntValue(x.data*y
05c0: 2e 64 61 74 61 29 3b 0a 09 09 74 68 72 6f 77 20 .data);...throw
05d0: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
05e0: 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 63 61 6e eption(pos, "can
05f0: 6e 6f 74 20 6d 75 6c 74 69 70 6c 79 20 6e 6f 6e not multiply non
0600: 2d 69 6e 74 65 67 65 72 73 22 29 3b 0d 0a 09 7d -integers");...}
0610: 29 29 3b 0a 09 63 74 78 2e 73 65 74 28 22 2f 22 ));..ctx.set("/"
0620: 2c 20 22 40 76 22 2c 20 6e 65 77 20 46 75 6e 56 , "@v", new FunV
0630: 61 6c 75 65 28 64 65 6c 65 67 61 74 65 20 56 61 alue(delegate Va
0640: 6c 75 65 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 lue(immutable Le
0650: 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 4c xPosition pos, L
0660: 61 79 65 72 20 6c 61 79 2c 20 56 61 6c 75 65 5b ayer lay, Value[
0670: 5d 20 61 72 67 73 29 7b 0a 09 09 69 66 28 20 61 ] args){...if( a
0680: 72 67 73 2e 6c 65 6e 67 74 68 20 21 3d 20 32 20 rgs.length != 2
0690: 29 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 )....throw genex
06a0: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
06b0: 6e 28 70 6f 73 2c 20 22 2f 20 74 61 6b 65 73 20 n(pos, "/ takes
06c0: 74 77 6f 20 61 72 67 75 6d 65 6e 74 73 21 21 22 two arguments!!"
06d0: 29 3b 0d 0a 09 09 69 66 28 20 61 75 74 6f 20 78 );....if( auto x
06e0: 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c 75 65 = cast(IntValue
06f0: 29 61 72 67 73 5b 30 5d 20 29 0a 09 09 09 69 66 )args[0] )....if
0700: 28 20 61 75 74 6f 20 79 20 3d 20 63 61 73 74 28 ( auto y = cast(
0710: 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b 31 5d IntValue)args[1]
0720: 20 29 0a 09 09 09 09 72 65 74 75 72 6e 20 6e 65 ).....return ne
0730: 77 20 49 6e 74 56 61 6c 75 65 28 78 2e 64 61 74 w IntValue(x.dat
0740: 61 2f 79 2e 64 61 74 61 29 3b 0a 09 09 74 68 72 a/y.data);...thr
0750: 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 ow genex!Runtime
0760: 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 Exception(pos, "
0770: 63 61 6e 6e 6f 74 20 64 69 76 69 64 65 20 6e 6f cannot divide no
0780: 6e 2d 69 6e 74 65 67 65 72 73 22 29 3b 0d 0a 09 n-integers");...
0790: 7d 29 29 3b 0a 09 63 74 78 2e 73 65 74 28 22 3c }));..ctx.set("<
07a0: 22 2c 20 22 40 76 22 2c 20 6e 65 77 20 46 75 6e ", "@v", new Fun
07b0: 56 61 6c 75 65 28 64 65 6c 65 67 61 74 65 20 56 Value(delegate V
07c0: 61 6c 75 65 28 69 6d 6d 75 74 61 62 6c 65 20 4c alue(immutable L
07d0: 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 exPosition pos,
07e0: 4c 61 79 65 72 20 6c 61 79 2c 20 56 61 6c 75 65 Layer lay, Value
07f0: 5b 5d 20 61 72 67 73 29 7b 0a 09 09 69 66 28 20 [] args){...if(
0800: 61 72 67 73 2e 6c 65 6e 67 74 68 20 21 3d 20 32 args.length != 2
0810: 20 29 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 )....throw gene
0820: 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 x!RuntimeExcepti
0830: 6f 6e 28 70 6f 73 2c 20 22 3c 20 74 61 6b 65 73 on(pos, "< takes
0840: 20 74 77 6f 20 61 72 67 75 6d 65 6e 74 73 21 21 two arguments!!
0850: 22 29 3b 0d 0a 09 09 69 66 28 20 61 75 74 6f 20 ");....if( auto
0860: 78 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c 75 x = cast(IntValu
0870: 65 29 61 72 67 73 5b 30 5d 20 29 0a 09 09 09 69 e)args[0] )....i
0880: 66 28 20 61 75 74 6f 20 79 20 3d 20 63 61 73 74 f( auto y = cast
0890: 28 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b 31 (IntValue)args[1
08a0: 5d 20 29 0a 09 09 09 09 72 65 74 75 72 6e 20 6e ] ).....return n
08b0: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
08c0: 6e 74 28 74 6f 21 69 6e 74 28 78 2e 64 61 74 61 nt(to!int(x.data
08d0: 20 3c 20 79 2e 64 61 74 61 29 29 29 3b 0a 09 09 < y.data)));...
08e0: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 throw genex!Runt
08f0: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 imeException(pos
0900: 2c 20 22 63 61 6e 6e 6f 74 20 63 6f 6d 70 61 72 , "cannot compar
0910: 65 20 6e 6f 6e 2d 69 6e 74 65 67 65 72 73 22 29 e non-integers")
0920: 3b 0d 0a 09 7d 29 29 3b 0a 09 63 74 78 2e 73 65 ;...}));..ctx.se
0930: 74 28 22 3e 22 2c 20 22 40 76 22 2c 20 6e 65 77 t(">", "@v", new
0940: 20 46 75 6e 56 61 6c 75 65 28 64 65 6c 65 67 61 FunValue(delega
0950: 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 74 61 62 te Value(immutab
0960: 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 le LexPosition p
0970: 6f 73 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 56 os, Layer lay, V
0980: 61 6c 75 65 5b 5d 20 61 72 67 73 29 7b 0a 09 09 alue[] args){...
0990: 69 66 28 20 61 72 67 73 2e 6c 65 6e 67 74 68 20 if( args.length
09a0: 21 3d 20 32 20 29 0a 09 09 09 74 68 72 6f 77 20 != 2 )....throw
09b0: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
09c0: 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 3e 20 74 eption(pos, "> t
09d0: 61 6b 65 73 20 74 77 6f 20 61 72 67 75 6d 65 6e akes two argumen
09e0: 74 73 21 21 22 29 3b 0d 0a 09 09 69 66 28 20 61 ts!!");....if( a
09f0: 75 74 6f 20 78 20 3d 20 63 61 73 74 28 49 6e 74 uto x = cast(Int
0a00: 56 61 6c 75 65 29 61 72 67 73 5b 30 5d 20 29 0a Value)args[0] ).
0a10: 09 09 09 69 66 28 20 61 75 74 6f 20 79 20 3d 20 ...if( auto y =
0a20: 63 61 73 74 28 49 6e 74 56 61 6c 75 65 29 61 72 cast(IntValue)ar
0a30: 67 73 5b 31 5d 20 29 0a 09 09 09 09 72 65 74 75 gs[1] ).....retu
0a40: 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 rn new IntValue(
0a50: 42 69 67 49 6e 74 28 74 6f 21 69 6e 74 28 78 2e BigInt(to!int(x.
0a60: 64 61 74 61 3e 79 2e 64 61 74 61 29 29 29 3b 0a data>y.data)));.
0a70: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 ..throw genex!Ru
0a80: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 ntimeException(p
0a90: 6f 73 2c 20 22 63 61 6e 6e 6f 74 20 63 6f 6d 70 os, "cannot comp
0aa0: 61 72 65 20 6e 6f 6e 2d 69 6e 74 65 67 65 72 73 are non-integers
0ab0: 22 29 3b 0d 0a 09 7d 29 29 3b 0a 09 63 74 78 2e ");...}));..ctx.
0ac0: 73 65 74 28 22 70 72 69 6e 74 22 2c 20 22 40 76 set("print", "@v
0ad0: 22 2c 20 6e 65 77 20 46 75 6e 56 61 6c 75 65 28 ", new FunValue(
0ae0: 64 65 6c 65 67 61 74 65 20 56 61 6c 75 65 28 69 delegate Value(i
0af0: 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 mmutable LexPosi
0b00: 74 69 6f 6e 20 70 6f 73 2c 20 4c 61 79 65 72 20 tion pos, Layer
0b10: 6c 61 79 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 lay, Value[] arg
0b20: 73 29 7b 0a 09 09 66 6f 72 65 61 63 68 28 61 3b s){...foreach(a;
0b30: 20 61 72 67 73 29 0a 09 09 09 77 72 69 74 65 28 args)....write(
0b40: 61 29 3b 0a 09 09 77 72 69 74 65 6c 6e 28 22 22 a);...writeln(""
0b50: 29 3b 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 );...return new
0b60: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
0b70: 31 37 38 29 29 3b 0a 09 7d 29 29 3b 0a 09 63 74 178));..}));..ct
0b80: 78 2e 73 65 74 28 22 69 66 22 2c 20 22 40 76 22 x.set("if", "@v"
0b90: 2c 20 6e 65 77 20 46 75 6e 56 61 6c 75 65 28 64 , new FunValue(d
0ba0: 65 6c 65 67 61 74 65 20 56 61 6c 75 65 28 69 6d elegate Value(im
0bb0: 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 mutable LexPosit
0bc0: 69 6f 6e 20 70 6f 73 2c 20 4c 61 79 65 72 20 6c ion pos, Layer l
0bd0: 61 79 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 ay, Value[] args
0be0: 29 7b 0a 09 09 69 66 28 20 61 72 67 73 2e 6c 65 ){...if( args.le
0bf0: 6e 67 74 68 20 21 3d 20 33 20 29 0a 09 09 09 74 ngth != 3 )....t
0c00: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
0c10: 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c meException(pos,
0c20: 20 22 69 66 20 74 61 6b 65 73 20 74 68 72 65 65 "if takes three
0c30: 20 61 72 67 75 6d 65 6e 74 73 21 21 22 29 3b 0a arguments!!");.
0c40: 09 09 69 66 28 20 61 75 74 6f 20 78 20 3d 20 63 ..if( auto x = c
0c50: 61 73 74 28 49 6e 74 56 61 6c 75 65 29 61 72 67 ast(IntValue)arg
0c60: 73 5b 30 5d 20 29 0a 09 09 69 66 28 20 61 75 74 s[0] )...if( aut
0c70: 6f 20 66 74 20 3d 20 63 61 73 74 28 46 75 6e 56 o ft = cast(FunV
0c80: 61 6c 75 65 29 61 72 67 73 5b 31 5d 20 29 0a 09 alue)args[1] )..
0c90: 09 69 66 28 20 61 75 74 6f 20 66 65 20 3d 20 63 .if( auto fe = c
0ca0: 61 73 74 28 46 75 6e 56 61 6c 75 65 29 61 72 67 ast(FunValue)arg
0cb0: 73 5b 32 5d 20 29 0a 09 09 09 72 65 74 75 72 6e s[2] )....return
0cc0: 20 28 78 2e 64 61 74 61 20 3d 3d 20 30 20 3f 20 (x.data == 0 ?
0cd0: 66 65 20 3a 20 66 74 29 2e 63 61 6c 6c 28 70 6f fe : ft).call(po
0ce0: 73 2c 6c 61 79 2c 5b 5d 29 3b 0a 09 09 74 68 72 s,lay,[]);...thr
0cf0: 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 ow genex!Runtime
0d00: 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 Exception(pos, "
0d10: 74 79 70 65 20 6d 69 73 6d 61 74 63 68 20 69 6e type mismatch in
0d20: 20 69 66 22 29 3b 0d 0a 09 7d 29 29 3b 0a 09 72 if");...}));..r
0d30: 65 74 75 72 6e 20 63 74 78 3b 0a 7d 0a 0a 2f 2f eturn ctx;.}..//
0d40: 2f 20 45 6e 74 72 79 20 70 6f 69 6e 74 20 6f 66 / Entry point of
0d50: 20 74 68 69 73 20 6d 6f 64 75 6c 65 0d 0a 0d 0a this module....
0d60: 54 75 70 6c 65 21 28 56 61 6c 75 65 2c 22 76 61 Tuple!(Value,"va
0d70: 6c 22 2c 54 61 62 6c 65 2c 22 63 74 78 22 29 20 l",Table,"ctx")
0d80: 65 76 61 6c 53 74 72 69 6e 67 28 53 2c 54 2e 2e evalString(S,T..
0d90: 2e 29 28 53 20 73 74 72 2c 20 54 20 66 6e 5f 6c .)(S str, T fn_l
0da0: 6e 5f 63 6e 29 0a 7b 0a 09 72 65 74 75 72 6e 20 n_cn).{..return
0db0: 65 76 61 6c 28 20 70 6f 6c 65 6d 79 2e 70 61 72 eval( polemy.par
0dc0: 73 65 2e 70 61 72 73 65 53 74 72 69 6e 67 28 73 se.parseString(s
0dd0: 74 72 2c 20 66 6e 5f 6c 6e 5f 63 6e 29 20 29 3b tr, fn_ln_cn) );
0de0: 0a 7d 0a 0a 54 75 70 6c 65 21 28 56 61 6c 75 65 .}..Tuple!(Value
0df0: 2c 22 76 61 6c 22 2c 54 61 62 6c 65 2c 22 63 74 ,"val",Table,"ct
0e00: 78 22 29 20 65 76 61 6c 46 69 6c 65 28 53 2c 20 x") evalFile(S,
0e10: 54 2e 2e 2e 29 28 53 20 66 69 6c 65 6e 61 6d 65 T...)(S filename
0e20: 2c 20 54 20 6c 6e 5f 63 6e 29 0a 7b 0a 09 72 65 , T ln_cn).{..re
0e30: 74 75 72 6e 20 65 76 61 6c 28 20 70 6f 6c 65 6d turn eval( polem
0e40: 79 2e 70 61 72 73 65 2e 70 61 72 73 65 46 69 6c y.parse.parseFil
0e50: 65 28 66 69 6c 65 6e 61 6d 65 2c 20 6c 6e 5f 63 e(filename, ln_c
0e60: 6e 29 20 29 3b 0a 7d 0a 0a 54 75 70 6c 65 21 28 n) );.}..Tuple!(
0e70: 56 61 6c 75 65 2c 22 76 61 6c 22 2c 54 61 62 6c Value,"val",Tabl
0e80: 65 2c 22 63 74 78 22 29 20 65 76 61 6c 28 41 53 e,"ctx") eval(AS
0e90: 54 20 65 29 0a 7b 0a 09 54 61 62 6c 65 20 63 74 T e).{..Table ct
0ea0: 78 20 3d 20 63 72 65 61 74 65 47 6c 6f 62 61 6c x = createGlobal
0eb0: 43 6f 6e 74 65 78 74 28 29 3b 0a 09 72 65 74 75 Context();..retu
0ec0: 72 6e 20 74 79 70 65 6f 66 28 72 65 74 75 72 6e rn typeof(return
0ed0: 29 28 65 76 61 6c 28 65 2c 20 63 74 78 2c 20 66 )(eval(e, ctx, f
0ee0: 61 6c 73 65 2c 20 22 40 76 22 29 2c 20 63 74 78 alse, "@v"), ctx
0ef0: 29 3b 0a 7d 0a 0a 56 61 6c 75 65 20 65 76 61 6c );.}..Value eval
0f00: 28 41 53 54 20 5f 65 2c 20 54 61 62 6c 65 20 63 (AST _e, Table c
0f10: 74 78 2c 20 62 6f 6f 6c 20 73 70 6c 69 74 43 74 tx, bool splitCt
0f20: 78 2c 20 4c 61 79 65 72 20 6c 61 79 29 0a 7b 0a x, Layer lay).{.
0f30: 09 69 66 28 20 61 75 74 6f 20 65 20 3d 20 63 61 .if( auto e = ca
0f40: 73 74 28 53 74 72 4c 69 74 65 72 61 6c 29 5f 65 st(StrLiteral)_e
0f50: 20 29 0a 09 7b 0a 09 09 72 65 74 75 72 6e 20 6e )..{...return n
0f60: 65 77 20 53 74 72 56 61 6c 75 65 28 65 2e 64 61 ew StrValue(e.da
0f70: 74 61 29 3b 0a 09 7d 0a 09 65 6c 73 65 0a 09 69 ta);..}..else..i
0f80: 66 28 20 61 75 74 6f 20 65 20 3d 20 63 61 73 74 f( auto e = cast
0f90: 28 49 6e 74 4c 69 74 65 72 61 6c 29 5f 65 20 29 (IntLiteral)_e )
0fa0: 0a 09 7b 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 ..{...return new
0fb0: 20 49 6e 74 56 61 6c 75 65 28 65 2e 64 61 74 61 IntValue(e.data
0fc0: 29 3b 0a 09 7d 0a 09 65 6c 73 65 0d 0a 09 69 66 );..}..else...if
0fd0: 28 20 61 75 74 6f 20 65 20 3d 20 63 61 73 74 28 ( auto e = cast(
0fe0: 56 61 72 45 78 70 72 65 73 73 69 6f 6e 29 5f 65 VarExpression)_e
0ff0: 20 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e )...{....return
1000: 20 63 74 78 2e 67 65 74 28 65 2e 76 61 72 2c 20 ctx.get(e.var,
1010: 6c 61 79 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 7d lay, e.pos);...}
1020: 0d 0a 09 65 6c 73 65 0d 0a 09 69 66 28 20 61 75 ...else...if( au
1030: 74 6f 20 65 20 3d 20 63 61 73 74 28 4c 61 79 65 to e = cast(Laye
1040: 72 65 64 45 78 70 72 65 73 73 69 6f 6e 29 5f 65 redExpression)_e
1050: 20 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e )...{....return
1060: 20 65 76 61 6c 28 65 2e 65 78 70 72 2c 20 63 74 eval(e.expr, ct
1070: 78 2c 20 66 61 6c 73 65 2c 20 65 2e 6c 61 79 29 x, false, e.lay)
1080: 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 65 0d 0a 09 69 ;...}...else...i
1090: 66 28 20 61 75 74 6f 20 65 20 3d 20 63 61 73 74 f( auto e = cast
10a0: 28 4c 65 74 45 78 70 72 65 73 73 69 6f 6e 29 5f (LetExpression)_
10b0: 65 20 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 20 66 6f e )...{....// fo
10c0: 72 20 6c 65 74 72 65 63 2c 20 77 65 20 6e 65 65 r letrec, we nee
10d0: 64 20 74 68 69 73 2c 20 62 75 74 20 73 68 6f 75 d this, but shou
10e0: 6c 64 20 61 76 6f 69 64 20 6f 76 65 72 77 72 69 ld avoid overwri
10f0: 74 69 6e 67 3f 3f 3f 3f 0d 0a 09 09 2f 2f 20 63 ting????....// c
1100: 74 78 2e 73 65 74 28 65 2e 76 61 72 2c 20 22 40 tx.set(e.var, "@
1110: 76 22 2c 20 6e 65 77 20 55 6e 64 65 66 69 6e 65 v", new Undefine
1120: 64 56 61 6c 75 65 2c 20 65 2e 70 6f 73 29 3b 0d dValue, e.pos);.
1130: 0a 09 09 56 61 6c 75 65 20 76 20 3d 20 65 76 61 ...Value v = eva
1140: 6c 28 65 2e 69 6e 69 74 2c 20 63 74 78 2c 20 74 l(e.init, ctx, t
1150: 72 75 65 2c 20 6c 61 79 29 3b 0d 0a 09 09 69 66 rue, lay);....if
1160: 28 73 70 6c 69 74 43 74 78 29 0d 0a 09 09 09 63 (splitCtx).....c
1170: 74 78 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 tx = new Table(c
1180: 74 78 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e tx, Table.Kind.N
1190: 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b otPropagateSet);
11a0: 0d 0a 09 09 63 74 78 2e 73 65 74 28 65 2e 76 61 ....ctx.set(e.va
11b0: 72 2c 20 28 65 2e 6c 61 79 65 72 2e 6c 65 6e 67 r, (e.layer.leng
11c0: 74 68 20 3f 20 65 2e 6c 61 79 65 72 20 3a 20 6c th ? e.layer : l
11d0: 61 79 29 2c 20 76 2c 20 65 2e 70 6f 73 29 3b 0d ay), v, e.pos);.
11e0: 0a 09 09 72 65 74 75 72 6e 20 65 76 61 6c 28 65 ...return eval(e
11f0: 2e 65 78 70 72 2c 20 63 74 78 2c 20 66 61 6c 73 .expr, ctx, fals
1200: 65 2c 20 6c 61 79 29 3b 0d 0a 09 7d 0d 0a 09 65 e, lay);...}...e
1210: 6c 73 65 0a 09 69 66 28 20 61 75 74 6f 20 65 20 lse..if( auto e
1220: 3d 20 63 61 73 74 28 46 75 6e 63 61 6c 6c 45 78 = cast(FuncallEx
1230: 70 72 65 73 73 69 6f 6e 29 5f 65 20 29 0a 09 7b pression)_e )..{
1240: 0a 09 09 56 61 6c 75 65 20 5f 66 20 3d 20 65 76 ...Value _f = ev
1250: 61 6c 28 65 2e 66 75 6e 2c 20 63 74 78 2c 20 74 al(e.fun, ctx, t
1260: 72 75 65 2c 20 6c 61 79 29 3b 0a 09 09 69 66 28 rue, lay);...if(
1270: 20 61 75 74 6f 20 66 20 3d 20 63 61 73 74 28 46 auto f = cast(F
1280: 75 6e 56 61 6c 75 65 29 5f 66 20 29 20 7b 0a 09 unValue)_f ) {..
1290: 09 09 56 61 6c 75 65 5b 5d 20 61 72 67 73 3b 0a ..Value[] args;.
12a0: 09 09 09 66 6f 72 65 61 63 68 28 61 3b 20 65 2e ...foreach(a; e.
12b0: 61 72 67 73 29 0a 09 09 09 09 61 72 67 73 20 7e args).....args ~
12c0: 3d 20 65 76 61 6c 28 61 2c 20 63 74 78 2c 20 74 = eval(a, ctx, t
12d0: 72 75 65 2c 20 6c 61 79 29 3b 0a 09 09 09 72 65 rue, lay);....re
12e0: 74 75 72 6e 20 66 2e 63 61 6c 6c 28 65 2e 70 6f turn f.call(e.po
12f0: 73 2c 20 6c 61 79 2c 20 61 72 67 73 29 3b 0a 09 s, lay, args);..
1300: 09 7d 20 65 6c 73 65 0a 09 09 09 74 68 72 6f 77 .} else....throw
1310: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
1320: 63 65 70 74 69 6f 6e 28 65 2e 70 6f 73 2c 20 22 ception(e.pos, "
1330: 4e 6f 6e 2d 66 75 6e 63 69 6f 6e 20 69 73 20 61 Non-funcion is a
1340: 70 70 6c 69 65 64 22 29 3b 0a 09 7d 0a 09 65 6c pplied");..}..el
1350: 73 65 0a 09 69 66 28 20 61 75 74 6f 20 65 20 3d se..if( auto e =
1360: 20 63 61 73 74 28 46 75 6e 4c 69 74 65 72 61 6c cast(FunLiteral
1370: 29 5f 65 20 29 0a 09 7b 0a 09 09 72 65 74 75 72 )_e )..{...retur
1380: 6e 20 6e 65 77 20 46 75 6e 56 61 6c 75 65 28 64 n new FunValue(d
1390: 65 6c 65 67 61 74 65 20 56 61 6c 75 65 28 69 6d elegate Value(im
13a0: 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 mutable LexPosit
13b0: 69 6f 6e 20 70 6f 73 2c 20 73 74 72 69 6e 67 20 ion pos, string
13c0: 6c 61 79 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 lay, Value[] arg
13d0: 73 29 7b 0a 09 09 09 69 66 28 20 65 2e 70 61 72 s){....if( e.par
13e0: 61 6d 73 2e 6c 65 6e 67 74 68 20 21 3d 20 61 72 ams.length != ar
13f0: 67 73 2e 6c 65 6e 67 74 68 20 29 0a 09 09 09 09 gs.length ).....
1400: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 throw genex!Runt
1410: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 65 2e 70 imeException(e.p
1420: 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 41 72 67 os, sprintf!"Arg
1430: 75 6d 65 6e 74 20 4e 75 6d 62 65 72 20 4d 69 73 ument Number Mis
1440: 6d 61 74 63 68 20 28 25 64 20 72 65 71 75 69 72 match (%d requir
1450: 65 64 20 62 75 74 20 25 64 20 67 69 76 65 6e 29 ed but %d given)
1460: 22 0a 09 09 09 09 09 28 65 2e 70 61 72 61 6d 73 "......(e.params
1470: 2e 6c 65 6e 67 74 68 2c 20 61 72 67 73 2e 6c 65 .length, args.le
1480: 6e 67 74 68 29 29 3b 0a 09 09 09 54 61 62 6c 65 ngth));....Table
1490: 20 63 74 78 4e 65 6f 20 3d 20 6e 65 77 20 54 61 ctxNeo = new Ta
14a0: 62 6c 65 28 63 74 78 2c 20 54 61 62 6c 65 2e 4b ble(ctx, Table.K
14b0: 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 61 74 65 ind.NotPropagate
14c0: 53 65 74 29 3b 0a 09 09 09 66 6f 72 65 61 63 68 Set);....foreach
14d0: 28 69 2c 70 3b 20 65 2e 70 61 72 61 6d 73 29 0a (i,p; e.params).
14e0: 09 09 09 09 63 74 78 4e 65 6f 2e 73 65 74 28 70 ....ctxNeo.set(p
14f0: 2c 20 6c 61 79 2c 20 61 72 67 73 5b 69 5d 29 3b , lay, args[i]);
1500: 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 76 61 6c .....return eval
1510: 28 65 2e 66 75 6e 62 6f 64 79 2c 20 63 74 78 4e (e.funbody, ctxN
1520: 65 6f 2c 20 74 72 75 65 2c 20 6c 61 79 29 3b 0a eo, true, lay);.
1530: 09 09 7d 29 3b 0a 09 7d 0a 09 74 68 72 6f 77 20 ..});..}..throw
1540: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
1550: 65 70 74 69 6f 6e 28 5f 65 2e 70 6f 73 2c 20 73 eption(_e.pos, s
1560: 70 72 69 6e 74 66 21 22 55 6e 6b 6e 6f 77 6e 20 printf!"Unknown
1570: 4b 69 6e 64 20 6f 66 20 45 78 70 72 65 73 73 69 Kind of Expressi
1580: 6f 6e 20 25 73 22 28 74 79 70 65 69 64 28 5f 65 on %s"(typeid(_e
1590: 29 29 29 3b 0a 7d 0a 0d 0a 75 6e 69 74 74 65 73 )));.}...unittes
15a0: 74 0a 7b 0d 0a 09 61 75 74 6f 20 72 20 3d 20 61 t.{...auto r = a
15b0: 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 ssert_nothrow( e
15c0: 76 61 6c 53 74 72 69 6e 67 28 60 76 61 72 20 78 valString(`var x
15d0: 20 3d 20 32 31 3b 20 78 20 2b 20 78 2a 78 3b 60 = 21; x + x*x;`
15e0: 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 65 71 28 ) );..assert_eq(
15f0: 20 72 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 r.val, new IntV
1600: 61 6c 75 65 28 42 69 67 49 6e 74 28 32 31 2b 32 alue(BigInt(21+2
1610: 31 2a 32 31 29 29 20 29 3b 0a 09 61 73 73 65 72 1*21)) );..asser
1620: 74 5f 65 71 28 20 72 2e 63 74 78 2e 67 65 74 28 t_eq( r.ctx.get(
1630: 22 78 22 2c 22 40 76 22 29 2c 20 6e 65 77 20 49 "x","@v"), new I
1640: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 32 ntValue(BigInt(2
1650: 31 29 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 6e 1)) );..assert_n
1660: 6f 74 68 72 6f 77 28 20 72 2e 63 74 78 2e 67 65 othrow( r.ctx.ge
1670: 74 28 22 78 22 2c 22 40 76 22 29 20 29 3b 0a 09 t("x","@v") );..
1680: 61 73 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e assert_throw!Run
1690: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 72 timeException( r
16a0: 2e 63 74 78 2e 67 65 74 28 22 79 22 2c 22 40 76 .ctx.get("y","@v
16b0: 22 29 20 29 3b 0a 7d 0a 75 6e 69 74 74 65 73 74 ") );.}.unittest
16c0: 0d 0a 7b 0d 0a 09 61 75 74 6f 20 72 20 3d 20 61 ..{...auto r = a
16d0: 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 ssert_nothrow( e
16e0: 76 61 6c 53 74 72 69 6e 67 28 60 76 61 72 20 78 valString(`var x
16f0: 20 3d 20 32 31 3b 20 76 61 72 20 78 20 3d 20 78 = 21; var x = x
1700: 20 2b 20 78 2a 78 3b 60 29 20 29 3b 0d 0a 09 61 + x*x;`) );...a
1710: 73 73 65 72 74 5f 65 71 28 20 72 2e 76 61 6c 2c ssert_eq( r.val,
1720: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
1730: 67 49 6e 74 28 32 31 2b 32 31 2a 32 31 29 29 20 gInt(21+21*21))
1740: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
1750: 72 2e 63 74 78 2e 67 65 74 28 22 78 22 2c 22 40 r.ctx.get("x","@
1760: 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 v"), new IntValu
1770: 65 28 42 69 67 49 6e 74 28 32 31 2b 32 31 2a 32 e(BigInt(21+21*2
1780: 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 1)) );...assert_
1790: 6e 6f 74 68 72 6f 77 28 20 72 2e 63 74 78 2e 67 nothrow( r.ctx.g
17a0: 65 74 28 22 78 22 2c 22 40 76 22 29 20 29 3b 0d et("x","@v") );.
17b0: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 52 ..assert_throw!R
17c0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
17d0: 20 72 2e 63 74 78 2e 67 65 74 28 22 79 22 2c 22 r.ctx.get("y","
17e0: 40 76 22 29 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 @v") );..}..unit
17f0: 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 test..{...assert
1800: 5f 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 _eq( evalString(
1810: 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 79 3d `let x=1; let y=
1820: 28 6c 65 74 20 78 3d 32 29 3b 20 78 60 29 2e 76 (let x=2); x`).v
1830: 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 al, new IntValue
1840: 28 42 69 67 49 6e 74 28 31 29 29 20 29 3b 20 0d (BigInt(1)) ); .
1850: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 ..assert_eq( eva
1860: 6c 53 74 72 69 6e 67 28 60 6c 65 74 20 78 3d 31 lString(`let x=1
1870: 3b 20 6c 65 74 20 79 3d 28 6c 65 74 20 78 3d 32 ; let y=(let x=2
1880: 3b 66 75 6e 28 29 7b 78 7d 29 3b 20 79 28 29 60 ;fun(){x}); y()`
1890: 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 ).val, new IntVa
18a0: 6c 75 65 28 42 69 67 49 6e 74 28 32 29 29 20 29 lue(BigInt(2)) )
18b0: 3b 20 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0d ; ..}..unittest.
18c0: 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 .{...assert_eq(
18d0: 65 76 61 6c 53 74 72 69 6e 67 28 60 40 61 20 78 evalString(`@a x
18e0: 3d 31 3b 20 40 62 20 78 3d 32 3b 20 40 61 28 78 =1; @b x=2; @a(x
18f0: 29 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 )`).val, new Int
1900: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 Value(BigInt(1))
1910: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
1920: 20 65 76 61 6c 53 74 72 69 6e 67 28 60 40 61 20 evalString(`@a
1930: 78 3d 31 3b 20 40 62 20 78 3d 32 3b 20 40 62 28 x=1; @b x=2; @b(
1940: 78 29 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e x)`).val, new In
1950: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 32 29 tValue(BigInt(2)
1960: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
1970: 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 6c 65 ( evalString(`le
1980: 74 20 78 3d 31 3b 20 6c 65 74 20 5f 20 3d 20 28 t x=1; let _ = (
1990: 40 61 20 78 3d 32 3b 32 29 3b 20 78 60 29 2e 76 @a x=2;2); x`).v
19a0: 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 al, new IntValue
19b0: 28 42 69 67 49 6e 74 28 31 29 29 20 29 3b 0d 0a (BigInt(1)) );..
19c0: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 45 72 .assert_throw!Er
19d0: 72 6f 72 28 20 65 76 61 6c 53 74 72 69 6e 67 28 ror( evalString(
19e0: 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 5f 20 `let x=1; let _
19f0: 3d 20 28 40 61 20 78 3d 32 3b 32 29 3b 20 40 61 = (@a x=2;2); @a
1a00: 28 78 29 60 29 20 29 3b 0d 0a 7d 0d 0a 0a 75 6e (x)`) );..}...un
1a10: 69 74 74 65 73 74 0a 7b 0a 09 61 73 73 65 72 74 ittest.{..assert
1a20: 5f 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 _eq( evalString(
1a30: 60 76 61 72 20 66 61 63 20 3d 20 66 75 6e 28 78 `var fac = fun(x
1a40: 29 7b 0a 09 09 69 66 28 78 29 0a 09 09 09 7b 20 ){...if(x)....{
1a50: 78 2a 66 61 63 28 78 2d 31 29 3b 20 7d 0a 09 09 x*fac(x-1); }...
1a60: 65 6c 73 65 0a 09 09 09 7b 20 31 3b 20 7d 3b 0a else....{ 1; };.
1a70: 09 7d 3b 0a 09 66 61 63 28 31 30 29 3b 60 29 2e .};..fac(10);`).
1a80: 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 val, new IntValu
1a90: 65 28 42 69 67 49 6e 74 28 31 30 2a 39 2a 38 2a e(BigInt(10*9*8*
1aa0: 35 30 34 30 29 29 29 3b 0a 09 61 73 73 65 72 74 5040)));..assert
1ab0: 5f 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 _eq( evalString(
1ac0: 60 76 61 72 20 66 69 62 20 3d 20 66 75 6e 28 78 `var fib = fun(x
1ad0: 29 7b 0a 09 09 69 66 28 78 3c 32 29 0a 09 09 09 ){...if(x<2)....
1ae0: 7b 20 31 3b 20 7d 0a 09 09 65 6c 73 65 0a 09 09 { 1; }...else...
1af0: 09 7b 20 66 69 62 28 78 2d 31 29 20 2b 20 66 69 .{ fib(x-1) + fi
1b00: 62 28 78 2d 32 29 3b 20 7d 3b 0a 09 7d 3b 0a 09 b(x-2); };..};..
1b10: 66 69 62 28 31 30 29 3b 60 29 2e 76 61 6c 2c 20 fib(10);`).val,
1b20: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
1b30: 49 6e 74 28 38 39 29 29 29 3b 0a 7d 0a 0d 0a 75 Int(89)));.}...u
1b40: 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 nittest..{...ass
1b50: 65 72 74 5f 74 68 72 6f 77 21 54 68 72 6f 77 61 ert_throw!Throwa
1b60: 62 6c 65 28 20 65 76 61 6c 53 74 72 69 6e 67 28 ble( evalString(
1b70: 60 40 73 20 22 2b 22 3d 66 75 6e 28 78 2c 79 29 `@s "+"=fun(x,y)
1b80: 7b 78 2d 79 7d 3b 40 73 28 31 2b 32 29 60 29 20 {x-y};@s(1+2)`)
1b90: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
1ba0: 65 76 61 6c 53 74 72 69 6e 67 28 60 40 73 20 22 evalString(`@s "
1bb0: 2b 22 3d 66 75 6e 28 78 2c 79 29 7b 78 2d 79 7d +"=fun(x,y){x-y}
1bc0: 3b 31 2b 32 60 29 2e 76 61 6c 2c 20 6e 65 77 20 ;1+2`).val, new
1bd0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
1be0: 33 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 3)) );...assert_
1bf0: 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 eq( evalString(`
1c00: 40 73 20 22 2b 22 3d 66 75 6e 28 78 2c 79 29 7b @s "+"=fun(x,y){
1c10: 40 76 28 40 73 28 78 29 2d 40 73 28 79 29 29 7d @v(@s(x)-@s(y))}
1c20: 3b 31 2b 32 60 29 2e 76 61 6c 2c 20 6e 65 77 20 ;1+2`).val, new
1c30: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
1c40: 33 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 3)) );...assert_
1c50: 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 eq( evalString(`
1c60: 40 73 20 22 2b 22 3d 66 75 6e 28 78 2c 79 29 7b @s "+"=fun(x,y){
1c70: 40 76 28 40 73 28 78 29 2d 40 73 28 79 29 29 7d @v(@s(x)-@s(y))}
1c80: 3b 40 73 28 31 2b 32 29 60 29 2e 76 61 6c 2c 20 ;@s(1+2)`).val,
1c90: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
1ca0: 49 6e 74 28 2d 31 29 29 20 29 3b 0d 0a 7d Int(-1)) );..}