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 0d 0a 2f 2f 2f 20 4f 62 6a 65 63 74 73 20 ..../// Objects
0160: 66 6f 72 20 6d 61 69 74 61 69 6e 69 6e 67 20 67 for maitaining g
0170: 6c 6f 62 61 6c 20 65 6e 76 69 72 6f 6e 6d 65 6e lobal environmen
0180: 74 20 61 6e 64 20 65 76 61 6c 75 61 74 69 6f 6e t and evaluation
0190: 20 6f 66 20 65 78 70 72 65 73 73 69 6f 6e 20 6f of expression o
01a0: 6e 20 69 74 0d 0a 63 6c 61 73 73 20 45 76 61 6c n it..class Eval
01b0: 75 61 74 6f 72 0d 0a 7b 0d 0a 70 75 62 6c 69 63 uator..{..public
01c0: 3a 0d 0a 09 2f 2f 2f 20 49 6e 69 74 69 61 6c 69 :.../// Initiali
01d0: 7a 65 20 65 76 61 6c 75 61 74 6f 72 20 77 69 74 ze evaluator wit
01e0: 68 20 65 6d 70 74 79 20 63 6f 6e 74 65 78 74 0d h empty context.
01f0: 0a 09 74 68 69 73 28 29 20 7b 20 74 68 65 43 6f ..this() { theCo
0200: 6e 74 65 78 74 20 3d 20 6e 65 77 20 54 61 62 6c ntext = new Tabl
0210: 65 3b 20 7d 0d 0a 0d 0a 09 2f 2f 2f 20 45 76 61 e; }...../// Eva
0220: 6c 75 61 74 65 20 74 68 65 20 41 53 54 0d 0a 09 luate the AST...
0230: 56 61 6c 75 65 20 65 76 61 6c 41 53 54 28 41 53 Value evalAST(AS
0240: 54 20 65 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 T e)...{....retu
0250: 72 6e 20 6d 61 63 72 6f 41 6e 64 45 76 61 6c 28 rn macroAndEval(
0260: 65 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 74 e, ValueLayer, t
0270: 68 65 43 6f 6e 74 65 78 74 2c 20 4f 76 65 72 77 heContext, Overw
0280: 72 69 74 65 43 74 78 29 5b 30 5d 3b 0d 0a 09 7d riteCtx)[0];...}
0290: 0d 0a 0d 0a 09 2f 2f 2f 20 45 76 61 6c 75 61 74 ...../// Evaluat
02a0: 65 20 74 68 65 20 73 74 72 69 6e 67 0d 0a 09 56 e the string...V
02b0: 61 6c 75 65 20 65 76 61 6c 53 74 72 69 6e 67 28 alue evalString(
02c0: 53 2c 54 2e 2e 2e 29 28 53 20 73 74 72 2c 20 54 S,T...)(S str, T
02d0: 20 66 6e 5f 6c 6e 5f 63 6e 29 0d 0a 09 7b 0d 0a fn_ln_cn)...{..
02e0: 09 09 72 65 74 75 72 6e 20 65 76 61 6c 41 53 54 ..return evalAST
02f0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 73 74 72 (parseString(str
0300: 2c 66 6e 5f 6c 6e 5f 63 6e 29 29 3b 0d 0a 09 7d ,fn_ln_cn));...}
0310: 0d 0a 0d 0a 09 2f 2f 2f 20 45 76 61 6c 75 61 74 ...../// Evaluat
0320: 65 20 74 68 65 20 66 69 6c 65 0d 0a 09 56 61 6c e the file...Val
0330: 75 65 20 65 76 61 6c 46 69 6c 65 28 53 2c 54 2e ue evalFile(S,T.
0340: 2e 2e 29 28 53 20 66 69 6c 65 6e 61 6d 65 2c 20 ..)(S filename,
0350: 54 20 6c 6e 5f 63 6e 29 0d 0a 09 7b 0d 0a 09 09 T ln_cn)...{....
0360: 72 65 74 75 72 6e 20 65 76 61 6c 41 53 54 28 70 return evalAST(p
0370: 61 72 73 65 46 69 6c 65 28 66 69 6c 65 6e 61 6d arseFile(filenam
0380: 65 2c 6c 6e 5f 63 6e 29 29 3b 0d 0a 09 7d 0d 0a e,ln_cn));...}..
0390: 0d 0a 09 2f 2f 2f 20 47 65 74 20 74 68 65 20 67 .../// Get the g
03a0: 6c 6f 62 61 6c 20 63 6f 6e 74 65 78 74 0d 0a 09 lobal context...
03b0: 54 61 62 6c 65 20 67 6c 6f 62 61 6c 43 6f 6e 74 Table globalCont
03c0: 65 78 74 28 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 ext()...{....ret
03d0: 75 72 6e 20 74 68 65 43 6f 6e 74 65 78 74 3b 0d urn theContext;.
03e0: 0a 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a 0d ..}....private:.
03f0: 0a 09 54 61 62 6c 65 20 74 68 65 43 6f 6e 74 65 ..Table theConte
0400: 78 74 3b 0d 0a 0d 0a 09 65 6e 75 6d 20 3a 20 62 xt;.....enum : b
0410: 6f 6f 6c 20 7b 20 43 61 73 63 61 64 65 43 74 78 ool { CascadeCtx
0420: 3d 66 61 6c 73 65 2c 20 4f 76 65 72 77 72 69 74 =false, Overwrit
0430: 65 43 74 78 3d 74 72 75 65 20 7d 3b 0d 0a 0d 0a eCtx=true };....
0440: 09 56 61 6c 75 65 20 65 76 61 6c 28 20 41 53 54 .Value eval( AST
0450: 20 65 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 e, Layer lay, T
0460: 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f able ctx, bool o
0470: 76 65 72 77 72 69 74 65 43 74 78 3d 43 61 73 63 verwriteCtx=Casc
0480: 61 64 65 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 adeCtx )...{....
0490: 2f 2f 20 64 79 6e 61 6d 69 63 2d 6f 76 65 72 6c // dynamic-overl
04a0: 6f 61 64 2d 72 65 73 6f 6c 75 74 69 6f 6e 2d 70 oad-resolution-p
04b0: 61 74 74 65 72 6e 3a 20 6d 6f 64 69 66 79 20 68 attern: modify h
04c0: 65 72 65 0d 0a 09 09 65 6e 75 6d 20 66 75 6e 4e ere....enum funN
04d0: 61 6d 65 20 3d 20 22 65 76 61 6c 22 3b 0d 0a 09 ame = "eval";...
04e0: 09 61 6c 69 61 73 20 54 79 70 65 54 75 70 6c 65 .alias TypeTuple
04f0: 21 28 65 2c 6c 61 79 2c 63 74 78 2c 6f 76 65 72 !(e,lay,ctx,over
0500: 77 72 69 74 65 43 74 78 29 20 70 61 72 61 6d 73 writeCtx) params
0510: 3b 0d 0a 0d 0a 09 09 2f 2f 20 64 79 6e 61 6d 69 ;......// dynami
0520: 63 2d 6f 76 65 72 6c 6f 61 64 2d 72 65 73 6f 6c c-overload-resol
0530: 75 74 69 6f 6e 2d 70 61 74 74 65 72 6e 3a 20 64 ution-pattern: d
0540: 69 73 70 61 74 63 68 0d 0a 09 09 61 6c 69 61 73 ispatch....alias
0550: 20 74 79 70 65 6f 66 28 5f 5f 74 72 61 69 74 73 typeof(__traits
0560: 28 67 65 74 4f 76 65 72 6c 6f 61 64 73 2c 20 74 (getOverloads, t
0570: 68 69 73 2c 20 66 75 6e 4e 61 6d 65 29 29 20 6f his, funName)) o
0580: 76 54 79 70 65 73 3b 0d 0a 09 09 61 6c 69 61 73 vTypes;....alias
0590: 20 73 74 61 74 69 63 4d 61 70 21 28 66 69 72 73 staticMap!(firs
05a0: 74 50 61 72 61 6d 2c 20 6f 76 54 79 70 65 73 29 tParam, ovTypes)
05b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 66 73 fs
05c0: 74 54 79 70 65 73 3b 0d 0a 09 09 61 6c 69 61 73 tTypes;....alias
05d0: 20 44 65 72 69 76 65 64 54 6f 46 72 6f 6e 74 21 DerivedToFront!
05e0: 28 66 73 74 54 79 70 65 73 29 20 20 20 20 20 20 (fstTypes)
05f0: 20 20 20 20 20 20 20 66 73 74 54 79 70 65 73 5f fstTypes_
0600: 73 6f 72 74 65 64 3b 0d 0a 09 09 66 6f 72 65 61 sorted;....forea
0610: 63 68 28 69 2c 20 54 3b 20 66 73 74 54 79 70 65 ch(i, T; fstType
0620: 73 5f 73 6f 72 74 65 64 29 0d 0a 09 09 09 73 74 s_sorted).....st
0630: 61 74 69 63 20 69 66 28 20 69 73 28 54 20 3d 3d atic if( is(T ==
0640: 20 74 79 70 65 6f 66 28 70 61 72 61 6d 73 5b 30 typeof(params[0
0650: 5d 29 29 20 29 20 7b 7d 20 65 6c 73 65 20 69 66 ])) ) {} else if
0660: 28 20 61 75 74 6f 20 5f 78 20 3d 20 63 61 73 74 ( auto _x = cast
0670: 28 54 29 70 61 72 61 6d 73 5b 30 5d 20 29 0d 0a (T)params[0] )..
0680: 09 09 09 09 72 65 74 75 72 6e 20 5f 5f 74 72 61 ....return __tra
0690: 69 74 73 28 67 65 74 4f 76 65 72 6c 6f 61 64 73 its(getOverloads
06a0: 2c 20 74 68 69 73 2c 20 66 75 6e 4e 61 6d 65 29 , this, funName)
06b0: 5b 69 5d 28 5f 78 2c 20 70 61 72 61 6d 73 5b 31 [i](_x, params[1
06c0: 2e 2e 24 5d 29 3b 0d 0a 0d 0a 09 09 2f 2f 20 64 ..$]);......// d
06d0: 79 6e 61 6d 69 63 2d 6f 76 65 72 6c 6f 61 64 2d ynamic-overload-
06e0: 72 65 73 6f 6c 75 74 69 6f 6e 2d 70 61 74 74 65 resolution-patte
06f0: 72 6e 3a 20 64 65 66 61 75 6c 74 20 62 65 68 61 rn: default beha
0700: 76 69 6f 72 0d 0a 09 09 61 73 73 65 72 74 28 66 vior....assert(f
0710: 61 6c 73 65 2c 20 74 65 78 74 28 22 65 76 61 6c alse, text("eval
0720: 28 29 20 66 6f 72 20 22 2c 74 79 70 65 69 64 28 () for ",typeid(
0730: 65 29 2c 22 20 5b 22 2c 65 2e 70 6f 73 2c 22 5d e)," [",e.pos,"]
0740: 20 69 73 20 6e 6f 74 20 64 65 66 69 6e 65 64 22 is not defined"
0750: 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c 75 ));...}.....Valu
0760: 65 20 65 76 61 6c 28 20 53 74 72 20 65 2c 20 4c e eval( Str e, L
0770: 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 ayer lay, Table
0780: 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 77 72 ctx, bool overwr
0790: 69 74 65 43 74 78 3d 43 61 73 63 61 64 65 43 74 iteCtx=CascadeCt
07a0: 78 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69 x )...{....if( i
07b0: 73 41 53 54 4c 61 79 65 72 28 6c 61 79 29 20 29 sASTLayer(lay) )
07c0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 61 73 74 32 .....return ast2
07d0: 74 61 62 6c 65 28 65 2c 20 28 41 53 54 20 65 29 table(e, (AST e)
07e0: 7b 72 65 74 75 72 6e 20 65 76 61 6c 28 65 2c 6c {return eval(e,l
07f0: 61 79 2c 63 74 78 29 3b 7d 29 3b 0d 0a 09 09 69 ay,ctx);});....i
0800: 66 28 20 69 73 55 73 65 72 44 65 66 69 6e 65 64 f( isUserDefined
0810: 4c 61 79 65 72 28 6c 61 79 29 20 29 0d 0a 09 09 Layer(lay) )....
0820: 09 72 65 74 75 72 6e 20 6c 69 66 74 28 6e 65 77 .return lift(new
0830: 20 53 74 72 56 61 6c 75 65 28 65 2e 64 61 74 61 StrValue(e.data
0840: 29 2c 20 6c 61 79 2c 20 63 74 78 2c 20 65 2e 70 ), lay, ctx, e.p
0850: 6f 73 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6e os);....return n
0860: 65 77 20 53 74 72 56 61 6c 75 65 28 65 2e 64 61 ew StrValue(e.da
0870: 74 61 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c ta);...}.....Val
0880: 75 65 20 65 76 61 6c 28 20 49 6e 74 20 65 2c 20 ue eval( Int e,
0890: 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 Layer lay, Table
08a0: 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 77 ctx, bool overw
08b0: 72 69 74 65 43 74 78 3d 43 61 73 63 61 64 65 43 riteCtx=CascadeC
08c0: 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 tx )...{....if(
08d0: 69 73 41 53 54 4c 61 79 65 72 28 6c 61 79 29 20 isASTLayer(lay)
08e0: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 61 73 74 ).....return ast
08f0: 32 74 61 62 6c 65 28 65 2c 20 28 41 53 54 20 65 2table(e, (AST e
0900: 29 7b 72 65 74 75 72 6e 20 65 76 61 6c 28 65 2c ){return eval(e,
0910: 6c 61 79 2c 63 74 78 29 3b 7d 29 3b 0d 0a 09 09 lay,ctx);});....
0920: 69 66 28 20 69 73 55 73 65 72 44 65 66 69 6e 65 if( isUserDefine
0930: 64 4c 61 79 65 72 28 6c 61 79 29 20 29 0d 0a 09 dLayer(lay) )...
0940: 09 09 72 65 74 75 72 6e 20 6c 69 66 74 28 6e 65 ..return lift(ne
0950: 77 20 49 6e 74 56 61 6c 75 65 28 65 2e 64 61 74 w IntValue(e.dat
0960: 61 29 2c 20 6c 61 79 2c 20 63 74 78 2c 20 65 2e a), lay, ctx, e.
0970: 70 6f 73 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 pos);....return
0980: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 65 2e 64 new IntValue(e.d
0990: 61 74 61 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 ata);...}.....Va
09a0: 6c 75 65 20 65 76 61 6c 28 20 56 61 72 20 65 2c lue eval( Var e,
09b0: 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c Layer lay, Tabl
09c0: 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 e ctx, bool over
09d0: 77 72 69 74 65 43 74 78 3d 43 61 73 63 61 64 65 writeCtx=Cascade
09e0: 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 Ctx )...{....if(
09f0: 20 69 73 41 53 54 4c 61 79 65 72 28 6c 61 79 29 isASTLayer(lay)
0a00: 20 29 0d 0a 09 09 09 69 66 28 20 69 73 4d 61 63 ).....if( isMac
0a10: 72 6f 4c 61 79 65 72 28 6c 61 79 29 20 26 26 20 roLayer(lay) &&
0a20: 63 74 78 2e 68 61 73 28 65 2e 6e 61 6d 65 2c 4d ctx.has(e.name,M
0a30: 61 63 72 6f 4c 61 79 65 72 29 20 29 0d 0a 09 09 acroLayer) )....
0a40: 09 09 72 65 74 75 72 6e 20 63 74 78 2e 67 65 74 ..return ctx.get
0a50: 28 65 2e 6e 61 6d 65 2c 20 4d 61 63 72 6f 4c 61 (e.name, MacroLa
0a60: 79 65 72 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 09 yer, e.pos);....
0a70: 09 65 6c 73 65 0d 0a 09 09 09 09 72 65 74 75 72 .else......retur
0a80: 6e 20 61 73 74 32 74 61 62 6c 65 28 65 2c 20 28 n ast2table(e, (
0a90: 41 53 54 20 65 29 7b 72 65 74 75 72 6e 20 65 76 AST e){return ev
0aa0: 61 6c 28 65 2c 6c 61 79 2c 63 74 78 29 3b 7d 29 al(e,lay,ctx);})
0ab0: 3b 0d 0a 09 09 69 66 28 20 69 73 55 73 65 72 44 ;....if( isUserD
0ac0: 65 66 69 6e 65 64 4c 61 79 65 72 28 6c 61 79 29 efinedLayer(lay)
0ad0: 20 26 26 20 21 63 74 78 2e 68 61 73 28 65 2e 6e && !ctx.has(e.n
0ae0: 61 6d 65 2c 20 6c 61 79 29 20 29 0d 0a 09 09 09 ame, lay) ).....
0af0: 72 65 74 75 72 6e 20 6c 69 66 74 28 63 74 78 2e return lift(ctx.
0b00: 67 65 74 28 65 2e 6e 61 6d 65 2c 20 56 61 6c 75 get(e.name, Valu
0b10: 65 4c 61 79 65 72 2c 20 65 2e 70 6f 73 29 2c 20 eLayer, e.pos),
0b20: 6c 61 79 2c 20 63 74 78 2c 20 65 2e 70 6f 73 29 lay, ctx, e.pos)
0b30: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 63 74 78 2e ;....return ctx.
0b40: 67 65 74 28 65 2e 6e 61 6d 65 2c 20 6c 61 79 2c get(e.name, lay,
0b50: 20 65 2e 70 6f 73 29 3b 0d 0a 09 7d 0d 0a 0d 0a e.pos);...}....
0b60: 09 56 61 6c 75 65 20 65 76 61 6c 28 20 41 70 70 .Value eval( App
0b70: 20 65 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 e, Layer lay, T
0b80: 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f able ctx, bool o
0b90: 76 65 72 77 72 69 74 65 43 74 78 3d 43 61 73 63 verwriteCtx=Casc
0ba0: 61 64 65 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 adeCtx )...{....
0bb0: 56 61 6c 75 65 20 66 20 3d 20 65 76 61 6c 28 20 Value f = eval(
0bc0: 65 2e 66 75 6e 2c 20 6c 61 79 2c 20 63 74 78 20 e.fun, lay, ctx
0bd0: 29 3b 0d 0a 09 09 69 66 28 20 69 73 41 53 54 4c );....if( isASTL
0be0: 61 79 65 72 28 6c 61 79 29 20 29 20 7b 0d 0a 09 ayer(lay) ) {...
0bf0: 09 09 61 75 74 6f 20 66 66 20 3d 20 63 61 73 74 ..auto ff = cast
0c00: 28 46 75 6e 56 61 6c 75 65 29 66 3b 0d 0a 09 09 (FunValue)f;....
0c10: 09 69 66 28 20 66 66 20 21 69 73 20 6e 75 6c 6c .if( ff !is null
0c20: 20 26 26 20 69 73 4d 61 63 72 6f 4c 61 79 65 72 && isMacroLayer
0c30: 28 6c 61 79 29 20 29 0d 0a 09 09 09 09 72 65 74 (lay) )......ret
0c40: 75 72 6e 20 69 6e 76 6f 6b 65 46 75 6e 63 74 69 urn invokeFuncti
0c50: 6f 6e 28 66 66 2c 20 65 2e 61 72 67 73 2c 20 6c on(ff, e.args, l
0c60: 61 79 2c 20 63 74 78 2c 20 65 2e 70 6f 73 2c 20 ay, ctx, e.pos,
0c70: 67 65 74 4e 61 6d 65 49 66 50 6f 73 73 69 62 6c getNameIfPossibl
0c80: 65 28 65 2e 66 75 6e 29 29 3b 0d 0a 09 09 09 65 e(e.fun));.....e
0c90: 6c 73 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 lse......return
0ca0: 61 73 74 32 74 61 62 6c 65 28 65 2c 20 28 41 53 ast2table(e, (AS
0cb0: 54 20 65 29 7b 72 65 74 75 72 6e 20 65 76 61 6c T e){return eval
0cc0: 28 65 2c 6c 61 79 2c 63 74 78 29 3b 7d 29 3b 0d (e,lay,ctx);});.
0cd0: 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 69 ...}....return i
0ce0: 6e 76 6f 6b 65 46 75 6e 63 74 69 6f 6e 28 66 2c nvokeFunction(f,
0cf0: 20 65 2e 61 72 67 73 2c 20 6c 61 79 2c 20 63 74 e.args, lay, ct
0d00: 78 2c 20 65 2e 70 6f 73 2c 20 67 65 74 4e 61 6d x, e.pos, getNam
0d10: 65 49 66 50 6f 73 73 69 62 6c 65 28 65 2e 66 75 eIfPossible(e.fu
0d20: 6e 29 29 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 56 61 n));...}......Va
0d30: 6c 75 65 20 65 76 61 6c 28 20 46 75 6e 20 65 2c lue eval( Fun e,
0d40: 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c Layer lay, Tabl
0d50: 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 e ctx, bool over
0d60: 77 72 69 74 65 43 74 78 3d 43 61 73 63 61 64 65 writeCtx=Cascade
0d70: 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 Ctx )...{....if(
0d80: 20 69 73 41 53 54 4c 61 79 65 72 28 6c 61 79 29 isASTLayer(lay)
0d90: 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 2f 2f 20 6e )....{.....// n
0da0: 65 65 64 20 74 68 69 73 20 66 6f 72 20 63 6f 72 eed this for cor
0db0: 72 65 63 74 20 73 63 6f 70 69 6e 67 20 28 6f 75 rect scoping (ou
0dc0: 74 65 72 20 73 63 6f 70 65 20 6d 61 63 72 6f 20 ter scope macro
0dd0: 76 61 72 69 61 62 6c 65 73 20 6d 75 73 74 20 62 variables must b
0de0: 65 20 68 69 64 64 65 6e 21 29 0d 0a 09 09 09 54 e hidden!).....T
0df0: 61 62 6c 65 20 6e 65 77 43 74 78 20 3d 20 6e 65 able newCtx = ne
0e00: 77 20 54 61 62 6c 65 28 63 74 78 2c 20 54 61 62 w Table(ctx, Tab
0e10: 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 le.Kind.NotPropa
0e20: 67 61 74 65 53 65 74 29 3b 0d 0a 09 09 09 66 6f gateSet);.....fo
0e30: 72 65 61 63 68 28 70 3b 20 65 2e 70 61 72 61 6d reach(p; e.param
0e40: 73 29 0d 0a 09 09 09 09 6e 65 77 43 74 78 2e 73 s)......newCtx.s
0e50: 65 74 28 70 2e 6e 61 6d 65 2c 20 4e 6f 6f 70 4c et(p.name, NoopL
0e60: 61 79 65 72 2c 20 6e 75 6c 6c 29 3b 0d 0a 09 09 ayer, null);....
0e70: 09 72 65 74 75 72 6e 20 61 73 74 32 74 61 62 6c .return ast2tabl
0e80: 65 28 65 2c 20 28 41 53 54 20 65 29 7b 72 65 74 e(e, (AST e){ret
0e90: 75 72 6e 20 65 76 61 6c 28 65 2c 6c 61 79 2c 6e urn eval(e,lay,n
0ea0: 65 77 43 74 78 29 3b 7d 29 3b 0d 0a 09 09 7d 0d ewCtx);});....}.
0eb0: 0a 09 09 65 6c 73 65 0d 0a 09 09 09 72 65 74 75 ...else.....retu
0ec0: 72 6e 20 63 72 65 61 74 65 4e 65 77 46 75 6e 63 rn createNewFunc
0ed0: 74 69 6f 6e 28 65 2c 20 63 74 78 29 3b 0d 0a 09 tion(e, ctx);...
0ee0: 7d 0d 0a 09 0d 0a 09 56 61 6c 75 65 20 65 76 61 }......Value eva
0ef0: 6c 28 20 4c 61 79 20 65 2c 20 4c 61 79 65 72 20 l( Lay e, Layer
0f00: 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 lay, Table ctx,
0f10: 62 6f 6f 6c 20 6f 76 65 72 77 72 69 74 65 43 74 bool overwriteCt
0f20: 78 3d 43 61 73 63 61 64 65 43 74 78 20 29 0d 0a x=CascadeCtx )..
0f30: 09 7b 0d 0a 09 09 69 66 28 20 69 73 4e 6f 4c 61 .{....if( isNoLa
0f40: 79 65 72 43 68 61 6e 67 65 4c 61 79 65 72 28 6c yerChangeLayer(l
0f50: 61 79 29 20 29 0d 0a 09 09 09 72 65 74 75 72 6e ay) ).....return
0f60: 20 61 73 74 32 74 61 62 6c 65 28 65 2c 20 28 41 ast2table(e, (A
0f70: 53 54 20 65 29 7b 72 65 74 75 72 6e 20 65 76 61 ST e){return eva
0f80: 6c 28 65 2c 6c 61 79 2c 63 74 78 29 3b 7d 29 3b l(e,lay,ctx);});
0f90: 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 09 72 65 74 ....else.....ret
0fa0: 75 72 6e 20 65 76 61 6c 28 65 2e 65 78 70 72 2c urn eval(e.expr,
0fb0: 20 65 2e 6c 61 79 65 72 2c 20 63 74 78 29 3b 0d e.layer, ctx);.
0fc0: 0a 09 7d 0d 0a 09 0d 0a 09 56 61 6c 75 65 20 65 ..}......Value e
0fd0: 76 61 6c 28 20 4c 65 74 20 65 2c 20 4c 61 79 65 val( Let e, Laye
0fe0: 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 r lay, Table ctx
0ff0: 2c 20 62 6f 6f 6c 20 6f 76 65 72 77 72 69 74 65 , bool overwrite
1000: 43 74 78 3d 43 61 73 63 61 64 65 43 74 78 20 29 Ctx=CascadeCtx )
1010: 0d 0a 09 7b 0d 0a 09 09 54 61 62 6c 65 20 6e 65 ...{....Table ne
1020: 77 43 74 78 20 3d 20 6f 76 65 72 77 72 69 74 65 wCtx = overwrite
1030: 43 74 78 20 3f 20 63 74 78 20 3a 20 6e 65 77 20 Ctx ? ctx : new
1040: 54 61 62 6c 65 28 63 74 78 2c 20 54 61 62 6c 65 Table(ctx, Table
1050: 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 61 .Kind.NotPropaga
1060: 74 65 53 65 74 29 3b 0d 0a 09 09 69 66 28 20 69 teSet);....if( i
1070: 73 41 53 54 4c 61 79 65 72 28 6c 61 79 29 20 29 sASTLayer(lay) )
1080: 0d 0a 09 09 09 72 65 74 75 72 6e 20 61 73 74 32 .....return ast2
1090: 74 61 62 6c 65 28 65 2c 20 28 41 53 54 20 65 65 table(e, (AST ee
10a0: 29 7b 0d 0a 09 09 09 09 2f 2f 20 6e 65 65 64 20 ){......// need
10b0: 74 68 69 73 20 66 6f 72 20 63 6f 72 72 65 63 74 this for correct
10c0: 20 73 63 6f 70 69 6e 67 20 28 6f 75 74 65 72 20 scoping (outer
10d0: 73 63 6f 70 65 20 6d 61 63 72 6f 20 76 61 72 69 scope macro vari
10e0: 61 62 6c 65 73 20 6d 75 73 74 20 62 65 20 68 69 ables must be hi
10f0: 64 64 65 6e 21 29 0d 0a 09 09 09 09 69 66 28 65 dden!)......if(e
1100: 65 20 69 73 20 65 2e 65 78 70 72 29 0d 0a 09 09 e is e.expr)....
1110: 09 09 09 6e 65 77 43 74 78 2e 73 65 74 28 65 2e ...newCtx.set(e.
1120: 6e 61 6d 65 2c 20 4e 6f 6f 70 4c 61 79 65 72 2c name, NoopLayer,
1130: 20 6e 75 6c 6c 29 3b 0d 0a 09 09 09 09 72 65 74 null);......ret
1140: 75 72 6e 20 65 76 61 6c 28 65 65 2c 6c 61 79 2c urn eval(ee,lay,
1150: 6e 65 77 43 74 78 29 3b 0d 0a 09 09 09 7d 29 3b newCtx);.....});
1160: 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 ....else....{...
1170: 09 09 56 61 6c 75 65 20 72 69 20 3d 20 65 76 61 ..Value ri = eva
1180: 6c 28 65 2e 69 6e 69 74 2c 20 6c 61 79 2c 20 6e l(e.init, lay, n
1190: 65 77 43 74 78 29 3b 0d 0a 09 09 09 6e 65 77 43 ewCtx);.....newC
11a0: 74 78 2e 73 65 74 28 65 2e 6e 61 6d 65 2c 20 65 tx.set(e.name, e
11b0: 2e 6c 61 79 65 72 2e 65 6d 70 74 79 20 3f 20 6c .layer.empty ? l
11c0: 61 79 20 3a 20 65 2e 6c 61 79 65 72 2c 20 72 69 ay : e.layer, ri
11d0: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 76 );.....return ev
11e0: 61 6c 28 65 2e 65 78 70 72 2c 20 6c 61 79 2c 20 al(e.expr, lay,
11f0: 6e 65 77 43 74 78 2c 20 4f 76 65 72 77 72 69 74 newCtx, Overwrit
1200: 65 43 74 78 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d eCtx);....}...}.
1210: 0a 0d 0a 70 72 69 76 61 74 65 3a 0d 0a 09 2f 2f ...private:...//
1220: 20 6c 69 74 74 6c 65 20 6c 69 74 74 6c 65 20 62 little little b
1230: 69 74 20 69 6e 63 72 65 6d 65 6e 74 61 6c 20 6d it incremental m
1240: 61 63 72 6f 20 64 65 66 69 6e 69 6e 67 20 76 65 acro defining ve
1250: 72 73 69 6f 6e 2e 0d 0a 09 2f 2f 20 65 6e 61 62 rsion....// enab
1260: 6c 65 73 20 40 6d 61 63 72 6f 20 66 6f 6f 28 78 les @macro foo(x
1270: 29 3d 2e 2e 2e 20 69 6e 20 2e 2e 2e 20 66 6f 6f )=... in ... foo
1280: 20 2e 2e 2e 2c 20 6f 6e 6c 79 20 61 74 20 74 68 ..., only at th
1290: 65 20 74 6f 70 20 6c 65 76 65 6c 20 6f 66 20 74 e top level of t
12a0: 68 65 0d 0a 09 2f 2f 20 69 6e 74 65 72 70 72 65 he...// interpre
12b0: 74 65 72 20 61 6e 64 20 66 75 6e 63 74 69 6f 6e ter and function
12c0: 73 2e 20 62 65 74 74 65 72 20 74 68 61 6e 20 6e s. better than n
12d0: 6f 74 68 69 6e 67 20 3a 50 0d 0a 09 54 75 70 6c othing :P...Tupl
12e0: 65 21 28 56 61 6c 75 65 2c 41 53 54 29 20 6d 61 e!(Value,AST) ma
12f0: 63 72 6f 41 6e 64 45 76 61 6c 28 20 41 53 54 20 croAndEval( AST
1300: 65 5f 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 e_, Layer lay, T
1310: 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f able ctx, bool o
1320: 76 65 72 77 72 69 74 65 43 74 78 3d 43 61 73 63 verwriteCtx=Casc
1330: 61 64 65 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 adeCtx )...{....
1340: 61 73 73 65 72 74 28 20 21 69 73 41 53 54 4c 61 assert( !isASTLa
1350: 79 65 72 28 6c 61 79 29 20 29 3b 0d 0a 0d 0a 09 yer(lay) );.....
1360: 09 41 53 54 20 64 65 63 6f 64 65 41 53 54 28 56 .AST decodeAST(V
1370: 61 6c 75 65 20 76 2c 20 4c 65 78 50 6f 73 69 74 alue v, LexPosit
1380: 69 6f 6e 20 70 6f 73 29 0d 0a 09 09 7b 0d 0a 09 ion pos)....{...
1390: 09 09 2f 2f 20 5b 54 4f 44 4f 5d 20 6d 6f 72 65 ..// [TODO] more
13a0: 20 69 6e 66 6f 72 6d 61 74 69 76 65 20 65 72 72 informative err
13b0: 6f 72 20 6d 65 73 73 61 67 65 0d 0a 09 09 09 72 or message.....r
13c0: 65 74 75 72 6e 20 70 6f 6c 65 6d 79 32 64 21 28 eturn polemy2d!(
13d0: 41 53 54 29 28 76 2c 20 70 6f 73 29 3b 0d 0a 09 AST)(v, pos);...
13e0: 09 7d 0d 0a 0d 0a 09 09 69 66 28 61 75 74 6f 20 .}......if(auto
13f0: 65 20 3d 20 63 61 73 74 28 4c 65 74 29 65 5f 29 e = cast(Let)e_)
1400: 0d 0a 09 09 7b 0d 0a 09 09 09 41 53 54 20 20 20 ....{.....AST
1410: 61 69 20 3d 20 64 65 63 6f 64 65 41 53 54 28 65 ai = decodeAST(e
1420: 76 61 6c 28 65 2e 69 6e 69 74 2c 20 52 61 77 4d val(e.init, RawM
1430: 61 63 72 6f 4c 61 79 65 72 2c 20 63 74 78 29 2c acroLayer, ctx),
1440: 20 65 2e 69 6e 69 74 2e 70 6f 73 29 3b 0d 0a 09 e.init.pos);...
1450: 09 09 56 61 6c 75 65 20 76 69 20 3d 20 65 76 61 ..Value vi = eva
1460: 6c 28 61 69 2c 20 6c 61 79 2c 20 63 74 78 29 3b l(ai, lay, ctx);
1470: 0d 0a 09 09 09 0d 0a 09 09 09 69 66 28 20 21 6f ..........if( !o
1480: 76 65 72 77 72 69 74 65 43 74 78 20 29 0d 0a 09 verwriteCtx )...
1490: 09 09 09 63 74 78 20 3d 20 6e 65 77 20 54 61 62 ...ctx = new Tab
14a0: 6c 65 28 63 74 78 2c 20 54 61 62 6c 65 2e 4b 69 le(ctx, Table.Ki
14b0: 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 nd.NotPropagateS
14c0: 65 74 29 3b 0d 0a 09 09 09 73 74 72 69 6e 67 20 et);.....string
14d0: 74 68 65 4c 61 79 65 72 20 3d 20 65 2e 6c 61 79 theLayer = e.lay
14e0: 65 72 2e 65 6d 70 74 79 20 3f 20 6c 61 79 20 3a er.empty ? lay :
14f0: 20 65 2e 6c 61 79 65 72 3b 0d 0a 09 09 09 63 74 e.layer;.....ct
1500: 78 2e 73 65 74 28 65 2e 6e 61 6d 65 2c 20 74 68 x.set(e.name, th
1510: 65 4c 61 79 65 72 2c 20 76 69 29 3b 0d 0a 0d 0a eLayer, vi);....
1520: 09 09 09 61 75 74 6f 20 61 76 65 20 3d 20 6d 61 ...auto ave = ma
1530: 63 72 6f 41 6e 64 45 76 61 6c 28 20 65 2e 65 78 croAndEval( e.ex
1540: 70 72 2c 20 6c 61 79 2c 20 63 74 78 2c 20 4f 76 pr, lay, ctx, Ov
1550: 65 72 77 72 69 74 65 43 74 78 20 29 3b 0d 0a 09 erwriteCtx );...
1560: 09 09 41 53 54 20 20 61 20 3d 20 6e 65 77 20 4c ..AST a = new L
1570: 65 74 28 65 2e 70 6f 73 2c 20 65 2e 6e 61 6d 65 et(e.pos, e.name
1580: 2c 20 65 2e 6c 61 79 65 72 2c 20 61 69 2c 20 61 , e.layer, ai, a
1590: 76 65 5b 31 5d 29 3b 0d 0a 09 09 09 72 65 74 75 ve[1]);.....retu
15a0: 72 6e 20 74 75 70 6c 65 28 61 76 65 5b 30 5d 2c rn tuple(ave[0],
15b0: 20 61 29 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 a);....}....els
15c0: 65 0d 0a 09 09 7b 0d 0a 09 09 09 41 53 54 20 20 e....{.....AST
15d0: 20 61 20 3d 20 64 65 63 6f 64 65 41 53 54 28 65 a = decodeAST(e
15e0: 76 61 6c 28 65 5f 2c 20 52 61 77 4d 61 63 72 6f val(e_, RawMacro
15f0: 4c 61 79 65 72 2c 20 63 74 78 29 2c 20 65 5f 2e Layer, ctx), e_.
1600: 70 6f 73 29 3b 0d 0a 09 09 09 56 61 6c 75 65 20 pos);.....Value
1610: 76 20 3d 20 65 76 61 6c 28 61 2c 20 6c 61 79 2c v = eval(a, lay,
1620: 20 63 74 78 29 3b 0d 0a 09 09 09 72 65 74 75 72 ctx);.....retur
1630: 6e 20 74 75 70 6c 65 28 76 2c 20 61 29 3b 0d 0a n tuple(v, a);..
1640: 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 76 61 ..}...}....priva
1650: 74 65 3a 0d 0a 09 73 74 72 69 6e 67 20 67 65 74 te:...string get
1660: 4e 61 6d 65 49 66 50 6f 73 73 69 62 6c 65 28 41 NameIfPossible(A
1670: 53 54 20 65 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 ST e)...{....if(
1680: 61 75 74 6f 20 76 20 3d 20 63 61 73 74 28 56 61 auto v = cast(Va
1690: 72 29 65 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 r)e).....return
16a0: 76 2e 6e 61 6d 65 3b 0d 0a 09 09 72 65 74 75 72 v.name;....retur
16b0: 6e 20 22 22 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 56 n "";...}......V
16c0: 61 6c 75 65 20 69 6e 76 6f 6b 65 46 75 6e 63 74 alue invokeFunct
16d0: 69 6f 6e 28 56 61 6c 75 65 20 5f 66 2c 20 41 53 ion(Value _f, AS
16e0: 54 5b 5d 20 61 72 67 73 2c 20 4c 61 79 65 72 20 T[] args, Layer
16f0: 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 lay, Table ctx,
1700: 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c LexPosition pos,
1710: 20 73 74 72 69 6e 67 20 63 61 6c 6c 73 74 61 63 string callstac
1720: 6b 6d 73 67 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 kmsg)...{....if(
1730: 61 75 74 6f 20 66 20 3d 20 63 61 73 74 28 46 75 auto f = cast(Fu
1740: 6e 56 61 6c 75 65 29 5f 66 29 0d 0a 09 09 7b 0d nValue)_f)....{.
1750: 0a 09 09 09 54 61 62 6c 65 20 6e 65 77 43 74 78 ....Table newCtx
1760: 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 66 2e 64 = new Table(f.d
1770: 65 66 69 6e 69 74 69 6f 6e 43 6f 6e 74 65 78 74 efinitionContext
1780: 28 29 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e (), Table.Kind.N
1790: 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b otPropagateSet);
17a0: 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 69 2c 70 .....foreach(i,p
17b0: 3b 20 66 2e 70 61 72 61 6d 73 28 29 29 0d 0a 09 ; f.params())...
17c0: 09 09 09 69 66 28 20 70 2e 6c 61 79 65 72 73 2e ...if( p.layers.
17d0: 65 6d 70 74 79 20 29 0d 0a 09 09 09 09 09 6e 65 empty ).......ne
17e0: 77 43 74 78 2e 73 65 74 28 70 2e 6e 61 6d 65 2c wCtx.set(p.name,
17f0: 20 69 73 4d 61 63 72 6f 4c 61 79 65 72 28 6c 61 isMacroLayer(la
1800: 79 29 3f 4d 61 63 72 6f 4c 61 79 65 72 3a 6c 61 y)?MacroLayer:la
1810: 79 2c 20 65 76 61 6c 28 61 72 67 73 5b 69 5d 2c y, eval(args[i],
1820: 20 6c 61 79 2c 20 63 74 78 29 29 3b 0d 0a 09 09 lay, ctx));....
1830: 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 66 6f 72 ..else.......for
1840: 65 61 63 68 28 61 72 67 4c 61 79 3b 20 70 2e 6c each(argLay; p.l
1850: 61 79 65 72 73 29 0d 0a 09 09 09 09 09 09 6e 65 ayers)........ne
1860: 77 43 74 78 2e 73 65 74 28 70 2e 6e 61 6d 65 2c wCtx.set(p.name,
1870: 20 61 72 67 4c 61 79 2c 20 65 76 61 6c 28 61 72 argLay, eval(ar
1880: 67 73 5b 69 5d 2c 20 61 72 67 4c 61 79 2c 20 63 gs[i], argLay, c
1890: 74 78 29 29 3b 0d 0a 09 09 09 73 63 6f 70 65 20 tx));.....scope
18a0: 5f 20 3d 20 6e 65 77 20 50 75 73 68 43 61 6c 6c _ = new PushCall
18b0: 53 74 61 63 6b 28 70 6f 73 2c 20 63 61 6c 6c 73 Stack(pos, calls
18c0: 74 61 63 6b 6d 73 67 29 3b 0d 0a 09 09 09 72 65 tackmsg);.....re
18d0: 74 75 72 6e 20 66 2e 69 6e 76 6f 6b 65 28 69 73 turn f.invoke(is
18e0: 4d 61 63 72 6f 4c 61 79 65 72 28 6c 61 79 29 3f MacroLayer(lay)?
18f0: 4d 61 63 72 6f 4c 61 79 65 72 3a 6c 61 79 2c 20 MacroLayer:lay,
1900: 6e 65 77 43 74 78 2c 20 70 6f 73 29 3b 0d 0a 09 newCtx, pos);...
1910: 09 7d 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 .}....throw gene
1920: 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 x!RuntimeExcepti
1930: 6f 6e 28 70 6f 73 2c 20 74 65 78 74 28 22 74 72 on(pos, text("tr
1940: 69 65 64 20 74 6f 20 63 61 6c 6c 20 6e 6f 6e 2d ied to call non-
1950: 66 75 6e 63 74 69 6f 6e 3a 20 22 2c 5f 66 29 29 function: ",_f))
1960: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c 75 65 20 ;...}.....Value
1970: 6c 69 66 74 28 56 61 6c 75 65 20 76 2c 20 4c 61 lift(Value v, La
1980: 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 yer lay, Table c
1990: 74 78 2c 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 tx, LexPosition
19a0: 70 6f 73 29 0d 0a 09 7b 0d 0a 09 09 61 73 73 65 pos)...{....asse
19b0: 72 74 28 20 21 69 73 41 53 54 4c 61 79 65 72 28 rt( !isASTLayer(
19c0: 6c 61 79 29 2c 20 22 6c 69 66 74 20 74 6f 20 74 lay), "lift to t
19d0: 68 65 20 40 6d 61 63 72 6f 20 6c 61 79 65 72 20 he @macro layer
19e0: 73 68 6f 75 6c 64 20 6e 65 76 65 72 20 68 61 70 should never hap
19f0: 70 65 6e 22 20 29 3b 0d 0a 0d 0a 09 09 2f 2f 20 pen" );......//
1a00: 66 75 6e 63 74 69 6f 6e 73 20 61 72 65 20 61 75 functions are au
1a10: 74 6f 6d 61 74 69 63 61 6c 6c 79 20 6c 69 66 74 tomatically lift
1a20: 65 72 64 0d 0a 09 09 69 66 28 20 63 61 73 74 28 erd....if( cast(
1a30: 46 75 6e 56 61 6c 75 65 29 20 76 20 29 0d 0a 09 FunValue) v )...
1a40: 09 09 72 65 74 75 72 6e 20 76 3b 0d 0a 0d 0a 09 ..return v;.....
1a50: 09 69 66 28 20 21 63 74 78 2e 68 61 73 28 6c 61 .if( !ctx.has(la
1a60: 79 2c 20 4c 69 66 74 4c 61 79 65 72 29 20 29 0d y, LiftLayer) ).
1a70: 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
1a80: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
1a90: 28 70 6f 73 2c 20 22 6c 69 66 74 20 66 75 6e 63 (pos, "lift func
1aa0: 74 69 6f 6e 20 66 6f 72 20 22 7e 6c 61 79 7e 22 tion for "~lay~"
1ab0: 20 69 73 20 6e 6f 74 20 72 65 67 69 73 74 65 72 is not register
1ac0: 65 64 22 20 29 3b 0d 0a 0d 0a 09 09 2f 2f 20 73 ed" );......// s
1ad0: 69 6d 69 6c 61 72 20 74 6f 20 69 6e 76 6f 6b 65 imilar to invoke
1ae0: 46 75 6e 63 74 69 6f 6e 2c 20 62 75 74 20 77 69 Function, but wi
1af0: 74 68 20 6f 6e 6c 79 20 6f 6e 65 20 61 72 67 75 th only one argu
1b00: 6d 65 6e 74 20 62 6f 75 6e 64 20 74 6f 20 56 61 ment bound to Va
1b10: 6c 75 65 4c 61 79 65 72 0d 0a 09 09 61 75 74 6f lueLayer....auto
1b20: 20 5f 66 20 3d 20 63 74 78 2e 67 65 74 28 6c 61 _f = ctx.get(la
1b30: 79 2c 20 4c 69 66 74 4c 61 79 65 72 2c 20 70 6f y, LiftLayer, po
1b40: 73 29 3b 0d 0a 09 09 69 66 28 61 75 74 6f 20 66 s);....if(auto f
1b50: 20 3d 20 63 61 73 74 28 46 75 6e 56 61 6c 75 65 = cast(FunValue
1b60: 29 5f 66 29 0d 0a 09 09 7b 0d 0a 09 09 09 54 61 )_f)....{.....Ta
1b70: 62 6c 65 20 6e 65 77 43 74 78 20 3d 20 6e 65 77 ble newCtx = new
1b80: 20 54 61 62 6c 65 28 66 2e 64 65 66 69 6e 69 74 Table(f.definit
1b90: 69 6f 6e 43 6f 6e 74 65 78 74 28 29 2c 20 54 61 ionContext(), Ta
1ba0: 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 ble.Kind.NotProp
1bb0: 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 09 09 61 agateSet);.....a
1bc0: 75 74 6f 20 70 73 20 3d 20 66 2e 70 61 72 61 6d uto ps = f.param
1bd0: 73 28 29 3b 0d 0a 09 09 09 69 66 28 20 70 73 2e s();.....if( ps.
1be0: 6c 65 6e 67 74 68 20 21 3d 20 31 20 29 0d 0a 09 length != 1 )...
1bf0: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 ...throw genex!R
1c00: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
1c10: 70 6f 73 2c 0d 0a 09 09 09 09 09 74 65 78 74 28 pos,.......text(
1c20: 22 6c 69 66 74 20 66 75 6e 63 74 69 6f 6e 20 66 "lift function f
1c30: 6f 72 22 2c 20 6c 61 79 2c 20 22 20 6d 75 73 74 or", lay, " must
1c40: 20 74 61 6b 65 20 65 78 61 63 74 6c 79 20 6f 6e take exactly on
1c50: 65 20 61 72 67 75 6d 65 6e 74 20 6f 66 20 22 2c e argument of ",
1c60: 20 56 61 6c 75 65 4c 61 79 65 72 29 29 3b 0d 0a ValueLayer));..
1c70: 09 09 09 69 66 28 20 70 73 5b 30 5d 2e 6c 61 79 ...if( ps[0].lay
1c80: 65 72 73 2e 6c 65 6e 67 74 68 3d 3d 30 20 7c 7c ers.length==0 ||
1c90: 20 70 73 5b 30 5d 2e 6c 61 79 65 72 73 2e 6c 65 ps[0].layers.le
1ca0: 6e 67 74 68 3d 3d 31 20 26 26 20 70 73 5b 30 5d ngth==1 && ps[0]
1cb0: 2e 6c 61 79 65 72 73 5b 30 5d 3d 3d 56 61 6c 75 .layers[0]==Valu
1cc0: 65 4c 61 79 65 72 20 29 0d 0a 09 09 09 7b 0d 0a eLayer ).....{..
1cd0: 09 09 09 09 6e 65 77 43 74 78 2e 73 65 74 28 70 ....newCtx.set(p
1ce0: 73 5b 30 5d 2e 6e 61 6d 65 2c 20 56 61 6c 75 65 s[0].name, Value
1cf0: 4c 61 79 65 72 2c 20 76 29 3b 0d 0a 09 09 09 09 Layer, v);......
1d00: 73 63 6f 70 65 20 5f 20 3d 20 6e 65 77 20 50 75 scope _ = new Pu
1d10: 73 68 43 61 6c 6c 53 74 61 63 6b 28 70 6f 73 2c shCallStack(pos,
1d20: 20 6c 61 79 29 3b 0d 0a 09 09 09 09 72 65 74 75 lay);......retu
1d30: 72 6e 20 66 2e 69 6e 76 6f 6b 65 28 56 61 6c 75 rn f.invoke(Valu
1d40: 65 4c 61 79 65 72 2c 20 6e 65 77 43 74 78 2c 20 eLayer, newCtx,
1d50: 70 6f 73 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 pos);.....}.....
1d60: 65 6c 73 65 0d 0a 09 09 09 09 74 68 72 6f 77 20 else......throw
1d70: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
1d80: 65 70 74 69 6f 6e 28 70 6f 73 2c 0d 0a 09 09 09 eption(pos,.....
1d90: 09 09 74 65 78 74 28 22 6c 69 66 74 20 66 75 6e ..text("lift fun
1da0: 63 74 69 6f 6e 20 66 6f 72 22 2c 20 6c 61 79 2c ction for", lay,
1db0: 20 22 20 6d 75 73 74 20 74 61 6b 65 20 65 78 61 " must take exa
1dc0: 63 74 6c 79 20 6f 6e 65 20 61 72 67 75 6d 65 6e ctly one argumen
1dd0: 74 20 6f 66 20 22 2c 20 56 61 6c 75 65 4c 61 79 t of ", ValueLay
1de0: 65 72 29 29 3b 0d 0a 09 09 7d 0d 0a 09 09 74 68 er));....}....th
1df0: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
1e00: 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 0d eException(pos,.
1e10: 0a 09 09 09 74 65 78 74 28 22 6e 6f 6e 2d 66 75 ....text("non-fu
1e20: 6e 63 74 69 6f 6e 20 22 2c 20 5f 66 2c 20 22 20 nction ", _f, "
1e30: 69 73 20 72 65 67 69 73 74 65 72 65 64 20 61 73 is registered as
1e40: 20 74 68 65 20 6c 69 66 74 20 66 75 6e 63 74 69 the lift functi
1e50: 6f 6e 20 66 6f 72 20 22 2c 20 6c 61 79 29 29 3b on for ", lay));
1e60: 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c 75 65 20 63 ...}.....Value c
1e70: 72 65 61 74 65 4e 65 77 46 75 6e 63 74 69 6f 6e reateNewFunction
1e80: 28 46 75 6e 20 65 2c 20 54 61 62 6c 65 20 63 74 (Fun e, Table ct
1e90: 78 29 0d 0a 09 7b 0d 0a 09 09 63 6c 61 73 73 20 x)...{....class
1ea0: 55 73 65 72 44 65 66 69 6e 65 64 46 75 6e 56 61 UserDefinedFunVa
1eb0: 6c 75 65 20 3a 20 46 75 6e 56 61 6c 75 65 0d 0a lue : FunValue..
1ec0: 09 09 7b 0d 0a 09 09 09 46 75 6e 20 20 20 61 73 ..{.....Fun as
1ed0: 74 3b 0d 0a 09 09 09 54 61 62 6c 65 20 64 65 66 t;.....Table def
1ee0: 43 74 78 3b 0d 0a 09 09 09 6f 76 65 72 72 69 64 Ctx;.....overrid
1ef0: 65 20 63 6f 6e 73 74 28 50 61 72 61 6d 65 74 65 e const(Paramete
1f00: 72 5b 5d 29 20 70 61 72 61 6d 73 28 29 20 7b 20 r[]) params() {
1f10: 72 65 74 75 72 6e 20 61 73 74 2e 70 61 72 61 6d return ast.param
1f20: 73 3b 20 7d 0d 0a 09 09 09 6f 76 65 72 72 69 64 s; }.....overrid
1f30: 65 20 54 61 62 6c 65 20 64 65 66 69 6e 69 74 69 e Table definiti
1f40: 6f 6e 43 6f 6e 74 65 78 74 28 29 20 20 20 7b 20 onContext() {
1f50: 72 65 74 75 72 6e 20 64 65 66 43 74 78 3b 20 7d return defCtx; }
1f60: 0d 0a 0d 0a 09 09 09 74 68 69 73 28 46 75 6e 20 .......this(Fun
1f70: 61 73 74 2c 20 54 61 62 6c 65 20 64 65 66 43 74 ast, Table defCt
1f80: 78 29 20 7b 20 74 68 69 73 2e 61 73 74 3d 61 73 x) { this.ast=as
1f90: 74 3b 20 74 68 69 73 2e 64 65 66 43 74 78 3d 64 t; this.defCtx=d
1fa0: 65 66 43 74 78 3b 20 7d 0d 0a 09 09 09 6f 76 65 efCtx; }.....ove
1fb0: 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 6f 53 rride string toS
1fc0: 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 0d 0a 09 tring() const...
1fd0: 09 09 09 7b 20 72 65 74 75 72 6e 20 73 70 72 69 ...{ return spri
1fe0: 6e 74 66 21 22 28 66 75 6e 63 74 69 6f 6e 3a 25 ntf!"(function:%
1ff0: 78 3a 25 78 29 22 28 63 61 73 74 28 76 6f 69 64 x:%x)"(cast(void
2000: 2a 29 61 73 74 2c 20 63 61 73 74 28 76 6f 69 64 *)ast, cast(void
2010: 2a 29 64 65 66 43 74 78 29 3b 20 7d 0d 0a 09 09 *)defCtx); }....
2020: 09 6f 76 65 72 72 69 64 65 20 69 6e 74 20 6f 70 .override int op
2030: 43 6d 70 28 4f 62 6a 65 63 74 20 72 68 73 29 20 Cmp(Object rhs)
2040: 7b 0d 0a 09 09 09 09 69 66 28 61 75 74 6f 20 72 {......if(auto r
2050: 20 3d 20 63 61 73 74 28 55 73 65 72 44 65 66 69 = cast(UserDefi
2060: 6e 65 64 46 75 6e 56 61 6c 75 65 29 72 68 73 29 nedFunValue)rhs)
2070: 20 7b 0d 0a 09 09 09 09 09 69 66 28 61 75 74 6f {.......if(auto
2080: 20 63 20 3d 20 74 79 70 65 69 64 28 76 6f 69 64 c = typeid(void
2090: 2a 29 2e 63 6f 6d 70 61 72 65 28 63 61 73 74 28 *).compare(cast(
20a0: 76 6f 69 64 2a 29 61 73 74 2c 20 63 61 73 74 28 void*)ast, cast(
20b0: 76 6f 69 64 2a 29 72 2e 61 73 74 29 29 0d 0a 09 void*)r.ast))...
20c0: 09 09 09 09 09 72 65 74 75 72 6e 20 63 3b 0d 0a .....return c;..
20d0: 09 09 09 09 09 69 66 28 61 75 74 6f 20 63 20 3d .....if(auto c =
20e0: 20 74 79 70 65 69 64 28 76 6f 69 64 2a 29 2e 63 typeid(void*).c
20f0: 6f 6d 70 61 72 65 28 63 61 73 74 28 76 6f 69 64 ompare(cast(void
2100: 2a 29 64 65 66 43 74 78 2c 20 63 61 73 74 28 76 *)defCtx, cast(v
2110: 6f 69 64 2a 29 72 2e 64 65 66 43 74 78 29 29 0d oid*)r.defCtx)).
2120: 0a 09 09 09 09 09 09 72 65 74 75 72 6e 20 63 3b .......return c;
2130: 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 30 3b .......return 0;
2140: 2f 2f 20 5b 54 4f 44 4f 5d 20 61 76 6f 69 64 20 // [TODO] avoid
2150: 75 73 69 6e 67 20 70 6f 69 6e 74 65 72 20 76 61 using pointer va
2160: 6c 75 65 2e 2e 2e 0d 0a 09 09 09 09 7d 0d 0a 09 lue.........}...
2170: 09 09 09 69 66 28 61 75 74 6f 20 72 20 3d 20 63 ...if(auto r = c
2180: 61 73 74 28 56 61 6c 75 65 29 72 68 73 29 20 72 ast(Value)rhs) r
2190: 65 74 75 72 6e 20 74 79 70 65 69 64 28 74 68 69 eturn typeid(thi
21a0: 73 29 2e 6f 70 43 6d 70 28 74 79 70 65 69 64 28 s).opCmp(typeid(
21b0: 72 29 29 3b 0d 0a 09 09 09 09 74 68 72 6f 77 20 r));......throw
21c0: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
21d0: 65 70 74 69 6f 6e 28 22 63 6f 6d 70 61 72 69 73 eption("comparis
21e0: 6f 6e 20 77 69 74 68 20 76 61 6c 75 65 20 61 6e on with value an
21f0: 64 20 73 6f 6d 65 74 68 69 6e 67 20 6f 74 68 65 d something othe
2200: 72 22 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 6f r");.....}.....o
2210: 76 65 72 72 69 64 65 20 68 61 73 68 5f 74 20 74 verride hash_t t
2220: 6f 48 61 73 68 28 29 20 7b 0d 0a 09 09 09 09 72 oHash() {......r
2230: 65 74 75 72 6e 20 28 63 61 73 74 28 68 61 73 68 eturn (cast(hash
2240: 5f 74 29 63 61 73 74 28 76 6f 69 64 2a 29 61 73 _t)cast(void*)as
2250: 74 29 20 2b 20 28 63 61 73 74 28 68 61 73 68 5f t) + (cast(hash_
2260: 74 29 63 61 73 74 28 76 6f 69 64 2a 29 64 65 66 t)cast(void*)def
2270: 43 74 78 29 3b 0d 0a 09 09 09 7d 0d 0a 0d 0a 09 Ctx);.....}.....
2280: 09 09 41 53 54 20 6d 61 63 72 6f 43 61 63 68 65 ..AST macroCache
2290: 3b 0d 0a 09 09 09 73 74 61 74 69 63 20 63 6c 61 ;.....static cla
22a0: 73 73 20 4d 65 6d 6f 6b 65 79 54 79 70 65 0d 0a ss MemokeyType..
22b0: 09 09 09 7b 0d 0a 09 09 09 09 76 6f 69 64 2a 20 ...{......void*
22c0: 61 3b 20 4c 61 79 65 72 20 62 3b 20 54 75 70 6c a; Layer b; Tupl
22d0: 65 21 28 73 74 72 69 6e 67 2c 4c 61 79 65 72 2c e!(string,Layer,
22e0: 56 61 6c 75 65 29 5b 5d 20 63 3b 0d 0a 09 09 09 Value)[] c;.....
22f0: 09 68 61 73 68 5f 74 20 74 6f 48 61 73 68 28 29 .hash_t toHash()
2300: 20 7b 0d 0a 09 09 09 09 09 68 61 73 68 5f 74 20 {.......hash_t
2310: 68 20 3d 20 73 74 72 75 63 74 75 72 61 6c 48 61 h = structuralHa
2320: 73 68 28 61 29 20 2b 20 73 74 72 75 63 74 75 72 sh(a) + structur
2330: 61 6c 48 61 73 68 28 62 29 3b 0d 0a 09 09 09 09 alHash(b);......
2340: 09 66 6f 72 65 61 63 68 28 65 3b 20 63 29 0d 0a .foreach(e; c)..
2350: 09 09 09 09 09 09 68 20 2b 3d 20 73 74 72 75 63 ......h += struc
2360: 74 75 72 61 6c 48 61 73 68 28 65 5b 30 5d 29 2b turalHash(e[0])+
2370: 73 74 72 75 63 74 75 72 61 6c 48 61 73 68 28 65 structuralHash(e
2380: 5b 31 5d 29 2b 73 74 72 75 63 74 75 72 61 6c 48 [1])+structuralH
2390: 61 73 68 28 65 5b 32 5d 29 3b 0d 0a 09 09 09 09 ash(e[2]);......
23a0: 09 72 65 74 75 72 6e 20 68 3b 0d 0a 09 09 09 09 .return h;......
23b0: 7d 0d 0a 09 09 09 09 6d 69 78 69 6e 20 53 69 6d }......mixin Sim
23c0: 70 6c 65 54 6f 53 74 72 69 6e 67 3b 0d 0a 09 09 pleToString;....
23d0: 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f ..mixin SimpleCo
23e0: 6e 73 74 72 75 63 74 6f 72 3b 0d 0a 09 09 09 09 nstructor;......
23f0: 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6d 70 mixin SimpleComp
2400: 61 72 65 57 69 74 68 6f 75 74 54 6f 48 61 73 68 areWithoutToHash
2410: 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 73 74 61 74 ;.....}.....stat
2420: 69 63 20 54 75 70 6c 65 21 28 56 61 6c 75 65 2c ic Tuple!(Value,
2430: 69 6e 74 29 5b 4d 65 6d 6f 6b 65 79 54 79 70 65 int)[MemokeyType
2440: 5d 20 6d 65 6d 6f 3b 0d 0a 0d 0a 09 09 09 6f 76 ] memo;.......ov
2450: 65 72 72 69 64 65 20 56 61 6c 75 65 20 69 6e 76 erride Value inv
2460: 6f 6b 65 28 4c 61 79 65 72 20 6c 61 79 2c 20 54 oke(Layer lay, T
2470: 61 62 6c 65 20 63 74 78 2c 20 4c 65 78 50 6f 73 able ctx, LexPos
2480: 69 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 09 09 7b ition pos).....{
2490: 0d 0a 09 09 09 09 69 66 28 20 69 73 41 53 54 4c ......if( isASTL
24a0: 61 79 65 72 28 6c 61 79 29 20 29 0d 0a 09 09 09 ayer(lay) ).....
24b0: 09 09 72 65 74 75 72 6e 20 65 76 61 6c 28 61 73 ..return eval(as
24c0: 74 2e 66 75 6e 62 6f 64 79 2c 20 6c 61 79 2c 20 t.funbody, lay,
24d0: 63 74 78 29 3b 0d 0a 0d 0a 09 09 09 09 61 75 74 ctx);........aut
24e0: 6f 20 6e 6f 6e 4d 65 6d 6f 69 7a 65 64 52 75 6e o nonMemoizedRun
24f0: 20 3d 20 28 29 7b 0d 0a 09 09 09 09 09 69 66 28 = (){.......if(
2500: 20 6d 61 63 72 6f 43 61 63 68 65 20 69 73 20 6e macroCache is n
2510: 75 6c 6c 20 29 0d 0a 09 09 09 09 09 7b 0d 0a 09 ull ).......{...
2520: 09 09 09 09 09 61 75 74 6f 20 76 61 20 3d 20 6d .....auto va = m
2530: 61 63 72 6f 41 6e 64 45 76 61 6c 28 65 2e 66 75 acroAndEval(e.fu
2540: 6e 62 6f 64 79 2c 20 6c 61 79 2c 20 63 74 78 29 nbody, lay, ctx)
2550: 3b 0d 0a 09 09 09 09 09 09 6d 61 63 72 6f 43 61 ;........macroCa
2560: 63 68 65 20 3d 20 76 61 5b 31 5d 3b 0d 0a 09 09 che = va[1];....
2570: 09 09 09 09 72 65 74 75 72 6e 20 76 61 5b 30 5d ....return va[0]
2580: 3b 0d 0a 09 09 09 09 09 7d 0d 0a 09 09 09 09 09 ;.......}.......
2590: 65 6c 73 65 0d 0a 09 09 09 09 09 09 72 65 74 75 else........retu
25a0: 72 6e 20 65 76 61 6c 28 6d 61 63 72 6f 43 61 63 rn eval(macroCac
25b0: 68 65 2c 20 6c 61 79 2c 20 63 74 78 29 3b 0d 0a he, lay, ctx);..
25c0: 09 09 09 09 7d 3b 0d 0a 0d 0a 09 09 09 09 69 66 ....};........if
25d0: 28 20 21 69 73 55 73 65 72 44 65 66 69 6e 65 64 ( !isUserDefined
25e0: 4c 61 79 65 72 28 6c 61 79 29 20 29 0d 0a 09 09 Layer(lay) )....
25f0: 09 09 09 72 65 74 75 72 6e 20 6e 6f 6e 4d 65 6d ...return nonMem
2600: 6f 69 7a 65 64 52 75 6e 28 29 3b 0d 0a 0d 0a 09 oizedRun();.....
2610: 09 09 09 4d 65 6d 6f 6b 65 79 54 79 70 65 20 6d ...MemokeyType m
2620: 65 6d 6f 6b 65 79 20 3d 20 6e 65 77 20 4d 65 6d emokey = new Mem
2630: 6f 6b 65 79 54 79 70 65 28 63 61 73 74 28 76 6f okeyType(cast(vo
2640: 69 64 2a 29 61 73 74 2c 20 6c 61 79 2c 20 63 74 id*)ast, lay, ct
2650: 78 2e 64 69 72 65 63 74 5f 65 6e 74 72 69 65 73 x.direct_entries
2660: 28 29 29 3b 0d 0a 0d 0a 09 09 09 09 69 66 28 61 ());........if(a
2670: 75 74 6f 20 70 20 3d 20 6d 65 6d 6f 6b 65 79 20 uto p = memokey
2680: 69 6e 20 6d 65 6d 6f 29 0d 0a 09 09 09 09 7b 0d in memo)......{.
2690: 0a 09 09 09 09 09 28 2a 70 29 5b 31 5d 20 2b 2b ......(*p)[1] ++
26a0: 3b 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 28 ;.......return (
26b0: 2a 70 29 5b 30 5d 3b 0d 0a 09 09 09 09 7d 0d 0a *p)[0];......}..
26c0: 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 6d ....else.......m
26d0: 65 6d 6f 5b 6d 65 6d 6f 6b 65 79 5d 20 3d 20 74 emo[memokey] = t
26e0: 75 70 6c 65 28 6c 69 66 74 28 6e 65 77 20 55 6e uple(lift(new Un
26f0: 64 65 66 69 6e 65 64 56 61 6c 75 65 2c 20 6c 61 definedValue, la
2700: 79 2c 20 63 74 78 2c 20 70 6f 73 29 2c 20 30 29 y, ctx, pos), 0)
2710: 3b 0d 0a 0d 0a 09 09 09 09 56 61 6c 75 65 20 72 ;........Value r
2720: 20 3d 20 6e 6f 6e 4d 65 6d 6f 69 7a 65 64 52 75 = nonMemoizedRu
2730: 6e 28 29 3b 0d 0a 0d 0a 09 09 09 09 69 6e 74 20 n();........int
2740: 74 6f 75 63 68 65 64 20 3d 20 6d 65 6d 6f 5b 6d touched = memo[m
2750: 65 6d 6f 6b 65 79 5d 5b 31 5d 3b 0d 0a 09 09 09 emokey][1];.....
2760: 09 6d 65 6d 6f 5b 6d 65 6d 6f 6b 65 79 5d 20 3d .memo[memokey] =
2770: 20 74 75 70 6c 65 28 72 2c 20 31 32 33 34 35 36 tuple(r, 123456
2780: 37 38 29 3b 0d 0a 09 09 09 09 2f 2f 69 66 28 74 78);......//if(t
2790: 6f 75 63 68 65 64 29 20 7b 44 42 47 28 22 72 65 ouched) {DBG("re
27a0: 72 75 6e 20 3a 3a 20 22 2c 72 29 3b 72 20 3d 20 run :: ",r);r =
27b0: 6e 6f 6e 4d 65 6d 6f 69 7a 65 64 52 75 6e 28 29 nonMemoizedRun()
27c0: 3b 7d 20 2f 2f 20 74 77 69 63 65 21 21 0d 0a 09 ;} // twice!!...
27d0: 09 09 09 72 65 74 75 72 6e 20 72 3b 0d 0a 09 09 ...return r;....
27e0: 09 7d 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 .}....}....retur
27f0: 6e 20 6e 65 77 20 55 73 65 72 44 65 66 69 6e 65 n new UserDefine
2800: 64 46 75 6e 56 61 6c 75 65 28 65 2c 63 74 78 29 dFunValue(e,ctx)
2810: 3b 0d 0a 09 7d 0d 0a 0d 0a 70 75 62 6c 69 63 3a ;...}....public:
2820: 0d 0a 09 2f 2f 2f 20 41 64 64 20 70 72 69 6d 69 .../// Add primi
2830: 74 69 76 65 20 66 75 6e 63 74 69 6f 6e 20 74 6f tive function to
2840: 20 74 68 65 20 67 6c 6f 62 61 6c 20 63 6f 6e 74 the global cont
2850: 65 78 74 0d 0a 09 76 6f 69 64 20 61 64 64 50 72 ext...void addPr
2860: 69 6d 69 74 69 76 65 28 52 2c 54 2e 2e 2e 29 28 imitive(R,T...)(
2870: 73 74 72 69 6e 67 20 6e 61 6d 65 2c 20 4c 61 79 string name, Lay
2880: 65 72 20 64 65 66 4c 61 79 2c 20 52 20 64 65 6c er defLay, R del
2890: 65 67 61 74 65 20 28 54 29 20 64 67 29 0d 0a 09 egate (T) dg)...
28a0: 7b 0d 0a 09 09 63 6c 61 73 73 20 4e 61 74 69 76 {....class Nativ
28b0: 65 46 75 6e 56 61 6c 75 65 20 3a 20 46 75 6e 56 eFunValue : FunV
28c0: 61 6c 75 65 0d 0a 09 09 7b 0d 0a 09 09 09 6f 76 alue....{.....ov
28d0: 65 72 72 69 64 65 20 63 6f 6e 73 74 28 50 61 72 erride const(Par
28e0: 61 6d 65 74 65 72 5b 5d 29 20 70 61 72 61 6d 73 ameter[]) params
28f0: 28 29 20 7b 20 72 65 74 75 72 6e 20 70 61 72 61 () { return para
2900: 6d 73 5f 64 61 74 61 3b 20 7d 0d 0a 09 09 09 6f ms_data; }.....o
2910: 76 65 72 72 69 64 65 20 54 61 62 6c 65 20 64 65 verride Table de
2920: 66 69 6e 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 finitionContext(
2930: 29 20 20 20 7b 20 72 65 74 75 72 6e 20 74 68 65 ) { return the
2940: 43 6f 6e 74 65 78 74 3b 20 7d 0d 0a 0d 0a 09 09 Context; }......
2950: 09 6f 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 .override string
2960: 20 74 6f 53 74 72 69 6e 67 28 29 20 7b 20 72 65 toString() { re
2970: 74 75 72 6e 20 73 70 72 69 6e 74 66 21 22 28 6e turn sprintf!"(n
2980: 61 74 69 76 65 3a 25 78 29 22 28 64 67 2e 66 75 ative:%x)"(dg.fu
2990: 6e 63 70 74 72 29 3b 20 7d 0d 0a 09 09 09 6f 76 ncptr); }.....ov
29a0: 65 72 72 69 64 65 20 69 6e 74 20 6f 70 43 6d 70 erride int opCmp
29b0: 28 4f 62 6a 65 63 74 20 72 68 73 29 20 7b 0d 0a (Object rhs) {..
29c0: 09 09 09 09 69 66 28 61 75 74 6f 20 72 20 3d 20 ....if(auto r =
29d0: 63 61 73 74 28 4e 61 74 69 76 65 46 75 6e 56 61 cast(NativeFunVa
29e0: 6c 75 65 29 72 68 73 29 20 72 65 74 75 72 6e 20 lue)rhs) return
29f0: 74 79 70 65 69 64 28 74 79 70 65 6f 66 28 64 67 typeid(typeof(dg
2a00: 29 29 2e 63 6f 6d 70 61 72 65 28 26 64 67 2c 26 )).compare(&dg,&
2a10: 72 2e 64 67 29 3b 0d 0a 09 09 09 09 69 66 28 61 r.dg);......if(a
2a20: 75 74 6f 20 72 20 3d 20 63 61 73 74 28 56 61 6c uto r = cast(Val
2a30: 75 65 29 72 68 73 29 20 20 20 20 20 20 20 20 20 ue)rhs)
2a40: 20 72 65 74 75 72 6e 20 74 79 70 65 69 64 28 74 return typeid(t
2a50: 68 69 73 29 2e 6f 70 43 6d 70 28 74 79 70 65 69 his).opCmp(typei
2a60: 64 28 72 29 29 3b 0d 0a 09 09 09 09 74 68 72 6f d(r));......thro
2a70: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 w genex!RuntimeE
2a80: 78 63 65 70 74 69 6f 6e 28 22 63 6f 6d 70 61 72 xception("compar
2a90: 69 73 6f 6e 20 77 69 74 68 20 76 61 6c 75 65 20 ison with value
2aa0: 61 6e 64 20 73 6f 6d 65 74 68 69 6e 67 20 6f 74 and something ot
2ab0: 68 65 72 22 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 her");.....}....
2ac0: 09 6f 76 65 72 72 69 64 65 20 68 61 73 68 5f 74 .override hash_t
2ad0: 20 74 6f 48 61 73 68 28 29 20 63 6f 6e 73 74 20 toHash() const
2ae0: 7b 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 74 79 {......return ty
2af0: 70 65 69 64 28 64 67 29 2e 67 65 74 48 61 73 68 peid(dg).getHash
2b00: 28 26 64 67 29 3b 0d 0a 09 09 09 7d 0d 0a 0d 0a (&dg);.....}....
2b10: 09 09 09 52 20 64 65 6c 65 67 61 74 65 28 54 29 ...R delegate(T)
2b20: 20 64 67 3b 0d 0a 09 09 09 50 61 72 61 6d 65 74 dg;.....Paramet
2b30: 65 72 5b 5d 20 70 61 72 61 6d 73 5f 64 61 74 61 er[] params_data
2b40: 3b 0d 0a 0d 0a 09 09 09 74 68 69 73 28 52 20 64 ;.......this(R d
2b50: 65 6c 65 67 61 74 65 28 54 29 20 64 67 29 0d 0a elegate(T) dg)..
2b60: 09 09 09 7b 0d 0a 09 09 09 09 74 68 69 73 2e 64 ...{......this.d
2b70: 67 20 3d 20 64 67 3b 0d 0a 09 09 09 09 66 6f 72 g = dg;......for
2b80: 65 61 63 68 28 69 2c 20 54 69 3b 20 54 29 0d 0a each(i, Ti; T)..
2b90: 09 09 09 09 09 70 61 72 61 6d 73 5f 64 61 74 61 .....params_data
2ba0: 20 7e 3d 20 6e 65 77 20 50 61 72 61 6d 65 74 65 ~= new Paramete
2bb0: 72 28 74 65 78 74 28 69 29 2c 20 5b 5d 29 3b 0d r(text(i), []);.
2bc0: 0a 09 09 09 7d 0d 0a 0d 0a 09 09 09 6f 76 65 72 ....}.......over
2bd0: 72 69 64 65 20 56 61 6c 75 65 20 69 6e 76 6f 6b ride Value invok
2be0: 65 28 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 e(Layer lay, Tab
2bf0: 6c 65 20 63 74 78 2c 20 4c 65 78 50 6f 73 69 74 le ctx, LexPosit
2c00: 69 6f 6e 20 70 6f 73 29 0d 0a 09 09 09 7b 0d 0a ion pos).....{..
2c10: 09 09 09 09 69 66 28 20 6c 61 79 20 21 3d 20 64 ....if( lay != d
2c20: 65 66 4c 61 79 20 29 0d 0a 09 09 09 09 09 74 68 efLay ).......th
2c30: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
2c40: 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 0d eException(pos,.
2c50: 0a 09 09 09 09 09 09 74 65 78 74 28 22 6f 6e 6c .......text("onl
2c60: 79 20 22 2c 20 64 65 66 4c 61 79 2c 20 22 20 6c y ", defLay, " l
2c70: 61 79 65 72 20 63 61 6e 20 63 61 6c 6c 20 6e 61 ayer can call na
2c80: 74 69 76 65 20 66 75 6e 63 74 69 6f 6e 3a 20 22 tive function: "
2c90: 2c 20 6e 61 6d 65 29 29 3b 0d 0a 09 09 09 09 54 , name));......T
2ca0: 20 74 79 70 65 64 5f 61 72 67 73 3b 0d 0a 09 09 typed_args;....
2cb0: 09 09 66 6f 72 65 61 63 68 28 69 2c 20 54 69 3b ..foreach(i, Ti;
2cc0: 20 54 29 20 7b 0d 0a 09 09 09 09 09 74 79 70 65 T) {.......type
2cd0: 64 5f 61 72 67 73 5b 69 5d 20 3d 20 63 61 73 74 d_args[i] = cast
2ce0: 28 54 69 29 20 63 74 78 2e 67 65 74 28 74 65 78 (Ti) ctx.get(tex
2cf0: 74 28 69 29 2c 20 56 61 6c 75 65 4c 61 79 65 72 t(i), ValueLayer
2d00: 2c 20 70 6f 73 29 3b 0d 0a 09 09 09 09 09 69 66 , pos);.......if
2d10: 28 20 74 79 70 65 64 5f 61 72 67 73 5b 69 5d 20 ( typed_args[i]
2d20: 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 09 09 is null ).......
2d30: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e .throw genex!Run
2d40: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f timeException(po
2d50: 73 2c 0d 0a 09 09 09 09 09 09 09 73 70 72 69 6e s,.........sprin
2d60: 74 66 21 22 74 79 70 65 20 6d 69 73 6d 61 74 63 tf!"type mismatc
2d70: 68 20 6f 6e 20 74 68 65 20 61 72 67 75 6d 65 6e h on the argumen
2d80: 74 20 25 64 20 6f 66 20 6e 61 74 69 76 65 20 66 t %d of native f
2d90: 75 6e 63 74 69 6f 6e 3a 20 25 73 22 28 69 2b 31 unction: %s"(i+1
2da0: 2c 6e 61 6d 65 29 29 3b 0d 0a 09 09 09 09 7d 0d ,name));......}.
2db0: 0a 09 09 09 09 74 72 79 20 7b 0d 0a 09 09 09 09 .....try {......
2dc0: 09 72 65 74 75 72 6e 20 64 67 28 74 79 70 65 64 .return dg(typed
2dd0: 5f 61 72 67 73 29 3b 0d 0a 09 09 09 09 7d 20 63 _args);......} c
2de0: 61 74 63 68 28 20 52 75 6e 74 69 6d 65 45 78 63 atch( RuntimeExc
2df0: 65 70 74 69 6f 6e 20 65 20 29 20 7b 0d 0a 09 09 eption e ) {....
2e00: 09 09 09 74 68 72 6f 77 20 65 2e 70 6f 73 20 69 ...throw e.pos i
2e10: 73 20 6e 75 6c 6c 20 3f 20 6e 65 77 20 52 75 6e s null ? new Run
2e20: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f timeException(po
2e30: 73 2c 20 65 2e 6d 73 67 2c 20 65 2e 66 69 6c 65 s, e.msg, e.file
2e40: 2c 20 65 2e 6c 69 6e 65 29 20 3a 20 65 3b 0d 0a , e.line) : e;..
2e50: 09 09 09 09 7d 0d 0a 09 09 09 7d 0d 0a 09 09 7d ....}.....}....}
2e60: 0d 0a 09 09 74 68 65 43 6f 6e 74 65 78 74 2e 73 ....theContext.s
2e70: 65 74 28 6e 61 6d 65 2c 20 64 65 66 4c 61 79 2c et(name, defLay,
2e80: 20 6e 65 77 20 4e 61 74 69 76 65 46 75 6e 56 61 new NativeFunVa
2e90: 6c 75 65 28 64 67 29 29 3b 0d 0a 09 7d 0d 0a 7d lue(dg));...}..}
2ea0: 0d 0a 0d 0a 76 65 72 73 69 6f 6e 28 75 6e 69 74 ....version(unit
2eb0: 74 65 73 74 29 20 69 6d 70 6f 72 74 20 70 6f 6c test) import pol
2ec0: 65 6d 79 2e 72 75 6e 74 69 6d 65 3b 0d 0a 75 6e emy.runtime;..un
2ed0: 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f ittest..{...auto
2ee0: 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75 61 74 e = new Evaluat
2ef0: 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74 or;...enrollRunt
2f00: 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b 0d 0a imeLibrary(e);..
2f10: 09 61 75 74 6f 20 72 20 3d 20 61 73 73 65 72 74 .auto r = assert
2f20: 5f 6e 6f 74 68 72 6f 77 28 20 65 2e 65 76 61 6c _nothrow( e.eval
2f30: 53 74 72 69 6e 67 28 60 76 61 72 20 78 20 3d 20 String(`var x =
2f40: 32 31 3b 20 78 20 2b 20 78 2a 78 3b 60 29 20 29 21; x + x*x;`) )
2f50: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 72 ;...assert_eq( r
2f60: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
2f70: 69 67 49 6e 74 28 32 31 2b 32 31 2a 32 31 29 29 igInt(21+21*21))
2f80: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
2f90: 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 e.globalContext
2fa0: 2e 67 65 74 28 22 78 22 2c 56 61 6c 75 65 4c 61 .get("x",ValueLa
2fb0: 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c yer), new IntVal
2fc0: 75 65 28 42 69 67 49 6e 74 28 32 31 29 29 20 29 ue(BigInt(21)) )
2fd0: 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 ;...assert_nothr
2fe0: 6f 77 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74 ow( e.globalCont
2ff0: 65 78 74 2e 67 65 74 28 22 78 22 2c 56 61 6c 75 ext.get("x",Valu
3000: 65 4c 61 79 65 72 29 20 29 3b 0d 0a 09 61 73 73 eLayer) );...ass
3010: 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d ert_throw!Runtim
3020: 65 45 78 63 65 70 74 69 6f 6e 28 20 65 2e 67 6c eException( e.gl
3030: 6f 62 61 6c 43 6f 6e 74 65 78 74 2e 67 65 74 28 obalContext.get(
3040: 22 79 22 2c 56 61 6c 75 65 4c 61 79 65 72 29 20 "y",ValueLayer)
3050: 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0d );..}..unittest.
3060: 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e 65 .{...auto e = ne
3070: 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 w Evaluator;...e
3080: 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 nrollRuntimeLibr
3090: 61 72 79 28 65 29 3b 0d 0a 09 61 75 74 6f 20 72 ary(e);...auto r
30a0: 20 3d 20 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f = assert_nothro
30b0: 77 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 w( e.evalString(
30c0: 60 76 61 72 20 78 20 3d 20 32 31 3b 20 76 61 72 `var x = 21; var
30d0: 20 78 20 3d 20 78 20 2b 20 78 2a 78 3b 60 29 20 x = x + x*x;`)
30e0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
30f0: 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 r, new IntValue(
3100: 42 69 67 49 6e 74 28 32 31 2b 32 31 2a 32 31 29 BigInt(21+21*21)
3110: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
3120: 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74 65 78 ( e.globalContex
3130: 74 2e 67 65 74 28 22 78 22 2c 56 61 6c 75 65 4c t.get("x",ValueL
3140: 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 ayer), new IntVa
3150: 6c 75 65 28 32 31 2b 32 31 2a 32 31 29 20 29 3b lue(21+21*21) );
3160: 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f ...assert_nothro
3170: 77 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74 65 w( e.globalConte
3180: 78 74 2e 67 65 74 28 22 78 22 2c 56 61 6c 75 65 xt.get("x",Value
3190: 4c 61 79 65 72 29 20 29 3b 0d 0a 09 61 73 73 65 Layer) );...asse
31a0: 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 rt_throw!Runtime
31b0: 45 78 63 65 70 74 69 6f 6e 28 20 65 2e 67 6c 6f Exception( e.glo
31c0: 62 61 6c 43 6f 6e 74 65 78 74 2e 67 65 74 28 22 balContext.get("
31d0: 79 22 2c 56 61 6c 75 65 4c 61 79 65 72 29 20 29 y",ValueLayer) )
31e0: 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0d 0a ;..}..unittest..
31f0: 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e 65 77 {...auto e = new
3200: 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e Evaluator;...en
3210: 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 61 rollRuntimeLibra
3220: 72 79 28 65 29 3b 0d 0a 09 61 73 73 65 72 74 5f ry(e);...assert_
3230: 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 eq( e.evalString
3240: 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 79 (`let x=1; let y
3250: 3d 28 6c 65 74 20 78 3d 32 29 3b 20 78 60 29 2c =(let x=2); x`),
3260: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 31 29 new IntValue(1)
3270: 20 29 3b 20 0d 0a 09 61 73 73 65 72 74 5f 65 71 ); ...assert_eq
3280: 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 ( e.evalString(`
3290: 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 79 3d 28 let x=1; let y=(
32a0: 6c 65 74 20 78 3d 32 3b 66 75 6e 28 29 7b 78 7d let x=2;fun(){x}
32b0: 29 3b 20 79 28 29 60 29 2c 20 6e 65 77 20 49 6e ); y()`), new In
32c0: 74 56 61 6c 75 65 28 32 29 20 29 3b 20 0d 0a 7d tValue(2) ); ..}
32d0: 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d ....unittest..{.
32e0: 0a 09 61 75 74 6f 20 65 20 3d 20 6e 65 77 20 45 ..auto e = new E
32f0: 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f valuator;...enro
3300: 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 61 72 79 llRuntimeLibrary
3310: 28 65 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 (e);...assert_eq
3320: 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 ( e.evalString(`
3330: 40 61 20 78 3d 31 3b 20 40 62 20 78 3d 32 3b 20 @a x=1; @b x=2;
3340: 40 61 28 78 29 60 29 2c 20 6e 65 77 20 49 6e 74 @a(x)`), new Int
3350: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 Value(BigInt(1))
3360: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
3370: 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 40 e.evalString(`@
3380: 61 20 78 3d 31 3b 20 40 62 20 78 3d 32 3b 20 40 a x=1; @b x=2; @
3390: 62 28 78 29 60 29 2c 20 6e 65 77 20 49 6e 74 56 b(x)`), new IntV
33a0: 61 6c 75 65 28 42 69 67 49 6e 74 28 32 29 29 20 alue(BigInt(2))
33b0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
33c0: 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 6c 65 e.evalString(`le
33d0: 74 20 78 3d 31 3b 20 6c 65 74 20 5f 20 3d 20 28 t x=1; let _ = (
33e0: 40 61 20 78 3d 32 3b 32 29 3b 20 78 60 29 2c 20 @a x=2;2); x`),
33f0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
3400: 49 6e 74 28 31 29 29 20 29 3b 0d 0a 09 65 20 3d Int(1)) );...e =
3410: 20 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d new Evaluator;.
3420: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 54 ..assert_throw!T
3430: 68 72 6f 77 61 62 6c 65 28 20 65 2e 65 76 61 6c hrowable( e.eval
3440: 53 74 72 69 6e 67 28 60 6c 65 74 20 78 3d 31 3b String(`let x=1;
3450: 20 6c 65 74 20 5f 20 3d 20 28 40 61 20 78 3d 32 let _ = (@a x=2
3460: 3b 32 29 3b 20 40 61 28 78 29 60 29 20 29 3b 0d ;2); @a(x)`) );.
3470: 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a .}....unittest..
3480: 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e 65 77 {...auto e = new
3490: 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e Evaluator;...en
34a0: 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 61 rollRuntimeLibra
34b0: 72 79 28 65 29 3b 0d 0a 09 61 73 73 65 72 74 5f ry(e);...assert_
34c0: 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 eq( e.evalString
34d0: 28 60 0d 0a 09 09 40 40 73 28 78 29 7b 78 7d 3b (`....@@s(x){x};
34e0: 0d 0a 09 09 40 73 20 22 2b 22 20 3d 20 66 75 6e ....@s "+" = fun
34f0: 28 78 2c 20 79 29 20 7b 40 76 61 6c 75 65 28 0d (x, y) {@value(.
3500: 0a 09 09 09 40 73 28 78 29 20 2d 20 40 73 28 79 ....@s(x) - @s(y
3510: 29 0d 0a 09 09 29 7d 3b 0d 0a 09 09 40 73 28 31 )....)};....@s(1
3520: 20 2b 20 32 29 0d 0a 09 60 29 2c 20 6e 65 77 20 + 2)...`), new
3530: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
3540: 2d 31 29 29 20 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e -1)) );..}....un
3550: 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f ittest..{...auto
3560: 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75 61 74 e = new Evaluat
3570: 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74 or;...enrollRunt
3580: 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b 0d 0a imeLibrary(e);..
3590: 09 61 73 73 65 72 74 5f 65 71 28 20 65 2e 65 76 .assert_eq( e.ev
35a0: 61 6c 53 74 72 69 6e 67 28 60 0d 0a 40 40 33 28 alString(`..@@3(
35b0: 78 29 7b 78 7d 3b 0d 0a 64 65 66 20 69 6e 63 72 x){x};..def incr
35c0: 28 78 29 20 7b 20 78 2b 31 20 7d 3b 0d 0a 40 20 (x) { x+1 };..@
35d0: 33 20 69 6e 63 72 28 78 29 20 7b 40 76 61 6c 75 3 incr(x) {@valu
35e0: 65 28 20 69 66 20 40 20 33 28 78 29 2b 31 3c 20 e( if @ 3(x)+1<
35f0: 33 20 74 68 65 6e 20 40 33 28 78 29 2b 31 20 65 3 then @3(x)+1 e
3600: 6c 73 65 20 30 20 29 7d 3b 0d 0a 64 65 66 20 66 lse 0 )};..def f
3610: 62 28 6e 20 40 76 61 6c 75 65 20 40 33 29 20 7b b(n @value @3) {
3620: 20 40 33 28 6e 29 20 7d 3b 0d 0a 66 62 28 69 6e @3(n) };..fb(in
3630: 63 72 28 69 6e 63 72 28 69 6e 63 72 28 30 29 29 cr(incr(incr(0))
3640: 29 29 0d 0a 09 60 29 2c 20 6e 65 77 20 49 6e 74 ))...`), new Int
3650: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 Value(BigInt(0))
3660: 20 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 );..}....unitte
3670: 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d st..{...auto e =
3680: 20 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d new Evaluator;.
3690: 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c ..enrollRuntimeL
36a0: 69 62 72 61 72 79 28 65 29 3b 0d 0a 09 61 73 73 ibrary(e);...ass
36b0: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 2e 65 ert_nothrow( e.e
36c0: 76 61 6c 53 74 72 69 6e 67 28 60 0d 0a 40 6d 61 valString(`..@ma
36d0: 63 72 6f 20 74 77 69 63 65 28 78 29 20 7b 20 78 cro twice(x) { x
36e0: 3b 20 78 20 7d 3b 0d 0a 64 65 66 20 6d 61 69 6e ; x };..def main
36f0: 28 29 20 7b 20 74 77 69 63 65 28 31 29 20 7d 3b () { twice(1) };
3700: 0d 0a 6d 61 69 6e 28 29 0d 0a 09 60 29 20 29 3b ..main()...`) );
3710: 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b ..}..unittest..{
3720: 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e 65 77 20 ...auto e = new
3730: 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e 72 Evaluator;...enr
3740: 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 61 72 ollRuntimeLibrar
3750: 79 28 65 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e y(e);...assert_n
3760: 6f 74 68 72 6f 77 28 20 65 2e 65 76 61 6c 53 74 othrow( e.evalSt
3770: 72 69 6e 67 28 60 63 61 73 65 20 31 60 29 20 29 ring(`case 1`) )
3780: 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 ;...assert_nothr
3790: 6f 77 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 ow( e.evalString
37a0: 28 60 63 61 73 65 20 31 20 77 68 65 6e 20 31 3a (`case 1 when 1:
37b0: 20 32 60 29 20 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2a 2`) );..}..../*
37c0: 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 ..unittest..{...
37d0: 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 6c 53 assert_eq( evalS
37e0: 74 72 69 6e 67 28 60 76 61 72 20 66 61 63 20 3d tring(`var fac =
37f0: 20 66 75 6e 28 78 29 7b 0d 0a 09 09 69 66 28 78 fun(x){....if(x
3800: 29 0d 0a 09 09 09 7b 20 78 2a 66 61 63 28 78 2d ).....{ x*fac(x-
3810: 31 29 3b 20 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 1); }....else...
3820: 09 09 7b 20 31 3b 20 7d 3b 0d 0a 09 7d 3b 0d 0a ..{ 1; };...};..
3830: 09 66 61 63 28 31 30 29 3b 60 29 2e 76 61 6c 2c .fac(10);`).val,
3840: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
3850: 67 49 6e 74 28 31 30 2a 39 2a 38 2a 35 30 34 30 gInt(10*9*8*5040
3860: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
3870: 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 76 61 ( evalString(`va
3880: 72 20 66 69 62 20 3d 20 66 75 6e 28 78 29 7b 0d r fib = fun(x){.
3890: 0a 09 09 69 66 28 78 3c 32 29 0d 0a 09 09 09 7b ...if(x<2).....{
38a0: 20 31 3b 20 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 1; }....else...
38b0: 09 09 7b 20 66 69 62 28 78 2d 31 29 20 2b 20 66 ..{ fib(x-1) + f
38c0: 69 62 28 78 2d 32 29 3b 20 7d 3b 0d 0a 09 7d 3b ib(x-2); };...};
38d0: 0d 0a 09 66 69 62 28 35 29 3b 60 29 2e 76 61 6c ...fib(5);`).val
38e0: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
38f0: 69 67 49 6e 74 28 38 29 29 29 3b 0d 0a 7d 0d 0a igInt(8)));..}..
3900: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 unittest..{...as
3910: 73 65 72 74 5f 65 71 28 20 65 76 61 6c 53 74 72 sert_eq( evalStr
3920: 69 6e 67 28 60 40 40 74 20 3d 20 66 75 6e 28 78 ing(`@@t = fun(x
3930: 29 7b 78 2b 31 7d 3b 20 40 74 28 31 32 33 29 60 ){x+1}; @t(123)`
3940: 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 ).val, new IntVa
3950: 6c 75 65 28 42 69 67 49 6e 74 28 31 32 34 29 29 lue(BigInt(124))
3960: 20 29 3b 0d 0a 09 2f 2f 20 74 68 65 72 65 20 77 );...// there w
3970: 61 73 20 61 20 62 75 67 20 74 68 61 74 20 64 65 as a bug that de
3980: 63 6c 61 72 61 74 69 6f 6e 20 69 6e 20 74 68 65 claration in the
3990: 20 66 69 72 73 74 20 6c 69 6e 65 20 6f 66 20 66 first line of f
39a0: 75 6e 63 74 69 6f 6e 20 64 65 66 69 6e 69 74 69 unction definiti
39b0: 6f 6e 0d 0a 09 2f 2f 20 63 61 6e 6e 6f 74 20 62 on...// cannot b
39c0: 65 20 72 65 63 75 72 73 69 76 65 0d 0a 09 61 73 e recursive...as
39d0: 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 76 sert_nothrow( ev
39e0: 61 6c 53 74 72 69 6e 67 28 60 64 65 66 20 66 6f alString(`def fo
39f0: 6f 28 29 20 7b 0d 0a 20 20 64 65 66 20 62 61 72 o() {.. def bar
3a00: 28 79 29 20 7b 20 69 66 28 79 3c 31 29 20 7b 30 (y) { if(y<1) {0
3a10: 7d 20 65 6c 73 65 20 7b 62 61 72 28 30 29 7d 20 } else {bar(0)}
3a20: 7d 3b 0d 0a 20 20 62 61 72 28 31 29 0d 0a 7d 3b };.. bar(1)..};
3a30: 20 66 6f 6f 28 29 60 29 20 29 3b 0d 0a 7d 0d 0a foo()`) );..}..
3a40: 2a 2f 0d 0a */..