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 65 76 61 6c 28 65 2c 20 56 61 6c 75 65 rn eval(e, Value
0260: 4c 61 79 65 72 2c 20 74 68 65 43 6f 6e 74 65 78 Layer, theContex
0270: 74 2c 20 4f 76 65 72 77 72 69 74 65 43 74 78 29 t, OverwriteCtx)
0280: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f 20 45 76 ;...}...../// Ev
0290: 61 6c 75 61 74 65 20 74 68 65 20 73 74 72 69 6e aluate the strin
02a0: 67 0d 0a 09 56 61 6c 75 65 20 65 76 61 6c 53 74 g...Value evalSt
02b0: 72 69 6e 67 28 53 2c 54 2e 2e 2e 29 28 53 20 73 ring(S,T...)(S s
02c0: 74 72 2c 20 54 20 66 6e 5f 6c 6e 5f 63 6e 29 0d tr, T fn_ln_cn).
02d0: 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 65 76 ..{....return ev
02e0: 61 6c 41 53 54 28 70 61 72 73 65 53 74 72 69 6e alAST(parseStrin
02f0: 67 28 73 74 72 2c 66 6e 5f 6c 6e 5f 63 6e 29 29 g(str,fn_ln_cn))
0300: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f 20 45 76 ;...}...../// Ev
0310: 61 6c 75 61 74 65 20 74 68 65 20 66 69 6c 65 0d aluate the file.
0320: 0a 09 56 61 6c 75 65 20 65 76 61 6c 46 69 6c 65 ..Value evalFile
0330: 28 53 2c 54 2e 2e 2e 29 28 53 20 66 69 6c 65 6e (S,T...)(S filen
0340: 61 6d 65 2c 20 54 20 6c 6e 5f 63 6e 29 0d 0a 09 ame, T ln_cn)...
0350: 7b 0d 0a 09 09 72 65 74 75 72 6e 20 65 76 61 6c {....return eval
0360: 41 53 54 28 70 61 72 73 65 46 69 6c 65 28 66 69 AST(parseFile(fi
0370: 6c 65 6e 61 6d 65 2c 6c 6e 5f 63 6e 29 29 3b 0d lename,ln_cn));.
0380: 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f 20 47 65 74 20 ..}...../// Get
0390: 74 68 65 20 67 6c 6f 62 61 6c 20 63 6f 6e 74 65 the global conte
03a0: 78 74 0d 0a 09 54 61 62 6c 65 20 67 6c 6f 62 61 xt...Table globa
03b0: 6c 43 6f 6e 74 65 78 74 28 29 0d 0a 09 7b 0d 0a lContext()...{..
03c0: 09 09 72 65 74 75 72 6e 20 74 68 65 43 6f 6e 74 ..return theCont
03d0: 65 78 74 3b 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 76 ext;...}....priv
03e0: 61 74 65 3a 0d 0a 09 54 61 62 6c 65 20 74 68 65 ate:...Table the
03f0: 43 6f 6e 74 65 78 74 3b 0d 0a 0d 0a 09 65 6e 75 Context;.....enu
0400: 6d 20 3a 20 62 6f 6f 6c 20 7b 20 43 61 73 63 61 m : bool { Casca
0410: 64 65 43 74 78 3d 66 61 6c 73 65 2c 20 4f 76 65 deCtx=false, Ove
0420: 72 77 72 69 74 65 43 74 78 3d 74 72 75 65 20 7d rwriteCtx=true }
0430: 3b 0d 0a 09 56 61 6c 75 65 20 65 76 61 6c 28 20 ;...Value eval(
0440: 41 53 54 20 65 2c 20 4c 61 79 65 72 20 6c 61 79 AST e, Layer lay
0450: 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f , Table ctx, boo
0460: 6c 20 6f 76 65 72 77 72 69 74 65 43 74 78 3d 43 l overwriteCtx=C
0470: 61 73 63 61 64 65 43 74 78 20 29 0d 0a 09 7b 0d ascadeCtx )...{.
0480: 0a 09 09 2f 2f 20 64 79 6e 61 6d 69 63 2d 6f 76 ...// dynamic-ov
0490: 65 72 6c 6f 61 64 2d 72 65 73 6f 6c 75 74 69 6f erload-resolutio
04a0: 6e 2d 70 61 74 74 65 72 6e 3a 20 6d 6f 64 69 66 n-pattern: modif
04b0: 79 20 68 65 72 65 0d 0a 09 09 65 6e 75 6d 20 66 y here....enum f
04c0: 75 6e 4e 61 6d 65 20 3d 20 22 65 76 61 6c 22 3b unName = "eval";
04d0: 0d 0a 09 09 61 6c 69 61 73 20 54 79 70 65 54 75 ....alias TypeTu
04e0: 70 6c 65 21 28 65 2c 6c 61 79 2c 63 74 78 2c 6f ple!(e,lay,ctx,o
04f0: 76 65 72 77 72 69 74 65 43 74 78 29 20 70 61 72 verwriteCtx) par
0500: 61 6d 73 3b 0d 0a 0d 0a 09 09 2f 2f 20 64 79 6e ams;......// dyn
0510: 61 6d 69 63 2d 6f 76 65 72 6c 6f 61 64 2d 72 65 amic-overload-re
0520: 73 6f 6c 75 74 69 6f 6e 2d 70 61 74 74 65 72 6e solution-pattern
0530: 3a 20 64 69 73 70 61 74 63 68 0d 0a 09 09 61 6c : dispatch....al
0540: 69 61 73 20 74 79 70 65 6f 66 28 5f 5f 74 72 61 ias typeof(__tra
0550: 69 74 73 28 67 65 74 4f 76 65 72 6c 6f 61 64 73 its(getOverloads
0560: 2c 20 74 68 69 73 2c 20 66 75 6e 4e 61 6d 65 29 , this, funName)
0570: 29 20 6f 76 54 79 70 65 73 3b 0d 0a 09 09 61 6c ) ovTypes;....al
0580: 69 61 73 20 73 74 61 74 69 63 4d 61 70 21 28 66 ias staticMap!(f
0590: 69 72 73 74 50 61 72 61 6d 2c 20 6f 76 54 79 70 irstParam, ovTyp
05a0: 65 73 29 20 20 20 20 20 20 20 20 20 20 20 20 20 es)
05b0: 20 66 73 74 54 79 70 65 73 3b 0d 0a 09 09 61 6c fstTypes;....al
05c0: 69 61 73 20 44 65 72 69 76 65 64 54 6f 46 72 6f ias DerivedToFro
05d0: 6e 74 21 28 66 73 74 54 79 70 65 73 29 20 20 20 nt!(fstTypes)
05e0: 20 20 20 20 20 20 20 20 20 20 66 73 74 54 79 70 fstTyp
05f0: 65 73 5f 73 6f 72 74 65 64 3b 0d 0a 09 09 66 6f es_sorted;....fo
0600: 72 65 61 63 68 28 69 2c 20 54 3b 20 66 73 74 54 reach(i, T; fstT
0610: 79 70 65 73 5f 73 6f 72 74 65 64 29 0d 0a 09 09 ypes_sorted)....
0620: 09 73 74 61 74 69 63 20 69 66 28 20 69 73 28 54 .static if( is(T
0630: 20 3d 3d 20 74 79 70 65 6f 66 28 70 61 72 61 6d == typeof(param
0640: 73 5b 30 5d 29 29 20 29 20 7b 7d 20 65 6c 73 65 s[0])) ) {} else
0650: 20 69 66 28 20 61 75 74 6f 20 5f 78 20 3d 20 63 if( auto _x = c
0660: 61 73 74 28 54 29 70 61 72 61 6d 73 5b 30 5d 20 ast(T)params[0]
0670: 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 5f 5f )......return __
0680: 74 72 61 69 74 73 28 67 65 74 4f 76 65 72 6c 6f traits(getOverlo
0690: 61 64 73 2c 20 74 68 69 73 2c 20 66 75 6e 4e 61 ads, this, funNa
06a0: 6d 65 29 5b 69 5d 28 5f 78 2c 20 70 61 72 61 6d me)[i](_x, param
06b0: 73 5b 31 2e 2e 24 5d 29 3b 0d 0a 0d 0a 09 09 2f s[1..$]);....../
06c0: 2f 20 64 79 6e 61 6d 69 63 2d 6f 76 65 72 6c 6f / dynamic-overlo
06d0: 61 64 2d 72 65 73 6f 6c 75 74 69 6f 6e 2d 70 61 ad-resolution-pa
06e0: 74 74 65 72 6e 3a 20 64 65 66 61 75 6c 74 20 62 ttern: default b
06f0: 65 68 61 76 69 6f 72 0d 0a 09 09 61 73 73 65 72 ehavior....asser
0700: 74 28 66 61 6c 73 65 2c 20 74 65 78 74 28 22 65 t(false, text("e
0710: 76 61 6c 28 29 20 66 6f 72 20 22 2c 74 79 70 65 val() for ",type
0720: 69 64 28 65 29 2c 22 20 5b 22 2c 65 2e 70 6f 73 id(e)," [",e.pos
0730: 2c 22 5d 20 69 73 20 6e 6f 74 20 64 65 66 69 6e ,"] is not defin
0740: 65 64 22 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 ed"));...}.....V
0750: 61 6c 75 65 20 65 76 61 6c 28 20 53 74 72 20 65 alue eval( Str e
0760: 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 , Layer lay, Tab
0770: 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 le ctx, bool ove
0780: 72 77 72 69 74 65 43 74 78 3d 43 61 73 63 61 64 rwriteCtx=Cascad
0790: 65 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 eCtx )...{....if
07a0: 28 20 69 73 4d 61 63 72 6f 69 73 68 4c 61 79 65 ( isMacroishLaye
07b0: 72 28 6c 61 79 29 20 29 0d 0a 09 09 09 72 65 74 r(lay) ).....ret
07c0: 75 72 6e 20 61 73 74 32 74 61 62 6c 65 28 65 2c urn ast2table(e,
07d0: 20 28 41 53 54 20 65 29 7b 72 65 74 75 72 6e 20 (AST e){return
07e0: 65 76 61 6c 28 65 2c 6c 61 79 2c 63 74 78 29 3b eval(e,lay,ctx);
07f0: 7d 29 3b 0d 0a 09 09 69 66 28 20 6c 61 79 3d 3d });....if( lay==
0800: 56 61 6c 75 65 4c 61 79 65 72 20 29 0d 0a 09 09 ValueLayer )....
0810: 09 72 65 74 75 72 6e 20 6e 65 77 20 53 74 72 56 .return new StrV
0820: 61 6c 75 65 28 65 2e 64 61 74 61 29 3b 0d 0a 09 alue(e.data);...
0830: 09 72 65 74 75 72 6e 20 6c 69 66 74 28 6e 65 77 .return lift(new
0840: 20 53 74 72 56 61 6c 75 65 28 65 2e 64 61 74 61 StrValue(e.data
0850: 29 2c 20 6c 61 79 2c 20 63 74 78 2c 20 65 2e 70 ), lay, ctx, e.p
0860: 6f 73 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c os);...}.....Val
0870: 75 65 20 65 76 61 6c 28 20 49 6e 74 20 65 2c 20 ue eval( Int e,
0880: 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 Layer lay, Table
0890: 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 77 ctx, bool overw
08a0: 72 69 74 65 43 74 78 3d 43 61 73 63 61 64 65 43 riteCtx=CascadeC
08b0: 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 tx )...{....if(
08c0: 69 73 4d 61 63 72 6f 69 73 68 4c 61 79 65 72 28 isMacroishLayer(
08d0: 6c 61 79 29 20 29 0d 0a 09 09 09 72 65 74 75 72 lay) ).....retur
08e0: 6e 20 61 73 74 32 74 61 62 6c 65 28 65 2c 20 28 n ast2table(e, (
08f0: 41 53 54 20 65 29 7b 72 65 74 75 72 6e 20 65 76 AST e){return ev
0900: 61 6c 28 65 2c 6c 61 79 2c 63 74 78 29 3b 7d 29 al(e,lay,ctx);})
0910: 3b 0d 0a 09 09 69 66 28 20 6c 61 79 3d 3d 56 61 ;....if( lay==Va
0920: 6c 75 65 4c 61 79 65 72 20 29 0d 0a 09 09 09 72 lueLayer ).....r
0930: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c eturn new IntVal
0940: 75 65 28 65 2e 64 61 74 61 29 3b 0d 0a 09 09 72 ue(e.data);....r
0950: 65 74 75 72 6e 20 6c 69 66 74 28 6e 65 77 20 49 eturn lift(new I
0960: 6e 74 56 61 6c 75 65 28 65 2e 64 61 74 61 29 2c ntValue(e.data),
0970: 20 6c 61 79 2c 20 63 74 78 2c 20 65 2e 70 6f 73 lay, ctx, e.pos
0980: 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c 75 65 );...}.....Value
0990: 20 65 76 61 6c 28 20 56 61 72 20 65 2c 20 4c 61 eval( Var e, La
09a0: 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 yer lay, Table c
09b0: 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 77 72 69 tx, bool overwri
09c0: 74 65 43 74 78 3d 43 61 73 63 61 64 65 43 74 78 teCtx=CascadeCtx
09d0: 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69 73 )...{....if( is
09e0: 4d 61 63 72 6f 69 73 68 4c 61 79 65 72 28 6c 61 MacroishLayer(la
09f0: 79 29 20 29 0d 0a 09 09 09 69 66 28 20 63 74 78 y) ).....if( ctx
0a00: 2e 68 61 73 28 65 2e 6e 61 6d 65 2c 4d 61 63 72 .has(e.name,Macr
0a10: 6f 4c 61 79 65 72 29 20 29 0d 0a 09 09 09 09 72 oLayer) )......r
0a20: 65 74 75 72 6e 20 63 74 78 2e 67 65 74 28 65 2e eturn ctx.get(e.
0a30: 6e 61 6d 65 2c 20 4d 61 63 72 6f 4c 61 79 65 72 name, MacroLayer
0a40: 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 09 09 65 6c , e.pos);.....el
0a50: 73 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 61 se......return a
0a60: 73 74 32 74 61 62 6c 65 28 65 2c 20 28 41 53 54 st2table(e, (AST
0a70: 20 65 29 7b 72 65 74 75 72 6e 20 65 76 61 6c 28 e){return eval(
0a80: 65 2c 6c 61 79 2c 63 74 78 29 3b 7d 29 3b 0d 0a e,lay,ctx);});..
0a90: 09 09 69 66 28 20 6c 61 79 3d 3d 56 61 6c 75 65 ..if( lay==Value
0aa0: 4c 61 79 65 72 20 7c 7c 20 63 74 78 2e 68 61 73 Layer || ctx.has
0ab0: 28 65 2e 6e 61 6d 65 2c 20 6c 61 79 29 20 29 0d (e.name, lay) ).
0ac0: 0a 09 09 09 72 65 74 75 72 6e 20 63 74 78 2e 67 ....return ctx.g
0ad0: 65 74 28 65 2e 6e 61 6d 65 2c 20 6c 61 79 2c 20 et(e.name, lay,
0ae0: 65 2e 70 6f 73 29 3b 0d 0a 09 09 72 65 74 75 72 e.pos);....retur
0af0: 6e 20 6c 69 66 74 28 63 74 78 2e 67 65 74 28 65 n lift(ctx.get(e
0b00: 2e 6e 61 6d 65 2c 20 56 61 6c 75 65 4c 61 79 65 .name, ValueLaye
0b10: 72 2c 20 65 2e 70 6f 73 29 2c 20 6c 61 79 2c 20 r, e.pos), lay,
0b20: 63 74 78 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 7d ctx, e.pos);...}
0b30: 0d 0a 0d 0a 09 56 61 6c 75 65 20 65 76 61 6c 28 .....Value eval(
0b40: 20 41 70 70 20 65 2c 20 4c 61 79 65 72 20 6c 61 App e, Layer la
0b50: 79 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f y, Table ctx, bo
0b60: 6f 6c 20 6f 76 65 72 77 72 69 74 65 43 74 78 3d ol overwriteCtx=
0b70: 43 61 73 63 61 64 65 43 74 78 20 29 0d 0a 09 7b CascadeCtx )...{
0b80: 0d 0a 09 09 56 61 6c 75 65 20 66 20 3d 20 65 76 ....Value f = ev
0b90: 61 6c 28 20 65 2e 66 75 6e 2c 20 6c 61 79 2c 20 al( e.fun, lay,
0ba0: 63 74 78 20 29 3b 0d 0a 09 09 69 66 28 20 69 73 ctx );....if( is
0bb0: 4d 61 63 72 6f 69 73 68 4c 61 79 65 72 28 6c 61 MacroishLayer(la
0bc0: 79 29 20 29 0d 0a 09 09 09 69 66 28 20 61 75 74 y) ).....if( aut
0bd0: 6f 20 66 66 20 3d 20 63 61 73 74 28 46 75 6e 56 o ff = cast(FunV
0be0: 61 6c 75 65 29 66 20 29 0d 0a 09 09 09 09 72 65 alue)f )......re
0bf0: 74 75 72 6e 20 69 6e 76 6f 6b 65 46 75 6e 63 74 turn invokeFunct
0c00: 69 6f 6e 28 66 66 2c 20 65 2e 61 72 67 73 2c 20 ion(ff, e.args,
0c10: 4d 61 63 72 6f 4c 61 79 65 72 2c 20 63 74 78 2c MacroLayer, ctx,
0c20: 20 65 2e 70 6f 73 2c 20 67 65 74 4e 61 6d 65 49 e.pos, getNameI
0c30: 66 50 6f 73 73 69 62 6c 65 28 65 2e 66 75 6e 29 fPossible(e.fun)
0c40: 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 );.....else.....
0c50: 09 72 65 74 75 72 6e 20 61 73 74 32 74 61 62 6c .return ast2tabl
0c60: 65 28 65 2c 20 28 41 53 54 20 65 29 7b 72 65 74 e(e, (AST e){ret
0c70: 75 72 6e 20 65 76 61 6c 28 65 2c 6c 61 79 2c 63 urn eval(e,lay,c
0c80: 74 78 29 3b 7d 29 3b 0d 0a 09 09 72 65 74 75 72 tx);});....retur
0c90: 6e 20 69 6e 76 6f 6b 65 46 75 6e 63 74 69 6f 6e n invokeFunction
0ca0: 28 66 2c 20 65 2e 61 72 67 73 2c 20 6c 61 79 2c (f, e.args, lay,
0cb0: 20 63 74 78 2c 20 65 2e 70 6f 73 2c 20 67 65 74 ctx, e.pos, get
0cc0: 4e 61 6d 65 49 66 50 6f 73 73 69 62 6c 65 28 65 NameIfPossible(e
0cd0: 2e 66 75 6e 29 29 3b 0d 0a 09 7d 0d 0a 09 0d 0a .fun));...}.....
0ce0: 09 56 61 6c 75 65 20 65 76 61 6c 28 20 46 75 6e .Value eval( Fun
0cf0: 20 65 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 e, Layer lay, T
0d00: 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f able ctx, bool o
0d10: 76 65 72 77 72 69 74 65 43 74 78 3d 43 61 73 63 verwriteCtx=Casc
0d20: 61 64 65 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 adeCtx )...{....
0d30: 69 66 28 20 69 73 4d 61 63 72 6f 69 73 68 4c 61 if( isMacroishLa
0d40: 79 65 72 28 6c 61 79 29 20 29 0d 0a 09 09 09 72 yer(lay) ).....r
0d50: 65 74 75 72 6e 20 61 73 74 32 74 61 62 6c 65 28 eturn ast2table(
0d60: 65 2c 20 28 41 53 54 20 65 29 7b 72 65 74 75 72 e, (AST e){retur
0d70: 6e 20 65 76 61 6c 28 65 2c 6c 61 79 2c 63 74 78 n eval(e,lay,ctx
0d80: 29 3b 7d 29 3b 0d 0a 09 09 65 6c 73 65 0d 0a 09 );});....else...
0d90: 09 09 72 65 74 75 72 6e 20 63 72 65 61 74 65 4e ..return createN
0da0: 65 77 46 75 6e 63 74 69 6f 6e 28 65 2c 20 63 74 ewFunction(e, ct
0db0: 78 29 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 56 61 6c x);...}......Val
0dc0: 75 65 20 65 76 61 6c 28 20 4c 61 79 20 65 2c 20 ue eval( Lay e,
0dd0: 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 Layer lay, Table
0de0: 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 77 ctx, bool overw
0df0: 72 69 74 65 43 74 78 3d 43 61 73 63 61 64 65 43 riteCtx=CascadeC
0e00: 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 tx )...{....if(
0e10: 69 73 4e 6f 4c 61 79 65 72 43 68 61 6e 67 65 4c isNoLayerChangeL
0e20: 61 79 65 72 28 6c 61 79 29 20 29 0d 0a 09 09 09 ayer(lay) ).....
0e30: 72 65 74 75 72 6e 20 61 73 74 32 74 61 62 6c 65 return ast2table
0e40: 28 65 2c 20 28 41 53 54 20 65 29 7b 72 65 74 75 (e, (AST e){retu
0e50: 72 6e 20 65 76 61 6c 28 65 2c 6c 61 79 2c 63 74 rn eval(e,lay,ct
0e60: 78 29 3b 7d 29 3b 0d 0a 09 09 65 6c 73 65 0d 0a x);});....else..
0e70: 09 09 09 72 65 74 75 72 6e 20 65 76 61 6c 28 65 ...return eval(e
0e80: 2e 65 78 70 72 2c 20 65 2e 6c 61 79 65 72 2c 20 .expr, e.layer,
0e90: 63 74 78 29 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 56 ctx);...}......V
0ea0: 61 6c 75 65 20 65 76 61 6c 28 20 4c 65 74 20 65 alue eval( Let e
0eb0: 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 , Layer lay, Tab
0ec0: 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 le ctx, bool ove
0ed0: 72 77 72 69 74 65 43 74 78 3d 43 61 73 63 61 64 rwriteCtx=Cascad
0ee0: 65 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 2f 2f eCtx )...{....//
0ef0: 20 74 6f 64 6f 20 40 6d 61 63 72 6f 20 6c 65 74 todo @macro let
0f00: 0d 0a 09 09 69 66 28 20 69 73 4d 61 63 72 6f 69 ....if( isMacroi
0f10: 73 68 4c 61 79 65 72 28 6c 61 79 29 20 29 0d 0a shLayer(lay) )..
0f20: 09 09 09 72 65 74 75 72 6e 20 61 73 74 32 74 61 ...return ast2ta
0f30: 62 6c 65 28 65 2c 20 28 41 53 54 20 65 29 7b 72 ble(e, (AST e){r
0f40: 65 74 75 72 6e 20 65 76 61 6c 28 65 2c 6c 61 79 eturn eval(e,lay
0f50: 2c 63 74 78 29 3b 7d 29 3b 0d 0a 09 09 65 6c 73 ,ctx);});....els
0f60: 65 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 28 20 21 e....{.....if( !
0f70: 6f 76 65 72 77 72 69 74 65 43 74 78 20 29 0d 0a overwriteCtx )..
0f80: 09 09 09 09 63 74 78 20 3d 20 6e 65 77 20 54 61 ....ctx = new Ta
0f90: 62 6c 65 28 63 74 78 2c 20 54 61 62 6c 65 2e 4b ble(ctx, Table.K
0fa0: 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 61 74 65 ind.NotPropagate
0fb0: 53 65 74 29 3b 0d 0a 09 09 09 56 61 6c 75 65 20 Set);.....Value
0fc0: 72 69 20 3d 20 65 76 61 6c 28 65 2e 69 6e 69 74 ri = eval(e.init
0fd0: 2c 20 6c 61 79 2c 20 63 74 78 29 3b 0d 0a 09 09 , lay, ctx);....
0fe0: 09 73 74 72 69 6e 67 20 74 68 65 4c 61 79 65 72 .string theLayer
0ff0: 20 3d 20 65 2e 6c 61 79 65 72 2e 65 6d 70 74 79 = e.layer.empty
1000: 20 3f 20 6c 61 79 20 3a 20 65 2e 6c 61 79 65 72 ? lay : e.layer
1010: 3b 20 2f 2f 20 6e 65 75 74 72 61 6c 20 6c 61 79 ; // neutral lay
1020: 65 72 0d 0a 09 09 09 63 74 78 2e 73 65 74 28 65 er.....ctx.set(e
1030: 2e 6e 61 6d 65 2c 20 74 68 65 4c 61 79 65 72 2c .name, theLayer,
1040: 20 72 69 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e ri);.....return
1050: 20 65 76 61 6c 28 65 2e 65 78 70 72 2c 20 6c 61 eval(e.expr, la
1060: 79 2c 20 63 74 78 2c 20 4f 76 65 72 77 72 69 74 y, ctx, Overwrit
1070: 65 43 74 78 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d eCtx);....}...}.
1080: 0a 0d 0a 70 72 69 76 61 74 65 3a 0d 0a 09 73 74 ...private:...st
1090: 72 69 6e 67 20 67 65 74 4e 61 6d 65 49 66 50 6f ring getNameIfPo
10a0: 73 73 69 62 6c 65 28 41 53 54 20 65 29 0d 0a 09 ssible(AST e)...
10b0: 7b 0d 0a 09 09 69 66 28 61 75 74 6f 20 76 20 3d {....if(auto v =
10c0: 20 63 61 73 74 28 56 61 72 29 65 29 0d 0a 09 09 cast(Var)e)....
10d0: 09 72 65 74 75 72 6e 20 76 2e 6e 61 6d 65 3b 0d .return v.name;.
10e0: 0a 09 09 72 65 74 75 72 6e 20 22 22 3b 0d 0a 09 ...return "";...
10f0: 7d 0d 0a 09 0d 0a 09 56 61 6c 75 65 20 69 6e 76 }......Value inv
1100: 6f 6b 65 46 75 6e 63 74 69 6f 6e 28 56 61 6c 75 okeFunction(Valu
1110: 65 20 5f 66 2c 20 41 53 54 5b 5d 20 61 72 67 73 e _f, AST[] args
1120: 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 , Layer lay, Tab
1130: 6c 65 20 63 74 78 2c 20 4c 65 78 50 6f 73 69 74 le ctx, LexPosit
1140: 69 6f 6e 20 70 6f 73 2c 20 73 74 72 69 6e 67 20 ion pos, string
1150: 63 61 6c 6c 73 74 61 63 6b 6d 73 67 29 0d 0a 09 callstackmsg)...
1160: 7b 0d 0a 09 09 69 66 28 61 75 74 6f 20 66 20 3d {....if(auto f =
1170: 20 63 61 73 74 28 46 75 6e 56 61 6c 75 65 29 5f cast(FunValue)_
1180: 66 29 0d 0a 09 09 7b 0d 0a 09 09 09 54 61 62 6c f)....{.....Tabl
1190: 65 20 6e 65 77 43 74 78 20 3d 20 6e 65 77 20 54 e newCtx = new T
11a0: 61 62 6c 65 28 66 2e 64 65 66 69 6e 69 74 69 6f able(f.definitio
11b0: 6e 43 6f 6e 74 65 78 74 28 29 2c 20 54 61 62 6c nContext(), Tabl
11c0: 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 e.Kind.NotPropag
11d0: 61 74 65 53 65 74 29 3b 0d 0a 09 09 09 66 6f 72 ateSet);.....for
11e0: 65 61 63 68 28 69 2c 70 3b 20 66 2e 70 61 72 61 each(i,p; f.para
11f0: 6d 73 28 29 29 0d 0a 09 09 09 09 69 66 28 20 70 ms())......if( p
1200: 2e 6c 61 79 65 72 73 2e 65 6d 70 74 79 20 29 0d .layers.empty ).
1210: 0a 09 09 09 09 09 6e 65 77 43 74 78 2e 73 65 74 ......newCtx.set
1220: 28 70 2e 6e 61 6d 65 2c 20 28 6c 61 79 3d 3d 52 (p.name, (lay==R
1230: 61 77 4d 61 63 72 6f 4c 61 79 65 72 20 3f 20 4d awMacroLayer ? M
1240: 61 63 72 6f 4c 61 79 65 72 20 3a 20 6c 61 79 29 acroLayer : lay)
1250: 2c 20 65 76 61 6c 28 61 72 67 73 5b 69 5d 2c 20 , eval(args[i],
1260: 6c 61 79 2c 20 63 74 78 29 29 3b 0d 0a 09 09 09 lay, ctx));.....
1270: 09 65 6c 73 65 0d 0a 09 09 09 09 09 66 6f 72 65 .else.......fore
1280: 61 63 68 28 61 72 67 4c 61 79 3b 20 70 2e 6c 61 ach(argLay; p.la
1290: 79 65 72 73 29 0d 0a 09 09 09 09 09 09 6e 65 77 yers)........new
12a0: 43 74 78 2e 73 65 74 28 70 2e 6e 61 6d 65 2c 20 Ctx.set(p.name,
12b0: 61 72 67 4c 61 79 2c 20 65 76 61 6c 28 61 72 67 argLay, eval(arg
12c0: 73 5b 69 5d 2c 20 61 72 67 4c 61 79 2c 20 63 74 s[i], argLay, ct
12d0: 78 29 29 3b 0d 0a 09 09 09 73 63 6f 70 65 20 5f x));.....scope _
12e0: 20 3d 20 6e 65 77 20 50 75 73 68 43 61 6c 6c 53 = new PushCallS
12f0: 74 61 63 6b 28 70 6f 73 2c 20 63 61 6c 6c 73 74 tack(pos, callst
1300: 61 63 6b 6d 73 67 29 3b 0d 0a 09 09 09 72 65 74 ackmsg);.....ret
1310: 75 72 6e 20 66 2e 69 6e 76 6f 6b 65 28 6c 61 79 urn f.invoke(lay
1320: 3d 3d 52 61 77 4d 61 63 72 6f 4c 61 79 65 72 20 ==RawMacroLayer
1330: 3f 20 4d 61 63 72 6f 4c 61 79 65 72 20 3a 20 6c ? MacroLayer : l
1340: 61 79 2c 20 6e 65 77 43 74 78 2c 20 70 6f 73 29 ay, newCtx, pos)
1350: 3b 0d 0a 09 09 7d 0d 0a 09 09 74 68 72 6f 77 20 ;....}....throw
1360: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
1370: 65 70 74 69 6f 6e 28 70 6f 73 2c 20 74 65 78 74 eption(pos, text
1380: 28 22 74 72 69 65 64 20 74 6f 20 63 61 6c 6c 20 ("tried to call
1390: 6e 6f 6e 2d 66 75 6e 63 74 69 6f 6e 3a 20 22 2c non-function: ",
13a0: 5f 66 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 _f));...}.....Va
13b0: 6c 75 65 20 6c 69 66 74 28 56 61 6c 75 65 20 76 lue lift(Value v
13c0: 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 , Layer lay, Tab
13d0: 6c 65 20 63 74 78 2c 20 4c 65 78 50 6f 73 69 74 le ctx, LexPosit
13e0: 69 6f 6e 20 70 6f 73 29 0d 0a 09 7b 0d 0a 09 09 ion pos)...{....
13f0: 61 73 73 65 72 74 28 20 21 69 73 4d 61 63 72 6f assert( !isMacro
1400: 69 73 68 4c 61 79 65 72 28 6c 61 79 29 2c 20 22 ishLayer(lay), "
1410: 6c 69 66 74 20 74 6f 20 74 68 65 20 40 6d 61 63 lift to the @mac
1420: 72 6f 20 6c 61 79 65 72 20 73 68 6f 75 6c 64 20 ro layer should
1430: 6e 65 76 65 72 20 68 61 70 70 65 6e 22 20 29 3b never happen" );
1440: 0d 0a 0d 0a 09 09 2f 2f 20 66 75 6e 63 74 69 6f ......// functio
1450: 6e 73 20 61 72 65 20 61 75 74 6f 6d 61 74 69 63 ns are automatic
1460: 61 6c 6c 79 20 6c 69 66 74 65 72 64 0d 0a 09 09 ally lifterd....
1470: 69 66 28 20 63 61 73 74 28 46 75 6e 56 61 6c 75 if( cast(FunValu
1480: 65 29 20 76 20 29 0d 0a 09 09 09 72 65 74 75 72 e) v ).....retur
1490: 6e 20 76 3b 0d 0a 0d 0a 09 09 69 66 28 20 21 63 n v;......if( !c
14a0: 74 78 2e 68 61 73 28 6c 61 79 2c 20 53 79 73 74 tx.has(lay, Syst
14b0: 65 6d 4c 61 79 65 72 29 20 29 0d 0a 09 09 09 74 emLayer) ).....t
14c0: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
14d0: 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c meException(pos,
14e0: 20 22 6c 69 66 74 20 66 75 6e 63 74 69 6f 6e 20 "lift function
14f0: 66 6f 72 20 22 7e 6c 61 79 7e 22 20 69 73 20 6e for "~lay~" is n
1500: 6f 74 20 72 65 67 69 73 74 65 72 65 64 22 20 29 ot registered" )
1510: 3b 0d 0a 0d 0a 09 09 2f 2f 20 73 69 6d 69 6c 61 ;......// simila
1520: 72 20 74 6f 20 69 6e 76 6f 6b 65 46 75 6e 63 74 r to invokeFunct
1530: 69 6f 6e 2c 20 62 75 74 20 77 69 74 68 20 6f 6e ion, but with on
1540: 6c 79 20 6f 6e 65 20 61 72 67 75 6d 65 6e 74 20 ly one argument
1550: 62 6f 75 6e 64 20 74 6f 20 56 61 6c 75 65 4c 61 bound to ValueLa
1560: 79 65 72 0d 0a 09 09 61 75 74 6f 20 5f 66 20 3d yer....auto _f =
1570: 20 63 74 78 2e 67 65 74 28 6c 61 79 2c 20 53 79 ctx.get(lay, Sy
1580: 73 74 65 6d 4c 61 79 65 72 2c 20 70 6f 73 29 3b stemLayer, pos);
1590: 0d 0a 09 09 69 66 28 61 75 74 6f 20 66 20 3d 20 ....if(auto f =
15a0: 63 61 73 74 28 46 75 6e 56 61 6c 75 65 29 5f 66 cast(FunValue)_f
15b0: 29 0d 0a 09 09 7b 0d 0a 09 09 09 54 61 62 6c 65 )....{.....Table
15c0: 20 6e 65 77 43 74 78 20 3d 20 6e 65 77 20 54 61 newCtx = new Ta
15d0: 62 6c 65 28 66 2e 64 65 66 69 6e 69 74 69 6f 6e ble(f.definition
15e0: 43 6f 6e 74 65 78 74 28 29 2c 20 54 61 62 6c 65 Context(), Table
15f0: 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 61 .Kind.NotPropaga
1600: 74 65 53 65 74 29 3b 0d 0a 09 09 09 61 75 74 6f teSet);.....auto
1610: 20 70 73 20 3d 20 66 2e 70 61 72 61 6d 73 28 29 ps = f.params()
1620: 3b 0d 0a 09 09 09 69 66 28 20 70 73 2e 6c 65 6e ;.....if( ps.len
1630: 67 74 68 20 21 3d 20 31 20 29 0d 0a 09 09 09 09 gth != 1 )......
1640: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 throw genex!Runt
1650: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 imeException(pos
1660: 2c 0d 0a 09 09 09 09 09 74 65 78 74 28 22 6c 69 ,.......text("li
1670: 66 74 20 66 75 6e 63 74 69 6f 6e 20 66 6f 72 22 ft function for"
1680: 2c 20 6c 61 79 2c 20 22 20 6d 75 73 74 20 74 61 , lay, " must ta
1690: 6b 65 20 65 78 61 63 74 6c 79 20 6f 6e 65 20 61 ke exactly one a
16a0: 72 67 75 6d 65 6e 74 20 6f 66 20 22 2c 20 56 61 rgument of ", Va
16b0: 6c 75 65 4c 61 79 65 72 29 29 3b 0d 0a 09 09 09 lueLayer));.....
16c0: 69 66 28 20 70 73 5b 30 5d 2e 6c 61 79 65 72 73 if( ps[0].layers
16d0: 2e 6c 65 6e 67 74 68 3d 3d 30 20 7c 7c 20 70 73 .length==0 || ps
16e0: 5b 30 5d 2e 6c 61 79 65 72 73 2e 6c 65 6e 67 74 [0].layers.lengt
16f0: 68 3d 3d 31 20 26 26 20 70 73 5b 30 5d 2e 6c 61 h==1 && ps[0].la
1700: 79 65 72 73 5b 30 5d 3d 3d 56 61 6c 75 65 4c 61 yers[0]==ValueLa
1710: 79 65 72 20 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 yer ).....{.....
1720: 09 6e 65 77 43 74 78 2e 73 65 74 28 70 73 5b 30 .newCtx.set(ps[0
1730: 5d 2e 6e 61 6d 65 2c 20 56 61 6c 75 65 4c 61 79 ].name, ValueLay
1740: 65 72 2c 20 76 29 3b 0d 0a 09 09 09 09 73 63 6f er, v);......sco
1750: 70 65 20 5f 20 3d 20 6e 65 77 20 50 75 73 68 43 pe _ = new PushC
1760: 61 6c 6c 53 74 61 63 6b 28 70 6f 73 2c 20 6c 61 allStack(pos, la
1770: 79 29 3b 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 y);......return
1780: 66 2e 69 6e 76 6f 6b 65 28 56 61 6c 75 65 4c 61 f.invoke(ValueLa
1790: 79 65 72 2c 20 6e 65 77 43 74 78 2c 20 70 6f 73 yer, newCtx, pos
17a0: 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 65 6c 73 );.....}.....els
17b0: 65 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e e......throw gen
17c0: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
17d0: 69 6f 6e 28 70 6f 73 2c 0d 0a 09 09 09 09 09 74 ion(pos,.......t
17e0: 65 78 74 28 22 6c 69 66 74 20 66 75 6e 63 74 69 ext("lift functi
17f0: 6f 6e 20 66 6f 72 22 2c 20 6c 61 79 2c 20 22 20 on for", lay, "
1800: 6d 75 73 74 20 74 61 6b 65 20 65 78 61 63 74 6c must take exactl
1810: 79 20 6f 6e 65 20 61 72 67 75 6d 65 6e 74 20 6f y one argument o
1820: 66 20 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 f ", ValueLayer)
1830: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 74 68 72 6f 77 );....}....throw
1840: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
1850: 63 65 70 74 69 6f 6e 28 70 6f 73 2c 0d 0a 09 09 ception(pos,....
1860: 09 74 65 78 74 28 22 6e 6f 6e 2d 66 75 6e 63 74 .text("non-funct
1870: 69 6f 6e 20 22 2c 20 5f 66 2c 20 22 20 69 73 20 ion ", _f, " is
1880: 72 65 67 69 73 74 65 72 65 64 20 61 73 20 74 68 registered as th
1890: 65 20 6c 69 66 74 20 66 75 6e 63 74 69 6f 6e 20 e lift function
18a0: 66 6f 72 20 22 2c 20 6c 61 79 29 29 3b 0d 0a 09 for ", lay));...
18b0: 7d 0d 0a 0d 0a 09 56 61 6c 75 65 20 63 72 65 61 }.....Value crea
18c0: 74 65 4e 65 77 46 75 6e 63 74 69 6f 6e 28 46 75 teNewFunction(Fu
18d0: 6e 20 65 2c 20 54 61 62 6c 65 20 63 74 78 29 0d n e, Table ctx).
18e0: 0a 09 7b 0d 0a 09 09 63 6c 61 73 73 20 55 73 65 ..{....class Use
18f0: 72 44 65 66 69 6e 65 64 46 75 6e 56 61 6c 75 65 rDefinedFunValue
1900: 20 3a 20 46 75 6e 56 61 6c 75 65 0d 0a 09 09 7b : FunValue....{
1910: 0d 0a 09 09 09 46 75 6e 20 61 73 74 3b 0d 0a 09 .....Fun ast;...
1920: 09 09 54 61 62 6c 65 20 20 20 20 20 20 64 65 66 ..Table def
1930: 43 74 78 3b 0d 0a 09 09 09 6f 76 65 72 72 69 64 Ctx;.....overrid
1940: 65 20 63 6f 6e 73 74 28 50 61 72 61 6d 65 74 65 e const(Paramete
1950: 72 5b 5d 29 20 70 61 72 61 6d 73 28 29 20 7b 20 r[]) params() {
1960: 72 65 74 75 72 6e 20 61 73 74 2e 70 61 72 61 6d return ast.param
1970: 73 3b 20 7d 0d 0a 09 09 09 6f 76 65 72 72 69 64 s; }.....overrid
1980: 65 20 54 61 62 6c 65 20 64 65 66 69 6e 69 74 69 e Table definiti
1990: 6f 6e 43 6f 6e 74 65 78 74 28 29 20 7b 20 72 65 onContext() { re
19a0: 74 75 72 6e 20 64 65 66 43 74 78 3b 20 7d 0d 0a turn defCtx; }..
19b0: 0d 0a 09 09 09 74 68 69 73 28 46 75 6e 20 61 73 .....this(Fun as
19c0: 74 2c 20 54 61 62 6c 65 20 64 65 66 43 74 78 29 t, Table defCtx)
19d0: 20 7b 20 74 68 69 73 2e 61 73 74 3d 61 73 74 3b { this.ast=ast;
19e0: 20 74 68 69 73 2e 64 65 66 43 74 78 3d 64 65 66 this.defCtx=def
19f0: 43 74 78 3b 20 7d 0d 0a 09 09 09 6f 76 65 72 72 Ctx; }.....overr
1a00: 69 64 65 20 73 74 72 69 6e 67 20 74 6f 53 74 72 ide string toStr
1a10: 69 6e 67 28 29 20 63 6f 6e 73 74 20 7b 20 72 65 ing() const { re
1a20: 74 75 72 6e 20 73 70 72 69 6e 74 66 21 22 28 66 turn sprintf!"(f
1a30: 75 6e 63 74 69 6f 6e 3a 25 78 3a 25 78 29 22 28 unction:%x:%x)"(
1a40: 63 61 73 74 28 76 6f 69 64 2a 29 61 73 74 2c 20 cast(void*)ast,
1a50: 63 61 73 74 28 76 6f 69 64 2a 29 64 65 66 43 74 cast(void*)defCt
1a60: 78 29 3b 20 7d 0d 0a 09 09 09 6f 76 65 72 72 69 x); }.....overri
1a70: 64 65 20 62 6f 6f 6c 20 6f 70 45 71 75 61 6c 73 de bool opEquals
1a80: 28 4f 62 6a 65 63 74 20 72 68 73 5f 29 20 63 6f (Object rhs_) co
1a90: 6e 73 74 20 2f 2f 2f 20 6d 65 6d 62 65 72 2d 62 nst /// member-b
1aa0: 79 2d 6d 65 6d 62 65 72 20 65 71 75 61 6c 69 74 y-member equalit
1ab0: 79 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 69 66 28 y.....{......if(
1ac0: 20 61 75 74 6f 20 72 68 73 20 3d 20 63 61 73 74 auto rhs = cast
1ad0: 28 74 79 70 65 6f 66 28 74 68 69 73 29 29 72 68 (typeof(this))rh
1ae0: 73 5f 20 29 0d 0a 09 09 09 09 09 72 65 74 75 72 s_ ).......retur
1af0: 6e 20 74 68 69 73 2e 61 73 74 3d 3d 72 68 73 2e n this.ast==rhs.
1b00: 61 73 74 20 26 26 20 74 68 69 73 2e 64 65 66 43 ast && this.defC
1b10: 74 78 3d 3d 72 68 73 2e 64 65 66 43 74 78 3b 0d tx==rhs.defCtx;.
1b20: 0a 09 09 09 09 61 73 73 65 72 74 28 66 61 6c 73 .....assert(fals
1b30: 65 2c 20 73 70 72 69 6e 74 66 21 22 43 61 6e 6e e, sprintf!"Cann
1b40: 6f 74 20 63 6f 6d 70 61 72 65 20 25 73 20 77 69 ot compare %s wi
1b50: 74 68 20 25 73 22 28 74 79 70 65 69 64 28 74 68 th %s"(typeid(th
1b60: 69 73 29 2c 20 74 79 70 65 69 64 28 72 68 73 5f is), typeid(rhs_
1b70: 29 29 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 6f )));.....}.....o
1b80: 76 65 72 72 69 64 65 20 68 61 73 68 5f 74 20 74 verride hash_t t
1b90: 6f 48 61 73 68 28 29 20 63 6f 6e 73 74 20 2f 2f oHash() const //
1ba0: 2f 20 6d 65 6d 62 65 72 2d 62 79 2d 6d 65 6d 62 / member-by-memb
1bb0: 65 72 20 68 61 73 68 0d 0a 09 09 09 7b 0d 0a 09 er hash.....{...
1bc0: 09 09 09 72 65 74 75 72 6e 20 74 79 70 65 69 64 ...return typeid
1bd0: 28 74 68 69 73 2e 61 73 74 29 2e 67 65 74 48 61 (this.ast).getHa
1be0: 73 68 28 26 74 68 69 73 2e 61 73 74 29 20 2b 20 sh(&this.ast) +
1bf0: 74 79 70 65 69 64 28 74 68 69 73 2e 64 65 66 43 typeid(this.defC
1c00: 74 78 29 2e 67 65 74 48 61 73 68 28 26 74 68 69 tx).getHash(&thi
1c10: 73 2e 64 65 66 43 74 78 29 3b 0d 0a 09 09 09 7d s.defCtx);.....}
1c20: 0d 0a 09 09 09 6f 76 65 72 72 69 64 65 20 69 6e .....override in
1c30: 74 20 6f 70 43 6d 70 28 4f 62 6a 65 63 74 20 72 t opCmp(Object r
1c40: 68 73 5f 29 20 2f 2f 2f 20 6d 65 6d 62 65 72 2d hs_) /// member-
1c50: 62 79 2d 6d 65 6d 62 65 72 20 63 6f 6d 70 61 72 by-member compar
1c60: 65 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 69 66 28 e.....{......if(
1c70: 20 61 75 74 6f 20 72 68 73 20 3d 20 63 61 73 74 auto rhs = cast
1c80: 28 74 79 70 65 6f 66 28 74 68 69 73 29 29 72 68 (typeof(this))rh
1c90: 73 5f 20 29 0d 0a 09 09 09 09 7b 0d 0a 09 09 09 s_ )......{.....
1ca0: 09 09 69 66 28 61 75 74 6f 20 69 20 3d 20 74 68 ..if(auto i = th
1cb0: 69 73 2e 61 73 74 2e 6f 70 43 6d 70 28 72 68 73 is.ast.opCmp(rhs
1cc0: 2e 61 73 74 29 29 0d 0a 09 09 09 09 09 09 72 65 .ast))........re
1cd0: 74 75 72 6e 20 69 3b 0d 0a 09 09 09 09 09 72 65 turn i;.......re
1ce0: 74 75 72 6e 20 74 68 69 73 2e 64 65 66 43 74 78 turn this.defCtx
1cf0: 2e 6f 70 43 6d 70 28 72 68 73 2e 64 65 66 43 74 .opCmp(rhs.defCt
1d00: 78 29 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 09 x);......}......
1d10: 61 73 73 65 72 74 28 66 61 6c 73 65 2c 20 73 70 assert(false, sp
1d20: 72 69 6e 74 66 21 22 43 61 6e 6e 6f 74 20 63 6f rintf!"Cannot co
1d30: 6d 70 61 72 65 20 25 73 20 77 69 74 68 20 25 73 mpare %s with %s
1d40: 22 28 74 79 70 65 69 64 28 74 68 69 73 29 2c 20 "(typeid(this),
1d50: 74 79 70 65 69 64 28 72 68 73 5f 29 29 29 3b 0d typeid(rhs_)));.
1d60: 0a 09 09 09 7d 0d 0a 0d 0a 09 09 09 6f 76 65 72 ....}.......over
1d70: 72 69 64 65 20 56 61 6c 75 65 20 69 6e 76 6f 6b ride Value invok
1d80: 65 28 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 e(Layer lay, Tab
1d90: 6c 65 20 63 74 78 2c 20 4c 65 78 50 6f 73 69 74 le ctx, LexPosit
1da0: 69 6f 6e 20 70 6f 73 29 0d 0a 09 09 09 7b 0d 0a ion pos).....{..
1db0: 09 09 09 09 69 66 28 20 6c 61 79 20 3d 3d 20 4d ....if( lay == M
1dc0: 61 63 72 6f 4c 61 79 65 72 20 29 0d 0a 09 09 09 acroLayer ).....
1dd0: 09 09 72 65 74 75 72 6e 20 65 76 61 6c 28 61 73 ..return eval(as
1de0: 74 2e 66 75 6e 62 6f 64 79 2c 20 6c 61 79 2c 20 t.funbody, lay,
1df0: 63 74 78 29 3b 0d 0a 09 09 09 09 74 72 79 20 7b ctx);......try {
1e00: 0d 0a 09 09 09 09 09 69 66 28 20 61 66 74 65 72 .......if( after
1e10: 4d 61 63 72 6f 41 53 54 20 69 73 20 6e 75 6c 6c MacroAST is null
1e20: 20 29 0d 0a 09 09 09 09 09 09 61 66 74 65 72 4d )........afterM
1e30: 61 63 72 6f 41 53 54 20 3d 20 70 6f 6c 65 6d 79 acroAST = polemy
1e40: 32 64 21 28 41 53 54 29 28 65 76 61 6c 28 65 2e 2d!(AST)(eval(e.
1e50: 66 75 6e 62 6f 64 79 2c 20 52 61 77 4d 61 63 72 funbody, RawMacr
1e60: 6f 4c 61 79 65 72 2c 20 63 74 78 29 2c 20 70 6f oLayer, ctx), po
1e70: 73 29 3b 0d 0a 09 09 09 09 09 72 65 74 75 72 6e s);.......return
1e80: 20 65 76 61 6c 28 61 66 74 65 72 4d 61 63 72 6f eval(afterMacro
1e90: 41 53 54 2c 20 6c 61 79 2c 20 63 74 78 29 3b 0d AST, lay, ctx);.
1ea0: 0a 09 09 09 09 7d 20 63 61 74 63 68 28 20 52 75 .....} catch( Ru
1eb0: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 20 65 ntimeException e
1ec0: 20 29 20 7b 0d 0a 09 09 09 09 09 74 68 72 6f 77 ) {.......throw
1ed0: 20 65 2e 70 6f 73 20 69 73 20 6e 75 6c 6c 20 3f e.pos is null ?
1ee0: 20 6e 65 77 20 52 75 6e 74 69 6d 65 45 78 63 65 new RuntimeExce
1ef0: 70 74 69 6f 6e 28 70 6f 73 2c 20 65 2e 6d 73 67 ption(pos, e.msg
1f00: 2c 20 65 2e 66 69 6c 65 2c 20 65 2e 6c 69 6e 65 , e.file, e.line
1f10: 2c 20 65 2e 6e 65 78 74 29 20 3a 20 65 3b 0d 0a , e.next) : e;..
1f20: 09 09 09 09 7d 0d 0a 09 09 09 7d 0d 0a 0d 0a 09 ....}.....}.....
1f30: 09 09 41 53 54 20 61 66 74 65 72 4d 61 63 72 6f ..AST afterMacro
1f40: 41 53 54 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 AST;....}....ret
1f50: 75 72 6e 20 6e 65 77 20 55 73 65 72 44 65 66 69 urn new UserDefi
1f60: 6e 65 64 46 75 6e 56 61 6c 75 65 28 65 2c 63 74 nedFunValue(e,ct
1f70: 78 29 3b 0d 0a 09 7d 0d 0a 0d 0a 70 75 62 6c 69 x);...}....publi
1f80: 63 3a 0d 0a 09 2f 2f 2f 20 41 64 64 20 70 72 69 c:.../// Add pri
1f90: 6d 69 74 69 76 65 20 66 75 6e 63 74 69 6f 6e 20 mitive function
1fa0: 74 6f 20 74 68 65 20 67 6c 6f 62 61 6c 20 63 6f to the global co
1fb0: 6e 74 65 78 74 0d 0a 09 76 6f 69 64 20 61 64 64 ntext...void add
1fc0: 50 72 69 6d 69 74 69 76 65 28 52 2c 54 2e 2e 2e Primitive(R,T...
1fd0: 29 28 73 74 72 69 6e 67 20 6e 61 6d 65 2c 20 4c )(string name, L
1fe0: 61 79 65 72 20 64 65 66 4c 61 79 2c 20 52 20 64 ayer defLay, R d
1ff0: 65 6c 65 67 61 74 65 20 28 54 29 20 64 67 29 0d elegate (T) dg).
2000: 0a 09 7b 0d 0a 09 09 63 6c 61 73 73 20 4e 61 74 ..{....class Nat
2010: 69 76 65 46 75 6e 56 61 6c 75 65 20 3a 20 46 75 iveFunValue : Fu
2020: 6e 56 61 6c 75 65 0d 0a 09 09 7b 0d 0a 09 09 09 nValue....{.....
2030: 6f 76 65 72 72 69 64 65 20 63 6f 6e 73 74 28 50 override const(P
2040: 61 72 61 6d 65 74 65 72 5b 5d 29 20 70 61 72 61 arameter[]) para
2050: 6d 73 28 29 20 7b 20 72 65 74 75 72 6e 20 70 61 ms() { return pa
2060: 72 61 6d 73 5f 64 61 74 61 3b 20 7d 0d 0a 09 09 rams_data; }....
2070: 09 6f 76 65 72 72 69 64 65 20 54 61 62 6c 65 20 .override Table
2080: 64 65 66 69 6e 69 74 69 6f 6e 43 6f 6e 74 65 78 definitionContex
2090: 74 28 29 20 20 20 7b 20 72 65 74 75 72 6e 20 74 t() { return t
20a0: 68 65 43 6f 6e 74 65 78 74 3b 20 7d 0d 0a 0d 0a heContext; }....
20b0: 09 09 09 6f 76 65 72 72 69 64 65 20 73 74 72 69 ...override stri
20c0: 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 20 7b 20 ng toString() {
20d0: 72 65 74 75 72 6e 20 73 70 72 69 6e 74 66 21 22 return sprintf!"
20e0: 28 6e 61 74 69 76 65 3a 25 78 29 22 28 64 67 2e (native:%x)"(dg.
20f0: 66 75 6e 63 70 74 72 29 3b 20 7d 0d 0a 09 09 09 funcptr); }.....
2100: 6f 76 65 72 72 69 64 65 20 69 6e 74 20 6f 70 43 override int opC
2110: 6d 70 28 4f 62 6a 65 63 74 20 72 68 73 29 20 7b mp(Object rhs) {
2120: 0d 0a 09 09 09 09 69 66 28 61 75 74 6f 20 72 20 ......if(auto r
2130: 3d 20 63 61 73 74 28 4e 61 74 69 76 65 46 75 6e = cast(NativeFun
2140: 56 61 6c 75 65 29 72 68 73 29 20 72 65 74 75 72 Value)rhs) retur
2150: 6e 20 74 79 70 65 69 64 28 74 79 70 65 6f 66 28 n typeid(typeof(
2160: 64 67 29 29 2e 63 6f 6d 70 61 72 65 28 26 64 67 dg)).compare(&dg
2170: 2c 26 72 2e 64 67 29 3b 0d 0a 09 09 09 09 69 66 ,&r.dg);......if
2180: 28 61 75 74 6f 20 72 20 3d 20 63 61 73 74 28 56 (auto r = cast(V
2190: 61 6c 75 65 29 72 68 73 29 20 20 20 20 20 20 20 alue)rhs)
21a0: 20 20 20 72 65 74 75 72 6e 20 74 79 70 65 69 64 return typeid
21b0: 28 74 68 69 73 29 2e 6f 70 43 6d 70 28 74 79 70 (this).opCmp(typ
21c0: 65 69 64 28 72 29 29 3b 0d 0a 09 09 09 09 74 68 eid(r));......th
21d0: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
21e0: 65 45 78 63 65 70 74 69 6f 6e 28 4c 65 78 50 6f eException(LexPo
21f0: 73 69 74 69 6f 6e 2e 64 75 6d 6d 79 2c 20 22 63 sition.dummy, "c
2200: 6f 6d 70 61 72 69 73 6f 6e 20 77 69 74 68 20 76 omparison with v
2210: 61 6c 75 65 20 61 6e 64 20 73 6f 6d 69 74 68 69 alue and somithi
2220: 6e 67 20 6f 74 68 65 72 22 29 3b 0d 0a 09 09 09 ng other");.....
2230: 7d 0d 0a 09 09 09 6d 69 78 69 6e 20 53 69 6d 70 }.....mixin Simp
2240: 6c 65 54 6f 48 61 73 68 3b 0d 0a 0d 0a 09 09 09 leToHash;.......
2250: 52 20 64 65 6c 65 67 61 74 65 28 54 29 20 64 67 R delegate(T) dg
2260: 3b 0d 0a 09 09 09 50 61 72 61 6d 65 74 65 72 5b ;.....Parameter[
2270: 5d 20 70 61 72 61 6d 73 5f 64 61 74 61 3b 0d 0a ] params_data;..
2280: 0d 0a 09 09 09 74 68 69 73 28 52 20 64 65 6c 65 .....this(R dele
2290: 67 61 74 65 28 54 29 20 64 67 29 0d 0a 09 09 09 gate(T) dg).....
22a0: 7b 0d 0a 09 09 09 09 74 68 69 73 2e 64 67 20 3d {......this.dg =
22b0: 20 64 67 3b 0d 0a 09 09 09 09 66 6f 72 65 61 63 dg;......foreac
22c0: 68 28 69 2c 20 54 69 3b 20 54 29 0d 0a 09 09 09 h(i, Ti; T).....
22d0: 09 09 70 61 72 61 6d 73 5f 64 61 74 61 20 7e 3d ..params_data ~=
22e0: 20 6e 65 77 20 50 61 72 61 6d 65 74 65 72 28 74 new Parameter(t
22f0: 65 78 74 28 69 29 2c 20 5b 5d 29 3b 0d 0a 09 09 ext(i), []);....
2300: 09 7d 0d 0a 0d 0a 09 09 09 6f 76 65 72 72 69 64 .}.......overrid
2310: 65 20 56 61 6c 75 65 20 69 6e 76 6f 6b 65 28 4c e Value invoke(L
2320: 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 ayer lay, Table
2330: 63 74 78 2c 20 4c 65 78 50 6f 73 69 74 69 6f 6e ctx, LexPosition
2340: 20 70 6f 73 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 pos).....{.....
2350: 09 69 66 28 20 6c 61 79 20 21 3d 20 64 65 66 4c .if( lay != defL
2360: 61 79 20 29 0d 0a 09 09 09 09 09 74 68 72 6f 77 ay ).......throw
2370: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
2380: 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 74 65 78 ception(pos, tex
2390: 74 28 22 6f 6e 6c 79 20 22 2c 20 64 65 66 4c 61 t("only ", defLa
23a0: 79 2c 20 22 20 6c 61 79 65 72 20 63 61 6e 20 63 y, " layer can c
23b0: 61 6c 6c 20 6e 61 74 69 76 65 20 66 75 6e 63 74 all native funct
23c0: 69 6f 6e 3a 20 22 2c 20 6e 61 6d 65 29 29 3b 0d ion: ", name));.
23d0: 0a 09 09 09 09 54 20 74 79 70 65 64 5f 61 72 67 .....T typed_arg
23e0: 73 3b 0d 0a 09 09 09 09 66 6f 72 65 61 63 68 28 s;......foreach(
23f0: 69 2c 20 54 69 3b 20 54 29 20 7b 0d 0a 09 09 09 i, Ti; T) {.....
2400: 09 09 74 79 70 65 64 5f 61 72 67 73 5b 69 5d 20 ..typed_args[i]
2410: 3d 20 63 61 73 74 28 54 69 29 20 63 74 78 2e 67 = cast(Ti) ctx.g
2420: 65 74 28 74 65 78 74 28 69 29 2c 20 56 61 6c 75 et(text(i), Valu
2430: 65 4c 61 79 65 72 2c 20 70 6f 73 29 3b 0d 0a 09 eLayer, pos);...
2440: 09 09 09 09 69 66 28 20 74 79 70 65 64 5f 61 72 ....if( typed_ar
2450: 67 73 5b 69 5d 20 69 73 20 6e 75 6c 6c 20 29 0d gs[i] is null ).
2460: 0a 09 09 09 09 09 09 74 68 72 6f 77 20 67 65 6e .......throw gen
2470: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
2480: 69 6f 6e 28 70 6f 73 2c 20 73 70 72 69 6e 74 66 ion(pos, sprintf
2490: 21 22 74 79 70 65 20 6d 69 73 6d 61 74 63 68 20 !"type mismatch
24a0: 6f 6e 20 74 68 65 20 61 72 67 75 6d 65 6e 74 20 on the argument
24b0: 25 64 20 6f 66 20 6e 61 74 69 76 65 20 66 75 6e %d of native fun
24c0: 63 74 69 6f 6e 3a 20 25 73 22 28 69 2b 31 2c 6e ction: %s"(i+1,n
24d0: 61 6d 65 29 29 3b 0d 0a 09 09 09 09 7d 0d 0a 09 ame));......}...
24e0: 09 09 09 74 72 79 20 7b 0d 0a 09 09 09 09 09 72 ...try {.......r
24f0: 65 74 75 72 6e 20 64 67 28 74 79 70 65 64 5f 61 eturn dg(typed_a
2500: 72 67 73 29 3b 0d 0a 09 09 09 09 7d 20 63 61 74 rgs);......} cat
2510: 63 68 28 20 52 75 6e 74 69 6d 65 45 78 63 65 70 ch( RuntimeExcep
2520: 74 69 6f 6e 20 65 20 29 20 7b 0d 0a 09 09 09 09 tion e ) {......
2530: 09 74 68 72 6f 77 20 65 2e 70 6f 73 20 69 73 20 .throw e.pos is
2540: 6e 75 6c 6c 20 3f 20 6e 65 77 20 52 75 6e 74 69 null ? new Runti
2550: 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c meException(pos,
2560: 20 65 2e 6d 73 67 2c 20 65 2e 66 69 6c 65 2c 20 e.msg, e.file,
2570: 65 2e 6c 69 6e 65 29 20 3a 20 65 3b 0d 0a 09 09 e.line) : e;....
2580: 09 09 7d 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a ..}.....}....}..
2590: 09 09 74 68 65 43 6f 6e 74 65 78 74 2e 73 65 74 ..theContext.set
25a0: 28 6e 61 6d 65 2c 20 64 65 66 4c 61 79 2c 20 6e (name, defLay, n
25b0: 65 77 20 4e 61 74 69 76 65 46 75 6e 56 61 6c 75 ew NativeFunValu
25c0: 65 28 64 67 29 29 3b 0d 0a 09 7d 0d 0a 7d 0d 0a e(dg));...}..}..
25d0: 0d 0a 76 65 72 73 69 6f 6e 28 75 6e 69 74 74 65 ..version(unitte
25e0: 73 74 29 20 69 6d 70 6f 72 74 20 70 6f 6c 65 6d st) import polem
25f0: 79 2e 72 75 6e 74 69 6d 65 3b 0d 0a 75 6e 69 74 y.runtime;..unit
2600: 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 test..{...auto e
2610: 20 3d 20 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 = new Evaluator
2620: 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d ;...enrollRuntim
2630: 65 4c 69 62 72 61 72 79 28 65 29 3b 0d 0a 09 61 eLibrary(e);...a
2640: 75 74 6f 20 72 20 3d 20 61 73 73 65 72 74 5f 6e uto r = assert_n
2650: 6f 74 68 72 6f 77 28 20 65 2e 65 76 61 6c 53 74 othrow( e.evalSt
2660: 72 69 6e 67 28 60 76 61 72 20 78 20 3d 20 32 31 ring(`var x = 21
2670: 3b 20 78 20 2b 20 78 2a 78 3b 60 29 20 29 3b 0d ; x + x*x;`) );.
2680: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 72 2c 20 ..assert_eq( r,
2690: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
26a0: 49 6e 74 28 32 31 2b 32 31 2a 32 31 29 29 20 29 Int(21+21*21)) )
26b0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 ;...assert_eq( e
26c0: 2e 67 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 2e 67 .globalContext.g
26d0: 65 74 28 22 78 22 2c 56 61 6c 75 65 4c 61 79 65 et("x",ValueLaye
26e0: 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 r), new IntValue
26f0: 28 42 69 67 49 6e 74 28 32 31 29 29 20 29 3b 0d (BigInt(21)) );.
2700: 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 ..assert_nothrow
2710: 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74 65 78 ( e.globalContex
2720: 74 2e 67 65 74 28 22 78 22 2c 56 61 6c 75 65 4c t.get("x",ValueL
2730: 61 79 65 72 29 20 29 3b 0d 0a 09 61 73 73 65 72 ayer) );...asser
2740: 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 45 t_throw!RuntimeE
2750: 78 63 65 70 74 69 6f 6e 28 20 65 2e 67 6c 6f 62 xception( e.glob
2760: 61 6c 43 6f 6e 74 65 78 74 2e 67 65 74 28 22 79 alContext.get("y
2770: 22 2c 56 61 6c 75 65 4c 61 79 65 72 29 20 29 3b ",ValueLayer) );
2780: 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b ..}..unittest..{
2790: 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e 65 77 20 ...auto e = new
27a0: 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e 72 Evaluator;...enr
27b0: 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 61 72 ollRuntimeLibrar
27c0: 79 28 65 29 3b 0d 0a 09 61 75 74 6f 20 72 20 3d y(e);...auto r =
27d0: 20 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 assert_nothrow(
27e0: 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 76 e.evalString(`v
27f0: 61 72 20 78 20 3d 20 32 31 3b 20 76 61 72 20 78 ar x = 21; var x
2800: 20 3d 20 78 20 2b 20 78 2a 78 3b 60 29 20 29 3b = x + x*x;`) );
2810: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 72 2c ...assert_eq( r,
2820: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
2830: 67 49 6e 74 28 32 31 2b 32 31 2a 32 31 29 29 20 gInt(21+21*21))
2840: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
2850: 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 2e e.globalContext.
2860: 67 65 74 28 22 78 22 2c 56 61 6c 75 65 4c 61 79 get("x",ValueLay
2870: 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 er), new IntValu
2880: 65 28 42 69 67 49 6e 74 28 32 31 2b 32 31 2a 32 e(BigInt(21+21*2
2890: 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 1)) );...assert_
28a0: 6e 6f 74 68 72 6f 77 28 20 65 2e 67 6c 6f 62 61 nothrow( e.globa
28b0: 6c 43 6f 6e 74 65 78 74 2e 67 65 74 28 22 78 22 lContext.get("x"
28c0: 2c 56 61 6c 75 65 4c 61 79 65 72 29 20 29 3b 0d ,ValueLayer) );.
28d0: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 52 ..assert_throw!R
28e0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
28f0: 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 e.globalContext
2900: 2e 67 65 74 28 22 79 22 2c 56 61 6c 75 65 4c 61 .get("y",ValueLa
2910: 79 65 72 29 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 yer) );..}..unit
2920: 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 test..{...auto e
2930: 20 3d 20 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 = new Evaluator
2940: 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d ;...enrollRuntim
2950: 65 4c 69 62 72 61 72 79 28 65 29 3b 0d 0a 09 61 eLibrary(e);...a
2960: 73 73 65 72 74 5f 65 71 28 20 65 2e 65 76 61 6c ssert_eq( e.eval
2970: 53 74 72 69 6e 67 28 60 6c 65 74 20 78 3d 31 3b String(`let x=1;
2980: 20 6c 65 74 20 79 3d 28 6c 65 74 20 78 3d 32 29 let y=(let x=2)
2990: 3b 20 78 60 29 2c 20 6e 65 77 20 49 6e 74 56 61 ; x`), new IntVa
29a0: 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 20 29 lue(BigInt(1)) )
29b0: 3b 20 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 ; ...assert_eq(
29c0: 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 6c 65 e.evalString(`le
29d0: 74 20 78 3d 31 3b 20 6c 65 74 20 79 3d 28 6c 65 t x=1; let y=(le
29e0: 74 20 78 3d 32 3b 66 75 6e 28 29 7b 78 7d 29 3b t x=2;fun(){x});
29f0: 20 79 28 29 60 29 2c 20 6e 65 77 20 49 6e 74 56 y()`), new IntV
2a00: 61 6c 75 65 28 42 69 67 49 6e 74 28 32 29 29 20 alue(BigInt(2))
2a10: 29 3b 20 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 ); ..}....unitte
2a20: 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d st..{...auto e =
2a30: 20 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d new Evaluator;.
2a40: 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c ..enrollRuntimeL
2a50: 69 62 72 61 72 79 28 65 29 3b 0d 0a 09 61 73 73 ibrary(e);...ass
2a60: 65 72 74 5f 65 71 28 20 65 2e 65 76 61 6c 53 74 ert_eq( e.evalSt
2a70: 72 69 6e 67 28 60 40 61 20 78 3d 31 3b 20 40 62 ring(`@a x=1; @b
2a80: 20 78 3d 32 3b 20 40 61 28 78 29 60 29 2c 20 6e x=2; @a(x)`), n
2a90: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
2aa0: 6e 74 28 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 nt(1)) );...asse
2ab0: 72 74 5f 65 71 28 20 65 2e 65 76 61 6c 53 74 72 rt_eq( e.evalStr
2ac0: 69 6e 67 28 60 40 61 20 78 3d 31 3b 20 40 62 20 ing(`@a x=1; @b
2ad0: 78 3d 32 3b 20 40 62 28 78 29 60 29 2c 20 6e 65 x=2; @b(x)`), ne
2ae0: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
2af0: 74 28 32 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 t(2)) );...asser
2b00: 74 5f 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69 t_eq( e.evalStri
2b10: 6e 67 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 ng(`let x=1; let
2b20: 20 5f 20 3d 20 28 40 61 20 78 3d 32 3b 32 29 3b _ = (@a x=2;2);
2b30: 20 78 60 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c x`), new IntVal
2b40: 75 65 28 42 69 67 49 6e 74 28 31 29 29 20 29 3b ue(BigInt(1)) );
2b50: 0d 0a 09 65 20 3d 20 6e 65 77 20 45 76 61 6c 75 ...e = new Evalu
2b60: 61 74 6f 72 3b 0d 0a 09 61 73 73 65 72 74 5f 74 ator;...assert_t
2b70: 68 72 6f 77 21 54 68 72 6f 77 61 62 6c 65 28 20 hrow!Throwable(
2b80: 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 6c 65 e.evalString(`le
2b90: 74 20 78 3d 31 3b 20 6c 65 74 20 5f 20 3d 20 28 t x=1; let _ = (
2ba0: 40 61 20 78 3d 32 3b 32 29 3b 20 40 61 28 78 29 @a x=2;2); @a(x)
2bb0: 60 29 20 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 `) );..}....unit
2bc0: 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 test..{...auto e
2bd0: 20 3d 20 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 = new Evaluator
2be0: 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d ;...enrollRuntim
2bf0: 65 4c 69 62 72 61 72 79 28 65 29 3b 0d 0a 09 61 eLibrary(e);...a
2c00: 73 73 65 72 74 5f 65 71 28 20 65 2e 65 76 61 6c ssert_eq( e.eval
2c10: 53 74 72 69 6e 67 28 60 0d 0a 09 09 40 40 73 28 String(`....@@s(
2c20: 78 29 7b 78 7d 3b 0d 0a 09 09 40 73 20 22 2b 22 x){x};....@s "+"
2c30: 20 3d 20 66 75 6e 28 78 2c 20 79 29 20 7b 40 76 = fun(x, y) {@v
2c40: 61 6c 75 65 28 0d 0a 09 09 09 40 73 28 78 29 20 alue(.....@s(x)
2c50: 2d 20 40 73 28 79 29 0d 0a 09 09 29 7d 3b 0d 0a - @s(y)....)};..
2c60: 09 09 40 73 28 31 20 2b 20 32 29 0d 0a 09 60 29 ..@s(1 + 2)...`)
2c70: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
2c80: 69 67 49 6e 74 28 2d 31 29 29 20 29 3b 0d 0a 7d igInt(-1)) );..}
2c90: 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d ....unittest..{.
2ca0: 0a 09 61 75 74 6f 20 65 20 3d 20 6e 65 77 20 45 ..auto e = new E
2cb0: 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f valuator;...enro
2cc0: 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 61 72 79 llRuntimeLibrary
2cd0: 28 65 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 (e);...assert_eq
2ce0: 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 ( e.evalString(`
2cf0: 0d 0a 40 40 33 28 78 29 7b 78 7d 3b 0d 0a 64 65 ..@@3(x){x};..de
2d00: 66 20 69 6e 63 72 28 78 29 20 7b 20 78 2b 31 20 f incr(x) { x+1
2d10: 7d 3b 0d 0a 40 20 33 20 69 6e 63 72 28 78 29 20 };..@ 3 incr(x)
2d20: 7b 40 76 61 6c 75 65 28 20 69 66 28 40 20 33 28 {@value( if(@ 3(
2d30: 78 29 2b 31 3c 20 33 29 7b 40 20 33 28 78 29 2b x)+1< 3){@ 3(x)+
2d40: 31 7d 65 6c 73 65 7b 30 7d 20 29 7d 3b 0d 0a 64 1}else{0} )};..d
2d50: 65 66 20 66 62 28 6e 20 40 76 61 6c 75 65 20 40 ef fb(n @value @
2d60: 33 29 20 7b 20 40 33 28 6e 29 20 7d 3b 0d 0a 66 3) { @3(n) };..f
2d70: 62 28 69 6e 63 72 28 69 6e 63 72 28 69 6e 63 72 b(incr(incr(incr
2d80: 28 30 29 29 29 29 0d 0a 09 60 29 2c 20 6e 65 77 (0))))...`), new
2d90: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
2da0: 28 30 29 29 20 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e (0)) );..}....un
2db0: 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f ittest..{...auto
2dc0: 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75 61 74 e = new Evaluat
2dd0: 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74 or;...enrollRunt
2de0: 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b 0d 0a imeLibrary(e);..
2df0: 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 .assert_nothrow(
2e00: 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 0d e.evalString(`.
2e10: 0a 40 6d 61 63 72 6f 20 74 77 69 63 65 28 78 29 .@macro twice(x)
2e20: 20 7b 20 78 3b 20 78 20 7d 3b 0d 0a 64 65 66 20 { x; x };..def
2e30: 6d 61 69 6e 28 29 20 7b 20 74 77 69 63 65 28 31 main() { twice(1
2e40: 29 20 7d 3b 0d 0a 6d 61 69 6e 28 29 0d 0a 09 60 ) };..main()...`
2e50: 29 20 29 3b 0d 0a 7d 0d 0a 2f 2a 0d 0a 75 6e 69 ) );..}../*..uni
2e60: 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 ttest..{...asser
2e70: 74 5f 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 t_eq( evalString
2e80: 28 60 76 61 72 20 66 61 63 20 3d 20 66 75 6e 28 (`var fac = fun(
2e90: 78 29 7b 0d 0a 09 09 69 66 28 78 29 0d 0a 09 09 x){....if(x)....
2ea0: 09 7b 20 78 2a 66 61 63 28 78 2d 31 29 3b 20 7d .{ x*fac(x-1); }
2eb0: 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 09 7b 20 31 ....else.....{ 1
2ec0: 3b 20 7d 3b 0d 0a 09 7d 3b 0d 0a 09 66 61 63 28 ; };...};...fac(
2ed0: 31 30 29 3b 60 29 2e 76 61 6c 2c 20 6e 65 77 20 10);`).val, new
2ee0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
2ef0: 31 30 2a 39 2a 38 2a 35 30 34 30 29 29 29 3b 0d 10*9*8*5040)));.
2f00: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 61 ..assert_eq( eva
2f10: 6c 53 74 72 69 6e 67 28 60 76 61 72 20 66 69 62 lString(`var fib
2f20: 20 3d 20 66 75 6e 28 78 29 7b 0d 0a 09 09 69 66 = fun(x){....if
2f30: 28 78 3c 32 29 0d 0a 09 09 09 7b 20 31 3b 20 7d (x<2).....{ 1; }
2f40: 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 09 7b 20 66 ....else.....{ f
2f50: 69 62 28 78 2d 31 29 20 2b 20 66 69 62 28 78 2d ib(x-1) + fib(x-
2f60: 32 29 3b 20 7d 3b 0d 0a 09 7d 3b 0d 0a 09 66 69 2); };...};...fi
2f70: 62 28 35 29 3b 60 29 2e 76 61 6c 2c 20 6e 65 77 b(5);`).val, new
2f80: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
2f90: 28 38 29 29 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 (8)));..}..unitt
2fa0: 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 5f est..{...assert_
2fb0: 65 71 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 eq( evalString(`
2fc0: 40 40 74 20 3d 20 66 75 6e 28 78 29 7b 78 2b 31 @@t = fun(x){x+1
2fd0: 7d 3b 20 40 74 28 31 32 33 29 60 29 2e 76 61 6c }; @t(123)`).val
2fe0: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
2ff0: 69 67 49 6e 74 28 31 32 34 29 29 20 29 3b 0d 0a igInt(124)) );..
3000: 09 2f 2f 20 74 68 65 72 65 20 77 61 73 20 61 20 .// there was a
3010: 62 75 67 20 74 68 61 74 20 64 65 63 6c 61 72 61 bug that declara
3020: 74 69 6f 6e 20 69 6e 20 74 68 65 20 66 69 72 73 tion in the firs
3030: 74 20 6c 69 6e 65 20 6f 66 20 66 75 6e 63 74 69 t line of functi
3040: 6f 6e 20 64 65 66 69 6e 69 74 69 6f 6e 0d 0a 09 on definition...
3050: 2f 2f 20 63 61 6e 6e 6f 74 20 62 65 20 72 65 63 // cannot be rec
3060: 75 72 73 69 76 65 0d 0a 09 61 73 73 65 72 74 5f ursive...assert_
3070: 6e 6f 74 68 72 6f 77 28 20 65 76 61 6c 53 74 72 nothrow( evalStr
3080: 69 6e 67 28 60 64 65 66 20 66 6f 6f 28 29 20 7b ing(`def foo() {
3090: 0d 0a 20 20 64 65 66 20 62 61 72 28 79 29 20 7b .. def bar(y) {
30a0: 20 69 66 28 79 3c 31 29 20 7b 30 7d 20 65 6c 73 if(y<1) {0} els
30b0: 65 20 7b 62 61 72 28 30 29 7d 20 7d 3b 0d 0a 20 e {bar(0)} };..
30c0: 20 62 61 72 28 31 29 0d 0a 7d 3b 20 66 6f 6f 28 bar(1)..}; foo(
30d0: 29 60 29 20 29 3b 0d 0a 7d 0d 0a 2a 2f 0d 0a )`) );..}..*/..