0000: 2f 2a 2a 0d 0a 20 2a 20 41 75 74 68 6f 72 73 3a /**.. * Authors:
0010: 20 6b 2e 69 6e 61 62 61 0d 0a 20 2a 20 4c 69 63 k.inaba.. * Lic
0020: 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38 ense: NYSL 0.998
0030: 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 2 http://www.kmo
0040: 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0d 0a 20 nos.net/nysl/..
0050: 2a 0d 0a 20 2a 20 45 76 61 6c 75 61 74 6f 72 20 *.. * Evaluator
0060: 66 6f 72 20 50 6f 6c 65 6d 79 20 70 72 6f 67 72 for Polemy progr
0070: 61 6d 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65 2e amming language.
0080: 0d 0a 20 2a 2f 0d 0a 6d 6f 64 75 6c 65 20 70 6f .. */..module po
0090: 6c 65 6d 79 2e 65 76 61 6c 3b 0d 0a 69 6d 70 6f lemy.eval;..impo
00a0: 72 74 20 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f rt polemy._commo
00b0: 6e 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d n;..import polem
00c0: 79 2e 66 61 69 6c 75 72 65 3b 0d 0a 69 6d 70 6f y.failure;..impo
00d0: 72 74 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0d 0a rt polemy.ast;..
00e0: 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 70 61 import polemy.pa
00f0: 72 73 65 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c rse;..import pol
0100: 65 6d 79 2e 76 61 6c 75 65 3b 0d 0a 69 6d 70 6f emy.value;..impo
0110: 72 74 20 70 6f 6c 65 6d 79 2e 6c 61 79 65 72 3b rt polemy.layer;
0120: 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e ..import polemy.
0130: 76 61 6c 75 65 3b 0d 0a 69 6d 70 6f 72 74 20 70 value;..import p
0140: 6f 6c 65 6d 79 2e 76 61 6c 75 65 63 6f 6e 76 3b olemy.valueconv;
0150: 0d 0a 69 6d 70 6f 72 74 20 73 74 64 2e 73 69 67 ..import std.sig
0160: 6e 61 6c 73 3b 0d 0a 0d 0a 2f 2f 2f 20 4f 62 6a nals;..../// Obj
0170: 65 63 74 73 20 66 6f 72 20 6d 61 69 74 61 69 6e ects for maitain
0180: 69 6e 67 20 67 6c 6f 62 61 6c 20 65 6e 76 69 72 ing global envir
0190: 6f 6e 6d 65 6e 74 20 61 6e 64 20 65 76 61 6c 75 onment and evalu
01a0: 61 74 69 6f 6e 20 6f 66 20 65 78 70 72 65 73 73 ation of express
01b0: 69 6f 6e 20 6f 6e 20 69 74 0d 0a 63 6c 61 73 73 ion on it..class
01c0: 20 45 76 61 6c 75 61 74 6f 72 0d 0a 7b 0d 0a 70 Evaluator..{..p
01d0: 75 62 6c 69 63 3a 0d 0a 09 2f 2f 2f 20 49 6e 69 ublic:.../// Ini
01e0: 74 69 61 6c 69 7a 65 20 65 76 61 6c 75 61 74 6f tialize evaluato
01f0: 72 20 77 69 74 68 20 65 6d 70 74 79 20 63 6f 6e r with empty con
0200: 74 65 78 74 0d 0a 09 74 68 69 73 28 29 20 7b 20 text...this() {
0210: 74 68 65 43 6f 6e 74 65 78 74 20 3d 20 6e 65 77 theContext = new
0220: 20 54 61 62 6c 65 3b 20 7d 0d 0a 0d 0a 09 2f 2f Table; }.....//
0230: 2f 20 45 76 61 6c 75 61 74 65 20 74 68 65 20 41 / Evaluate the A
0240: 53 54 0d 0a 09 56 61 6c 75 65 20 65 76 61 6c 41 ST...Value evalA
0250: 53 54 28 41 53 54 20 65 29 0d 0a 09 7b 0d 0a 09 ST(AST e)...{...
0260: 09 72 65 74 75 72 6e 20 6d 61 63 72 6f 41 6e 64 .return macroAnd
0270: 45 76 61 6c 28 65 2c 20 56 61 6c 75 65 4c 61 79 Eval(e, ValueLay
0280: 65 72 2c 20 74 68 65 43 6f 6e 74 65 78 74 2c 20 er, theContext,
0290: 4f 76 65 72 77 72 69 74 65 43 74 78 29 3b 0d 0a OverwriteCtx);..
02a0: 09 7d 0d 0a 0d 0a 09 2f 2f 2f 20 45 76 61 6c 75 .}...../// Evalu
02b0: 61 74 65 20 74 68 65 20 73 74 72 69 6e 67 0d 0a ate the string..
02c0: 09 56 61 6c 75 65 20 65 76 61 6c 53 74 72 69 6e .Value evalStrin
02d0: 67 28 53 2c 54 2e 2e 2e 29 28 53 20 73 74 72 2c g(S,T...)(S str,
02e0: 20 54 20 66 6e 5f 6c 6e 5f 63 6e 29 0d 0a 09 7b T fn_ln_cn)...{
02f0: 0d 0a 09 09 72 65 74 75 72 6e 20 65 76 61 6c 41 ....return evalA
0300: 53 54 28 70 61 72 73 65 53 74 72 69 6e 67 28 73 ST(parseString(s
0310: 74 72 2c 66 6e 5f 6c 6e 5f 63 6e 29 29 3b 0d 0a tr,fn_ln_cn));..
0320: 09 7d 0d 0a 0d 0a 09 2f 2f 2f 20 45 76 61 6c 75 .}...../// Evalu
0330: 61 74 65 20 74 68 65 20 66 69 6c 65 0d 0a 09 56 ate the file...V
0340: 61 6c 75 65 20 65 76 61 6c 46 69 6c 65 28 53 2c alue evalFile(S,
0350: 54 2e 2e 2e 29 28 53 20 66 69 6c 65 6e 61 6d 65 T...)(S filename
0360: 2c 20 54 20 6c 6e 5f 63 6e 29 0d 0a 09 7b 0d 0a , T ln_cn)...{..
0370: 09 09 72 65 74 75 72 6e 20 65 76 61 6c 41 53 54 ..return evalAST
0380: 28 70 61 72 73 65 46 69 6c 65 28 66 69 6c 65 6e (parseFile(filen
0390: 61 6d 65 2c 6c 6e 5f 63 6e 29 29 3b 0d 0a 09 7d ame,ln_cn));...}
03a0: 0d 0a 0d 0a 09 2f 2f 2f 20 47 65 74 20 74 68 65 ...../// Get the
03b0: 20 67 6c 6f 62 61 6c 20 63 6f 6e 74 65 78 74 0d global context.
03c0: 0a 09 54 61 62 6c 65 20 67 6c 6f 62 61 6c 43 6f ..Table globalCo
03d0: 6e 74 65 78 74 28 29 0d 0a 09 7b 0d 0a 09 09 72 ntext()...{....r
03e0: 65 74 75 72 6e 20 74 68 65 43 6f 6e 74 65 78 74 eturn theContext
03f0: 3b 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 ;...}....private
0400: 3a 0d 0a 09 54 61 62 6c 65 20 74 68 65 43 6f 6e :...Table theCon
0410: 74 65 78 74 3b 0d 0a 0d 0a 09 65 6e 75 6d 20 3a text;.....enum :
0420: 20 62 6f 6f 6c 20 7b 20 43 61 73 63 61 64 65 43 bool { CascadeC
0430: 74 78 3d 66 61 6c 73 65 2c 20 4f 76 65 72 77 72 tx=false, Overwr
0440: 69 74 65 43 74 78 3d 74 72 75 65 20 7d 3b 0d 0a iteCtx=true };..
0450: 0d 0a 09 4c 61 79 65 72 45 76 61 6c 20 67 65 74 ...LayerEval get
0460: 4c 61 79 65 72 45 76 61 6c 75 61 74 6f 72 28 4c LayerEvaluator(L
0470: 61 79 65 72 20 6c 61 79 29 0d 0a 09 7b 0d 0a 09 ayer lay)...{...
0480: 09 69 66 28 20 6c 61 79 20 3d 3d 20 56 61 6c 75 .if( lay == Valu
0490: 65 4c 61 79 65 72 20 29 0d 0a 09 09 09 72 65 74 eLayer ).....ret
04a0: 75 72 6e 20 6e 65 77 20 56 61 6c 75 65 4c 61 79 urn new ValueLay
04b0: 65 72 45 76 61 6c 3b 0d 0a 09 09 69 66 28 20 6c erEval;....if( l
04c0: 61 79 20 3d 3d 20 52 61 77 4d 61 63 72 6f 4c 61 ay == RawMacroLa
04d0: 79 65 72 20 29 0d 0a 09 09 09 72 65 74 75 72 6e yer ).....return
04e0: 20 6e 65 77 20 52 61 77 4d 61 63 72 6f 4c 61 79 new RawMacroLay
04f0: 65 72 45 76 61 6c 3b 0d 0a 09 09 69 66 28 20 6c erEval;....if( l
0500: 61 79 20 3d 3d 20 4d 61 63 72 6f 4c 61 79 65 72 ay == MacroLayer
0510: 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 ).....return ne
0520: 77 20 4d 61 63 72 6f 4c 61 79 65 72 45 76 61 6c w MacroLayerEval
0530: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 ;....return new
0540: 55 73 65 72 44 65 66 69 6e 65 64 4c 61 79 65 72 UserDefinedLayer
0550: 45 76 61 6c 28 6c 61 79 29 3b 0d 0a 09 7d 0d 0a Eval(lay);...}..
0560: 0d 0a 09 61 62 73 74 72 61 63 74 20 63 6c 61 73 ...abstract clas
0570: 73 20 4c 61 79 65 72 45 76 61 6c 0d 0a 09 7b 0d s LayerEval...{.
0580: 0a 09 09 2f 2f 2f 20 43 6f 6e 63 72 65 74 65 20 .../// Concrete
0590: 6c 61 79 65 72 73 20 73 68 6f 75 6c 64 20 69 6d layers should im
05a0: 70 6c 65 6d 65 6e 74 20 74 68 65 73 65 0d 0a 09 plement these...
05b0: 09 4c 61 79 65 72 20 63 75 72 72 65 6e 74 4c 61 .Layer currentLa
05c0: 79 65 72 28 29 3b 0d 0a 09 09 56 61 6c 75 65 20 yer();....Value
05d0: 65 76 61 6c 5f 28 20 44 69 65 20 65 2c 20 54 61 eval_( Die e, Ta
05e0: 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 63 74 ble ctx, bool ct
05f0: 78 4d 6f 64 20 29 3b 2f 2f 2f 0d 0a 09 09 56 61 xMod );///....Va
0600: 6c 75 65 20 65 76 61 6c 5f 28 20 53 74 72 20 65 lue eval_( Str e
0610: 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f , Table ctx, boo
0620: 6c 20 63 74 78 4d 6f 64 20 29 3b 2f 2f 2f 0d 0a l ctxMod );///..
0630: 09 09 56 61 6c 75 65 20 65 76 61 6c 5f 28 20 49 ..Value eval_( I
0640: 6e 74 20 65 2c 20 54 61 62 6c 65 20 63 74 78 2c nt e, Table ctx,
0650: 20 62 6f 6f 6c 20 63 74 78 4d 6f 64 20 29 3b 2f bool ctxMod );/
0660: 2f 2f 0d 0a 09 09 56 61 6c 75 65 20 65 76 61 6c //....Value eval
0670: 5f 28 20 56 61 72 20 65 2c 20 54 61 62 6c 65 20 _( Var e, Table
0680: 63 74 78 2c 20 62 6f 6f 6c 20 63 74 78 4d 6f 64 ctx, bool ctxMod
0690: 20 29 3b 2f 2f 2f 0d 0a 09 09 56 61 6c 75 65 20 );///....Value
06a0: 65 76 61 6c 5f 28 20 4c 61 79 20 65 2c 20 54 61 eval_( Lay e, Ta
06b0: 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 63 74 ble ctx, bool ct
06c0: 78 4d 6f 64 20 29 3b 2f 2f 2f 0d 0a 09 09 56 61 xMod );///....Va
06d0: 6c 75 65 20 65 76 61 6c 5f 28 20 4c 65 74 20 65 lue eval_( Let e
06e0: 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f , Table ctx, boo
06f0: 6c 20 63 74 78 4d 6f 64 20 29 3b 2f 2f 2f 0d 0a l ctxMod );///..
0700: 09 09 56 61 6c 75 65 20 65 76 61 6c 5f 28 20 41 ..Value eval_( A
0710: 70 70 20 65 2c 20 54 61 62 6c 65 20 63 74 78 2c pp e, Table ctx,
0720: 20 62 6f 6f 6c 20 63 74 78 4d 6f 64 20 29 3b 2f bool ctxMod );/
0730: 2f 2f 0d 0a 09 09 56 61 6c 75 65 20 65 76 61 6c //....Value eval
0740: 5f 28 20 46 75 6e 20 65 2c 20 54 61 62 6c 65 20 _( Fun e, Table
0750: 63 74 78 2c 20 62 6f 6f 6c 20 63 74 78 4d 6f 64 ctx, bool ctxMod
0760: 20 29 3b 2f 2f 2f 0d 0a 0d 0a 09 09 2f 2f 2f 20 );///......///
0770: 64 79 6e 61 6d 69 63 2d 6f 76 65 72 6c 6f 61 64 dynamic-overload
0780: 2d 72 65 73 6f 6c 75 74 69 6f 6e 0d 0a 09 09 56 -resolution....V
0790: 61 6c 75 65 20 65 76 61 6c 28 20 41 53 54 20 65 alue eval( AST e
07a0: 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f , Table ctx, boo
07b0: 6c 20 63 74 78 4d 6f 64 20 29 0d 0a 09 09 7b 0d l ctxMod )....{.
07c0: 0a 09 09 09 65 6e 75 6d 20 66 75 6e 4e 61 6d 65 ....enum funName
07d0: 20 3d 20 22 65 76 61 6c 5f 22 3b 20 20 20 20 20 = "eval_";
07e0: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2f 20 6d // m
07f0: 6f 64 69 66 79 20 68 65 72 65 20 74 6f 20 63 75 odify here to cu
0800: 73 74 6f 6d 69 7a 65 0d 0a 09 09 09 61 6c 69 61 stomize.....alia
0810: 73 20 54 79 70 65 54 75 70 6c 65 21 28 65 2c 63 s TypeTuple!(e,c
0820: 74 78 2c 63 74 78 4d 6f 64 29 20 70 61 72 61 6d tx,ctxMod) param
0830: 73 3b 20 20 2f 2f 20 6d 6f 64 69 66 79 20 68 65 s; // modify he
0840: 72 65 20 74 6f 20 63 75 73 74 6f 6d 69 7a 65 0d re to customize.
0850: 0a 0d 0a 09 09 09 61 6c 69 61 73 20 74 79 70 65 ......alias type
0860: 6f 66 28 5f 5f 74 72 61 69 74 73 28 67 65 74 4f of(__traits(getO
0870: 76 65 72 6c 6f 61 64 73 2c 20 74 68 69 73 2c 20 verloads, this,
0880: 66 75 6e 4e 61 6d 65 29 29 20 6f 76 54 79 70 65 funName)) ovType
0890: 73 3b 0d 0a 09 09 09 61 6c 69 61 73 20 73 74 61 s;.....alias sta
08a0: 74 69 63 4d 61 70 21 28 66 69 72 73 74 50 61 72 ticMap!(firstPar
08b0: 61 6d 2c 20 6f 76 54 79 70 65 73 29 20 20 20 20 am, ovTypes)
08c0: 20 20 20 20 20 20 20 20 20 20 66 73 74 54 79 70 fstTyp
08d0: 65 73 3b 0d 0a 09 09 09 61 6c 69 61 73 20 44 65 es;.....alias De
08e0: 72 69 76 65 64 54 6f 46 72 6f 6e 74 21 28 66 73 rivedToFront!(fs
08f0: 74 54 79 70 65 73 29 20 20 20 20 20 20 20 20 20 tTypes)
0900: 20 20 20 20 66 73 74 54 79 70 65 73 5f 73 6f 72 fstTypes_sor
0910: 74 65 64 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 ted;.....foreach
0920: 28 69 2c 20 54 3b 20 66 73 74 54 79 70 65 73 5f (i, T; fstTypes_
0930: 73 6f 72 74 65 64 29 0d 0a 09 09 09 09 73 74 61 sorted)......sta
0940: 74 69 63 20 69 66 28 20 69 73 28 54 20 3d 3d 20 tic if( is(T ==
0950: 74 79 70 65 6f 66 28 70 61 72 61 6d 73 5b 30 5d typeof(params[0]
0960: 29 29 20 29 20 7b 7d 20 65 6c 73 65 20 69 66 28 )) ) {} else if(
0970: 20 61 75 74 6f 20 5f 78 20 3d 20 63 61 73 74 28 auto _x = cast(
0980: 54 29 70 61 72 61 6d 73 5b 30 5d 20 29 0d 0a 09 T)params[0] )...
0990: 09 09 09 09 72 65 74 75 72 6e 20 5f 5f 74 72 61 ....return __tra
09a0: 69 74 73 28 67 65 74 4f 76 65 72 6c 6f 61 64 73 its(getOverloads
09b0: 2c 20 74 68 69 73 2c 20 66 75 6e 4e 61 6d 65 29 , this, funName)
09c0: 5b 69 5d 28 5f 78 2c 20 70 61 72 61 6d 73 5b 31 [i](_x, params[1
09d0: 2e 2e 24 5d 29 3b 0d 0a 0d 0a 09 09 09 2f 2f 20 ..$]);.......//
09e0: 6d 6f 64 69 66 79 20 68 65 72 65 20 74 6f 20 63 modify here to c
09f0: 75 73 74 6f 6d 69 7a 65 20 74 68 65 20 64 65 66 ustomize the def
0a00: 61 75 6c 74 20 62 65 68 61 76 69 6f 72 0d 0a 09 ault behavior...
0a10: 09 09 61 73 73 65 72 74 28 66 61 6c 73 65 2c 20 ..assert(false,
0a20: 74 65 78 74 28 22 65 76 61 6c 28 29 20 66 6f 72 text("eval() for
0a30: 20 22 2c 74 79 70 65 69 64 28 65 29 2c 22 20 5b ",typeid(e)," [
0a40: 22 2c 65 2e 70 6f 73 2c 22 5d 20 69 73 20 6e 6f ",e.pos,"] is no
0a50: 74 20 64 65 66 69 6e 65 64 22 29 29 3b 0d 0a 09 t defined"));...
0a60: 09 7d 0d 0a 0d 0a 09 09 2f 2f 2f 20 0d 0a 09 09 .}....../// ....
0a70: 56 61 6c 75 65 20 69 6e 76 6f 6b 65 46 75 6e 63 Value invokeFunc
0a80: 74 69 6f 6e 28 56 61 6c 75 65 20 5f 66 2c 20 41 tion(Value _f, A
0a90: 53 54 5b 5d 20 61 72 67 73 2c 20 54 61 62 6c 65 ST[] args, Table
0aa0: 20 63 74 78 2c 20 4c 65 78 50 6f 73 69 74 69 6f ctx, LexPositio
0ab0: 6e 20 70 6f 73 2c 20 73 74 72 69 6e 67 20 63 61 n pos, string ca
0ac0: 6c 6c 73 74 61 63 6b 6d 73 67 29 0d 0a 09 09 7b llstackmsg)....{
0ad0: 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 66 20 3d .....if(auto f =
0ae0: 20 63 61 73 74 28 46 75 6e 56 61 6c 75 65 29 5f cast(FunValue)_
0af0: 66 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 54 61 f).....{......Ta
0b00: 62 6c 65 20 6e 65 77 43 74 78 20 3d 20 6e 65 77 ble newCtx = new
0b10: 20 54 61 62 6c 65 28 66 2e 64 65 66 69 6e 69 74 Table(f.definit
0b20: 69 6f 6e 43 6f 6e 74 65 78 74 28 29 2c 20 54 61 ionContext(), Ta
0b30: 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 ble.Kind.NotProp
0b40: 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 09 09 09 agateSet);......
0b50: 66 6f 72 65 61 63 68 28 69 2c 70 3b 20 66 2e 70 foreach(i,p; f.p
0b60: 61 72 61 6d 73 28 29 29 0d 0a 09 09 09 09 09 69 arams()).......i
0b70: 66 28 20 70 2e 6c 61 79 65 72 73 2e 65 6d 70 74 f( p.layers.empt
0b80: 79 20 29 20 7b 0d 0a 09 09 09 09 09 09 56 61 6c y ) {........Val
0b90: 75 65 20 76 20 3d 20 74 68 69 73 2e 65 76 61 6c ue v = this.eval
0ba0: 28 61 72 67 73 5b 69 5d 2c 20 63 74 78 2c 20 43 (args[i], ctx, C
0bb0: 61 73 63 61 64 65 43 74 78 29 3b 0d 0a 09 09 09 ascadeCtx);.....
0bc0: 09 09 09 69 66 28 76 20 69 73 20 6e 75 6c 6c 29 ...if(v is null)
0bd0: 20 76 20 3d 20 61 73 74 32 74 61 62 6c 65 28 61 v = ast2table(a
0be0: 72 67 73 5b 69 5d 29 3b 0d 0a 09 09 09 09 09 09 rgs[i]);........
0bf0: 6e 65 77 43 74 78 2e 73 65 74 28 70 2e 6e 61 6d newCtx.set(p.nam
0c00: 65 2c 20 63 75 72 72 65 6e 74 4c 61 79 65 72 28 e, currentLayer(
0c10: 29 2c 20 76 29 3b 0d 0a 09 09 09 09 09 7d 0d 0a ), v);.......}..
0c20: 09 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 .....else.......
0c30: 09 66 6f 72 65 61 63 68 28 61 72 67 4c 61 79 3b .foreach(argLay;
0c40: 20 70 2e 6c 61 79 65 72 73 29 20 7b 0d 0a 09 09 p.layers) {....
0c50: 09 09 09 09 09 4c 61 79 65 72 20 6c 6c 20 3d 20 .....Layer ll =
0c60: 61 72 67 4c 61 79 3b 0d 0a 09 09 09 09 09 09 09 argLay;.........
0c70: 69 66 28 20 69 73 4d 61 63 72 6f 4c 61 79 65 72 if( isMacroLayer
0c80: 28 61 72 67 4c 61 79 29 20 26 26 20 74 79 70 65 (argLay) && type
0c90: 69 64 28 74 68 69 73 29 21 3d 74 79 70 65 69 64 id(this)!=typeid
0ca0: 28 4d 61 63 72 6f 4c 61 79 65 72 45 76 61 6c 29 (MacroLayerEval)
0cb0: 20 29 0d 0a 09 09 09 09 09 09 09 09 6c 6c 20 3d )..........ll =
0cc0: 20 52 61 77 4d 61 63 72 6f 4c 61 79 65 72 3b 20 RawMacroLayer;
0cd0: 2f 2f 20 65 78 70 6c 69 63 69 74 20 40 6d 61 63 // explicit @mac
0ce0: 72 6f 20 69 6e 76 6f 6b 65 73 20 28 72 61 77 6d ro invokes (rawm
0cf0: 61 63 72 6f 29 0d 0a 09 09 09 09 09 09 09 56 61 acro).........Va
0d00: 6c 75 65 20 76 20 3d 20 67 65 74 4c 61 79 65 72 lue v = getLayer
0d10: 45 76 61 6c 75 61 74 6f 72 28 6c 6c 29 2e 65 76 Evaluator(ll).ev
0d20: 61 6c 28 61 72 67 73 5b 69 5d 2c 20 63 74 78 2c al(args[i], ctx,
0d30: 20 43 61 73 63 61 64 65 43 74 78 29 3b 0d 0a 09 CascadeCtx);...
0d40: 09 09 09 09 09 09 69 66 28 76 20 69 73 20 6e 75 ......if(v is nu
0d50: 6c 6c 29 20 76 20 3d 20 61 73 74 32 74 61 62 6c ll) v = ast2tabl
0d60: 65 28 61 72 67 73 5b 69 5d 29 3b 0d 0a 09 09 09 e(args[i]);.....
0d70: 09 09 09 09 6e 65 77 43 74 78 2e 73 65 74 28 70 ....newCtx.set(p
0d80: 2e 6e 61 6d 65 2c 20 61 72 67 4c 61 79 2c 20 76 .name, argLay, v
0d90: 29 3b 0d 0a 09 09 09 09 09 09 7d 0d 0a 09 09 09 );........}.....
0da0: 09 73 63 6f 70 65 20 5f 20 3d 20 6e 65 77 20 50 .scope _ = new P
0db0: 75 73 68 43 61 6c 6c 53 74 61 63 6b 28 70 6f 73 ushCallStack(pos
0dc0: 2c 20 63 61 6c 6c 73 74 61 63 6b 6d 73 67 29 3b , callstackmsg);
0dd0: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 66 2e 69 ......return f.i
0de0: 6e 76 6f 6b 65 28 63 75 72 72 65 6e 74 4c 61 79 nvoke(currentLay
0df0: 65 72 28 29 2c 20 6e 65 77 43 74 78 2c 20 70 6f er(), newCtx, po
0e00: 73 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 74 68 s);.....}.....th
0e10: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
0e20: 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 eException(pos,
0e30: 74 65 78 74 28 22 74 72 69 65 64 20 74 6f 20 63 text("tried to c
0e40: 61 6c 6c 20 6e 6f 6e 2d 66 75 6e 63 74 69 6f 6e all non-function
0e50: 3a 20 22 2c 5f 66 29 29 3b 0d 0a 09 09 7d 0d 0a : ",_f));....}..
0e60: 0d 0a 09 09 2f 2f 2f 0d 0a 09 09 56 61 6c 75 65 ....///....Value
0e70: 20 6c 69 66 74 28 56 61 6c 75 65 20 76 2c 20 54 lift(Value v, T
0e80: 61 62 6c 65 20 63 74 78 2c 20 4c 65 78 50 6f 73 able ctx, LexPos
0e90: 69 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 09 7b 0d ition pos)....{.
0ea0: 0a 09 09 09 4c 61 79 65 72 20 6c 61 79 20 3d 20 ....Layer lay =
0eb0: 63 75 72 72 65 6e 74 4c 61 79 65 72 28 29 3b 0d currentLayer();.
0ec0: 0a 0d 0a 09 09 09 2f 2f 20 66 75 6e 63 74 69 6f ......// functio
0ed0: 6e 73 20 61 72 65 20 61 75 74 6f 6d 61 74 69 63 ns are automatic
0ee0: 61 6c 6c 79 20 6c 69 66 74 65 72 64 0d 0a 09 09 ally lifterd....
0ef0: 09 69 66 28 20 63 61 73 74 28 46 75 6e 56 61 6c .if( cast(FunVal
0f00: 75 65 29 20 76 20 29 0d 0a 09 09 09 09 72 65 74 ue) v )......ret
0f10: 75 72 6e 20 76 3b 0d 0a 0d 0a 09 09 09 69 66 28 urn v;.......if(
0f20: 20 21 63 74 78 2e 68 61 73 28 6c 61 79 2c 20 4c !ctx.has(lay, L
0f30: 69 66 74 4c 61 79 65 72 29 20 29 0d 0a 09 09 09 iftLayer) ).....
0f40: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e .throw genex!Run
0f50: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f timeException(po
0f60: 73 2c 20 22 6c 69 66 74 20 66 75 6e 63 74 69 6f s, "lift functio
0f70: 6e 20 66 6f 72 20 22 7e 6c 61 79 7e 22 20 69 73 n for "~lay~" is
0f80: 20 6e 6f 74 20 72 65 67 69 73 74 65 72 65 64 22 not registered"
0f90: 20 29 3b 0d 0a 0d 0a 09 09 09 2f 2f 20 73 69 6d );.......// sim
0fa0: 69 6c 61 72 20 74 6f 20 69 6e 76 6f 6b 65 46 75 ilar to invokeFu
0fb0: 6e 63 74 69 6f 6e 2c 20 62 75 74 20 77 69 74 68 nction, but with
0fc0: 20 6f 6e 6c 79 20 6f 6e 65 20 61 72 67 75 6d 65 only one argume
0fd0: 6e 74 20 62 6f 75 6e 64 20 74 6f 20 56 61 6c 75 nt bound to Valu
0fe0: 65 4c 61 79 65 72 0d 0a 09 09 09 61 75 74 6f 20 eLayer.....auto
0ff0: 5f 66 20 3d 20 63 74 78 2e 67 65 74 28 6c 61 79 _f = ctx.get(lay
1000: 2c 20 4c 69 66 74 4c 61 79 65 72 2c 20 70 6f 73 , LiftLayer, pos
1010: 29 3b 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 66 );.....if(auto f
1020: 20 3d 20 63 61 73 74 28 46 75 6e 56 61 6c 75 65 = cast(FunValue
1030: 29 5f 66 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 )_f).....{......
1040: 54 61 62 6c 65 20 6e 65 77 43 74 78 20 3d 20 6e Table newCtx = n
1050: 65 77 20 54 61 62 6c 65 28 66 2e 64 65 66 69 6e ew Table(f.defin
1060: 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 2c 20 itionContext(),
1070: 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 Table.Kind.NotPr
1080: 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 09 opagateSet);....
1090: 09 09 61 75 74 6f 20 70 73 20 3d 20 66 2e 70 61 ..auto ps = f.pa
10a0: 72 61 6d 73 28 29 3b 0d 0a 09 09 09 09 69 66 28 rams();......if(
10b0: 20 70 73 2e 6c 65 6e 67 74 68 20 21 3d 20 31 20 ps.length != 1
10c0: 29 0d 0a 09 09 09 09 09 74 68 72 6f 77 20 67 65 ).......throw ge
10d0: 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 nex!RuntimeExcep
10e0: 74 69 6f 6e 28 70 6f 73 2c 0d 0a 09 09 09 09 09 tion(pos,.......
10f0: 09 74 65 78 74 28 22 6c 69 66 74 20 66 75 6e 63 .text("lift func
1100: 74 69 6f 6e 20 66 6f 72 22 2c 20 6c 61 79 2c 20 tion for", lay,
1110: 22 20 6d 75 73 74 20 74 61 6b 65 20 65 78 61 63 " must take exac
1120: 74 6c 79 20 6f 6e 65 20 61 72 67 75 6d 65 6e 74 tly one argument
1130: 20 6f 66 20 22 2c 20 56 61 6c 75 65 4c 61 79 65 of ", ValueLaye
1140: 72 29 29 3b 0d 0a 09 09 09 09 69 66 28 20 70 73 r));......if( ps
1150: 5b 30 5d 2e 6c 61 79 65 72 73 2e 6c 65 6e 67 74 [0].layers.lengt
1160: 68 3d 3d 30 20 7c 7c 20 70 73 5b 30 5d 2e 6c 61 h==0 || ps[0].la
1170: 79 65 72 73 2e 6c 65 6e 67 74 68 3d 3d 31 20 26 yers.length==1 &
1180: 26 20 70 73 5b 30 5d 2e 6c 61 79 65 72 73 5b 30 & ps[0].layers[0
1190: 5d 3d 3d 56 61 6c 75 65 4c 61 79 65 72 20 29 0d ]==ValueLayer ).
11a0: 0a 09 09 09 09 7b 0d 0a 09 09 09 09 09 6e 65 77 .....{.......new
11b0: 43 74 78 2e 73 65 74 28 70 73 5b 30 5d 2e 6e 61 Ctx.set(ps[0].na
11c0: 6d 65 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 me, ValueLayer,
11d0: 76 29 3b 0d 0a 09 09 09 09 09 73 63 6f 70 65 20 v);.......scope
11e0: 5f 20 3d 20 6e 65 77 20 50 75 73 68 43 61 6c 6c _ = new PushCall
11f0: 53 74 61 63 6b 28 70 6f 73 2c 20 6c 61 79 29 3b Stack(pos, lay);
1200: 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 66 2e .......return f.
1210: 69 6e 76 6f 6b 65 28 56 61 6c 75 65 4c 61 79 65 invoke(ValueLaye
1220: 72 2c 20 6e 65 77 43 74 78 2c 20 70 6f 73 29 3b r, newCtx, pos);
1230: 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 09 65 6c 73 ......}......els
1240: 65 0d 0a 09 09 09 09 09 74 68 72 6f 77 20 67 65 e.......throw ge
1250: 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 nex!RuntimeExcep
1260: 74 69 6f 6e 28 70 6f 73 2c 0d 0a 09 09 09 09 09 tion(pos,.......
1270: 09 74 65 78 74 28 22 6c 69 66 74 20 66 75 6e 63 .text("lift func
1280: 74 69 6f 6e 20 66 6f 72 22 2c 20 6c 61 79 2c 20 tion for", lay,
1290: 22 20 6d 75 73 74 20 74 61 6b 65 20 65 78 61 63 " must take exac
12a0: 74 6c 79 20 6f 6e 65 20 61 72 67 75 6d 65 6e 74 tly one argument
12b0: 20 6f 66 20 22 2c 20 56 61 6c 75 65 4c 61 79 65 of ", ValueLaye
12c0: 72 29 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 74 r));.....}.....t
12d0: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
12e0: 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c meException(pos,
12f0: 0d 0a 09 09 09 09 74 65 78 74 28 22 6e 6f 6e 2d ......text("non-
1300: 66 75 6e 63 74 69 6f 6e 20 22 2c 20 5f 66 2c 20 function ", _f,
1310: 22 20 69 73 20 72 65 67 69 73 74 65 72 65 64 20 " is registered
1320: 61 73 20 74 68 65 20 6c 69 66 74 20 66 75 6e 63 as the lift func
1330: 74 69 6f 6e 20 66 6f 72 20 22 2c 20 6c 61 79 29 tion for ", lay)
1340: 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 09 );....}...}.....
1350: 2f 2f 2f 20 45 76 61 6c 75 61 74 6f 72 20 66 6f /// Evaluator fo
1360: 72 20 73 74 61 6e 64 61 72 64 20 40 76 61 6c 75 r standard @valu
1370: 65 20 73 65 6d 61 6e 74 69 63 73 0d 0a 09 63 6c e semantics...cl
1380: 61 73 73 20 56 61 6c 75 65 4c 61 79 65 72 45 76 ass ValueLayerEv
1390: 61 6c 20 3a 20 4c 61 79 65 72 45 76 61 6c 0d 0a al : LayerEval..
13a0: 09 7b 0d 0a 09 09 6f 76 65 72 72 69 64 65 20 4c .{....override L
13b0: 61 79 65 72 20 63 75 72 72 65 6e 74 4c 61 79 65 ayer currentLaye
13c0: 72 28 29 0d 0a 09 09 7b 0d 0a 09 09 09 72 65 74 r()....{.....ret
13d0: 75 72 6e 20 56 61 6c 75 65 4c 61 79 65 72 3b 0d urn ValueLayer;.
13e0: 0a 09 09 7d 0d 0a 09 09 6f 76 65 72 72 69 64 65 ...}....override
13f0: 20 56 61 6c 75 65 20 65 76 61 6c 5f 28 20 44 69 Value eval_( Di
1400: 65 20 65 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 e e, Table ctx,
1410: 62 6f 6f 6c 20 63 74 78 4d 6f 64 20 29 0d 0a 09 bool ctxMod )...
1420: 09 7b 0d 0a 09 09 09 74 68 72 6f 77 20 67 65 6e .{.....throw gen
1430: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
1440: 69 6f 6e 28 65 2e 70 6f 73 2c 20 22 75 6e 64 65 ion(e.pos, "unde
1450: 66 69 6e 65 64 20 63 61 73 65 22 29 3b 0d 0a 09 fined case");...
1460: 09 7d 0d 0a 09 09 6f 76 65 72 72 69 64 65 20 56 .}....override V
1470: 61 6c 75 65 20 65 76 61 6c 5f 28 20 53 74 72 20 alue eval_( Str
1480: 65 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f e, Table ctx, bo
1490: 6f 6c 20 63 74 78 4d 6f 64 20 29 0d 0a 09 09 7b ol ctxMod )....{
14a0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
14b0: 53 74 72 56 61 6c 75 65 28 65 2e 64 61 74 61 29 StrValue(e.data)
14c0: 3b 0d 0a 09 09 7d 0d 0a 09 09 6f 76 65 72 72 69 ;....}....overri
14d0: 64 65 20 56 61 6c 75 65 20 65 76 61 6c 5f 28 20 de Value eval_(
14e0: 49 6e 74 20 65 2c 20 54 61 62 6c 65 20 63 74 78 Int e, Table ctx
14f0: 2c 20 62 6f 6f 6c 20 63 74 78 4d 6f 64 20 29 0d , bool ctxMod ).
1500: 0a 09 09 7b 0d 0a 09 09 09 72 65 74 75 72 6e 20 ...{.....return
1510: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 65 2e 64 new IntValue(e.d
1520: 61 74 61 29 3b 0d 0a 09 09 7d 0d 0a 09 09 6f 76 ata);....}....ov
1530: 65 72 72 69 64 65 20 56 61 6c 75 65 20 65 76 61 erride Value eva
1540: 6c 5f 28 20 56 61 72 20 65 2c 20 54 61 62 6c 65 l_( Var e, Table
1550: 20 63 74 78 2c 20 62 6f 6f 6c 20 63 74 78 4d 6f ctx, bool ctxMo
1560: 64 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 72 65 74 d )....{.....ret
1570: 75 72 6e 20 63 74 78 2e 67 65 74 28 65 2e 6e 61 urn ctx.get(e.na
1580: 6d 65 2c 20 63 75 72 72 65 6e 74 4c 61 79 65 72 me, currentLayer
1590: 28 29 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 09 7d (), e.pos);....}
15a0: 0d 0a 09 09 6f 76 65 72 72 69 64 65 20 56 61 6c ....override Val
15b0: 75 65 20 65 76 61 6c 5f 28 20 4c 61 79 20 65 2c ue eval_( Lay e,
15c0: 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c Table ctx, bool
15d0: 20 63 74 78 4d 6f 64 20 29 0d 0a 09 09 7b 0d 0a ctxMod )....{..
15e0: 09 09 09 61 75 74 6f 20 6c 65 20 3d 20 67 65 74 ...auto le = get
15f0: 4c 61 79 65 72 45 76 61 6c 75 61 74 6f 72 28 65 LayerEvaluator(e
1600: 2e 6c 61 79 65 72 29 3b 0d 0a 09 09 09 61 75 74 .layer);.....aut
1610: 6f 20 76 20 20 3d 20 6c 65 2e 65 76 61 6c 28 65 o v = le.eval(e
1620: 2e 65 78 70 72 2c 63 74 78 2c 43 61 73 63 61 64 .expr,ctx,Cascad
1630: 65 43 74 78 29 3b 09 09 09 0d 0a 09 09 09 69 66 eCtx);........if
1640: 28 20 28 76 20 69 73 20 6e 75 6c 6c 29 20 26 26 ( (v is null) &&
1650: 20 28 63 61 73 74 28 4d 61 63 72 6f 4c 61 79 65 (cast(MacroLaye
1660: 72 45 76 61 6c 29 6c 65 20 21 69 73 20 6e 75 6c rEval)le !is nul
1670: 6c 29 20 29 0d 0a 09 09 09 09 72 65 74 75 72 6e l) )......return
1680: 20 61 73 74 32 74 61 62 6c 65 28 65 2e 65 78 70 ast2table(e.exp
1690: 72 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 r);.....else....
16a0: 09 09 72 65 74 75 72 6e 20 76 3b 0d 0a 09 09 7d ..return v;....}
16b0: 0d 0a 09 09 6f 76 65 72 72 69 64 65 20 56 61 6c ....override Val
16c0: 75 65 20 65 76 61 6c 5f 28 20 4c 65 74 20 65 2c ue eval_( Let e,
16d0: 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c Table ctx, bool
16e0: 20 63 74 78 4d 6f 64 20 29 0d 0a 09 09 7b 0d 0a ctxMod )....{..
16f0: 09 09 09 54 61 62 6c 65 20 6e 65 77 43 74 78 20 ...Table newCtx
1700: 3d 20 63 74 78 4d 6f 64 20 3f 20 63 74 78 20 3a = ctxMod ? ctx :
1710: 20 6e 65 77 20 54 61 62 6c 65 28 63 74 78 2c 20 new Table(ctx,
1720: 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 Table.Kind.NotPr
1730: 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 09 opagateSet);....
1740: 09 56 61 6c 75 65 20 72 69 20 3d 20 74 68 69 73 .Value ri = this
1750: 2e 65 76 61 6c 28 65 2e 69 6e 69 74 2c 20 6e 65 .eval(e.init, ne
1760: 77 43 74 78 2c 20 43 61 73 63 61 64 65 43 74 78 wCtx, CascadeCtx
1770: 29 3b 0d 0a 09 09 09 69 66 28 65 2e 6e 61 6d 65 );.....if(e.name
1780: 21 3d 22 5f 22 29 0d 0a 09 09 09 09 6e 65 77 43 !="_")......newC
1790: 74 78 2e 73 65 74 28 65 2e 6e 61 6d 65 2c 20 65 tx.set(e.name, e
17a0: 2e 6c 61 79 65 72 2e 65 6d 70 74 79 20 3f 20 63 .layer.empty ? c
17b0: 75 72 72 65 6e 74 4c 61 79 65 72 28 29 20 3a 20 urrentLayer() :
17c0: 65 2e 6c 61 79 65 72 2c 20 72 69 29 3b 0d 0a 09 e.layer, ri);...
17d0: 09 09 72 65 74 75 72 6e 20 74 68 69 73 2e 65 76 ..return this.ev
17e0: 61 6c 28 65 2e 65 78 70 72 2c 20 6e 65 77 43 74 al(e.expr, newCt
17f0: 78 2c 20 4f 76 65 72 77 72 69 74 65 43 74 78 29 x, OverwriteCtx)
1800: 3b 0d 0a 09 09 7d 0d 0a 09 09 6f 76 65 72 72 69 ;....}....overri
1810: 64 65 20 56 61 6c 75 65 20 65 76 61 6c 5f 28 20 de Value eval_(
1820: 41 70 70 20 65 2c 20 54 61 62 6c 65 20 63 74 78 App e, Table ctx
1830: 2c 20 62 6f 6f 6c 20 63 74 78 4d 6f 64 20 29 0d , bool ctxMod ).
1840: 0a 09 09 7b 0d 0a 09 09 09 56 61 6c 75 65 20 66 ...{.....Value f
1850: 20 3d 20 74 68 69 73 2e 65 76 61 6c 28 20 65 2e = this.eval( e.
1860: 66 75 6e 2c 20 63 74 78 2c 20 43 61 73 63 61 64 fun, ctx, Cascad
1870: 65 43 74 78 20 29 3b 0d 0a 09 09 09 72 65 74 75 eCtx );.....retu
1880: 72 6e 20 74 68 69 73 2e 69 6e 76 6f 6b 65 46 75 rn this.invokeFu
1890: 6e 63 74 69 6f 6e 28 66 2c 20 65 2e 61 72 67 73 nction(f, e.args
18a0: 2c 20 63 74 78 2c 20 65 2e 70 6f 73 2c 20 67 65 , ctx, e.pos, ge
18b0: 74 4e 61 6d 65 49 66 50 6f 73 73 69 62 6c 65 28 tNameIfPossible(
18c0: 65 2e 66 75 6e 29 29 3b 0d 0a 09 09 7d 0d 0a 09 e.fun));....}...
18d0: 09 6f 76 65 72 72 69 64 65 20 56 61 6c 75 65 20 .override Value
18e0: 65 76 61 6c 5f 28 20 46 75 6e 20 65 2c 20 54 61 eval_( Fun e, Ta
18f0: 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 63 74 ble ctx, bool ct
1900: 78 4d 6f 64 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 xMod )....{.....
1910: 72 65 74 75 72 6e 20 63 72 65 61 74 65 4e 65 77 return createNew
1920: 46 75 6e 63 74 69 6f 6e 28 65 2c 20 63 74 78 29 Function(e, ctx)
1930: 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 09 2f ;....}...}...../
1940: 2f 2f 20 45 76 61 6c 75 61 74 6f 72 20 66 6f 72 // Evaluator for
1950: 20 75 73 65 72 2d 64 65 66 69 6e 65 64 20 6c 61 user-defined la
1960: 79 65 72 0d 0a 09 63 6c 61 73 73 20 55 73 65 72 yer...class User
1970: 44 65 66 69 6e 65 64 4c 61 79 65 72 45 76 61 6c DefinedLayerEval
1980: 20 3a 20 56 61 6c 75 65 4c 61 79 65 72 45 76 61 : ValueLayerEva
1990: 6c 0d 0a 09 7b 0d 0a 09 09 4c 61 79 65 72 20 6c l...{....Layer l
19a0: 61 79 65 72 49 44 3b 0d 0a 09 09 6d 69 78 69 6e ayerID;....mixin
19b0: 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 SimpleConstruct
19c0: 6f 72 3b 0d 0a 0d 0a 09 09 6f 76 65 72 72 69 64 or;......overrid
19d0: 65 20 4c 61 79 65 72 20 63 75 72 72 65 6e 74 4c e Layer currentL
19e0: 61 79 65 72 28 29 0d 0a 09 09 7b 0d 0a 09 09 09 ayer()....{.....
19f0: 72 65 74 75 72 6e 20 6c 61 79 65 72 49 44 3b 0d return layerID;.
1a00: 0a 09 09 7d 0d 0a 09 09 6f 76 65 72 72 69 64 65 ...}....override
1a10: 20 56 61 6c 75 65 20 65 76 61 6c 5f 28 20 44 69 Value eval_( Di
1a20: 65 20 65 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 e e, Table ctx,
1a30: 62 6f 6f 6c 20 63 74 78 4d 6f 64 20 29 0d 0a 09 bool ctxMod )...
1a40: 09 7b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 .{.....return ne
1a50: 77 20 55 6e 64 65 66 69 6e 65 64 56 61 6c 75 65 w UndefinedValue
1a60: 3b 0d 0a 09 09 7d 0d 0a 09 09 6f 76 65 72 72 69 ;....}....overri
1a70: 64 65 20 56 61 6c 75 65 20 65 76 61 6c 5f 28 20 de Value eval_(
1a80: 53 74 72 20 65 2c 20 54 61 62 6c 65 20 63 74 78 Str e, Table ctx
1a90: 2c 20 62 6f 6f 6c 20 63 74 78 4d 6f 64 20 29 0d , bool ctxMod ).
1aa0: 0a 09 09 7b 0d 0a 09 09 09 72 65 74 75 72 6e 20 ...{.....return
1ab0: 74 68 69 73 2e 6c 69 66 74 28 6e 65 77 20 53 74 this.lift(new St
1ac0: 72 56 61 6c 75 65 28 65 2e 64 61 74 61 29 2c 20 rValue(e.data),
1ad0: 63 74 78 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 09 ctx, e.pos);....
1ae0: 7d 0d 0a 09 09 6f 76 65 72 72 69 64 65 20 56 61 }....override Va
1af0: 6c 75 65 20 65 76 61 6c 5f 28 20 49 6e 74 20 65 lue eval_( Int e
1b00: 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f , Table ctx, boo
1b10: 6c 20 63 74 78 4d 6f 64 20 29 0d 0a 09 09 7b 0d l ctxMod )....{.
1b20: 0a 09 09 09 72 65 74 75 72 6e 20 74 68 69 73 2e ....return this.
1b30: 6c 69 66 74 28 6e 65 77 20 49 6e 74 56 61 6c 75 lift(new IntValu
1b40: 65 28 65 2e 64 61 74 61 29 2c 20 63 74 78 2c 20 e(e.data), ctx,
1b50: 65 2e 70 6f 73 29 3b 0d 0a 09 09 7d 0d 0a 09 09 e.pos);....}....
1b60: 6f 76 65 72 72 69 64 65 20 56 61 6c 75 65 20 65 override Value e
1b70: 76 61 6c 5f 28 20 56 61 72 20 65 2c 20 54 61 62 val_( Var e, Tab
1b80: 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 63 74 78 le ctx, bool ctx
1b90: 4d 6f 64 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 Mod )....{.....i
1ba0: 66 28 20 63 74 78 2e 68 61 73 28 65 2e 6e 61 6d f( ctx.has(e.nam
1bb0: 65 2c 20 63 75 72 72 65 6e 74 4c 61 79 65 72 28 e, currentLayer(
1bc0: 29 29 20 29 0d 0a 09 09 09 09 72 65 74 75 72 6e )) )......return
1bd0: 20 63 74 78 2e 67 65 74 28 65 2e 6e 61 6d 65 2c ctx.get(e.name,
1be0: 20 63 75 72 72 65 6e 74 4c 61 79 65 72 28 29 29 currentLayer())
1bf0: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 68 69 ;.....return thi
1c00: 73 2e 6c 69 66 74 28 63 74 78 2e 67 65 74 28 65 s.lift(ctx.get(e
1c10: 2e 6e 61 6d 65 2c 20 56 61 6c 75 65 4c 61 79 65 .name, ValueLaye
1c20: 72 2c 20 65 2e 70 6f 73 29 2c 20 63 74 78 2c 20 r, e.pos), ctx,
1c30: 65 2e 70 6f 73 29 3b 0d 0a 09 09 7d 0d 0a 09 7d e.pos);....}...}
1c40: 0d 0a 0d 0a 09 2f 2f 20 43 6f 6e 76 65 6e 74 69 .....// Conventi
1c50: 6f 6e 21 21 0d 0a 09 2f 2f 20 20 20 72 65 74 75 on!!...// retu
1c60: 72 6e 73 20 6e 75 6c 6c 20 69 66 20 6e 65 76 65 rns null if neve
1c70: 72 20 75 73 65 64 20 6d 61 63 72 6f 2d 6c 69 6b r used macro-lik
1c80: 65 20 66 65 61 74 75 72 65 0d 0a 09 63 6c 61 73 e feature...clas
1c90: 73 20 4d 61 63 72 6f 4c 61 79 65 72 45 76 61 6c s MacroLayerEval
1ca0: 20 3a 20 4c 61 79 65 72 45 76 61 6c 0d 0a 09 7b : LayerEval...{
1cb0: 0d 0a 09 09 6f 76 65 72 72 69 64 65 20 4c 61 79 ....override Lay
1cc0: 65 72 20 63 75 72 72 65 6e 74 4c 61 79 65 72 28 er currentLayer(
1cd0: 29 0d 0a 09 09 7b 0d 0a 09 09 09 72 65 74 75 72 )....{.....retur
1ce0: 6e 20 4d 61 63 72 6f 4c 61 79 65 72 3b 0d 0a 09 n MacroLayer;...
1cf0: 09 7d 0d 0a 09 09 6f 76 65 72 72 69 64 65 20 56 .}....override V
1d00: 61 6c 75 65 20 65 76 61 6c 5f 28 20 44 69 65 20 alue eval_( Die
1d10: 65 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f e, Table ctx, bo
1d20: 6f 6c 20 63 74 78 4d 6f 64 20 29 0d 0a 09 09 7b ol ctxMod )....{
1d30: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 75 6c 6c .....return null
1d40: 3b 0d 0a 09 09 7d 0d 0a 09 09 6f 76 65 72 72 69 ;....}....overri
1d50: 64 65 20 56 61 6c 75 65 20 65 76 61 6c 5f 28 20 de Value eval_(
1d60: 53 74 72 20 65 2c 20 54 61 62 6c 65 20 63 74 78 Str e, Table ctx
1d70: 2c 20 62 6f 6f 6c 20 63 74 78 4d 6f 64 20 29 0d , bool ctxMod ).
1d80: 0a 09 09 7b 0d 0a 09 09 09 72 65 74 75 72 6e 20 ...{.....return
1d90: 6e 75 6c 6c 3b 0d 0a 09 09 7d 0d 0a 09 09 6f 76 null;....}....ov
1da0: 65 72 72 69 64 65 20 56 61 6c 75 65 20 65 76 61 erride Value eva
1db0: 6c 5f 28 20 49 6e 74 20 65 2c 20 54 61 62 6c 65 l_( Int e, Table
1dc0: 20 63 74 78 2c 20 62 6f 6f 6c 20 63 74 78 4d 6f ctx, bool ctxMo
1dd0: 64 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 72 65 74 d )....{.....ret
1de0: 75 72 6e 20 6e 75 6c 6c 3b 0d 0a 09 09 7d 0d 0a urn null;....}..
1df0: 09 09 6f 76 65 72 72 69 64 65 20 56 61 6c 75 65 ..override Value
1e00: 20 65 76 61 6c 5f 28 20 56 61 72 20 65 2c 20 54 eval_( Var e, T
1e10: 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 63 able ctx, bool c
1e20: 74 78 4d 6f 64 20 29 0d 0a 09 09 7b 0d 0a 09 09 txMod )....{....
1e30: 09 69 66 28 20 63 74 78 2e 68 61 73 28 65 2e 6e .if( ctx.has(e.n
1e40: 61 6d 65 2c 20 63 75 72 72 65 6e 74 4c 61 79 65 ame, currentLaye
1e50: 72 28 29 29 20 29 0d 0a 09 09 09 09 72 65 74 75 r()) )......retu
1e60: 72 6e 20 63 74 78 2e 67 65 74 28 65 2e 6e 61 6d rn ctx.get(e.nam
1e70: 65 2c 20 63 75 72 72 65 6e 74 4c 61 79 65 72 28 e, currentLayer(
1e80: 29 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 09 09 65 ), e.pos);.....e
1e90: 6c 73 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 lse......return
1ea0: 6e 75 6c 6c 3b 0d 0a 09 09 7d 0d 0a 09 09 6f 76 null;....}....ov
1eb0: 65 72 72 69 64 65 20 56 61 6c 75 65 20 65 76 61 erride Value eva
1ec0: 6c 5f 28 20 4c 61 79 20 65 2c 20 54 61 62 6c 65 l_( Lay e, Table
1ed0: 20 63 74 78 2c 20 62 6f 6f 6c 20 63 74 78 4d 6f ctx, bool ctxMo
1ee0: 64 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 74 d )....{.....aut
1ef0: 6f 20 6c 65 20 3d 20 67 65 74 4c 61 79 65 72 45 o le = getLayerE
1f00: 76 61 6c 75 61 74 6f 72 28 65 2e 6c 61 79 65 72 valuator(e.layer
1f10: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6c 65 );.....return le
1f20: 2e 65 76 61 6c 28 65 2e 65 78 70 72 2c 63 74 78 .eval(e.expr,ctx
1f30: 2c 43 61 73 63 61 64 65 43 74 78 29 3b 0d 0a 09 ,CascadeCtx);...
1f40: 09 7d 0d 0a 09 09 6f 76 65 72 72 69 64 65 20 56 .}....override V
1f50: 61 6c 75 65 20 65 76 61 6c 5f 28 20 4c 65 74 20 alue eval_( Let
1f60: 65 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f e, Table ctx, bo
1f70: 6f 6c 20 63 74 78 4d 6f 64 20 29 0d 0a 09 09 7b ol ctxMod )....{
1f80: 0d 0a 09 09 09 54 61 62 6c 65 20 6e 65 77 43 74 .....Table newCt
1f90: 78 20 3d 20 63 74 78 4d 6f 64 20 3f 20 63 74 78 x = ctxMod ? ctx
1fa0: 20 3a 20 6e 65 77 20 54 61 62 6c 65 28 63 74 78 : new Table(ctx
1fb0: 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 , Table.Kind.Not
1fc0: 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a PropagateSet);..
1fd0: 09 09 09 56 61 6c 75 65 20 61 69 20 3d 20 74 68 ...Value ai = th
1fe0: 69 73 2e 65 76 61 6c 28 65 2e 69 6e 69 74 2c 20 is.eval(e.init,
1ff0: 6e 65 77 43 74 78 2c 20 43 61 73 63 61 64 65 43 newCtx, CascadeC
2000: 74 78 29 3b 0d 0a 09 09 09 6e 65 77 43 74 78 2e tx);.....newCtx.
2010: 73 65 74 28 65 2e 6e 61 6d 65 2c 20 4e 6f 6f 70 set(e.name, Noop
2020: 4c 61 79 65 72 2c 20 6e 75 6c 6c 29 3b 0d 0a 09 Layer, null);...
2030: 09 09 56 61 6c 75 65 20 61 65 20 3d 20 74 68 69 ..Value ae = thi
2040: 73 2e 65 76 61 6c 28 65 2e 65 78 70 72 2c 20 6e s.eval(e.expr, n
2050: 65 77 43 74 78 2c 20 4f 76 65 72 77 72 69 74 65 ewCtx, Overwrite
2060: 43 74 78 29 3b 0d 0a 09 09 09 69 66 28 20 61 69 Ctx);.....if( ai
2070: 20 69 73 20 6e 75 6c 6c 20 26 26 20 61 65 20 69 is null && ae i
2080: 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 09 72 65 s null )......re
2090: 74 75 72 6e 20 6e 75 6c 6c 3b 0d 0a 09 09 09 69 turn null;.....i
20a0: 66 28 20 61 69 20 69 73 20 6e 75 6c 6c 20 29 20 f( ai is null )
20b0: 61 69 20 3d 20 61 73 74 32 74 61 62 6c 65 28 65 ai = ast2table(e
20c0: 2e 69 6e 69 74 29 3b 0d 0a 09 09 09 69 66 28 20 .init);.....if(
20d0: 61 65 20 69 73 20 6e 75 6c 6c 20 29 20 61 65 20 ae is null ) ae
20e0: 3d 20 61 73 74 32 74 61 62 6c 65 28 65 2e 65 78 = ast2table(e.ex
20f0: 70 72 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 pr);.....return
2100: 61 73 74 32 74 61 62 6c 65 28 65 2c 20 64 65 6c ast2table(e, del
2110: 65 67 61 74 65 20 56 61 6c 75 65 20 28 41 53 54 egate Value (AST
2120: 20 5f 29 7b 0d 0a 09 09 09 09 69 66 28 5f 20 69 _){......if(_ i
2130: 73 20 65 2e 69 6e 69 74 29 20 7b 20 72 65 74 75 s e.init) { retu
2140: 72 6e 20 61 69 3b 20 7d 0d 0a 09 09 09 09 69 66 rn ai; }......if
2150: 28 5f 20 69 73 20 65 2e 65 78 70 72 29 20 7b 20 (_ is e.expr) {
2160: 72 65 74 75 72 6e 20 61 65 3b 20 7d 0d 0a 09 09 return ae; }....
2170: 09 09 61 73 73 65 72 74 28 66 61 6c 73 65 29 3b ..assert(false);
2180: 0d 0a 09 09 09 7d 29 3b 0d 0a 09 09 7d 0d 0a 09 .....});....}...
2190: 09 6f 76 65 72 72 69 64 65 20 56 61 6c 75 65 20 .override Value
21a0: 65 76 61 6c 5f 28 20 41 70 70 20 65 2c 20 54 61 eval_( App e, Ta
21b0: 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 63 74 ble ctx, bool ct
21c0: 78 4d 6f 64 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 xMod )....{.....
21d0: 56 61 6c 75 65 20 66 20 3d 20 74 68 69 73 2e 65 Value f = this.e
21e0: 76 61 6c 28 20 65 2e 66 75 6e 2c 20 63 74 78 2c val( e.fun, ctx,
21f0: 20 43 61 73 63 61 64 65 43 74 78 20 29 3b 0d 0a CascadeCtx );..
2200: 09 09 09 69 66 28 61 75 74 6f 20 66 66 20 3d 20 ...if(auto ff =
2210: 63 61 73 74 28 46 75 6e 56 61 6c 75 65 29 66 29 cast(FunValue)f)
2220: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 74 68 69 ......return thi
2230: 73 2e 69 6e 76 6f 6b 65 46 75 6e 63 74 69 6f 6e s.invokeFunction
2240: 28 66 66 2c 20 65 2e 61 72 67 73 2c 20 63 74 78 (ff, e.args, ctx
2250: 2c 20 65 2e 70 6f 73 2c 20 67 65 74 4e 61 6d 65 , e.pos, getName
2260: 49 66 50 6f 73 73 69 62 6c 65 28 65 2e 66 75 6e IfPossible(e.fun
2270: 29 29 3b 0d 0a 09 09 09 65 6c 73 65 20 7b 0d 0a ));.....else {..
2280: 09 09 09 09 62 6f 6f 6c 20 61 6c 6c 4e 75 6c 6c ....bool allNull
2290: 20 3d 20 28 66 20 69 73 20 6e 75 6c 6c 29 3b 0d = (f is null);.
22a0: 0a 09 09 09 09 56 61 6c 75 65 5b 5d 20 76 61 73 .....Value[] vas
22b0: 3b 0d 0a 09 09 09 09 66 6f 72 65 61 63 68 28 61 ;......foreach(a
22c0: 3b 20 65 2e 61 72 67 73 29 20 7b 0d 0a 09 09 09 ; e.args) {.....
22d0: 09 09 56 61 6c 75 65 20 76 61 20 3d 20 74 68 69 ..Value va = thi
22e0: 73 2e 65 76 61 6c 28 61 2c 20 63 74 78 2c 20 43 s.eval(a, ctx, C
22f0: 61 73 63 61 64 65 43 74 78 29 3b 0d 0a 09 09 09 ascadeCtx);.....
2300: 09 09 69 66 28 76 61 20 21 69 73 20 6e 75 6c 6c ..if(va !is null
2310: 29 20 61 6c 6c 4e 75 6c 6c 20 3d 20 66 61 6c 73 ) allNull = fals
2320: 65 3b 0d 0a 09 09 09 09 09 76 61 73 20 7e 3d 20 e;.......vas ~=
2330: 76 61 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 09 va;......}......
2340: 69 66 28 20 61 6c 6c 4e 75 6c 6c 20 29 0d 0a 09 if( allNull )...
2350: 09 09 09 09 72 65 74 75 72 6e 20 6e 75 6c 6c 3b ....return null;
2360: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 61 73 74 ......return ast
2370: 32 74 61 62 6c 65 28 65 2c 20 64 65 6c 65 67 61 2table(e, delega
2380: 74 65 20 56 61 6c 75 65 20 28 41 53 54 20 5f 29 te Value (AST _)
2390: 7b 0d 0a 09 09 09 09 09 69 66 28 5f 20 69 73 20 {.......if(_ is
23a0: 65 2e 66 75 6e 29 20 72 65 74 75 72 6e 20 28 66 e.fun) return (f
23b0: 20 69 73 20 6e 75 6c 6c 20 3f 20 61 73 74 32 74 is null ? ast2t
23c0: 61 62 6c 65 28 65 2e 66 75 6e 29 20 3a 20 66 29 able(e.fun) : f)
23d0: 3b 0d 0a 09 09 09 09 09 66 6f 72 65 61 63 68 28 ;.......foreach(
23e0: 69 2c 61 3b 20 65 2e 61 72 67 73 29 20 69 66 28 i,a; e.args) if(
23f0: 5f 20 69 73 20 61 29 20 72 65 74 75 72 6e 20 28 _ is a) return (
2400: 76 61 73 5b 69 5d 20 69 73 20 6e 75 6c 6c 20 3f vas[i] is null ?
2410: 20 61 73 74 32 74 61 62 6c 65 28 61 29 20 3a 20 ast2table(a) :
2420: 76 61 73 5b 69 5d 29 3b 0d 0a 09 09 09 09 09 61 vas[i]);.......a
2430: 73 73 65 72 74 28 66 61 6c 73 65 29 3b 0d 0a 09 ssert(false);...
2440: 09 09 09 7d 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 ...});.....}....
2450: 7d 0d 0a 09 09 6f 76 65 72 72 69 64 65 20 56 61 }....override Va
2460: 6c 75 65 20 65 76 61 6c 5f 28 20 46 75 6e 20 65 lue eval_( Fun e
2470: 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f , Table ctx, boo
2480: 6c 20 63 74 78 4d 6f 64 20 29 0d 0a 09 09 7b 0d l ctxMod )....{.
2490: 0a 09 09 09 54 61 62 6c 65 20 6e 65 77 43 74 78 ....Table newCtx
24a0: 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 74 78 = new Table(ctx
24b0: 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 , Table.Kind.Not
24c0: 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a PropagateSet);..
24d0: 09 09 09 66 6f 72 65 61 63 68 28 70 3b 20 65 2e ...foreach(p; e.
24e0: 70 61 72 61 6d 73 29 0d 0a 09 09 09 09 6e 65 77 params)......new
24f0: 43 74 78 2e 73 65 74 28 70 2e 6e 61 6d 65 2c 20 Ctx.set(p.name,
2500: 4e 6f 6f 70 4c 61 79 65 72 2c 20 6e 75 6c 6c 29 NoopLayer, null)
2510: 3b 0d 0a 09 09 09 56 61 6c 75 65 20 61 66 20 3d ;.....Value af =
2520: 20 74 68 69 73 2e 65 76 61 6c 28 65 2e 66 75 6e this.eval(e.fun
2530: 62 6f 64 79 2c 20 6e 65 77 43 74 78 2c 20 43 61 body, newCtx, Ca
2540: 73 63 61 64 65 43 74 78 29 3b 0d 0a 09 09 09 69 scadeCtx);.....i
2550: 66 28 20 61 66 20 69 73 20 6e 75 6c 6c 20 29 0d f( af is null ).
2560: 0a 09 09 09 09 72 65 74 75 72 6e 20 6e 75 6c 6c .....return null
2570: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 61 73 74 ;.....return ast
2580: 32 74 61 62 6c 65 28 65 2c 20 28 41 53 54 20 5f 2table(e, (AST _
2590: 29 7b 69 66 28 5f 20 69 73 20 65 2e 66 75 6e 62 ){if(_ is e.funb
25a0: 6f 64 79 29 72 65 74 75 72 6e 20 61 66 3b 20 61 ody)return af; a
25b0: 73 73 65 72 74 28 66 61 6c 73 65 29 3b 7d 29 3b ssert(false);});
25c0: 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 09 63 6c ....}...}.....cl
25d0: 61 73 73 20 52 61 77 4d 61 63 72 6f 4c 61 79 65 ass RawMacroLaye
25e0: 72 45 76 61 6c 20 3a 20 4d 61 63 72 6f 4c 61 79 rEval : MacroLay
25f0: 65 72 45 76 61 6c 0d 0a 09 7b 0d 0a 09 09 6f 76 erEval...{....ov
2600: 65 72 72 69 64 65 20 56 61 6c 75 65 20 65 76 61 erride Value eva
2610: 6c 5f 28 20 4c 61 79 20 65 2c 20 54 61 62 6c 65 l_( Lay e, Table
2620: 20 63 74 78 2c 20 62 6f 6f 6c 20 63 74 78 4d 6f ctx, bool ctxMo
2630: 64 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 56 61 6c d )....{.....Val
2640: 75 65 20 61 65 20 3d 20 74 68 69 73 2e 65 76 61 ue ae = this.eva
2650: 6c 28 65 2e 65 78 70 72 2c 20 63 74 78 2c 20 43 l(e.expr, ctx, C
2660: 61 73 63 61 64 65 43 74 78 29 3b 0d 0a 09 09 09 ascadeCtx);.....
2670: 72 65 74 75 72 6e 20 61 65 20 69 73 20 6e 75 6c return ae is nul
2680: 6c 20 3f 20 6e 75 6c 6c 0d 0a 09 09 09 20 20 20 l ? null.....
2690: 20 20 20 20 3a 20 61 73 74 32 74 61 62 6c 65 28 : ast2table(
26a0: 65 2c 20 64 65 6c 65 67 61 74 65 20 56 61 6c 75 e, delegate Valu
26b0: 65 20 28 41 53 54 20 5f 29 7b 69 66 28 5f 20 69 e (AST _){if(_ i
26c0: 73 20 65 2e 65 78 70 72 29 72 65 74 75 72 6e 20 s e.expr)return
26d0: 61 65 3b 20 61 73 73 65 72 74 28 66 61 6c 73 65 ae; assert(false
26e0: 29 3b 7d 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a );});....}...}..
26f0: 0d 0a 70 72 69 76 61 74 65 3a 0d 0a 09 56 61 6c ..private:...Val
2700: 75 65 20 6d 61 63 72 6f 41 6e 64 45 76 61 6c 28 ue macroAndEval(
2710: 20 41 53 54 20 65 5f 2c 20 4c 61 79 65 72 20 6c AST e_, Layer l
2720: 61 79 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62 ay, Table ctx, b
2730: 6f 6f 6c 20 63 74 78 4d 6f 64 20 29 0d 0a 09 7b ool ctxMod )...{
2740: 0d 0a 09 09 61 73 73 65 72 74 28 20 21 69 73 41 ....assert( !isA
2750: 53 54 4c 61 79 65 72 28 6c 61 79 29 20 29 3b 0d STLayer(lay) );.
2760: 0a 09 09 69 66 28 61 75 74 6f 20 65 20 3d 20 63 ...if(auto e = c
2770: 61 73 74 28 4c 65 74 29 65 5f 29 0d 0a 09 09 7b ast(Let)e_)....{
2780: 0d 0a 09 09 09 56 61 6c 75 65 20 76 61 69 20 3d .....Value vai =
2790: 20 67 65 74 4c 61 79 65 72 45 76 61 6c 75 61 74 getLayerEvaluat
27a0: 6f 72 28 52 61 77 4d 61 63 72 6f 4c 61 79 65 72 or(RawMacroLayer
27b0: 29 2e 65 76 61 6c 28 65 2e 69 6e 69 74 2c 20 63 ).eval(e.init, c
27c0: 74 78 2c 20 43 61 73 63 61 64 65 43 74 78 29 3b tx, CascadeCtx);
27d0: 0d 0a 09 09 09 41 53 54 20 61 69 20 3d 20 28 76 .....AST ai = (v
27e0: 61 69 20 69 73 20 6e 75 6c 6c 20 3f 20 65 2e 69 ai is null ? e.i
27f0: 6e 69 74 20 3a 20 70 6f 6c 65 6d 79 32 64 21 28 nit : polemy2d!(
2800: 41 53 54 29 28 76 61 69 2c 20 65 2e 70 6f 73 29 AST)(vai, e.pos)
2810: 29 3b 0d 0a 0d 0a 09 09 09 69 66 28 20 21 63 74 );.......if( !ct
2820: 78 4d 6f 64 20 29 0d 0a 09 09 09 09 63 74 78 20 xMod )......ctx
2830: 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 74 78 2c = new Table(ctx,
2840: 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 Table.Kind.NotP
2850: 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 0d ropagateSet);...
2860: 0a 09 09 09 56 61 6c 75 65 20 76 69 20 3d 20 67 ....Value vi = g
2870: 65 74 4c 61 79 65 72 45 76 61 6c 75 61 74 6f 72 etLayerEvaluator
2880: 28 6c 61 79 29 2e 65 76 61 6c 28 61 69 2c 20 63 (lay).eval(ai, c
2890: 74 78 2c 20 43 61 73 63 61 64 65 43 74 78 29 3b tx, CascadeCtx);
28a0: 0d 0a 09 09 09 73 74 72 69 6e 67 20 74 68 65 4c .....string theL
28b0: 61 79 65 72 20 3d 20 65 2e 6c 61 79 65 72 2e 65 ayer = e.layer.e
28c0: 6d 70 74 79 20 3f 20 6c 61 79 20 3a 20 65 2e 6c mpty ? lay : e.l
28d0: 61 79 65 72 3b 0d 0a 09 09 09 63 74 78 2e 73 65 ayer;.....ctx.se
28e0: 74 28 65 2e 6e 61 6d 65 2c 20 74 68 65 4c 61 79 t(e.name, theLay
28f0: 65 72 2c 20 76 69 29 3b 0d 0a 0d 0a 09 09 09 72 er, vi);.......r
2900: 65 74 75 72 6e 20 6d 61 63 72 6f 41 6e 64 45 76 eturn macroAndEv
2910: 61 6c 28 20 65 2e 65 78 70 72 2c 20 6c 61 79 2c al( e.expr, lay,
2920: 20 63 74 78 2c 20 4f 76 65 72 77 72 69 74 65 43 ctx, OverwriteC
2930: 74 78 20 29 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c tx );....}....el
2940: 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 56 61 6c 75 se....{.....Valu
2950: 65 20 76 61 20 3d 20 67 65 74 4c 61 79 65 72 45 e va = getLayerE
2960: 76 61 6c 75 61 74 6f 72 28 52 61 77 4d 61 63 72 valuator(RawMacr
2970: 6f 4c 61 79 65 72 29 2e 65 76 61 6c 28 65 5f 2c oLayer).eval(e_,
2980: 20 63 74 78 2c 20 63 74 78 4d 6f 64 29 3b 0d 0a ctx, ctxMod);..
2990: 09 09 09 41 53 54 20 61 20 3d 20 28 76 61 20 69 ...AST a = (va i
29a0: 73 20 6e 75 6c 6c 20 3f 20 65 5f 20 3a 20 70 6f s null ? e_ : po
29b0: 6c 65 6d 79 32 64 21 28 41 53 54 29 28 76 61 2c lemy2d!(AST)(va,
29c0: 20 65 5f 2e 70 6f 73 29 29 3b 0d 0a 09 09 09 72 e_.pos));.....r
29d0: 65 74 75 72 6e 20 67 65 74 4c 61 79 65 72 45 76 eturn getLayerEv
29e0: 61 6c 75 61 74 6f 72 28 6c 61 79 29 2e 65 76 61 aluator(lay).eva
29f0: 6c 28 61 2c 20 63 74 78 2c 20 63 74 78 4d 6f 64 l(a, ctx, ctxMod
2a00: 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 70 );....}...}....p
2a10: 72 69 76 61 74 65 3a 0d 0a 09 73 74 72 69 6e 67 rivate:...string
2a20: 20 67 65 74 4e 61 6d 65 49 66 50 6f 73 73 69 62 getNameIfPossib
2a30: 6c 65 28 41 53 54 20 65 29 0d 0a 09 7b 0d 0a 09 le(AST e)...{...
2a40: 09 69 66 28 61 75 74 6f 20 76 20 3d 20 63 61 73 .if(auto v = cas
2a50: 74 28 56 61 72 29 65 29 0d 0a 09 09 09 72 65 74 t(Var)e).....ret
2a60: 75 72 6e 20 76 2e 6e 61 6d 65 3b 0d 0a 09 09 72 urn v.name;....r
2a70: 65 74 75 72 6e 20 22 22 3b 0d 0a 09 7d 0d 0a 0d eturn "";...}...
2a80: 0a 09 56 61 6c 75 65 20 63 72 65 61 74 65 4e 65 ..Value createNe
2a90: 77 46 75 6e 63 74 69 6f 6e 28 46 75 6e 20 65 2c wFunction(Fun e,
2aa0: 20 54 61 62 6c 65 20 63 74 78 29 0d 0a 09 7b 0d Table ctx)...{.
2ab0: 0a 09 09 63 6c 61 73 73 20 55 73 65 72 44 65 66 ...class UserDef
2ac0: 69 6e 65 64 46 75 6e 56 61 6c 75 65 20 3a 20 46 inedFunValue : F
2ad0: 75 6e 56 61 6c 75 65 0d 0a 09 09 7b 0d 0a 09 09 unValue....{....
2ae0: 09 46 75 6e 20 20 20 61 73 74 3b 0d 0a 09 09 09 .Fun ast;.....
2af0: 54 61 62 6c 65 20 64 65 66 43 74 78 3b 0d 0a 09 Table defCtx;...
2b00: 09 09 6f 76 65 72 72 69 64 65 20 63 6f 6e 73 74 ..override const
2b10: 28 50 61 72 61 6d 65 74 65 72 5b 5d 29 20 70 61 (Parameter[]) pa
2b20: 72 61 6d 73 28 29 20 7b 20 72 65 74 75 72 6e 20 rams() { return
2b30: 61 73 74 2e 70 61 72 61 6d 73 3b 20 7d 0d 0a 09 ast.params; }...
2b40: 09 09 6f 76 65 72 72 69 64 65 20 54 61 62 6c 65 ..override Table
2b50: 20 64 65 66 69 6e 69 74 69 6f 6e 43 6f 6e 74 65 definitionConte
2b60: 78 74 28 29 20 20 20 7b 20 72 65 74 75 72 6e 20 xt() { return
2b70: 64 65 66 43 74 78 3b 20 7d 0d 0a 0d 0a 09 09 09 defCtx; }.......
2b80: 74 68 69 73 28 46 75 6e 20 61 73 74 2c 20 54 61 this(Fun ast, Ta
2b90: 62 6c 65 20 64 65 66 43 74 78 29 20 7b 20 74 68 ble defCtx) { th
2ba0: 69 73 2e 61 73 74 3d 61 73 74 3b 20 74 68 69 73 is.ast=ast; this
2bb0: 2e 64 65 66 43 74 78 3d 64 65 66 43 74 78 3b 20 .defCtx=defCtx;
2bc0: 7d 0d 0a 09 09 09 6f 76 65 72 72 69 64 65 20 73 }.....override s
2bd0: 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 tring toString()
2be0: 20 63 6f 6e 73 74 0d 0a 09 09 09 09 7b 20 72 65 const......{ re
2bf0: 74 75 72 6e 20 73 70 72 69 6e 74 66 21 22 28 66 turn sprintf!"(f
2c00: 75 6e 63 74 69 6f 6e 3a 25 78 3a 25 78 29 22 28 unction:%x:%x)"(
2c10: 63 61 73 74 28 76 6f 69 64 2a 29 61 73 74 2c 20 cast(void*)ast,
2c20: 63 61 73 74 28 76 6f 69 64 2a 29 64 65 66 43 74 cast(void*)defCt
2c30: 78 29 3b 20 7d 0d 0a 09 09 09 6f 76 65 72 72 69 x); }.....overri
2c40: 64 65 20 69 6e 74 20 6f 70 43 6d 70 28 4f 62 6a de int opCmp(Obj
2c50: 65 63 74 20 72 68 73 29 20 7b 0d 0a 09 09 09 09 ect rhs) {......
2c60: 69 66 28 61 75 74 6f 20 72 20 3d 20 63 61 73 74 if(auto r = cast
2c70: 28 55 73 65 72 44 65 66 69 6e 65 64 46 75 6e 56 (UserDefinedFunV
2c80: 61 6c 75 65 29 72 68 73 29 20 7b 0d 0a 09 09 09 alue)rhs) {.....
2c90: 09 09 69 66 28 61 75 74 6f 20 63 20 3d 20 74 79 ..if(auto c = ty
2ca0: 70 65 69 64 28 76 6f 69 64 2a 29 2e 63 6f 6d 70 peid(void*).comp
2cb0: 61 72 65 28 63 61 73 74 28 76 6f 69 64 2a 29 61 are(cast(void*)a
2cc0: 73 74 2c 20 63 61 73 74 28 76 6f 69 64 2a 29 72 st, cast(void*)r
2cd0: 2e 61 73 74 29 29 0d 0a 09 09 09 09 09 09 72 65 .ast))........re
2ce0: 74 75 72 6e 20 63 3b 0d 0a 09 09 09 09 09 69 66 turn c;.......if
2cf0: 28 61 75 74 6f 20 63 20 3d 20 74 79 70 65 69 64 (auto c = typeid
2d00: 28 76 6f 69 64 2a 29 2e 63 6f 6d 70 61 72 65 28 (void*).compare(
2d10: 63 61 73 74 28 76 6f 69 64 2a 29 64 65 66 43 74 cast(void*)defCt
2d20: 78 2c 20 63 61 73 74 28 76 6f 69 64 2a 29 72 2e x, cast(void*)r.
2d30: 64 65 66 43 74 78 29 29 0d 0a 09 09 09 09 09 09 defCtx))........
2d40: 72 65 74 75 72 6e 20 63 3b 0d 0a 09 09 09 09 09 return c;.......
2d50: 72 65 74 75 72 6e 20 30 3b 2f 2f 20 5b 54 4f 44 return 0;// [TOD
2d60: 4f 5d 20 61 76 6f 69 64 20 75 73 69 6e 67 20 70 O] avoid using p
2d70: 6f 69 6e 74 65 72 20 76 61 6c 75 65 2e 2e 2e 0d ointer value....
2d80: 0a 09 09 09 09 7d 0d 0a 09 09 09 09 69 66 28 61 .....}......if(a
2d90: 75 74 6f 20 72 20 3d 20 63 61 73 74 28 56 61 6c uto r = cast(Val
2da0: 75 65 29 72 68 73 29 20 72 65 74 75 72 6e 20 74 ue)rhs) return t
2db0: 79 70 65 69 64 28 74 68 69 73 29 2e 6f 70 43 6d ypeid(this).opCm
2dc0: 70 28 74 79 70 65 69 64 28 72 29 29 3b 0d 0a 09 p(typeid(r));...
2dd0: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 ...throw genex!R
2de0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
2df0: 22 63 6f 6d 70 61 72 69 73 6f 6e 20 77 69 74 68 "comparison with
2e00: 20 76 61 6c 75 65 20 61 6e 64 20 73 6f 6d 65 74 value and somet
2e10: 68 69 6e 67 20 6f 74 68 65 72 22 29 3b 0d 0a 09 hing other");...
2e20: 09 09 7d 0d 0a 09 09 09 6f 76 65 72 72 69 64 65 ..}.....override
2e30: 20 68 61 73 68 5f 74 20 74 6f 48 61 73 68 28 29 hash_t toHash()
2e40: 20 7b 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 28 {......return (
2e50: 63 61 73 74 28 68 61 73 68 5f 74 29 63 61 73 74 cast(hash_t)cast
2e60: 28 76 6f 69 64 2a 29 61 73 74 29 20 2b 20 28 63 (void*)ast) + (c
2e70: 61 73 74 28 68 61 73 68 5f 74 29 63 61 73 74 28 ast(hash_t)cast(
2e80: 76 6f 69 64 2a 29 64 65 66 43 74 78 29 3b 0d 0a void*)defCtx);..
2e90: 09 09 09 7d 0d 0a 0d 0a 09 09 09 41 53 54 20 6d ...}.......AST m
2ea0: 61 63 72 6f 43 61 63 68 65 3b 0d 0a 09 09 09 41 acroCache;.....A
2eb0: 53 54 5b 76 6f 69 64 2a 5d 20 6d 61 6e 64 65 43 ST[void*] mandeC
2ec0: 61 63 68 65 3b 0d 0a 09 09 09 73 74 61 74 69 63 ache;.....static
2ed0: 20 63 6c 61 73 73 20 4d 65 6d 6f 6b 65 79 54 79 class MemokeyTy
2ee0: 70 65 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 76 6f pe.....{......vo
2ef0: 69 64 2a 20 61 3b 20 4c 61 79 65 72 20 62 3b 20 id* a; Layer b;
2f00: 54 75 70 6c 65 21 28 73 74 72 69 6e 67 2c 4c 61 Tuple!(string,La
2f10: 79 65 72 2c 56 61 6c 75 65 29 5b 5d 20 63 3b 0d yer,Value)[] c;.
2f20: 0a 09 09 09 09 68 61 73 68 5f 74 20 74 6f 48 61 .....hash_t toHa
2f30: 73 68 28 29 20 7b 0d 0a 09 09 09 09 09 68 61 73 sh() {.......has
2f40: 68 5f 74 20 68 20 3d 20 73 74 72 75 63 74 75 72 h_t h = structur
2f50: 61 6c 48 61 73 68 28 61 29 20 2b 20 73 74 72 75 alHash(a) + stru
2f60: 63 74 75 72 61 6c 48 61 73 68 28 62 29 3b 0d 0a cturalHash(b);..
2f70: 09 09 09 09 09 66 6f 72 65 61 63 68 28 65 3b 20 .....foreach(e;
2f80: 63 29 0d 0a 09 09 09 09 09 09 68 20 2b 3d 20 73 c)........h += s
2f90: 74 72 75 63 74 75 72 61 6c 48 61 73 68 28 65 5b tructuralHash(e[
2fa0: 30 5d 29 2b 73 74 72 75 63 74 75 72 61 6c 48 61 0])+structuralHa
2fb0: 73 68 28 65 5b 31 5d 29 2b 73 74 72 75 63 74 75 sh(e[1])+structu
2fc0: 72 61 6c 48 61 73 68 28 65 5b 32 5d 29 3b 0d 0a ralHash(e[2]);..
2fd0: 09 09 09 09 09 72 65 74 75 72 6e 20 68 3b 0d 0a .....return h;..
2fe0: 09 09 09 09 7d 0d 0a 09 09 09 09 6d 69 78 69 6e ....}......mixin
2ff0: 20 53 69 6d 70 6c 65 54 6f 53 74 72 69 6e 67 3b SimpleToString;
3000: 0d 0a 09 09 09 09 6d 69 78 69 6e 20 53 69 6d 70 ......mixin Simp
3010: 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0d 0a leConstructor;..
3020: 09 09 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 ....mixin Simple
3030: 43 6f 6d 70 61 72 65 57 69 74 68 6f 75 74 54 6f CompareWithoutTo
3040: 48 61 73 68 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 Hash;.....}.....
3050: 73 74 61 74 69 63 20 54 75 70 6c 65 21 28 56 61 static Tuple!(Va
3060: 6c 75 65 2c 69 6e 74 29 5b 4d 65 6d 6f 6b 65 79 lue,int)[Memokey
3070: 54 79 70 65 5d 20 6d 65 6d 6f 3b 0d 0a 0d 0a 09 Type] memo;.....
3080: 09 09 6f 76 65 72 72 69 64 65 20 56 61 6c 75 65 ..override Value
3090: 20 69 6e 76 6f 6b 65 28 4c 61 79 65 72 20 6c 61 invoke(Layer la
30a0: 79 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 4c 65 y, Table ctx, Le
30b0: 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 29 0d 0a xPosition pos)..
30c0: 09 09 09 7b 0d 0a 09 09 09 09 69 66 28 20 69 73 ...{......if( is
30d0: 41 53 54 4c 61 79 65 72 28 6c 61 79 29 20 29 20 ASTLayer(lay) )
30e0: 7b 0d 0a 09 09 09 09 09 56 61 6c 75 65 20 76 20 {.......Value v
30f0: 3d 20 67 65 74 4c 61 79 65 72 45 76 61 6c 75 61 = getLayerEvalua
3100: 74 6f 72 28 6c 61 79 29 2e 65 76 61 6c 28 61 73 tor(lay).eval(as
3110: 74 2e 66 75 6e 62 6f 64 79 2c 20 63 74 78 2c 20 t.funbody, ctx,
3120: 43 61 73 63 61 64 65 43 74 78 29 3b 0d 0a 09 09 CascadeCtx);....
3130: 09 09 09 69 66 28 20 76 20 69 73 20 6e 75 6c 6c ...if( v is null
3140: 20 29 20 76 20 3d 20 61 73 74 32 74 61 62 6c 65 ) v = ast2table
3150: 28 61 73 74 2e 66 75 6e 62 6f 64 79 29 3b 0d 0a (ast.funbody);..
3160: 09 09 09 09 09 72 65 74 75 72 6e 20 76 3b 0d 0a .....return v;..
3170: 09 09 09 09 7d 0d 0a 09 09 09 09 72 65 74 75 72 ....}......retur
3180: 6e 20 6d 61 63 72 6f 41 6e 64 45 76 61 6c 28 61 n macroAndEval(a
3190: 73 74 2e 66 75 6e 62 6f 64 79 2c 20 6c 61 79 2c st.funbody, lay,
31a0: 20 63 74 78 2c 20 43 61 73 63 61 64 65 43 74 78 ctx, CascadeCtx
31b0: 29 3b 0d 0a 2f 2a 0d 0a 09 09 09 09 61 75 74 6f );../*......auto
31c0: 20 6e 6f 6e 4d 65 6d 6f 69 7a 65 64 52 75 6e 20 nonMemoizedRun
31d0: 3d 20 28 29 7b 0d 0a 09 09 09 09 09 69 66 28 20 = (){.......if(
31e0: 6d 61 63 72 6f 43 61 63 68 65 20 69 73 20 6e 75 macroCache is nu
31f0: 6c 6c 20 29 0d 0a 09 09 09 09 09 7b 0d 0a 09 09 ll ).......{....
3200: 09 09 09 09 61 75 74 6f 20 76 61 20 3d 20 6d 61 ....auto va = ma
3210: 63 72 6f 41 6e 64 45 76 61 6c 28 65 2e 66 75 6e croAndEval(e.fun
3220: 62 6f 64 79 2c 20 6c 61 79 2c 20 63 74 78 2c 20 body, lay, ctx,
3230: 43 61 73 63 61 64 65 43 74 78 2c 20 6d 61 6e 64 CascadeCtx, mand
3240: 65 43 61 63 68 65 29 3b 0d 0a 09 09 09 09 09 09 eCache);........
3250: 6d 61 63 72 6f 43 61 63 68 65 20 3d 20 76 61 5b macroCache = va[
3260: 31 5d 3b 0d 0a 09 09 09 09 09 09 72 65 74 75 72 1];........retur
3270: 6e 20 76 61 5b 30 5d 3b 0d 0a 09 09 09 09 09 7d n va[0];.......}
3280: 0d 0a 09 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 .......else.....
3290: 09 09 09 72 65 74 75 72 6e 20 65 76 61 6c 28 6d ...return eval(m
32a0: 61 63 72 6f 43 61 63 68 65 2c 20 6c 61 79 2c 20 acroCache, lay,
32b0: 63 74 78 29 3b 0d 0a 09 09 09 09 7d 3b 0d 0a 0d ctx);......};...
32c0: 0a 09 09 09 09 69 66 28 20 21 69 73 55 73 65 72 .....if( !isUser
32d0: 44 65 66 69 6e 65 64 4c 61 79 65 72 28 6c 61 79 DefinedLayer(lay
32e0: 29 20 29 0d 0a 09 09 09 09 09 72 65 74 75 72 6e ) ).......return
32f0: 20 6e 6f 6e 4d 65 6d 6f 69 7a 65 64 52 75 6e 28 nonMemoizedRun(
3300: 29 3b 0d 0a 0d 0a 09 09 09 09 4d 65 6d 6f 6b 65 );........Memoke
3310: 79 54 79 70 65 20 6d 65 6d 6f 6b 65 79 20 3d 20 yType memokey =
3320: 6e 65 77 20 4d 65 6d 6f 6b 65 79 54 79 70 65 28 new MemokeyType(
3330: 63 61 73 74 28 76 6f 69 64 2a 29 61 73 74 2c 20 cast(void*)ast,
3340: 6c 61 79 2c 20 63 74 78 2e 64 69 72 65 63 74 5f lay, ctx.direct_
3350: 65 6e 74 72 69 65 73 28 29 29 3b 0d 0a 0d 0a 09 entries());.....
3360: 09 09 09 69 66 28 61 75 74 6f 20 70 20 3d 20 6d ...if(auto p = m
3370: 65 6d 6f 6b 65 79 20 69 6e 20 6d 65 6d 6f 29 0d emokey in memo).
3380: 0a 09 09 09 09 7b 0d 0a 09 09 09 09 09 28 2a 70 .....{.......(*p
3390: 29 5b 31 5d 20 2b 2b 3b 0d 0a 09 09 09 09 09 72 )[1] ++;.......r
33a0: 65 74 75 72 6e 20 28 2a 70 29 5b 30 5d 3b 0d 0a eturn (*p)[0];..
33b0: 09 09 09 09 7d 0d 0a 09 09 09 09 65 6c 73 65 0d ....}......else.
33c0: 0a 09 09 09 09 09 6d 65 6d 6f 5b 6d 65 6d 6f 6b ......memo[memok
33d0: 65 79 5d 20 3d 20 74 75 70 6c 65 28 6c 69 66 74 ey] = tuple(lift
33e0: 28 6e 65 77 20 55 6e 64 65 66 69 6e 65 64 56 61 (new UndefinedVa
33f0: 6c 75 65 2c 20 6c 61 79 2c 20 63 74 78 2c 20 70 lue, lay, ctx, p
3400: 6f 73 29 2c 20 30 29 3b 0d 0a 0d 0a 09 09 09 09 os), 0);........
3410: 56 61 6c 75 65 20 72 20 3d 20 6e 6f 6e 4d 65 6d Value r = nonMem
3420: 6f 69 7a 65 64 52 75 6e 28 29 3b 0d 0a 0d 0a 09 oizedRun();.....
3430: 09 09 09 69 6e 74 20 74 6f 75 63 68 65 64 20 3d ...int touched =
3440: 20 6d 65 6d 6f 5b 6d 65 6d 6f 6b 65 79 5d 5b 31 memo[memokey][1
3450: 5d 3b 0d 0a 09 09 09 09 6d 65 6d 6f 5b 6d 65 6d ];......memo[mem
3460: 6f 6b 65 79 5d 20 3d 20 74 75 70 6c 65 28 72 2c okey] = tuple(r,
3470: 20 31 32 33 34 35 36 37 38 29 3b 0d 0a 09 09 09 12345678);.....
3480: 09 2f 2f 69 66 28 74 6f 75 63 68 65 64 29 20 7b .//if(touched) {
3490: 44 42 47 28 22 72 65 72 75 6e 20 3a 3a 20 22 2c DBG("rerun :: ",
34a0: 72 29 3b 72 20 3d 20 6e 6f 6e 4d 65 6d 6f 69 7a r);r = nonMemoiz
34b0: 65 64 52 75 6e 28 29 3b 7d 20 2f 2f 20 74 77 69 edRun();} // twi
34c0: 63 65 21 21 0d 0a 09 09 09 09 72 65 74 75 72 6e ce!!......return
34d0: 20 72 3b 0d 0a 2a 2f 0d 0a 09 09 09 7d 0d 0a 09 r;..*/.....}...
34e0: 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 .}....return new
34f0: 20 55 73 65 72 44 65 66 69 6e 65 64 46 75 6e 56 UserDefinedFunV
3500: 61 6c 75 65 28 65 2c 63 74 78 29 3b 0d 0a 09 7d alue(e,ctx);...}
3510: 0d 0a 0d 0a 70 75 62 6c 69 63 3a 0d 0a 09 2f 2f ....public:...//
3520: 2f 20 41 64 64 20 70 72 69 6d 69 74 69 76 65 20 / Add primitive
3530: 66 75 6e 63 74 69 6f 6e 20 74 6f 20 74 68 65 20 function to the
3540: 67 6c 6f 62 61 6c 20 63 6f 6e 74 65 78 74 0d 0a global context..
3550: 09 76 6f 69 64 20 61 64 64 50 72 69 6d 69 74 69 .void addPrimiti
3560: 76 65 28 52 2c 54 2e 2e 2e 29 28 73 74 72 69 6e ve(R,T...)(strin
3570: 67 20 6e 61 6d 65 2c 20 4c 61 79 65 72 20 64 65 g name, Layer de
3580: 66 4c 61 79 2c 20 52 20 64 65 6c 65 67 61 74 65 fLay, R delegate
3590: 20 28 54 29 20 64 67 29 0d 0a 09 7b 0d 0a 09 09 (T) dg)...{....
35a0: 63 6c 61 73 73 20 4e 61 74 69 76 65 46 75 6e 56 class NativeFunV
35b0: 61 6c 75 65 20 3a 20 46 75 6e 56 61 6c 75 65 0d alue : FunValue.
35c0: 0a 09 09 7b 0d 0a 09 09 09 6f 76 65 72 72 69 64 ...{.....overrid
35d0: 65 20 63 6f 6e 73 74 28 50 61 72 61 6d 65 74 65 e const(Paramete
35e0: 72 5b 5d 29 20 70 61 72 61 6d 73 28 29 20 7b 20 r[]) params() {
35f0: 72 65 74 75 72 6e 20 70 61 72 61 6d 73 5f 64 61 return params_da
3600: 74 61 3b 20 7d 0d 0a 09 09 09 6f 76 65 72 72 69 ta; }.....overri
3610: 64 65 20 54 61 62 6c 65 20 64 65 66 69 6e 69 74 de Table definit
3620: 69 6f 6e 43 6f 6e 74 65 78 74 28 29 20 20 20 7b ionContext() {
3630: 20 72 65 74 75 72 6e 20 74 68 65 43 6f 6e 74 65 return theConte
3640: 78 74 3b 20 7d 0d 0a 0d 0a 09 09 09 6f 76 65 72 xt; }.......over
3650: 72 69 64 65 20 73 74 72 69 6e 67 20 74 6f 53 74 ride string toSt
3660: 72 69 6e 67 28 29 20 7b 20 72 65 74 75 72 6e 20 ring() { return
3670: 73 70 72 69 6e 74 66 21 22 28 6e 61 74 69 76 65 sprintf!"(native
3680: 3a 25 78 29 22 28 64 67 2e 66 75 6e 63 70 74 72 :%x)"(dg.funcptr
3690: 29 3b 20 7d 0d 0a 09 09 09 6f 76 65 72 72 69 64 ); }.....overrid
36a0: 65 20 69 6e 74 20 6f 70 43 6d 70 28 4f 62 6a 65 e int opCmp(Obje
36b0: 63 74 20 72 68 73 29 20 7b 0d 0a 09 09 09 09 69 ct rhs) {......i
36c0: 66 28 61 75 74 6f 20 72 20 3d 20 63 61 73 74 28 f(auto r = cast(
36d0: 4e 61 74 69 76 65 46 75 6e 56 61 6c 75 65 29 72 NativeFunValue)r
36e0: 68 73 29 20 72 65 74 75 72 6e 20 74 79 70 65 69 hs) return typei
36f0: 64 28 74 79 70 65 6f 66 28 64 67 29 29 2e 63 6f d(typeof(dg)).co
3700: 6d 70 61 72 65 28 26 64 67 2c 26 72 2e 64 67 29 mpare(&dg,&r.dg)
3710: 3b 0d 0a 09 09 09 09 69 66 28 61 75 74 6f 20 72 ;......if(auto r
3720: 20 3d 20 63 61 73 74 28 56 61 6c 75 65 29 72 68 = cast(Value)rh
3730: 73 29 20 20 20 20 20 20 20 20 20 20 72 65 74 75 s) retu
3740: 72 6e 20 74 79 70 65 69 64 28 74 68 69 73 29 2e rn typeid(this).
3750: 6f 70 43 6d 70 28 74 79 70 65 69 64 28 72 29 29 opCmp(typeid(r))
3760: 3b 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e ;......throw gen
3770: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
3780: 69 6f 6e 28 22 63 6f 6d 70 61 72 69 73 6f 6e 20 ion("comparison
3790: 77 69 74 68 20 76 61 6c 75 65 20 61 6e 64 20 73 with value and s
37a0: 6f 6d 65 74 68 69 6e 67 20 6f 74 68 65 72 22 29 omething other")
37b0: 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 6f 76 65 72 ;.....}.....over
37c0: 72 69 64 65 20 68 61 73 68 5f 74 20 74 6f 48 61 ride hash_t toHa
37d0: 73 68 28 29 20 63 6f 6e 73 74 20 7b 0d 0a 09 09 sh() const {....
37e0: 09 09 72 65 74 75 72 6e 20 74 79 70 65 69 64 28 ..return typeid(
37f0: 64 67 29 2e 67 65 74 48 61 73 68 28 26 64 67 29 dg).getHash(&dg)
3800: 3b 0d 0a 09 09 09 7d 0d 0a 0d 0a 09 09 09 52 20 ;.....}.......R
3810: 64 65 6c 65 67 61 74 65 28 54 29 20 64 67 3b 0d delegate(T) dg;.
3820: 0a 09 09 09 50 61 72 61 6d 65 74 65 72 5b 5d 20 ....Parameter[]
3830: 70 61 72 61 6d 73 5f 64 61 74 61 3b 0d 0a 0d 0a params_data;....
3840: 09 09 09 74 68 69 73 28 52 20 64 65 6c 65 67 61 ...this(R delega
3850: 74 65 28 54 29 20 64 67 29 0d 0a 09 09 09 7b 0d te(T) dg).....{.
3860: 0a 09 09 09 09 74 68 69 73 2e 64 67 20 3d 20 64 .....this.dg = d
3870: 67 3b 0d 0a 09 09 09 09 66 6f 72 65 61 63 68 28 g;......foreach(
3880: 69 2c 20 54 69 3b 20 54 29 0d 0a 09 09 09 09 09 i, Ti; T).......
3890: 70 61 72 61 6d 73 5f 64 61 74 61 20 7e 3d 20 6e params_data ~= n
38a0: 65 77 20 50 61 72 61 6d 65 74 65 72 28 74 65 78 ew Parameter(tex
38b0: 74 28 69 29 2c 20 5b 5d 29 3b 0d 0a 09 09 09 7d t(i), []);.....}
38c0: 0d 0a 0d 0a 09 09 09 6f 76 65 72 72 69 64 65 20 .......override
38d0: 56 61 6c 75 65 20 69 6e 76 6f 6b 65 28 4c 61 79 Value invoke(Lay
38e0: 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 er lay, Table ct
38f0: 78 2c 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 x, LexPosition p
3900: 6f 73 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 69 os).....{......i
3910: 66 28 20 6c 61 79 20 21 3d 20 64 65 66 4c 61 79 f( lay != defLay
3920: 20 29 0d 0a 09 09 09 09 09 74 68 72 6f 77 20 67 ).......throw g
3930: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
3940: 70 74 69 6f 6e 28 70 6f 73 2c 0d 0a 09 09 09 09 ption(pos,......
3950: 09 09 74 65 78 74 28 22 6f 6e 6c 79 20 22 2c 20 ..text("only ",
3960: 64 65 66 4c 61 79 2c 20 22 20 6c 61 79 65 72 20 defLay, " layer
3970: 63 61 6e 20 63 61 6c 6c 20 6e 61 74 69 76 65 20 can call native
3980: 66 75 6e 63 74 69 6f 6e 3a 20 22 2c 20 6e 61 6d function: ", nam
3990: 65 29 29 3b 0d 0a 09 09 09 09 54 20 74 79 70 65 e));......T type
39a0: 64 5f 61 72 67 73 3b 0d 0a 09 09 09 09 66 6f 72 d_args;......for
39b0: 65 61 63 68 28 69 2c 20 54 69 3b 20 54 29 20 7b each(i, Ti; T) {
39c0: 0d 0a 09 09 09 09 09 74 79 70 65 64 5f 61 72 67 .......typed_arg
39d0: 73 5b 69 5d 20 3d 20 63 61 73 74 28 54 69 29 20 s[i] = cast(Ti)
39e0: 63 74 78 2e 67 65 74 28 74 65 78 74 28 69 29 2c ctx.get(text(i),
39f0: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 70 6f 73 ValueLayer, pos
3a00: 29 3b 0d 0a 09 09 09 09 09 69 66 28 20 74 79 70 );.......if( typ
3a10: 65 64 5f 61 72 67 73 5b 69 5d 20 69 73 20 6e 75 ed_args[i] is nu
3a20: 6c 6c 20 29 0d 0a 09 09 09 09 09 09 74 68 72 6f ll )........thro
3a30: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 w genex!RuntimeE
3a40: 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 0d 0a 09 xception(pos,...
3a50: 09 09 09 09 09 09 73 70 72 69 6e 74 66 21 22 74 ......sprintf!"t
3a60: 79 70 65 20 6d 69 73 6d 61 74 63 68 20 6f 6e 20 ype mismatch on
3a70: 74 68 65 20 61 72 67 75 6d 65 6e 74 20 25 64 20 the argument %d
3a80: 6f 66 20 6e 61 74 69 76 65 20 66 75 6e 63 74 69 of native functi
3a90: 6f 6e 3a 20 25 73 22 28 69 2b 31 2c 6e 61 6d 65 on: %s"(i+1,name
3aa0: 29 29 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 09 ));......}......
3ab0: 74 72 79 20 7b 0d 0a 09 09 09 09 09 72 65 74 75 try {.......retu
3ac0: 72 6e 20 64 67 28 74 79 70 65 64 5f 61 72 67 73 rn dg(typed_args
3ad0: 29 3b 0d 0a 09 09 09 09 7d 20 63 61 74 63 68 28 );......} catch(
3ae0: 20 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f RuntimeExceptio
3af0: 6e 20 65 20 29 20 7b 0d 0a 09 09 09 09 09 74 68 n e ) {.......th
3b00: 72 6f 77 20 65 2e 70 6f 73 20 69 73 20 6e 75 6c row e.pos is nul
3b10: 6c 20 3f 20 6e 65 77 20 52 75 6e 74 69 6d 65 45 l ? new RuntimeE
3b20: 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 65 2e xception(pos, e.
3b30: 6d 73 67 2c 20 65 2e 66 69 6c 65 2c 20 65 2e 6c msg, e.file, e.l
3b40: 69 6e 65 29 20 3a 20 65 3b 0d 0a 09 09 09 09 7d ine) : e;......}
3b50: 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 74 .....}....}....t
3b60: 68 65 43 6f 6e 74 65 78 74 2e 73 65 74 28 6e 61 heContext.set(na
3b70: 6d 65 2c 20 64 65 66 4c 61 79 2c 20 6e 65 77 20 me, defLay, new
3b80: 4e 61 74 69 76 65 46 75 6e 56 61 6c 75 65 28 64 NativeFunValue(d
3b90: 67 29 29 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 76 g));...}..}....v
3ba0: 65 72 73 69 6f 6e 28 75 6e 69 74 74 65 73 74 29 ersion(unittest)
3bb0: 20 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 72 import polemy.r
3bc0: 75 6e 74 69 6d 65 3b 0d 0a 75 6e 69 74 74 65 73 untime;..unittes
3bd0: 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 t..{...auto e =
3be0: 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a new Evaluator;..
3bf0: 09 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 .enrollRuntimeLi
3c00: 62 72 61 72 79 28 65 29 3b 0d 0a 09 61 75 74 6f brary(e);...auto
3c10: 20 72 20 3d 20 61 73 73 65 72 74 5f 6e 6f 74 68 r = assert_noth
3c20: 72 6f 77 28 20 65 2e 65 76 61 6c 53 74 72 69 6e row( e.evalStrin
3c30: 67 28 60 76 61 72 20 78 20 3d 20 32 31 3b 20 78 g(`var x = 21; x
3c40: 20 2b 20 78 2a 78 3b 60 29 20 29 3b 0d 0a 09 61 + x*x;`) );...a
3c50: 73 73 65 72 74 5f 65 71 28 20 72 2c 20 6e 65 77 ssert_eq( r, new
3c60: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
3c70: 28 32 31 2b 32 31 2a 32 31 29 29 20 29 3b 0d 0a (21+21*21)) );..
3c80: 09 61 73 73 65 72 74 5f 65 71 28 20 65 2e 67 6c .assert_eq( e.gl
3c90: 6f 62 61 6c 43 6f 6e 74 65 78 74 2e 67 65 74 28 obalContext.get(
3ca0: 22 78 22 2c 56 61 6c 75 65 4c 61 79 65 72 29 2c "x",ValueLayer),
3cb0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
3cc0: 67 49 6e 74 28 32 31 29 29 20 29 3b 0d 0a 09 61 gInt(21)) );...a
3cd0: 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 ssert_nothrow( e
3ce0: 2e 67 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 2e 67 .globalContext.g
3cf0: 65 74 28 22 78 22 2c 56 61 6c 75 65 4c 61 79 65 et("x",ValueLaye
3d00: 72 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 r) );...assert_t
3d10: 68 72 6f 77 21 52 75 6e 74 69 6d 65 45 78 63 65 hrow!RuntimeExce
3d20: 70 74 69 6f 6e 28 20 65 2e 67 6c 6f 62 61 6c 43 ption( e.globalC
3d30: 6f 6e 74 65 78 74 2e 67 65 74 28 22 79 22 2c 56 ontext.get("y",V
3d40: 61 6c 75 65 4c 61 79 65 72 29 20 29 3b 0d 0a 7d alueLayer) );..}
3d50: 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 ..unittest..{...
3d60: 61 75 74 6f 20 65 20 3d 20 6e 65 77 20 45 76 61 auto e = new Eva
3d70: 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c luator;...enroll
3d80: 52 75 6e 74 69 6d 65 4c 69 62 72 61 72 79 28 65 RuntimeLibrary(e
3d90: 29 3b 0d 0a 09 61 75 74 6f 20 72 20 3d 20 61 73 );...auto r = as
3da0: 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 2e sert_nothrow( e.
3db0: 65 76 61 6c 53 74 72 69 6e 67 28 60 76 61 72 20 evalString(`var
3dc0: 78 20 3d 20 32 31 3b 20 76 61 72 20 78 20 3d 20 x = 21; var x =
3dd0: 78 20 2b 20 78 2a 78 3b 60 29 20 29 3b 0d 0a 09 x + x*x;`) );...
3de0: 61 73 73 65 72 74 5f 65 71 28 20 72 2c 20 6e 65 assert_eq( r, ne
3df0: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
3e00: 74 28 32 31 2b 32 31 2a 32 31 29 29 20 29 3b 0d t(21+21*21)) );.
3e10: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 2e 67 ..assert_eq( e.g
3e20: 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 2e 67 65 74 lobalContext.get
3e30: 28 22 78 22 2c 56 61 6c 75 65 4c 61 79 65 72 29 ("x",ValueLayer)
3e40: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 32 , new IntValue(2
3e50: 31 2b 32 31 2a 32 31 29 20 29 3b 0d 0a 09 61 73 1+21*21) );...as
3e60: 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 2e sert_nothrow( e.
3e70: 67 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 2e 67 65 globalContext.ge
3e80: 74 28 22 78 22 2c 56 61 6c 75 65 4c 61 79 65 72 t("x",ValueLayer
3e90: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 ) );...assert_th
3ea0: 72 6f 77 21 52 75 6e 74 69 6d 65 45 78 63 65 70 row!RuntimeExcep
3eb0: 74 69 6f 6e 28 20 65 2e 67 6c 6f 62 61 6c 43 6f tion( e.globalCo
3ec0: 6e 74 65 78 74 2e 67 65 74 28 22 79 22 2c 56 61 ntext.get("y",Va
3ed0: 6c 75 65 4c 61 79 65 72 29 20 29 3b 0d 0a 7d 0d lueLayer) );..}.
3ee0: 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 .unittest..{...a
3ef0: 75 74 6f 20 65 20 3d 20 6e 65 77 20 45 76 61 6c uto e = new Eval
3f00: 75 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 uator;...enrollR
3f10: 75 6e 74 69 6d 65 4c 69 62 72 61 72 79 28 65 29 untimeLibrary(e)
3f20: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 ;...assert_eq( e
3f30: 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 6c 65 74 .evalString(`let
3f40: 20 78 3d 31 3b 20 6c 65 74 20 79 3d 28 6c 65 74 x=1; let y=(let
3f50: 20 78 3d 32 29 3b 20 78 60 29 2c 20 6e 65 77 20 x=2); x`), new
3f60: 49 6e 74 56 61 6c 75 65 28 31 29 20 29 3b 20 0d IntValue(1) ); .
3f70: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 2e 65 ..assert_eq( e.e
3f80: 76 61 6c 53 74 72 69 6e 67 28 60 6c 65 74 20 78 valString(`let x
3f90: 3d 31 3b 20 6c 65 74 20 79 3d 28 6c 65 74 20 78 =1; let y=(let x
3fa0: 3d 32 3b 66 75 6e 28 29 7b 78 7d 29 3b 20 79 28 =2;fun(){x}); y(
3fb0: 29 60 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 )`), new IntValu
3fc0: 65 28 32 29 20 29 3b 20 0d 0a 7d 0d 0a 0d 0a 75 e(2) ); ..}....u
3fd0: 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 nittest..{...aut
3fe0: 6f 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75 61 o e = new Evalua
3ff0: 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75 6e tor;...enrollRun
4000: 74 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b 0d timeLibrary(e);.
4010: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 2e 65 ..assert_eq( e.e
4020: 76 61 6c 53 74 72 69 6e 67 28 60 40 61 20 78 3d valString(`@a x=
4030: 31 3b 20 40 62 20 78 3d 32 3b 20 40 61 28 78 29 1; @b x=2; @a(x)
4040: 60 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 `), new IntValue
4050: 28 42 69 67 49 6e 74 28 31 29 29 20 29 3b 0d 0a (BigInt(1)) );..
4060: 09 61 73 73 65 72 74 5f 65 71 28 20 65 2e 65 76 .assert_eq( e.ev
4070: 61 6c 53 74 72 69 6e 67 28 60 40 61 20 78 3d 31 alString(`@a x=1
4080: 3b 20 40 62 20 78 3d 32 3b 20 40 62 28 78 29 60 ; @b x=2; @b(x)`
4090: 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 ), new IntValue(
40a0: 42 69 67 49 6e 74 28 32 29 29 20 29 3b 0d 0a 09 BigInt(2)) );...
40b0: 61 73 73 65 72 74 5f 65 71 28 20 65 2e 65 76 61 assert_eq( e.eva
40c0: 6c 53 74 72 69 6e 67 28 60 6c 65 74 20 78 3d 31 lString(`let x=1
40d0: 3b 20 6c 65 74 20 5f 20 3d 20 28 40 61 20 78 3d ; let _ = (@a x=
40e0: 32 3b 32 29 3b 20 78 60 29 2c 20 6e 65 77 20 49 2;2); x`), new I
40f0: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 ntValue(BigInt(1
4100: 29 29 20 29 3b 0d 0a 09 65 20 3d 20 6e 65 77 20 )) );...e = new
4110: 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 61 73 73 Evaluator;...ass
4120: 65 72 74 5f 74 68 72 6f 77 21 54 68 72 6f 77 61 ert_throw!Throwa
4130: 62 6c 65 28 20 65 2e 65 76 61 6c 53 74 72 69 6e ble( e.evalStrin
4140: 67 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 g(`let x=1; let
4150: 5f 20 3d 20 28 40 61 20 78 3d 32 3b 32 29 3b 20 _ = (@a x=2;2);
4160: 40 61 28 78 29 60 29 20 29 3b 0d 0a 7d 0d 0a 0d @a(x)`) );..}...
4170: 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 .unittest..{...a
4180: 75 74 6f 20 65 20 3d 20 6e 65 77 20 45 76 61 6c uto e = new Eval
4190: 75 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 uator;...enrollR
41a0: 75 6e 74 69 6d 65 4c 69 62 72 61 72 79 28 65 29 untimeLibrary(e)
41b0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 ;...assert_eq( e
41c0: 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 0d 0a 09 .evalString(`...
41d0: 09 40 40 73 28 78 29 7b 78 7d 3b 0d 0a 09 09 40 .@@s(x){x};....@
41e0: 73 20 22 2b 22 20 3d 20 66 75 6e 28 78 2c 20 79 s "+" = fun(x, y
41f0: 29 20 7b 40 76 61 6c 75 65 28 0d 0a 09 09 09 40 ) {@value(.....@
4200: 73 28 78 29 20 2d 20 40 73 28 79 29 0d 0a 09 09 s(x) - @s(y)....
4210: 29 7d 3b 0d 0a 09 09 40 73 28 31 20 2b 20 32 29 )};....@s(1 + 2)
4220: 0d 0a 09 60 29 2c 20 6e 65 77 20 49 6e 74 56 61 ...`), new IntVa
4230: 6c 75 65 28 42 69 67 49 6e 74 28 2d 31 29 29 20 lue(BigInt(-1))
4240: 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 );..}....unittes
4250: 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 t..{...auto e =
4260: 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a new Evaluator;..
4270: 09 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 .enrollRuntimeLi
4280: 62 72 61 72 79 28 65 29 3b 0d 0a 09 61 73 73 65 brary(e);...asse
4290: 72 74 5f 65 71 28 20 65 2e 65 76 61 6c 53 74 72 rt_eq( e.evalStr
42a0: 69 6e 67 28 60 0d 0a 40 40 33 28 78 29 7b 78 7d ing(`..@@3(x){x}
42b0: 3b 0d 0a 64 65 66 20 69 6e 63 72 28 78 29 20 7b ;..def incr(x) {
42c0: 20 78 2b 31 20 7d 3b 0d 0a 40 20 33 20 69 6e 63 x+1 };..@ 3 inc
42d0: 72 28 78 29 20 7b 40 76 61 6c 75 65 28 20 69 66 r(x) {@value( if
42e0: 20 40 20 33 28 78 29 2b 31 3c 20 33 20 74 68 65 @ 3(x)+1< 3 the
42f0: 6e 20 40 33 28 78 29 2b 31 20 65 6c 73 65 20 30 n @3(x)+1 else 0
4300: 20 29 7d 3b 0d 0a 64 65 66 20 66 62 28 6e 20 40 )};..def fb(n @
4310: 76 61 6c 75 65 20 40 33 29 20 7b 20 40 33 28 6e value @3) { @3(n
4320: 29 20 7d 3b 0d 0a 66 62 28 69 6e 63 72 28 69 6e ) };..fb(incr(in
4330: 63 72 28 69 6e 63 72 28 30 29 29 29 29 0d 0a 09 cr(incr(0))))...
4340: 60 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 `), new IntValue
4350: 28 42 69 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a (BigInt(0)) );..
4360: 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b }....unittest..{
4370: 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e 65 77 20 ...auto e = new
4380: 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e 72 Evaluator;...enr
4390: 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 61 72 ollRuntimeLibrar
43a0: 79 28 65 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e y(e);...assert_n
43b0: 6f 74 68 72 6f 77 28 20 65 2e 65 76 61 6c 53 74 othrow( e.evalSt
43c0: 72 69 6e 67 28 60 0d 0a 40 6d 61 63 72 6f 20 74 ring(`..@macro t
43d0: 77 69 63 65 28 78 29 20 7b 20 78 3b 20 78 20 7d wice(x) { x; x }
43e0: 3b 0d 0a 64 65 66 20 6d 61 69 6e 28 29 20 7b 20 ;..def main() {
43f0: 74 77 69 63 65 28 31 29 20 7d 3b 0d 0a 6d 61 69 twice(1) };..mai
4400: 6e 28 29 0d 0a 09 60 29 20 29 3b 0d 0a 7d 0d 0a n()...`) );..}..
4410: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 unittest..{...au
4420: 74 6f 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75 to e = new Evalu
4430: 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75 ator;...enrollRu
4440: 6e 74 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b ntimeLibrary(e);
4450: 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 ...assert_throw!
4460: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
4470: 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 ( e.evalString(`
4480: 63 61 73 65 20 31 60 29 20 29 3b 0d 0a 09 61 73 case 1`) );...as
4490: 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 2e sert_nothrow( e.
44a0: 65 76 61 6c 53 74 72 69 6e 67 28 60 63 61 73 65 evalString(`case
44b0: 20 31 20 77 68 65 6e 20 31 3a 20 32 60 29 20 29 1 when 1: 2`) )
44c0: 3b 0d 0a 0d 0a 09 2f 2f 20 74 68 69 73 20 69 73 ;.....// this is
44d0: 20 61 20 73 68 6f 72 74 68 61 6e 64 20 66 6f 72 a shorthand for
44e0: 0d 0a 09 2f 2f 20 20 20 40 6d 61 63 72 6f 20 78 ...// @macro x
44f0: 20 3d 20 66 75 6e 28 29 7b 7d 20 69 6e 20 40 6d = fun(){} in @m
4500: 61 63 72 6f 28 78 29 0d 0a 09 2f 2f 20 73 6f 20 acro(x)...// so
4510: 69 74 20 69 73 20 6f 6b 20 74 6f 20 66 61 69 6c it is ok to fail
4520: 2c 20 62 75 74 20 69 74 20 69 73 20 72 65 61 6c , but it is real
4530: 6c 79 20 69 6e 63 6f 76 65 6e 69 65 6e 74 20 6f ly incovenient o
4540: 6e 20 52 45 50 4c 0d 0a 09 61 73 73 65 72 74 5f n REPL...assert_
4550: 6e 6f 74 68 72 6f 77 28 20 65 2e 65 76 61 6c 53 nothrow( e.evalS
4560: 74 72 69 6e 67 28 60 40 6d 61 63 72 6f 20 78 3d tring(`@macro x=
4570: 66 75 6e 28 29 7b 7d 60 29 20 29 3b 0d 0a 7d 0d fun(){}`) );..}.
4580: 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a ...unittest..{..
4590: 09 61 75 74 6f 20 65 20 3d 20 6e 65 77 20 45 76 .auto e = new Ev
45a0: 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c aluator;...enrol
45b0: 6c 52 75 6e 74 69 6d 65 4c 69 62 72 61 72 79 28 lRuntimeLibrary(
45c0: 65 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 e);...assert_thr
45d0: 6f 77 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ow!RuntimeExcept
45e0: 69 6f 6e 28 20 65 2e 65 76 61 6c 53 74 72 69 6e ion( e.evalStrin
45f0: 67 28 60 2e 2e 2e 60 29 20 29 3b 0d 0a 09 61 73 g(`...`) );...as
4600: 73 65 72 74 5f 65 71 28 20 65 2e 65 76 61 6c 53 sert_eq( e.evalS
4610: 74 72 69 6e 67 28 60 40 40 66 6f 6f 28 78 29 7b tring(`@@foo(x){
4620: 78 7d 3b 20 40 66 6f 6f 28 2e 2e 2e 29 60 29 2c x}; @foo(...)`),
4630: 20 6e 65 77 20 55 6e 64 65 66 69 6e 65 64 56 61 new UndefinedVa
4640: 6c 75 65 20 29 3b 0d 0a 7d 0d 0a lue );..}..