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: 2e 6e 61 6d 65 21 3d 22 5f 22 20 26 26 20 65 65 .name!="_" && ee
1110: 20 69 73 20 65 2e 65 78 70 72 29 0d 0a 09 09 09 is e.expr).....
1120: 09 09 6e 65 77 43 74 78 2e 73 65 74 28 65 2e 6e ..newCtx.set(e.n
1130: 61 6d 65 2c 20 4e 6f 6f 70 4c 61 79 65 72 2c 20 ame, NoopLayer,
1140: 6e 75 6c 6c 29 3b 0d 0a 09 09 09 09 72 65 74 75 null);......retu
1150: 72 6e 20 65 76 61 6c 28 65 65 2c 6c 61 79 2c 6e rn eval(ee,lay,n
1160: 65 77 43 74 78 29 3b 0d 0a 09 09 09 7d 29 3b 0d ewCtx);.....});.
1170: 0a 09 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 ...else....{....
1180: 09 56 61 6c 75 65 20 72 69 20 3d 20 65 76 61 6c .Value ri = eval
1190: 28 65 2e 69 6e 69 74 2c 20 6c 61 79 2c 20 6e 65 (e.init, lay, ne
11a0: 77 43 74 78 29 3b 0d 0a 09 09 09 69 66 28 65 2e wCtx);.....if(e.
11b0: 6e 61 6d 65 21 3d 22 5f 22 29 0d 0a 09 09 09 09 name!="_")......
11c0: 6e 65 77 43 74 78 2e 73 65 74 28 65 2e 6e 61 6d newCtx.set(e.nam
11d0: 65 2c 20 65 2e 6c 61 79 65 72 2e 65 6d 70 74 79 e, e.layer.empty
11e0: 20 3f 20 6c 61 79 20 3a 20 65 2e 6c 61 79 65 72 ? lay : e.layer
11f0: 2c 20 72 69 29 3b 0d 0a 09 09 09 72 65 74 75 72 , ri);.....retur
1200: 6e 20 65 76 61 6c 28 65 2e 65 78 70 72 2c 20 6c n eval(e.expr, l
1210: 61 79 2c 20 6e 65 77 43 74 78 2c 20 4f 76 65 72 ay, newCtx, Over
1220: 77 72 69 74 65 43 74 78 29 3b 0d 0a 09 09 7d 0d writeCtx);....}.
1230: 0a 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a 0d ..}....private:.
1240: 0a 09 2f 2f 20 6c 69 74 74 6c 65 20 6c 69 74 74 ..// little litt
1250: 6c 65 20 62 69 74 20 69 6e 63 72 65 6d 65 6e 74 le bit increment
1260: 61 6c 20 6d 61 63 72 6f 20 64 65 66 69 6e 69 6e al macro definin
1270: 67 20 76 65 72 73 69 6f 6e 2e 0d 0a 09 2f 2f 20 g version....//
1280: 65 6e 61 62 6c 65 73 20 40 6d 61 63 72 6f 20 66 enables @macro f
1290: 6f 6f 28 78 29 3d 2e 2e 2e 20 69 6e 20 2e 2e 2e oo(x)=... in ...
12a0: 20 66 6f 6f 20 2e 2e 2e 2c 20 6f 6e 6c 79 20 61 foo ..., only a
12b0: 74 20 74 68 65 20 74 6f 70 20 6c 65 76 65 6c 20 t the top level
12c0: 6f 66 20 74 68 65 0d 0a 09 2f 2f 20 69 6e 74 65 of the...// inte
12d0: 72 70 72 65 74 65 72 20 61 6e 64 20 66 75 6e 63 rpreter and func
12e0: 74 69 6f 6e 73 2e 20 62 65 74 74 65 72 20 74 68 tions. better th
12f0: 61 6e 20 6e 6f 74 68 69 6e 67 20 3a 50 0d 0a 09 an nothing :P...
1300: 54 75 70 6c 65 21 28 56 61 6c 75 65 2c 41 53 54 Tuple!(Value,AST
1310: 29 20 6d 61 63 72 6f 41 6e 64 45 76 61 6c 28 20 ) macroAndEval(
1320: 41 53 54 20 65 5f 2c 20 4c 61 79 65 72 20 6c 61 AST e_, Layer la
1330: 79 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f y, Table ctx, bo
1340: 6f 6c 20 6f 76 65 72 77 72 69 74 65 43 74 78 3d ol overwriteCtx=
1350: 43 61 73 63 61 64 65 43 74 78 20 29 0d 0a 09 7b CascadeCtx )...{
1360: 0d 0a 09 09 61 73 73 65 72 74 28 20 21 69 73 41 ....assert( !isA
1370: 53 54 4c 61 79 65 72 28 6c 61 79 29 20 29 3b 0d STLayer(lay) );.
1380: 0a 0d 0a 09 09 41 53 54 20 64 65 63 6f 64 65 41 .....AST decodeA
1390: 53 54 28 56 61 6c 75 65 20 76 2c 20 4c 65 78 50 ST(Value v, LexP
13a0: 6f 73 69 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 09 osition pos)....
13b0: 7b 0d 0a 09 09 09 2f 2f 20 5b 54 4f 44 4f 5d 20 {.....// [TODO]
13c0: 6d 6f 72 65 20 69 6e 66 6f 72 6d 61 74 69 76 65 more informative
13d0: 20 65 72 72 6f 72 20 6d 65 73 73 61 67 65 0d 0a error message..
13e0: 09 09 09 72 65 74 75 72 6e 20 70 6f 6c 65 6d 79 ...return polemy
13f0: 32 64 21 28 41 53 54 29 28 76 2c 20 70 6f 73 29 2d!(AST)(v, pos)
1400: 3b 0d 0a 09 09 7d 0d 0a 0d 0a 09 09 69 66 28 61 ;....}......if(a
1410: 75 74 6f 20 65 20 3d 20 63 61 73 74 28 4c 65 74 uto e = cast(Let
1420: 29 65 5f 29 0d 0a 09 09 7b 0d 0a 09 09 09 41 53 )e_)....{.....AS
1430: 54 20 20 20 61 69 20 3d 20 64 65 63 6f 64 65 41 T ai = decodeA
1440: 53 54 28 65 76 61 6c 28 65 2e 69 6e 69 74 2c 20 ST(eval(e.init,
1450: 52 61 77 4d 61 63 72 6f 4c 61 79 65 72 2c 20 63 RawMacroLayer, c
1460: 74 78 29 2c 20 65 2e 69 6e 69 74 2e 70 6f 73 29 tx), e.init.pos)
1470: 3b 0d 0a 09 09 09 56 61 6c 75 65 20 76 69 20 3d ;.....Value vi =
1480: 20 65 76 61 6c 28 61 69 2c 20 6c 61 79 2c 20 63 eval(ai, lay, c
1490: 74 78 29 3b 0d 0a 09 09 09 0d 0a 09 09 09 69 66 tx);..........if
14a0: 28 20 21 6f 76 65 72 77 72 69 74 65 43 74 78 20 ( !overwriteCtx
14b0: 29 0d 0a 09 09 09 09 63 74 78 20 3d 20 6e 65 77 )......ctx = new
14c0: 20 54 61 62 6c 65 28 63 74 78 2c 20 54 61 62 6c Table(ctx, Tabl
14d0: 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 e.Kind.NotPropag
14e0: 61 74 65 53 65 74 29 3b 0d 0a 09 09 09 73 74 72 ateSet);.....str
14f0: 69 6e 67 20 74 68 65 4c 61 79 65 72 20 3d 20 65 ing theLayer = e
1500: 2e 6c 61 79 65 72 2e 65 6d 70 74 79 20 3f 20 6c .layer.empty ? l
1510: 61 79 20 3a 20 65 2e 6c 61 79 65 72 3b 0d 0a 09 ay : e.layer;...
1520: 09 09 63 74 78 2e 73 65 74 28 65 2e 6e 61 6d 65 ..ctx.set(e.name
1530: 2c 20 74 68 65 4c 61 79 65 72 2c 20 76 69 29 3b , theLayer, vi);
1540: 0d 0a 0d 0a 09 09 09 61 75 74 6f 20 61 76 65 20 .......auto ave
1550: 3d 20 6d 61 63 72 6f 41 6e 64 45 76 61 6c 28 20 = macroAndEval(
1560: 65 2e 65 78 70 72 2c 20 6c 61 79 2c 20 63 74 78 e.expr, lay, ctx
1570: 2c 20 4f 76 65 72 77 72 69 74 65 43 74 78 20 29 , OverwriteCtx )
1580: 3b 0d 0a 09 09 09 41 53 54 20 20 61 20 3d 20 6e ;.....AST a = n
1590: 65 77 20 4c 65 74 28 65 2e 70 6f 73 2c 20 65 2e ew Let(e.pos, e.
15a0: 6e 61 6d 65 2c 20 65 2e 6c 61 79 65 72 2c 20 61 name, e.layer, a
15b0: 69 2c 20 61 76 65 5b 31 5d 29 3b 0d 0a 09 09 09 i, ave[1]);.....
15c0: 72 65 74 75 72 6e 20 74 75 70 6c 65 28 61 76 65 return tuple(ave
15d0: 5b 30 5d 2c 20 61 29 3b 0d 0a 09 09 7d 0d 0a 09 [0], a);....}...
15e0: 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 41 .else....{.....A
15f0: 53 54 20 20 20 61 20 3d 20 64 65 63 6f 64 65 41 ST a = decodeA
1600: 53 54 28 65 76 61 6c 28 65 5f 2c 20 52 61 77 4d ST(eval(e_, RawM
1610: 61 63 72 6f 4c 61 79 65 72 2c 20 63 74 78 29 2c acroLayer, ctx),
1620: 20 65 5f 2e 70 6f 73 29 3b 0d 0a 09 09 09 56 61 e_.pos);.....Va
1630: 6c 75 65 20 76 20 3d 20 65 76 61 6c 28 61 2c 20 lue v = eval(a,
1640: 6c 61 79 2c 20 63 74 78 29 3b 0d 0a 09 09 09 72 lay, ctx);.....r
1650: 65 74 75 72 6e 20 74 75 70 6c 65 28 76 2c 20 61 eturn tuple(v, a
1660: 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 70 );....}...}....p
1670: 72 69 76 61 74 65 3a 0d 0a 09 73 74 72 69 6e 67 rivate:...string
1680: 20 67 65 74 4e 61 6d 65 49 66 50 6f 73 73 69 62 getNameIfPossib
1690: 6c 65 28 41 53 54 20 65 29 0d 0a 09 7b 0d 0a 09 le(AST e)...{...
16a0: 09 69 66 28 61 75 74 6f 20 76 20 3d 20 63 61 73 .if(auto v = cas
16b0: 74 28 56 61 72 29 65 29 0d 0a 09 09 09 72 65 74 t(Var)e).....ret
16c0: 75 72 6e 20 76 2e 6e 61 6d 65 3b 0d 0a 09 09 72 urn v.name;....r
16d0: 65 74 75 72 6e 20 22 22 3b 0d 0a 09 7d 0d 0a 09 eturn "";...}...
16e0: 0d 0a 09 56 61 6c 75 65 20 69 6e 76 6f 6b 65 46 ...Value invokeF
16f0: 75 6e 63 74 69 6f 6e 28 56 61 6c 75 65 20 5f 66 unction(Value _f
1700: 2c 20 41 53 54 5b 5d 20 61 72 67 73 2c 20 4c 61 , AST[] args, La
1710: 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 yer lay, Table c
1720: 74 78 2c 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 tx, LexPosition
1730: 70 6f 73 2c 20 73 74 72 69 6e 67 20 63 61 6c 6c pos, string call
1740: 73 74 61 63 6b 6d 73 67 29 0d 0a 09 7b 0d 0a 09 stackmsg)...{...
1750: 09 69 66 28 61 75 74 6f 20 66 20 3d 20 63 61 73 .if(auto f = cas
1760: 74 28 46 75 6e 56 61 6c 75 65 29 5f 66 29 0d 0a t(FunValue)_f)..
1770: 09 09 7b 0d 0a 09 09 09 54 61 62 6c 65 20 6e 65 ..{.....Table ne
1780: 77 43 74 78 20 3d 20 6e 65 77 20 54 61 62 6c 65 wCtx = new Table
1790: 28 66 2e 64 65 66 69 6e 69 74 69 6f 6e 43 6f 6e (f.definitionCon
17a0: 74 65 78 74 28 29 2c 20 54 61 62 6c 65 2e 4b 69 text(), Table.Ki
17b0: 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 nd.NotPropagateS
17c0: 65 74 29 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 et);.....foreach
17d0: 28 69 2c 70 3b 20 66 2e 70 61 72 61 6d 73 28 29 (i,p; f.params()
17e0: 29 0d 0a 09 09 09 09 69 66 28 20 70 2e 6c 61 79 )......if( p.lay
17f0: 65 72 73 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 ers.empty ).....
1800: 09 09 6e 65 77 43 74 78 2e 73 65 74 28 70 2e 6e ..newCtx.set(p.n
1810: 61 6d 65 2c 20 69 73 4d 61 63 72 6f 4c 61 79 65 ame, isMacroLaye
1820: 72 28 6c 61 79 29 3f 4d 61 63 72 6f 4c 61 79 65 r(lay)?MacroLaye
1830: 72 3a 6c 61 79 2c 20 65 76 61 6c 28 61 72 67 73 r:lay, eval(args
1840: 5b 69 5d 2c 20 6c 61 79 2c 20 63 74 78 29 29 3b [i], lay, ctx));
1850: 0d 0a 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 ......else......
1860: 09 66 6f 72 65 61 63 68 28 61 72 67 4c 61 79 3b .foreach(argLay;
1870: 20 70 2e 6c 61 79 65 72 73 29 0d 0a 09 09 09 09 p.layers)......
1880: 09 09 6e 65 77 43 74 78 2e 73 65 74 28 70 2e 6e ..newCtx.set(p.n
1890: 61 6d 65 2c 20 61 72 67 4c 61 79 2c 20 65 76 61 ame, argLay, eva
18a0: 6c 28 61 72 67 73 5b 69 5d 2c 20 61 72 67 4c 61 l(args[i], argLa
18b0: 79 2c 20 63 74 78 29 29 3b 0d 0a 09 09 09 73 63 y, ctx));.....sc
18c0: 6f 70 65 20 5f 20 3d 20 6e 65 77 20 50 75 73 68 ope _ = new Push
18d0: 43 61 6c 6c 53 74 61 63 6b 28 70 6f 73 2c 20 63 CallStack(pos, c
18e0: 61 6c 6c 73 74 61 63 6b 6d 73 67 29 3b 0d 0a 09 allstackmsg);...
18f0: 09 09 72 65 74 75 72 6e 20 66 2e 69 6e 76 6f 6b ..return f.invok
1900: 65 28 69 73 4d 61 63 72 6f 4c 61 79 65 72 28 6c e(isMacroLayer(l
1910: 61 79 29 3f 4d 61 63 72 6f 4c 61 79 65 72 3a 6c ay)?MacroLayer:l
1920: 61 79 2c 20 6e 65 77 43 74 78 2c 20 70 6f 73 29 ay, newCtx, pos)
1930: 3b 0d 0a 09 09 7d 0d 0a 09 09 74 68 72 6f 77 20 ;....}....throw
1940: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
1950: 65 70 74 69 6f 6e 28 70 6f 73 2c 20 74 65 78 74 eption(pos, text
1960: 28 22 74 72 69 65 64 20 74 6f 20 63 61 6c 6c 20 ("tried to call
1970: 6e 6f 6e 2d 66 75 6e 63 74 69 6f 6e 3a 20 22 2c non-function: ",
1980: 5f 66 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 _f));...}.....Va
1990: 6c 75 65 20 6c 69 66 74 28 56 61 6c 75 65 20 76 lue lift(Value v
19a0: 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 , Layer lay, Tab
19b0: 6c 65 20 63 74 78 2c 20 4c 65 78 50 6f 73 69 74 le ctx, LexPosit
19c0: 69 6f 6e 20 70 6f 73 29 0d 0a 09 7b 0d 0a 09 09 ion pos)...{....
19d0: 61 73 73 65 72 74 28 20 21 69 73 41 53 54 4c 61 assert( !isASTLa
19e0: 79 65 72 28 6c 61 79 29 2c 20 22 6c 69 66 74 20 yer(lay), "lift
19f0: 74 6f 20 74 68 65 20 40 6d 61 63 72 6f 20 6c 61 to the @macro la
1a00: 79 65 72 20 73 68 6f 75 6c 64 20 6e 65 76 65 72 yer should never
1a10: 20 68 61 70 70 65 6e 22 20 29 3b 0d 0a 0d 0a 09 happen" );.....
1a20: 09 2f 2f 20 66 75 6e 63 74 69 6f 6e 73 20 61 72 .// functions ar
1a30: 65 20 61 75 74 6f 6d 61 74 69 63 61 6c 6c 79 20 e automatically
1a40: 6c 69 66 74 65 72 64 0d 0a 09 09 69 66 28 20 63 lifterd....if( c
1a50: 61 73 74 28 46 75 6e 56 61 6c 75 65 29 20 76 20 ast(FunValue) v
1a60: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 76 3b 0d ).....return v;.
1a70: 0a 0d 0a 09 09 69 66 28 20 21 63 74 78 2e 68 61 .....if( !ctx.ha
1a80: 73 28 6c 61 79 2c 20 4c 69 66 74 4c 61 79 65 72 s(lay, LiftLayer
1a90: 29 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 67 65 ) ).....throw ge
1aa0: 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 nex!RuntimeExcep
1ab0: 74 69 6f 6e 28 70 6f 73 2c 20 22 6c 69 66 74 20 tion(pos, "lift
1ac0: 66 75 6e 63 74 69 6f 6e 20 66 6f 72 20 22 7e 6c function for "~l
1ad0: 61 79 7e 22 20 69 73 20 6e 6f 74 20 72 65 67 69 ay~" is not regi
1ae0: 73 74 65 72 65 64 22 20 29 3b 0d 0a 0d 0a 09 09 stered" );......
1af0: 2f 2f 20 73 69 6d 69 6c 61 72 20 74 6f 20 69 6e // similar to in
1b00: 76 6f 6b 65 46 75 6e 63 74 69 6f 6e 2c 20 62 75 vokeFunction, bu
1b10: 74 20 77 69 74 68 20 6f 6e 6c 79 20 6f 6e 65 20 t with only one
1b20: 61 72 67 75 6d 65 6e 74 20 62 6f 75 6e 64 20 74 argument bound t
1b30: 6f 20 56 61 6c 75 65 4c 61 79 65 72 0d 0a 09 09 o ValueLayer....
1b40: 61 75 74 6f 20 5f 66 20 3d 20 63 74 78 2e 67 65 auto _f = ctx.ge
1b50: 74 28 6c 61 79 2c 20 4c 69 66 74 4c 61 79 65 72 t(lay, LiftLayer
1b60: 2c 20 70 6f 73 29 3b 0d 0a 09 09 69 66 28 61 75 , pos);....if(au
1b70: 74 6f 20 66 20 3d 20 63 61 73 74 28 46 75 6e 56 to f = cast(FunV
1b80: 61 6c 75 65 29 5f 66 29 0d 0a 09 09 7b 0d 0a 09 alue)_f)....{...
1b90: 09 09 54 61 62 6c 65 20 6e 65 77 43 74 78 20 3d ..Table newCtx =
1ba0: 20 6e 65 77 20 54 61 62 6c 65 28 66 2e 64 65 66 new Table(f.def
1bb0: 69 6e 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 initionContext()
1bc0: 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 , Table.Kind.Not
1bd0: 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a PropagateSet);..
1be0: 09 09 09 61 75 74 6f 20 70 73 20 3d 20 66 2e 70 ...auto ps = f.p
1bf0: 61 72 61 6d 73 28 29 3b 0d 0a 09 09 09 69 66 28 arams();.....if(
1c00: 20 70 73 2e 6c 65 6e 67 74 68 20 21 3d 20 31 20 ps.length != 1
1c10: 29 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e )......throw gen
1c20: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
1c30: 69 6f 6e 28 70 6f 73 2c 0d 0a 09 09 09 09 09 74 ion(pos,.......t
1c40: 65 78 74 28 22 6c 69 66 74 20 66 75 6e 63 74 69 ext("lift functi
1c50: 6f 6e 20 66 6f 72 22 2c 20 6c 61 79 2c 20 22 20 on for", lay, "
1c60: 6d 75 73 74 20 74 61 6b 65 20 65 78 61 63 74 6c must take exactl
1c70: 79 20 6f 6e 65 20 61 72 67 75 6d 65 6e 74 20 6f y one argument o
1c80: 66 20 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 f ", ValueLayer)
1c90: 29 3b 0d 0a 09 09 09 69 66 28 20 70 73 5b 30 5d );.....if( ps[0]
1ca0: 2e 6c 61 79 65 72 73 2e 6c 65 6e 67 74 68 3d 3d .layers.length==
1cb0: 30 20 7c 7c 20 70 73 5b 30 5d 2e 6c 61 79 65 72 0 || ps[0].layer
1cc0: 73 2e 6c 65 6e 67 74 68 3d 3d 31 20 26 26 20 70 s.length==1 && p
1cd0: 73 5b 30 5d 2e 6c 61 79 65 72 73 5b 30 5d 3d 3d s[0].layers[0]==
1ce0: 56 61 6c 75 65 4c 61 79 65 72 20 29 0d 0a 09 09 ValueLayer )....
1cf0: 09 7b 0d 0a 09 09 09 09 6e 65 77 43 74 78 2e 73 .{......newCtx.s
1d00: 65 74 28 70 73 5b 30 5d 2e 6e 61 6d 65 2c 20 56 et(ps[0].name, V
1d10: 61 6c 75 65 4c 61 79 65 72 2c 20 76 29 3b 0d 0a alueLayer, v);..
1d20: 09 09 09 09 73 63 6f 70 65 20 5f 20 3d 20 6e 65 ....scope _ = ne
1d30: 77 20 50 75 73 68 43 61 6c 6c 53 74 61 63 6b 28 w PushCallStack(
1d40: 70 6f 73 2c 20 6c 61 79 29 3b 0d 0a 09 09 09 09 pos, lay);......
1d50: 72 65 74 75 72 6e 20 66 2e 69 6e 76 6f 6b 65 28 return f.invoke(
1d60: 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 43 ValueLayer, newC
1d70: 74 78 2c 20 70 6f 73 29 3b 0d 0a 09 09 09 7d 0d tx, pos);.....}.
1d80: 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 74 68 ....else......th
1d90: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
1da0: 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 0d eException(pos,.
1db0: 0a 09 09 09 09 09 74 65 78 74 28 22 6c 69 66 74 ......text("lift
1dc0: 20 66 75 6e 63 74 69 6f 6e 20 66 6f 72 22 2c 20 function for",
1dd0: 6c 61 79 2c 20 22 20 6d 75 73 74 20 74 61 6b 65 lay, " must take
1de0: 20 65 78 61 63 74 6c 79 20 6f 6e 65 20 61 72 67 exactly one arg
1df0: 75 6d 65 6e 74 20 6f 66 20 22 2c 20 56 61 6c 75 ument of ", Valu
1e00: 65 4c 61 79 65 72 29 29 3b 0d 0a 09 09 7d 0d 0a eLayer));....}..
1e10: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 ..throw genex!Ru
1e20: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 ntimeException(p
1e30: 6f 73 2c 0d 0a 09 09 09 74 65 78 74 28 22 6e 6f os,.....text("no
1e40: 6e 2d 66 75 6e 63 74 69 6f 6e 20 22 2c 20 5f 66 n-function ", _f
1e50: 2c 20 22 20 69 73 20 72 65 67 69 73 74 65 72 65 , " is registere
1e60: 64 20 61 73 20 74 68 65 20 6c 69 66 74 20 66 75 d as the lift fu
1e70: 6e 63 74 69 6f 6e 20 66 6f 72 20 22 2c 20 6c 61 nction for ", la
1e80: 79 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c y));...}.....Val
1e90: 75 65 20 63 72 65 61 74 65 4e 65 77 46 75 6e 63 ue createNewFunc
1ea0: 74 69 6f 6e 28 46 75 6e 20 65 2c 20 54 61 62 6c tion(Fun e, Tabl
1eb0: 65 20 63 74 78 29 0d 0a 09 7b 0d 0a 09 09 63 6c e ctx)...{....cl
1ec0: 61 73 73 20 55 73 65 72 44 65 66 69 6e 65 64 46 ass UserDefinedF
1ed0: 75 6e 56 61 6c 75 65 20 3a 20 46 75 6e 56 61 6c unValue : FunVal
1ee0: 75 65 0d 0a 09 09 7b 0d 0a 09 09 09 46 75 6e 20 ue....{.....Fun
1ef0: 20 20 61 73 74 3b 0d 0a 09 09 09 54 61 62 6c 65 ast;.....Table
1f00: 20 64 65 66 43 74 78 3b 0d 0a 09 09 09 6f 76 65 defCtx;.....ove
1f10: 72 72 69 64 65 20 63 6f 6e 73 74 28 50 61 72 61 rride const(Para
1f20: 6d 65 74 65 72 5b 5d 29 20 70 61 72 61 6d 73 28 meter[]) params(
1f30: 29 20 7b 20 72 65 74 75 72 6e 20 61 73 74 2e 70 ) { return ast.p
1f40: 61 72 61 6d 73 3b 20 7d 0d 0a 09 09 09 6f 76 65 arams; }.....ove
1f50: 72 72 69 64 65 20 54 61 62 6c 65 20 64 65 66 69 rride Table defi
1f60: 6e 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 20 nitionContext()
1f70: 20 20 7b 20 72 65 74 75 72 6e 20 64 65 66 43 74 { return defCt
1f80: 78 3b 20 7d 0d 0a 0d 0a 09 09 09 74 68 69 73 28 x; }.......this(
1f90: 46 75 6e 20 61 73 74 2c 20 54 61 62 6c 65 20 64 Fun ast, Table d
1fa0: 65 66 43 74 78 29 20 7b 20 74 68 69 73 2e 61 73 efCtx) { this.as
1fb0: 74 3d 61 73 74 3b 20 74 68 69 73 2e 64 65 66 43 t=ast; this.defC
1fc0: 74 78 3d 64 65 66 43 74 78 3b 20 7d 0d 0a 09 09 tx=defCtx; }....
1fd0: 09 6f 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 .override string
1fe0: 20 74 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 toString() cons
1ff0: 74 0d 0a 09 09 09 09 7b 20 72 65 74 75 72 6e 20 t......{ return
2000: 73 70 72 69 6e 74 66 21 22 28 66 75 6e 63 74 69 sprintf!"(functi
2010: 6f 6e 3a 25 78 3a 25 78 29 22 28 63 61 73 74 28 on:%x:%x)"(cast(
2020: 76 6f 69 64 2a 29 61 73 74 2c 20 63 61 73 74 28 void*)ast, cast(
2030: 76 6f 69 64 2a 29 64 65 66 43 74 78 29 3b 20 7d void*)defCtx); }
2040: 0d 0a 09 09 09 6f 76 65 72 72 69 64 65 20 69 6e .....override in
2050: 74 20 6f 70 43 6d 70 28 4f 62 6a 65 63 74 20 72 t opCmp(Object r
2060: 68 73 29 20 7b 0d 0a 09 09 09 09 69 66 28 61 75 hs) {......if(au
2070: 74 6f 20 72 20 3d 20 63 61 73 74 28 55 73 65 72 to r = cast(User
2080: 44 65 66 69 6e 65 64 46 75 6e 56 61 6c 75 65 29 DefinedFunValue)
2090: 72 68 73 29 20 7b 0d 0a 09 09 09 09 09 69 66 28 rhs) {.......if(
20a0: 61 75 74 6f 20 63 20 3d 20 74 79 70 65 69 64 28 auto c = typeid(
20b0: 76 6f 69 64 2a 29 2e 63 6f 6d 70 61 72 65 28 63 void*).compare(c
20c0: 61 73 74 28 76 6f 69 64 2a 29 61 73 74 2c 20 63 ast(void*)ast, c
20d0: 61 73 74 28 76 6f 69 64 2a 29 72 2e 61 73 74 29 ast(void*)r.ast)
20e0: 29 0d 0a 09 09 09 09 09 09 72 65 74 75 72 6e 20 )........return
20f0: 63 3b 0d 0a 09 09 09 09 09 69 66 28 61 75 74 6f c;.......if(auto
2100: 20 63 20 3d 20 74 79 70 65 69 64 28 76 6f 69 64 c = typeid(void
2110: 2a 29 2e 63 6f 6d 70 61 72 65 28 63 61 73 74 28 *).compare(cast(
2120: 76 6f 69 64 2a 29 64 65 66 43 74 78 2c 20 63 61 void*)defCtx, ca
2130: 73 74 28 76 6f 69 64 2a 29 72 2e 64 65 66 43 74 st(void*)r.defCt
2140: 78 29 29 0d 0a 09 09 09 09 09 09 72 65 74 75 72 x))........retur
2150: 6e 20 63 3b 0d 0a 09 09 09 09 09 72 65 74 75 72 n c;.......retur
2160: 6e 20 30 3b 2f 2f 20 5b 54 4f 44 4f 5d 20 61 76 n 0;// [TODO] av
2170: 6f 69 64 20 75 73 69 6e 67 20 70 6f 69 6e 74 65 oid using pointe
2180: 72 20 76 61 6c 75 65 2e 2e 2e 0d 0a 09 09 09 09 r value.........
2190: 7d 0d 0a 09 09 09 09 69 66 28 61 75 74 6f 20 72 }......if(auto r
21a0: 20 3d 20 63 61 73 74 28 56 61 6c 75 65 29 72 68 = cast(Value)rh
21b0: 73 29 20 72 65 74 75 72 6e 20 74 79 70 65 69 64 s) return typeid
21c0: 28 74 68 69 73 29 2e 6f 70 43 6d 70 28 74 79 70 (this).opCmp(typ
21d0: 65 69 64 28 72 29 29 3b 0d 0a 09 09 09 09 74 68 eid(r));......th
21e0: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
21f0: 65 45 78 63 65 70 74 69 6f 6e 28 22 63 6f 6d 70 eException("comp
2200: 61 72 69 73 6f 6e 20 77 69 74 68 20 76 61 6c 75 arison with valu
2210: 65 20 61 6e 64 20 73 6f 6d 65 74 68 69 6e 67 20 e and something
2220: 6f 74 68 65 72 22 29 3b 0d 0a 09 09 09 7d 0d 0a other");.....}..
2230: 09 09 09 6f 76 65 72 72 69 64 65 20 68 61 73 68 ...override hash
2240: 5f 74 20 74 6f 48 61 73 68 28 29 20 7b 0d 0a 09 _t toHash() {...
2250: 09 09 09 72 65 74 75 72 6e 20 28 63 61 73 74 28 ...return (cast(
2260: 68 61 73 68 5f 74 29 63 61 73 74 28 76 6f 69 64 hash_t)cast(void
2270: 2a 29 61 73 74 29 20 2b 20 28 63 61 73 74 28 68 *)ast) + (cast(h
2280: 61 73 68 5f 74 29 63 61 73 74 28 76 6f 69 64 2a ash_t)cast(void*
2290: 29 64 65 66 43 74 78 29 3b 0d 0a 09 09 09 7d 0d )defCtx);.....}.
22a0: 0a 0d 0a 09 09 09 41 53 54 20 6d 61 63 72 6f 43 ......AST macroC
22b0: 61 63 68 65 3b 0d 0a 09 09 09 73 74 61 74 69 63 ache;.....static
22c0: 20 63 6c 61 73 73 20 4d 65 6d 6f 6b 65 79 54 79 class MemokeyTy
22d0: 70 65 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 76 6f pe.....{......vo
22e0: 69 64 2a 20 61 3b 20 4c 61 79 65 72 20 62 3b 20 id* a; Layer b;
22f0: 54 75 70 6c 65 21 28 73 74 72 69 6e 67 2c 4c 61 Tuple!(string,La
2300: 79 65 72 2c 56 61 6c 75 65 29 5b 5d 20 63 3b 0d yer,Value)[] c;.
2310: 0a 09 09 09 09 68 61 73 68 5f 74 20 74 6f 48 61 .....hash_t toHa
2320: 73 68 28 29 20 7b 0d 0a 09 09 09 09 09 68 61 73 sh() {.......has
2330: 68 5f 74 20 68 20 3d 20 73 74 72 75 63 74 75 72 h_t h = structur
2340: 61 6c 48 61 73 68 28 61 29 20 2b 20 73 74 72 75 alHash(a) + stru
2350: 63 74 75 72 61 6c 48 61 73 68 28 62 29 3b 0d 0a cturalHash(b);..
2360: 09 09 09 09 09 66 6f 72 65 61 63 68 28 65 3b 20 .....foreach(e;
2370: 63 29 0d 0a 09 09 09 09 09 09 68 20 2b 3d 20 73 c)........h += s
2380: 74 72 75 63 74 75 72 61 6c 48 61 73 68 28 65 5b tructuralHash(e[
2390: 30 5d 29 2b 73 74 72 75 63 74 75 72 61 6c 48 61 0])+structuralHa
23a0: 73 68 28 65 5b 31 5d 29 2b 73 74 72 75 63 74 75 sh(e[1])+structu
23b0: 72 61 6c 48 61 73 68 28 65 5b 32 5d 29 3b 0d 0a ralHash(e[2]);..
23c0: 09 09 09 09 09 72 65 74 75 72 6e 20 68 3b 0d 0a .....return h;..
23d0: 09 09 09 09 7d 0d 0a 09 09 09 09 6d 69 78 69 6e ....}......mixin
23e0: 20 53 69 6d 70 6c 65 54 6f 53 74 72 69 6e 67 3b SimpleToString;
23f0: 0d 0a 09 09 09 09 6d 69 78 69 6e 20 53 69 6d 70 ......mixin Simp
2400: 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0d 0a leConstructor;..
2410: 09 09 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 ....mixin Simple
2420: 43 6f 6d 70 61 72 65 57 69 74 68 6f 75 74 54 6f CompareWithoutTo
2430: 48 61 73 68 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 Hash;.....}.....
2440: 73 74 61 74 69 63 20 54 75 70 6c 65 21 28 56 61 static Tuple!(Va
2450: 6c 75 65 2c 69 6e 74 29 5b 4d 65 6d 6f 6b 65 79 lue,int)[Memokey
2460: 54 79 70 65 5d 20 6d 65 6d 6f 3b 0d 0a 0d 0a 09 Type] memo;.....
2470: 09 09 6f 76 65 72 72 69 64 65 20 56 61 6c 75 65 ..override Value
2480: 20 69 6e 76 6f 6b 65 28 4c 61 79 65 72 20 6c 61 invoke(Layer la
2490: 79 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 4c 65 y, Table ctx, Le
24a0: 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 29 0d 0a xPosition pos)..
24b0: 09 09 09 7b 0d 0a 09 09 09 09 69 66 28 20 69 73 ...{......if( is
24c0: 41 53 54 4c 61 79 65 72 28 6c 61 79 29 20 29 0d ASTLayer(lay) ).
24d0: 0a 09 09 09 09 09 72 65 74 75 72 6e 20 65 76 61 ......return eva
24e0: 6c 28 61 73 74 2e 66 75 6e 62 6f 64 79 2c 20 6c l(ast.funbody, l
24f0: 61 79 2c 20 63 74 78 29 3b 0d 0a 0d 0a 09 09 09 ay, ctx);.......
2500: 09 61 75 74 6f 20 6e 6f 6e 4d 65 6d 6f 69 7a 65 .auto nonMemoize
2510: 64 52 75 6e 20 3d 20 28 29 7b 0d 0a 09 09 09 09 dRun = (){......
2520: 09 69 66 28 20 6d 61 63 72 6f 43 61 63 68 65 20 .if( macroCache
2530: 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 09 09 is null ).......
2540: 7b 0d 0a 09 09 09 09 09 09 61 75 74 6f 20 76 61 {........auto va
2550: 20 3d 20 6d 61 63 72 6f 41 6e 64 45 76 61 6c 28 = macroAndEval(
2560: 65 2e 66 75 6e 62 6f 64 79 2c 20 6c 61 79 2c 20 e.funbody, lay,
2570: 63 74 78 29 3b 0d 0a 09 09 09 09 09 09 6d 61 63 ctx);........mac
2580: 72 6f 43 61 63 68 65 20 3d 20 76 61 5b 31 5d 3b roCache = va[1];
2590: 0d 0a 09 09 09 09 09 09 72 65 74 75 72 6e 20 76 ........return v
25a0: 61 5b 30 5d 3b 0d 0a 09 09 09 09 09 7d 0d 0a 09 a[0];.......}...
25b0: 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 09 ....else........
25c0: 72 65 74 75 72 6e 20 65 76 61 6c 28 6d 61 63 72 return eval(macr
25d0: 6f 43 61 63 68 65 2c 20 6c 61 79 2c 20 63 74 78 oCache, lay, ctx
25e0: 29 3b 0d 0a 09 09 09 09 7d 3b 0d 0a 0d 0a 09 09 );......};......
25f0: 09 09 69 66 28 20 21 69 73 55 73 65 72 44 65 66 ..if( !isUserDef
2600: 69 6e 65 64 4c 61 79 65 72 28 6c 61 79 29 20 29 inedLayer(lay) )
2610: 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 6e 6f .......return no
2620: 6e 4d 65 6d 6f 69 7a 65 64 52 75 6e 28 29 3b 0d nMemoizedRun();.
2630: 0a 0d 0a 09 09 09 09 4d 65 6d 6f 6b 65 79 54 79 .......MemokeyTy
2640: 70 65 20 6d 65 6d 6f 6b 65 79 20 3d 20 6e 65 77 pe memokey = new
2650: 20 4d 65 6d 6f 6b 65 79 54 79 70 65 28 63 61 73 MemokeyType(cas
2660: 74 28 76 6f 69 64 2a 29 61 73 74 2c 20 6c 61 79 t(void*)ast, lay
2670: 2c 20 63 74 78 2e 64 69 72 65 63 74 5f 65 6e 74 , ctx.direct_ent
2680: 72 69 65 73 28 29 29 3b 0d 0a 0d 0a 09 09 09 09 ries());........
2690: 69 66 28 61 75 74 6f 20 70 20 3d 20 6d 65 6d 6f if(auto p = memo
26a0: 6b 65 79 20 69 6e 20 6d 65 6d 6f 29 0d 0a 09 09 key in memo)....
26b0: 09 09 7b 0d 0a 09 09 09 09 09 28 2a 70 29 5b 31 ..{.......(*p)[1
26c0: 5d 20 2b 2b 3b 0d 0a 09 09 09 09 09 72 65 74 75 ] ++;.......retu
26d0: 72 6e 20 28 2a 70 29 5b 30 5d 3b 0d 0a 09 09 09 rn (*p)[0];.....
26e0: 09 7d 0d 0a 09 09 09 09 65 6c 73 65 0d 0a 09 09 .}......else....
26f0: 09 09 09 6d 65 6d 6f 5b 6d 65 6d 6f 6b 65 79 5d ...memo[memokey]
2700: 20 3d 20 74 75 70 6c 65 28 6c 69 66 74 28 6e 65 = tuple(lift(ne
2710: 77 20 55 6e 64 65 66 69 6e 65 64 56 61 6c 75 65 w UndefinedValue
2720: 2c 20 6c 61 79 2c 20 63 74 78 2c 20 70 6f 73 29 , lay, ctx, pos)
2730: 2c 20 30 29 3b 0d 0a 0d 0a 09 09 09 09 56 61 6c , 0);........Val
2740: 75 65 20 72 20 3d 20 6e 6f 6e 4d 65 6d 6f 69 7a ue r = nonMemoiz
2750: 65 64 52 75 6e 28 29 3b 0d 0a 0d 0a 09 09 09 09 edRun();........
2760: 69 6e 74 20 74 6f 75 63 68 65 64 20 3d 20 6d 65 int touched = me
2770: 6d 6f 5b 6d 65 6d 6f 6b 65 79 5d 5b 31 5d 3b 0d mo[memokey][1];.
2780: 0a 09 09 09 09 6d 65 6d 6f 5b 6d 65 6d 6f 6b 65 .....memo[memoke
2790: 79 5d 20 3d 20 74 75 70 6c 65 28 72 2c 20 31 32 y] = tuple(r, 12
27a0: 33 34 35 36 37 38 29 3b 0d 0a 09 09 09 09 2f 2f 345678);......//
27b0: 69 66 28 74 6f 75 63 68 65 64 29 20 7b 44 42 47 if(touched) {DBG
27c0: 28 22 72 65 72 75 6e 20 3a 3a 20 22 2c 72 29 3b ("rerun :: ",r);
27d0: 72 20 3d 20 6e 6f 6e 4d 65 6d 6f 69 7a 65 64 52 r = nonMemoizedR
27e0: 75 6e 28 29 3b 7d 20 2f 2f 20 74 77 69 63 65 21 un();} // twice!
27f0: 21 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 72 3b !......return r;
2800: 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 72 .....}....}....r
2810: 65 74 75 72 6e 20 6e 65 77 20 55 73 65 72 44 65 eturn new UserDe
2820: 66 69 6e 65 64 46 75 6e 56 61 6c 75 65 28 65 2c finedFunValue(e,
2830: 63 74 78 29 3b 0d 0a 09 7d 0d 0a 0d 0a 70 75 62 ctx);...}....pub
2840: 6c 69 63 3a 0d 0a 09 2f 2f 2f 20 41 64 64 20 70 lic:.../// Add p
2850: 72 69 6d 69 74 69 76 65 20 66 75 6e 63 74 69 6f rimitive functio
2860: 6e 20 74 6f 20 74 68 65 20 67 6c 6f 62 61 6c 20 n to the global
2870: 63 6f 6e 74 65 78 74 0d 0a 09 76 6f 69 64 20 61 context...void a
2880: 64 64 50 72 69 6d 69 74 69 76 65 28 52 2c 54 2e ddPrimitive(R,T.
2890: 2e 2e 29 28 73 74 72 69 6e 67 20 6e 61 6d 65 2c ..)(string name,
28a0: 20 4c 61 79 65 72 20 64 65 66 4c 61 79 2c 20 52 Layer defLay, R
28b0: 20 64 65 6c 65 67 61 74 65 20 28 54 29 20 64 67 delegate (T) dg
28c0: 29 0d 0a 09 7b 0d 0a 09 09 63 6c 61 73 73 20 4e )...{....class N
28d0: 61 74 69 76 65 46 75 6e 56 61 6c 75 65 20 3a 20 ativeFunValue :
28e0: 46 75 6e 56 61 6c 75 65 0d 0a 09 09 7b 0d 0a 09 FunValue....{...
28f0: 09 09 6f 76 65 72 72 69 64 65 20 63 6f 6e 73 74 ..override const
2900: 28 50 61 72 61 6d 65 74 65 72 5b 5d 29 20 70 61 (Parameter[]) pa
2910: 72 61 6d 73 28 29 20 7b 20 72 65 74 75 72 6e 20 rams() { return
2920: 70 61 72 61 6d 73 5f 64 61 74 61 3b 20 7d 0d 0a params_data; }..
2930: 09 09 09 6f 76 65 72 72 69 64 65 20 54 61 62 6c ...override Tabl
2940: 65 20 64 65 66 69 6e 69 74 69 6f 6e 43 6f 6e 74 e definitionCont
2950: 65 78 74 28 29 20 20 20 7b 20 72 65 74 75 72 6e ext() { return
2960: 20 74 68 65 43 6f 6e 74 65 78 74 3b 20 7d 0d 0a theContext; }..
2970: 0d 0a 09 09 09 6f 76 65 72 72 69 64 65 20 73 74 .....override st
2980: 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 20 ring toString()
2990: 7b 20 72 65 74 75 72 6e 20 73 70 72 69 6e 74 66 { return sprintf
29a0: 21 22 28 6e 61 74 69 76 65 3a 25 78 29 22 28 64 !"(native:%x)"(d
29b0: 67 2e 66 75 6e 63 70 74 72 29 3b 20 7d 0d 0a 09 g.funcptr); }...
29c0: 09 09 6f 76 65 72 72 69 64 65 20 69 6e 74 20 6f ..override int o
29d0: 70 43 6d 70 28 4f 62 6a 65 63 74 20 72 68 73 29 pCmp(Object rhs)
29e0: 20 7b 0d 0a 09 09 09 09 69 66 28 61 75 74 6f 20 {......if(auto
29f0: 72 20 3d 20 63 61 73 74 28 4e 61 74 69 76 65 46 r = cast(NativeF
2a00: 75 6e 56 61 6c 75 65 29 72 68 73 29 20 72 65 74 unValue)rhs) ret
2a10: 75 72 6e 20 74 79 70 65 69 64 28 74 79 70 65 6f urn typeid(typeo
2a20: 66 28 64 67 29 29 2e 63 6f 6d 70 61 72 65 28 26 f(dg)).compare(&
2a30: 64 67 2c 26 72 2e 64 67 29 3b 0d 0a 09 09 09 09 dg,&r.dg);......
2a40: 69 66 28 61 75 74 6f 20 72 20 3d 20 63 61 73 74 if(auto r = cast
2a50: 28 56 61 6c 75 65 29 72 68 73 29 20 20 20 20 20 (Value)rhs)
2a60: 20 20 20 20 20 72 65 74 75 72 6e 20 74 79 70 65 return type
2a70: 69 64 28 74 68 69 73 29 2e 6f 70 43 6d 70 28 74 id(this).opCmp(t
2a80: 79 70 65 69 64 28 72 29 29 3b 0d 0a 09 09 09 09 ypeid(r));......
2a90: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 throw genex!Runt
2aa0: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 22 63 6f imeException("co
2ab0: 6d 70 61 72 69 73 6f 6e 20 77 69 74 68 20 76 61 mparison with va
2ac0: 6c 75 65 20 61 6e 64 20 73 6f 6d 65 74 68 69 6e lue and somethin
2ad0: 67 20 6f 74 68 65 72 22 29 3b 0d 0a 09 09 09 7d g other");.....}
2ae0: 0d 0a 09 09 09 6f 76 65 72 72 69 64 65 20 68 61 .....override ha
2af0: 73 68 5f 74 20 74 6f 48 61 73 68 28 29 20 63 6f sh_t toHash() co
2b00: 6e 73 74 20 7b 0d 0a 09 09 09 09 72 65 74 75 72 nst {......retur
2b10: 6e 20 74 79 70 65 69 64 28 64 67 29 2e 67 65 74 n typeid(dg).get
2b20: 48 61 73 68 28 26 64 67 29 3b 0d 0a 09 09 09 7d Hash(&dg);.....}
2b30: 0d 0a 0d 0a 09 09 09 52 20 64 65 6c 65 67 61 74 .......R delegat
2b40: 65 28 54 29 20 64 67 3b 0d 0a 09 09 09 50 61 72 e(T) dg;.....Par
2b50: 61 6d 65 74 65 72 5b 5d 20 70 61 72 61 6d 73 5f ameter[] params_
2b60: 64 61 74 61 3b 0d 0a 0d 0a 09 09 09 74 68 69 73 data;.......this
2b70: 28 52 20 64 65 6c 65 67 61 74 65 28 54 29 20 64 (R delegate(T) d
2b80: 67 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 74 68 g).....{......th
2b90: 69 73 2e 64 67 20 3d 20 64 67 3b 0d 0a 09 09 09 is.dg = dg;.....
2ba0: 09 66 6f 72 65 61 63 68 28 69 2c 20 54 69 3b 20 .foreach(i, Ti;
2bb0: 54 29 0d 0a 09 09 09 09 09 70 61 72 61 6d 73 5f T).......params_
2bc0: 64 61 74 61 20 7e 3d 20 6e 65 77 20 50 61 72 61 data ~= new Para
2bd0: 6d 65 74 65 72 28 74 65 78 74 28 69 29 2c 20 5b meter(text(i), [
2be0: 5d 29 3b 0d 0a 09 09 09 7d 0d 0a 0d 0a 09 09 09 ]);.....}.......
2bf0: 6f 76 65 72 72 69 64 65 20 56 61 6c 75 65 20 69 override Value i
2c00: 6e 76 6f 6b 65 28 4c 61 79 65 72 20 6c 61 79 2c nvoke(Layer lay,
2c10: 20 54 61 62 6c 65 20 63 74 78 2c 20 4c 65 78 50 Table ctx, LexP
2c20: 6f 73 69 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 09 osition pos)....
2c30: 09 7b 0d 0a 09 09 09 09 69 66 28 20 6c 61 79 20 .{......if( lay
2c40: 21 3d 20 64 65 66 4c 61 79 20 29 0d 0a 09 09 09 != defLay ).....
2c50: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 ..throw genex!Ru
2c60: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 ntimeException(p
2c70: 6f 73 2c 0d 0a 09 09 09 09 09 09 74 65 78 74 28 os,........text(
2c80: 22 6f 6e 6c 79 20 22 2c 20 64 65 66 4c 61 79 2c "only ", defLay,
2c90: 20 22 20 6c 61 79 65 72 20 63 61 6e 20 63 61 6c " layer can cal
2ca0: 6c 20 6e 61 74 69 76 65 20 66 75 6e 63 74 69 6f l native functio
2cb0: 6e 3a 20 22 2c 20 6e 61 6d 65 29 29 3b 0d 0a 09 n: ", name));...
2cc0: 09 09 09 54 20 74 79 70 65 64 5f 61 72 67 73 3b ...T typed_args;
2cd0: 0d 0a 09 09 09 09 66 6f 72 65 61 63 68 28 69 2c ......foreach(i,
2ce0: 20 54 69 3b 20 54 29 20 7b 0d 0a 09 09 09 09 09 Ti; T) {.......
2cf0: 74 79 70 65 64 5f 61 72 67 73 5b 69 5d 20 3d 20 typed_args[i] =
2d00: 63 61 73 74 28 54 69 29 20 63 74 78 2e 67 65 74 cast(Ti) ctx.get
2d10: 28 74 65 78 74 28 69 29 2c 20 56 61 6c 75 65 4c (text(i), ValueL
2d20: 61 79 65 72 2c 20 70 6f 73 29 3b 0d 0a 09 09 09 ayer, pos);.....
2d30: 09 09 69 66 28 20 74 79 70 65 64 5f 61 72 67 73 ..if( typed_args
2d40: 5b 69 5d 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 [i] is null )...
2d50: 09 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 .....throw genex
2d60: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
2d70: 6e 28 70 6f 73 2c 0d 0a 09 09 09 09 09 09 09 73 n(pos,.........s
2d80: 70 72 69 6e 74 66 21 22 74 79 70 65 20 6d 69 73 printf!"type mis
2d90: 6d 61 74 63 68 20 6f 6e 20 74 68 65 20 61 72 67 match on the arg
2da0: 75 6d 65 6e 74 20 25 64 20 6f 66 20 6e 61 74 69 ument %d of nati
2db0: 76 65 20 66 75 6e 63 74 69 6f 6e 3a 20 25 73 22 ve function: %s"
2dc0: 28 69 2b 31 2c 6e 61 6d 65 29 29 3b 0d 0a 09 09 (i+1,name));....
2dd0: 09 09 7d 0d 0a 09 09 09 09 74 72 79 20 7b 0d 0a ..}......try {..
2de0: 09 09 09 09 09 72 65 74 75 72 6e 20 64 67 28 74 .....return dg(t
2df0: 79 70 65 64 5f 61 72 67 73 29 3b 0d 0a 09 09 09 yped_args);.....
2e00: 09 7d 20 63 61 74 63 68 28 20 52 75 6e 74 69 6d .} catch( Runtim
2e10: 65 45 78 63 65 70 74 69 6f 6e 20 65 20 29 20 7b eException e ) {
2e20: 0d 0a 09 09 09 09 09 74 68 72 6f 77 20 65 2e 70 .......throw e.p
2e30: 6f 73 20 69 73 20 6e 75 6c 6c 20 3f 20 6e 65 77 os is null ? new
2e40: 20 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f RuntimeExceptio
2e50: 6e 28 70 6f 73 2c 20 65 2e 6d 73 67 2c 20 65 2e n(pos, e.msg, e.
2e60: 66 69 6c 65 2c 20 65 2e 6c 69 6e 65 29 20 3a 20 file, e.line) :
2e70: 65 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 7d 0d e;......}.....}.
2e80: 0a 09 09 7d 0d 0a 09 09 74 68 65 43 6f 6e 74 65 ...}....theConte
2e90: 78 74 2e 73 65 74 28 6e 61 6d 65 2c 20 64 65 66 xt.set(name, def
2ea0: 4c 61 79 2c 20 6e 65 77 20 4e 61 74 69 76 65 46 Lay, new NativeF
2eb0: 75 6e 56 61 6c 75 65 28 64 67 29 29 3b 0d 0a 09 unValue(dg));...
2ec0: 7d 0d 0a 7d 0d 0a 0d 0a 76 65 72 73 69 6f 6e 28 }..}....version(
2ed0: 75 6e 69 74 74 65 73 74 29 20 69 6d 70 6f 72 74 unittest) import
2ee0: 20 70 6f 6c 65 6d 79 2e 72 75 6e 74 69 6d 65 3b polemy.runtime;
2ef0: 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 ..unittest..{...
2f00: 61 75 74 6f 20 65 20 3d 20 6e 65 77 20 45 76 61 auto e = new Eva
2f10: 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c luator;...enroll
2f20: 52 75 6e 74 69 6d 65 4c 69 62 72 61 72 79 28 65 RuntimeLibrary(e
2f30: 29 3b 0d 0a 09 61 75 74 6f 20 72 20 3d 20 61 73 );...auto r = as
2f40: 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 2e sert_nothrow( e.
2f50: 65 76 61 6c 53 74 72 69 6e 67 28 60 76 61 72 20 evalString(`var
2f60: 78 20 3d 20 32 31 3b 20 78 20 2b 20 78 2a 78 3b x = 21; x + x*x;
2f70: 60 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 `) );...assert_e
2f80: 71 28 20 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c q( r, new IntVal
2f90: 75 65 28 42 69 67 49 6e 74 28 32 31 2b 32 31 2a ue(BigInt(21+21*
2fa0: 32 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 21)) );...assert
2fb0: 5f 65 71 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e _eq( e.globalCon
2fc0: 74 65 78 74 2e 67 65 74 28 22 78 22 2c 56 61 6c text.get("x",Val
2fd0: 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e ueLayer), new In
2fe0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 32 31 tValue(BigInt(21
2ff0: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e )) );...assert_n
3000: 6f 74 68 72 6f 77 28 20 65 2e 67 6c 6f 62 61 6c othrow( e.global
3010: 43 6f 6e 74 65 78 74 2e 67 65 74 28 22 78 22 2c Context.get("x",
3020: 56 61 6c 75 65 4c 61 79 65 72 29 20 29 3b 0d 0a ValueLayer) );..
3030: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 52 75 .assert_throw!Ru
3040: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 ntimeException(
3050: 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 2e e.globalContext.
3060: 67 65 74 28 22 79 22 2c 56 61 6c 75 65 4c 61 79 get("y",ValueLay
3070: 65 72 29 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 er) );..}..unitt
3080: 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 est..{...auto e
3090: 3d 20 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 3b = new Evaluator;
30a0: 0d 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 ...enrollRuntime
30b0: 4c 69 62 72 61 72 79 28 65 29 3b 0d 0a 09 61 75 Library(e);...au
30c0: 74 6f 20 72 20 3d 20 61 73 73 65 72 74 5f 6e 6f to r = assert_no
30d0: 74 68 72 6f 77 28 20 65 2e 65 76 61 6c 53 74 72 throw( e.evalStr
30e0: 69 6e 67 28 60 76 61 72 20 78 20 3d 20 32 31 3b ing(`var x = 21;
30f0: 20 76 61 72 20 78 20 3d 20 78 20 2b 20 78 2a 78 var x = x + x*x
3100: 3b 60 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f ;`) );...assert_
3110: 65 71 28 20 72 2c 20 6e 65 77 20 49 6e 74 56 61 eq( r, new IntVa
3120: 6c 75 65 28 42 69 67 49 6e 74 28 32 31 2b 32 31 lue(BigInt(21+21
3130: 2a 32 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 *21)) );...asser
3140: 74 5f 65 71 28 20 65 2e 67 6c 6f 62 61 6c 43 6f t_eq( e.globalCo
3150: 6e 74 65 78 74 2e 67 65 74 28 22 78 22 2c 56 61 ntext.get("x",Va
3160: 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 lueLayer), new I
3170: 6e 74 56 61 6c 75 65 28 32 31 2b 32 31 2a 32 31 ntValue(21+21*21
3180: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f ) );...assert_no
3190: 74 68 72 6f 77 28 20 65 2e 67 6c 6f 62 61 6c 43 throw( e.globalC
31a0: 6f 6e 74 65 78 74 2e 67 65 74 28 22 78 22 2c 56 ontext.get("x",V
31b0: 61 6c 75 65 4c 61 79 65 72 29 20 29 3b 0d 0a 09 alueLayer) );...
31c0: 61 73 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e assert_throw!Run
31d0: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 65 timeException( e
31e0: 2e 67 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 2e 67 .globalContext.g
31f0: 65 74 28 22 79 22 2c 56 61 6c 75 65 4c 61 79 65 et("y",ValueLaye
3200: 72 29 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 r) );..}..unitte
3210: 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d st..{...auto e =
3220: 20 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d new Evaluator;.
3230: 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c ..enrollRuntimeL
3240: 69 62 72 61 72 79 28 65 29 3b 0d 0a 09 61 73 73 ibrary(e);...ass
3250: 65 72 74 5f 65 71 28 20 65 2e 65 76 61 6c 53 74 ert_eq( e.evalSt
3260: 72 69 6e 67 28 60 6c 65 74 20 78 3d 31 3b 20 6c ring(`let x=1; l
3270: 65 74 20 79 3d 28 6c 65 74 20 78 3d 32 29 3b 20 et y=(let x=2);
3280: 78 60 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 x`), new IntValu
3290: 65 28 31 29 20 29 3b 20 0d 0a 09 61 73 73 65 72 e(1) ); ...asser
32a0: 74 5f 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69 t_eq( e.evalStri
32b0: 6e 67 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 ng(`let x=1; let
32c0: 20 79 3d 28 6c 65 74 20 78 3d 32 3b 66 75 6e 28 y=(let x=2;fun(
32d0: 29 7b 78 7d 29 3b 20 79 28 29 60 29 2c 20 6e 65 ){x}); y()`), ne
32e0: 77 20 49 6e 74 56 61 6c 75 65 28 32 29 20 29 3b w IntValue(2) );
32f0: 20 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 ..}....unittest
3300: 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e ..{...auto e = n
3310: 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 ew Evaluator;...
3320: 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 enrollRuntimeLib
3330: 72 61 72 79 28 65 29 3b 0d 0a 09 61 73 73 65 72 rary(e);...asser
3340: 74 5f 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69 t_eq( e.evalStri
3350: 6e 67 28 60 40 61 20 78 3d 31 3b 20 40 62 20 78 ng(`@a x=1; @b x
3360: 3d 32 3b 20 40 61 28 78 29 60 29 2c 20 6e 65 77 =2; @a(x)`), new
3370: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
3380: 28 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 (1)) );...assert
3390: 5f 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69 6e _eq( e.evalStrin
33a0: 67 28 60 40 61 20 78 3d 31 3b 20 40 62 20 78 3d g(`@a x=1; @b x=
33b0: 32 3b 20 40 62 28 78 29 60 29 2c 20 6e 65 77 20 2; @b(x)`), new
33c0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
33d0: 32 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 2)) );...assert_
33e0: 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 eq( e.evalString
33f0: 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 5f (`let x=1; let _
3400: 20 3d 20 28 40 61 20 78 3d 32 3b 32 29 3b 20 78 = (@a x=2;2); x
3410: 60 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 `), new IntValue
3420: 28 42 69 67 49 6e 74 28 31 29 29 20 29 3b 0d 0a (BigInt(1)) );..
3430: 09 65 20 3d 20 6e 65 77 20 45 76 61 6c 75 61 74 .e = new Evaluat
3440: 6f 72 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 or;...assert_thr
3450: 6f 77 21 54 68 72 6f 77 61 62 6c 65 28 20 65 2e ow!Throwable( e.
3460: 65 76 61 6c 53 74 72 69 6e 67 28 60 6c 65 74 20 evalString(`let
3470: 78 3d 31 3b 20 6c 65 74 20 5f 20 3d 20 28 40 61 x=1; let _ = (@a
3480: 20 78 3d 32 3b 32 29 3b 20 40 61 28 78 29 60 29 x=2;2); @a(x)`)
3490: 20 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 );..}....unitte
34a0: 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d st..{...auto e =
34b0: 20 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d new Evaluator;.
34c0: 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c ..enrollRuntimeL
34d0: 69 62 72 61 72 79 28 65 29 3b 0d 0a 09 61 73 73 ibrary(e);...ass
34e0: 65 72 74 5f 65 71 28 20 65 2e 65 76 61 6c 53 74 ert_eq( e.evalSt
34f0: 72 69 6e 67 28 60 0d 0a 09 09 40 40 73 28 78 29 ring(`....@@s(x)
3500: 7b 78 7d 3b 0d 0a 09 09 40 73 20 22 2b 22 20 3d {x};....@s "+" =
3510: 20 66 75 6e 28 78 2c 20 79 29 20 7b 40 76 61 6c fun(x, y) {@val
3520: 75 65 28 0d 0a 09 09 09 40 73 28 78 29 20 2d 20 ue(.....@s(x) -
3530: 40 73 28 79 29 0d 0a 09 09 29 7d 3b 0d 0a 09 09 @s(y)....)};....
3540: 40 73 28 31 20 2b 20 32 29 0d 0a 09 60 29 2c 20 @s(1 + 2)...`),
3550: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
3560: 49 6e 74 28 2d 31 29 29 20 29 3b 0d 0a 7d 0d 0a Int(-1)) );..}..
3570: 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 ..unittest..{...
3580: 61 75 74 6f 20 65 20 3d 20 6e 65 77 20 45 76 61 auto e = new Eva
3590: 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c luator;...enroll
35a0: 52 75 6e 74 69 6d 65 4c 69 62 72 61 72 79 28 65 RuntimeLibrary(e
35b0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
35c0: 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 0d 0a e.evalString(`..
35d0: 40 40 33 28 78 29 7b 78 7d 3b 0d 0a 64 65 66 20 @@3(x){x};..def
35e0: 69 6e 63 72 28 78 29 20 7b 20 78 2b 31 20 7d 3b incr(x) { x+1 };
35f0: 0d 0a 40 20 33 20 69 6e 63 72 28 78 29 20 7b 40 ..@ 3 incr(x) {@
3600: 76 61 6c 75 65 28 20 69 66 20 40 20 33 28 78 29 value( if @ 3(x)
3610: 2b 31 3c 20 33 20 74 68 65 6e 20 40 33 28 78 29 +1< 3 then @3(x)
3620: 2b 31 20 65 6c 73 65 20 30 20 29 7d 3b 0d 0a 64 +1 else 0 )};..d
3630: 65 66 20 66 62 28 6e 20 40 76 61 6c 75 65 20 40 ef fb(n @value @
3640: 33 29 20 7b 20 40 33 28 6e 29 20 7d 3b 0d 0a 66 3) { @3(n) };..f
3650: 62 28 69 6e 63 72 28 69 6e 63 72 28 69 6e 63 72 b(incr(incr(incr
3660: 28 30 29 29 29 29 0d 0a 09 60 29 2c 20 6e 65 77 (0))))...`), new
3670: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
3680: 28 30 29 29 20 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e (0)) );..}....un
3690: 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f ittest..{...auto
36a0: 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75 61 74 e = new Evaluat
36b0: 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74 or;...enrollRunt
36c0: 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b 0d 0a imeLibrary(e);..
36d0: 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 .assert_nothrow(
36e0: 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 0d e.evalString(`.
36f0: 0a 40 6d 61 63 72 6f 20 74 77 69 63 65 28 78 29 .@macro twice(x)
3700: 20 7b 20 78 3b 20 78 20 7d 3b 0d 0a 64 65 66 20 { x; x };..def
3710: 6d 61 69 6e 28 29 20 7b 20 74 77 69 63 65 28 31 main() { twice(1
3720: 29 20 7d 3b 0d 0a 6d 61 69 6e 28 29 0d 0a 09 60 ) };..main()...`
3730: 29 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 ) );..}..unittes
3740: 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 t..{...auto e =
3750: 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a new Evaluator;..
3760: 09 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 .enrollRuntimeLi
3770: 62 72 61 72 79 28 65 29 3b 0d 0a 09 61 73 73 65 brary(e);...asse
3780: 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 2e 65 76 rt_nothrow( e.ev
3790: 61 6c 53 74 72 69 6e 67 28 60 63 61 73 65 20 31 alString(`case 1
37a0: 60 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e `) );...assert_n
37b0: 6f 74 68 72 6f 77 28 20 65 2e 65 76 61 6c 53 74 othrow( e.evalSt
37c0: 72 69 6e 67 28 60 63 61 73 65 20 31 20 77 68 65 ring(`case 1 whe
37d0: 6e 20 31 3a 20 32 60 29 20 29 3b 0d 0a 0d 0a 09 n 1: 2`) );.....
37e0: 2f 2f 20 74 68 69 73 20 69 73 20 61 20 73 68 6f // this is a sho
37f0: 72 74 68 61 6e 64 20 66 6f 72 0d 0a 09 2f 2f 20 rthand for...//
3800: 20 20 40 6d 61 63 72 6f 20 78 20 3d 20 66 75 6e @macro x = fun
3810: 28 29 7b 7d 20 69 6e 20 40 6d 61 63 72 6f 28 78 (){} in @macro(x
3820: 29 0d 0a 09 2f 2f 20 73 6f 20 69 74 20 69 73 20 )...// so it is
3830: 6f 6b 20 74 6f 20 66 61 69 6c 2c 20 62 75 74 20 ok to fail, but
3840: 69 74 20 69 73 20 72 65 61 6c 6c 79 20 69 6e 63 it is really inc
3850: 6f 76 65 6e 69 65 6e 74 20 6f 6e 20 52 45 50 4c ovenient on REPL
3860: 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f ...assert_nothro
3870: 77 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 w( e.evalString(
3880: 60 40 6d 61 63 72 6f 20 78 3d 66 75 6e 28 29 7b `@macro x=fun(){
3890: 7d 60 29 20 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2a 0d }`) );..}..../*.
38a0: 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 .unittest..{...a
38b0: 73 73 65 72 74 5f 65 71 28 20 65 76 61 6c 53 74 ssert_eq( evalSt
38c0: 72 69 6e 67 28 60 76 61 72 20 66 61 63 20 3d 20 ring(`var fac =
38d0: 66 75 6e 28 78 29 7b 0d 0a 09 09 69 66 28 78 29 fun(x){....if(x)
38e0: 0d 0a 09 09 09 7b 20 78 2a 66 61 63 28 78 2d 31 .....{ x*fac(x-1
38f0: 29 3b 20 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 ); }....else....
3900: 09 7b 20 31 3b 20 7d 3b 0d 0a 09 7d 3b 0d 0a 09 .{ 1; };...};...
3910: 66 61 63 28 31 30 29 3b 60 29 2e 76 61 6c 2c 20 fac(10);`).val,
3920: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
3930: 49 6e 74 28 31 30 2a 39 2a 38 2a 35 30 34 30 29 Int(10*9*8*5040)
3940: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
3950: 20 65 76 61 6c 53 74 72 69 6e 67 28 60 76 61 72 evalString(`var
3960: 20 66 69 62 20 3d 20 66 75 6e 28 78 29 7b 0d 0a fib = fun(x){..
3970: 09 09 69 66 28 78 3c 32 29 0d 0a 09 09 09 7b 20 ..if(x<2).....{
3980: 31 3b 20 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 1; }....else....
3990: 09 7b 20 66 69 62 28 78 2d 31 29 20 2b 20 66 69 .{ fib(x-1) + fi
39a0: 62 28 78 2d 32 29 3b 20 7d 3b 0d 0a 09 7d 3b 0d b(x-2); };...};.
39b0: 0a 09 66 69 62 28 35 29 3b 60 29 2e 76 61 6c 2c ..fib(5);`).val,
39c0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
39d0: 67 49 6e 74 28 38 29 29 29 3b 0d 0a 7d 0d 0a 75 gInt(8)));..}..u
39e0: 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 nittest..{...ass
39f0: 65 72 74 5f 65 71 28 20 65 76 61 6c 53 74 72 69 ert_eq( evalStri
3a00: 6e 67 28 60 40 40 74 20 3d 20 66 75 6e 28 78 29 ng(`@@t = fun(x)
3a10: 7b 78 2b 31 7d 3b 20 40 74 28 31 32 33 29 60 29 {x+1}; @t(123)`)
3a20: 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c .val, new IntVal
3a30: 75 65 28 42 69 67 49 6e 74 28 31 32 34 29 29 20 ue(BigInt(124))
3a40: 29 3b 0d 0a 09 2f 2f 20 74 68 65 72 65 20 77 61 );...// there wa
3a50: 73 20 61 20 62 75 67 20 74 68 61 74 20 64 65 63 s a bug that dec
3a60: 6c 61 72 61 74 69 6f 6e 20 69 6e 20 74 68 65 20 laration in the
3a70: 66 69 72 73 74 20 6c 69 6e 65 20 6f 66 20 66 75 first line of fu
3a80: 6e 63 74 69 6f 6e 20 64 65 66 69 6e 69 74 69 6f nction definitio
3a90: 6e 0d 0a 09 2f 2f 20 63 61 6e 6e 6f 74 20 62 65 n...// cannot be
3aa0: 20 72 65 63 75 72 73 69 76 65 0d 0a 09 61 73 73 recursive...ass
3ab0: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 76 61 ert_nothrow( eva
3ac0: 6c 53 74 72 69 6e 67 28 60 64 65 66 20 66 6f 6f lString(`def foo
3ad0: 28 29 20 7b 0d 0a 20 20 64 65 66 20 62 61 72 28 () {.. def bar(
3ae0: 79 29 20 7b 20 69 66 28 79 3c 31 29 20 7b 30 7d y) { if(y<1) {0}
3af0: 20 65 6c 73 65 20 7b 62 61 72 28 30 29 7d 20 7d else {bar(0)} }
3b00: 3b 0d 0a 20 20 62 61 72 28 31 29 0d 0a 7d 3b 20 ;.. bar(1)..};
3b10: 66 6f 6f 28 29 60 29 20 29 3b 0d 0a 7d 0d 0a 2a foo()`) );..}..*
3b20: 2f 0d 0a /..