Artifact 70846dfa5638c8e780de6dce0c7de94e2e0182d1:
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 63 alue;...}));...c
08a0: 74 78 2e 61 64 64 28 22 69 66 22 2c 20 6e 65 77 tx.add("if", new
08b0: 20 46 75 6e 56 61 6c 75 65 28 64 65 6c 65 67 61 FunValue(delega
08c0: 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 74 61 62 te Value(immutab
08d0: 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 le LexPosition p
08e0: 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 os, Value[] args
08f0: 29 7b 0d 0a 09 09 69 66 28 20 61 72 67 73 2e 6c ){....if( args.l
0900: 65 6e 67 74 68 20 21 3d 20 33 20 29 0d 0a 09 09 ength != 3 )....
0910: 09 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 6d .throw new Polem
0920: 79 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f yRuntimeExceptio
0930: 6e 28 22 69 66 20 74 61 6b 65 73 20 74 68 72 65 n("if takes thre
0940: 65 20 61 72 67 75 6d 65 6e 74 73 21 21 20 5b 22 e arguments!! ["
0950: 7e 74 6f 21 73 74 72 69 6e 67 28 70 6f 73 29 7e ~to!string(pos)~
0960: 22 5d 22 29 3b 0d 0a 09 09 69 66 28 20 61 75 74 "]");....if( aut
0970: 6f 20 78 20 3d 20 63 61 73 74 28 49 6e 74 56 61 o x = cast(IntVa
0980: 6c 75 65 29 61 72 67 73 5b 30 5d 20 29 0d 0a 09 lue)args[0] )...
0990: 09 69 66 28 20 61 75 74 6f 20 66 74 20 3d 20 63 .if( auto ft = c
09a0: 61 73 74 28 46 75 6e 56 61 6c 75 65 29 61 72 67 ast(FunValue)arg
09b0: 73 5b 31 5d 20 29 0d 0a 09 09 69 66 28 20 61 75 s[1] )....if( au
09c0: 74 6f 20 66 65 20 3d 20 63 61 73 74 28 46 75 6e to fe = cast(Fun
09d0: 56 61 6c 75 65 29 61 72 67 73 5b 32 5d 20 29 0d Value)args[2] ).
09e0: 0a 09 09 09 72 65 74 75 72 6e 20 28 78 2e 64 61 ....return (x.da
09f0: 74 61 20 3d 3d 20 30 20 3f 20 66 65 20 3a 20 66 ta == 0 ? fe : f
0a00: 74 29 2e 63 61 6c 6c 28 70 6f 73 2c 5b 5d 29 3b t).call(pos,[]);
0a10: 0d 0a 09 09 74 68 72 6f 77 20 6e 65 77 20 50 6f ....throw new Po
0a20: 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 70 lemyRuntimeExcep
0a30: 74 69 6f 6e 28 22 74 79 70 65 20 6d 69 73 6d 61 tion("type misma
0a40: 74 63 68 20 69 6e 20 69 66 20 5b 22 7e 74 6f 21 tch in if ["~to!
0a50: 73 74 72 69 6e 67 28 70 6f 73 29 7e 22 5d 22 29 string(pos)~"]")
0a60: 3b 0d 0a 09 7d 29 29 3b 0d 0a 09 72 65 74 75 72 ;...}));...retur
0a70: 6e 20 63 74 78 3b 0d 0a 7d 0d 0a 0d 0a 54 75 70 n ctx;..}....Tup
0a80: 6c 65 21 28 56 61 6c 75 65 2c 22 76 61 6c 22 2c le!(Value,"val",
0a90: 43 6f 6e 74 65 78 74 2c 22 63 74 78 22 29 20 65 Context,"ctx") e
0aa0: 76 61 6c 53 74 72 69 6e 67 28 54 2e 2e 2e 29 28 valString(T...)(
0ab0: 54 20 70 61 72 61 6d 73 29 0d 0a 7b 0d 0a 09 72 T params)..{...r
0ac0: 65 74 75 72 6e 20 65 76 61 6c 28 20 70 61 72 73 eturn eval( pars
0ad0: 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 70 61 72 erFromString(par
0ae0: 61 6d 73 29 2e 70 61 72 73 65 50 72 6f 67 72 61 ams).parseProgra
0af0: 6d 28 29 20 29 3b 0d 0a 7d 0d 0a 0d 0a 54 75 70 m() );..}....Tup
0b00: 6c 65 21 28 56 61 6c 75 65 2c 22 76 61 6c 22 2c le!(Value,"val",
0b10: 43 6f 6e 74 65 78 74 2c 22 63 74 78 22 29 20 65 Context,"ctx") e
0b20: 76 61 6c 46 69 6c 65 28 54 2e 2e 2e 29 28 54 20 valFile(T...)(T
0b30: 70 61 72 61 6d 73 29 0d 0a 7b 0d 0a 09 72 65 74 params)..{...ret
0b40: 75 72 6e 20 65 76 61 6c 28 20 70 61 72 73 65 72 urn eval( parser
0b50: 46 72 6f 6d 46 69 6c 65 28 70 61 72 61 6d 73 29 FromFile(params)
0b60: 2e 70 61 72 73 65 50 72 6f 67 72 61 6d 28 29 20 .parseProgram()
0b70: 29 3b 0d 0a 7d 0d 0a 0d 0a 54 75 70 6c 65 21 28 );..}....Tuple!(
0b80: 56 61 6c 75 65 2c 22 76 61 6c 22 2c 43 6f 6e 74 Value,"val",Cont
0b90: 65 78 74 2c 22 63 74 78 22 29 20 65 76 61 6c 28 ext,"ctx") eval(
0ba0: 50 72 6f 67 72 61 6d 20 70 72 6f 67 29 0d 0a 7b Program prog)..{
0bb0: 0d 0a 09 43 6f 6e 74 65 78 74 20 63 74 78 20 3d ...Context ctx =
0bc0: 20 63 72 65 61 74 65 47 6c 6f 62 61 6c 43 6f 6e createGlobalCon
0bd0: 74 65 78 74 28 29 3b 0d 0a 09 72 65 74 75 72 6e text();...return
0be0: 20 74 79 70 65 6f 66 28 72 65 74 75 72 6e 29 28 typeof(return)(
0bf0: 65 76 61 6c 28 70 72 6f 67 2c 20 63 74 78 29 2c eval(prog, ctx),
0c00: 20 63 74 78 29 3b 0d 0a 7d 0d 0a 0d 0a 56 61 6c ctx);..}....Val
0c10: 75 65 20 65 76 61 6c 28 50 72 6f 67 72 61 6d 20 ue eval(Program
0c20: 70 72 6f 67 2c 20 43 6f 6e 74 65 78 74 20 63 74 prog, Context ct
0c30: 78 29 0d 0a 7b 0d 0a 09 56 61 6c 75 65 20 76 20 x)..{...Value v
0c40: 3d 20 6e 65 77 20 55 6e 64 65 66 69 6e 65 64 56 = new UndefinedV
0c50: 61 6c 75 65 3b 0d 0a 09 66 6f 72 65 61 63 68 28 alue;...foreach(
0c60: 73 3b 20 70 72 6f 67 29 0d 0a 09 09 76 20 3d 20 s; prog)....v =
0c70: 65 76 61 6c 28 73 2c 20 63 74 78 29 3b 0d 0a 09 eval(s, ctx);...
0c80: 72 65 74 75 72 6e 20 76 3b 0d 0a 7d 0d 0a 0d 0a return v;..}....
0c90: 56 61 6c 75 65 20 65 76 61 6c 28 53 74 61 74 65 Value eval(State
0ca0: 6d 65 6e 74 20 5f 73 2c 20 43 6f 6e 74 65 78 74 ment _s, Context
0cb0: 20 63 74 78 29 0d 0a 7b 0d 0a 09 69 66 28 20 61 ctx)..{...if( a
0cc0: 75 74 6f 20 73 20 3d 20 63 61 73 74 28 44 65 63 uto s = cast(Dec
0cd0: 6c 53 74 61 74 65 6d 65 6e 74 29 5f 73 20 29 0d lStatement)_s ).
0ce0: 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 76 20 3d 20 ..{....auto v =
0cf0: 65 76 61 6c 28 73 2e 65 78 70 72 2c 20 63 74 78 eval(s.expr, ctx
0d00: 29 3b 0d 0a 09 09 63 74 78 2e 61 64 64 28 73 2e );....ctx.add(s.
0d10: 76 61 72 2c 20 76 29 3b 0d 0a 09 09 72 65 74 75 var, v);....retu
0d20: 72 6e 20 76 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 65 rn v;...}...else
0d30: 0d 0a 09 69 66 28 20 61 75 74 6f 20 73 20 3d 20 ...if( auto s =
0d40: 63 61 73 74 28 45 78 70 72 53 74 61 74 65 6d 65 cast(ExprStateme
0d50: 6e 74 29 5f 73 20 29 0d 0a 09 7b 0d 0a 09 09 72 nt)_s )...{....r
0d60: 65 74 75 72 6e 20 65 76 61 6c 28 73 2e 65 78 70 eturn eval(s.exp
0d70: 72 2c 20 63 74 78 29 3b 0d 0a 09 7d 0d 0a 09 74 r, ctx);...}...t
0d80: 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 6d 79 52 hrow new PolemyR
0d90: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
0da0: 73 70 72 69 6e 74 66 21 22 55 6e 6b 6e 6f 77 6e sprintf!"Unknown
0db0: 20 4b 69 6e 64 20 6f 66 20 53 74 61 74 65 6d 65 Kind of Stateme
0dc0: 6e 74 20 25 73 20 61 74 20 5b 25 73 5d 22 28 74 nt %s at [%s]"(t
0dd0: 79 70 65 69 64 28 5f 73 29 2c 20 5f 73 2e 70 6f ypeid(_s), _s.po
0de0: 73 29 29 3b 0d 0a 7d 0d 0a 0d 0a 56 61 6c 75 65 s));..}....Value
0df0: 20 65 76 61 6c 28 45 78 70 72 65 73 73 69 6f 6e eval(Expression
0e00: 20 5f 65 2c 20 43 6f 6e 74 65 78 74 20 63 74 78 _e, Context ctx
0e10: 29 0d 0a 7b 0d 0a 09 69 66 28 20 61 75 74 6f 20 )..{...if( auto
0e20: 65 20 3d 20 63 61 73 74 28 53 74 72 4c 69 74 65 e = cast(StrLite
0e30: 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 29 5f 65 ralExpression)_e
0e40: 20 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e )...{....return
0e50: 20 6e 65 77 20 53 74 72 56 61 6c 75 65 28 65 2e new StrValue(e.
0e60: 64 61 74 61 29 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 data);...}...els
0e70: 65 0d 0a 09 69 66 28 20 61 75 74 6f 20 65 20 3d e...if( auto e =
0e80: 20 63 61 73 74 28 49 6e 74 4c 69 74 65 72 61 6c cast(IntLiteral
0e90: 45 78 70 72 65 73 73 69 6f 6e 29 5f 65 20 29 0d Expression)_e ).
0ea0: 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 ..{....return ne
0eb0: 77 20 49 6e 74 56 61 6c 75 65 28 65 2e 64 61 74 w IntValue(e.dat
0ec0: 61 29 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 65 0d 0a a);...}...else..
0ed0: 09 69 66 28 20 61 75 74 6f 20 65 20 3d 20 63 61 .if( auto e = ca
0ee0: 73 74 28 56 61 72 45 78 70 72 65 73 73 69 6f 6e st(VarExpression
0ef0: 29 5f 65 20 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 )_e )...{....ret
0f00: 75 72 6e 20 63 74 78 5b 65 2e 76 61 72 5d 3b 0d urn ctx[e.var];.
0f10: 0a 09 7d 0d 0a 09 65 6c 73 65 0d 0a 09 69 66 28 ..}...else...if(
0f20: 20 61 75 74 6f 20 65 20 3d 20 63 61 73 74 28 41 auto e = cast(A
0f30: 73 73 69 67 6e 45 78 70 72 65 73 73 69 6f 6e 29 ssignExpression)
0f40: 5f 65 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 _e )...{....if(
0f50: 61 75 74 6f 20 65 76 20 3d 20 63 61 73 74 28 56 auto ev = cast(V
0f60: 61 72 45 78 70 72 65 73 73 69 6f 6e 29 65 2e 6c arExpression)e.l
0f70: 68 73 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 56 61 hs )....{.....Va
0f80: 6c 75 65 20 72 20 3d 20 65 76 61 6c 28 65 2e 72 lue r = eval(e.r
0f90: 68 73 2c 20 63 74 78 29 3b 0d 0a 09 09 09 63 74 hs, ctx);.....ct
0fa0: 78 5b 65 76 2e 76 61 72 5d 20 3d 20 72 3b 0d 0a x[ev.var] = r;..
0fb0: 09 09 09 72 65 74 75 72 6e 20 72 3b 0d 0a 09 09 ...return r;....
0fc0: 7d 0d 0a 09 09 74 68 72 6f 77 20 6e 65 77 20 50 }....throw new P
0fd0: 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 olemyRuntimeExce
0fe0: 70 74 69 6f 6e 28 73 70 72 69 6e 74 66 21 22 4c ption(sprintf!"L
0ff0: 68 73 20 6f 66 20 61 73 73 69 67 6e 6d 65 6e 74 hs of assignment
1000: 20 6d 75 73 74 20 62 65 20 61 20 76 61 72 69 61 must be a varia
1010: 62 6c 65 3a 20 25 73 22 28 65 2e 70 6f 73 29 29 ble: %s"(e.pos))
1020: 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 65 0d 0a 09 69 ;...}...else...i
1030: 66 28 20 61 75 74 6f 20 65 20 3d 20 63 61 73 74 f( auto e = cast
1040: 28 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 (FuncallExpressi
1050: 6f 6e 29 5f 65 20 29 0d 0a 09 7b 0d 0a 09 09 56 on)_e )...{....V
1060: 61 6c 75 65 20 5f 66 20 3d 20 65 76 61 6c 28 65 alue _f = eval(e
1070: 2e 66 75 6e 2c 20 63 74 78 29 3b 0d 0a 09 09 69 .fun, ctx);....i
1080: 66 28 20 61 75 74 6f 20 66 20 3d 20 63 61 73 74 f( auto f = cast
1090: 28 46 75 6e 56 61 6c 75 65 29 5f 66 20 29 20 7b (FunValue)_f ) {
10a0: 0d 0a 09 09 09 56 61 6c 75 65 5b 5d 20 61 72 67 .....Value[] arg
10b0: 73 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 61 s;.....foreach(a
10c0: 3b 20 65 2e 61 72 67 73 29 0d 0a 09 09 09 09 61 ; e.args)......a
10d0: 72 67 73 20 7e 3d 20 65 76 61 6c 28 61 2c 20 63 rgs ~= eval(a, c
10e0: 74 78 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 tx);.....return
10f0: 66 2e 63 61 6c 6c 28 65 2e 70 6f 73 2c 20 61 72 f.call(e.pos, ar
1100: 67 73 29 3b 0d 0a 09 09 7d 20 65 6c 73 65 0d 0a gs);....} else..
1110: 09 09 09 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c ...throw new Pol
1120: 65 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 70 74 emyRuntimeExcept
1130: 69 6f 6e 28 73 70 72 69 6e 74 66 21 22 4e 6f 6e ion(sprintf!"Non
1140: 2d 66 75 6e 63 69 6f 6e 20 69 73 20 61 70 70 6c -funcion is appl
1150: 69 65 64 20 61 74 20 5b 25 73 5d 22 28 65 2e 70 ied at [%s]"(e.p
1160: 6f 73 29 29 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 65 os));...}...else
1170: 0d 0a 09 69 66 28 20 61 75 74 6f 20 65 20 3d 20 ...if( auto e =
1180: 63 61 73 74 28 46 75 6e 4c 69 74 65 72 61 6c 45 cast(FunLiteralE
1190: 78 70 72 65 73 73 69 6f 6e 29 5f 65 20 29 0d 0a xpression)_e )..
11a0: 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 .{....return new
11b0: 20 46 75 6e 56 61 6c 75 65 28 64 65 6c 65 67 61 FunValue(delega
11c0: 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 74 61 62 te Value(immutab
11d0: 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 le LexPosition p
11e0: 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 os, Value[] args
11f0: 29 7b 0d 0a 09 09 09 69 66 28 20 65 2e 70 61 72 ){.....if( e.par
1200: 61 6d 73 2e 6c 65 6e 67 74 68 20 21 3d 20 61 72 ams.length != ar
1210: 67 73 2e 6c 65 6e 67 74 68 20 29 0d 0a 09 09 09 gs.length ).....
1220: 09 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 6d .throw new Polem
1230: 79 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f yRuntimeExceptio
1240: 6e 28 73 70 72 69 6e 74 66 21 22 41 72 67 75 6d n(sprintf!"Argum
1250: 65 6e 74 20 4e 75 6d 62 65 72 20 4d 69 73 6d 61 ent Number Misma
1260: 74 63 68 20 28 25 64 20 72 65 71 75 69 72 65 64 tch (%d required
1270: 20 62 75 74 20 25 64 20 67 69 76 65 6e 29 20 61 but %d given) a
1280: 74 20 5b 25 73 5d 22 0d 0a 09 09 09 09 09 28 65 t [%s]".......(e
1290: 2e 70 61 72 61 6d 73 2e 6c 65 6e 67 74 68 2c 20 .params.length,
12a0: 61 72 67 73 2e 6c 65 6e 67 74 68 2c 20 65 2e 70 args.length, e.p
12b0: 6f 73 29 29 3b 0d 0a 09 09 09 43 6f 6e 74 65 78 os));.....Contex
12c0: 74 20 63 74 78 4e 65 6f 20 3d 20 6e 65 77 20 43 t ctxNeo = new C
12d0: 6f 6e 74 65 78 74 28 63 74 78 29 3b 0d 0a 09 09 ontext(ctx);....
12e0: 09 66 6f 72 65 61 63 68 28 69 2c 70 3b 20 65 2e .foreach(i,p; e.
12f0: 70 61 72 61 6d 73 29 0d 0a 09 09 09 09 63 74 78 params)......ctx
1300: 4e 65 6f 2e 61 64 64 28 70 2c 20 61 72 67 73 5b Neo.add(p, args[
1310: 69 5d 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 i]);.....return
1320: 65 76 61 6c 28 65 2e 66 75 6e 62 6f 64 79 2c 20 eval(e.funbody,
1330: 63 74 78 4e 65 6f 29 3b 0d 0a 09 09 7d 29 3b 0d ctxNeo);....});.
1340: 0a 09 7d 0d 0a 09 74 68 72 6f 77 20 6e 65 77 20 ..}...throw new
1350: 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 63 PolemyRuntimeExc
1360: 65 70 74 69 6f 6e 28 73 70 72 69 6e 74 66 21 22 eption(sprintf!"
1370: 55 6e 6b 6e 6f 77 6e 20 4b 69 6e 64 20 6f 66 20 Unknown Kind of
1380: 45 78 70 72 65 73 73 69 6f 6e 20 25 73 20 61 74 Expression %s at
1390: 20 5b 25 73 5d 22 28 74 79 70 65 69 64 28 5f 65 [%s]"(typeid(_e
13a0: 29 2c 20 5f 65 2e 70 6f 73 29 29 3b 0d 0a 7d 0d ), _e.pos));..}.
13b0: 0a 0d 0a 69 6d 70 6f 72 74 20 73 74 64 2e 73 74 ...import std.st
13c0: 64 69 6f 3b 0d 0a 75 6e 69 74 74 65 73 74 0d 0a dio;..unittest..
13d0: 7b 0d 0a 09 61 75 74 6f 20 72 20 3d 20 65 76 61 {...auto r = eva
13e0: 6c 53 74 72 69 6e 67 28 60 76 61 72 20 78 20 3d lString(`var x =
13f0: 20 32 31 3b 20 78 20 3d 20 78 20 2b 20 78 2a 78 21; x = x + x*x
1400: 3b 60 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 72 ;`);...assert( r
1410: 2e 76 61 6c 20 3d 3d 20 6e 65 77 20 49 6e 74 56 .val == new IntV
1420: 61 6c 75 65 28 42 69 67 49 6e 74 28 32 31 2b 32 alue(BigInt(21+2
1430: 31 2a 32 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 1*21)) );...asse
1440: 72 74 28 20 72 2e 63 74 78 5b 22 78 22 5d 20 3d rt( r.ctx["x"] =
1450: 3d 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 = new IntValue(B
1460: 69 67 49 6e 74 28 32 31 2b 32 31 2a 32 31 29 29 igInt(21+21*21))
1470: 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 21 63 );...assert( !c
1480: 6f 6c 6c 65 63 74 45 78 63 65 70 74 69 6f 6e 28 ollectException(
1490: 72 2e 63 74 78 5b 22 78 22 5d 29 20 29 3b 0d 0a r.ctx["x"]) );..
14a0: 09 61 73 73 65 72 74 28 20 63 6f 6c 6c 65 63 74 .assert( collect
14b0: 45 78 63 65 70 74 69 6f 6e 28 72 2e 63 74 78 5b Exception(r.ctx[
14c0: 22 79 22 5d 29 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 "y"]) );..}..uni
14d0: 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 ttest..{...asser
14e0: 74 28 20 63 6f 6c 6c 65 63 74 45 78 63 65 70 74 t( collectExcept
14f0: 69 6f 6e 28 65 76 61 6c 53 74 72 69 6e 67 28 60 ion(evalString(`
1500: 76 61 72 20 78 20 3d 20 32 31 3b 20 78 20 3d 20 var x = 21; x =
1510: 78 20 2b 20 78 2a 79 3b 60 29 29 20 29 3b 0d 0a x + x*y;`)) );..
1520: 09 61 73 73 65 72 74 28 20 63 6f 6c 6c 65 63 74 .assert( collect
1530: 45 78 63 65 70 74 69 6f 6e 28 65 76 61 6c 53 74 Exception(evalSt
1540: 72 69 6e 67 28 60 78 3d 31 3b 60 29 29 20 29 3b ring(`x=1;`)) );
1550: 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b ..}..unittest..{
1560: 0d 0a 09 61 75 74 6f 20 72 20 3d 20 65 76 61 6c ...auto r = eval
1570: 53 74 72 69 6e 67 28 60 76 61 72 20 78 20 3d 20 String(`var x =
1580: 66 75 6e 28 61 29 7b 31 2b 61 3b 7d 28 32 29 3b fun(a){1+a;}(2);
1590: 60 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 72 2e `);...assert( r.
15a0: 63 74 78 5b 22 78 22 5d 20 3d 3d 20 6e 65 77 20 ctx["x"] == new
15b0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
15c0: 33 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 3)) );...assert(
15d0: 20 72 2e 76 61 6c 20 3d 3d 20 6e 65 77 20 49 6e r.val == new In
15e0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 33 29 tValue(BigInt(3)
15f0: 29 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 ) );..}..unittes
1600: 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 72 20 3d 20 t..{...auto r =
1610: 65 76 61 6c 53 74 72 69 6e 67 28 60 76 61 72 20 evalString(`var
1620: 78 20 3d 20 31 3b 20 76 61 72 20 66 20 3d 20 66 x = 1; var f = f
1630: 75 6e 28 29 7b 78 3d 78 2b 31 3b 7d 3b 20 66 28 un(){x=x+1;}; f(
1640: 29 3b 20 66 28 29 3b 20 66 28 29 3b 60 29 3b 0d ); f(); f();`);.
1650: 0a 09 61 73 73 65 72 74 28 20 72 2e 63 74 78 5b ..assert( r.ctx[
1660: 22 78 22 5d 20 3d 3d 20 6e 65 77 20 49 6e 74 56 "x"] == new IntV
1670: 61 6c 75 65 28 42 69 67 49 6e 74 28 34 29 29 20 alue(BigInt(4))
1680: 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 72 2e 76 );...assert( r.v
1690: 61 6c 20 3d 3d 20 6e 65 77 20 49 6e 74 56 61 6c al == new IntVal
16a0: 75 65 28 42 69 67 49 6e 74 28 34 29 29 20 29 3b ue(BigInt(4)) );
16b0: 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b ..}..unittest..{
16c0: 0d 0a 09 65 76 61 6c 53 74 72 69 6e 67 28 60 70 ...evalString(`p
16d0: 72 69 6e 74 28 22 48 65 6c 6c 6f 2c 20 77 6f 72 rint("Hello, wor
16e0: 6c 64 21 22 29 3b 60 29 3b 0d 0a 09 65 76 61 6c ld!");`);...eval
16f0: 53 74 72 69 6e 67 28 60 70 72 69 6e 74 28 66 75 String(`print(fu
1700: 6e 28 29 7b 7d 29 3b 60 29 3b 0d 0a 7d 0d 0a 75 n(){});`);..}..u
1710: 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 65 76 61 nittest..{...eva
1720: 6c 53 74 72 69 6e 67 28 60 76 61 72 20 66 61 63 lString(`var fac
1730: 20 3d 20 66 75 6e 28 78 29 7b 0d 0a 09 09 31 3b = fun(x){....1;
1740: 0d 0a 09 7d 3b 0d 0a 09 70 72 69 6e 74 28 66 61 ...};...print(fa
1750: 63 28 33 29 29 3b 60 29 3b 0d 0a 09 65 76 61 6c c(3));`);...eval
1760: 53 74 72 69 6e 67 28 60 76 61 72 20 66 61 63 20 String(`var fac
1770: 3d 20 66 75 6e 28 78 29 7b 0d 0a 09 09 69 66 28 = fun(x){....if(
1780: 78 29 0d 0a 09 09 09 7b 20 78 2a 66 61 63 28 78 x).....{ x*fac(x
1790: 2d 31 29 3b 20 7d 0d 0a 09 09 65 6c 73 65 0d 0a -1); }....else..
17a0: 09 09 09 7b 20 31 3b 20 7d 3b 0d 0a 09 7d 3b 0d ...{ 1; };...};.
17b0: 0a 09 70 72 69 6e 74 28 66 61 63 28 31 30 29 29 ..print(fac(10))
17c0: 3b 60 29 3b 0d 0a 7d 0d 0a ;`);..}..