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 29 3b 0d 0a 09 09 09 65 6c 73 e.pos);.....els
0c30: 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 61 73 e......return as
0c40: 74 32 74 61 62 6c 65 28 65 2c 20 28 41 53 54 20 t2table(e, (AST
0c50: 65 29 7b 72 65 74 75 72 6e 20 65 76 61 6c 28 65 e){return eval(e
0c60: 2c 6c 61 79 2c 63 74 78 29 3b 7d 29 3b 0d 0a 09 ,lay,ctx);});...
0c70: 09 72 65 74 75 72 6e 20 69 6e 76 6f 6b 65 46 75 .return invokeFu
0c80: 6e 63 74 69 6f 6e 28 66 2c 20 65 2e 61 72 67 73 nction(f, e.args
0c90: 2c 20 6c 61 79 2c 20 63 74 78 2c 20 65 2e 70 6f , lay, ctx, e.po
0ca0: 73 29 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 56 61 6c s);...}......Val
0cb0: 75 65 20 65 76 61 6c 28 20 46 75 6e 20 65 2c 20 ue eval( Fun e,
0cc0: 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 Layer lay, Table
0cd0: 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 77 ctx, bool overw
0ce0: 72 69 74 65 43 74 78 3d 43 61 73 63 61 64 65 43 riteCtx=CascadeC
0cf0: 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 tx )...{....if(
0d00: 69 73 4d 61 63 72 6f 69 73 68 4c 61 79 65 72 28 isMacroishLayer(
0d10: 6c 61 79 29 20 29 0d 0a 09 09 09 72 65 74 75 72 lay) ).....retur
0d20: 6e 20 61 73 74 32 74 61 62 6c 65 28 65 2c 20 28 n ast2table(e, (
0d30: 41 53 54 20 65 29 7b 72 65 74 75 72 6e 20 65 76 AST e){return ev
0d40: 61 6c 28 65 2c 6c 61 79 2c 63 74 78 29 3b 7d 29 al(e,lay,ctx);})
0d50: 3b 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 09 72 65 ;....else.....re
0d60: 74 75 72 6e 20 63 72 65 61 74 65 4e 65 77 46 75 turn createNewFu
0d70: 6e 63 74 69 6f 6e 28 65 2c 20 63 74 78 29 3b 0d nction(e, ctx);.
0d80: 0a 09 7d 0d 0a 09 0d 0a 09 56 61 6c 75 65 20 65 ..}......Value e
0d90: 76 61 6c 28 20 4c 61 79 20 65 2c 20 4c 61 79 65 val( Lay e, Laye
0da0: 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 r lay, Table ctx
0db0: 2c 20 62 6f 6f 6c 20 6f 76 65 72 77 72 69 74 65 , bool overwrite
0dc0: 43 74 78 3d 43 61 73 63 61 64 65 43 74 78 20 29 Ctx=CascadeCtx )
0dd0: 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69 73 4e 6f ...{....if( isNo
0de0: 4c 61 79 65 72 43 68 61 6e 67 65 4c 61 79 65 72 LayerChangeLayer
0df0: 28 6c 61 79 29 20 29 0d 0a 09 09 09 72 65 74 75 (lay) ).....retu
0e00: 72 6e 20 61 73 74 32 74 61 62 6c 65 28 65 2c 20 rn ast2table(e,
0e10: 28 41 53 54 20 65 29 7b 72 65 74 75 72 6e 20 65 (AST e){return e
0e20: 76 61 6c 28 65 2c 6c 61 79 2c 63 74 78 29 3b 7d val(e,lay,ctx);}
0e30: 29 3b 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 09 72 );....else.....r
0e40: 65 74 75 72 6e 20 65 76 61 6c 28 65 2e 65 78 70 eturn eval(e.exp
0e50: 72 2c 20 65 2e 6c 61 79 65 72 2c 20 63 74 78 29 r, e.layer, ctx)
0e60: 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 56 61 6c 75 65 ;...}......Value
0e70: 20 65 76 61 6c 28 20 4c 65 74 20 65 2c 20 4c 61 eval( Let e, La
0e80: 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 yer lay, Table c
0e90: 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 77 72 69 tx, bool overwri
0ea0: 74 65 43 74 78 3d 43 61 73 63 61 64 65 43 74 78 teCtx=CascadeCtx
0eb0: 20 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 20 74 6f 64 )...{....// tod
0ec0: 6f 20 40 6d 61 63 72 6f 20 6c 65 74 0d 0a 09 09 o @macro let....
0ed0: 69 66 28 20 69 73 4d 61 63 72 6f 69 73 68 4c 61 if( isMacroishLa
0ee0: 79 65 72 28 6c 61 79 29 20 29 0d 0a 09 09 09 72 yer(lay) ).....r
0ef0: 65 74 75 72 6e 20 61 73 74 32 74 61 62 6c 65 28 eturn ast2table(
0f00: 65 2c 20 28 41 53 54 20 65 29 7b 72 65 74 75 72 e, (AST e){retur
0f10: 6e 20 65 76 61 6c 28 65 2c 6c 61 79 2c 63 74 78 n eval(e,lay,ctx
0f20: 29 3b 7d 29 3b 0d 0a 09 09 65 6c 73 65 0d 0a 09 );});....else...
0f30: 09 7b 0d 0a 09 09 09 69 66 28 20 21 6f 76 65 72 .{.....if( !over
0f40: 77 72 69 74 65 43 74 78 20 29 0d 0a 09 09 09 09 writeCtx )......
0f50: 63 74 78 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 ctx = new Table(
0f60: 63 74 78 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e ctx, Table.Kind.
0f70: 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 29 NotPropagateSet)
0f80: 3b 0d 0a 09 09 09 56 61 6c 75 65 20 72 69 20 3d ;.....Value ri =
0f90: 20 65 76 61 6c 28 65 2e 69 6e 69 74 2c 20 6c 61 eval(e.init, la
0fa0: 79 2c 20 63 74 78 29 3b 0d 0a 09 09 09 73 74 72 y, ctx);.....str
0fb0: 69 6e 67 20 74 68 65 4c 61 79 65 72 20 3d 20 65 ing theLayer = e
0fc0: 2e 6c 61 79 65 72 2e 65 6d 70 74 79 20 3f 20 6c .layer.empty ? l
0fd0: 61 79 20 3a 20 65 2e 6c 61 79 65 72 3b 20 2f 2f ay : e.layer; //
0fe0: 20 6e 65 75 74 72 61 6c 20 6c 61 79 65 72 0d 0a neutral layer..
0ff0: 09 09 09 63 74 78 2e 73 65 74 28 65 2e 6e 61 6d ...ctx.set(e.nam
1000: 65 2c 20 74 68 65 4c 61 79 65 72 2c 20 72 69 29 e, theLayer, ri)
1010: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 76 61 ;.....return eva
1020: 6c 28 65 2e 65 78 70 72 2c 20 6c 61 79 2c 20 63 l(e.expr, lay, c
1030: 74 78 2c 20 4f 76 65 72 77 72 69 74 65 43 74 78 tx, OverwriteCtx
1040: 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 70 );....}...}....p
1050: 72 69 76 61 74 65 3a 0d 0a 09 56 61 6c 75 65 20 rivate:...Value
1060: 69 6e 76 6f 6b 65 46 75 6e 63 74 69 6f 6e 28 56 invokeFunction(V
1070: 61 6c 75 65 20 5f 66 2c 20 41 53 54 5b 5d 20 61 alue _f, AST[] a
1080: 72 67 73 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 rgs, Layer lay,
1090: 54 61 62 6c 65 20 63 74 78 2c 20 4c 65 78 50 6f Table ctx, LexPo
10a0: 73 69 74 69 6f 6e 20 70 6f 73 3d 6e 75 6c 6c 29 sition pos=null)
10b0: 0d 0a 09 7b 0d 0a 09 09 69 66 28 61 75 74 6f 20 ...{....if(auto
10c0: 66 20 3d 20 63 61 73 74 28 46 75 6e 56 61 6c 75 f = cast(FunValu
10d0: 65 29 5f 66 29 0d 0a 09 09 7b 0d 0a 09 09 09 54 e)_f)....{.....T
10e0: 61 62 6c 65 20 6e 65 77 43 74 78 20 3d 20 6e 65 able newCtx = ne
10f0: 77 20 54 61 62 6c 65 28 66 2e 64 65 66 69 6e 69 w Table(f.defini
1100: 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 2c 20 54 tionContext(), T
1110: 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f able.Kind.NotPro
1120: 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 09 09 pagateSet);.....
1130: 66 6f 72 65 61 63 68 28 69 2c 70 3b 20 66 2e 70 foreach(i,p; f.p
1140: 61 72 61 6d 73 28 29 29 0d 0a 09 09 09 09 69 66 arams())......if
1150: 28 20 70 2e 6c 61 79 65 72 73 2e 65 6d 70 74 79 ( p.layers.empty
1160: 20 29 0d 0a 09 09 09 09 09 6e 65 77 43 74 78 2e ).......newCtx.
1170: 73 65 74 28 70 2e 6e 61 6d 65 2c 20 28 6c 61 79 set(p.name, (lay
1180: 3d 3d 52 61 77 4d 61 63 72 6f 4c 61 79 65 72 20 ==RawMacroLayer
1190: 3f 20 4d 61 63 72 6f 4c 61 79 65 72 20 3a 20 6c ? MacroLayer : l
11a0: 61 79 29 2c 20 65 76 61 6c 28 61 72 67 73 5b 69 ay), eval(args[i
11b0: 5d 2c 20 6c 61 79 2c 20 63 74 78 29 29 3b 0d 0a ], lay, ctx));..
11c0: 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 66 ....else.......f
11d0: 6f 72 65 61 63 68 28 61 72 67 4c 61 79 3b 20 70 oreach(argLay; p
11e0: 2e 6c 61 79 65 72 73 29 0d 0a 09 09 09 09 09 09 .layers)........
11f0: 6e 65 77 43 74 78 2e 73 65 74 28 70 2e 6e 61 6d newCtx.set(p.nam
1200: 65 2c 20 61 72 67 4c 61 79 2c 20 65 76 61 6c 28 e, argLay, eval(
1210: 61 72 67 73 5b 69 5d 2c 20 61 72 67 4c 61 79 2c args[i], argLay,
1220: 20 63 74 78 29 29 3b 0d 0a 09 09 09 72 65 74 75 ctx));.....retu
1230: 72 6e 20 66 2e 69 6e 76 6f 6b 65 28 6c 61 79 3d rn f.invoke(lay=
1240: 3d 52 61 77 4d 61 63 72 6f 4c 61 79 65 72 20 3f =RawMacroLayer ?
1250: 20 4d 61 63 72 6f 4c 61 79 65 72 20 3a 20 6c 61 MacroLayer : la
1260: 79 2c 20 6e 65 77 43 74 78 2c 20 70 6f 73 29 3b y, newCtx, pos);
1270: 0d 0a 09 09 7d 0d 0a 09 09 74 68 72 6f 77 20 67 ....}....throw g
1280: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
1290: 70 74 69 6f 6e 28 70 6f 73 2c 20 74 65 78 74 28 ption(pos, text(
12a0: 22 74 72 69 65 64 20 74 6f 20 63 61 6c 6c 20 6e "tried to call n
12b0: 6f 6e 2d 66 75 6e 63 74 69 6f 6e 3a 20 22 2c 5f on-function: ",_
12c0: 66 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c f));...}.....Val
12d0: 75 65 20 6c 69 66 74 28 56 61 6c 75 65 20 76 2c ue lift(Value v,
12e0: 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c Layer lay, Tabl
12f0: 65 20 63 74 78 2c 20 4c 65 78 50 6f 73 69 74 69 e ctx, LexPositi
1300: 6f 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d 0a 09 7b on pos=null)...{
1310: 0d 0a 09 09 61 73 73 65 72 74 28 20 21 69 73 4d ....assert( !isM
1320: 61 63 72 6f 69 73 68 4c 61 79 65 72 28 6c 61 79 acroishLayer(lay
1330: 29 2c 20 22 6c 69 66 74 20 74 6f 20 74 68 65 20 ), "lift to the
1340: 40 6d 61 63 72 6f 20 6c 61 79 65 72 20 73 68 6f @macro layer sho
1350: 75 6c 64 20 6e 6f 74 20 68 61 70 70 65 6e 22 20 uld not happen"
1360: 29 3b 0d 0a 0d 0a 09 09 2f 2f 20 66 75 6e 63 74 );......// funct
1370: 69 6f 6e 73 20 61 72 65 20 61 75 74 6f 6d 61 74 ions are automat
1380: 69 63 61 6c 6c 79 20 6c 69 66 74 65 72 64 0d 0a ically lifterd..
1390: 09 09 69 66 28 20 63 61 73 74 28 46 75 6e 56 61 ..if( cast(FunVa
13a0: 6c 75 65 29 20 76 20 29 0d 0a 09 09 09 72 65 74 lue) v ).....ret
13b0: 75 72 6e 20 76 3b 0d 0a 0d 0a 09 09 2f 2f 20 73 urn v;......// s
13c0: 69 6d 69 6c 61 72 20 74 6f 20 69 6e 76 6f 6b 65 imilar to invoke
13d0: 20 46 75 6e 63 74 69 6f 6e 2c 20 62 75 74 20 77 Function, but w
13e0: 69 74 68 20 6f 6e 6c 79 20 6f 6e 65 20 61 72 67 ith only one arg
13f0: 75 6d 65 6e 74 20 62 6f 75 6e 64 20 74 6f 20 56 ument bound to V
1400: 61 6c 75 65 4c 61 79 65 72 0d 0a 09 09 69 66 28 alueLayer....if(
1410: 61 75 74 6f 20 66 20 3d 20 63 61 73 74 28 46 75 auto f = cast(Fu
1420: 6e 56 61 6c 75 65 29 63 74 78 2e 67 65 74 28 6c nValue)ctx.get(l
1430: 61 79 2c 20 53 79 73 74 65 6d 4c 61 79 65 72 2c ay, SystemLayer,
1440: 20 70 6f 73 29 29 0d 0a 09 09 7b 0d 0a 09 09 09 pos))....{.....
1450: 54 61 62 6c 65 20 6e 65 77 43 74 78 20 3d 20 6e Table newCtx = n
1460: 65 77 20 54 61 62 6c 65 28 66 2e 64 65 66 69 6e ew Table(f.defin
1470: 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 2c 20 itionContext(),
1480: 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 Table.Kind.NotPr
1490: 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 09 opagateSet);....
14a0: 09 61 75 74 6f 20 70 73 20 3d 20 66 2e 70 61 72 .auto ps = f.par
14b0: 61 6d 73 28 29 3b 0d 0a 09 09 09 69 66 28 20 70 ams();.....if( p
14c0: 73 2e 6c 65 6e 67 74 68 20 21 3d 20 31 20 29 0d s.length != 1 ).
14d0: 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 .....throw genex
14e0: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
14f0: 6e 28 70 6f 73 2c 20 22 6c 69 66 74 20 66 75 6e n(pos, "lift fun
1500: 63 74 69 6f 6e 20 6d 75 73 74 20 74 61 6b 65 20 ction must take
1510: 65 78 61 63 74 6c 79 20 6f 6e 65 20 61 72 67 75 exactly one argu
1520: 6d 65 6e 74 20 61 74 20 22 7e 56 61 6c 75 65 4c ment at "~ValueL
1530: 61 79 65 72 7e 22 20 6c 61 79 65 72 22 29 3b 0d ayer~" layer");.
1540: 0a 09 09 09 69 66 28 20 70 73 5b 30 5d 2e 6c 61 ....if( ps[0].la
1550: 79 65 72 73 2e 6c 65 6e 67 74 68 3d 3d 30 20 7c yers.length==0 |
1560: 7c 20 70 73 5b 30 5d 2e 6c 61 79 65 72 73 2e 6c | ps[0].layers.l
1570: 65 6e 67 74 68 3d 3d 31 20 26 26 20 70 73 5b 30 ength==1 && ps[0
1580: 5d 2e 6c 61 79 65 72 73 5b 30 5d 3d 3d 56 61 6c ].layers[0]==Val
1590: 75 65 4c 61 79 65 72 20 29 0d 0a 09 09 09 7b 0d ueLayer ).....{.
15a0: 0a 09 09 09 09 6e 65 77 43 74 78 2e 73 65 74 28 .....newCtx.set(
15b0: 70 73 5b 30 5d 2e 6e 61 6d 65 2c 20 56 61 6c 75 ps[0].name, Valu
15c0: 65 4c 61 79 65 72 2c 20 76 29 3b 0d 0a 09 09 09 eLayer, v);.....
15d0: 09 72 65 74 75 72 6e 20 66 2e 69 6e 76 6f 6b 65 .return f.invoke
15e0: 28 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 (ValueLayer, new
15f0: 43 74 78 2c 20 70 6f 73 29 3b 0d 0a 09 09 09 7d Ctx, pos);.....}
1600: 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 74 .....else......t
1610: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
1620: 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c meException(pos,
1630: 20 22 6c 69 66 74 20 66 75 6e 63 74 69 6f 6e 20 "lift function
1640: 6d 75 73 74 20 74 61 6b 65 20 65 78 61 63 74 6c must take exactl
1650: 79 20 6f 6e 65 20 61 72 67 75 6d 65 6e 74 20 61 y one argument a
1660: 74 20 22 7e 56 61 6c 75 65 4c 61 79 65 72 7e 22 t "~ValueLayer~"
1670: 20 6c 61 79 65 72 22 29 3b 0d 0a 09 09 7d 0d 0a layer");....}..
1680: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 ..throw genex!Ru
1690: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 ntimeException(p
16a0: 6f 73 2c 20 22 74 72 69 65 64 20 74 6f 20 63 61 os, "tried to ca
16b0: 6c 6c 20 6e 6f 6e 2d 66 75 6e 63 74 69 6f 6e 22 ll non-function"
16c0: 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c 75 65 );...}.....Value
16d0: 20 63 72 65 61 74 65 4e 65 77 46 75 6e 63 74 69 createNewFuncti
16e0: 6f 6e 28 46 75 6e 20 65 2c 20 54 61 62 6c 65 20 on(Fun e, Table
16f0: 63 74 78 29 0d 0a 09 7b 0d 0a 09 09 63 6c 61 73 ctx)...{....clas
1700: 73 20 55 73 65 72 44 65 66 69 6e 65 64 46 75 6e s UserDefinedFun
1710: 56 61 6c 75 65 20 3a 20 46 75 6e 56 61 6c 75 65 Value : FunValue
1720: 0d 0a 09 09 7b 0d 0a 09 09 09 46 75 6e 20 61 73 ....{.....Fun as
1730: 74 3b 0d 0a 09 09 09 54 61 62 6c 65 20 20 20 20 t;.....Table
1740: 20 20 64 65 66 43 74 78 3b 0d 0a 09 09 09 6f 76 defCtx;.....ov
1750: 65 72 72 69 64 65 20 63 6f 6e 73 74 28 50 61 72 erride const(Par
1760: 61 6d 65 74 65 72 5b 5d 29 20 70 61 72 61 6d 73 ameter[]) params
1770: 28 29 20 7b 20 72 65 74 75 72 6e 20 61 73 74 2e () { return ast.
1780: 70 61 72 61 6d 73 3b 20 7d 0d 0a 09 09 09 6f 76 params; }.....ov
1790: 65 72 72 69 64 65 20 54 61 62 6c 65 20 64 65 66 erride Table def
17a0: 69 6e 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 initionContext()
17b0: 20 7b 20 72 65 74 75 72 6e 20 64 65 66 43 74 78 { return defCtx
17c0: 3b 20 7d 0d 0a 0d 0a 09 09 09 74 68 69 73 28 46 ; }.......this(F
17d0: 75 6e 20 61 73 74 2c 20 54 61 62 6c 65 20 64 65 un ast, Table de
17e0: 66 43 74 78 29 20 7b 20 74 68 69 73 2e 61 73 74 fCtx) { this.ast
17f0: 3d 61 73 74 3b 20 74 68 69 73 2e 64 65 66 43 74 =ast; this.defCt
1800: 78 3d 64 65 66 43 74 78 3b 20 7d 0d 0a 09 09 09 x=defCtx; }.....
1810: 6f 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 20 override string
1820: 74 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 toString() const
1830: 20 7b 20 72 65 74 75 72 6e 20 73 70 72 69 6e 74 { return sprint
1840: 66 21 22 28 66 75 6e 63 74 69 6f 6e 3a 25 78 3a f!"(function:%x:
1850: 25 78 29 22 28 63 61 73 74 28 76 6f 69 64 2a 29 %x)"(cast(void*)
1860: 61 73 74 2c 20 63 61 73 74 28 76 6f 69 64 2a 29 ast, cast(void*)
1870: 64 65 66 43 74 78 29 3b 20 7d 0d 0a 09 09 09 6f defCtx); }.....o
1880: 76 65 72 72 69 64 65 20 62 6f 6f 6c 20 6f 70 45 verride bool opE
1890: 71 75 61 6c 73 28 4f 62 6a 65 63 74 20 72 68 73 quals(Object rhs
18a0: 5f 29 20 63 6f 6e 73 74 20 2f 2f 2f 20 6d 65 6d _) const /// mem
18b0: 62 65 72 2d 62 79 2d 6d 65 6d 62 65 72 20 65 71 ber-by-member eq
18c0: 75 61 6c 69 74 79 0d 0a 09 09 09 7b 0d 0a 09 09 uality.....{....
18d0: 09 09 69 66 28 20 61 75 74 6f 20 72 68 73 20 3d ..if( auto rhs =
18e0: 20 63 61 73 74 28 74 79 70 65 6f 66 28 74 68 69 cast(typeof(thi
18f0: 73 29 29 72 68 73 5f 20 29 0d 0a 09 09 09 09 09 s))rhs_ ).......
1900: 72 65 74 75 72 6e 20 74 68 69 73 2e 61 73 74 3d return this.ast=
1910: 3d 72 68 73 2e 61 73 74 20 26 26 20 74 68 69 73 =rhs.ast && this
1920: 2e 64 65 66 43 74 78 3d 3d 72 68 73 2e 64 65 66 .defCtx==rhs.def
1930: 43 74 78 3b 0d 0a 09 09 09 09 61 73 73 65 72 74 Ctx;......assert
1940: 28 66 61 6c 73 65 2c 20 73 70 72 69 6e 74 66 21 (false, sprintf!
1950: 22 43 61 6e 6e 6f 74 20 63 6f 6d 70 61 72 65 20 "Cannot compare
1960: 25 73 20 77 69 74 68 20 25 73 22 28 74 79 70 65 %s with %s"(type
1970: 69 64 28 74 68 69 73 29 2c 20 74 79 70 65 69 64 id(this), typeid
1980: 28 72 68 73 5f 29 29 29 3b 0d 0a 09 09 09 7d 0d (rhs_)));.....}.
1990: 0a 09 09 09 6f 76 65 72 72 69 64 65 20 68 61 73 ....override has
19a0: 68 5f 74 20 74 6f 48 61 73 68 28 29 20 63 6f 6e h_t toHash() con
19b0: 73 74 20 2f 2f 2f 20 6d 65 6d 62 65 72 2d 62 79 st /// member-by
19c0: 2d 6d 65 6d 62 65 72 20 68 61 73 68 0d 0a 09 09 -member hash....
19d0: 09 7b 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 74 .{......return t
19e0: 79 70 65 69 64 28 74 68 69 73 2e 61 73 74 29 2e ypeid(this.ast).
19f0: 67 65 74 48 61 73 68 28 26 74 68 69 73 2e 61 73 getHash(&this.as
1a00: 74 29 20 2b 20 74 79 70 65 69 64 28 74 68 69 73 t) + typeid(this
1a10: 2e 64 65 66 43 74 78 29 2e 67 65 74 48 61 73 68 .defCtx).getHash
1a20: 28 26 74 68 69 73 2e 64 65 66 43 74 78 29 3b 0d (&this.defCtx);.
1a30: 0a 09 09 09 7d 0d 0a 09 09 09 6f 76 65 72 72 69 ....}.....overri
1a40: 64 65 20 69 6e 74 20 6f 70 43 6d 70 28 4f 62 6a de int opCmp(Obj
1a50: 65 63 74 20 72 68 73 5f 29 20 2f 2f 2f 20 6d 65 ect rhs_) /// me
1a60: 6d 62 65 72 2d 62 79 2d 6d 65 6d 62 65 72 20 63 mber-by-member c
1a70: 6f 6d 70 61 72 65 0d 0a 09 09 09 7b 0d 0a 09 09 ompare.....{....
1a80: 09 09 69 66 28 20 61 75 74 6f 20 72 68 73 20 3d ..if( auto rhs =
1a90: 20 63 61 73 74 28 74 79 70 65 6f 66 28 74 68 69 cast(typeof(thi
1aa0: 73 29 29 72 68 73 5f 20 29 0d 0a 09 09 09 09 7b s))rhs_ )......{
1ab0: 0d 0a 09 09 09 09 09 69 66 28 61 75 74 6f 20 69 .......if(auto i
1ac0: 20 3d 20 74 68 69 73 2e 61 73 74 2e 6f 70 43 6d = this.ast.opCm
1ad0: 70 28 72 68 73 2e 61 73 74 29 29 0d 0a 09 09 09 p(rhs.ast)).....
1ae0: 09 09 09 72 65 74 75 72 6e 20 69 3b 0d 0a 09 09 ...return i;....
1af0: 09 09 09 72 65 74 75 72 6e 20 74 68 69 73 2e 64 ...return this.d
1b00: 65 66 43 74 78 2e 6f 70 43 6d 70 28 72 68 73 2e efCtx.opCmp(rhs.
1b10: 64 65 66 43 74 78 29 3b 0d 0a 09 09 09 09 7d 0d 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 0d 0a 09 09 )));.....}......
1b80: 09 6f 76 65 72 72 69 64 65 20 56 61 6c 75 65 20 .override Value
1b90: 69 6e 76 6f 6b 65 28 4c 61 79 65 72 20 6c 61 79 invoke(Layer lay
1ba0: 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 4c 65 78 , Table ctx, Lex
1bb0: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 Position pos)...
1bc0: 09 09 7b 0d 0a 09 09 09 09 69 66 28 20 6c 61 79 ..{......if( lay
1bd0: 20 3d 3d 20 4d 61 63 72 6f 4c 61 79 65 72 20 29 == MacroLayer )
1be0: 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 65 76 .......return ev
1bf0: 61 6c 28 61 73 74 2e 66 75 6e 62 6f 64 79 2c 20 al(ast.funbody,
1c00: 6c 61 79 2c 20 63 74 78 29 3b 0d 0a 09 09 09 09 lay, ctx);......
1c10: 69 66 28 20 61 66 74 65 72 4d 61 63 72 6f 41 53 if( afterMacroAS
1c20: 54 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 T is null ).....
1c30: 09 09 61 66 74 65 72 4d 61 63 72 6f 41 53 54 20 ..afterMacroAST
1c40: 3d 20 74 61 62 6c 65 54 6f 41 53 54 28 56 61 6c = tableToAST(Val
1c50: 75 65 4c 61 79 65 72 2c 20 65 76 61 6c 28 65 2e ueLayer, eval(e.
1c60: 66 75 6e 62 6f 64 79 2c 20 52 61 77 4d 61 63 72 funbody, RawMacr
1c70: 6f 4c 61 79 65 72 2c 20 63 74 78 29 29 3b 0d 0a oLayer, ctx));..
1c80: 09 09 09 09 72 65 74 75 72 6e 20 65 76 61 6c 28 ....return eval(
1c90: 61 66 74 65 72 4d 61 63 72 6f 41 53 54 2c 20 6c afterMacroAST, l
1ca0: 61 79 2c 20 63 74 78 29 3b 0d 0a 09 09 09 7d 0d ay, ctx);.....}.
1cb0: 0a 0d 0a 09 09 09 41 53 54 20 61 66 74 65 72 4d ......AST afterM
1cc0: 61 63 72 6f 41 53 54 3b 0d 0a 09 09 7d 0d 0a 09 acroAST;....}...
1cd0: 09 72 65 74 75 72 6e 20 6e 65 77 20 55 73 65 72 .return new User
1ce0: 44 65 66 69 6e 65 64 46 75 6e 56 61 6c 75 65 28 DefinedFunValue(
1cf0: 65 2c 63 74 78 29 3b 0d 0a 09 7d 0d 0a 0d 0a 70 e,ctx);...}....p
1d00: 75 62 6c 69 63 3a 0d 0a 09 2f 2f 2f 20 41 64 64 ublic:.../// Add
1d10: 20 70 72 69 6d 69 74 69 76 65 20 66 75 6e 63 74 primitive funct
1d20: 69 6f 6e 20 74 6f 20 74 68 65 20 67 6c 6f 62 61 ion to the globa
1d30: 6c 20 63 6f 6e 74 65 78 74 0d 0a 09 76 6f 69 64 l context...void
1d40: 20 61 64 64 50 72 69 6d 69 74 69 76 65 28 52 2c addPrimitive(R,
1d50: 54 2e 2e 2e 29 28 73 74 72 69 6e 67 20 6e 61 6d T...)(string nam
1d60: 65 2c 20 4c 61 79 65 72 20 64 65 66 4c 61 79 2c e, Layer defLay,
1d70: 20 52 20 64 65 6c 65 67 61 74 65 20 28 54 29 20 R delegate (T)
1d80: 64 67 29 0d 0a 09 7b 0d 0a 09 09 63 6c 61 73 73 dg)...{....class
1d90: 20 4e 61 74 69 76 65 46 75 6e 56 61 6c 75 65 20 NativeFunValue
1da0: 3a 20 46 75 6e 56 61 6c 75 65 0d 0a 09 09 7b 0d : FunValue....{.
1db0: 0a 09 09 09 6f 76 65 72 72 69 64 65 20 63 6f 6e ....override con
1dc0: 73 74 28 50 61 72 61 6d 65 74 65 72 5b 5d 29 20 st(Parameter[])
1dd0: 70 61 72 61 6d 73 28 29 20 7b 20 72 65 74 75 72 params() { retur
1de0: 6e 20 70 61 72 61 6d 73 5f 64 61 74 61 3b 20 7d n params_data; }
1df0: 0d 0a 09 09 09 6f 76 65 72 72 69 64 65 20 54 61 .....override Ta
1e00: 62 6c 65 20 64 65 66 69 6e 69 74 69 6f 6e 43 6f ble definitionCo
1e10: 6e 74 65 78 74 28 29 20 20 20 7b 20 72 65 74 75 ntext() { retu
1e20: 72 6e 20 74 68 65 43 6f 6e 74 65 78 74 3b 20 7d rn theContext; }
1e30: 0d 0a 0d 0a 09 09 09 6f 76 65 72 72 69 64 65 20 .......override
1e40: 73 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 string toString(
1e50: 29 20 7b 20 72 65 74 75 72 6e 20 73 70 72 69 6e ) { return sprin
1e60: 74 66 21 22 28 6e 61 74 69 76 65 3a 25 78 29 22 tf!"(native:%x)"
1e70: 28 64 67 2e 66 75 6e 63 70 74 72 29 3b 20 7d 0d (dg.funcptr); }.
1e80: 0a 09 09 09 6f 76 65 72 72 69 64 65 20 69 6e 74 ....override int
1e90: 20 6f 70 43 6d 70 28 4f 62 6a 65 63 74 20 72 68 opCmp(Object rh
1ea0: 73 29 20 7b 0d 0a 09 09 09 09 69 66 28 61 75 74 s) {......if(aut
1eb0: 6f 20 72 20 3d 20 63 61 73 74 28 4e 61 74 69 76 o r = cast(Nativ
1ec0: 65 46 75 6e 56 61 6c 75 65 29 72 68 73 29 20 72 eFunValue)rhs) r
1ed0: 65 74 75 72 6e 20 74 79 70 65 69 64 28 74 79 70 eturn typeid(typ
1ee0: 65 6f 66 28 64 67 29 29 2e 63 6f 6d 70 61 72 65 eof(dg)).compare
1ef0: 28 26 64 67 2c 26 72 2e 64 67 29 3b 0d 0a 09 09 (&dg,&r.dg);....
1f00: 09 09 69 66 28 61 75 74 6f 20 72 20 3d 20 63 61 ..if(auto r = ca
1f10: 73 74 28 56 61 6c 75 65 29 72 68 73 29 20 20 20 st(Value)rhs)
1f20: 20 20 20 20 20 20 20 72 65 74 75 72 6e 20 74 79 return ty
1f30: 70 65 69 64 28 74 68 69 73 29 2e 6f 70 43 6d 70 peid(this).opCmp
1f40: 28 74 79 70 65 69 64 28 72 29 29 3b 0d 0a 09 09 (typeid(r));....
1f50: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 ..throw genex!Ru
1f60: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 4c ntimeException(L
1f70: 65 78 50 6f 73 69 74 69 6f 6e 2e 64 75 6d 6d 79 exPosition.dummy
1f80: 2c 20 22 63 6f 6d 70 61 72 69 73 6f 6e 20 77 69 , "comparison wi
1f90: 74 68 20 76 61 6c 75 65 20 61 6e 64 20 73 6f 6d th value and som
1fa0: 69 74 68 69 6e 67 20 6f 74 68 65 72 22 29 3b 0d ithing other");.
1fb0: 0a 09 09 09 7d 0d 0a 09 09 09 6d 69 78 69 6e 20 ....}.....mixin
1fc0: 53 69 6d 70 6c 65 54 6f 48 61 73 68 3b 0d 0a 0d SimpleToHash;...
1fd0: 0a 09 09 09 52 20 64 65 6c 65 67 61 74 65 28 54 ....R delegate(T
1fe0: 29 20 64 67 3b 0d 0a 09 09 09 50 61 72 61 6d 65 ) dg;.....Parame
1ff0: 74 65 72 5b 5d 20 70 61 72 61 6d 73 5f 64 61 74 ter[] params_dat
2000: 61 3b 0d 0a 0d 0a 09 09 09 74 68 69 73 28 52 20 a;.......this(R
2010: 64 65 6c 65 67 61 74 65 28 54 29 20 64 67 29 0d delegate(T) dg).
2020: 0a 09 09 09 7b 0d 0a 09 09 09 09 74 68 69 73 2e ....{......this.
2030: 64 67 20 3d 20 64 67 3b 0d 0a 09 09 09 09 66 6f dg = dg;......fo
2040: 72 65 61 63 68 28 69 2c 20 54 69 3b 20 54 29 0d reach(i, Ti; T).
2050: 0a 09 09 09 09 09 70 61 72 61 6d 73 5f 64 61 74 ......params_dat
2060: 61 20 7e 3d 20 6e 65 77 20 50 61 72 61 6d 65 74 a ~= new Paramet
2070: 65 72 28 74 65 78 74 28 69 29 2c 20 5b 5d 29 3b er(text(i), []);
2080: 0d 0a 09 09 09 7d 0d 0a 0d 0a 09 09 09 6f 76 65 .....}.......ove
2090: 72 72 69 64 65 20 56 61 6c 75 65 20 69 6e 76 6f rride Value invo
20a0: 6b 65 28 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 ke(Layer lay, Ta
20b0: 62 6c 65 20 63 74 78 2c 20 4c 65 78 50 6f 73 69 ble ctx, LexPosi
20c0: 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 09 09 7b 0d tion pos).....{.
20d0: 0a 09 09 09 09 69 66 28 20 6c 61 79 20 21 3d 20 .....if( lay !=
20e0: 64 65 66 4c 61 79 20 29 0d 0a 09 09 09 09 09 74 defLay ).......t
20f0: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
2100: 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c meException(pos,
2110: 20 74 65 78 74 28 22 6f 6e 6c 79 20 22 2c 20 64 text("only ", d
2120: 65 66 4c 61 79 2c 20 22 20 6c 61 79 65 72 20 63 efLay, " layer c
2130: 61 6e 20 63 61 6c 6c 20 6e 61 74 69 76 65 20 66 an call native f
2140: 75 6e 63 74 69 6f 6e 3a 20 22 2c 20 6e 61 6d 65 unction: ", name
2150: 29 29 3b 0d 0a 09 09 09 09 54 20 74 79 70 65 64 ));......T typed
2160: 5f 61 72 67 73 3b 0d 0a 09 09 09 09 66 6f 72 65 _args;......fore
2170: 61 63 68 28 69 2c 20 54 69 3b 20 54 29 20 7b 0d ach(i, Ti; T) {.
2180: 0a 09 09 09 09 09 74 79 70 65 64 5f 61 72 67 73 ......typed_args
2190: 5b 69 5d 20 3d 20 63 61 73 74 28 54 69 29 20 63 [i] = cast(Ti) c
21a0: 74 78 2e 67 65 74 28 74 65 78 74 28 69 29 2c 20 tx.get(text(i),
21b0: 56 61 6c 75 65 4c 61 79 65 72 2c 20 70 6f 73 29 ValueLayer, pos)
21c0: 3b 0d 0a 09 09 09 09 09 69 66 28 20 74 79 70 65 ;.......if( type
21d0: 64 5f 61 72 67 73 5b 69 5d 20 69 73 20 6e 75 6c d_args[i] is nul
21e0: 6c 20 29 0d 0a 09 09 09 09 09 09 74 68 72 6f 77 l )........throw
21f0: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
2200: 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 73 70 72 ception(pos, spr
2210: 69 6e 74 66 21 22 74 79 70 65 20 6d 69 73 6d 61 intf!"type misma
2220: 74 63 68 20 6f 6e 20 74 68 65 20 61 72 67 75 6d tch on the argum
2230: 65 6e 74 20 25 64 20 6f 66 20 6e 61 74 69 76 65 ent %d of native
2240: 20 66 75 6e 63 74 69 6f 6e 3a 20 25 73 22 28 69 function: %s"(i
2250: 2b 31 2c 6e 61 6d 65 29 29 3b 0d 0a 09 09 09 09 +1,name));......
2260: 7d 0d 0a 09 09 09 09 74 72 79 20 7b 0d 0a 09 09 }......try {....
2270: 09 09 09 72 65 74 75 72 6e 20 64 67 28 74 79 70 ...return dg(typ
2280: 65 64 5f 61 72 67 73 29 3b 0d 0a 09 09 09 09 7d ed_args);......}
2290: 20 63 61 74 63 68 28 20 52 75 6e 74 69 6d 65 45 catch( RuntimeE
22a0: 78 63 65 70 74 69 6f 6e 20 65 20 29 20 7b 0d 0a xception e ) {..
22b0: 09 09 09 09 09 74 68 72 6f 77 20 65 2e 70 6f 73 .....throw e.pos
22c0: 20 69 73 20 6e 75 6c 6c 20 3f 20 6e 65 77 20 52 is null ? new R
22d0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
22e0: 70 6f 73 2c 20 65 2e 6d 73 67 2c 20 65 2e 66 69 pos, e.msg, e.fi
22f0: 6c 65 2c 20 65 2e 6c 69 6e 65 29 20 3a 20 65 3b le, e.line) : e;
2300: 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 7d 0d 0a 09 ......}.....}...
2310: 09 7d 0d 0a 09 09 74 68 65 43 6f 6e 74 65 78 74 .}....theContext
2320: 2e 73 65 74 28 6e 61 6d 65 2c 20 64 65 66 4c 61 .set(name, defLa
2330: 79 2c 20 6e 65 77 20 4e 61 74 69 76 65 46 75 6e y, new NativeFun
2340: 56 61 6c 75 65 28 64 67 29 29 3b 0d 0a 09 7d 0d Value(dg));...}.
2350: 0a 7d 0d 0a 0d 0a 76 65 72 73 69 6f 6e 28 75 6e .}....version(un
2360: 69 74 74 65 73 74 29 20 69 6d 70 6f 72 74 20 70 ittest) import p
2370: 6f 6c 65 6d 79 2e 72 75 6e 74 69 6d 65 3b 0d 0a olemy.runtime;..
2380: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 unittest..{...au
2390: 74 6f 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75 to e = new Evalu
23a0: 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75 ator;...enrollRu
23b0: 6e 74 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b ntimeLibrary(e);
23c0: 0d 0a 09 61 75 74 6f 20 72 20 3d 20 61 73 73 65 ...auto r = asse
23d0: 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 2e 65 76 rt_nothrow( e.ev
23e0: 61 6c 53 74 72 69 6e 67 28 60 76 61 72 20 78 20 alString(`var x
23f0: 3d 20 32 31 3b 20 78 20 2b 20 78 2a 78 3b 60 29 = 21; x + x*x;`)
2400: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
2410: 20 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 r, new IntValue
2420: 28 42 69 67 49 6e 74 28 32 31 2b 32 31 2a 32 31 (BigInt(21+21*21
2430: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
2440: 71 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74 65 q( e.globalConte
2450: 78 74 2e 67 65 74 28 22 78 22 2c 56 61 6c 75 65 xt.get("x",Value
2460: 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 Layer), new IntV
2470: 61 6c 75 65 28 42 69 67 49 6e 74 28 32 31 29 29 alue(BigInt(21))
2480: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 );...assert_not
2490: 68 72 6f 77 28 20 65 2e 67 6c 6f 62 61 6c 43 6f hrow( e.globalCo
24a0: 6e 74 65 78 74 2e 67 65 74 28 22 78 22 2c 56 61 ntext.get("x",Va
24b0: 6c 75 65 4c 61 79 65 72 29 20 29 3b 0d 0a 09 61 lueLayer) );...a
24c0: 73 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 ssert_throw!Runt
24d0: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 65 2e imeException( e.
24e0: 67 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 2e 67 65 globalContext.ge
24f0: 74 28 22 79 22 2c 56 61 6c 75 65 4c 61 79 65 72 t("y",ValueLayer
2500: 29 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 ) );..}..unittes
2510: 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 t..{...auto e =
2520: 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a new Evaluator;..
2530: 09 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 .enrollRuntimeLi
2540: 62 72 61 72 79 28 65 29 3b 0d 0a 09 61 75 74 6f brary(e);...auto
2550: 20 72 20 3d 20 61 73 73 65 72 74 5f 6e 6f 74 68 r = assert_noth
2560: 72 6f 77 28 20 65 2e 65 76 61 6c 53 74 72 69 6e row( e.evalStrin
2570: 67 28 60 76 61 72 20 78 20 3d 20 32 31 3b 20 76 g(`var x = 21; v
2580: 61 72 20 78 20 3d 20 78 20 2b 20 78 2a 78 3b 60 ar x = x + x*x;`
2590: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
25a0: 28 20 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 ( r, new IntValu
25b0: 65 28 42 69 67 49 6e 74 28 32 31 2b 32 31 2a 32 e(BigInt(21+21*2
25c0: 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 1)) );...assert_
25d0: 65 71 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74 eq( e.globalCont
25e0: 65 78 74 2e 67 65 74 28 22 78 22 2c 56 61 6c 75 ext.get("x",Valu
25f0: 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 eLayer), new Int
2600: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 32 31 2b Value(BigInt(21+
2610: 32 31 2a 32 31 29 29 20 29 3b 0d 0a 09 61 73 73 21*21)) );...ass
2620: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 2e 67 ert_nothrow( e.g
2630: 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 2e 67 65 74 lobalContext.get
2640: 28 22 78 22 2c 56 61 6c 75 65 4c 61 79 65 72 29 ("x",ValueLayer)
2650: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 );...assert_thr
2660: 6f 77 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ow!RuntimeExcept
2670: 69 6f 6e 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e ion( e.globalCon
2680: 74 65 78 74 2e 67 65 74 28 22 79 22 2c 56 61 6c text.get("y",Val
2690: 75 65 4c 61 79 65 72 29 20 29 3b 0d 0a 7d 0d 0a ueLayer) );..}..
26a0: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 unittest..{...au
26b0: 74 6f 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75 to e = new Evalu
26c0: 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75 ator;...enrollRu
26d0: 6e 74 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b ntimeLibrary(e);
26e0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 2e ...assert_eq( e.
26f0: 65 76 61 6c 53 74 72 69 6e 67 28 60 6c 65 74 20 evalString(`let
2700: 78 3d 31 3b 20 6c 65 74 20 79 3d 28 6c 65 74 20 x=1; let y=(let
2710: 78 3d 32 29 3b 20 78 60 29 2c 20 6e 65 77 20 49 x=2); x`), new I
2720: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 ntValue(BigInt(1
2730: 29 29 20 29 3b 20 0d 0a 09 61 73 73 65 72 74 5f )) ); ...assert_
2740: 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 eq( e.evalString
2750: 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 79 (`let x=1; let y
2760: 3d 28 6c 65 74 20 78 3d 32 3b 66 75 6e 28 29 7b =(let x=2;fun(){
2770: 78 7d 29 3b 20 79 28 29 60 29 2c 20 6e 65 77 20 x}); y()`), new
2780: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
2790: 32 29 29 20 29 3b 20 0d 0a 7d 0d 0a 0d 0a 75 6e 2)) ); ..}....un
27a0: 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f ittest..{...auto
27b0: 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75 61 74 e = new Evaluat
27c0: 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74 or;...enrollRunt
27d0: 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b 0d 0a imeLibrary(e);..
27e0: 09 61 73 73 65 72 74 5f 65 71 28 20 65 2e 65 76 .assert_eq( e.ev
27f0: 61 6c 53 74 72 69 6e 67 28 60 40 61 20 78 3d 31 alString(`@a x=1
2800: 3b 20 40 62 20 78 3d 32 3b 20 40 61 28 78 29 60 ; @b x=2; @a(x)`
2810: 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 ), new IntValue(
2820: 42 69 67 49 6e 74 28 31 29 29 20 29 3b 0d 0a 09 BigInt(1)) );...
2830: 61 73 73 65 72 74 5f 65 71 28 20 65 2e 65 76 61 assert_eq( e.eva
2840: 6c 53 74 72 69 6e 67 28 60 40 61 20 78 3d 31 3b lString(`@a x=1;
2850: 20 40 62 20 78 3d 32 3b 20 40 62 28 78 29 60 29 @b x=2; @b(x)`)
2860: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
2870: 69 67 49 6e 74 28 32 29 29 20 29 3b 0d 0a 09 61 igInt(2)) );...a
2880: 73 73 65 72 74 5f 65 71 28 20 65 2e 65 76 61 6c ssert_eq( e.eval
2890: 53 74 72 69 6e 67 28 60 6c 65 74 20 78 3d 31 3b String(`let x=1;
28a0: 20 6c 65 74 20 5f 20 3d 20 28 40 61 20 78 3d 32 let _ = (@a x=2
28b0: 3b 32 29 3b 20 78 60 29 2c 20 6e 65 77 20 49 6e ;2); x`), new In
28c0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 tValue(BigInt(1)
28d0: 29 20 29 3b 0d 0a 09 65 20 3d 20 6e 65 77 20 45 ) );...e = new E
28e0: 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 61 73 73 65 valuator;...asse
28f0: 72 74 5f 74 68 72 6f 77 21 54 68 72 6f 77 61 62 rt_throw!Throwab
2900: 6c 65 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 le( e.evalString
2910: 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 5f (`let x=1; let _
2920: 20 3d 20 28 40 61 20 78 3d 32 3b 32 29 3b 20 40 = (@a x=2;2); @
2930: 61 28 78 29 60 29 20 29 3b 0d 0a 7d 0d 0a 0d 0a a(x)`) );..}....
2940: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 unittest..{...au
2950: 74 6f 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75 to e = new Evalu
2960: 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75 ator;...enrollRu
2970: 6e 74 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b ntimeLibrary(e);
2980: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 2e ...assert_eq( e.
2990: 65 76 61 6c 53 74 72 69 6e 67 28 60 0d 0a 09 09 evalString(`....
29a0: 40 40 73 28 78 29 7b 78 7d 3b 0d 0a 09 09 40 73 @@s(x){x};....@s
29b0: 20 22 2b 22 20 3d 20 66 75 6e 28 78 2c 20 79 29 "+" = fun(x, y)
29c0: 20 7b 40 76 61 6c 75 65 28 0d 0a 09 09 09 40 73 {@value(.....@s
29d0: 28 78 29 20 2d 20 40 73 28 79 29 0d 0a 09 09 29 (x) - @s(y)....)
29e0: 7d 3b 0d 0a 09 09 40 73 28 31 20 2b 20 32 29 0d };....@s(1 + 2).
29f0: 0a 09 60 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c ..`), new IntVal
2a00: 75 65 28 42 69 67 49 6e 74 28 2d 31 29 29 20 29 ue(BigInt(-1)) )
2a10: 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 ;..}....unittest
2a20: 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e ..{...auto e = n
2a30: 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 ew Evaluator;...
2a40: 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 enrollRuntimeLib
2a50: 72 61 72 79 28 65 29 3b 0d 0a 09 61 73 73 65 72 rary(e);...asser
2a60: 74 5f 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69 t_eq( e.evalStri
2a70: 6e 67 28 60 0d 0a 40 40 33 28 78 29 7b 78 7d 3b ng(`..@@3(x){x};
2a80: 0d 0a 64 65 66 20 69 6e 63 72 28 78 29 20 7b 20 ..def incr(x) {
2a90: 78 2b 31 20 7d 3b 0d 0a 40 20 33 20 69 6e 63 72 x+1 };..@ 3 incr
2aa0: 28 78 29 20 7b 40 76 61 6c 75 65 28 20 69 66 28 (x) {@value( if(
2ab0: 40 20 33 28 78 29 2b 31 3c 20 33 29 7b 40 20 33 @ 3(x)+1< 3){@ 3
2ac0: 28 78 29 2b 31 7d 65 6c 73 65 7b 30 7d 20 29 7d (x)+1}else{0} )}
2ad0: 3b 0d 0a 64 65 66 20 66 62 28 6e 20 40 76 61 6c ;..def fb(n @val
2ae0: 75 65 20 40 33 29 20 7b 20 40 33 28 6e 29 20 7d ue @3) { @3(n) }
2af0: 3b 0d 0a 66 62 28 69 6e 63 72 28 69 6e 63 72 28 ;..fb(incr(incr(
2b00: 69 6e 63 72 28 30 29 29 29 29 0d 0a 09 60 29 2c incr(0))))...`),
2b10: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
2b20: 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a 7d 0d 0a gInt(0)) );..}..
2b30: 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 ..unittest..{...
2b40: 61 75 74 6f 20 65 20 3d 20 6e 65 77 20 45 76 61 auto e = new Eva
2b50: 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c luator;...enroll
2b60: 52 75 6e 74 69 6d 65 4c 69 62 72 61 72 79 28 65 RuntimeLibrary(e
2b70: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 );...assert_noth
2b80: 72 6f 77 28 20 65 2e 65 76 61 6c 53 74 72 69 6e row( e.evalStrin
2b90: 67 28 60 0d 0a 40 6d 61 63 72 6f 20 74 77 69 63 g(`..@macro twic
2ba0: 65 28 78 29 20 7b 20 78 3b 20 78 20 7d 3b 0d 0a e(x) { x; x };..
2bb0: 64 65 66 20 6d 61 69 6e 28 29 20 7b 20 74 77 69 def main() { twi
2bc0: 63 65 28 31 29 20 7d 3b 0d 0a 6d 61 69 6e 28 29 ce(1) };..main()
2bd0: 0d 0a 09 60 29 20 29 3b 0d 0a 7d 0d 0a 2f 2a 0d ...`) );..}../*.
2be0: 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 .unittest..{...a
2bf0: 73 73 65 72 74 5f 65 71 28 20 65 76 61 6c 53 74 ssert_eq( evalSt
2c00: 72 69 6e 67 28 60 76 61 72 20 66 61 63 20 3d 20 ring(`var fac =
2c10: 66 75 6e 28 78 29 7b 0d 0a 09 09 69 66 28 78 29 fun(x){....if(x)
2c20: 0d 0a 09 09 09 7b 20 78 2a 66 61 63 28 78 2d 31 .....{ x*fac(x-1
2c30: 29 3b 20 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 ); }....else....
2c40: 09 7b 20 31 3b 20 7d 3b 0d 0a 09 7d 3b 0d 0a 09 .{ 1; };...};...
2c50: 66 61 63 28 31 30 29 3b 60 29 2e 76 61 6c 2c 20 fac(10);`).val,
2c60: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
2c70: 49 6e 74 28 31 30 2a 39 2a 38 2a 35 30 34 30 29 Int(10*9*8*5040)
2c80: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
2c90: 20 65 76 61 6c 53 74 72 69 6e 67 28 60 76 61 72 evalString(`var
2ca0: 20 66 69 62 20 3d 20 66 75 6e 28 78 29 7b 0d 0a fib = fun(x){..
2cb0: 09 09 69 66 28 78 3c 32 29 0d 0a 09 09 09 7b 20 ..if(x<2).....{
2cc0: 31 3b 20 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 1; }....else....
2cd0: 09 7b 20 66 69 62 28 78 2d 31 29 20 2b 20 66 69 .{ fib(x-1) + fi
2ce0: 62 28 78 2d 32 29 3b 20 7d 3b 0d 0a 09 7d 3b 0d b(x-2); };...};.
2cf0: 0a 09 66 69 62 28 35 29 3b 60 29 2e 76 61 6c 2c ..fib(5);`).val,
2d00: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
2d10: 67 49 6e 74 28 38 29 29 29 3b 0d 0a 7d 0d 0a 75 gInt(8)));..}..u
2d20: 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 nittest..{...ass
2d30: 65 72 74 5f 65 71 28 20 65 76 61 6c 53 74 72 69 ert_eq( evalStri
2d40: 6e 67 28 60 40 40 74 20 3d 20 66 75 6e 28 78 29 ng(`@@t = fun(x)
2d50: 7b 78 2b 31 7d 3b 20 40 74 28 31 32 33 29 60 29 {x+1}; @t(123)`)
2d60: 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c .val, new IntVal
2d70: 75 65 28 42 69 67 49 6e 74 28 31 32 34 29 29 20 ue(BigInt(124))
2d80: 29 3b 0d 0a 09 2f 2f 20 74 68 65 72 65 20 77 61 );...// there wa
2d90: 73 20 61 20 62 75 67 20 74 68 61 74 20 64 65 63 s a bug that dec
2da0: 6c 61 72 61 74 69 6f 6e 20 69 6e 20 74 68 65 20 laration in the
2db0: 66 69 72 73 74 20 6c 69 6e 65 20 6f 66 20 66 75 first line of fu
2dc0: 6e 63 74 69 6f 6e 20 64 65 66 69 6e 69 74 69 6f nction definitio
2dd0: 6e 0d 0a 09 2f 2f 20 63 61 6e 6e 6f 74 20 62 65 n...// cannot be
2de0: 20 72 65 63 75 72 73 69 76 65 0d 0a 09 61 73 73 recursive...ass
2df0: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 76 61 ert_nothrow( eva
2e00: 6c 53 74 72 69 6e 67 28 60 64 65 66 20 66 6f 6f lString(`def foo
2e10: 28 29 20 7b 0d 0a 20 20 64 65 66 20 62 61 72 28 () {.. def bar(
2e20: 79 29 20 7b 20 69 66 28 79 3c 31 29 20 7b 30 7d y) { if(y<1) {0}
2e30: 20 65 6c 73 65 20 7b 62 61 72 28 30 29 7d 20 7d else {bar(0)} }
2e40: 3b 0d 0a 20 20 62 61 72 28 31 29 0d 0a 7d 3b 20 ;.. bar(1)..};
2e50: 66 6f 6f 28 29 60 29 20 29 3b 0d 0a 7d 0d 0a 2a foo()`) );..}..*
2e60: 2f 0d 0a /..