0000: 2f 2a 2a 0d 0a 20 2a 20 41 75 74 68 6f 72 73 3a /**.. * Authors:
0010: 20 6b 2e 69 6e 61 62 61 0d 0a 20 2a 20 4c 69 63 k.inaba.. * Lic
0020: 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38 ense: NYSL 0.998
0030: 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 2 http://www.kmo
0040: 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0d 0a 20 nos.net/nysl/..
0050: 2a 0d 0a 20 2a 20 45 76 61 6c 75 61 74 6f 72 20 *.. * Evaluator
0060: 66 6f 72 20 50 6f 6c 65 6d 79 20 70 72 6f 67 72 for Polemy progr
0070: 61 6d 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65 2e amming language.
0080: 0d 0a 20 2a 2f 0d 0a 6d 6f 64 75 6c 65 20 70 6f .. */..module po
0090: 6c 65 6d 79 2e 65 76 61 6c 3b 0d 0a 69 6d 70 6f lemy.eval;..impo
00a0: 72 74 20 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f rt polemy._commo
00b0: 6e 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d n;..import polem
00c0: 79 2e 66 61 69 6c 75 72 65 3b 0d 0a 69 6d 70 6f y.failure;..impo
00d0: 72 74 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0d 0a rt 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 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c rse;..import pol
0100: 65 6d 79 2e 76 61 6c 75 65 3b 0d 0a 69 6d 70 6f emy.value;..impo
0110: 72 74 20 70 6f 6c 65 6d 79 2e 6c 61 79 65 72 3b rt polemy.layer;
0120: 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e ..import polemy.
0130: 76 61 6c 75 65 3b 0d 0a 69 6d 70 6f 72 74 20 70 value;..import p
0140: 6f 6c 65 6d 79 2e 76 61 6c 75 65 63 6f 6e 76 3b olemy.valueconv;
0150: 0d 0a 69 6d 70 6f 72 74 20 73 74 64 2e 73 69 67 ..import std.sig
0160: 6e 61 6c 73 3b 0d 0a 0d 0a 2f 2f 2f 20 4f 62 6a nals;..../// Obj
0170: 65 63 74 73 20 66 6f 72 20 6d 61 69 74 61 69 6e ects for maitain
0180: 69 6e 67 20 67 6c 6f 62 61 6c 20 65 6e 76 69 72 ing global envir
0190: 6f 6e 6d 65 6e 74 20 61 6e 64 20 65 76 61 6c 75 onment and evalu
01a0: 61 74 69 6f 6e 20 6f 66 20 65 78 70 72 65 73 73 ation of express
01b0: 69 6f 6e 20 6f 6e 20 69 74 0d 0a 63 6c 61 73 73 ion on it..class
01c0: 20 45 76 61 6c 75 61 74 6f 72 0d 0a 7b 0d 0a 70 Evaluator..{..p
01d0: 75 62 6c 69 63 3a 0d 0a 09 2f 2f 2f 20 49 6e 69 ublic:.../// Ini
01e0: 74 69 61 6c 69 7a 65 20 65 76 61 6c 75 61 74 6f tialize evaluato
01f0: 72 20 77 69 74 68 20 65 6d 70 74 79 20 63 6f 6e r with empty con
0200: 74 65 78 74 0d 0a 09 74 68 69 73 28 29 20 7b 20 text...this() {
0210: 74 68 65 43 6f 6e 74 65 78 74 20 3d 20 6e 65 77 theContext = new
0220: 20 54 61 62 6c 65 3b 20 7d 0d 0a 0d 0a 09 2f 2f Table; }.....//
0230: 2f 20 45 76 61 6c 75 61 74 65 20 74 68 65 20 41 / Evaluate the A
0240: 53 54 0d 0a 09 56 61 6c 75 65 20 65 76 61 6c 41 ST...Value evalA
0250: 53 54 28 41 53 54 20 65 29 0d 0a 09 7b 0d 0a 09 ST(AST e)...{...
0260: 09 41 53 54 5b 76 6f 69 64 2a 5d 20 6d 61 6e 64 .AST[void*] mand
0270: 65 43 61 63 68 65 3b 0d 0a 09 09 72 65 74 75 72 eCache;....retur
0280: 6e 20 6d 61 63 72 6f 41 6e 64 45 76 61 6c 28 65 n macroAndEval(e
0290: 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 74 68 , ValueLayer, th
02a0: 65 43 6f 6e 74 65 78 74 2c 20 4f 76 65 72 77 72 eContext, Overwr
02b0: 69 74 65 43 74 78 2c 20 6d 61 6e 64 65 43 61 63 iteCtx, mandeCac
02c0: 68 65 29 5b 30 5d 3b 0d 0a 09 7d 0d 0a 0d 0a 09 he)[0];...}.....
02d0: 2f 2f 2f 20 45 76 61 6c 75 61 74 65 20 74 68 65 /// Evaluate the
02e0: 20 73 74 72 69 6e 67 0d 0a 09 56 61 6c 75 65 20 string...Value
02f0: 65 76 61 6c 53 74 72 69 6e 67 28 53 2c 54 2e 2e evalString(S,T..
0300: 2e 29 28 53 20 73 74 72 2c 20 54 20 66 6e 5f 6c .)(S str, T fn_l
0310: 6e 5f 63 6e 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 n_cn)...{....ret
0320: 75 72 6e 20 65 76 61 6c 41 53 54 28 70 61 72 73 urn evalAST(pars
0330: 65 53 74 72 69 6e 67 28 73 74 72 2c 66 6e 5f 6c eString(str,fn_l
0340: 6e 5f 63 6e 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 n_cn));...}.....
0350: 2f 2f 2f 20 45 76 61 6c 75 61 74 65 20 74 68 65 /// Evaluate the
0360: 20 66 69 6c 65 0d 0a 09 56 61 6c 75 65 20 65 76 file...Value ev
0370: 61 6c 46 69 6c 65 28 53 2c 54 2e 2e 2e 29 28 53 alFile(S,T...)(S
0380: 20 66 69 6c 65 6e 61 6d 65 2c 20 54 20 6c 6e 5f filename, T ln_
0390: 63 6e 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 cn)...{....retur
03a0: 6e 20 65 76 61 6c 41 53 54 28 70 61 72 73 65 46 n evalAST(parseF
03b0: 69 6c 65 28 66 69 6c 65 6e 61 6d 65 2c 6c 6e 5f ile(filename,ln_
03c0: 63 6e 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f cn));...}.....//
03d0: 2f 20 47 65 74 20 74 68 65 20 67 6c 6f 62 61 6c / Get the global
03e0: 20 63 6f 6e 74 65 78 74 0d 0a 09 54 61 62 6c 65 context...Table
03f0: 20 67 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 28 29 globalContext()
0400: 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 74 ...{....return t
0410: 68 65 43 6f 6e 74 65 78 74 3b 0d 0a 09 7d 0d 0a heContext;...}..
0420: 0d 0a 70 72 69 76 61 74 65 3a 0d 0a 09 54 61 62 ..private:...Tab
0430: 6c 65 20 74 68 65 43 6f 6e 74 65 78 74 3b 0d 0a le theContext;..
0440: 0d 0a 09 65 6e 75 6d 20 3a 20 62 6f 6f 6c 20 7b ...enum : bool {
0450: 20 43 61 73 63 61 64 65 43 74 78 3d 66 61 6c 73 CascadeCtx=fals
0460: 65 2c 20 4f 76 65 72 77 72 69 74 65 43 74 78 3d e, OverwriteCtx=
0470: 74 72 75 65 20 7d 3b 0d 0a 0d 0a 09 56 61 6c 75 true };.....Valu
0480: 65 20 65 76 61 6c 28 20 41 53 54 20 65 2c 20 4c e eval( AST e, L
0490: 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 ayer lay, Table
04a0: 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 77 72 ctx, bool overwr
04b0: 69 74 65 43 74 78 3d 43 61 73 63 61 64 65 43 74 iteCtx=CascadeCt
04c0: 78 20 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 20 64 79 x )...{....// dy
04d0: 6e 61 6d 69 63 2d 6f 76 65 72 6c 6f 61 64 2d 72 namic-overload-r
04e0: 65 73 6f 6c 75 74 69 6f 6e 2d 70 61 74 74 65 72 esolution-patter
04f0: 6e 3a 20 6d 6f 64 69 66 79 20 68 65 72 65 0d 0a n: modify here..
0500: 09 09 65 6e 75 6d 20 66 75 6e 4e 61 6d 65 20 3d ..enum funName =
0510: 20 22 65 76 61 6c 22 3b 0d 0a 09 09 61 6c 69 61 "eval";....alia
0520: 73 20 54 79 70 65 54 75 70 6c 65 21 28 65 2c 6c s TypeTuple!(e,l
0530: 61 79 2c 63 74 78 2c 6f 76 65 72 77 72 69 74 65 ay,ctx,overwrite
0540: 43 74 78 29 20 70 61 72 61 6d 73 3b 0d 0a 0d 0a Ctx) params;....
0550: 09 09 2f 2f 20 64 79 6e 61 6d 69 63 2d 6f 76 65 ..// dynamic-ove
0560: 72 6c 6f 61 64 2d 72 65 73 6f 6c 75 74 69 6f 6e rload-resolution
0570: 2d 70 61 74 74 65 72 6e 3a 20 64 69 73 70 61 74 -pattern: dispat
0580: 63 68 0d 0a 09 09 61 6c 69 61 73 20 74 79 70 65 ch....alias type
0590: 6f 66 28 5f 5f 74 72 61 69 74 73 28 67 65 74 4f of(__traits(getO
05a0: 76 65 72 6c 6f 61 64 73 2c 20 74 68 69 73 2c 20 verloads, this,
05b0: 66 75 6e 4e 61 6d 65 29 29 20 6f 76 54 79 70 65 funName)) ovType
05c0: 73 3b 0d 0a 09 09 61 6c 69 61 73 20 73 74 61 74 s;....alias stat
05d0: 69 63 4d 61 70 21 28 66 69 72 73 74 50 61 72 61 icMap!(firstPara
05e0: 6d 2c 20 6f 76 54 79 70 65 73 29 20 20 20 20 20 m, ovTypes)
05f0: 20 20 20 20 20 20 20 20 20 66 73 74 54 79 70 65 fstType
0600: 73 3b 0d 0a 09 09 61 6c 69 61 73 20 44 65 72 69 s;....alias Deri
0610: 76 65 64 54 6f 46 72 6f 6e 74 21 28 66 73 74 54 vedToFront!(fstT
0620: 79 70 65 73 29 20 20 20 20 20 20 20 20 20 20 20 ypes)
0630: 20 20 66 73 74 54 79 70 65 73 5f 73 6f 72 74 65 fstTypes_sorte
0640: 64 3b 0d 0a 09 09 66 6f 72 65 61 63 68 28 69 2c d;....foreach(i,
0650: 20 54 3b 20 66 73 74 54 79 70 65 73 5f 73 6f 72 T; fstTypes_sor
0660: 74 65 64 29 0d 0a 09 09 09 73 74 61 74 69 63 20 ted).....static
0670: 69 66 28 20 69 73 28 54 20 3d 3d 20 74 79 70 65 if( is(T == type
0680: 6f 66 28 70 61 72 61 6d 73 5b 30 5d 29 29 20 29 of(params[0])) )
0690: 20 7b 7d 20 65 6c 73 65 20 69 66 28 20 61 75 74 {} else if( aut
06a0: 6f 20 5f 78 20 3d 20 63 61 73 74 28 54 29 70 61 o _x = cast(T)pa
06b0: 72 61 6d 73 5b 30 5d 20 29 0d 0a 09 09 09 09 72 rams[0] )......r
06c0: 65 74 75 72 6e 20 5f 5f 74 72 61 69 74 73 28 67 eturn __traits(g
06d0: 65 74 4f 76 65 72 6c 6f 61 64 73 2c 20 74 68 69 etOverloads, thi
06e0: 73 2c 20 66 75 6e 4e 61 6d 65 29 5b 69 5d 28 5f s, funName)[i](_
06f0: 78 2c 20 70 61 72 61 6d 73 5b 31 2e 2e 24 5d 29 x, params[1..$])
0700: 3b 0d 0a 0d 0a 09 09 2f 2f 20 64 79 6e 61 6d 69 ;......// dynami
0710: 63 2d 6f 76 65 72 6c 6f 61 64 2d 72 65 73 6f 6c c-overload-resol
0720: 75 74 69 6f 6e 2d 70 61 74 74 65 72 6e 3a 20 64 ution-pattern: d
0730: 65 66 61 75 6c 74 20 62 65 68 61 76 69 6f 72 0d efault behavior.
0740: 0a 09 09 61 73 73 65 72 74 28 66 61 6c 73 65 2c ...assert(false,
0750: 20 74 65 78 74 28 22 65 76 61 6c 28 29 20 66 6f text("eval() fo
0760: 72 20 22 2c 74 79 70 65 69 64 28 65 29 2c 22 20 r ",typeid(e),"
0770: 5b 22 2c 65 2e 70 6f 73 2c 22 5d 20 69 73 20 6e [",e.pos,"] is n
0780: 6f 74 20 64 65 66 69 6e 65 64 22 29 29 3b 0d 0a ot defined"));..
0790: 09 7d 0d 0a 0d 0a 09 56 61 6c 75 65 20 65 76 61 .}.....Value eva
07a0: 6c 28 20 53 74 72 20 65 2c 20 4c 61 79 65 72 20 l( Str e, Layer
07b0: 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 lay, Table ctx,
07c0: 62 6f 6f 6c 20 6f 76 65 72 77 72 69 74 65 43 74 bool overwriteCt
07d0: 78 3d 43 61 73 63 61 64 65 43 74 78 20 29 0d 0a x=CascadeCtx )..
07e0: 09 7b 0d 0a 09 09 69 66 28 20 69 73 41 53 54 4c .{....if( isASTL
07f0: 61 79 65 72 28 6c 61 79 29 20 29 0d 0a 09 09 09 ayer(lay) ).....
0800: 72 65 74 75 72 6e 20 61 73 74 32 74 61 62 6c 65 return ast2table
0810: 28 65 2c 20 28 41 53 54 20 65 29 7b 72 65 74 75 (e, (AST e){retu
0820: 72 6e 20 65 76 61 6c 28 65 2c 6c 61 79 2c 63 74 rn eval(e,lay,ct
0830: 78 29 3b 7d 29 3b 0d 0a 09 09 69 66 28 20 69 73 x);});....if( is
0840: 55 73 65 72 44 65 66 69 6e 65 64 4c 61 79 65 72 UserDefinedLayer
0850: 28 6c 61 79 29 20 29 0d 0a 09 09 09 72 65 74 75 (lay) ).....retu
0860: 72 6e 20 6c 69 66 74 28 6e 65 77 20 53 74 72 56 rn lift(new StrV
0870: 61 6c 75 65 28 65 2e 64 61 74 61 29 2c 20 6c 61 alue(e.data), la
0880: 79 2c 20 63 74 78 2c 20 65 2e 70 6f 73 29 3b 0d y, ctx, e.pos);.
0890: 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 53 74 ...return new St
08a0: 72 56 61 6c 75 65 28 65 2e 64 61 74 61 29 3b 0d rValue(e.data);.
08b0: 0a 09 7d 0d 0a 0d 0a 09 56 61 6c 75 65 20 65 76 ..}.....Value ev
08c0: 61 6c 28 20 49 6e 74 20 65 2c 20 4c 61 79 65 72 al( Int e, Layer
08d0: 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 2c lay, Table ctx,
08e0: 20 62 6f 6f 6c 20 6f 76 65 72 77 72 69 74 65 43 bool overwriteC
08f0: 74 78 3d 43 61 73 63 61 64 65 43 74 78 20 29 0d tx=CascadeCtx ).
0900: 0a 09 7b 0d 0a 09 09 69 66 28 20 69 73 41 53 54 ..{....if( isAST
0910: 4c 61 79 65 72 28 6c 61 79 29 20 29 0d 0a 09 09 Layer(lay) )....
0920: 09 72 65 74 75 72 6e 20 61 73 74 32 74 61 62 6c .return ast2tabl
0930: 65 28 65 2c 20 28 41 53 54 20 65 29 7b 72 65 74 e(e, (AST e){ret
0940: 75 72 6e 20 65 76 61 6c 28 65 2c 6c 61 79 2c 63 urn eval(e,lay,c
0950: 74 78 29 3b 7d 29 3b 0d 0a 09 09 69 66 28 20 69 tx);});....if( i
0960: 73 55 73 65 72 44 65 66 69 6e 65 64 4c 61 79 65 sUserDefinedLaye
0970: 72 28 6c 61 79 29 20 29 0d 0a 09 09 09 72 65 74 r(lay) ).....ret
0980: 75 72 6e 20 6c 69 66 74 28 6e 65 77 20 49 6e 74 urn lift(new Int
0990: 56 61 6c 75 65 28 65 2e 64 61 74 61 29 2c 20 6c Value(e.data), l
09a0: 61 79 2c 20 63 74 78 2c 20 65 2e 70 6f 73 29 3b ay, ctx, e.pos);
09b0: 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 ....return new I
09c0: 6e 74 56 61 6c 75 65 28 65 2e 64 61 74 61 29 3b ntValue(e.data);
09d0: 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c 75 65 20 65 ...}.....Value e
09e0: 76 61 6c 28 20 56 61 72 20 65 2c 20 4c 61 79 65 val( Var e, Laye
09f0: 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 r lay, Table ctx
0a00: 2c 20 62 6f 6f 6c 20 6f 76 65 72 77 72 69 74 65 , bool overwrite
0a10: 43 74 78 3d 43 61 73 63 61 64 65 43 74 78 20 29 Ctx=CascadeCtx )
0a20: 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69 73 41 53 ...{....if( isAS
0a30: 54 4c 61 79 65 72 28 6c 61 79 29 20 29 0d 0a 09 TLayer(lay) )...
0a40: 09 09 69 66 28 20 69 73 4d 61 63 72 6f 4c 61 79 ..if( isMacroLay
0a50: 65 72 28 6c 61 79 29 20 26 26 20 63 74 78 2e 68 er(lay) && ctx.h
0a60: 61 73 28 65 2e 6e 61 6d 65 2c 4d 61 63 72 6f 4c as(e.name,MacroL
0a70: 61 79 65 72 29 20 29 0d 0a 09 09 09 09 72 65 74 ayer) )......ret
0a80: 75 72 6e 20 63 74 78 2e 67 65 74 28 65 2e 6e 61 urn ctx.get(e.na
0a90: 6d 65 2c 20 4d 61 63 72 6f 4c 61 79 65 72 2c 20 me, MacroLayer,
0aa0: 65 2e 70 6f 73 29 3b 0d 0a 09 09 09 65 6c 73 65 e.pos);.....else
0ab0: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 61 73 74 ......return ast
0ac0: 32 74 61 62 6c 65 28 65 2c 20 28 41 53 54 20 65 2table(e, (AST e
0ad0: 29 7b 72 65 74 75 72 6e 20 65 76 61 6c 28 65 2c ){return eval(e,
0ae0: 6c 61 79 2c 63 74 78 29 3b 7d 29 3b 0d 0a 09 09 lay,ctx);});....
0af0: 69 66 28 20 69 73 55 73 65 72 44 65 66 69 6e 65 if( isUserDefine
0b00: 64 4c 61 79 65 72 28 6c 61 79 29 20 26 26 20 21 dLayer(lay) && !
0b10: 63 74 78 2e 68 61 73 28 65 2e 6e 61 6d 65 2c 20 ctx.has(e.name,
0b20: 6c 61 79 29 20 29 0d 0a 09 09 09 72 65 74 75 72 lay) ).....retur
0b30: 6e 20 6c 69 66 74 28 63 74 78 2e 67 65 74 28 65 n lift(ctx.get(e
0b40: 2e 6e 61 6d 65 2c 20 56 61 6c 75 65 4c 61 79 65 .name, ValueLaye
0b50: 72 2c 20 65 2e 70 6f 73 29 2c 20 6c 61 79 2c 20 r, e.pos), lay,
0b60: 63 74 78 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 09 ctx, e.pos);....
0b70: 72 65 74 75 72 6e 20 63 74 78 2e 67 65 74 28 65 return ctx.get(e
0b80: 2e 6e 61 6d 65 2c 20 6c 61 79 2c 20 65 2e 70 6f .name, lay, e.po
0b90: 73 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c 75 s);...}.....Valu
0ba0: 65 20 65 76 61 6c 28 20 41 70 70 20 65 2c 20 4c e eval( App e, L
0bb0: 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 ayer lay, Table
0bc0: 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 77 72 ctx, bool overwr
0bd0: 69 74 65 43 74 78 3d 43 61 73 63 61 64 65 43 74 iteCtx=CascadeCt
0be0: 78 20 29 0d 0a 09 7b 0d 0a 09 09 56 61 6c 75 65 x )...{....Value
0bf0: 20 66 20 3d 20 65 76 61 6c 28 20 65 2e 66 75 6e f = eval( e.fun
0c00: 2c 20 6c 61 79 2c 20 63 74 78 20 29 3b 0d 0a 09 , lay, ctx );...
0c10: 09 69 66 28 20 69 73 41 53 54 4c 61 79 65 72 28 .if( isASTLayer(
0c20: 6c 61 79 29 20 29 20 7b 0d 0a 09 09 09 61 75 74 lay) ) {.....aut
0c30: 6f 20 66 66 20 3d 20 63 61 73 74 28 46 75 6e 56 o ff = cast(FunV
0c40: 61 6c 75 65 29 66 3b 0d 0a 09 09 09 69 66 28 20 alue)f;.....if(
0c50: 66 66 20 21 69 73 20 6e 75 6c 6c 20 26 26 20 69 ff !is null && i
0c60: 73 4d 61 63 72 6f 4c 61 79 65 72 28 6c 61 79 29 sMacroLayer(lay)
0c70: 20 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 69 )......return i
0c80: 6e 76 6f 6b 65 46 75 6e 63 74 69 6f 6e 28 66 66 nvokeFunction(ff
0c90: 2c 20 65 2e 61 72 67 73 2c 20 6c 61 79 2c 20 63 , e.args, lay, c
0ca0: 74 78 2c 20 65 2e 70 6f 73 2c 20 67 65 74 4e 61 tx, e.pos, getNa
0cb0: 6d 65 49 66 50 6f 73 73 69 62 6c 65 28 65 2e 66 meIfPossible(e.f
0cc0: 75 6e 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a un));.....else..
0cd0: 09 09 09 09 72 65 74 75 72 6e 20 61 73 74 32 74 ....return ast2t
0ce0: 61 62 6c 65 28 65 2c 20 28 41 53 54 20 65 29 7b able(e, (AST e){
0cf0: 72 65 74 75 72 6e 20 65 76 61 6c 28 65 2c 6c 61 return eval(e,la
0d00: 79 2c 63 74 78 29 3b 7d 29 3b 0d 0a 09 09 7d 0d y,ctx);});....}.
0d10: 0a 09 09 72 65 74 75 72 6e 20 69 6e 76 6f 6b 65 ...return invoke
0d20: 46 75 6e 63 74 69 6f 6e 28 66 2c 20 65 2e 61 72 Function(f, e.ar
0d30: 67 73 2c 20 6c 61 79 2c 20 63 74 78 2c 20 65 2e gs, lay, ctx, e.
0d40: 70 6f 73 2c 20 67 65 74 4e 61 6d 65 49 66 50 6f pos, getNameIfPo
0d50: 73 73 69 62 6c 65 28 65 2e 66 75 6e 29 29 3b 0d ssible(e.fun));.
0d60: 0a 09 7d 0d 0a 09 0d 0a 09 56 61 6c 75 65 20 65 ..}......Value e
0d70: 76 61 6c 28 20 46 75 6e 20 65 2c 20 4c 61 79 65 val( Fun e, Laye
0d80: 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 r lay, Table ctx
0d90: 2c 20 62 6f 6f 6c 20 6f 76 65 72 77 72 69 74 65 , bool overwrite
0da0: 43 74 78 3d 43 61 73 63 61 64 65 43 74 78 20 29 Ctx=CascadeCtx )
0db0: 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69 73 41 53 ...{....if( isAS
0dc0: 54 4c 61 79 65 72 28 6c 61 79 29 20 29 0d 0a 09 TLayer(lay) )...
0dd0: 09 7b 0d 0a 09 09 09 2f 2f 20 6e 65 65 64 20 74 .{.....// need t
0de0: 68 69 73 20 66 6f 72 20 63 6f 72 72 65 63 74 20 his for correct
0df0: 73 63 6f 70 69 6e 67 20 28 6f 75 74 65 72 20 73 scoping (outer s
0e00: 63 6f 70 65 20 6d 61 63 72 6f 20 76 61 72 69 61 cope macro varia
0e10: 62 6c 65 73 20 6d 75 73 74 20 62 65 20 68 69 64 bles must be hid
0e20: 64 65 6e 21 29 0d 0a 09 09 09 54 61 62 6c 65 20 den!).....Table
0e30: 6e 65 77 43 74 78 20 3d 20 6e 65 77 20 54 61 62 newCtx = new Tab
0e40: 6c 65 28 63 74 78 2c 20 54 61 62 6c 65 2e 4b 69 le(ctx, Table.Ki
0e50: 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 nd.NotPropagateS
0e60: 65 74 29 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 et);.....foreach
0e70: 28 70 3b 20 65 2e 70 61 72 61 6d 73 29 0d 0a 09 (p; e.params)...
0e80: 09 09 09 6e 65 77 43 74 78 2e 73 65 74 28 70 2e ...newCtx.set(p.
0e90: 6e 61 6d 65 2c 20 4e 6f 6f 70 4c 61 79 65 72 2c name, NoopLayer,
0ea0: 20 6e 75 6c 6c 29 3b 0d 0a 09 09 09 72 65 74 75 null);.....retu
0eb0: 72 6e 20 61 73 74 32 74 61 62 6c 65 28 65 2c 20 rn ast2table(e,
0ec0: 28 41 53 54 20 65 29 7b 72 65 74 75 72 6e 20 65 (AST e){return e
0ed0: 76 61 6c 28 65 2c 6c 61 79 2c 6e 65 77 43 74 78 val(e,lay,newCtx
0ee0: 29 3b 7d 29 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c );});....}....el
0ef0: 73 65 0d 0a 09 09 09 72 65 74 75 72 6e 20 63 72 se.....return cr
0f00: 65 61 74 65 4e 65 77 46 75 6e 63 74 69 6f 6e 28 eateNewFunction(
0f10: 65 2c 20 63 74 78 29 3b 0d 0a 09 7d 0d 0a 09 0d e, ctx);...}....
0f20: 0a 09 56 61 6c 75 65 20 65 76 61 6c 28 20 4c 61 ..Value eval( La
0f30: 79 20 65 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 y e, Layer lay,
0f40: 54 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 Table ctx, bool
0f50: 6f 76 65 72 77 72 69 74 65 43 74 78 3d 43 61 73 overwriteCtx=Cas
0f60: 63 61 64 65 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 cadeCtx )...{...
0f70: 09 69 66 28 20 69 73 4e 6f 4c 61 79 65 72 43 68 .if( isNoLayerCh
0f80: 61 6e 67 65 4c 61 79 65 72 28 6c 61 79 29 20 29 angeLayer(lay) )
0f90: 0d 0a 09 09 09 72 65 74 75 72 6e 20 61 73 74 32 .....return ast2
0fa0: 74 61 62 6c 65 28 65 2c 20 28 41 53 54 20 65 29 table(e, (AST e)
0fb0: 7b 72 65 74 75 72 6e 20 65 76 61 6c 28 65 2c 6c {return eval(e,l
0fc0: 61 79 2c 63 74 78 29 3b 7d 29 3b 0d 0a 09 09 65 ay,ctx);});....e
0fd0: 6c 73 65 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 lse.....return e
0fe0: 76 61 6c 28 65 2e 65 78 70 72 2c 20 65 2e 6c 61 val(e.expr, e.la
0ff0: 79 65 72 2c 20 63 74 78 29 3b 0d 0a 09 7d 0d 0a yer, ctx);...}..
1000: 09 0d 0a 09 56 61 6c 75 65 20 65 76 61 6c 28 20 ....Value eval(
1010: 4c 65 74 20 65 2c 20 4c 61 79 65 72 20 6c 61 79 Let e, Layer lay
1020: 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f , Table ctx, boo
1030: 6c 20 6f 76 65 72 77 72 69 74 65 43 74 78 3d 43 l overwriteCtx=C
1040: 61 73 63 61 64 65 43 74 78 20 29 0d 0a 09 7b 0d ascadeCtx )...{.
1050: 0a 09 09 54 61 62 6c 65 20 6e 65 77 43 74 78 20 ...Table newCtx
1060: 3d 20 6f 76 65 72 77 72 69 74 65 43 74 78 20 3f = overwriteCtx ?
1070: 20 63 74 78 20 3a 20 6e 65 77 20 54 61 62 6c 65 ctx : new Table
1080: 28 63 74 78 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 (ctx, Table.Kind
1090: 2e 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 .NotPropagateSet
10a0: 29 3b 0d 0a 09 09 69 66 28 20 69 73 41 53 54 4c );....if( isASTL
10b0: 61 79 65 72 28 6c 61 79 29 20 29 0d 0a 09 09 09 ayer(lay) ).....
10c0: 72 65 74 75 72 6e 20 61 73 74 32 74 61 62 6c 65 return ast2table
10d0: 28 65 2c 20 28 41 53 54 20 65 65 29 7b 0d 0a 09 (e, (AST ee){...
10e0: 09 09 09 2f 2f 20 6e 65 65 64 20 74 68 69 73 20 ...// need this
10f0: 66 6f 72 20 63 6f 72 72 65 63 74 20 73 63 6f 70 for correct scop
1100: 69 6e 67 20 28 6f 75 74 65 72 20 73 63 6f 70 65 ing (outer scope
1110: 20 6d 61 63 72 6f 20 76 61 72 69 61 62 6c 65 73 macro variables
1120: 20 6d 75 73 74 20 62 65 20 68 69 64 64 65 6e 21 must be hidden!
1130: 29 0d 0a 09 09 09 09 69 66 28 65 2e 6e 61 6d 65 )......if(e.name
1140: 21 3d 22 5f 22 20 26 26 20 65 65 20 69 73 20 65 !="_" && ee is e
1150: 2e 65 78 70 72 29 0d 0a 09 09 09 09 09 6e 65 77 .expr).......new
1160: 43 74 78 2e 73 65 74 28 65 2e 6e 61 6d 65 2c 20 Ctx.set(e.name,
1170: 4e 6f 6f 70 4c 61 79 65 72 2c 20 6e 75 6c 6c 29 NoopLayer, null)
1180: 3b 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 65 76 ;......return ev
1190: 61 6c 28 65 65 2c 6c 61 79 2c 6e 65 77 43 74 78 al(ee,lay,newCtx
11a0: 29 3b 0d 0a 09 09 09 7d 29 3b 0d 0a 09 09 65 6c );.....});....el
11b0: 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 56 61 6c 75 se....{.....Valu
11c0: 65 20 72 69 20 3d 20 65 76 61 6c 28 65 2e 69 6e e ri = eval(e.in
11d0: 69 74 2c 20 6c 61 79 2c 20 6e 65 77 43 74 78 29 it, lay, newCtx)
11e0: 3b 0d 0a 09 09 09 69 66 28 65 2e 6e 61 6d 65 21 ;.....if(e.name!
11f0: 3d 22 5f 22 29 0d 0a 09 09 09 09 6e 65 77 43 74 ="_")......newCt
1200: 78 2e 73 65 74 28 65 2e 6e 61 6d 65 2c 20 65 2e x.set(e.name, e.
1210: 6c 61 79 65 72 2e 65 6d 70 74 79 20 3f 20 6c 61 layer.empty ? la
1220: 79 20 3a 20 65 2e 6c 61 79 65 72 2c 20 72 69 29 y : e.layer, ri)
1230: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 76 61 ;.....return eva
1240: 6c 28 65 2e 65 78 70 72 2c 20 6c 61 79 2c 20 6e l(e.expr, lay, n
1250: 65 77 43 74 78 2c 20 4f 76 65 72 77 72 69 74 65 ewCtx, Overwrite
1260: 43 74 78 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a Ctx);....}...}..
1270: 0d 0a 09 56 61 6c 75 65 20 65 76 61 6c 28 20 44 ...Value eval( D
1280: 69 65 20 65 2c 20 4c 61 79 65 72 20 6c 61 79 2c ie e, Layer lay,
1290: 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c Table ctx, bool
12a0: 20 6f 76 65 72 77 72 69 74 65 43 74 78 3d 43 61 overwriteCtx=Ca
12b0: 73 63 61 64 65 43 74 78 20 29 0d 0a 09 7b 0d 0a scadeCtx )...{..
12c0: 09 09 69 66 28 20 69 73 4d 61 63 72 6f 4c 61 79 ..if( isMacroLay
12d0: 65 72 28 6c 61 79 29 20 29 0d 0a 09 09 09 72 65 er(lay) ).....re
12e0: 74 75 72 6e 20 61 73 74 32 74 61 62 6c 65 28 65 turn ast2table(e
12f0: 2c 20 28 41 53 54 20 65 29 7b 72 65 74 75 72 6e , (AST e){return
1300: 20 65 76 61 6c 28 65 2c 6c 61 79 2c 63 74 78 29 eval(e,lay,ctx)
1310: 3b 7d 29 3b 0d 0a 09 09 69 66 28 20 69 73 55 73 ;});....if( isUs
1320: 65 72 44 65 66 69 6e 65 64 4c 61 79 65 72 28 6c erDefinedLayer(l
1330: 61 79 29 20 29 0d 0a 09 09 09 72 65 74 75 72 6e ay) ).....return
1340: 20 6e 65 77 20 55 6e 64 65 66 69 6e 65 64 56 61 new UndefinedVa
1350: 6c 75 65 3b 0d 0a 09 09 74 68 72 6f 77 20 67 65 lue;....throw ge
1360: 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 nex!RuntimeExcep
1370: 74 69 6f 6e 28 65 2e 70 6f 73 2c 20 22 75 6e 64 tion(e.pos, "und
1380: 65 66 69 6e 65 64 20 63 61 73 65 22 29 3b 0d 0a efined case");..
1390: 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a 0d 0a .}....private:..
13a0: 09 2f 2f 20 6c 69 74 74 6c 65 20 6c 69 74 74 6c .// little littl
13b0: 65 20 62 69 74 20 69 6e 63 72 65 6d 65 6e 74 61 e bit incrementa
13c0: 6c 20 6d 61 63 72 6f 20 64 65 66 69 6e 69 6e 67 l macro defining
13d0: 20 76 65 72 73 69 6f 6e 2e 0d 0a 09 2f 2f 20 65 version....// e
13e0: 6e 61 62 6c 65 73 20 40 6d 61 63 72 6f 20 66 6f nables @macro fo
13f0: 6f 28 78 29 3d 2e 2e 2e 20 69 6e 20 2e 2e 2e 20 o(x)=... in ...
1400: 66 6f 6f 20 2e 2e 2e 2c 20 6f 6e 6c 79 20 61 74 foo ..., only at
1410: 20 74 68 65 20 74 6f 70 20 6c 65 76 65 6c 20 6f the top level o
1420: 66 20 74 68 65 0d 0a 09 2f 2f 20 69 6e 74 65 72 f the...// inter
1430: 70 72 65 74 65 72 20 61 6e 64 20 66 75 6e 63 74 preter and funct
1440: 69 6f 6e 73 2e 20 62 65 74 74 65 72 20 74 68 61 ions. better tha
1450: 6e 20 6e 6f 74 68 69 6e 67 20 3a 50 0d 0a 09 54 n nothing :P...T
1460: 75 70 6c 65 21 28 56 61 6c 75 65 2c 41 53 54 29 uple!(Value,AST)
1470: 20 6d 61 63 72 6f 41 6e 64 45 76 61 6c 28 20 41 macroAndEval( A
1480: 53 54 20 65 5f 2c 20 4c 61 79 65 72 20 6c 61 79 ST e_, Layer lay
1490: 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f , Table ctx, boo
14a0: 6c 20 6f 76 65 72 77 72 69 74 65 43 74 78 0d 0a l overwriteCtx..
14b0: 09 09 2c 20 72 65 66 20 41 53 54 5b 76 6f 69 64 .., ref AST[void
14c0: 2a 5d 20 6d 61 6e 64 65 43 61 63 68 65 29 20 2f *] mandeCache) /
14d0: 2f 20 5b 54 4f 44 4f 5d 20 61 76 6f 69 64 20 61 / [TODO] avoid a
14e0: 73 73 75 6d 69 6e 67 20 6e 6f 6e 2d 6d 6f 76 69 ssuming non-movi
14f0: 6e 67 20 47 43 0d 0a 09 7b 0d 0a 09 09 61 73 73 ng GC...{....ass
1500: 65 72 74 28 20 21 69 73 41 53 54 4c 61 79 65 72 ert( !isASTLayer
1510: 28 6c 61 79 29 20 29 3b 0d 0a 0d 0a 09 09 41 53 (lay) );......AS
1520: 54 20 64 65 63 6f 64 65 41 53 54 28 56 61 6c 75 T decodeAST(Valu
1530: 65 20 76 2c 20 4c 65 78 50 6f 73 69 74 69 6f 6e e v, LexPosition
1540: 20 70 6f 73 29 0d 0a 09 09 7b 0d 0a 09 09 09 2f pos)....{...../
1550: 2f 20 5b 54 4f 44 4f 5d 20 6d 6f 72 65 20 69 6e / [TODO] more in
1560: 66 6f 72 6d 61 74 69 76 65 20 65 72 72 6f 72 20 formative error
1570: 6d 65 73 73 61 67 65 0d 0a 09 09 09 72 65 74 75 message.....retu
1580: 72 6e 20 70 6f 6c 65 6d 79 32 64 21 28 41 53 54 rn polemy2d!(AST
1590: 29 28 76 2c 20 70 6f 73 29 3b 0d 0a 09 09 7d 0d )(v, pos);....}.
15a0: 0a 0d 0a 09 09 69 66 28 61 75 74 6f 20 65 20 3d .....if(auto e =
15b0: 20 63 61 73 74 28 4c 65 74 29 65 5f 29 0d 0a 09 cast(Let)e_)...
15c0: 09 7b 0d 0a 09 09 09 76 6f 69 64 2a 20 6b 65 79 .{.....void* key
15d0: 20 3d 20 63 61 73 74 28 76 6f 69 64 2a 29 65 2e = cast(void*)e.
15e0: 69 6e 69 74 3b 0d 0a 09 09 09 41 53 54 20 61 69 init;.....AST ai
15f0: 3b 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 70 20 ;.....if(auto p
1600: 3d 20 6b 65 79 20 69 6e 20 6d 61 6e 64 65 43 61 = key in mandeCa
1610: 63 68 65 29 0d 0a 09 09 09 09 61 69 20 3d 20 2a che)......ai = *
1620: 70 3b 0d 0a 09 09 09 65 6c 73 65 20 7b 0d 0a 09 p;.....else {...
1630: 09 09 09 61 69 20 3d 20 64 65 63 6f 64 65 41 53 ...ai = decodeAS
1640: 54 28 65 76 61 6c 28 65 2e 69 6e 69 74 2c 20 52 T(eval(e.init, R
1650: 61 77 4d 61 63 72 6f 4c 61 79 65 72 2c 20 63 74 awMacroLayer, ct
1660: 78 29 2c 20 65 2e 69 6e 69 74 2e 70 6f 73 29 3b x), e.init.pos);
1670: 0d 0a 09 09 09 09 6d 61 6e 64 65 43 61 63 68 65 ......mandeCache
1680: 5b 6b 65 79 5d 20 3d 20 61 69 3b 0d 0a 09 09 09 [key] = ai;.....
1690: 7d 0d 0a 09 09 09 56 61 6c 75 65 20 76 69 20 3d }.....Value vi =
16a0: 20 65 76 61 6c 28 61 69 2c 20 6c 61 79 2c 20 63 eval(ai, lay, c
16b0: 74 78 29 3b 0d 0a 09 09 09 0d 0a 09 09 09 69 66 tx);..........if
16c0: 28 20 21 6f 76 65 72 77 72 69 74 65 43 74 78 20 ( !overwriteCtx
16d0: 29 0d 0a 09 09 09 09 63 74 78 20 3d 20 6e 65 77 )......ctx = new
16e0: 20 54 61 62 6c 65 28 63 74 78 2c 20 54 61 62 6c Table(ctx, Tabl
16f0: 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 e.Kind.NotPropag
1700: 61 74 65 53 65 74 29 3b 0d 0a 09 09 09 73 74 72 ateSet);.....str
1710: 69 6e 67 20 74 68 65 4c 61 79 65 72 20 3d 20 65 ing theLayer = e
1720: 2e 6c 61 79 65 72 2e 65 6d 70 74 79 20 3f 20 6c .layer.empty ? l
1730: 61 79 20 3a 20 65 2e 6c 61 79 65 72 3b 0d 0a 09 ay : e.layer;...
1740: 09 09 63 74 78 2e 73 65 74 28 65 2e 6e 61 6d 65 ..ctx.set(e.name
1750: 2c 20 74 68 65 4c 61 79 65 72 2c 20 76 69 29 3b , theLayer, vi);
1760: 0d 0a 0d 0a 09 09 09 61 75 74 6f 20 61 76 65 20 .......auto ave
1770: 3d 20 6d 61 63 72 6f 41 6e 64 45 76 61 6c 28 20 = macroAndEval(
1780: 65 2e 65 78 70 72 2c 20 6c 61 79 2c 20 63 74 78 e.expr, lay, ctx
1790: 2c 20 4f 76 65 72 77 72 69 74 65 43 74 78 2c 20 , OverwriteCtx,
17a0: 6d 61 6e 64 65 43 61 63 68 65 20 29 3b 0d 0a 09 mandeCache );...
17b0: 09 09 41 53 54 20 20 61 20 3d 20 6e 65 77 20 4c ..AST a = new L
17c0: 65 74 28 65 2e 70 6f 73 2c 20 65 2e 6e 61 6d 65 et(e.pos, e.name
17d0: 2c 20 65 2e 6c 61 79 65 72 2c 20 61 69 2c 20 61 , e.layer, ai, a
17e0: 76 65 5b 31 5d 29 3b 0d 0a 09 09 09 72 65 74 75 ve[1]);.....retu
17f0: 72 6e 20 74 75 70 6c 65 28 61 76 65 5b 30 5d 2c rn tuple(ave[0],
1800: 20 61 29 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 a);....}....els
1810: 65 0d 0a 09 09 7b 0d 0a 09 09 09 76 6f 69 64 2a e....{.....void*
1820: 20 6b 65 79 20 3d 20 63 61 73 74 28 76 6f 69 64 key = cast(void
1830: 2a 29 65 5f 3b 0d 0a 09 09 09 41 53 54 20 61 3b *)e_;.....AST a;
1840: 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 70 20 3d .....if(auto p =
1850: 20 6b 65 79 20 69 6e 20 6d 61 6e 64 65 43 61 63 key in mandeCac
1860: 68 65 29 0d 0a 09 09 09 09 61 20 3d 20 2a 70 3b he)......a = *p;
1870: 0d 0a 09 09 09 65 6c 73 65 20 7b 0d 0a 09 09 09 .....else {.....
1880: 09 61 20 3d 20 64 65 63 6f 64 65 41 53 54 28 65 .a = decodeAST(e
1890: 76 61 6c 28 65 5f 2c 20 52 61 77 4d 61 63 72 6f val(e_, RawMacro
18a0: 4c 61 79 65 72 2c 20 63 74 78 29 2c 20 65 5f 2e Layer, ctx), e_.
18b0: 70 6f 73 29 3b 0d 0a 09 09 09 09 6d 61 6e 64 65 pos);......mande
18c0: 43 61 63 68 65 5b 6b 65 79 5d 20 3d 20 61 3b 0d Cache[key] = a;.
18d0: 0a 09 09 09 7d 0d 0a 09 09 09 56 61 6c 75 65 20 ....}.....Value
18e0: 76 20 3d 20 65 76 61 6c 28 61 2c 20 6c 61 79 2c v = eval(a, lay,
18f0: 20 63 74 78 2c 20 6f 76 65 72 77 72 69 74 65 43 ctx, overwriteC
1900: 74 78 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 tx);.....return
1910: 74 75 70 6c 65 28 76 2c 20 61 29 3b 0d 0a 09 09 tuple(v, a);....
1920: 7d 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 }...}....private
1930: 3a 0d 0a 09 73 74 72 69 6e 67 20 67 65 74 4e 61 :...string getNa
1940: 6d 65 49 66 50 6f 73 73 69 62 6c 65 28 41 53 54 meIfPossible(AST
1950: 20 65 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 61 75 e)...{....if(au
1960: 74 6f 20 76 20 3d 20 63 61 73 74 28 56 61 72 29 to v = cast(Var)
1970: 65 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 76 2e e).....return v.
1980: 6e 61 6d 65 3b 0d 0a 09 09 72 65 74 75 72 6e 20 name;....return
1990: 22 22 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 56 61 6c "";...}......Val
19a0: 75 65 20 69 6e 76 6f 6b 65 46 75 6e 63 74 69 6f ue invokeFunctio
19b0: 6e 28 56 61 6c 75 65 20 5f 66 2c 20 41 53 54 5b n(Value _f, AST[
19c0: 5d 20 61 72 67 73 2c 20 4c 61 79 65 72 20 6c 61 ] args, Layer la
19d0: 79 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 4c 65 y, Table ctx, Le
19e0: 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 73 xPosition pos, s
19f0: 74 72 69 6e 67 20 63 61 6c 6c 73 74 61 63 6b 6d tring callstackm
1a00: 73 67 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 61 75 sg)...{....if(au
1a10: 74 6f 20 66 20 3d 20 63 61 73 74 28 46 75 6e 56 to f = cast(FunV
1a20: 61 6c 75 65 29 5f 66 29 0d 0a 09 09 7b 0d 0a 09 alue)_f)....{...
1a30: 09 09 54 61 62 6c 65 20 6e 65 77 43 74 78 20 3d ..Table newCtx =
1a40: 20 6e 65 77 20 54 61 62 6c 65 28 66 2e 64 65 66 new Table(f.def
1a50: 69 6e 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 initionContext()
1a60: 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 , Table.Kind.Not
1a70: 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a PropagateSet);..
1a80: 09 09 09 66 6f 72 65 61 63 68 28 69 2c 70 3b 20 ...foreach(i,p;
1a90: 66 2e 70 61 72 61 6d 73 28 29 29 0d 0a 09 09 09 f.params()).....
1aa0: 09 69 66 28 20 70 2e 6c 61 79 65 72 73 2e 65 6d .if( p.layers.em
1ab0: 70 74 79 20 29 0d 0a 09 09 09 09 09 6e 65 77 43 pty ).......newC
1ac0: 74 78 2e 73 65 74 28 70 2e 6e 61 6d 65 2c 20 69 tx.set(p.name, i
1ad0: 73 4d 61 63 72 6f 4c 61 79 65 72 28 6c 61 79 29 sMacroLayer(lay)
1ae0: 3f 4d 61 63 72 6f 4c 61 79 65 72 3a 6c 61 79 2c ?MacroLayer:lay,
1af0: 20 65 76 61 6c 28 61 72 67 73 5b 69 5d 2c 20 6c eval(args[i], l
1b00: 61 79 2c 20 63 74 78 29 29 3b 0d 0a 09 09 09 09 ay, ctx));......
1b10: 65 6c 73 65 0d 0a 09 09 09 09 09 66 6f 72 65 61 else.......forea
1b20: 63 68 28 61 72 67 4c 61 79 3b 20 70 2e 6c 61 79 ch(argLay; p.lay
1b30: 65 72 73 29 0d 0a 09 09 09 09 09 09 69 66 28 20 ers)........if(
1b40: 6c 61 79 21 3d 4d 61 63 72 6f 4c 61 79 65 72 20 lay!=MacroLayer
1b50: 26 26 20 69 73 4d 61 63 72 6f 4c 61 79 65 72 28 && isMacroLayer(
1b60: 61 72 67 4c 61 79 29 20 29 20 2f 2f 20 65 78 70 argLay) ) // exp
1b70: 6c 69 63 69 74 20 40 6d 61 63 72 6f 20 69 6e 76 licit @macro inv
1b80: 6f 6b 65 73 20 28 72 61 77 6d 61 63 72 6f 29 0d okes (rawmacro).
1b90: 0a 09 09 09 09 09 09 09 6e 65 77 43 74 78 2e 73 ........newCtx.s
1ba0: 65 74 28 70 2e 6e 61 6d 65 2c 20 61 72 67 4c 61 et(p.name, argLa
1bb0: 79 2c 20 65 76 61 6c 28 61 72 67 73 5b 69 5d 2c y, eval(args[i],
1bc0: 20 52 61 77 4d 61 63 72 6f 4c 61 79 65 72 2c 20 RawMacroLayer,
1bd0: 63 74 78 29 29 3b 0d 0a 09 09 09 09 09 09 65 6c ctx));........el
1be0: 73 65 0d 0a 09 09 09 09 09 09 09 6e 65 77 43 74 se.........newCt
1bf0: 78 2e 73 65 74 28 70 2e 6e 61 6d 65 2c 20 61 72 x.set(p.name, ar
1c00: 67 4c 61 79 2c 20 65 76 61 6c 28 61 72 67 73 5b gLay, eval(args[
1c10: 69 5d 2c 20 61 72 67 4c 61 79 2c 20 63 74 78 29 i], argLay, ctx)
1c20: 29 3b 0d 0a 09 09 09 73 63 6f 70 65 20 5f 20 3d );.....scope _ =
1c30: 20 6e 65 77 20 50 75 73 68 43 61 6c 6c 53 74 61 new PushCallSta
1c40: 63 6b 28 70 6f 73 2c 20 63 61 6c 6c 73 74 61 63 ck(pos, callstac
1c50: 6b 6d 73 67 29 3b 0d 0a 09 09 09 72 65 74 75 72 kmsg);.....retur
1c60: 6e 20 66 2e 69 6e 76 6f 6b 65 28 69 73 4d 61 63 n f.invoke(isMac
1c70: 72 6f 4c 61 79 65 72 28 6c 61 79 29 3f 4d 61 63 roLayer(lay)?Mac
1c80: 72 6f 4c 61 79 65 72 3a 6c 61 79 2c 20 6e 65 77 roLayer:lay, new
1c90: 43 74 78 2c 20 70 6f 73 29 3b 0d 0a 09 09 7d 0d Ctx, pos);....}.
1ca0: 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 ...throw genex!R
1cb0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
1cc0: 70 6f 73 2c 20 74 65 78 74 28 22 74 72 69 65 64 pos, text("tried
1cd0: 20 74 6f 20 63 61 6c 6c 20 6e 6f 6e 2d 66 75 6e to call non-fun
1ce0: 63 74 69 6f 6e 3a 20 22 2c 5f 66 29 29 3b 0d 0a ction: ",_f));..
1cf0: 09 7d 0d 0a 0d 0a 09 56 61 6c 75 65 20 6c 69 66 .}.....Value lif
1d00: 74 28 56 61 6c 75 65 20 76 2c 20 4c 61 79 65 72 t(Value v, Layer
1d10: 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 2c lay, Table ctx,
1d20: 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 LexPosition pos
1d30: 29 0d 0a 09 7b 0d 0a 09 09 61 73 73 65 72 74 28 )...{....assert(
1d40: 20 21 69 73 41 53 54 4c 61 79 65 72 28 6c 61 79 !isASTLayer(lay
1d50: 29 2c 20 22 6c 69 66 74 20 74 6f 20 74 68 65 20 ), "lift to the
1d60: 40 6d 61 63 72 6f 20 6c 61 79 65 72 20 73 68 6f @macro layer sho
1d70: 75 6c 64 20 6e 65 76 65 72 20 68 61 70 70 65 6e uld never happen
1d80: 22 20 29 3b 0d 0a 0d 0a 09 09 2f 2f 20 66 75 6e " );......// fun
1d90: 63 74 69 6f 6e 73 20 61 72 65 20 61 75 74 6f 6d ctions are autom
1da0: 61 74 69 63 61 6c 6c 79 20 6c 69 66 74 65 72 64 atically lifterd
1db0: 0d 0a 09 09 69 66 28 20 63 61 73 74 28 46 75 6e ....if( cast(Fun
1dc0: 56 61 6c 75 65 29 20 76 20 29 0d 0a 09 09 09 72 Value) v ).....r
1dd0: 65 74 75 72 6e 20 76 3b 0d 0a 0d 0a 09 09 69 66 eturn v;......if
1de0: 28 20 21 63 74 78 2e 68 61 73 28 6c 61 79 2c 20 ( !ctx.has(lay,
1df0: 4c 69 66 74 4c 61 79 65 72 29 20 29 0d 0a 09 09 LiftLayer) )....
1e00: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e .throw genex!Run
1e10: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f timeException(po
1e20: 73 2c 20 22 6c 69 66 74 20 66 75 6e 63 74 69 6f s, "lift functio
1e30: 6e 20 66 6f 72 20 22 7e 6c 61 79 7e 22 20 69 73 n for "~lay~" is
1e40: 20 6e 6f 74 20 72 65 67 69 73 74 65 72 65 64 22 not registered"
1e50: 20 29 3b 0d 0a 0d 0a 09 09 2f 2f 20 73 69 6d 69 );......// simi
1e60: 6c 61 72 20 74 6f 20 69 6e 76 6f 6b 65 46 75 6e lar to invokeFun
1e70: 63 74 69 6f 6e 2c 20 62 75 74 20 77 69 74 68 20 ction, but with
1e80: 6f 6e 6c 79 20 6f 6e 65 20 61 72 67 75 6d 65 6e only one argumen
1e90: 74 20 62 6f 75 6e 64 20 74 6f 20 56 61 6c 75 65 t bound to Value
1ea0: 4c 61 79 65 72 0d 0a 09 09 61 75 74 6f 20 5f 66 Layer....auto _f
1eb0: 20 3d 20 63 74 78 2e 67 65 74 28 6c 61 79 2c 20 = ctx.get(lay,
1ec0: 4c 69 66 74 4c 61 79 65 72 2c 20 70 6f 73 29 3b LiftLayer, pos);
1ed0: 0d 0a 09 09 69 66 28 61 75 74 6f 20 66 20 3d 20 ....if(auto f =
1ee0: 63 61 73 74 28 46 75 6e 56 61 6c 75 65 29 5f 66 cast(FunValue)_f
1ef0: 29 0d 0a 09 09 7b 0d 0a 09 09 09 54 61 62 6c 65 )....{.....Table
1f00: 20 6e 65 77 43 74 78 20 3d 20 6e 65 77 20 54 61 newCtx = new Ta
1f10: 62 6c 65 28 66 2e 64 65 66 69 6e 69 74 69 6f 6e ble(f.definition
1f20: 43 6f 6e 74 65 78 74 28 29 2c 20 54 61 62 6c 65 Context(), Table
1f30: 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 61 .Kind.NotPropaga
1f40: 74 65 53 65 74 29 3b 0d 0a 09 09 09 61 75 74 6f teSet);.....auto
1f50: 20 70 73 20 3d 20 66 2e 70 61 72 61 6d 73 28 29 ps = f.params()
1f60: 3b 0d 0a 09 09 09 69 66 28 20 70 73 2e 6c 65 6e ;.....if( ps.len
1f70: 67 74 68 20 21 3d 20 31 20 29 0d 0a 09 09 09 09 gth != 1 )......
1f80: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 throw genex!Runt
1f90: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 imeException(pos
1fa0: 2c 0d 0a 09 09 09 09 09 74 65 78 74 28 22 6c 69 ,.......text("li
1fb0: 66 74 20 66 75 6e 63 74 69 6f 6e 20 66 6f 72 22 ft function for"
1fc0: 2c 20 6c 61 79 2c 20 22 20 6d 75 73 74 20 74 61 , lay, " must ta
1fd0: 6b 65 20 65 78 61 63 74 6c 79 20 6f 6e 65 20 61 ke exactly one a
1fe0: 72 67 75 6d 65 6e 74 20 6f 66 20 22 2c 20 56 61 rgument of ", Va
1ff0: 6c 75 65 4c 61 79 65 72 29 29 3b 0d 0a 09 09 09 lueLayer));.....
2000: 69 66 28 20 70 73 5b 30 5d 2e 6c 61 79 65 72 73 if( ps[0].layers
2010: 2e 6c 65 6e 67 74 68 3d 3d 30 20 7c 7c 20 70 73 .length==0 || ps
2020: 5b 30 5d 2e 6c 61 79 65 72 73 2e 6c 65 6e 67 74 [0].layers.lengt
2030: 68 3d 3d 31 20 26 26 20 70 73 5b 30 5d 2e 6c 61 h==1 && ps[0].la
2040: 79 65 72 73 5b 30 5d 3d 3d 56 61 6c 75 65 4c 61 yers[0]==ValueLa
2050: 79 65 72 20 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 yer ).....{.....
2060: 09 6e 65 77 43 74 78 2e 73 65 74 28 70 73 5b 30 .newCtx.set(ps[0
2070: 5d 2e 6e 61 6d 65 2c 20 56 61 6c 75 65 4c 61 79 ].name, ValueLay
2080: 65 72 2c 20 76 29 3b 0d 0a 09 09 09 09 73 63 6f er, v);......sco
2090: 70 65 20 5f 20 3d 20 6e 65 77 20 50 75 73 68 43 pe _ = new PushC
20a0: 61 6c 6c 53 74 61 63 6b 28 70 6f 73 2c 20 6c 61 allStack(pos, la
20b0: 79 29 3b 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 y);......return
20c0: 66 2e 69 6e 76 6f 6b 65 28 56 61 6c 75 65 4c 61 f.invoke(ValueLa
20d0: 79 65 72 2c 20 6e 65 77 43 74 78 2c 20 70 6f 73 yer, newCtx, pos
20e0: 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 65 6c 73 );.....}.....els
20f0: 65 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e e......throw gen
2100: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
2110: 69 6f 6e 28 70 6f 73 2c 0d 0a 09 09 09 09 09 74 ion(pos,.......t
2120: 65 78 74 28 22 6c 69 66 74 20 66 75 6e 63 74 69 ext("lift functi
2130: 6f 6e 20 66 6f 72 22 2c 20 6c 61 79 2c 20 22 20 on for", lay, "
2140: 6d 75 73 74 20 74 61 6b 65 20 65 78 61 63 74 6c must take exactl
2150: 79 20 6f 6e 65 20 61 72 67 75 6d 65 6e 74 20 6f y one argument o
2160: 66 20 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 f ", ValueLayer)
2170: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 74 68 72 6f 77 );....}....throw
2180: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
2190: 63 65 70 74 69 6f 6e 28 70 6f 73 2c 0d 0a 09 09 ception(pos,....
21a0: 09 74 65 78 74 28 22 6e 6f 6e 2d 66 75 6e 63 74 .text("non-funct
21b0: 69 6f 6e 20 22 2c 20 5f 66 2c 20 22 20 69 73 20 ion ", _f, " is
21c0: 72 65 67 69 73 74 65 72 65 64 20 61 73 20 74 68 registered as th
21d0: 65 20 6c 69 66 74 20 66 75 6e 63 74 69 6f 6e 20 e lift function
21e0: 66 6f 72 20 22 2c 20 6c 61 79 29 29 3b 0d 0a 09 for ", lay));...
21f0: 7d 0d 0a 0d 0a 09 56 61 6c 75 65 20 63 72 65 61 }.....Value crea
2200: 74 65 4e 65 77 46 75 6e 63 74 69 6f 6e 28 46 75 teNewFunction(Fu
2210: 6e 20 65 2c 20 54 61 62 6c 65 20 63 74 78 29 0d n e, Table ctx).
2220: 0a 09 7b 0d 0a 09 09 63 6c 61 73 73 20 55 73 65 ..{....class Use
2230: 72 44 65 66 69 6e 65 64 46 75 6e 56 61 6c 75 65 rDefinedFunValue
2240: 20 3a 20 46 75 6e 56 61 6c 75 65 0d 0a 09 09 7b : FunValue....{
2250: 0d 0a 09 09 09 46 75 6e 20 20 20 61 73 74 3b 0d .....Fun ast;.
2260: 0a 09 09 09 54 61 62 6c 65 20 64 65 66 43 74 78 ....Table defCtx
2270: 3b 0d 0a 09 09 09 6f 76 65 72 72 69 64 65 20 63 ;.....override c
2280: 6f 6e 73 74 28 50 61 72 61 6d 65 74 65 72 5b 5d onst(Parameter[]
2290: 29 20 70 61 72 61 6d 73 28 29 20 7b 20 72 65 74 ) params() { ret
22a0: 75 72 6e 20 61 73 74 2e 70 61 72 61 6d 73 3b 20 urn ast.params;
22b0: 7d 0d 0a 09 09 09 6f 76 65 72 72 69 64 65 20 54 }.....override T
22c0: 61 62 6c 65 20 64 65 66 69 6e 69 74 69 6f 6e 43 able definitionC
22d0: 6f 6e 74 65 78 74 28 29 20 20 20 7b 20 72 65 74 ontext() { ret
22e0: 75 72 6e 20 64 65 66 43 74 78 3b 20 7d 0d 0a 0d urn defCtx; }...
22f0: 0a 09 09 09 74 68 69 73 28 46 75 6e 20 61 73 74 ....this(Fun ast
2300: 2c 20 54 61 62 6c 65 20 64 65 66 43 74 78 29 20 , Table defCtx)
2310: 7b 20 74 68 69 73 2e 61 73 74 3d 61 73 74 3b 20 { this.ast=ast;
2320: 74 68 69 73 2e 64 65 66 43 74 78 3d 64 65 66 43 this.defCtx=defC
2330: 74 78 3b 20 7d 0d 0a 09 09 09 6f 76 65 72 72 69 tx; }.....overri
2340: 64 65 20 73 74 72 69 6e 67 20 74 6f 53 74 72 69 de string toStri
2350: 6e 67 28 29 20 63 6f 6e 73 74 0d 0a 09 09 09 09 ng() const......
2360: 7b 20 72 65 74 75 72 6e 20 73 70 72 69 6e 74 66 { return sprintf
2370: 21 22 28 66 75 6e 63 74 69 6f 6e 3a 25 78 3a 25 !"(function:%x:%
2380: 78 29 22 28 63 61 73 74 28 76 6f 69 64 2a 29 61 x)"(cast(void*)a
2390: 73 74 2c 20 63 61 73 74 28 76 6f 69 64 2a 29 64 st, cast(void*)d
23a0: 65 66 43 74 78 29 3b 20 7d 0d 0a 09 09 09 6f 76 efCtx); }.....ov
23b0: 65 72 72 69 64 65 20 69 6e 74 20 6f 70 43 6d 70 erride int opCmp
23c0: 28 4f 62 6a 65 63 74 20 72 68 73 29 20 7b 0d 0a (Object rhs) {..
23d0: 09 09 09 09 69 66 28 61 75 74 6f 20 72 20 3d 20 ....if(auto r =
23e0: 63 61 73 74 28 55 73 65 72 44 65 66 69 6e 65 64 cast(UserDefined
23f0: 46 75 6e 56 61 6c 75 65 29 72 68 73 29 20 7b 0d FunValue)rhs) {.
2400: 0a 09 09 09 09 09 69 66 28 61 75 74 6f 20 63 20 ......if(auto c
2410: 3d 20 74 79 70 65 69 64 28 76 6f 69 64 2a 29 2e = typeid(void*).
2420: 63 6f 6d 70 61 72 65 28 63 61 73 74 28 76 6f 69 compare(cast(voi
2430: 64 2a 29 61 73 74 2c 20 63 61 73 74 28 76 6f 69 d*)ast, cast(voi
2440: 64 2a 29 72 2e 61 73 74 29 29 0d 0a 09 09 09 09 d*)r.ast))......
2450: 09 09 72 65 74 75 72 6e 20 63 3b 0d 0a 09 09 09 ..return c;.....
2460: 09 09 69 66 28 61 75 74 6f 20 63 20 3d 20 74 79 ..if(auto c = ty
2470: 70 65 69 64 28 76 6f 69 64 2a 29 2e 63 6f 6d 70 peid(void*).comp
2480: 61 72 65 28 63 61 73 74 28 76 6f 69 64 2a 29 64 are(cast(void*)d
2490: 65 66 43 74 78 2c 20 63 61 73 74 28 76 6f 69 64 efCtx, cast(void
24a0: 2a 29 72 2e 64 65 66 43 74 78 29 29 0d 0a 09 09 *)r.defCtx))....
24b0: 09 09 09 09 72 65 74 75 72 6e 20 63 3b 0d 0a 09 ....return c;...
24c0: 09 09 09 09 72 65 74 75 72 6e 20 30 3b 2f 2f 20 ....return 0;//
24d0: 5b 54 4f 44 4f 5d 20 61 76 6f 69 64 20 75 73 69 [TODO] avoid usi
24e0: 6e 67 20 70 6f 69 6e 74 65 72 20 76 61 6c 75 65 ng pointer value
24f0: 2e 2e 2e 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 09 .........}......
2500: 69 66 28 61 75 74 6f 20 72 20 3d 20 63 61 73 74 if(auto r = cast
2510: 28 56 61 6c 75 65 29 72 68 73 29 20 72 65 74 75 (Value)rhs) retu
2520: 72 6e 20 74 79 70 65 69 64 28 74 68 69 73 29 2e rn typeid(this).
2530: 6f 70 43 6d 70 28 74 79 70 65 69 64 28 72 29 29 opCmp(typeid(r))
2540: 3b 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e ;......throw gen
2550: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
2560: 69 6f 6e 28 22 63 6f 6d 70 61 72 69 73 6f 6e 20 ion("comparison
2570: 77 69 74 68 20 76 61 6c 75 65 20 61 6e 64 20 73 with value and s
2580: 6f 6d 65 74 68 69 6e 67 20 6f 74 68 65 72 22 29 omething other")
2590: 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 6f 76 65 72 ;.....}.....over
25a0: 72 69 64 65 20 68 61 73 68 5f 74 20 74 6f 48 61 ride hash_t toHa
25b0: 73 68 28 29 20 7b 0d 0a 09 09 09 09 72 65 74 75 sh() {......retu
25c0: 72 6e 20 28 63 61 73 74 28 68 61 73 68 5f 74 29 rn (cast(hash_t)
25d0: 63 61 73 74 28 76 6f 69 64 2a 29 61 73 74 29 20 cast(void*)ast)
25e0: 2b 20 28 63 61 73 74 28 68 61 73 68 5f 74 29 63 + (cast(hash_t)c
25f0: 61 73 74 28 76 6f 69 64 2a 29 64 65 66 43 74 78 ast(void*)defCtx
2600: 29 3b 0d 0a 09 09 09 7d 0d 0a 0d 0a 09 09 09 41 );.....}.......A
2610: 53 54 20 6d 61 63 72 6f 43 61 63 68 65 3b 0d 0a ST macroCache;..
2620: 09 09 09 41 53 54 5b 76 6f 69 64 2a 5d 20 6d 61 ...AST[void*] ma
2630: 6e 64 65 43 61 63 68 65 3b 0d 0a 09 09 09 73 74 ndeCache;.....st
2640: 61 74 69 63 20 63 6c 61 73 73 20 4d 65 6d 6f 6b atic class Memok
2650: 65 79 54 79 70 65 0d 0a 09 09 09 7b 0d 0a 09 09 eyType.....{....
2660: 09 09 76 6f 69 64 2a 20 61 3b 20 4c 61 79 65 72 ..void* a; Layer
2670: 20 62 3b 20 54 75 70 6c 65 21 28 73 74 72 69 6e b; Tuple!(strin
2680: 67 2c 4c 61 79 65 72 2c 56 61 6c 75 65 29 5b 5d g,Layer,Value)[]
2690: 20 63 3b 0d 0a 09 09 09 09 68 61 73 68 5f 74 20 c;......hash_t
26a0: 74 6f 48 61 73 68 28 29 20 7b 0d 0a 09 09 09 09 toHash() {......
26b0: 09 68 61 73 68 5f 74 20 68 20 3d 20 73 74 72 75 .hash_t h = stru
26c0: 63 74 75 72 61 6c 48 61 73 68 28 61 29 20 2b 20 cturalHash(a) +
26d0: 73 74 72 75 63 74 75 72 61 6c 48 61 73 68 28 62 structuralHash(b
26e0: 29 3b 0d 0a 09 09 09 09 09 66 6f 72 65 61 63 68 );.......foreach
26f0: 28 65 3b 20 63 29 0d 0a 09 09 09 09 09 09 68 20 (e; c)........h
2700: 2b 3d 20 73 74 72 75 63 74 75 72 61 6c 48 61 73 += structuralHas
2710: 68 28 65 5b 30 5d 29 2b 73 74 72 75 63 74 75 72 h(e[0])+structur
2720: 61 6c 48 61 73 68 28 65 5b 31 5d 29 2b 73 74 72 alHash(e[1])+str
2730: 75 63 74 75 72 61 6c 48 61 73 68 28 65 5b 32 5d ucturalHash(e[2]
2740: 29 3b 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 );.......return
2750: 68 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 09 6d h;......}......m
2760: 69 78 69 6e 20 53 69 6d 70 6c 65 54 6f 53 74 72 ixin SimpleToStr
2770: 69 6e 67 3b 0d 0a 09 09 09 09 6d 69 78 69 6e 20 ing;......mixin
2780: 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f SimpleConstructo
2790: 72 3b 0d 0a 09 09 09 09 6d 69 78 69 6e 20 53 69 r;......mixin Si
27a0: 6d 70 6c 65 43 6f 6d 70 61 72 65 57 69 74 68 6f mpleCompareWitho
27b0: 75 74 54 6f 48 61 73 68 3b 0d 0a 09 09 09 7d 0d utToHash;.....}.
27c0: 0a 09 09 09 73 74 61 74 69 63 20 54 75 70 6c 65 ....static Tuple
27d0: 21 28 56 61 6c 75 65 2c 69 6e 74 29 5b 4d 65 6d !(Value,int)[Mem
27e0: 6f 6b 65 79 54 79 70 65 5d 20 6d 65 6d 6f 3b 0d okeyType] memo;.
27f0: 0a 0d 0a 09 09 09 6f 76 65 72 72 69 64 65 20 56 ......override V
2800: 61 6c 75 65 20 69 6e 76 6f 6b 65 28 4c 61 79 65 alue invoke(Laye
2810: 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 r lay, Table ctx
2820: 2c 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f , LexPosition po
2830: 73 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 69 66 s).....{......if
2840: 28 20 69 73 41 53 54 4c 61 79 65 72 28 6c 61 79 ( isASTLayer(lay
2850: 29 20 29 0d 0a 09 09 09 09 09 72 65 74 75 72 6e ) ).......return
2860: 20 65 76 61 6c 28 61 73 74 2e 66 75 6e 62 6f 64 eval(ast.funbod
2870: 79 2c 20 6c 61 79 2c 20 63 74 78 29 3b 0d 0a 0d y, lay, ctx);...
2880: 0a 09 09 09 09 61 75 74 6f 20 6e 6f 6e 4d 65 6d .....auto nonMem
2890: 6f 69 7a 65 64 52 75 6e 20 3d 20 28 29 7b 0d 0a oizedRun = (){..
28a0: 09 09 09 09 09 69 66 28 20 6d 61 63 72 6f 43 61 .....if( macroCa
28b0: 63 68 65 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 che is null )...
28c0: 09 09 09 09 7b 0d 0a 09 09 09 09 09 09 61 75 74 ....{........aut
28d0: 6f 20 76 61 20 3d 20 6d 61 63 72 6f 41 6e 64 45 o va = macroAndE
28e0: 76 61 6c 28 65 2e 66 75 6e 62 6f 64 79 2c 20 6c val(e.funbody, l
28f0: 61 79 2c 20 63 74 78 2c 20 43 61 73 63 61 64 65 ay, ctx, Cascade
2900: 43 74 78 2c 20 6d 61 6e 64 65 43 61 63 68 65 29 Ctx, mandeCache)
2910: 3b 0d 0a 09 09 09 09 09 09 6d 61 63 72 6f 43 61 ;........macroCa
2920: 63 68 65 20 3d 20 76 61 5b 31 5d 3b 0d 0a 09 09 che = va[1];....
2930: 09 09 09 09 72 65 74 75 72 6e 20 76 61 5b 30 5d ....return va[0]
2940: 3b 0d 0a 09 09 09 09 09 7d 0d 0a 09 09 09 09 09 ;.......}.......
2950: 65 6c 73 65 0d 0a 09 09 09 09 09 09 72 65 74 75 else........retu
2960: 72 6e 20 65 76 61 6c 28 6d 61 63 72 6f 43 61 63 rn eval(macroCac
2970: 68 65 2c 20 6c 61 79 2c 20 63 74 78 29 3b 0d 0a he, lay, ctx);..
2980: 09 09 09 09 7d 3b 0d 0a 0d 0a 09 09 09 09 69 66 ....};........if
2990: 28 20 21 69 73 55 73 65 72 44 65 66 69 6e 65 64 ( !isUserDefined
29a0: 4c 61 79 65 72 28 6c 61 79 29 20 29 0d 0a 09 09 Layer(lay) )....
29b0: 09 09 09 72 65 74 75 72 6e 20 6e 6f 6e 4d 65 6d ...return nonMem
29c0: 6f 69 7a 65 64 52 75 6e 28 29 3b 0d 0a 0d 0a 09 oizedRun();.....
29d0: 09 09 09 4d 65 6d 6f 6b 65 79 54 79 70 65 20 6d ...MemokeyType m
29e0: 65 6d 6f 6b 65 79 20 3d 20 6e 65 77 20 4d 65 6d emokey = new Mem
29f0: 6f 6b 65 79 54 79 70 65 28 63 61 73 74 28 76 6f okeyType(cast(vo
2a00: 69 64 2a 29 61 73 74 2c 20 6c 61 79 2c 20 63 74 id*)ast, lay, ct
2a10: 78 2e 64 69 72 65 63 74 5f 65 6e 74 72 69 65 73 x.direct_entries
2a20: 28 29 29 3b 0d 0a 0d 0a 09 09 09 09 69 66 28 61 ());........if(a
2a30: 75 74 6f 20 70 20 3d 20 6d 65 6d 6f 6b 65 79 20 uto p = memokey
2a40: 69 6e 20 6d 65 6d 6f 29 0d 0a 09 09 09 09 7b 0d in memo)......{.
2a50: 0a 09 09 09 09 09 28 2a 70 29 5b 31 5d 20 2b 2b ......(*p)[1] ++
2a60: 3b 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 28 ;.......return (
2a70: 2a 70 29 5b 30 5d 3b 0d 0a 09 09 09 09 7d 0d 0a *p)[0];......}..
2a80: 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 6d ....else.......m
2a90: 65 6d 6f 5b 6d 65 6d 6f 6b 65 79 5d 20 3d 20 74 emo[memokey] = t
2aa0: 75 70 6c 65 28 6c 69 66 74 28 6e 65 77 20 55 6e uple(lift(new Un
2ab0: 64 65 66 69 6e 65 64 56 61 6c 75 65 2c 20 6c 61 definedValue, la
2ac0: 79 2c 20 63 74 78 2c 20 70 6f 73 29 2c 20 30 29 y, ctx, pos), 0)
2ad0: 3b 0d 0a 0d 0a 09 09 09 09 56 61 6c 75 65 20 72 ;........Value r
2ae0: 20 3d 20 6e 6f 6e 4d 65 6d 6f 69 7a 65 64 52 75 = nonMemoizedRu
2af0: 6e 28 29 3b 0d 0a 0d 0a 09 09 09 09 69 6e 74 20 n();........int
2b00: 74 6f 75 63 68 65 64 20 3d 20 6d 65 6d 6f 5b 6d touched = memo[m
2b10: 65 6d 6f 6b 65 79 5d 5b 31 5d 3b 0d 0a 09 09 09 emokey][1];.....
2b20: 09 6d 65 6d 6f 5b 6d 65 6d 6f 6b 65 79 5d 20 3d .memo[memokey] =
2b30: 20 74 75 70 6c 65 28 72 2c 20 31 32 33 34 35 36 tuple(r, 123456
2b40: 37 38 29 3b 0d 0a 09 09 09 09 2f 2f 69 66 28 74 78);......//if(t
2b50: 6f 75 63 68 65 64 29 20 7b 44 42 47 28 22 72 65 ouched) {DBG("re
2b60: 72 75 6e 20 3a 3a 20 22 2c 72 29 3b 72 20 3d 20 run :: ",r);r =
2b70: 6e 6f 6e 4d 65 6d 6f 69 7a 65 64 52 75 6e 28 29 nonMemoizedRun()
2b80: 3b 7d 20 2f 2f 20 74 77 69 63 65 21 21 0d 0a 09 ;} // twice!!...
2b90: 09 09 09 72 65 74 75 72 6e 20 72 3b 0d 0a 09 09 ...return r;....
2ba0: 09 7d 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 .}....}....retur
2bb0: 6e 20 6e 65 77 20 55 73 65 72 44 65 66 69 6e 65 n new UserDefine
2bc0: 64 46 75 6e 56 61 6c 75 65 28 65 2c 63 74 78 29 dFunValue(e,ctx)
2bd0: 3b 0d 0a 09 7d 0d 0a 0d 0a 70 75 62 6c 69 63 3a ;...}....public:
2be0: 0d 0a 09 2f 2f 2f 20 41 64 64 20 70 72 69 6d 69 .../// Add primi
2bf0: 74 69 76 65 20 66 75 6e 63 74 69 6f 6e 20 74 6f tive function to
2c00: 20 74 68 65 20 67 6c 6f 62 61 6c 20 63 6f 6e 74 the global cont
2c10: 65 78 74 0d 0a 09 76 6f 69 64 20 61 64 64 50 72 ext...void addPr
2c20: 69 6d 69 74 69 76 65 28 52 2c 54 2e 2e 2e 29 28 imitive(R,T...)(
2c30: 73 74 72 69 6e 67 20 6e 61 6d 65 2c 20 4c 61 79 string name, Lay
2c40: 65 72 20 64 65 66 4c 61 79 2c 20 52 20 64 65 6c er defLay, R del
2c50: 65 67 61 74 65 20 28 54 29 20 64 67 29 0d 0a 09 egate (T) dg)...
2c60: 7b 0d 0a 09 09 63 6c 61 73 73 20 4e 61 74 69 76 {....class Nativ
2c70: 65 46 75 6e 56 61 6c 75 65 20 3a 20 46 75 6e 56 eFunValue : FunV
2c80: 61 6c 75 65 0d 0a 09 09 7b 0d 0a 09 09 09 6f 76 alue....{.....ov
2c90: 65 72 72 69 64 65 20 63 6f 6e 73 74 28 50 61 72 erride const(Par
2ca0: 61 6d 65 74 65 72 5b 5d 29 20 70 61 72 61 6d 73 ameter[]) params
2cb0: 28 29 20 7b 20 72 65 74 75 72 6e 20 70 61 72 61 () { return para
2cc0: 6d 73 5f 64 61 74 61 3b 20 7d 0d 0a 09 09 09 6f ms_data; }.....o
2cd0: 76 65 72 72 69 64 65 20 54 61 62 6c 65 20 64 65 verride Table de
2ce0: 66 69 6e 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 finitionContext(
2cf0: 29 20 20 20 7b 20 72 65 74 75 72 6e 20 74 68 65 ) { return the
2d00: 43 6f 6e 74 65 78 74 3b 20 7d 0d 0a 0d 0a 09 09 Context; }......
2d10: 09 6f 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 .override string
2d20: 20 74 6f 53 74 72 69 6e 67 28 29 20 7b 20 72 65 toString() { re
2d30: 74 75 72 6e 20 73 70 72 69 6e 74 66 21 22 28 6e turn sprintf!"(n
2d40: 61 74 69 76 65 3a 25 78 29 22 28 64 67 2e 66 75 ative:%x)"(dg.fu
2d50: 6e 63 70 74 72 29 3b 20 7d 0d 0a 09 09 09 6f 76 ncptr); }.....ov
2d60: 65 72 72 69 64 65 20 69 6e 74 20 6f 70 43 6d 70 erride int opCmp
2d70: 28 4f 62 6a 65 63 74 20 72 68 73 29 20 7b 0d 0a (Object rhs) {..
2d80: 09 09 09 09 69 66 28 61 75 74 6f 20 72 20 3d 20 ....if(auto r =
2d90: 63 61 73 74 28 4e 61 74 69 76 65 46 75 6e 56 61 cast(NativeFunVa
2da0: 6c 75 65 29 72 68 73 29 20 72 65 74 75 72 6e 20 lue)rhs) return
2db0: 74 79 70 65 69 64 28 74 79 70 65 6f 66 28 64 67 typeid(typeof(dg
2dc0: 29 29 2e 63 6f 6d 70 61 72 65 28 26 64 67 2c 26 )).compare(&dg,&
2dd0: 72 2e 64 67 29 3b 0d 0a 09 09 09 09 69 66 28 61 r.dg);......if(a
2de0: 75 74 6f 20 72 20 3d 20 63 61 73 74 28 56 61 6c uto r = cast(Val
2df0: 75 65 29 72 68 73 29 20 20 20 20 20 20 20 20 20 ue)rhs)
2e00: 20 72 65 74 75 72 6e 20 74 79 70 65 69 64 28 74 return typeid(t
2e10: 68 69 73 29 2e 6f 70 43 6d 70 28 74 79 70 65 69 his).opCmp(typei
2e20: 64 28 72 29 29 3b 0d 0a 09 09 09 09 74 68 72 6f d(r));......thro
2e30: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 w genex!RuntimeE
2e40: 78 63 65 70 74 69 6f 6e 28 22 63 6f 6d 70 61 72 xception("compar
2e50: 69 73 6f 6e 20 77 69 74 68 20 76 61 6c 75 65 20 ison with value
2e60: 61 6e 64 20 73 6f 6d 65 74 68 69 6e 67 20 6f 74 and something ot
2e70: 68 65 72 22 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 her");.....}....
2e80: 09 6f 76 65 72 72 69 64 65 20 68 61 73 68 5f 74 .override hash_t
2e90: 20 74 6f 48 61 73 68 28 29 20 63 6f 6e 73 74 20 toHash() const
2ea0: 7b 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 74 79 {......return ty
2eb0: 70 65 69 64 28 64 67 29 2e 67 65 74 48 61 73 68 peid(dg).getHash
2ec0: 28 26 64 67 29 3b 0d 0a 09 09 09 7d 0d 0a 0d 0a (&dg);.....}....
2ed0: 09 09 09 52 20 64 65 6c 65 67 61 74 65 28 54 29 ...R delegate(T)
2ee0: 20 64 67 3b 0d 0a 09 09 09 50 61 72 61 6d 65 74 dg;.....Paramet
2ef0: 65 72 5b 5d 20 70 61 72 61 6d 73 5f 64 61 74 61 er[] params_data
2f00: 3b 0d 0a 0d 0a 09 09 09 74 68 69 73 28 52 20 64 ;.......this(R d
2f10: 65 6c 65 67 61 74 65 28 54 29 20 64 67 29 0d 0a elegate(T) dg)..
2f20: 09 09 09 7b 0d 0a 09 09 09 09 74 68 69 73 2e 64 ...{......this.d
2f30: 67 20 3d 20 64 67 3b 0d 0a 09 09 09 09 66 6f 72 g = dg;......for
2f40: 65 61 63 68 28 69 2c 20 54 69 3b 20 54 29 0d 0a each(i, Ti; T)..
2f50: 09 09 09 09 09 70 61 72 61 6d 73 5f 64 61 74 61 .....params_data
2f60: 20 7e 3d 20 6e 65 77 20 50 61 72 61 6d 65 74 65 ~= new Paramete
2f70: 72 28 74 65 78 74 28 69 29 2c 20 5b 5d 29 3b 0d r(text(i), []);.
2f80: 0a 09 09 09 7d 0d 0a 0d 0a 09 09 09 6f 76 65 72 ....}.......over
2f90: 72 69 64 65 20 56 61 6c 75 65 20 69 6e 76 6f 6b ride Value invok
2fa0: 65 28 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 e(Layer lay, Tab
2fb0: 6c 65 20 63 74 78 2c 20 4c 65 78 50 6f 73 69 74 le ctx, LexPosit
2fc0: 69 6f 6e 20 70 6f 73 29 0d 0a 09 09 09 7b 0d 0a ion pos).....{..
2fd0: 09 09 09 09 69 66 28 20 6c 61 79 20 21 3d 20 64 ....if( lay != d
2fe0: 65 66 4c 61 79 20 29 0d 0a 09 09 09 09 09 74 68 efLay ).......th
2ff0: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
3000: 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 0d eException(pos,.
3010: 0a 09 09 09 09 09 09 74 65 78 74 28 22 6f 6e 6c .......text("onl
3020: 79 20 22 2c 20 64 65 66 4c 61 79 2c 20 22 20 6c y ", defLay, " l
3030: 61 79 65 72 20 63 61 6e 20 63 61 6c 6c 20 6e 61 ayer can call na
3040: 74 69 76 65 20 66 75 6e 63 74 69 6f 6e 3a 20 22 tive function: "
3050: 2c 20 6e 61 6d 65 29 29 3b 0d 0a 09 09 09 09 54 , name));......T
3060: 20 74 79 70 65 64 5f 61 72 67 73 3b 0d 0a 09 09 typed_args;....
3070: 09 09 66 6f 72 65 61 63 68 28 69 2c 20 54 69 3b ..foreach(i, Ti;
3080: 20 54 29 20 7b 0d 0a 09 09 09 09 09 74 79 70 65 T) {.......type
3090: 64 5f 61 72 67 73 5b 69 5d 20 3d 20 63 61 73 74 d_args[i] = cast
30a0: 28 54 69 29 20 63 74 78 2e 67 65 74 28 74 65 78 (Ti) ctx.get(tex
30b0: 74 28 69 29 2c 20 56 61 6c 75 65 4c 61 79 65 72 t(i), ValueLayer
30c0: 2c 20 70 6f 73 29 3b 0d 0a 09 09 09 09 09 69 66 , pos);.......if
30d0: 28 20 74 79 70 65 64 5f 61 72 67 73 5b 69 5d 20 ( typed_args[i]
30e0: 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 09 09 is null ).......
30f0: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e .throw genex!Run
3100: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f timeException(po
3110: 73 2c 0d 0a 09 09 09 09 09 09 09 73 70 72 69 6e s,.........sprin
3120: 74 66 21 22 74 79 70 65 20 6d 69 73 6d 61 74 63 tf!"type mismatc
3130: 68 20 6f 6e 20 74 68 65 20 61 72 67 75 6d 65 6e h on the argumen
3140: 74 20 25 64 20 6f 66 20 6e 61 74 69 76 65 20 66 t %d of native f
3150: 75 6e 63 74 69 6f 6e 3a 20 25 73 22 28 69 2b 31 unction: %s"(i+1
3160: 2c 6e 61 6d 65 29 29 3b 0d 0a 09 09 09 09 7d 0d ,name));......}.
3170: 0a 09 09 09 09 74 72 79 20 7b 0d 0a 09 09 09 09 .....try {......
3180: 09 72 65 74 75 72 6e 20 64 67 28 74 79 70 65 64 .return dg(typed
3190: 5f 61 72 67 73 29 3b 0d 0a 09 09 09 09 7d 20 63 _args);......} c
31a0: 61 74 63 68 28 20 52 75 6e 74 69 6d 65 45 78 63 atch( RuntimeExc
31b0: 65 70 74 69 6f 6e 20 65 20 29 20 7b 0d 0a 09 09 eption e ) {....
31c0: 09 09 09 74 68 72 6f 77 20 65 2e 70 6f 73 20 69 ...throw e.pos i
31d0: 73 20 6e 75 6c 6c 20 3f 20 6e 65 77 20 52 75 6e s null ? new Run
31e0: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f timeException(po
31f0: 73 2c 20 65 2e 6d 73 67 2c 20 65 2e 66 69 6c 65 s, e.msg, e.file
3200: 2c 20 65 2e 6c 69 6e 65 29 20 3a 20 65 3b 0d 0a , e.line) : e;..
3210: 09 09 09 09 7d 0d 0a 09 09 09 7d 0d 0a 09 09 7d ....}.....}....}
3220: 0d 0a 09 09 74 68 65 43 6f 6e 74 65 78 74 2e 73 ....theContext.s
3230: 65 74 28 6e 61 6d 65 2c 20 64 65 66 4c 61 79 2c et(name, defLay,
3240: 20 6e 65 77 20 4e 61 74 69 76 65 46 75 6e 56 61 new NativeFunVa
3250: 6c 75 65 28 64 67 29 29 3b 0d 0a 09 7d 0d 0a 7d lue(dg));...}..}
3260: 0d 0a 0d 0a 76 65 72 73 69 6f 6e 28 75 6e 69 74 ....version(unit
3270: 74 65 73 74 29 20 69 6d 70 6f 72 74 20 70 6f 6c test) import pol
3280: 65 6d 79 2e 72 75 6e 74 69 6d 65 3b 0d 0a 75 6e emy.runtime;..un
3290: 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f ittest..{...auto
32a0: 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75 61 74 e = new Evaluat
32b0: 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74 or;...enrollRunt
32c0: 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b 0d 0a imeLibrary(e);..
32d0: 09 61 75 74 6f 20 72 20 3d 20 61 73 73 65 72 74 .auto r = assert
32e0: 5f 6e 6f 74 68 72 6f 77 28 20 65 2e 65 76 61 6c _nothrow( e.eval
32f0: 53 74 72 69 6e 67 28 60 76 61 72 20 78 20 3d 20 String(`var x =
3300: 32 31 3b 20 78 20 2b 20 78 2a 78 3b 60 29 20 29 21; x + x*x;`) )
3310: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 72 ;...assert_eq( r
3320: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
3330: 69 67 49 6e 74 28 32 31 2b 32 31 2a 32 31 29 29 igInt(21+21*21))
3340: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
3350: 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 e.globalContext
3360: 2e 67 65 74 28 22 78 22 2c 56 61 6c 75 65 4c 61 .get("x",ValueLa
3370: 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c yer), new IntVal
3380: 75 65 28 42 69 67 49 6e 74 28 32 31 29 29 20 29 ue(BigInt(21)) )
3390: 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 ;...assert_nothr
33a0: 6f 77 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74 ow( e.globalCont
33b0: 65 78 74 2e 67 65 74 28 22 78 22 2c 56 61 6c 75 ext.get("x",Valu
33c0: 65 4c 61 79 65 72 29 20 29 3b 0d 0a 09 61 73 73 eLayer) );...ass
33d0: 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d ert_throw!Runtim
33e0: 65 45 78 63 65 70 74 69 6f 6e 28 20 65 2e 67 6c eException( e.gl
33f0: 6f 62 61 6c 43 6f 6e 74 65 78 74 2e 67 65 74 28 obalContext.get(
3400: 22 79 22 2c 56 61 6c 75 65 4c 61 79 65 72 29 20 "y",ValueLayer)
3410: 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0d );..}..unittest.
3420: 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e 65 .{...auto e = ne
3430: 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 w Evaluator;...e
3440: 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 nrollRuntimeLibr
3450: 61 72 79 28 65 29 3b 0d 0a 09 61 75 74 6f 20 72 ary(e);...auto r
3460: 20 3d 20 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f = assert_nothro
3470: 77 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 w( e.evalString(
3480: 60 76 61 72 20 78 20 3d 20 32 31 3b 20 76 61 72 `var x = 21; var
3490: 20 78 20 3d 20 78 20 2b 20 78 2a 78 3b 60 29 20 x = x + x*x;`)
34a0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
34b0: 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 r, new IntValue(
34c0: 42 69 67 49 6e 74 28 32 31 2b 32 31 2a 32 31 29 BigInt(21+21*21)
34d0: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
34e0: 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74 65 78 ( e.globalContex
34f0: 74 2e 67 65 74 28 22 78 22 2c 56 61 6c 75 65 4c t.get("x",ValueL
3500: 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 ayer), new IntVa
3510: 6c 75 65 28 32 31 2b 32 31 2a 32 31 29 20 29 3b lue(21+21*21) );
3520: 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f ...assert_nothro
3530: 77 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74 65 w( e.globalConte
3540: 78 74 2e 67 65 74 28 22 78 22 2c 56 61 6c 75 65 xt.get("x",Value
3550: 4c 61 79 65 72 29 20 29 3b 0d 0a 09 61 73 73 65 Layer) );...asse
3560: 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 rt_throw!Runtime
3570: 45 78 63 65 70 74 69 6f 6e 28 20 65 2e 67 6c 6f Exception( e.glo
3580: 62 61 6c 43 6f 6e 74 65 78 74 2e 67 65 74 28 22 balContext.get("
3590: 79 22 2c 56 61 6c 75 65 4c 61 79 65 72 29 20 29 y",ValueLayer) )
35a0: 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0d 0a ;..}..unittest..
35b0: 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e 65 77 {...auto e = new
35c0: 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e Evaluator;...en
35d0: 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 61 rollRuntimeLibra
35e0: 72 79 28 65 29 3b 0d 0a 09 61 73 73 65 72 74 5f ry(e);...assert_
35f0: 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 eq( e.evalString
3600: 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 79 (`let x=1; let y
3610: 3d 28 6c 65 74 20 78 3d 32 29 3b 20 78 60 29 2c =(let x=2); x`),
3620: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 31 29 new IntValue(1)
3630: 20 29 3b 20 0d 0a 09 61 73 73 65 72 74 5f 65 71 ); ...assert_eq
3640: 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 ( e.evalString(`
3650: 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 79 3d 28 let x=1; let y=(
3660: 6c 65 74 20 78 3d 32 3b 66 75 6e 28 29 7b 78 7d let x=2;fun(){x}
3670: 29 3b 20 79 28 29 60 29 2c 20 6e 65 77 20 49 6e ); y()`), new In
3680: 74 56 61 6c 75 65 28 32 29 20 29 3b 20 0d 0a 7d tValue(2) ); ..}
3690: 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d ....unittest..{.
36a0: 0a 09 61 75 74 6f 20 65 20 3d 20 6e 65 77 20 45 ..auto e = new E
36b0: 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f valuator;...enro
36c0: 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 61 72 79 llRuntimeLibrary
36d0: 28 65 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 (e);...assert_eq
36e0: 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 ( e.evalString(`
36f0: 40 61 20 78 3d 31 3b 20 40 62 20 78 3d 32 3b 20 @a x=1; @b x=2;
3700: 40 61 28 78 29 60 29 2c 20 6e 65 77 20 49 6e 74 @a(x)`), new Int
3710: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 Value(BigInt(1))
3720: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
3730: 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 40 e.evalString(`@
3740: 61 20 78 3d 31 3b 20 40 62 20 78 3d 32 3b 20 40 a x=1; @b x=2; @
3750: 62 28 78 29 60 29 2c 20 6e 65 77 20 49 6e 74 56 b(x)`), new IntV
3760: 61 6c 75 65 28 42 69 67 49 6e 74 28 32 29 29 20 alue(BigInt(2))
3770: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
3780: 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 6c 65 e.evalString(`le
3790: 74 20 78 3d 31 3b 20 6c 65 74 20 5f 20 3d 20 28 t x=1; let _ = (
37a0: 40 61 20 78 3d 32 3b 32 29 3b 20 78 60 29 2c 20 @a x=2;2); x`),
37b0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
37c0: 49 6e 74 28 31 29 29 20 29 3b 0d 0a 09 65 20 3d Int(1)) );...e =
37d0: 20 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d new Evaluator;.
37e0: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 54 ..assert_throw!T
37f0: 68 72 6f 77 61 62 6c 65 28 20 65 2e 65 76 61 6c hrowable( e.eval
3800: 53 74 72 69 6e 67 28 60 6c 65 74 20 78 3d 31 3b String(`let x=1;
3810: 20 6c 65 74 20 5f 20 3d 20 28 40 61 20 78 3d 32 let _ = (@a x=2
3820: 3b 32 29 3b 20 40 61 28 78 29 60 29 20 29 3b 0d ;2); @a(x)`) );.
3830: 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a .}....unittest..
3840: 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e 65 77 {...auto e = new
3850: 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e Evaluator;...en
3860: 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 61 rollRuntimeLibra
3870: 72 79 28 65 29 3b 0d 0a 09 61 73 73 65 72 74 5f ry(e);...assert_
3880: 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 eq( e.evalString
3890: 28 60 0d 0a 09 09 40 40 73 28 78 29 7b 78 7d 3b (`....@@s(x){x};
38a0: 0d 0a 09 09 40 73 20 22 2b 22 20 3d 20 66 75 6e ....@s "+" = fun
38b0: 28 78 2c 20 79 29 20 7b 40 76 61 6c 75 65 28 0d (x, y) {@value(.
38c0: 0a 09 09 09 40 73 28 78 29 20 2d 20 40 73 28 79 ....@s(x) - @s(y
38d0: 29 0d 0a 09 09 29 7d 3b 0d 0a 09 09 40 73 28 31 )....)};....@s(1
38e0: 20 2b 20 32 29 0d 0a 09 60 29 2c 20 6e 65 77 20 + 2)...`), new
38f0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
3900: 2d 31 29 29 20 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e -1)) );..}....un
3910: 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f ittest..{...auto
3920: 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75 61 74 e = new Evaluat
3930: 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74 or;...enrollRunt
3940: 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b 0d 0a imeLibrary(e);..
3950: 09 61 73 73 65 72 74 5f 65 71 28 20 65 2e 65 76 .assert_eq( e.ev
3960: 61 6c 53 74 72 69 6e 67 28 60 0d 0a 40 40 33 28 alString(`..@@3(
3970: 78 29 7b 78 7d 3b 0d 0a 64 65 66 20 69 6e 63 72 x){x};..def incr
3980: 28 78 29 20 7b 20 78 2b 31 20 7d 3b 0d 0a 40 20 (x) { x+1 };..@
3990: 33 20 69 6e 63 72 28 78 29 20 7b 40 76 61 6c 75 3 incr(x) {@valu
39a0: 65 28 20 69 66 20 40 20 33 28 78 29 2b 31 3c 20 e( if @ 3(x)+1<
39b0: 33 20 74 68 65 6e 20 40 33 28 78 29 2b 31 20 65 3 then @3(x)+1 e
39c0: 6c 73 65 20 30 20 29 7d 3b 0d 0a 64 65 66 20 66 lse 0 )};..def f
39d0: 62 28 6e 20 40 76 61 6c 75 65 20 40 33 29 20 7b b(n @value @3) {
39e0: 20 40 33 28 6e 29 20 7d 3b 0d 0a 66 62 28 69 6e @3(n) };..fb(in
39f0: 63 72 28 69 6e 63 72 28 69 6e 63 72 28 30 29 29 cr(incr(incr(0))
3a00: 29 29 0d 0a 09 60 29 2c 20 6e 65 77 20 49 6e 74 ))...`), new Int
3a10: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 Value(BigInt(0))
3a20: 20 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 );..}....unitte
3a30: 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d st..{...auto e =
3a40: 20 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d new Evaluator;.
3a50: 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c ..enrollRuntimeL
3a60: 69 62 72 61 72 79 28 65 29 3b 0d 0a 09 61 73 73 ibrary(e);...ass
3a70: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 2e 65 ert_nothrow( e.e
3a80: 76 61 6c 53 74 72 69 6e 67 28 60 0d 0a 40 6d 61 valString(`..@ma
3a90: 63 72 6f 20 74 77 69 63 65 28 78 29 20 7b 20 78 cro twice(x) { x
3aa0: 3b 20 78 20 7d 3b 0d 0a 64 65 66 20 6d 61 69 6e ; x };..def main
3ab0: 28 29 20 7b 20 74 77 69 63 65 28 31 29 20 7d 3b () { twice(1) };
3ac0: 0d 0a 6d 61 69 6e 28 29 0d 0a 09 60 29 20 29 3b ..main()...`) );
3ad0: 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b ..}..unittest..{
3ae0: 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e 65 77 20 ...auto e = new
3af0: 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e 72 Evaluator;...enr
3b00: 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 61 72 ollRuntimeLibrar
3b10: 79 28 65 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 y(e);...assert_t
3b20: 68 72 6f 77 21 52 75 6e 74 69 6d 65 45 78 63 65 hrow!RuntimeExce
3b30: 70 74 69 6f 6e 28 20 65 2e 65 76 61 6c 53 74 72 ption( e.evalStr
3b40: 69 6e 67 28 60 63 61 73 65 20 31 60 29 20 29 3b ing(`case 1`) );
3b50: 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f ...assert_nothro
3b60: 77 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 w( e.evalString(
3b70: 60 63 61 73 65 20 31 20 77 68 65 6e 20 31 3a 20 `case 1 when 1:
3b80: 32 60 29 20 29 3b 0d 0a 0d 0a 09 2f 2f 20 74 68 2`) );.....// th
3b90: 69 73 20 69 73 20 61 20 73 68 6f 72 74 68 61 6e is is a shorthan
3ba0: 64 20 66 6f 72 0d 0a 09 2f 2f 20 20 20 40 6d 61 d for...// @ma
3bb0: 63 72 6f 20 78 20 3d 20 66 75 6e 28 29 7b 7d 20 cro x = fun(){}
3bc0: 69 6e 20 40 6d 61 63 72 6f 28 78 29 0d 0a 09 2f in @macro(x).../
3bd0: 2f 20 73 6f 20 69 74 20 69 73 20 6f 6b 20 74 6f / so it is ok to
3be0: 20 66 61 69 6c 2c 20 62 75 74 20 69 74 20 69 73 fail, but it is
3bf0: 20 72 65 61 6c 6c 79 20 69 6e 63 6f 76 65 6e 69 really incoveni
3c00: 65 6e 74 20 6f 6e 20 52 45 50 4c 0d 0a 09 61 73 ent on REPL...as
3c10: 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 2e sert_nothrow( e.
3c20: 65 76 61 6c 53 74 72 69 6e 67 28 60 40 6d 61 63 evalString(`@mac
3c30: 72 6f 20 78 3d 66 75 6e 28 29 7b 7d 60 29 20 29 ro x=fun(){}`) )
3c40: 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 ;..}....unittest
3c50: 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e ..{...auto e = n
3c60: 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 ew Evaluator;...
3c70: 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 enrollRuntimeLib
3c80: 72 61 72 79 28 65 29 3b 0d 0a 09 61 73 73 65 72 rary(e);...asser
3c90: 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 45 t_throw!RuntimeE
3ca0: 78 63 65 70 74 69 6f 6e 28 20 65 2e 65 76 61 6c xception( e.eval
3cb0: 53 74 72 69 6e 67 28 60 2e 2e 2e 60 29 20 29 3b String(`...`) );
3cc0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 2e ...assert_eq( e.
3cd0: 65 76 61 6c 53 74 72 69 6e 67 28 60 40 40 66 6f evalString(`@@fo
3ce0: 6f 28 78 29 7b 78 7d 3b 20 40 66 6f 6f 28 2e 2e o(x){x}; @foo(..
3cf0: 2e 29 60 29 2c 20 6e 65 77 20 55 6e 64 65 66 69 .)`), new Undefi
3d00: 6e 65 64 56 61 6c 75 65 20 29 3b 0d 0a 7d 0d 0a nedValue );..}..