Artifact bcefce47daacc4a5e6725cb32d499b73e6f1ac11:
0000: ef bb bf 2f 2a 2a 0d 0a 20 2a 20 41 75 74 68 6f .../**.. * Autho
0010: 72 73 3a 20 6b 2e 69 6e 61 62 61 0d 0a 20 2a 20 rs: k.inaba.. *
0020: 4c 69 63 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e License: NYSL 0.
0030: 39 39 38 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 9982 http://www.
0040: 6b 6d 6f 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f kmonos.net/nysl/
0050: 0d 0a 20 2a 0d 0a 20 2a 20 45 76 61 6c 75 61 74 .. *.. * Evaluat
0060: 6f 72 20 66 6f 72 20 50 6f 6c 65 6d 79 20 70 72 or for Polemy pr
0070: 6f 67 72 61 6d 6d 69 6e 67 20 6c 61 6e 67 75 61 ogramming langua
0080: 67 65 2e 0d 0a 20 2a 2f 0d 0a 6d 6f 64 75 6c 65 ge... */..module
0090: 20 70 6f 6c 65 6d 79 2e 65 76 61 6c 3b 0d 0a 69 polemy.eval;..i
00a0: 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 5f 63 6f mport polemy._co
00b0: 6d 6d 6f 6e 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f mmon;..import po
00c0: 6c 65 6d 79 2e 6c 65 78 20 3a 20 4c 65 78 50 6f lemy.lex : LexPo
00d0: 73 69 74 69 6f 6e 3b 0d 0a 69 6d 70 6f 72 74 20 sition;..import
00e0: 70 6f 6c 65 6d 79 2e 61 73 74 3b 0d 0a 69 6d 70 polemy.ast;..imp
00f0: 6f 72 74 20 70 6f 6c 65 6d 79 2e 70 61 72 73 65 ort polemy.parse
0100: 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 ;..import polemy
0110: 2e 76 61 6c 75 65 3b 0d 0a 69 6d 70 6f 72 74 20 .value;..import
0120: 73 74 64 2e 74 79 70 65 63 6f 6e 73 3b 0d 0a 69 std.typecons;..i
0130: 6d 70 6f 72 74 20 73 74 64 2e 73 74 64 69 6f 3b mport std.stdio;
0140: 0d 0a 0d 0a 43 6f 6e 74 65 78 74 20 63 72 65 61 ....Context crea
0150: 74 65 47 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 28 teGlobalContext(
0160: 29 0d 0a 7b 0d 0a 09 61 75 74 6f 20 63 74 78 20 )..{...auto ctx
0170: 3d 20 6e 65 77 20 43 6f 6e 74 65 78 74 3b 0d 0a = new Context;..
0180: 09 63 74 78 2e 61 64 64 28 22 2b 22 2c 20 6e 65 .ctx.add("+", ne
0190: 77 20 46 75 6e 56 61 6c 75 65 28 64 65 6c 65 67 w FunValue(deleg
01a0: 61 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 74 61 ate Value(immuta
01b0: 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 ble LexPosition
01c0: 70 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 pos, Value[] arg
01d0: 73 29 7b 0d 0a 09 09 69 66 28 20 61 72 67 73 2e s){....if( args.
01e0: 6c 65 6e 67 74 68 20 21 3d 20 32 20 29 0d 0a 09 length != 2 )...
01f0: 09 09 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 ..throw new Pole
0200: 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 myRuntimeExcepti
0210: 6f 6e 28 22 2b 20 74 61 6b 65 73 20 74 77 6f 20 on("+ takes two
0220: 61 72 67 75 6d 65 6e 74 73 21 21 20 5b 22 7e 74 arguments!! ["~t
0230: 6f 21 73 74 72 69 6e 67 28 70 6f 73 29 7e 22 5d o!string(pos)~"]
0240: 22 29 3b 0d 0a 09 09 69 66 28 20 61 75 74 6f 20 ");....if( auto
0250: 78 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c 75 x = cast(IntValu
0260: 65 29 61 72 67 73 5b 30 5d 20 29 0d 0a 09 09 09 e)args[0] ).....
0270: 69 66 28 20 61 75 74 6f 20 79 20 3d 20 63 61 73 if( auto y = cas
0280: 74 28 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b t(IntValue)args[
0290: 31 5d 20 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 1] )......return
02a0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 78 2e new IntValue(x.
02b0: 64 61 74 61 2b 79 2e 64 61 74 61 29 3b 0d 0a 09 data+y.data);...
02c0: 09 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 6d .throw new Polem
02d0: 79 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f yRuntimeExceptio
02e0: 6e 28 22 63 61 6e 6e 6f 74 20 61 64 64 20 6e 6f n("cannot add no
02f0: 6e 2d 69 6e 74 65 67 65 72 73 20 5b 22 7e 74 6f n-integers ["~to
0300: 21 73 74 72 69 6e 67 28 70 6f 73 29 7e 22 5d 22 !string(pos)~"]"
0310: 29 3b 0d 0a 09 7d 29 29 3b 0d 0a 09 63 74 78 2e );...}));...ctx.
0320: 61 64 64 28 22 2d 22 2c 20 6e 65 77 20 46 75 6e add("-", new Fun
0330: 56 61 6c 75 65 28 64 65 6c 65 67 61 74 65 20 56 Value(delegate V
0340: 61 6c 75 65 28 69 6d 6d 75 74 61 62 6c 65 20 4c alue(immutable L
0350: 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 exPosition pos,
0360: 56 61 6c 75 65 5b 5d 20 61 72 67 73 29 7b 0d 0a Value[] args){..
0370: 09 09 69 66 28 20 61 72 67 73 2e 6c 65 6e 67 74 ..if( args.lengt
0380: 68 20 21 3d 20 32 20 29 0d 0a 09 09 09 74 68 72 h != 2 ).....thr
0390: 6f 77 20 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e ow new PolemyRun
03a0: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 22 2d timeException("-
03b0: 20 74 61 6b 65 73 20 74 77 6f 20 61 72 67 75 6d takes two argum
03c0: 65 6e 74 73 21 21 20 5b 22 7e 74 6f 21 73 74 72 ents!! ["~to!str
03d0: 69 6e 67 28 70 6f 73 29 7e 22 5d 22 29 3b 0d 0a ing(pos)~"]");..
03e0: 09 09 69 66 28 20 61 75 74 6f 20 78 20 3d 20 63 ..if( auto x = c
03f0: 61 73 74 28 49 6e 74 56 61 6c 75 65 29 61 72 67 ast(IntValue)arg
0400: 73 5b 30 5d 20 29 0d 0a 09 09 09 69 66 28 20 61 s[0] ).....if( a
0410: 75 74 6f 20 79 20 3d 20 63 61 73 74 28 49 6e 74 uto y = cast(Int
0420: 56 61 6c 75 65 29 61 72 67 73 5b 31 5d 20 29 0d Value)args[1] ).
0430: 0a 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
0440: 49 6e 74 56 61 6c 75 65 28 78 2e 64 61 74 61 2d IntValue(x.data-
0450: 79 2e 64 61 74 61 29 3b 0d 0a 09 09 74 68 72 6f y.data);....thro
0460: 77 20 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 w new PolemyRunt
0470: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 22 63 61 imeException("ca
0480: 6e 6e 6f 74 20 61 64 64 20 6e 6f 6e 2d 69 6e 74 nnot add non-int
0490: 65 67 65 72 73 20 5b 22 7e 74 6f 21 73 74 72 69 egers ["~to!stri
04a0: 6e 67 28 70 6f 73 29 7e 22 5d 22 29 3b 0d 0a 09 ng(pos)~"]");...
04b0: 7d 29 29 3b 0d 0a 09 63 74 78 2e 61 64 64 28 22 }));...ctx.add("
04c0: 2a 22 2c 20 6e 65 77 20 46 75 6e 56 61 6c 75 65 *", new FunValue
04d0: 28 64 65 6c 65 67 61 74 65 20 56 61 6c 75 65 28 (delegate Value(
04e0: 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 immutable LexPos
04f0: 69 74 69 6f 6e 20 70 6f 73 2c 20 56 61 6c 75 65 ition pos, Value
0500: 5b 5d 20 61 72 67 73 29 7b 0d 0a 09 09 69 66 28 [] args){....if(
0510: 20 61 72 67 73 2e 6c 65 6e 67 74 68 20 21 3d 20 args.length !=
0520: 32 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 6e 65 2 ).....throw ne
0530: 77 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 45 w PolemyRuntimeE
0540: 78 63 65 70 74 69 6f 6e 28 22 2a 20 74 61 6b 65 xception("* take
0550: 73 20 74 77 6f 20 61 72 67 75 6d 65 6e 74 73 21 s two arguments!
0560: 21 20 5b 22 7e 74 6f 21 73 74 72 69 6e 67 28 70 ! ["~to!string(p
0570: 6f 73 29 7e 22 5d 22 29 3b 0d 0a 09 09 69 66 28 os)~"]");....if(
0580: 20 61 75 74 6f 20 78 20 3d 20 63 61 73 74 28 49 auto x = cast(I
0590: 6e 74 56 61 6c 75 65 29 61 72 67 73 5b 30 5d 20 ntValue)args[0]
05a0: 29 0d 0a 09 09 09 69 66 28 20 61 75 74 6f 20 79 ).....if( auto y
05b0: 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c 75 65 = cast(IntValue
05c0: 29 61 72 67 73 5b 31 5d 20 29 0d 0a 09 09 09 09 )args[1] )......
05d0: 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 return new IntVa
05e0: 6c 75 65 28 78 2e 64 61 74 61 2a 79 2e 64 61 74 lue(x.data*y.dat
05f0: 61 29 3b 0d 0a 09 09 74 68 72 6f 77 20 6e 65 77 a);....throw new
0600: 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 PolemyRuntimeEx
0610: 63 65 70 74 69 6f 6e 28 22 63 61 6e 6e 6f 74 20 ception("cannot
0620: 61 64 64 20 6e 6f 6e 2d 69 6e 74 65 67 65 72 73 add non-integers
0630: 20 5b 22 7e 74 6f 21 73 74 72 69 6e 67 28 70 6f ["~to!string(po
0640: 73 29 7e 22 5d 22 29 3b 0d 0a 09 7d 29 29 3b 0d s)~"]");...}));.
0650: 0a 09 63 74 78 2e 61 64 64 28 22 2f 22 2c 20 6e ..ctx.add("/", n
0660: 65 77 20 46 75 6e 56 61 6c 75 65 28 64 65 6c 65 ew FunValue(dele
0670: 67 61 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 74 gate Value(immut
0680: 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e able LexPosition
0690: 20 70 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 61 72 pos, Value[] ar
06a0: 67 73 29 7b 0d 0a 09 09 69 66 28 20 61 72 67 73 gs){....if( args
06b0: 2e 6c 65 6e 67 74 68 20 21 3d 20 32 20 29 0d 0a .length != 2 )..
06c0: 09 09 09 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c ...throw new Pol
06d0: 65 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 70 74 emyRuntimeExcept
06e0: 69 6f 6e 28 22 2f 20 74 61 6b 65 73 20 74 77 6f ion("/ takes two
06f0: 20 61 72 67 75 6d 65 6e 74 73 21 21 20 5b 22 7e arguments!! ["~
0700: 74 6f 21 73 74 72 69 6e 67 28 70 6f 73 29 7e 22 to!string(pos)~"
0710: 5d 22 29 3b 0d 0a 09 09 69 66 28 20 61 75 74 6f ]");....if( auto
0720: 20 78 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c x = cast(IntVal
0730: 75 65 29 61 72 67 73 5b 30 5d 20 29 0d 0a 09 09 ue)args[0] )....
0740: 09 69 66 28 20 61 75 74 6f 20 79 20 3d 20 63 61 .if( auto y = ca
0750: 73 74 28 49 6e 74 56 61 6c 75 65 29 61 72 67 73 st(IntValue)args
0760: 5b 31 5d 20 29 0d 0a 09 09 09 09 72 65 74 75 72 [1] )......retur
0770: 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 78 n new IntValue(x
0780: 2e 64 61 74 61 2f 79 2e 64 61 74 61 29 3b 0d 0a .data/y.data);..
0790: 09 09 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 ..throw new Pole
07a0: 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 myRuntimeExcepti
07b0: 6f 6e 28 22 63 61 6e 6e 6f 74 20 61 64 64 20 6e on("cannot add n
07c0: 6f 6e 2d 69 6e 74 65 67 65 72 73 20 5b 22 7e 74 on-integers ["~t
07d0: 6f 21 73 74 72 69 6e 67 28 70 6f 73 29 7e 22 5d o!string(pos)~"]
07e0: 22 29 3b 0d 0a 09 7d 29 29 3b 0d 0a 09 63 74 78 ");...}));...ctx
07f0: 2e 61 64 64 28 22 3c 22 2c 20 6e 65 77 20 46 75 .add("<", new Fu
0800: 6e 56 61 6c 75 65 28 64 65 6c 65 67 61 74 65 20 nValue(delegate
0810: 56 61 6c 75 65 28 69 6d 6d 75 74 61 62 6c 65 20 Value(immutable
0820: 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c LexPosition pos,
0830: 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 29 7b 0d Value[] args){.
0840: 0a 09 09 69 66 28 20 61 72 67 73 2e 6c 65 6e 67 ...if( args.leng
0850: 74 68 20 21 3d 20 32 20 29 0d 0a 09 09 09 74 68 th != 2 ).....th
0860: 72 6f 77 20 6e 65 77 20 50 6f 6c 65 6d 79 52 75 row new PolemyRu
0870: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 22 ntimeException("
0880: 3c 20 74 61 6b 65 73 20 74 77 6f 20 61 72 67 75 < takes two argu
0890: 6d 65 6e 74 73 21 21 20 5b 22 7e 74 6f 21 73 74 ments!! ["~to!st
08a0: 72 69 6e 67 28 70 6f 73 29 7e 22 5d 22 29 3b 0d ring(pos)~"]");.
08b0: 0a 09 09 69 66 28 20 61 75 74 6f 20 78 20 3d 20 ...if( auto x =
08c0: 63 61 73 74 28 49 6e 74 56 61 6c 75 65 29 61 72 cast(IntValue)ar
08d0: 67 73 5b 30 5d 20 29 0d 0a 09 09 09 69 66 28 20 gs[0] ).....if(
08e0: 61 75 74 6f 20 79 20 3d 20 63 61 73 74 28 49 6e auto y = cast(In
08f0: 74 56 61 6c 75 65 29 61 72 67 73 5b 31 5d 20 29 tValue)args[1] )
0900: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 ......return new
0910: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
0920: 28 74 6f 21 69 6e 74 28 78 2e 64 61 74 61 20 3c (to!int(x.data <
0930: 20 79 2e 64 61 74 61 29 29 29 3b 0d 0a 09 09 74 y.data)));....t
0940: 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 6d 79 52 hrow new PolemyR
0950: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
0960: 22 63 61 6e 6e 6f 74 20 61 64 64 20 6e 6f 6e 2d "cannot add non-
0970: 69 6e 74 65 67 65 72 73 20 5b 22 7e 74 6f 21 73 integers ["~to!s
0980: 74 72 69 6e 67 28 70 6f 73 29 7e 22 5d 22 29 3b tring(pos)~"]");
0990: 0d 0a 09 7d 29 29 3b 0d 0a 09 63 74 78 2e 61 64 ...}));...ctx.ad
09a0: 64 28 22 3e 22 2c 20 6e 65 77 20 46 75 6e 56 61 d(">", new FunVa
09b0: 6c 75 65 28 64 65 6c 65 67 61 74 65 20 56 61 6c lue(delegate Val
09c0: 75 65 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 ue(immutable Lex
09d0: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 56 61 Position pos, Va
09e0: 6c 75 65 5b 5d 20 61 72 67 73 29 7b 0d 0a 09 09 lue[] args){....
09f0: 69 66 28 20 61 72 67 73 2e 6c 65 6e 67 74 68 20 if( args.length
0a00: 21 3d 20 32 20 29 0d 0a 09 09 09 74 68 72 6f 77 != 2 ).....throw
0a10: 20 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 69 new PolemyRunti
0a20: 6d 65 45 78 63 65 70 74 69 6f 6e 28 22 3e 20 74 meException("> t
0a30: 61 6b 65 73 20 74 77 6f 20 61 72 67 75 6d 65 6e akes two argumen
0a40: 74 73 21 21 20 5b 22 7e 74 6f 21 73 74 72 69 6e ts!! ["~to!strin
0a50: 67 28 70 6f 73 29 7e 22 5d 22 29 3b 0d 0a 09 09 g(pos)~"]");....
0a60: 69 66 28 20 61 75 74 6f 20 78 20 3d 20 63 61 73 if( auto x = cas
0a70: 74 28 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b t(IntValue)args[
0a80: 30 5d 20 29 0d 0a 09 09 09 69 66 28 20 61 75 74 0] ).....if( aut
0a90: 6f 20 79 20 3d 20 63 61 73 74 28 49 6e 74 56 61 o y = cast(IntVa
0aa0: 6c 75 65 29 61 72 67 73 5b 31 5d 20 29 0d 0a 09 lue)args[1] )...
0ab0: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 6e ...return new In
0ac0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 74 6f tValue(BigInt(to
0ad0: 21 69 6e 74 28 78 2e 64 61 74 61 3e 79 2e 64 61 !int(x.data>y.da
0ae0: 74 61 29 29 29 3b 0d 0a 09 09 74 68 72 6f 77 20 ta)));....throw
0af0: 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d new PolemyRuntim
0b00: 65 45 78 63 65 70 74 69 6f 6e 28 22 63 61 6e 6e eException("cann
0b10: 6f 74 20 61 64 64 20 6e 6f 6e 2d 69 6e 74 65 67 ot add non-integ
0b20: 65 72 73 20 5b 22 7e 74 6f 21 73 74 72 69 6e 67 ers ["~to!string
0b30: 28 70 6f 73 29 7e 22 5d 22 29 3b 0d 0a 09 7d 29 (pos)~"]");...})
0b40: 29 3b 0d 0a 09 63 74 78 2e 61 64 64 28 22 70 72 );...ctx.add("pr
0b50: 69 6e 74 22 2c 20 6e 65 77 20 46 75 6e 56 61 6c int", new FunVal
0b60: 75 65 28 64 65 6c 65 67 61 74 65 20 56 61 6c 75 ue(delegate Valu
0b70: 65 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 e(immutable LexP
0b80: 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 56 61 6c osition pos, Val
0b90: 75 65 5b 5d 20 61 72 67 73 29 7b 0d 0a 09 09 66 ue[] args){....f
0ba0: 6f 72 65 61 63 68 28 61 3b 20 61 72 67 73 29 0d oreach(a; args).
0bb0: 0a 09 09 09 77 72 69 74 65 28 61 29 3b 0d 0a 09 ....write(a);...
0bc0: 09 77 72 69 74 65 6c 6e 28 22 22 29 3b 0d 0a 09 .writeln("");...
0bd0: 09 72 65 74 75 72 6e 20 6e 65 77 20 55 6e 64 65 .return new Unde
0be0: 66 69 6e 65 64 56 61 6c 75 65 3b 0d 0a 09 7d 29 finedValue;...})
0bf0: 29 3b 0d 0a 09 63 74 78 2e 61 64 64 28 22 69 66 );...ctx.add("if
0c00: 22 2c 20 6e 65 77 20 46 75 6e 56 61 6c 75 65 28 ", new FunValue(
0c10: 64 65 6c 65 67 61 74 65 20 56 61 6c 75 65 28 69 delegate Value(i
0c20: 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 mmutable LexPosi
0c30: 74 69 6f 6e 20 70 6f 73 2c 20 56 61 6c 75 65 5b tion pos, Value[
0c40: 5d 20 61 72 67 73 29 7b 0d 0a 09 09 69 66 28 20 ] args){....if(
0c50: 61 72 67 73 2e 6c 65 6e 67 74 68 20 21 3d 20 33 args.length != 3
0c60: 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 6e 65 77 ).....throw new
0c70: 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 PolemyRuntimeEx
0c80: 63 65 70 74 69 6f 6e 28 22 69 66 20 74 61 6b 65 ception("if take
0c90: 73 20 74 68 72 65 65 20 61 72 67 75 6d 65 6e 74 s three argument
0ca0: 73 21 21 20 5b 22 7e 74 6f 21 73 74 72 69 6e 67 s!! ["~to!string
0cb0: 28 70 6f 73 29 7e 22 5d 22 29 3b 0d 0a 09 09 69 (pos)~"]");....i
0cc0: 66 28 20 61 75 74 6f 20 78 20 3d 20 63 61 73 74 f( auto x = cast
0cd0: 28 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b 30 (IntValue)args[0
0ce0: 5d 20 29 0d 0a 09 09 69 66 28 20 61 75 74 6f 20 ] )....if( auto
0cf0: 66 74 20 3d 20 63 61 73 74 28 46 75 6e 56 61 6c ft = cast(FunVal
0d00: 75 65 29 61 72 67 73 5b 31 5d 20 29 0d 0a 09 09 ue)args[1] )....
0d10: 69 66 28 20 61 75 74 6f 20 66 65 20 3d 20 63 61 if( auto fe = ca
0d20: 73 74 28 46 75 6e 56 61 6c 75 65 29 61 72 67 73 st(FunValue)args
0d30: 5b 32 5d 20 29 0d 0a 09 09 09 72 65 74 75 72 6e [2] ).....return
0d40: 20 28 78 2e 64 61 74 61 20 3d 3d 20 30 20 3f 20 (x.data == 0 ?
0d50: 66 65 20 3a 20 66 74 29 2e 63 61 6c 6c 28 70 6f fe : ft).call(po
0d60: 73 2c 5b 5d 29 3b 0d 0a 09 09 74 68 72 6f 77 20 s,[]);....throw
0d70: 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d new PolemyRuntim
0d80: 65 45 78 63 65 70 74 69 6f 6e 28 22 74 79 70 65 eException("type
0d90: 20 6d 69 73 6d 61 74 63 68 20 69 6e 20 69 66 20 mismatch in if
0da0: 5b 22 7e 74 6f 21 73 74 72 69 6e 67 28 70 6f 73 ["~to!string(pos
0db0: 29 7e 22 5d 22 29 3b 0d 0a 09 7d 29 29 3b 0d 0a )~"]");...}));..
0dc0: 09 72 65 74 75 72 6e 20 63 74 78 3b 0d 0a 7d 0d .return ctx;..}.
0dd0: 0a 0d 0a 54 75 70 6c 65 21 28 56 61 6c 75 65 2c ...Tuple!(Value,
0de0: 22 76 61 6c 22 2c 43 6f 6e 74 65 78 74 2c 22 63 "val",Context,"c
0df0: 74 78 22 29 20 65 76 61 6c 53 74 72 69 6e 67 28 tx") evalString(
0e00: 54 2e 2e 2e 29 28 54 20 70 61 72 61 6d 73 29 0d T...)(T params).
0e10: 0a 7b 0d 0a 09 72 65 74 75 72 6e 20 65 76 61 6c .{...return eval
0e20: 28 20 70 61 72 73 65 72 46 72 6f 6d 53 74 72 69 ( parserFromStri
0e30: 6e 67 28 70 61 72 61 6d 73 29 2e 70 61 72 73 65 ng(params).parse
0e40: 50 72 6f 67 72 61 6d 28 29 20 29 3b 0d 0a 7d 0d Program() );..}.
0e50: 0a 0d 0a 54 75 70 6c 65 21 28 56 61 6c 75 65 2c ...Tuple!(Value,
0e60: 22 76 61 6c 22 2c 43 6f 6e 74 65 78 74 2c 22 63 "val",Context,"c
0e70: 74 78 22 29 20 65 76 61 6c 46 69 6c 65 28 54 2e tx") evalFile(T.
0e80: 2e 2e 29 28 54 20 70 61 72 61 6d 73 29 0d 0a 7b ..)(T params)..{
0e90: 0d 0a 09 72 65 74 75 72 6e 20 65 76 61 6c 28 20 ...return eval(
0ea0: 70 61 72 73 65 72 46 72 6f 6d 46 69 6c 65 28 70 parserFromFile(p
0eb0: 61 72 61 6d 73 29 2e 70 61 72 73 65 50 72 6f 67 arams).parseProg
0ec0: 72 61 6d 28 29 20 29 3b 0d 0a 7d 0d 0a 0d 0a 54 ram() );..}....T
0ed0: 75 70 6c 65 21 28 56 61 6c 75 65 2c 22 76 61 6c uple!(Value,"val
0ee0: 22 2c 43 6f 6e 74 65 78 74 2c 22 63 74 78 22 29 ",Context,"ctx")
0ef0: 20 65 76 61 6c 28 50 72 6f 67 72 61 6d 20 70 72 eval(Program pr
0f00: 6f 67 29 0d 0a 7b 0d 0a 09 43 6f 6e 74 65 78 74 og)..{...Context
0f10: 20 63 74 78 20 3d 20 63 72 65 61 74 65 47 6c 6f ctx = createGlo
0f20: 62 61 6c 43 6f 6e 74 65 78 74 28 29 3b 0d 0a 09 balContext();...
0f30: 72 65 74 75 72 6e 20 74 79 70 65 6f 66 28 72 65 return typeof(re
0f40: 74 75 72 6e 29 28 65 76 61 6c 28 70 72 6f 67 2c turn)(eval(prog,
0f50: 20 63 74 78 29 2c 20 63 74 78 29 3b 0d 0a 7d 0d ctx), ctx);..}.
0f60: 0a 0d 0a 56 61 6c 75 65 20 65 76 61 6c 28 50 72 ...Value eval(Pr
0f70: 6f 67 72 61 6d 20 70 72 6f 67 2c 20 43 6f 6e 74 ogram prog, Cont
0f80: 65 78 74 20 63 74 78 29 0d 0a 7b 0d 0a 09 56 61 ext ctx)..{...Va
0f90: 6c 75 65 20 76 20 3d 20 6e 65 77 20 55 6e 64 65 lue v = new Unde
0fa0: 66 69 6e 65 64 56 61 6c 75 65 3b 0d 0a 09 66 6f finedValue;...fo
0fb0: 72 65 61 63 68 28 73 3b 20 70 72 6f 67 29 0d 0a reach(s; prog)..
0fc0: 09 09 76 20 3d 20 65 76 61 6c 28 73 2c 20 63 74 ..v = eval(s, ct
0fd0: 78 29 3b 0d 0a 09 72 65 74 75 72 6e 20 76 3b 0d x);...return v;.
0fe0: 0a 7d 0d 0a 0d 0a 56 61 6c 75 65 20 65 76 61 6c .}....Value eval
0ff0: 28 53 74 61 74 65 6d 65 6e 74 20 5f 73 2c 20 43 (Statement _s, C
1000: 6f 6e 74 65 78 74 20 63 74 78 29 0d 0a 7b 0d 0a ontext ctx)..{..
1010: 09 69 66 28 20 61 75 74 6f 20 73 20 3d 20 63 61 .if( auto s = ca
1020: 73 74 28 44 65 63 6c 53 74 61 74 65 6d 65 6e 74 st(DeclStatement
1030: 29 5f 73 20 29 0d 0a 09 7b 0d 0a 09 09 61 75 74 )_s )...{....aut
1040: 6f 20 76 20 3d 20 65 76 61 6c 28 73 2e 65 78 70 o v = eval(s.exp
1050: 72 2c 20 63 74 78 29 3b 0d 0a 09 09 63 74 78 2e r, ctx);....ctx.
1060: 61 64 64 28 73 2e 76 61 72 2c 20 76 29 3b 0d 0a add(s.var, v);..
1070: 09 09 72 65 74 75 72 6e 20 76 3b 0d 0a 09 7d 0d ..return v;...}.
1080: 0a 09 65 6c 73 65 0d 0a 09 69 66 28 20 61 75 74 ..else...if( aut
1090: 6f 20 73 20 3d 20 63 61 73 74 28 45 78 70 72 53 o s = cast(ExprS
10a0: 74 61 74 65 6d 65 6e 74 29 5f 73 20 29 0d 0a 09 tatement)_s )...
10b0: 7b 0d 0a 09 09 72 65 74 75 72 6e 20 65 76 61 6c {....return eval
10c0: 28 73 2e 65 78 70 72 2c 20 63 74 78 29 3b 0d 0a (s.expr, ctx);..
10d0: 09 7d 0d 0a 09 74 68 72 6f 77 20 6e 65 77 20 50 .}...throw new P
10e0: 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 olemyRuntimeExce
10f0: 70 74 69 6f 6e 28 73 70 72 69 6e 74 66 21 22 55 ption(sprintf!"U
1100: 6e 6b 6e 6f 77 6e 20 4b 69 6e 64 20 6f 66 20 53 nknown Kind of S
1110: 74 61 74 65 6d 65 6e 74 20 25 73 20 61 74 20 5b tatement %s at [
1120: 25 73 5d 22 28 74 79 70 65 69 64 28 5f 73 29 2c %s]"(typeid(_s),
1130: 20 5f 73 2e 70 6f 73 29 29 3b 0d 0a 7d 0d 0a 0d _s.pos));..}...
1140: 0a 56 61 6c 75 65 20 65 76 61 6c 28 45 78 70 72 .Value eval(Expr
1150: 65 73 73 69 6f 6e 20 5f 65 2c 20 43 6f 6e 74 65 ession _e, Conte
1160: 78 74 20 63 74 78 29 0d 0a 7b 0d 0a 09 69 66 28 xt ctx)..{...if(
1170: 20 61 75 74 6f 20 65 20 3d 20 63 61 73 74 28 53 auto e = cast(S
1180: 74 72 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73 trLiteralExpress
1190: 69 6f 6e 29 5f 65 20 29 0d 0a 09 7b 0d 0a 09 09 ion)_e )...{....
11a0: 72 65 74 75 72 6e 20 6e 65 77 20 53 74 72 56 61 return new StrVa
11b0: 6c 75 65 28 65 2e 64 61 74 61 29 3b 0d 0a 09 7d lue(e.data);...}
11c0: 0d 0a 09 65 6c 73 65 0d 0a 09 69 66 28 20 61 75 ...else...if( au
11d0: 74 6f 20 65 20 3d 20 63 61 73 74 28 49 6e 74 4c to e = cast(IntL
11e0: 69 74 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e iteralExpression
11f0: 29 5f 65 20 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 )_e )...{....ret
1200: 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 urn new IntValue
1210: 28 65 2e 64 61 74 61 29 3b 0d 0a 09 7d 0d 0a 09 (e.data);...}...
1220: 65 6c 73 65 0d 0a 09 69 66 28 20 61 75 74 6f 20 else...if( auto
1230: 65 20 3d 20 63 61 73 74 28 56 61 72 45 78 70 72 e = cast(VarExpr
1240: 65 73 73 69 6f 6e 29 5f 65 20 29 0d 0a 09 7b 0d ession)_e )...{.
1250: 0a 09 09 72 65 74 75 72 6e 20 63 74 78 5b 65 2e ...return ctx[e.
1260: 76 61 72 5d 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 65 var];...}...else
1270: 0d 0a 09 69 66 28 20 61 75 74 6f 20 65 20 3d 20 ...if( auto e =
1280: 63 61 73 74 28 41 73 73 69 67 6e 45 78 70 72 65 cast(AssignExpre
1290: 73 73 69 6f 6e 29 5f 65 20 29 0d 0a 09 7b 0d 0a ssion)_e )...{..
12a0: 09 09 69 66 28 20 61 75 74 6f 20 65 76 20 3d 20 ..if( auto ev =
12b0: 63 61 73 74 28 56 61 72 45 78 70 72 65 73 73 69 cast(VarExpressi
12c0: 6f 6e 29 65 2e 6c 68 73 20 29 0d 0a 09 09 7b 0d on)e.lhs )....{.
12d0: 0a 09 09 09 56 61 6c 75 65 20 72 20 3d 20 65 76 ....Value r = ev
12e0: 61 6c 28 65 2e 72 68 73 2c 20 63 74 78 29 3b 0d al(e.rhs, ctx);.
12f0: 0a 09 09 09 63 74 78 5b 65 76 2e 76 61 72 5d 20 ....ctx[ev.var]
1300: 3d 20 72 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 = r;.....return
1310: 72 3b 0d 0a 09 09 7d 0d 0a 09 09 74 68 72 6f 77 r;....}....throw
1320: 20 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 69 new PolemyRunti
1330: 6d 65 45 78 63 65 70 74 69 6f 6e 28 73 70 72 69 meException(spri
1340: 6e 74 66 21 22 4c 68 73 20 6f 66 20 61 73 73 69 ntf!"Lhs of assi
1350: 67 6e 6d 65 6e 74 20 6d 75 73 74 20 62 65 20 61 gnment must be a
1360: 20 76 61 72 69 61 62 6c 65 3a 20 25 73 22 28 65 variable: %s"(e
1370: 2e 70 6f 73 29 29 3b 0d 0a 09 7d 0d 0a 09 65 6c .pos));...}...el
1380: 73 65 0d 0a 09 69 66 28 20 61 75 74 6f 20 65 20 se...if( auto e
1390: 3d 20 63 61 73 74 28 46 75 6e 63 61 6c 6c 45 78 = cast(FuncallEx
13a0: 70 72 65 73 73 69 6f 6e 29 5f 65 20 29 0d 0a 09 pression)_e )...
13b0: 7b 0d 0a 09 09 56 61 6c 75 65 20 5f 66 20 3d 20 {....Value _f =
13c0: 65 76 61 6c 28 65 2e 66 75 6e 2c 20 63 74 78 29 eval(e.fun, ctx)
13d0: 3b 0d 0a 09 09 69 66 28 20 61 75 74 6f 20 66 20 ;....if( auto f
13e0: 3d 20 63 61 73 74 28 46 75 6e 56 61 6c 75 65 29 = cast(FunValue)
13f0: 5f 66 20 29 20 7b 0d 0a 09 09 09 56 61 6c 75 65 _f ) {.....Value
1400: 5b 5d 20 61 72 67 73 3b 0d 0a 09 09 09 66 6f 72 [] args;.....for
1410: 65 61 63 68 28 61 3b 20 65 2e 61 72 67 73 29 0d each(a; e.args).
1420: 0a 09 09 09 09 61 72 67 73 20 7e 3d 20 65 76 61 .....args ~= eva
1430: 6c 28 61 2c 20 63 74 78 29 3b 0d 0a 09 09 09 72 l(a, ctx);.....r
1440: 65 74 75 72 6e 20 66 2e 63 61 6c 6c 28 65 2e 70 eturn f.call(e.p
1450: 6f 73 2c 20 61 72 67 73 29 3b 0d 0a 09 09 7d 20 os, args);....}
1460: 65 6c 73 65 0d 0a 09 09 09 74 68 72 6f 77 20 6e else.....throw n
1470: 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 ew PolemyRuntime
1480: 45 78 63 65 70 74 69 6f 6e 28 73 70 72 69 6e 74 Exception(sprint
1490: 66 21 22 4e 6f 6e 2d 66 75 6e 63 69 6f 6e 20 69 f!"Non-funcion i
14a0: 73 20 61 70 70 6c 69 65 64 20 61 74 20 5b 25 73 s applied at [%s
14b0: 5d 22 28 65 2e 70 6f 73 29 29 3b 0d 0a 09 7d 0d ]"(e.pos));...}.
14c0: 0a 09 65 6c 73 65 0d 0a 09 69 66 28 20 61 75 74 ..else...if( aut
14d0: 6f 20 65 20 3d 20 63 61 73 74 28 46 75 6e 4c 69 o e = cast(FunLi
14e0: 74 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 29 teralExpression)
14f0: 5f 65 20 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 _e )...{....retu
1500: 72 6e 20 6e 65 77 20 46 75 6e 56 61 6c 75 65 28 rn new FunValue(
1510: 64 65 6c 65 67 61 74 65 20 56 61 6c 75 65 28 69 delegate Value(i
1520: 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 mmutable LexPosi
1530: 74 69 6f 6e 20 70 6f 73 2c 20 56 61 6c 75 65 5b tion pos, Value[
1540: 5d 20 61 72 67 73 29 7b 0d 0a 09 09 09 69 66 28 ] args){.....if(
1550: 20 65 2e 70 61 72 61 6d 73 2e 6c 65 6e 67 74 68 e.params.length
1560: 20 21 3d 20 61 72 67 73 2e 6c 65 6e 67 74 68 20 != args.length
1570: 29 0d 0a 09 09 09 09 74 68 72 6f 77 20 6e 65 77 )......throw new
1580: 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 PolemyRuntimeEx
1590: 63 65 70 74 69 6f 6e 28 73 70 72 69 6e 74 66 21 ception(sprintf!
15a0: 22 41 72 67 75 6d 65 6e 74 20 4e 75 6d 62 65 72 "Argument Number
15b0: 20 4d 69 73 6d 61 74 63 68 20 28 25 64 20 72 65 Mismatch (%d re
15c0: 71 75 69 72 65 64 20 62 75 74 20 25 64 20 67 69 quired but %d gi
15d0: 76 65 6e 29 20 61 74 20 5b 25 73 5d 22 0d 0a 09 ven) at [%s]"...
15e0: 09 09 09 09 28 65 2e 70 61 72 61 6d 73 2e 6c 65 ....(e.params.le
15f0: 6e 67 74 68 2c 20 61 72 67 73 2e 6c 65 6e 67 74 ngth, args.lengt
1600: 68 2c 20 65 2e 70 6f 73 29 29 3b 0d 0a 09 09 09 h, e.pos));.....
1610: 43 6f 6e 74 65 78 74 20 63 74 78 4e 65 6f 20 3d Context ctxNeo =
1620: 20 6e 65 77 20 43 6f 6e 74 65 78 74 28 63 74 78 new Context(ctx
1630: 29 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 69 );.....foreach(i
1640: 2c 70 3b 20 65 2e 70 61 72 61 6d 73 29 0d 0a 09 ,p; e.params)...
1650: 09 09 09 63 74 78 4e 65 6f 2e 61 64 64 28 70 2c ...ctxNeo.add(p,
1660: 20 61 72 67 73 5b 69 5d 29 3b 0d 0a 09 09 09 72 args[i]);.....r
1670: 65 74 75 72 6e 20 65 76 61 6c 28 65 2e 66 75 6e eturn eval(e.fun
1680: 62 6f 64 79 2c 20 63 74 78 4e 65 6f 29 3b 0d 0a body, ctxNeo);..
1690: 09 09 7d 29 3b 0d 0a 09 7d 0d 0a 09 74 68 72 6f ..});...}...thro
16a0: 77 20 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 w new PolemyRunt
16b0: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 73 70 72 imeException(spr
16c0: 69 6e 74 66 21 22 55 6e 6b 6e 6f 77 6e 20 4b 69 intf!"Unknown Ki
16d0: 6e 64 20 6f 66 20 45 78 70 72 65 73 73 69 6f 6e nd of Expression
16e0: 20 25 73 20 61 74 20 5b 25 73 5d 22 28 74 79 70 %s at [%s]"(typ
16f0: 65 69 64 28 5f 65 29 2c 20 5f 65 2e 70 6f 73 29 eid(_e), _e.pos)
1700: 29 3b 0d 0a 7d 0d 0a 0d 0a 69 6d 70 6f 72 74 20 );..}....import
1710: 73 74 64 2e 73 74 64 69 6f 3b 0d 0a 75 6e 69 74 std.stdio;..unit
1720: 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 72 test..{...auto r
1730: 20 3d 20 65 76 61 6c 53 74 72 69 6e 67 28 60 76 = evalString(`v
1740: 61 72 20 78 20 3d 20 32 31 3b 20 78 20 3d 20 78 ar x = 21; x = x
1750: 20 2b 20 78 2a 78 3b 60 29 3b 0d 0a 09 61 73 73 + x*x;`);...ass
1760: 65 72 74 28 20 72 2e 76 61 6c 20 3d 3d 20 6e 65 ert( r.val == ne
1770: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
1780: 74 28 32 31 2b 32 31 2a 32 31 29 29 20 29 3b 0d t(21+21*21)) );.
1790: 0a 09 61 73 73 65 72 74 28 20 72 2e 63 74 78 5b ..assert( r.ctx[
17a0: 22 78 22 5d 20 3d 3d 20 6e 65 77 20 49 6e 74 56 "x"] == new IntV
17b0: 61 6c 75 65 28 42 69 67 49 6e 74 28 32 31 2b 32 alue(BigInt(21+2
17c0: 31 2a 32 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 1*21)) );...asse
17d0: 72 74 28 20 21 63 6f 6c 6c 65 63 74 45 78 63 65 rt( !collectExce
17e0: 70 74 69 6f 6e 28 72 2e 63 74 78 5b 22 78 22 5d ption(r.ctx["x"]
17f0: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 63 ) );...assert( c
1800: 6f 6c 6c 65 63 74 45 78 63 65 70 74 69 6f 6e 28 ollectException(
1810: 72 2e 63 74 78 5b 22 79 22 5d 29 20 29 3b 0d 0a r.ctx["y"]) );..
1820: 7d 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a }..unittest..{..
1830: 09 61 73 73 65 72 74 28 20 63 6f 6c 6c 65 63 74 .assert( collect
1840: 45 78 63 65 70 74 69 6f 6e 28 65 76 61 6c 53 74 Exception(evalSt
1850: 72 69 6e 67 28 60 76 61 72 20 78 20 3d 20 32 31 ring(`var x = 21
1860: 3b 20 78 20 3d 20 78 20 2b 20 78 2a 79 3b 60 29 ; x = x + x*y;`)
1870: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 63 ) );...assert( c
1880: 6f 6c 6c 65 63 74 45 78 63 65 70 74 69 6f 6e 28 ollectException(
1890: 65 76 61 6c 53 74 72 69 6e 67 28 60 78 3d 31 3b evalString(`x=1;
18a0: 60 29 29 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 `)) );..}..unitt
18b0: 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 72 20 est..{...auto r
18c0: 3d 20 65 76 61 6c 53 74 72 69 6e 67 28 60 76 61 = evalString(`va
18d0: 72 20 78 20 3d 20 66 75 6e 28 61 29 7b 31 2b 61 r x = fun(a){1+a
18e0: 3b 7d 28 32 29 3b 60 29 3b 0d 0a 09 61 73 73 65 ;}(2);`);...asse
18f0: 72 74 28 20 72 2e 63 74 78 5b 22 78 22 5d 20 3d rt( r.ctx["x"] =
1900: 3d 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 = new IntValue(B
1910: 69 67 49 6e 74 28 33 29 29 20 29 3b 0d 0a 09 61 igInt(3)) );...a
1920: 73 73 65 72 74 28 20 72 2e 76 61 6c 20 3d 3d 20 ssert( r.val ==
1930: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
1940: 49 6e 74 28 33 29 29 20 29 3b 0d 0a 7d 0d 0a 75 Int(3)) );..}..u
1950: 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 nittest..{...aut
1960: 6f 20 72 20 3d 20 65 76 61 6c 53 74 72 69 6e 67 o r = evalString
1970: 28 60 76 61 72 20 78 20 3d 20 31 3b 20 76 61 72 (`var x = 1; var
1980: 20 66 20 3d 20 66 75 6e 28 29 7b 78 3d 78 2b 31 f = fun(){x=x+1
1990: 3b 7d 3b 20 66 28 29 3b 20 66 28 29 3b 20 66 28 ;}; f(); f(); f(
19a0: 29 3b 60 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 );`);...assert(
19b0: 72 2e 63 74 78 5b 22 78 22 5d 20 3d 3d 20 6e 65 r.ctx["x"] == ne
19c0: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
19d0: 74 28 34 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 t(4)) );...asser
19e0: 74 28 20 72 2e 76 61 6c 20 3d 3d 20 6e 65 77 20 t( r.val == new
19f0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
1a00: 34 29 29 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 4)) );..}..unitt
1a10: 65 73 74 0d 0a 7b 0d 0a 09 65 76 61 6c 53 74 72 est..{...evalStr
1a20: 69 6e 67 28 60 70 72 69 6e 74 28 22 48 65 6c 6c ing(`print("Hell
1a30: 6f 2c 20 77 6f 72 6c 64 21 22 29 3b 60 29 3b 0d o, world!");`);.
1a40: 0a 09 65 76 61 6c 53 74 72 69 6e 67 28 60 70 72 ..evalString(`pr
1a50: 69 6e 74 28 66 75 6e 28 29 7b 7d 29 3b 60 29 3b int(fun(){});`);
1a60: 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b ..}..unittest..{
1a70: 0d 0a 09 65 76 61 6c 53 74 72 69 6e 67 28 60 76 ...evalString(`v
1a80: 61 72 20 66 61 63 20 3d 20 66 75 6e 28 78 29 7b ar fac = fun(x){
1a90: 0d 0a 09 09 31 3b 0d 0a 09 7d 3b 0d 0a 09 70 72 ....1;...};...pr
1aa0: 69 6e 74 28 66 61 63 28 33 29 29 3b 60 29 3b 0d int(fac(3));`);.
1ab0: 0a 09 65 76 61 6c 53 74 72 69 6e 67 28 60 76 61 ..evalString(`va
1ac0: 72 20 66 61 63 20 3d 20 66 75 6e 28 78 29 7b 0d r fac = fun(x){.
1ad0: 0a 09 09 69 66 28 78 29 0d 0a 09 09 09 7b 20 78 ...if(x).....{ x
1ae0: 2a 66 61 63 28 78 2d 31 29 3b 20 7d 0d 0a 09 09 *fac(x-1); }....
1af0: 65 6c 73 65 0d 0a 09 09 09 7b 20 31 3b 20 7d 3b else.....{ 1; };
1b00: 0d 0a 09 7d 3b 0d 0a 09 70 72 69 6e 74 28 66 61 ...};...print(fa
1b10: 63 28 31 30 29 29 3b 60 29 3b 0d 0a 09 65 76 61 c(10));`);...eva
1b20: 6c 53 74 72 69 6e 67 28 60 76 61 72 20 66 69 62 lString(`var fib
1b30: 20 3d 20 66 75 6e 28 78 29 7b 0d 0a 09 09 69 66 = fun(x){....if
1b40: 28 78 3c 32 29 0d 0a 09 09 09 7b 20 31 3b 20 7d (x<2).....{ 1; }
1b50: 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 09 7b 20 66 ....else.....{ f
1b60: 69 62 28 78 2d 31 29 20 2b 20 66 69 62 28 78 2d ib(x-1) + fib(x-
1b70: 32 29 3b 20 7d 3b 0d 0a 09 7d 3b 0d 0a 09 70 72 2); };...};...pr
1b80: 69 6e 74 28 66 69 62 28 31 30 29 29 3b 60 29 3b int(fib(10));`);
1b90: 0d 0a 7d 0d 0a ..}..