Artifact f2bd29fa05629861230285e771ca5c0c854e8025:
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 72 75 6e 74 69 6d 65 3b 0d 0a 69 6d 70 6f 72 .runtime;..impor
0120: 74 20 73 74 64 2e 74 79 70 65 63 6f 6e 73 3b 0d t std.typecons;.
0130: 0a 69 6d 70 6f 72 74 20 73 74 64 2e 73 74 64 69 .import std.stdi
0140: 6f 3b 0d 0a 0d 0a 43 6f 6e 74 65 78 74 20 63 72 o;....Context cr
0150: 65 61 74 65 47 6c 6f 62 61 6c 43 6f 6e 74 65 78 eateGlobalContex
0160: 74 28 29 0d 0a 7b 0d 0a 09 61 75 74 6f 20 63 74 t()..{...auto ct
0170: 78 20 3d 20 6e 65 77 20 43 6f 6e 74 65 78 74 3b x = new Context;
0180: 0d 0a 09 63 74 78 2e 61 64 64 28 22 2b 22 2c 20 ...ctx.add("+",
0190: 6e 65 77 20 46 75 6e 56 61 6c 75 65 28 64 65 6c new FunValue(del
01a0: 65 67 61 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 egate Value(immu
01b0: 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f table LexPositio
01c0: 6e 20 70 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 61 n pos, Value[] a
01d0: 72 67 73 29 7b 0d 0a 09 09 69 66 28 20 61 72 67 rgs){....if( arg
01e0: 73 2e 6c 65 6e 67 74 68 20 21 3d 20 32 20 29 0d s.length != 2 ).
01f0: 0a 09 09 09 74 68 72 6f 77 20 6e 65 77 20 50 6f ....throw new Po
0200: 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 70 lemyRuntimeExcep
0210: 74 69 6f 6e 28 22 2b 20 74 61 6b 65 73 20 74 77 tion("+ takes tw
0220: 6f 20 61 72 67 75 6d 65 6e 74 73 21 21 20 5b 22 o arguments!! ["
0230: 7e 74 6f 21 73 74 72 69 6e 67 28 70 6f 73 29 7e ~to!string(pos)~
0240: 22 5d 22 29 3b 0d 0a 09 09 69 66 28 20 61 75 74 "]");....if( aut
0250: 6f 20 78 20 3d 20 63 61 73 74 28 49 6e 74 56 61 o x = cast(IntVa
0260: 6c 75 65 29 61 72 67 73 5b 30 5d 20 29 0d 0a 09 lue)args[0] )...
0270: 09 09 69 66 28 20 61 75 74 6f 20 79 20 3d 20 63 ..if( auto y = c
0280: 61 73 74 28 49 6e 74 56 61 6c 75 65 29 61 72 67 ast(IntValue)arg
0290: 73 5b 31 5d 20 29 0d 0a 09 09 09 09 72 65 74 75 s[1] )......retu
02a0: 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 rn new IntValue(
02b0: 78 2e 64 61 74 61 2b 79 2e 64 61 74 61 29 3b 0d x.data+y.data);.
02c0: 0a 09 09 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c ...throw new Pol
02d0: 65 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 70 74 emyRuntimeExcept
02e0: 69 6f 6e 28 22 63 61 6e 6e 6f 74 20 61 64 64 20 ion("cannot add
02f0: 6e 6f 6e 2d 69 6e 74 65 67 65 72 73 20 5b 22 7e non-integers ["~
0300: 74 6f 21 73 74 72 69 6e 67 28 70 6f 73 29 7e 22 to!string(pos)~"
0310: 5d 22 29 3b 0d 0a 09 7d 29 29 3b 0d 0a 09 63 74 ]");...}));...ct
0320: 78 2e 61 64 64 28 22 2d 22 2c 20 6e 65 77 20 46 x.add("-", new F
0330: 75 6e 56 61 6c 75 65 28 64 65 6c 65 67 61 74 65 unValue(delegate
0340: 20 56 61 6c 75 65 28 69 6d 6d 75 74 61 62 6c 65 Value(immutable
0350: 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 LexPosition pos
0360: 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 29 7b , Value[] args){
0370: 0d 0a 09 09 69 66 28 20 61 72 67 73 2e 6c 65 6e ....if( args.len
0380: 67 74 68 20 21 3d 20 32 20 29 0d 0a 09 09 09 74 gth != 2 ).....t
0390: 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 6d 79 52 hrow new PolemyR
03a0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
03b0: 22 2d 20 74 61 6b 65 73 20 74 77 6f 20 61 72 67 "- takes two arg
03c0: 75 6d 65 6e 74 73 21 21 20 5b 22 7e 74 6f 21 73 uments!! ["~to!s
03d0: 74 72 69 6e 67 28 70 6f 73 29 7e 22 5d 22 29 3b tring(pos)~"]");
03e0: 0d 0a 09 09 69 66 28 20 61 75 74 6f 20 78 20 3d ....if( auto x =
03f0: 20 63 61 73 74 28 49 6e 74 56 61 6c 75 65 29 61 cast(IntValue)a
0400: 72 67 73 5b 30 5d 20 29 0d 0a 09 09 09 69 66 28 rgs[0] ).....if(
0410: 20 61 75 74 6f 20 79 20 3d 20 63 61 73 74 28 49 auto y = cast(I
0420: 6e 74 56 61 6c 75 65 29 61 72 67 73 5b 31 5d 20 ntValue)args[1]
0430: 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 6e 65 )......return ne
0440: 77 20 49 6e 74 56 61 6c 75 65 28 78 2e 64 61 74 w IntValue(x.dat
0450: 61 2d 79 2e 64 61 74 61 29 3b 0d 0a 09 09 74 68 a-y.data);....th
0460: 72 6f 77 20 6e 65 77 20 50 6f 6c 65 6d 79 52 75 row new PolemyRu
0470: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 22 ntimeException("
0480: 63 61 6e 6e 6f 74 20 61 64 64 20 6e 6f 6e 2d 69 cannot add non-i
0490: 6e 74 65 67 65 72 73 20 5b 22 7e 74 6f 21 73 74 ntegers ["~to!st
04a0: 72 69 6e 67 28 70 6f 73 29 7e 22 5d 22 29 3b 0d ring(pos)~"]");.
04b0: 0a 09 7d 29 29 3b 0d 0a 09 63 74 78 2e 61 64 64 ..}));...ctx.add
04c0: 28 22 2a 22 2c 20 6e 65 77 20 46 75 6e 56 61 6c ("*", new FunVal
04d0: 75 65 28 64 65 6c 65 67 61 74 65 20 56 61 6c 75 ue(delegate Valu
04e0: 65 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 e(immutable LexP
04f0: 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 56 61 6c osition pos, Val
0500: 75 65 5b 5d 20 61 72 67 73 29 7b 0d 0a 09 09 69 ue[] args){....i
0510: 66 28 20 61 72 67 73 2e 6c 65 6e 67 74 68 20 21 f( args.length !
0520: 3d 20 32 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 = 2 ).....throw
0530: 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d new PolemyRuntim
0540: 65 45 78 63 65 70 74 69 6f 6e 28 22 2a 20 74 61 eException("* ta
0550: 6b 65 73 20 74 77 6f 20 61 72 67 75 6d 65 6e 74 kes two argument
0560: 73 21 21 20 5b 22 7e 74 6f 21 73 74 72 69 6e 67 s!! ["~to!string
0570: 28 70 6f 73 29 7e 22 5d 22 29 3b 0d 0a 09 09 69 (pos)~"]");....i
0580: 66 28 20 61 75 74 6f 20 78 20 3d 20 63 61 73 74 f( auto x = cast
0590: 28 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b 30 (IntValue)args[0
05a0: 5d 20 29 0d 0a 09 09 09 69 66 28 20 61 75 74 6f ] ).....if( auto
05b0: 20 79 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c y = cast(IntVal
05c0: 75 65 29 61 72 67 73 5b 31 5d 20 29 0d 0a 09 09 ue)args[1] )....
05d0: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 ..return new Int
05e0: 56 61 6c 75 65 28 78 2e 64 61 74 61 2a 79 2e 64 Value(x.data*y.d
05f0: 61 74 61 29 3b 0d 0a 09 09 74 68 72 6f 77 20 6e ata);....throw n
0600: 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 ew PolemyRuntime
0610: 45 78 63 65 70 74 69 6f 6e 28 22 63 61 6e 6e 6f Exception("canno
0620: 74 20 61 64 64 20 6e 6f 6e 2d 69 6e 74 65 67 65 t add non-intege
0630: 72 73 20 5b 22 7e 74 6f 21 73 74 72 69 6e 67 28 rs ["~to!string(
0640: 70 6f 73 29 7e 22 5d 22 29 3b 0d 0a 09 7d 29 29 pos)~"]");...}))
0650: 3b 0d 0a 09 63 74 78 2e 61 64 64 28 22 2f 22 2c ;...ctx.add("/",
0660: 20 6e 65 77 20 46 75 6e 56 61 6c 75 65 28 64 65 new FunValue(de
0670: 6c 65 67 61 74 65 20 56 61 6c 75 65 28 69 6d 6d legate Value(imm
0680: 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 utable LexPositi
0690: 6f 6e 20 70 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 on pos, Value[]
06a0: 61 72 67 73 29 7b 0d 0a 09 09 69 66 28 20 61 72 args){....if( ar
06b0: 67 73 2e 6c 65 6e 67 74 68 20 21 3d 20 32 20 29 gs.length != 2 )
06c0: 0d 0a 09 09 09 74 68 72 6f 77 20 6e 65 77 20 50 .....throw new P
06d0: 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 olemyRuntimeExce
06e0: 70 74 69 6f 6e 28 22 2f 20 74 61 6b 65 73 20 74 ption("/ takes t
06f0: 77 6f 20 61 72 67 75 6d 65 6e 74 73 21 21 20 5b wo arguments!! [
0700: 22 7e 74 6f 21 73 74 72 69 6e 67 28 70 6f 73 29 "~to!string(pos)
0710: 7e 22 5d 22 29 3b 0d 0a 09 09 69 66 28 20 61 75 ~"]");....if( au
0720: 74 6f 20 78 20 3d 20 63 61 73 74 28 49 6e 74 56 to x = cast(IntV
0730: 61 6c 75 65 29 61 72 67 73 5b 30 5d 20 29 0d 0a alue)args[0] )..
0740: 09 09 09 69 66 28 20 61 75 74 6f 20 79 20 3d 20 ...if( auto y =
0750: 63 61 73 74 28 49 6e 74 56 61 6c 75 65 29 61 72 cast(IntValue)ar
0760: 67 73 5b 31 5d 20 29 0d 0a 09 09 09 09 72 65 74 gs[1] )......ret
0770: 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 urn new IntValue
0780: 28 78 2e 64 61 74 61 2f 79 2e 64 61 74 61 29 3b (x.data/y.data);
0790: 0d 0a 09 09 74 68 72 6f 77 20 6e 65 77 20 50 6f ....throw new Po
07a0: 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 70 lemyRuntimeExcep
07b0: 74 69 6f 6e 28 22 63 61 6e 6e 6f 74 20 61 64 64 tion("cannot add
07c0: 20 6e 6f 6e 2d 69 6e 74 65 67 65 72 73 20 5b 22 non-integers ["
07d0: 7e 74 6f 21 73 74 72 69 6e 67 28 70 6f 73 29 7e ~to!string(pos)~
07e0: 22 5d 22 29 3b 0d 0a 09 7d 29 29 3b 0d 0a 09 63 "]");...}));...c
07f0: 74 78 2e 61 64 64 28 22 70 72 69 6e 74 22 2c 20 tx.add("print",
0800: 6e 65 77 20 46 75 6e 56 61 6c 75 65 28 64 65 6c new FunValue(del
0810: 65 67 61 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 egate Value(immu
0820: 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f table LexPositio
0830: 6e 20 70 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 61 n pos, Value[] a
0840: 72 67 73 29 7b 0d 0a 09 09 66 6f 72 65 61 63 68 rgs){....foreach
0850: 28 61 3b 20 61 72 67 73 29 0d 0a 09 09 09 77 72 (a; args).....wr
0860: 69 74 65 28 61 29 3b 0d 0a 09 09 77 72 69 74 65 ite(a);....write
0870: 6c 6e 28 22 22 29 3b 0d 0a 09 09 72 65 74 75 72 ln("");....retur
0880: 6e 20 6e 65 77 20 55 6e 64 65 66 69 6e 65 64 56 n new UndefinedV
0890: 61 6c 75 65 3b 0d 0a 09 7d 29 29 3b 0d 0a 09 72 alue;...}));...r
08a0: 65 74 75 72 6e 20 63 74 78 3b 0d 0a 7d 0d 0a 0d eturn ctx;..}...
08b0: 0a 54 75 70 6c 65 21 28 56 61 6c 75 65 2c 22 76 .Tuple!(Value,"v
08c0: 61 6c 22 2c 43 6f 6e 74 65 78 74 2c 22 63 74 78 al",Context,"ctx
08d0: 22 29 20 65 76 61 6c 53 74 72 69 6e 67 28 54 2e ") evalString(T.
08e0: 2e 2e 29 28 54 20 70 61 72 61 6d 73 29 0d 0a 7b ..)(T params)..{
08f0: 0d 0a 09 72 65 74 75 72 6e 20 65 76 61 6c 28 20 ...return eval(
0900: 70 61 72 73 65 72 46 72 6f 6d 53 74 72 69 6e 67 parserFromString
0910: 28 70 61 72 61 6d 73 29 2e 70 61 72 73 65 50 72 (params).parsePr
0920: 6f 67 72 61 6d 28 29 20 29 3b 0d 0a 7d 0d 0a 0d ogram() );..}...
0930: 0a 54 75 70 6c 65 21 28 56 61 6c 75 65 2c 22 76 .Tuple!(Value,"v
0940: 61 6c 22 2c 43 6f 6e 74 65 78 74 2c 22 63 74 78 al",Context,"ctx
0950: 22 29 20 65 76 61 6c 46 69 6c 65 28 54 2e 2e 2e ") evalFile(T...
0960: 29 28 54 20 70 61 72 61 6d 73 29 0d 0a 7b 0d 0a )(T params)..{..
0970: 09 72 65 74 75 72 6e 20 65 76 61 6c 28 20 70 61 .return eval( pa
0980: 72 73 65 72 46 72 6f 6d 46 69 6c 65 28 70 61 72 rserFromFile(par
0990: 61 6d 73 29 2e 70 61 72 73 65 50 72 6f 67 72 61 ams).parseProgra
09a0: 6d 28 29 20 29 3b 0d 0a 7d 0d 0a 0d 0a 54 75 70 m() );..}....Tup
09b0: 6c 65 21 28 56 61 6c 75 65 2c 22 76 61 6c 22 2c le!(Value,"val",
09c0: 43 6f 6e 74 65 78 74 2c 22 63 74 78 22 29 20 65 Context,"ctx") e
09d0: 76 61 6c 28 50 72 6f 67 72 61 6d 20 70 72 6f 67 val(Program prog
09e0: 29 0d 0a 7b 0d 0a 09 43 6f 6e 74 65 78 74 20 63 )..{...Context c
09f0: 74 78 20 3d 20 63 72 65 61 74 65 47 6c 6f 62 61 tx = createGloba
0a00: 6c 43 6f 6e 74 65 78 74 28 29 3b 0d 0a 09 72 65 lContext();...re
0a10: 74 75 72 6e 20 74 79 70 65 6f 66 28 72 65 74 75 turn typeof(retu
0a20: 72 6e 29 28 65 76 61 6c 28 70 72 6f 67 2c 20 63 rn)(eval(prog, c
0a30: 74 78 29 2c 20 63 74 78 29 3b 0d 0a 7d 0d 0a 0d tx), ctx);..}...
0a40: 0a 56 61 6c 75 65 20 65 76 61 6c 28 50 72 6f 67 .Value eval(Prog
0a50: 72 61 6d 20 70 72 6f 67 2c 20 43 6f 6e 74 65 78 ram prog, Contex
0a60: 74 20 63 74 78 29 0d 0a 7b 0d 0a 09 56 61 6c 75 t ctx)..{...Valu
0a70: 65 20 76 20 3d 20 6e 65 77 20 55 6e 64 65 66 69 e v = new Undefi
0a80: 6e 65 64 56 61 6c 75 65 3b 0d 0a 09 66 6f 72 65 nedValue;...fore
0a90: 61 63 68 28 73 3b 20 70 72 6f 67 29 0d 0a 09 09 ach(s; prog)....
0aa0: 76 20 3d 20 65 76 61 6c 28 73 2c 20 63 74 78 29 v = eval(s, ctx)
0ab0: 3b 0d 0a 09 72 65 74 75 72 6e 20 76 3b 0d 0a 7d ;...return v;..}
0ac0: 0d 0a 0d 0a 56 61 6c 75 65 20 65 76 61 6c 28 53 ....Value eval(S
0ad0: 74 61 74 65 6d 65 6e 74 20 5f 73 2c 20 43 6f 6e tatement _s, Con
0ae0: 74 65 78 74 20 63 74 78 29 0d 0a 7b 0d 0a 09 69 text ctx)..{...i
0af0: 66 28 20 61 75 74 6f 20 73 20 3d 20 63 61 73 74 f( auto s = cast
0b00: 28 44 65 63 6c 53 74 61 74 65 6d 65 6e 74 29 5f (DeclStatement)_
0b10: 73 20 29 0d 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 s )...{....auto
0b20: 76 20 3d 20 65 76 61 6c 28 73 2e 65 78 70 72 2c v = eval(s.expr,
0b30: 20 63 74 78 29 3b 0d 0a 09 09 63 74 78 2e 61 64 ctx);....ctx.ad
0b40: 64 28 73 2e 76 61 72 2c 20 76 29 3b 0d 0a 09 09 d(s.var, v);....
0b50: 72 65 74 75 72 6e 20 76 3b 0d 0a 09 7d 0d 0a 09 return v;...}...
0b60: 65 6c 73 65 0d 0a 09 69 66 28 20 61 75 74 6f 20 else...if( auto
0b70: 73 20 3d 20 63 61 73 74 28 45 78 70 72 53 74 61 s = cast(ExprSta
0b80: 74 65 6d 65 6e 74 29 5f 73 20 29 0d 0a 09 7b 0d tement)_s )...{.
0b90: 0a 09 09 72 65 74 75 72 6e 20 65 76 61 6c 28 73 ...return eval(s
0ba0: 2e 65 78 70 72 2c 20 63 74 78 29 3b 0d 0a 09 7d .expr, ctx);...}
0bb0: 0d 0a 09 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c ...throw new Pol
0bc0: 65 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 70 74 emyRuntimeExcept
0bd0: 69 6f 6e 28 73 70 72 69 6e 74 66 21 22 55 6e 6b ion(sprintf!"Unk
0be0: 6e 6f 77 6e 20 4b 69 6e 64 20 6f 66 20 53 74 61 nown Kind of Sta
0bf0: 74 65 6d 65 6e 74 20 25 73 20 61 74 20 5b 25 73 tement %s at [%s
0c00: 5d 22 28 74 79 70 65 69 64 28 5f 73 29 2c 20 5f ]"(typeid(_s), _
0c10: 73 2e 70 6f 73 29 29 3b 0d 0a 7d 0d 0a 0d 0a 56 s.pos));..}....V
0c20: 61 6c 75 65 20 65 76 61 6c 28 45 78 70 72 65 73 alue eval(Expres
0c30: 73 69 6f 6e 20 5f 65 2c 20 43 6f 6e 74 65 78 74 sion _e, Context
0c40: 20 63 74 78 29 0d 0a 7b 0d 0a 09 69 66 28 20 61 ctx)..{...if( a
0c50: 75 74 6f 20 65 20 3d 20 63 61 73 74 28 53 74 72 uto e = cast(Str
0c60: 4c 69 74 65 72 61 6c 45 78 70 72 65 73 73 69 6f LiteralExpressio
0c70: 6e 29 5f 65 20 29 0d 0a 09 7b 0d 0a 09 09 72 65 n)_e )...{....re
0c80: 74 75 72 6e 20 6e 65 77 20 53 74 72 56 61 6c 75 turn new StrValu
0c90: 65 28 65 2e 64 61 74 61 29 3b 0d 0a 09 7d 0d 0a e(e.data);...}..
0ca0: 09 65 6c 73 65 0d 0a 09 69 66 28 20 61 75 74 6f .else...if( auto
0cb0: 20 65 20 3d 20 63 61 73 74 28 49 6e 74 4c 69 74 e = cast(IntLit
0cc0: 65 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 29 5f eralExpression)_
0cd0: 65 20 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 e )...{....retur
0ce0: 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 65 n new IntValue(e
0cf0: 2e 64 61 74 61 29 3b 0d 0a 09 7d 0d 0a 09 65 6c .data);...}...el
0d00: 73 65 0d 0a 09 69 66 28 20 61 75 74 6f 20 65 20 se...if( auto e
0d10: 3d 20 63 61 73 74 28 56 61 72 45 78 70 72 65 73 = cast(VarExpres
0d20: 73 69 6f 6e 29 5f 65 20 29 0d 0a 09 7b 0d 0a 09 sion)_e )...{...
0d30: 09 72 65 74 75 72 6e 20 63 74 78 5b 65 2e 76 61 .return ctx[e.va
0d40: 72 5d 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 65 0d 0a r];...}...else..
0d50: 09 69 66 28 20 61 75 74 6f 20 65 20 3d 20 63 61 .if( auto e = ca
0d60: 73 74 28 41 73 73 69 67 6e 45 78 70 72 65 73 73 st(AssignExpress
0d70: 69 6f 6e 29 5f 65 20 29 0d 0a 09 7b 0d 0a 09 09 ion)_e )...{....
0d80: 69 66 28 20 61 75 74 6f 20 65 76 20 3d 20 63 61 if( auto ev = ca
0d90: 73 74 28 56 61 72 45 78 70 72 65 73 73 69 6f 6e st(VarExpression
0da0: 29 65 2e 6c 68 73 20 29 0d 0a 09 09 7b 0d 0a 09 )e.lhs )....{...
0db0: 09 09 56 61 6c 75 65 20 72 20 3d 20 65 76 61 6c ..Value r = eval
0dc0: 28 65 2e 72 68 73 2c 20 63 74 78 29 3b 0d 0a 09 (e.rhs, ctx);...
0dd0: 09 09 63 74 78 5b 65 76 2e 76 61 72 5d 20 3d 20 ..ctx[ev.var] =
0de0: 72 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 72 3b r;.....return r;
0df0: 0d 0a 09 09 7d 0d 0a 09 09 74 68 72 6f 77 20 6e ....}....throw n
0e00: 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 ew PolemyRuntime
0e10: 45 78 63 65 70 74 69 6f 6e 28 73 70 72 69 6e 74 Exception(sprint
0e20: 66 21 22 4c 68 73 20 6f 66 20 61 73 73 69 67 6e f!"Lhs of assign
0e30: 6d 65 6e 74 20 6d 75 73 74 20 62 65 20 61 20 76 ment must be a v
0e40: 61 72 69 61 62 6c 65 3a 20 25 73 22 28 65 2e 70 ariable: %s"(e.p
0e50: 6f 73 29 29 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 65 os));...}...else
0e60: 0d 0a 09 69 66 28 20 61 75 74 6f 20 65 20 3d 20 ...if( auto e =
0e70: 63 61 73 74 28 46 75 6e 63 61 6c 6c 45 78 70 72 cast(FuncallExpr
0e80: 65 73 73 69 6f 6e 29 5f 65 20 29 0d 0a 09 7b 0d ession)_e )...{.
0e90: 0a 09 09 56 61 6c 75 65 20 5f 66 20 3d 20 65 76 ...Value _f = ev
0ea0: 61 6c 28 65 2e 66 75 6e 2c 20 63 74 78 29 3b 0d al(e.fun, ctx);.
0eb0: 0a 09 09 69 66 28 20 61 75 74 6f 20 66 20 3d 20 ...if( auto f =
0ec0: 63 61 73 74 28 46 75 6e 56 61 6c 75 65 29 5f 66 cast(FunValue)_f
0ed0: 20 29 20 7b 0d 0a 09 09 09 56 61 6c 75 65 5b 5d ) {.....Value[]
0ee0: 20 61 72 67 73 3b 0d 0a 09 09 09 66 6f 72 65 61 args;.....forea
0ef0: 63 68 28 61 3b 20 65 2e 61 72 67 73 29 0d 0a 09 ch(a; e.args)...
0f00: 09 09 09 61 72 67 73 20 7e 3d 20 65 76 61 6c 28 ...args ~= eval(
0f10: 61 2c 20 63 74 78 29 3b 0d 0a 09 09 09 72 65 74 a, ctx);.....ret
0f20: 75 72 6e 20 66 2e 63 61 6c 6c 28 65 2e 70 6f 73 urn f.call(e.pos
0f30: 2c 20 61 72 67 73 29 3b 0d 0a 09 09 7d 20 65 6c , args);....} el
0f40: 73 65 0d 0a 09 09 09 74 68 72 6f 77 20 6e 65 77 se.....throw new
0f50: 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 PolemyRuntimeEx
0f60: 63 65 70 74 69 6f 6e 28 73 70 72 69 6e 74 66 21 ception(sprintf!
0f70: 22 4e 6f 6e 2d 66 75 6e 63 69 6f 6e 20 69 73 20 "Non-funcion is
0f80: 61 70 70 6c 69 65 64 20 61 74 20 5b 25 73 5d 22 applied at [%s]"
0f90: 28 65 2e 70 6f 73 29 29 3b 0d 0a 09 7d 0d 0a 09 (e.pos));...}...
0fa0: 65 6c 73 65 0d 0a 09 69 66 28 20 61 75 74 6f 20 else...if( auto
0fb0: 65 20 3d 20 63 61 73 74 28 46 75 6e 4c 69 74 65 e = cast(FunLite
0fc0: 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 29 5f 65 ralExpression)_e
0fd0: 20 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e )...{....return
0fe0: 20 6e 65 77 20 46 75 6e 56 61 6c 75 65 28 64 65 new FunValue(de
0ff0: 6c 65 67 61 74 65 20 56 61 6c 75 65 28 69 6d 6d legate Value(imm
1000: 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 utable LexPositi
1010: 6f 6e 20 70 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 on pos, Value[]
1020: 61 72 67 73 29 7b 0d 0a 09 09 09 69 66 28 20 65 args){.....if( e
1030: 2e 70 61 72 61 6d 73 2e 6c 65 6e 67 74 68 20 21 .params.length !
1040: 3d 20 61 72 67 73 2e 6c 65 6e 67 74 68 20 29 0d = args.length ).
1050: 0a 09 09 09 09 74 68 72 6f 77 20 6e 65 77 20 50 .....throw new P
1060: 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 olemyRuntimeExce
1070: 70 74 69 6f 6e 28 73 70 72 69 6e 74 66 21 22 41 ption(sprintf!"A
1080: 72 67 75 6d 65 6e 74 20 4e 75 6d 62 65 72 20 4d rgument Number M
1090: 69 73 6d 61 74 63 68 20 28 25 64 20 72 65 71 75 ismatch (%d requ
10a0: 69 72 65 64 20 62 75 74 20 25 64 20 67 69 76 65 ired but %d give
10b0: 6e 29 20 61 74 20 5b 25 73 5d 22 0d 0a 09 09 09 n) at [%s]".....
10c0: 09 09 28 65 2e 70 61 72 61 6d 73 2e 6c 65 6e 67 ..(e.params.leng
10d0: 74 68 2c 20 61 72 67 73 2e 6c 65 6e 67 74 68 2c th, args.length,
10e0: 20 65 2e 70 6f 73 29 29 3b 0d 0a 09 09 09 43 6f e.pos));.....Co
10f0: 6e 74 65 78 74 20 63 74 78 4e 65 6f 20 3d 20 6e ntext ctxNeo = n
1100: 65 77 20 43 6f 6e 74 65 78 74 28 63 74 78 29 3b ew Context(ctx);
1110: 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 69 2c 70 .....foreach(i,p
1120: 3b 20 65 2e 70 61 72 61 6d 73 29 0d 0a 09 09 09 ; e.params).....
1130: 09 63 74 78 4e 65 6f 2e 61 64 64 28 70 2c 20 61 .ctxNeo.add(p, a
1140: 72 67 73 5b 69 5d 29 3b 0d 0a 09 09 09 72 65 74 rgs[i]);.....ret
1150: 75 72 6e 20 65 76 61 6c 28 65 2e 66 75 6e 62 6f urn eval(e.funbo
1160: 64 79 2c 20 63 74 78 4e 65 6f 29 3b 0d 0a 09 09 dy, ctxNeo);....
1170: 7d 29 3b 0d 0a 09 7d 0d 0a 09 74 68 72 6f 77 20 });...}...throw
1180: 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d new PolemyRuntim
1190: 65 45 78 63 65 70 74 69 6f 6e 28 73 70 72 69 6e eException(sprin
11a0: 74 66 21 22 55 6e 6b 6e 6f 77 6e 20 4b 69 6e 64 tf!"Unknown Kind
11b0: 20 6f 66 20 45 78 70 72 65 73 73 69 6f 6e 20 25 of Expression %
11c0: 73 20 61 74 20 5b 25 73 5d 22 28 74 79 70 65 69 s at [%s]"(typei
11d0: 64 28 5f 65 29 2c 20 5f 65 2e 70 6f 73 29 29 3b d(_e), _e.pos));
11e0: 0d 0a 7d 0d 0a 0d 0a 69 6d 70 6f 72 74 20 73 74 ..}....import st
11f0: 64 2e 73 74 64 69 6f 3b 0d 0a 75 6e 69 74 74 65 d.stdio;..unitte
1200: 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 72 20 3d st..{...auto r =
1210: 20 65 76 61 6c 53 74 72 69 6e 67 28 60 76 61 72 evalString(`var
1220: 20 78 20 3d 20 32 31 3b 20 78 20 3d 20 78 20 2b x = 21; x = x +
1230: 20 78 2a 78 3b 60 29 3b 0d 0a 09 61 73 73 65 72 x*x;`);...asser
1240: 74 28 20 72 2e 76 61 6c 20 3d 3d 20 6e 65 77 20 t( r.val == new
1250: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
1260: 32 31 2b 32 31 2a 32 31 29 29 20 29 3b 0d 0a 09 21+21*21)) );...
1270: 61 73 73 65 72 74 28 20 72 2e 63 74 78 5b 22 78 assert( r.ctx["x
1280: 22 5d 20 3d 3d 20 6e 65 77 20 49 6e 74 56 61 6c "] == new IntVal
1290: 75 65 28 42 69 67 49 6e 74 28 32 31 2b 32 31 2a ue(BigInt(21+21*
12a0: 32 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 21)) );...assert
12b0: 28 20 21 63 6f 6c 6c 65 63 74 45 78 63 65 70 74 ( !collectExcept
12c0: 69 6f 6e 28 72 2e 63 74 78 5b 22 78 22 5d 29 20 ion(r.ctx["x"])
12d0: 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 63 6f 6c );...assert( col
12e0: 6c 65 63 74 45 78 63 65 70 74 69 6f 6e 28 72 2e lectException(r.
12f0: 63 74 78 5b 22 79 22 5d 29 20 29 3b 0d 0a 7d 0d ctx["y"]) );..}.
1300: 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 .unittest..{...a
1310: 73 73 65 72 74 28 20 63 6f 6c 6c 65 63 74 45 78 ssert( collectEx
1320: 63 65 70 74 69 6f 6e 28 65 76 61 6c 53 74 72 69 ception(evalStri
1330: 6e 67 28 60 76 61 72 20 78 20 3d 20 32 31 3b 20 ng(`var x = 21;
1340: 78 20 3d 20 78 20 2b 20 78 2a 79 3b 60 29 29 20 x = x + x*y;`))
1350: 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 63 6f 6c );...assert( col
1360: 6c 65 63 74 45 78 63 65 70 74 69 6f 6e 28 65 76 lectException(ev
1370: 61 6c 53 74 72 69 6e 67 28 60 78 3d 31 3b 60 29 alString(`x=1;`)
1380: 29 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 ) );..}..unittes
1390: 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 72 20 3d 20 t..{...auto r =
13a0: 65 76 61 6c 53 74 72 69 6e 67 28 60 76 61 72 20 evalString(`var
13b0: 78 20 3d 20 66 75 6e 28 61 29 7b 31 2b 61 3b 7d x = fun(a){1+a;}
13c0: 28 32 29 3b 60 29 3b 0d 0a 09 61 73 73 65 72 74 (2);`);...assert
13d0: 28 20 72 2e 63 74 78 5b 22 78 22 5d 20 3d 3d 20 ( r.ctx["x"] ==
13e0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
13f0: 49 6e 74 28 33 29 29 20 29 3b 0d 0a 09 61 73 73 Int(3)) );...ass
1400: 65 72 74 28 20 72 2e 76 61 6c 20 3d 3d 20 6e 65 ert( r.val == ne
1410: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
1420: 74 28 33 29 29 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 t(3)) );..}..uni
1430: 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 ttest..{...auto
1440: 72 20 3d 20 65 76 61 6c 53 74 72 69 6e 67 28 60 r = evalString(`
1450: 76 61 72 20 78 20 3d 20 31 3b 20 76 61 72 20 66 var x = 1; var f
1460: 20 3d 20 66 75 6e 28 29 7b 78 3d 78 2b 31 3b 7d = fun(){x=x+1;}
1470: 3b 20 66 28 29 3b 20 66 28 29 3b 20 66 28 29 3b ; f(); f(); f();
1480: 60 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 72 2e `);...assert( r.
1490: 63 74 78 5b 22 78 22 5d 20 3d 3d 20 6e 65 77 20 ctx["x"] == new
14a0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
14b0: 34 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 4)) );...assert(
14c0: 20 72 2e 76 61 6c 20 3d 3d 20 6e 65 77 20 49 6e r.val == new In
14d0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 34 29 tValue(BigInt(4)
14e0: 29 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 ) );..}..unittes
14f0: 74 0d 0a 7b 0d 0a 09 65 76 61 6c 53 74 72 69 6e t..{...evalStrin
1500: 67 28 60 70 72 69 6e 74 28 22 48 65 6c 6c 6f 2c g(`print("Hello,
1510: 20 77 6f 72 6c 64 21 22 29 3b 60 29 3b 0d 0a 09 world!");`);...
1520: 65 76 61 6c 53 74 72 69 6e 67 28 60 70 72 69 6e evalString(`prin
1530: 74 28 66 75 6e 28 29 7b 7d 29 3b 60 29 3b 0d 0a t(fun(){});`);..
1540: 7d 0d 0a }..