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 0d 0a 63 6c 61 73 73 20 45 76 61 6c 75 61 ....class Evalua
0130: 74 6f 72 0d 0a 7b 0d 0a 70 75 62 6c 69 63 3a 0d tor..{..public:.
0140: 0a 09 74 68 69 73 28 29 20 7b 20 74 68 65 43 6f ..this() { theCo
0150: 6e 74 65 78 74 20 3d 20 6e 65 77 20 54 61 62 6c ntext = new Tabl
0160: 65 3b 20 7d 0d 0a 0d 0a 09 56 61 6c 75 65 20 65 e; }.....Value e
0170: 76 61 6c 41 53 54 28 41 53 54 20 65 29 0d 0a 09 valAST(AST e)...
0180: 7b 0d 0a 09 09 72 65 74 75 72 6e 20 65 76 61 6c {....return eval
0190: 28 65 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 (e, ValueLayer,
01a0: 74 68 65 43 6f 6e 74 65 78 74 2c 20 4f 76 65 72 theContext, Over
01b0: 77 72 69 74 65 43 74 78 29 3b 0d 0a 09 7d 0d 0a writeCtx);...}..
01c0: 0d 0a 09 56 61 6c 75 65 20 65 76 61 6c 53 74 72 ...Value evalStr
01d0: 69 6e 67 28 53 2c 54 2e 2e 2e 29 28 53 20 73 74 ing(S,T...)(S st
01e0: 72 2c 20 54 20 66 6e 5f 6c 6e 5f 63 6e 29 0d 0a r, T fn_ln_cn)..
01f0: 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 65 76 61 .{....return eva
0200: 6c 41 53 54 28 70 61 72 73 65 53 74 72 69 6e 67 lAST(parseString
0210: 28 73 74 72 2c 66 6e 5f 6c 6e 5f 63 6e 29 29 3b (str,fn_ln_cn));
0220: 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c 75 65 20 65 ...}.....Value e
0230: 76 61 6c 46 69 6c 65 28 53 2c 54 2e 2e 2e 29 28 valFile(S,T...)(
0240: 53 20 66 69 6c 65 6e 61 6d 65 2c 20 54 20 6c 6e S filename, T ln
0250: 5f 63 6e 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 _cn)...{....retu
0260: 72 6e 20 65 76 61 6c 41 53 54 28 70 61 72 73 65 rn evalAST(parse
0270: 46 69 6c 65 28 66 69 6c 65 6e 61 6d 65 2c 6c 6e File(filename,ln
0280: 5f 63 6e 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 54 _cn));...}.....T
0290: 61 62 6c 65 20 67 6c 6f 62 61 6c 43 6f 6e 74 65 able globalConte
02a0: 78 74 28 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 xt()...{....retu
02b0: 72 6e 20 74 68 65 43 6f 6e 74 65 78 74 3b 0d 0a rn theContext;..
02c0: 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a 0d 0a .}....private:..
02d0: 09 54 61 62 6c 65 20 74 68 65 43 6f 6e 74 65 78 .Table theContex
02e0: 74 3b 0d 0a 0d 0a 70 72 69 76 61 74 65 3a 0d 0a t;....private:..
02f0: 09 65 6e 75 6d 20 3a 20 62 6f 6f 6c 20 7b 20 43 .enum : bool { C
0300: 61 73 63 61 64 65 43 74 78 3d 66 61 6c 73 65 2c ascadeCtx=false,
0310: 20 4f 76 65 72 77 72 69 74 65 43 74 78 3d 74 72 OverwriteCtx=tr
0320: 75 65 20 7d 3b 0d 0a 09 0d 0a 09 56 61 6c 75 65 ue };......Value
0330: 20 65 76 61 6c 28 20 41 53 54 20 65 2c 20 4c 61 eval( AST e, La
0340: 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 yer lay, Table c
0350: 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 77 72 69 tx, bool overwri
0360: 74 65 43 74 78 3d 43 61 73 63 61 64 65 43 74 78 teCtx=CascadeCtx
0370: 20 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 20 64 79 6e )...{....// dyn
0380: 61 6d 69 63 2d 6f 76 65 72 6c 6f 61 64 2d 72 65 amic-overload-re
0390: 73 6f 6c 75 74 69 6f 6e 2d 70 61 74 74 65 72 6e solution-pattern
03a0: 3a 20 6d 6f 64 69 66 79 20 68 65 72 65 0d 0a 09 : modify here...
03b0: 09 65 6e 75 6d 20 66 75 6e 4e 61 6d 65 20 3d 20 .enum funName =
03c0: 22 65 76 61 6c 22 3b 0d 0a 09 09 61 6c 69 61 73 "eval";....alias
03d0: 20 54 79 70 65 54 75 70 6c 65 21 28 65 2c 6c 61 TypeTuple!(e,la
03e0: 79 2c 63 74 78 2c 6f 76 65 72 77 72 69 74 65 43 y,ctx,overwriteC
03f0: 74 78 29 20 70 61 72 61 6d 73 3b 0d 0a 0d 0a 09 tx) params;.....
0400: 09 2f 2f 20 64 79 6e 61 6d 69 63 2d 6f 76 65 72 .// dynamic-over
0410: 6c 6f 61 64 2d 72 65 73 6f 6c 75 74 69 6f 6e 2d load-resolution-
0420: 70 61 74 74 65 72 6e 3a 20 64 69 73 70 61 74 63 pattern: dispatc
0430: 68 0d 0a 09 09 61 6c 69 61 73 20 74 79 70 65 6f h....alias typeo
0440: 66 28 5f 5f 74 72 61 69 74 73 28 67 65 74 4f 76 f(__traits(getOv
0450: 65 72 6c 6f 61 64 73 2c 20 74 68 69 73 2c 20 66 erloads, this, f
0460: 75 6e 4e 61 6d 65 29 29 20 6f 76 54 79 70 65 73 unName)) ovTypes
0470: 3b 0d 0a 09 09 61 6c 69 61 73 20 73 74 61 74 69 ;....alias stati
0480: 63 4d 61 70 21 28 66 69 72 73 74 50 61 72 61 6d cMap!(firstParam
0490: 2c 20 6f 76 54 79 70 65 73 29 20 20 20 20 20 20 , ovTypes)
04a0: 20 20 20 20 20 20 20 20 66 73 74 54 79 70 65 73 fstTypes
04b0: 3b 0d 0a 09 09 61 6c 69 61 73 20 44 65 72 69 76 ;....alias Deriv
04c0: 65 64 54 6f 46 72 6f 6e 74 21 28 66 73 74 54 79 edToFront!(fstTy
04d0: 70 65 73 29 20 20 20 20 20 20 20 20 20 20 20 20 pes)
04e0: 20 66 73 74 54 79 70 65 73 5f 73 6f 72 74 65 64 fstTypes_sorted
04f0: 3b 0d 0a 09 09 66 6f 72 65 61 63 68 28 69 2c 20 ;....foreach(i,
0500: 54 3b 20 66 73 74 54 79 70 65 73 5f 73 6f 72 74 T; fstTypes_sort
0510: 65 64 29 0d 0a 09 09 09 73 74 61 74 69 63 20 69 ed).....static i
0520: 66 28 20 69 73 28 54 20 3d 3d 20 74 79 70 65 6f f( is(T == typeo
0530: 66 28 70 61 72 61 6d 73 5b 30 5d 29 29 20 29 20 f(params[0])) )
0540: 7b 7d 20 65 6c 73 65 20 69 66 28 20 61 75 74 6f {} else if( auto
0550: 20 5f 78 20 3d 20 63 61 73 74 28 54 29 70 61 72 _x = cast(T)par
0560: 61 6d 73 5b 30 5d 20 29 0d 0a 09 09 09 09 72 65 ams[0] )......re
0570: 74 75 72 6e 20 5f 5f 74 72 61 69 74 73 28 67 65 turn __traits(ge
0580: 74 4f 76 65 72 6c 6f 61 64 73 2c 20 74 68 69 73 tOverloads, this
0590: 2c 20 66 75 6e 4e 61 6d 65 29 5b 69 5d 28 5f 78 , funName)[i](_x
05a0: 2c 20 70 61 72 61 6d 73 5b 31 2e 2e 24 5d 29 3b , params[1..$]);
05b0: 0d 0a 0d 0a 09 09 2f 2f 20 64 79 6e 61 6d 69 63 ......// dynamic
05c0: 2d 6f 76 65 72 6c 6f 61 64 2d 72 65 73 6f 6c 75 -overload-resolu
05d0: 74 69 6f 6e 2d 70 61 74 74 65 72 6e 3a 20 64 65 tion-pattern: de
05e0: 66 61 75 6c 74 20 62 65 68 61 76 69 6f 72 0d 0a fault behavior..
05f0: 09 09 61 73 73 65 72 74 28 66 61 6c 73 65 2c 20 ..assert(false,
0600: 74 65 78 74 28 22 65 76 61 6c 28 29 20 66 6f 72 text("eval() for
0610: 20 22 2c 74 79 70 65 69 64 28 65 29 2c 22 20 5b ",typeid(e)," [
0620: 22 2c 65 2e 70 6f 73 2c 22 5d 20 69 73 20 6e 6f ",e.pos,"] is no
0630: 74 20 64 65 66 69 6e 65 64 22 29 29 3b 0d 0a 09 t defined"));...
0640: 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a 0d 0a 09 }....private:...
0650: 56 61 6c 75 65 20 65 76 61 6c 28 20 53 74 72 20 Value eval( Str
0660: 65 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 e, Layer lay, Ta
0670: 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 ble ctx, bool ov
0680: 65 72 77 72 69 74 65 43 74 78 3d 43 61 73 63 61 erwriteCtx=Casca
0690: 64 65 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 56 deCtx )...{....V
06a0: 61 6c 75 65 20 76 20 3d 20 6e 65 77 20 53 74 72 alue v = new Str
06b0: 56 61 6c 75 65 28 65 2e 64 61 74 61 29 3b 0d 0a Value(e.data);..
06c0: 09 09 69 66 28 20 6c 61 79 3d 3d 52 61 77 4d 61 ..if( lay==RawMa
06d0: 63 72 6f 4c 61 79 65 72 20 7c 7c 20 6c 61 79 3d croLayer || lay=
06e0: 3d 4d 61 63 72 6f 4c 61 79 65 72 20 29 0d 0a 09 =MacroLayer )...
06f0: 09 7b 0d 0a 09 09 09 61 75 74 6f 20 61 73 74 20 .{.....auto ast
0700: 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 = new Table;....
0710: 09 61 73 74 2e 73 65 74 28 22 70 6f 73 22 2c 20 .ast.set("pos",
0720: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 66 72 6f ValueLayer, fro
0730: 6d 50 6f 73 28 65 2e 70 6f 73 29 29 3b 0d 0a 09 mPos(e.pos));...
0740: 09 09 61 73 74 2e 73 65 74 28 22 69 73 22 2c 20 ..ast.set("is",
0750: 20 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 ValueLayer, ne
0760: 77 20 53 74 72 56 61 6c 75 65 28 22 73 74 72 22 w StrValue("str"
0770: 29 29 3b 0d 0a 09 09 09 61 73 74 2e 73 65 74 28 ));.....ast.set(
0780: 22 64 61 74 61 22 2c 20 56 61 6c 75 65 4c 61 79 "data", ValueLay
0790: 65 72 2c 20 76 29 3b 0d 0a 09 09 09 72 65 74 75 er, v);.....retu
07a0: 72 6e 20 61 73 74 3b 0d 0a 09 09 7d 0d 0a 09 09 rn ast;....}....
07b0: 69 66 28 20 6c 61 79 3d 3d 56 61 6c 75 65 4c 61 if( lay==ValueLa
07c0: 79 65 72 20 29 0d 0a 09 09 09 72 65 74 75 72 6e yer ).....return
07d0: 20 76 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6c 69 v;....return li
07e0: 66 74 28 76 2c 20 6c 61 79 2c 20 63 74 78 2c 20 ft(v, lay, ctx,
07f0: 65 2e 70 6f 73 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 e.pos);...}.....
0800: 56 61 6c 75 65 20 65 76 61 6c 28 20 49 6e 74 20 Value eval( Int
0810: 65 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 e, Layer lay, Ta
0820: 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 ble ctx, bool ov
0830: 65 72 77 72 69 74 65 43 74 78 3d 43 61 73 63 61 erwriteCtx=Casca
0840: 64 65 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 56 deCtx )...{....V
0850: 61 6c 75 65 20 76 20 3d 20 6e 65 77 20 49 6e 74 alue v = new Int
0860: 56 61 6c 75 65 28 65 2e 64 61 74 61 29 3b 0d 0a Value(e.data);..
0870: 09 09 69 66 28 20 6c 61 79 3d 3d 52 61 77 4d 61 ..if( lay==RawMa
0880: 63 72 6f 4c 61 79 65 72 20 7c 7c 20 6c 61 79 3d croLayer || lay=
0890: 3d 4d 61 63 72 6f 4c 61 79 65 72 20 29 0d 0a 09 =MacroLayer )...
08a0: 09 7b 0d 0a 09 09 09 61 75 74 6f 20 61 73 74 20 .{.....auto ast
08b0: 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 = new Table;....
08c0: 09 61 73 74 2e 73 65 74 28 22 70 6f 73 22 2c 20 .ast.set("pos",
08d0: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 66 72 6f ValueLayer, fro
08e0: 6d 50 6f 73 28 65 2e 70 6f 73 29 29 3b 0d 0a 09 mPos(e.pos));...
08f0: 09 09 61 73 74 2e 73 65 74 28 22 69 73 22 2c 20 ..ast.set("is",
0900: 20 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 ValueLayer, ne
0910: 77 20 53 74 72 56 61 6c 75 65 28 22 69 6e 74 22 w StrValue("int"
0920: 29 29 3b 0d 0a 09 09 09 61 73 74 2e 73 65 74 28 ));.....ast.set(
0930: 22 64 61 74 61 22 2c 20 56 61 6c 75 65 4c 61 79 "data", ValueLay
0940: 65 72 2c 20 76 29 3b 0d 0a 09 09 09 72 65 74 75 er, v);.....retu
0950: 72 6e 20 61 73 74 3b 0d 0a 09 09 7d 0d 0a 09 09 rn ast;....}....
0960: 69 66 28 20 6c 61 79 3d 3d 56 61 6c 75 65 4c 61 if( lay==ValueLa
0970: 79 65 72 20 29 0d 0a 09 09 09 72 65 74 75 72 6e yer ).....return
0980: 20 76 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6c 69 v;....return li
0990: 66 74 28 76 2c 20 6c 61 79 2c 20 63 74 78 2c 20 ft(v, lay, ctx,
09a0: 65 2e 70 6f 73 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 e.pos);...}.....
09b0: 56 61 6c 75 65 20 65 76 61 6c 28 20 56 61 72 20 Value eval( Var
09c0: 65 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 e, Layer lay, Ta
09d0: 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 ble ctx, bool ov
09e0: 65 72 77 72 69 74 65 43 74 78 3d 43 61 73 63 61 erwriteCtx=Casca
09f0: 64 65 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 69 deCtx )...{....i
0a00: 66 28 20 6c 61 79 3d 3d 52 61 77 4d 61 63 72 6f f( lay==RawMacro
0a10: 4c 61 79 65 72 20 7c 7c 20 6c 61 79 3d 3d 4d 61 Layer || lay==Ma
0a20: 63 72 6f 4c 61 79 65 72 20 29 0d 0a 09 09 7b 0d croLayer )....{.
0a30: 0a 09 09 09 69 66 28 20 63 74 78 2e 68 61 73 28 ....if( ctx.has(
0a40: 65 2e 6e 61 6d 65 2c 4d 61 63 72 6f 4c 61 79 65 e.name,MacroLaye
0a50: 72 29 20 29 0d 0a 09 09 09 09 72 65 74 75 72 6e r) )......return
0a60: 20 63 74 78 2e 67 65 74 28 65 2e 6e 61 6d 65 2c ctx.get(e.name,
0a70: 20 4d 61 63 72 6f 4c 61 79 65 72 2c 20 65 2e 70 MacroLayer, e.p
0a80: 6f 73 29 3b 0d 0a 09 09 09 61 75 74 6f 20 61 73 os);.....auto as
0a90: 74 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a t = new Table;..
0aa0: 09 09 09 61 73 74 2e 73 65 74 28 22 70 6f 73 22 ...ast.set("pos"
0ab0: 2c 20 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 66 , ValueLayer, f
0ac0: 72 6f 6d 50 6f 73 28 65 2e 70 6f 73 29 29 3b 0d romPos(e.pos));.
0ad0: 0a 09 09 09 61 73 74 2e 73 65 74 28 22 69 73 22 ....ast.set("is"
0ae0: 2c 20 20 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 , ValueLayer,
0af0: 6e 65 77 20 53 74 72 56 61 6c 75 65 28 22 76 61 new StrValue("va
0b00: 72 22 29 29 3b 0d 0a 09 09 09 61 73 74 2e 73 65 r"));.....ast.se
0b10: 74 28 22 6e 61 6d 65 22 2c 20 56 61 6c 75 65 4c t("name", ValueL
0b20: 61 79 65 72 2c 20 6e 65 77 20 53 74 72 56 61 6c ayer, new StrVal
0b30: 75 65 28 65 2e 6e 61 6d 65 29 29 3b 0d 0a 09 09 ue(e.name));....
0b40: 09 72 65 74 75 72 6e 20 61 73 74 3b 0d 0a 09 09 .return ast;....
0b50: 7d 0d 0a 09 09 69 66 28 20 6c 61 79 3d 3d 56 61 }....if( lay==Va
0b60: 6c 75 65 4c 61 79 65 72 20 7c 7c 20 63 74 78 2e lueLayer || ctx.
0b70: 68 61 73 28 65 2e 6e 61 6d 65 2c 20 6c 61 79 29 has(e.name, lay)
0b80: 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 63 74 ).....return ct
0b90: 78 2e 67 65 74 28 65 2e 6e 61 6d 65 2c 20 6c 61 x.get(e.name, la
0ba0: 79 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 09 72 65 y, e.pos);....re
0bb0: 74 75 72 6e 20 6c 69 66 74 28 63 74 78 2e 67 65 turn lift(ctx.ge
0bc0: 74 28 65 2e 6e 61 6d 65 2c 20 56 61 6c 75 65 4c t(e.name, ValueL
0bd0: 61 79 65 72 2c 20 65 2e 70 6f 73 29 2c 20 6c 61 ayer, e.pos), la
0be0: 79 2c 20 63 74 78 2c 20 65 2e 70 6f 73 29 3b 0d y, ctx, e.pos);.
0bf0: 0a 09 7d 0d 0a 0d 0a 09 56 61 6c 75 65 20 65 76 ..}.....Value ev
0c00: 61 6c 28 20 41 70 70 20 65 2c 20 4c 61 79 65 72 al( App e, Layer
0c10: 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 2c lay, Table ctx,
0c20: 20 62 6f 6f 6c 20 6f 76 65 72 77 72 69 74 65 43 bool overwriteC
0c30: 74 78 3d 43 61 73 63 61 64 65 43 74 78 20 29 0d tx=CascadeCtx ).
0c40: 0a 09 7b 0d 0a 09 09 56 61 6c 75 65 20 66 20 3d ..{....Value f =
0c50: 20 65 76 61 6c 28 20 65 2e 66 75 6e 2c 20 6c 61 eval( e.fun, la
0c60: 79 2c 20 63 74 78 20 29 3b 0d 0a 09 09 69 66 28 y, ctx );....if(
0c70: 20 6c 61 79 3d 3d 52 61 77 4d 61 63 72 6f 4c 61 lay==RawMacroLa
0c80: 79 65 72 20 7c 7c 20 6c 61 79 3d 3d 4d 61 63 72 yer || lay==Macr
0c90: 6f 4c 61 79 65 72 20 29 0d 0a 09 09 7b 0d 0a 09 oLayer )....{...
0ca0: 09 09 69 66 28 20 61 75 74 6f 20 66 66 20 3d 20 ..if( auto ff =
0cb0: 63 61 73 74 28 46 75 6e 56 61 6c 75 65 29 66 20 cast(FunValue)f
0cc0: 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 69 6e )......return in
0cd0: 76 6f 6b 65 46 75 6e 63 74 69 6f 6e 28 66 66 2c vokeFunction(ff,
0ce0: 20 65 2e 61 72 67 73 2c 20 4d 61 63 72 6f 4c 61 e.args, MacroLa
0cf0: 79 65 72 2c 20 63 74 78 2c 20 65 2e 70 6f 73 29 yer, ctx, e.pos)
0d00: 3b 0d 0a 09 09 09 54 61 62 6c 65 20 61 73 74 20 ;.....Table ast
0d10: 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 = new Table;....
0d20: 09 61 73 74 2e 73 65 74 28 22 70 6f 73 22 2c 20 .ast.set("pos",
0d30: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 66 72 6f ValueLayer, fro
0d40: 6d 50 6f 73 28 65 2e 70 6f 73 29 29 3b 0d 0a 09 mPos(e.pos));...
0d50: 09 09 61 73 74 2e 73 65 74 28 22 69 73 22 2c 20 ..ast.set("is",
0d60: 20 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 ValueLayer, ne
0d70: 77 20 53 74 72 56 61 6c 75 65 28 22 61 70 70 22 w StrValue("app"
0d80: 29 29 3b 0d 0a 09 09 09 61 73 74 2e 73 65 74 28 ));.....ast.set(
0d90: 22 66 75 6e 22 2c 20 20 56 61 6c 75 65 4c 61 79 "fun", ValueLay
0da0: 65 72 2c 20 66 29 3b 0d 0a 09 09 09 54 61 62 6c er, f);.....Tabl
0db0: 65 20 61 72 67 73 20 3d 20 6e 65 77 20 54 61 62 e args = new Tab
0dc0: 6c 65 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 5f le;.....foreach_
0dd0: 72 65 76 65 72 73 65 28 61 3b 20 65 2e 61 72 67 reverse(a; e.arg
0de0: 73 29 0d 0a 09 09 09 09 61 72 67 73 20 3d 20 6d s)......args = m
0df0: 61 6b 65 43 6f 6e 73 28 65 76 61 6c 28 61 2c 20 akeCons(eval(a,
0e00: 6c 61 79 2c 20 63 74 78 29 2c 20 61 72 67 73 29 lay, ctx), args)
0e10: 3b 0d 0a 09 09 09 61 73 74 2e 73 65 74 28 22 61 ;.....ast.set("a
0e20: 72 67 73 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 rgs", ValueLayer
0e30: 2c 20 61 72 67 73 29 3b 0d 0a 09 09 09 72 65 74 , args);.....ret
0e40: 75 72 6e 20 61 73 74 3b 0d 0a 09 09 7d 0d 0a 09 urn ast;....}...
0e50: 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 72 .else....{.....r
0e60: 65 74 75 72 6e 20 69 6e 76 6f 6b 65 46 75 6e 63 eturn invokeFunc
0e70: 74 69 6f 6e 28 66 2c 20 65 2e 61 72 67 73 2c 20 tion(f, e.args,
0e80: 6c 61 79 2c 20 63 74 78 2c 20 65 2e 70 6f 73 29 lay, ctx, e.pos)
0e90: 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 09 0d 0a 09 ;....}...}......
0ea0: 56 61 6c 75 65 20 65 76 61 6c 28 20 46 75 6e 20 Value eval( Fun
0eb0: 65 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 e, Layer lay, Ta
0ec0: 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 ble ctx, bool ov
0ed0: 65 72 77 72 69 74 65 43 74 78 3d 43 61 73 63 61 erwriteCtx=Casca
0ee0: 64 65 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 69 deCtx )...{....i
0ef0: 66 28 20 6c 61 79 3d 3d 52 61 77 4d 61 63 72 6f f( lay==RawMacro
0f00: 4c 61 79 65 72 20 7c 7c 20 6c 61 79 3d 3d 4d 61 Layer || lay==Ma
0f10: 63 72 6f 4c 61 79 65 72 20 29 0d 0a 09 09 7b 0d croLayer )....{.
0f20: 0a 09 09 09 54 61 62 6c 65 20 74 20 3d 20 6e 65 ....Table t = ne
0f30: 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 74 2e 73 w Table;.....t.s
0f40: 65 74 28 22 70 6f 73 22 2c 20 20 20 20 20 56 61 et("pos", Va
0f50: 6c 75 65 4c 61 79 65 72 2c 20 66 72 6f 6d 50 6f lueLayer, fromPo
0f60: 73 28 65 2e 70 6f 73 29 29 3b 0d 0a 09 09 09 74 s(e.pos));.....t
0f70: 2e 73 65 74 28 22 69 73 22 2c 20 20 20 20 20 20 .set("is",
0f80: 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 20 ValueLayer, new
0f90: 53 74 72 56 61 6c 75 65 28 22 66 75 6e 22 29 29 StrValue("fun"))
0fa0: 3b 0d 0a 09 09 09 74 2e 73 65 74 28 22 66 75 6e ;.....t.set("fun
0fb0: 62 6f 64 79 22 2c 20 56 61 6c 75 65 4c 61 79 65 body", ValueLaye
0fc0: 72 2c 20 65 76 61 6c 28 65 2e 66 75 6e 62 6f 64 r, eval(e.funbod
0fd0: 79 2c 6c 61 79 2c 63 74 78 29 29 3b 0d 0a 09 09 y,lay,ctx));....
0fe0: 09 54 61 62 6c 65 20 70 61 72 61 6d 73 20 3d 20 .Table params =
0ff0: 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 66 new Table;.....f
1000: 6f 72 65 61 63 68 5f 72 65 76 65 72 73 65 28 70 oreach_reverse(p
1010: 3b 20 65 2e 70 61 72 61 6d 73 29 0d 0a 09 09 09 ; e.params).....
1020: 7b 0d 0a 09 09 09 09 54 61 62 6c 65 20 6c 61 79 {......Table lay
1030: 73 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a s = new Table;..
1040: 09 09 09 09 66 6f 72 65 61 63 68 5f 72 65 76 65 ....foreach_reve
1050: 72 73 65 28 6c 3b 20 70 2e 6c 61 79 65 72 73 29 rse(l; p.layers)
1060: 0d 0a 09 09 09 09 09 6c 61 79 73 20 3d 20 6d 61 .......lays = ma
1070: 6b 65 43 6f 6e 73 28 6e 65 77 20 53 74 72 56 61 keCons(new StrVa
1080: 6c 75 65 28 6c 29 2c 20 6c 61 79 73 29 3b 0d 0a lue(l), lays);..
1090: 09 09 09 09 54 61 62 6c 65 20 6b 76 20 3d 20 6e ....Table kv = n
10a0: 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 09 09 6b ew Table;......k
10b0: 76 2e 73 65 74 28 22 6e 61 6d 65 22 2c 20 56 61 v.set("name", Va
10c0: 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 lueLayer, new St
10d0: 72 56 61 6c 75 65 28 70 2e 6e 61 6d 65 29 29 3b rValue(p.name));
10e0: 0d 0a 09 09 09 09 6b 76 2e 73 65 74 28 22 6c 61 ......kv.set("la
10f0: 79 65 72 73 22 2c 20 56 61 6c 75 65 4c 61 79 65 yers", ValueLaye
1100: 72 2c 20 6c 61 79 73 29 3b 0d 0a 09 09 09 09 54 r, lays);......T
1110: 61 62 6c 65 20 63 6f 6e 73 20 3d 20 6e 65 77 20 able cons = new
1120: 54 61 62 6c 65 3b 0d 0a 09 09 09 09 70 61 72 61 Table;......para
1130: 6d 73 20 3d 20 6d 61 6b 65 43 6f 6e 73 28 6b 76 ms = makeCons(kv
1140: 2c 20 70 61 72 61 6d 73 29 3b 0d 0a 09 09 09 7d , params);.....}
1150: 0d 0a 09 09 09 74 2e 73 65 74 28 22 70 61 72 61 .....t.set("para
1160: 6d 73 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c ms", ValueLayer,
1170: 20 70 61 72 61 6d 73 29 3b 0d 0a 09 09 09 72 65 params);.....re
1180: 74 75 72 6e 20 74 3b 0d 0a 09 09 7d 0d 0a 09 09 turn t;....}....
1190: 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 72 65 else....{.....re
11a0: 74 75 72 6e 20 63 72 65 61 74 65 4e 65 77 46 75 turn createNewFu
11b0: 6e 63 74 69 6f 6e 28 65 2c 20 63 74 78 29 3b 0d nction(e, ctx);.
11c0: 0a 09 09 7d 0d 0a 09 7d 0d 0a 09 0d 0a 09 56 61 ...}...}......Va
11d0: 6c 75 65 20 65 76 61 6c 28 20 4c 61 79 20 65 2c lue eval( Lay e,
11e0: 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c Layer lay, Tabl
11f0: 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 e ctx, bool over
1200: 77 72 69 74 65 43 74 78 3d 43 61 73 63 61 64 65 writeCtx=Cascade
1210: 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 Ctx )...{....if(
1220: 20 6c 61 79 20 3d 3d 20 52 61 77 4d 61 63 72 6f lay == RawMacro
1230: 4c 61 79 65 72 20 29 0d 0a 09 09 7b 0d 0a 09 09 Layer )....{....
1240: 09 56 61 6c 75 65 20 72 20 3d 20 65 76 61 6c 28 .Value r = eval(
1250: 65 2e 65 78 70 72 2c 20 6c 61 79 2c 20 63 74 78 e.expr, lay, ctx
1260: 29 3b 0d 0a 09 09 09 61 75 74 6f 20 61 73 74 20 );.....auto ast
1270: 3d 20 6e 65 77 20 54 61 62 6c 65 3b 20 2f 2f 20 = new Table; //
1280: 74 6f 64 6f 3a 20 70 6f 73 0d 0a 09 09 09 61 73 todo: pos.....as
1290: 74 2e 73 65 74 28 22 70 6f 73 22 2c 20 20 20 56 t.set("pos", V
12a0: 61 6c 75 65 4c 61 79 65 72 2c 20 66 72 6f 6d 50 alueLayer, fromP
12b0: 6f 73 28 65 2e 70 6f 73 29 29 3b 0d 0a 09 09 09 os(e.pos));.....
12c0: 61 73 74 2e 73 65 74 28 22 69 73 22 2c 20 20 20 ast.set("is",
12d0: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 ValueLayer, new
12e0: 20 53 74 72 56 61 6c 75 65 28 22 6c 61 79 22 29 StrValue("lay")
12f0: 29 3b 0d 0a 09 09 09 61 73 74 2e 73 65 74 28 22 );.....ast.set("
1300: 6c 61 79 65 72 22 2c 20 56 61 6c 75 65 4c 61 79 layer", ValueLay
1310: 65 72 2c 20 6e 65 77 20 53 74 72 56 61 6c 75 65 er, new StrValue
1320: 28 65 2e 6c 61 79 65 72 29 29 3b 0d 0a 09 09 09 (e.layer));.....
1330: 61 73 74 2e 73 65 74 28 22 65 78 70 72 22 2c 20 ast.set("expr",
1340: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 72 29 3b ValueLayer, r);
1350: 0d 0a 09 09 09 72 65 74 75 72 6e 20 61 73 74 3b .....return ast;
1360: 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 ....}....else...
1370: 09 09 72 65 74 75 72 6e 20 65 76 61 6c 28 65 2e ..return eval(e.
1380: 65 78 70 72 2c 20 65 2e 6c 61 79 65 72 2c 20 63 expr, e.layer, c
1390: 74 78 29 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 56 61 tx);...}......Va
13a0: 6c 75 65 20 65 76 61 6c 28 20 4c 65 74 20 65 2c lue eval( Let e,
13b0: 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c Layer lay, Tabl
13c0: 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 e ctx, bool over
13d0: 77 72 69 74 65 43 74 78 3d 43 61 73 63 61 64 65 writeCtx=Cascade
13e0: 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 20 Ctx )...{....//
13f0: 74 6f 64 6f 20 40 6d 61 63 72 6f 20 6c 65 74 0d todo @macro let.
1400: 0a 09 09 69 66 28 20 6c 61 79 3d 3d 52 61 77 4d ...if( lay==RawM
1410: 61 63 72 6f 4c 61 79 65 72 20 7c 7c 20 6c 61 79 acroLayer || lay
1420: 3d 3d 4d 61 63 72 6f 4c 61 79 65 72 20 29 0d 0a ==MacroLayer )..
1430: 09 09 7b 0d 0a 09 09 09 61 75 74 6f 20 61 73 74 ..{.....auto ast
1440: 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 20 2f 2f = new Table; //
1450: 20 74 6f 64 6f 3a 20 70 6f 73 0d 0a 09 09 09 61 todo: pos.....a
1460: 73 74 2e 73 65 74 28 22 70 6f 73 22 2c 20 20 20 st.set("pos",
1470: 56 61 6c 75 65 4c 61 79 65 72 2c 20 66 72 6f 6d ValueLayer, from
1480: 50 6f 73 28 65 2e 70 6f 73 29 29 3b 0d 0a 09 09 Pos(e.pos));....
1490: 09 61 73 74 2e 73 65 74 28 22 69 73 22 2c 20 20 .ast.set("is",
14a0: 20 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 ValueLayer, ne
14b0: 77 20 53 74 72 56 61 6c 75 65 28 22 6c 65 74 22 w StrValue("let"
14c0: 29 29 3b 0d 0a 09 09 09 61 73 74 2e 73 65 74 28 ));.....ast.set(
14d0: 22 6e 61 6d 65 22 2c 20 20 56 61 6c 75 65 4c 61 "name", ValueLa
14e0: 79 65 72 2c 20 6e 65 77 20 53 74 72 56 61 6c 75 yer, new StrValu
14f0: 65 28 65 2e 6e 61 6d 65 29 29 3b 0d 0a 09 09 09 e(e.name));.....
1500: 61 73 74 2e 73 65 74 28 22 6c 61 79 65 72 22 2c ast.set("layer",
1510: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 ValueLayer, new
1520: 20 53 74 72 56 61 6c 75 65 28 65 2e 6c 61 79 65 StrValue(e.laye
1530: 72 29 29 3b 0d 0a 09 09 09 61 73 74 2e 73 65 74 r));.....ast.set
1540: 28 22 69 6e 69 74 22 2c 20 20 56 61 6c 75 65 4c ("init", ValueL
1550: 61 79 65 72 2c 20 65 76 61 6c 28 65 2e 69 6e 69 ayer, eval(e.ini
1560: 74 2c 20 6c 61 79 2c 20 63 74 78 29 29 3b 0d 0a t, lay, ctx));..
1570: 09 09 09 61 73 74 2e 73 65 74 28 22 65 78 70 72 ...ast.set("expr
1580: 22 2c 20 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 ", ValueLayer,
1590: 65 76 61 6c 28 65 2e 65 78 70 72 2c 20 6c 61 79 eval(e.expr, lay
15a0: 2c 20 63 74 78 29 29 3b 0d 0a 09 09 09 72 65 74 , ctx));.....ret
15b0: 75 72 6e 20 61 73 74 3b 0d 0a 09 09 7d 0d 0a 09 urn ast;....}...
15c0: 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 69 .else....{.....i
15d0: 66 28 20 21 6f 76 65 72 77 72 69 74 65 43 74 78 f( !overwriteCtx
15e0: 20 29 0d 0a 09 09 09 09 63 74 78 20 3d 20 6e 65 )......ctx = ne
15f0: 77 20 54 61 62 6c 65 28 63 74 78 2c 20 54 61 62 w Table(ctx, Tab
1600: 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 le.Kind.NotPropa
1610: 67 61 74 65 53 65 74 29 3b 0d 0a 09 09 09 56 61 gateSet);.....Va
1620: 6c 75 65 20 72 69 20 3d 20 65 76 61 6c 28 65 2e lue ri = eval(e.
1630: 69 6e 69 74 2c 20 6c 61 79 2c 20 63 74 78 29 3b init, lay, ctx);
1640: 0d 0a 09 09 09 73 74 72 69 6e 67 20 74 68 65 4c .....string theL
1650: 61 79 65 72 20 3d 20 65 2e 6c 61 79 65 72 2e 65 ayer = e.layer.e
1660: 6d 70 74 79 20 3f 20 28 6c 61 79 3d 3d 52 61 77 mpty ? (lay==Raw
1670: 4d 61 63 72 6f 4c 61 79 65 72 20 3f 20 4d 61 63 MacroLayer ? Mac
1680: 72 6f 4c 61 79 65 72 20 3a 20 6c 61 79 29 20 3a roLayer : lay) :
1690: 20 65 2e 6c 61 79 65 72 3b 0d 0a 09 09 09 63 74 e.layer;.....ct
16a0: 78 2e 73 65 74 28 65 2e 6e 61 6d 65 2c 20 74 68 x.set(e.name, th
16b0: 65 4c 61 79 65 72 2c 20 72 69 29 3b 0d 0a 09 09 eLayer, ri);....
16c0: 09 72 65 74 75 72 6e 20 65 76 61 6c 28 65 2e 65 .return eval(e.e
16d0: 78 70 72 2c 20 6c 61 79 2c 20 63 74 78 2c 20 4f xpr, lay, ctx, O
16e0: 76 65 72 77 72 69 74 65 43 74 78 29 3b 0d 0a 09 verwriteCtx);...
16f0: 09 7d 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 .}...}....privat
1700: 65 3a 0d 0a 09 56 61 6c 75 65 20 69 6e 76 6f 6b e:...Value invok
1710: 65 46 75 6e 63 74 69 6f 6e 28 56 61 6c 75 65 20 eFunction(Value
1720: 5f 66 2c 20 41 53 54 5b 5d 20 61 72 67 73 2c 20 _f, AST[] args,
1730: 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 Layer lay, Table
1740: 20 63 74 78 2c 20 4c 65 78 50 6f 73 69 74 69 6f ctx, LexPositio
1750: 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d 0a 09 7b 0d n pos=null)...{.
1760: 0a 09 09 69 66 28 61 75 74 6f 20 66 20 3d 20 63 ...if(auto f = c
1770: 61 73 74 28 46 75 6e 56 61 6c 75 65 29 5f 66 29 ast(FunValue)_f)
1780: 0d 0a 09 09 7b 0d 0a 09 09 09 54 61 62 6c 65 20 ....{.....Table
1790: 6e 65 77 43 74 78 20 3d 20 6e 65 77 20 54 61 62 newCtx = new Tab
17a0: 6c 65 28 66 2e 64 65 66 69 6e 69 74 69 6f 6e 43 le(f.definitionC
17b0: 6f 6e 74 65 78 74 28 29 2c 20 54 61 62 6c 65 2e ontext(), Table.
17c0: 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 61 74 Kind.NotPropagat
17d0: 65 53 65 74 29 3b 0d 0a 09 09 09 66 6f 72 65 61 eSet);.....forea
17e0: 63 68 28 69 2c 70 3b 20 66 2e 70 61 72 61 6d 73 ch(i,p; f.params
17f0: 28 29 29 0d 0a 09 09 09 09 69 66 28 20 70 2e 6c ())......if( p.l
1800: 61 79 65 72 73 2e 65 6d 70 74 79 20 29 0d 0a 09 ayers.empty )...
1810: 09 09 09 09 6e 65 77 43 74 78 2e 73 65 74 28 70 ....newCtx.set(p
1820: 2e 6e 61 6d 65 2c 20 28 6c 61 79 3d 3d 52 61 77 .name, (lay==Raw
1830: 4d 61 63 72 6f 4c 61 79 65 72 20 3f 20 4d 61 63 MacroLayer ? Mac
1840: 72 6f 4c 61 79 65 72 20 3a 20 6c 61 79 29 2c 20 roLayer : lay),
1850: 65 76 61 6c 28 61 72 67 73 5b 69 5d 2c 20 6c 61 eval(args[i], la
1860: 79 2c 20 63 74 78 29 29 3b 0d 0a 09 09 09 09 65 y, ctx));......e
1870: 6c 73 65 0d 0a 09 09 09 09 09 66 6f 72 65 61 63 lse.......foreac
1880: 68 28 61 72 67 4c 61 79 3b 20 70 2e 6c 61 79 65 h(argLay; p.laye
1890: 72 73 29 0d 0a 09 09 09 09 09 09 6e 65 77 43 74 rs)........newCt
18a0: 78 2e 73 65 74 28 70 2e 6e 61 6d 65 2c 20 61 72 x.set(p.name, ar
18b0: 67 4c 61 79 2c 20 65 76 61 6c 28 61 72 67 73 5b gLay, eval(args[
18c0: 69 5d 2c 20 61 72 67 4c 61 79 2c 20 63 74 78 29 i], argLay, ctx)
18d0: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 66 2e );.....return f.
18e0: 69 6e 76 6f 6b 65 28 70 6f 73 2c 20 6c 61 79 2c invoke(pos, lay,
18f0: 20 6e 65 77 43 74 78 29 3b 0d 0a 09 09 7d 0d 0a newCtx);....}..
1900: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 ..throw genex!Ru
1910: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 ntimeException(p
1920: 6f 73 2c 20 74 65 78 74 28 22 74 72 69 65 64 20 os, text("tried
1930: 74 6f 20 63 61 6c 6c 20 6e 6f 6e 2d 66 75 6e 63 to call non-func
1940: 74 69 6f 6e 3a 20 22 2c 5f 66 29 29 3b 0d 0a 09 tion: ",_f));...
1950: 7d 0d 0a 0d 0a 09 56 61 6c 75 65 20 6c 69 66 74 }.....Value lift
1960: 28 56 61 6c 75 65 20 76 2c 20 4c 61 79 65 72 20 (Value v, Layer
1970: 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 lay, Table ctx,
1980: 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 3d LexPosition pos=
1990: 6e 75 6c 6c 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 20 null)...{....//
19a0: 66 75 6e 63 74 69 6f 6e 73 20 61 72 65 20 61 75 functions are au
19b0: 74 6f 6d 61 74 69 63 61 6c 6c 79 20 6c 69 66 74 tomatically lift
19c0: 65 72 64 0d 0a 09 09 69 66 28 20 63 61 73 74 28 erd....if( cast(
19d0: 46 75 6e 56 61 6c 75 65 29 20 76 20 29 0d 0a 09 FunValue) v )...
19e0: 09 09 72 65 74 75 72 6e 20 76 3b 0d 0a 0d 0a 09 ..return v;.....
19f0: 09 2f 2f 20 73 69 6d 69 6c 61 72 20 74 6f 20 69 .// similar to i
1a00: 6e 76 6f 6b 65 20 46 75 6e 63 74 69 6f 6e 2c 20 nvoke Function,
1a10: 62 75 74 20 77 69 74 68 20 6f 6e 6c 79 20 6f 6e but with only on
1a20: 65 20 61 72 67 75 6d 65 6e 74 20 62 6f 75 6e 64 e argument bound
1a30: 20 74 6f 20 56 61 6c 75 65 4c 61 79 65 72 0d 0a to ValueLayer..
1a40: 09 09 69 66 28 61 75 74 6f 20 66 20 3d 20 63 61 ..if(auto f = ca
1a50: 73 74 28 46 75 6e 56 61 6c 75 65 29 63 74 78 2e st(FunValue)ctx.
1a60: 67 65 74 28 6c 61 79 2c 20 53 79 73 74 65 6d 4c get(lay, SystemL
1a70: 61 79 65 72 2c 20 70 6f 73 29 29 0d 0a 09 09 7b ayer, pos))....{
1a80: 0d 0a 09 09 09 54 61 62 6c 65 20 6e 65 77 43 74 .....Table newCt
1a90: 78 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 66 2e x = new Table(f.
1aa0: 64 65 66 69 6e 69 74 69 6f 6e 43 6f 6e 74 65 78 definitionContex
1ab0: 74 28 29 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e t(), Table.Kind.
1ac0: 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 29 NotPropagateSet)
1ad0: 3b 0d 0a 09 09 09 61 75 74 6f 20 70 73 20 3d 20 ;.....auto ps =
1ae0: 66 2e 70 61 72 61 6d 73 28 29 3b 0d 0a 09 09 09 f.params();.....
1af0: 69 66 28 20 70 73 2e 6c 65 6e 67 74 68 20 21 3d if( ps.length !=
1b00: 20 31 20 29 0d 0a 09 09 09 09 74 68 72 6f 77 20 1 )......throw
1b10: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
1b20: 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 6c 69 66 eption(pos, "lif
1b30: 74 20 66 75 6e 63 74 69 6f 6e 20 6d 75 73 74 20 t function must
1b40: 74 61 6b 65 20 65 78 61 63 74 6c 79 20 6f 6e 65 take exactly one
1b50: 20 61 72 67 75 6d 65 6e 74 20 61 74 20 22 7e 56 argument at "~V
1b60: 61 6c 75 65 4c 61 79 65 72 7e 22 20 6c 61 79 65 alueLayer~" laye
1b70: 72 22 29 3b 0d 0a 09 09 09 69 66 28 20 70 73 5b r");.....if( ps[
1b80: 30 5d 2e 6c 61 79 65 72 73 2e 6c 65 6e 67 74 68 0].layers.length
1b90: 3d 3d 30 20 7c 7c 20 70 73 5b 30 5d 2e 6c 61 79 ==0 || ps[0].lay
1ba0: 65 72 73 2e 6c 65 6e 67 74 68 3d 3d 31 20 26 26 ers.length==1 &&
1bb0: 20 70 73 5b 30 5d 2e 6c 61 79 65 72 73 5b 30 5d ps[0].layers[0]
1bc0: 3d 3d 56 61 6c 75 65 4c 61 79 65 72 20 29 0d 0a ==ValueLayer )..
1bd0: 09 09 09 7b 0d 0a 09 09 09 09 6e 65 77 43 74 78 ...{......newCtx
1be0: 2e 73 65 74 28 70 73 5b 30 5d 2e 6e 61 6d 65 2c .set(ps[0].name,
1bf0: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 76 29 3b ValueLayer, v);
1c00: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 66 2e 69 ......return f.i
1c10: 6e 76 6f 6b 65 28 70 6f 73 2c 20 56 61 6c 75 65 nvoke(pos, Value
1c20: 4c 61 79 65 72 2c 20 6e 65 77 43 74 78 29 3b 0d Layer, newCtx);.
1c30: 0a 09 09 09 7d 0d 0a 09 09 09 65 6c 73 65 0d 0a ....}.....else..
1c40: 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
1c50: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
1c60: 28 70 6f 73 2c 20 22 6c 69 66 74 20 66 75 6e 63 (pos, "lift func
1c70: 74 69 6f 6e 20 6d 75 73 74 20 74 61 6b 65 20 65 tion must take e
1c80: 78 61 63 74 6c 79 20 6f 6e 65 20 61 72 67 75 6d xactly one argum
1c90: 65 6e 74 20 61 74 20 22 7e 56 61 6c 75 65 4c 61 ent at "~ValueLa
1ca0: 79 65 72 7e 22 20 6c 61 79 65 72 22 29 3b 0d 0a yer~" layer");..
1cb0: 09 09 7d 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e ..}....throw gen
1cc0: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
1cd0: 69 6f 6e 28 70 6f 73 2c 20 22 74 72 69 65 64 20 ion(pos, "tried
1ce0: 74 6f 20 63 61 6c 6c 20 6e 6f 6e 2d 66 75 6e 63 to call non-func
1cf0: 74 69 6f 6e 22 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 tion");...}.....
1d00: 56 61 6c 75 65 20 63 72 65 61 74 65 4e 65 77 46 Value createNewF
1d10: 75 6e 63 74 69 6f 6e 28 46 75 6e 20 65 2c 20 54 unction(Fun e, T
1d20: 61 62 6c 65 20 63 74 78 29 0d 0a 09 7b 0d 0a 09 able ctx)...{...
1d30: 09 63 6c 61 73 73 20 55 73 65 72 44 65 66 69 6e .class UserDefin
1d40: 65 64 46 75 6e 56 61 6c 75 65 20 3a 20 46 75 6e edFunValue : Fun
1d50: 56 61 6c 75 65 0d 0a 09 09 7b 0d 0a 09 09 09 46 Value....{.....F
1d60: 75 6e 20 61 73 74 3b 0d 0a 09 09 09 54 61 62 6c un ast;.....Tabl
1d70: 65 20 20 20 20 20 20 64 65 66 43 74 78 3b 0d 0a e defCtx;..
1d80: 09 09 09 6f 76 65 72 72 69 64 65 20 63 6f 6e 73 ...override cons
1d90: 74 28 50 61 72 61 6d 65 74 65 72 5b 5d 29 20 70 t(Parameter[]) p
1da0: 61 72 61 6d 73 28 29 20 7b 20 72 65 74 75 72 6e arams() { return
1db0: 20 61 73 74 2e 70 61 72 61 6d 73 3b 20 7d 0d 0a ast.params; }..
1dc0: 09 09 09 6f 76 65 72 72 69 64 65 20 54 61 62 6c ...override Tabl
1dd0: 65 20 64 65 66 69 6e 69 74 69 6f 6e 43 6f 6e 74 e definitionCont
1de0: 65 78 74 28 29 20 7b 20 72 65 74 75 72 6e 20 64 ext() { return d
1df0: 65 66 43 74 78 3b 20 7d 0d 0a 0d 0a 09 09 09 74 efCtx; }.......t
1e00: 68 69 73 28 46 75 6e 20 61 73 74 2c 20 54 61 62 his(Fun ast, Tab
1e10: 6c 65 20 64 65 66 43 74 78 29 20 7b 20 74 68 69 le defCtx) { thi
1e20: 73 2e 61 73 74 3d 61 73 74 3b 20 74 68 69 73 2e s.ast=ast; this.
1e30: 64 65 66 43 74 78 3d 64 65 66 43 74 78 3b 20 7d defCtx=defCtx; }
1e40: 0d 0a 09 09 09 6f 76 65 72 72 69 64 65 20 73 74 .....override st
1e50: 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 20 ring toString()
1e60: 63 6f 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 73 const { return s
1e70: 70 72 69 6e 74 66 21 22 28 66 75 6e 63 74 69 6f printf!"(functio
1e80: 6e 3a 25 78 3a 25 78 29 22 28 63 61 73 74 28 76 n:%x:%x)"(cast(v
1e90: 6f 69 64 2a 29 61 73 74 2c 20 63 61 73 74 28 76 oid*)ast, cast(v
1ea0: 6f 69 64 2a 29 64 65 66 43 74 78 29 3b 20 7d 0d oid*)defCtx); }.
1eb0: 0a 09 09 09 6f 76 65 72 72 69 64 65 20 62 6f 6f ....override boo
1ec0: 6c 20 6f 70 45 71 75 61 6c 73 28 4f 62 6a 65 63 l opEquals(Objec
1ed0: 74 20 72 68 73 5f 29 20 63 6f 6e 73 74 20 2f 2f t rhs_) const //
1ee0: 2f 20 6d 65 6d 62 65 72 2d 62 79 2d 6d 65 6d 62 / member-by-memb
1ef0: 65 72 20 65 71 75 61 6c 69 74 79 0d 0a 09 09 09 er equality.....
1f00: 7b 0d 0a 09 09 09 09 69 66 28 20 61 75 74 6f 20 {......if( auto
1f10: 72 68 73 20 3d 20 63 61 73 74 28 74 79 70 65 6f rhs = cast(typeo
1f20: 66 28 74 68 69 73 29 29 72 68 73 5f 20 29 0d 0a f(this))rhs_ )..
1f30: 09 09 09 09 09 72 65 74 75 72 6e 20 74 68 69 73 .....return this
1f40: 2e 61 73 74 3d 3d 72 68 73 2e 61 73 74 20 26 26 .ast==rhs.ast &&
1f50: 20 74 68 69 73 2e 64 65 66 43 74 78 3d 3d 72 68 this.defCtx==rh
1f60: 73 2e 64 65 66 43 74 78 3b 0d 0a 09 09 09 09 61 s.defCtx;......a
1f70: 73 73 65 72 74 28 66 61 6c 73 65 2c 20 73 70 72 ssert(false, spr
1f80: 69 6e 74 66 21 22 43 61 6e 6e 6f 74 20 63 6f 6d intf!"Cannot com
1f90: 70 61 72 65 20 25 73 20 77 69 74 68 20 25 73 22 pare %s with %s"
1fa0: 28 74 79 70 65 69 64 28 74 68 69 73 29 2c 20 74 (typeid(this), t
1fb0: 79 70 65 69 64 28 72 68 73 5f 29 29 29 3b 0d 0a ypeid(rhs_)));..
1fc0: 09 09 09 7d 0d 0a 09 09 09 6f 76 65 72 72 69 64 ...}.....overrid
1fd0: 65 20 68 61 73 68 5f 74 20 74 6f 48 61 73 68 28 e hash_t toHash(
1fe0: 29 20 63 6f 6e 73 74 20 2f 2f 2f 20 6d 65 6d 62 ) const /// memb
1ff0: 65 72 2d 62 79 2d 6d 65 6d 62 65 72 20 68 61 73 er-by-member has
2000: 68 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 72 65 74 h.....{......ret
2010: 75 72 6e 20 74 79 70 65 69 64 28 74 68 69 73 2e urn typeid(this.
2020: 61 73 74 29 2e 67 65 74 48 61 73 68 28 26 74 68 ast).getHash(&th
2030: 69 73 2e 61 73 74 29 20 2b 20 74 79 70 65 69 64 is.ast) + typeid
2040: 28 74 68 69 73 2e 64 65 66 43 74 78 29 2e 67 65 (this.defCtx).ge
2050: 74 48 61 73 68 28 26 74 68 69 73 2e 64 65 66 43 tHash(&this.defC
2060: 74 78 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 6f tx);.....}.....o
2070: 76 65 72 72 69 64 65 20 69 6e 74 20 6f 70 43 6d verride int opCm
2080: 70 28 4f 62 6a 65 63 74 20 72 68 73 5f 29 20 2f p(Object rhs_) /
2090: 2f 2f 20 6d 65 6d 62 65 72 2d 62 79 2d 6d 65 6d // member-by-mem
20a0: 62 65 72 20 63 6f 6d 70 61 72 65 0d 0a 09 09 09 ber compare.....
20b0: 7b 0d 0a 09 09 09 09 69 66 28 20 61 75 74 6f 20 {......if( auto
20c0: 72 68 73 20 3d 20 63 61 73 74 28 74 79 70 65 6f rhs = cast(typeo
20d0: 66 28 74 68 69 73 29 29 72 68 73 5f 20 29 0d 0a f(this))rhs_ )..
20e0: 09 09 09 09 7b 0d 0a 09 09 09 09 09 69 66 28 61 ....{.......if(a
20f0: 75 74 6f 20 69 20 3d 20 74 68 69 73 2e 61 73 74 uto i = this.ast
2100: 2e 6f 70 43 6d 70 28 72 68 73 2e 61 73 74 29 29 .opCmp(rhs.ast))
2110: 0d 0a 09 09 09 09 09 09 72 65 74 75 72 6e 20 69 ........return i
2120: 3b 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 74 ;.......return t
2130: 68 69 73 2e 64 65 66 43 74 78 2e 6f 70 43 6d 70 his.defCtx.opCmp
2140: 28 72 68 73 2e 64 65 66 43 74 78 29 3b 0d 0a 09 (rhs.defCtx);...
2150: 09 09 09 7d 0d 0a 09 09 09 09 61 73 73 65 72 74 ...}......assert
2160: 28 66 61 6c 73 65 2c 20 73 70 72 69 6e 74 66 21 (false, sprintf!
2170: 22 43 61 6e 6e 6f 74 20 63 6f 6d 70 61 72 65 20 "Cannot compare
2180: 25 73 20 77 69 74 68 20 25 73 22 28 74 79 70 65 %s with %s"(type
2190: 69 64 28 74 68 69 73 29 2c 20 74 79 70 65 69 64 id(this), typeid
21a0: 28 72 68 73 5f 29 29 29 3b 0d 0a 09 09 09 7d 0d (rhs_)));.....}.
21b0: 0a 0d 0a 09 09 09 6f 76 65 72 72 69 64 65 20 56 ......override V
21c0: 61 6c 75 65 20 69 6e 76 6f 6b 65 28 4c 65 78 50 alue invoke(LexP
21d0: 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 4c 61 79 osition pos, Lay
21e0: 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 er lay, Table ct
21f0: 78 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 69 66 x).....{......if
2200: 28 20 6c 61 79 20 3d 3d 20 4d 61 63 72 6f 4c 61 ( lay == MacroLa
2210: 79 65 72 20 29 0d 0a 09 09 09 09 09 72 65 74 75 yer ).......retu
2220: 72 6e 20 65 76 61 6c 28 61 73 74 2e 66 75 6e 62 rn eval(ast.funb
2230: 6f 64 79 2c 20 6c 61 79 2c 20 63 74 78 29 3b 0d ody, lay, ctx);.
2240: 0a 09 09 09 09 61 75 74 6f 20 6d 61 63 72 6f 65 .....auto macroe
2250: 64 20 3d 20 74 61 62 6c 65 54 6f 41 53 54 28 56 d = tableToAST(V
2260: 61 6c 75 65 4c 61 79 65 72 2c 20 65 76 61 6c 28 alueLayer, eval(
2270: 65 2e 66 75 6e 62 6f 64 79 2c 20 52 61 77 4d 61 e.funbody, RawMa
2280: 63 72 6f 4c 61 79 65 72 2c 20 63 74 78 29 29 3b croLayer, ctx));
2290: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 65 76 61 ......return eva
22a0: 6c 28 6d 61 63 72 6f 65 64 2c 20 6c 61 79 2c 20 l(macroed, lay,
22b0: 63 74 78 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 7d ctx);.....}....}
22c0: 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 55 ....return new U
22d0: 73 65 72 44 65 66 69 6e 65 64 46 75 6e 56 61 6c serDefinedFunVal
22e0: 75 65 28 65 2c 63 74 78 29 3b 0d 0a 09 7d 0d 0a ue(e,ctx);...}..
22f0: 0d 0a 70 75 62 6c 69 63 3a 0d 0a 09 2f 2f 2f 20 ..public:...///
2300: 54 4f 44 4f 3a 20 6d 6f 76 65 20 75 70 0d 0a 09 TODO: move up...
2310: 2f 2f 2f 20 54 44 4f 4f 3a 20 74 6f 20 6f 74 68 /// TDOO: to oth
2320: 65 72 20 6c 61 79 65 72 73 3f 0d 0a 09 76 6f 69 er layers?...voi
2330: 64 20 61 64 64 50 72 69 6d 69 74 69 76 65 28 52 d addPrimitive(R
2340: 2c 54 2e 2e 2e 29 28 73 74 72 69 6e 67 20 6e 61 ,T...)(string na
2350: 6d 65 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 52 me, Layer lay, R
2360: 20 64 65 6c 65 67 61 74 65 20 28 54 29 20 64 67 delegate (T) dg
2370: 29 0d 0a 09 7b 0d 0a 09 09 63 6c 61 73 73 20 4e )...{....class N
2380: 61 74 69 76 65 46 75 6e 56 61 6c 75 65 20 3a 20 ativeFunValue :
2390: 46 75 6e 56 61 6c 75 65 0d 0a 09 09 7b 0d 0a 09 FunValue....{...
23a0: 09 09 50 61 72 61 6d 65 74 65 72 5b 5d 20 70 61 ..Parameter[] pa
23b0: 72 61 6d 73 5f 64 61 74 61 3b 0d 0a 09 09 09 6f rams_data;.....o
23c0: 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 verride string t
23d0: 6f 53 74 72 69 6e 67 28 29 20 7b 20 72 65 74 75 oString() { retu
23e0: 72 6e 20 73 70 72 69 6e 74 66 21 22 28 6e 61 74 rn sprintf!"(nat
23f0: 69 76 65 3a 25 78 29 22 28 64 67 2e 66 75 6e 63 ive:%x)"(dg.func
2400: 70 74 72 29 3b 20 7d 0d 0a 09 09 09 6f 76 65 72 ptr); }.....over
2410: 72 69 64 65 20 63 6f 6e 73 74 28 50 61 72 61 6d ride const(Param
2420: 65 74 65 72 5b 5d 29 20 70 61 72 61 6d 73 28 29 eter[]) params()
2430: 20 7b 20 72 65 74 75 72 6e 20 70 61 72 61 6d 73 { return params
2440: 5f 64 61 74 61 3b 20 7d 0d 0a 09 09 09 6f 76 65 _data; }.....ove
2450: 72 72 69 64 65 20 54 61 62 6c 65 20 64 65 66 69 rride Table defi
2460: 6e 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 20 nitionContext()
2470: 7b 20 72 65 74 75 72 6e 20 6e 65 77 20 54 61 62 { return new Tab
2480: 6c 65 3b 20 7d 20 2f 2f 20 74 6f 64 6f 3a 20 63 le; } // todo: c
2490: 61 63 68 65 0d 0a 09 09 09 74 68 69 73 28 29 7b ache.....this(){
24a0: 0d 0a 09 09 09 09 66 6f 72 65 61 63 68 28 69 2c ......foreach(i,
24b0: 20 54 69 3b 20 54 29 0d 0a 09 09 09 09 09 70 61 Ti; T).......pa
24c0: 72 61 6d 73 5f 64 61 74 61 20 7e 3d 20 6e 65 77 rams_data ~= new
24d0: 20 50 61 72 61 6d 65 74 65 72 28 74 65 78 74 28 Parameter(text(
24e0: 69 29 2c 20 5b 5d 29 3b 0d 0a 09 09 09 7d 0d 0a i), []);.....}..
24f0: 09 09 09 6f 76 65 72 72 69 64 65 20 56 61 6c 75 ...override Valu
2500: 65 20 69 6e 76 6f 6b 65 28 4c 65 78 50 6f 73 69 e invoke(LexPosi
2510: 74 69 6f 6e 20 70 6f 73 2c 20 4c 61 79 65 72 20 tion pos, Layer
2520: 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 29 0d lay, Table ctx).
2530: 0a 09 09 09 7b 0d 0a 09 09 09 09 69 66 28 20 6c ....{......if( l
2540: 61 79 20 21 3d 20 56 61 6c 75 65 4c 61 79 65 72 ay != ValueLayer
2550: 20 29 0d 0a 09 09 09 09 09 74 68 72 6f 77 20 67 ).......throw g
2560: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
2570: 70 74 69 6f 6e 28 70 6f 73 2c 20 22 6f 6e 6c 79 ption(pos, "only
2580: 20 22 7e 56 61 6c 75 65 4c 61 79 65 72 7e 22 20 "~ValueLayer~"
2590: 6c 61 79 65 72 20 63 61 6e 20 63 61 6c 6c 20 6e layer can call n
25a0: 61 74 69 76 65 20 66 75 6e 63 74 69 6f 6e 22 29 ative function")
25b0: 3b 0d 0a 09 09 09 09 54 20 74 79 70 65 64 5f 61 ;......T typed_a
25c0: 72 67 73 3b 0d 0a 09 09 09 09 66 6f 72 65 61 63 rgs;......foreac
25d0: 68 28 69 2c 20 54 69 3b 20 54 29 20 7b 0d 0a 09 h(i, Ti; T) {...
25e0: 09 09 09 09 74 79 70 65 64 5f 61 72 67 73 5b 69 ....typed_args[i
25f0: 5d 20 3d 20 63 61 73 74 28 54 69 29 20 63 74 78 ] = cast(Ti) ctx
2600: 2e 67 65 74 28 74 65 78 74 28 69 29 2c 20 56 61 .get(text(i), Va
2610: 6c 75 65 4c 61 79 65 72 29 3b 0d 0a 09 09 09 09 lueLayer);......
2620: 09 69 66 28 20 74 79 70 65 64 5f 61 72 67 73 5b .if( typed_args[
2630: 69 5d 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 i] is null )....
2640: 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
2650: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
2660: 28 70 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 74 (pos, sprintf!"t
2670: 79 70 65 20 6d 69 73 6d 61 74 63 68 20 6f 6e 20 ype mismatch on
2680: 74 68 65 20 61 72 67 75 6d 65 6e 74 20 25 64 22 the argument %d"
2690: 28 69 2b 31 29 29 3b 0d 0a 09 09 09 09 7d 0d 0a (i+1));......}..
26a0: 09 09 09 09 74 72 79 20 7b 0d 0a 09 09 09 09 09 ....try {.......
26b0: 72 65 74 75 72 6e 20 64 67 28 74 79 70 65 64 5f return dg(typed_
26c0: 61 72 67 73 29 3b 0d 0a 09 09 09 09 7d 20 63 61 args);......} ca
26d0: 74 63 68 28 20 52 75 6e 74 69 6d 65 45 78 63 65 tch( RuntimeExce
26e0: 70 74 69 6f 6e 20 65 20 29 20 7b 0d 0a 09 09 09 ption e ) {.....
26f0: 09 09 74 68 72 6f 77 20 65 2e 70 6f 73 20 69 73 ..throw e.pos is
2700: 20 6e 75 6c 6c 20 3f 20 6e 65 77 20 52 75 6e 74 null ? new Runt
2710: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 imeException(pos
2720: 2c 20 65 2e 6d 73 67 2c 20 65 2e 66 69 6c 65 2c , e.msg, e.file,
2730: 20 65 2e 6c 69 6e 65 29 20 3a 20 65 3b 0d 0a 09 e.line) : e;...
2740: 09 09 09 7d 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d ...}.....}....}.
2750: 0a 09 09 74 68 65 43 6f 6e 74 65 78 74 2e 73 65 ...theContext.se
2760: 74 28 6e 61 6d 65 2c 20 6c 61 79 2c 20 6e 65 77 t(name, lay, new
2770: 20 4e 61 74 69 76 65 46 75 6e 56 61 6c 75 65 29 NativeFunValue)
2780: 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 76 65 72 73 ;...}..}....vers
2790: 69 6f 6e 28 75 6e 69 74 74 65 73 74 29 20 69 6d ion(unittest) im
27a0: 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 72 75 6e 74 port polemy.runt
27b0: 69 6d 65 3b 0d 0a 75 6e 69 74 74 65 73 74 0d 0a ime;..unittest..
27c0: 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e 65 77 {...auto e = new
27d0: 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e Evaluator;...en
27e0: 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 61 rollRuntimeLibra
27f0: 72 79 28 65 29 3b 0d 0a 09 61 75 74 6f 20 72 20 ry(e);...auto r
2800: 3d 20 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 = assert_nothrow
2810: 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 ( e.evalString(`
2820: 76 61 72 20 78 20 3d 20 32 31 3b 20 78 20 2b 20 var x = 21; x +
2830: 78 2a 78 3b 60 29 20 29 3b 0d 0a 09 61 73 73 65 x*x;`) );...asse
2840: 72 74 5f 65 71 28 20 72 2c 20 6e 65 77 20 49 6e rt_eq( r, new In
2850: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 32 31 tValue(BigInt(21
2860: 2b 32 31 2a 32 31 29 29 20 29 3b 0d 0a 09 61 73 +21*21)) );...as
2870: 73 65 72 74 5f 65 71 28 20 65 2e 67 6c 6f 62 61 sert_eq( e.globa
2880: 6c 43 6f 6e 74 65 78 74 2e 67 65 74 28 22 78 22 lContext.get("x"
2890: 2c 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 ,ValueLayer), ne
28a0: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
28b0: 74 28 32 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 t(21)) );...asse
28c0: 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 2e 67 6c rt_nothrow( e.gl
28d0: 6f 62 61 6c 43 6f 6e 74 65 78 74 2e 67 65 74 28 obalContext.get(
28e0: 22 78 22 2c 56 61 6c 75 65 4c 61 79 65 72 29 20 "x",ValueLayer)
28f0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
2900: 77 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 w!RuntimeExcepti
2910: 6f 6e 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74 on( e.globalCont
2920: 65 78 74 2e 67 65 74 28 22 79 22 2c 56 61 6c 75 ext.get("y",Valu
2930: 65 4c 61 79 65 72 29 20 29 3b 0d 0a 7d 0d 0a 75 eLayer) );..}..u
2940: 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 nittest..{...aut
2950: 6f 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75 61 o e = new Evalua
2960: 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75 6e tor;...enrollRun
2970: 74 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b 0d timeLibrary(e);.
2980: 0a 09 61 75 74 6f 20 72 20 3d 20 61 73 73 65 72 ..auto r = asser
2990: 74 5f 6e 6f 74 68 72 6f 77 28 20 65 2e 65 76 61 t_nothrow( e.eva
29a0: 6c 53 74 72 69 6e 67 28 60 76 61 72 20 78 20 3d lString(`var x =
29b0: 20 32 31 3b 20 76 61 72 20 78 20 3d 20 78 20 2b 21; var x = x +
29c0: 20 78 2a 78 3b 60 29 20 29 3b 0d 0a 09 61 73 73 x*x;`) );...ass
29d0: 65 72 74 5f 65 71 28 20 72 2c 20 6e 65 77 20 49 ert_eq( r, new I
29e0: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 32 ntValue(BigInt(2
29f0: 31 2b 32 31 2a 32 31 29 29 20 29 3b 0d 0a 09 61 1+21*21)) );...a
2a00: 73 73 65 72 74 5f 65 71 28 20 65 2e 67 6c 6f 62 ssert_eq( e.glob
2a10: 61 6c 43 6f 6e 74 65 78 74 2e 67 65 74 28 22 78 alContext.get("x
2a20: 22 2c 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e ",ValueLayer), n
2a30: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
2a40: 6e 74 28 32 31 2b 32 31 2a 32 31 29 29 20 29 3b nt(21+21*21)) );
2a50: 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f ...assert_nothro
2a60: 77 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74 65 w( e.globalConte
2a70: 78 74 2e 67 65 74 28 22 78 22 2c 56 61 6c 75 65 xt.get("x",Value
2a80: 4c 61 79 65 72 29 20 29 3b 0d 0a 09 61 73 73 65 Layer) );...asse
2a90: 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 rt_throw!Runtime
2aa0: 45 78 63 65 70 74 69 6f 6e 28 20 65 2e 67 6c 6f Exception( e.glo
2ab0: 62 61 6c 43 6f 6e 74 65 78 74 2e 67 65 74 28 22 balContext.get("
2ac0: 79 22 2c 56 61 6c 75 65 4c 61 79 65 72 29 20 29 y",ValueLayer) )
2ad0: 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0d 0a ;..}..unittest..
2ae0: 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e 65 77 {...auto e = new
2af0: 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e Evaluator;...en
2b00: 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 61 rollRuntimeLibra
2b10: 72 79 28 65 29 3b 0d 0a 09 61 73 73 65 72 74 5f ry(e);...assert_
2b20: 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 eq( e.evalString
2b30: 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 79 (`let x=1; let y
2b40: 3d 28 6c 65 74 20 78 3d 32 29 3b 20 78 60 29 2c =(let x=2); x`),
2b50: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
2b60: 67 49 6e 74 28 31 29 29 20 29 3b 20 0d 0a 09 61 gInt(1)) ); ...a
2b70: 73 73 65 72 74 5f 65 71 28 20 65 2e 65 76 61 6c ssert_eq( e.eval
2b80: 53 74 72 69 6e 67 28 60 6c 65 74 20 78 3d 31 3b String(`let x=1;
2b90: 20 6c 65 74 20 79 3d 28 6c 65 74 20 78 3d 32 3b let y=(let x=2;
2ba0: 66 75 6e 28 29 7b 78 7d 29 3b 20 79 28 29 60 29 fun(){x}); y()`)
2bb0: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
2bc0: 69 67 49 6e 74 28 32 29 29 20 29 3b 20 0d 0a 7d igInt(2)) ); ..}
2bd0: 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d ....unittest..{.
2be0: 0a 09 61 75 74 6f 20 65 20 3d 20 6e 65 77 20 45 ..auto e = new E
2bf0: 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f valuator;...enro
2c00: 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 61 72 79 llRuntimeLibrary
2c10: 28 65 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 (e);...assert_eq
2c20: 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 ( e.evalString(`
2c30: 40 61 20 78 3d 31 3b 20 40 62 20 78 3d 32 3b 20 @a x=1; @b x=2;
2c40: 40 61 28 78 29 60 29 2c 20 6e 65 77 20 49 6e 74 @a(x)`), new Int
2c50: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 Value(BigInt(1))
2c60: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
2c70: 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 40 e.evalString(`@
2c80: 61 20 78 3d 31 3b 20 40 62 20 78 3d 32 3b 20 40 a x=1; @b x=2; @
2c90: 62 28 78 29 60 29 2c 20 6e 65 77 20 49 6e 74 56 b(x)`), new IntV
2ca0: 61 6c 75 65 28 42 69 67 49 6e 74 28 32 29 29 20 alue(BigInt(2))
2cb0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
2cc0: 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60 6c 65 e.evalString(`le
2cd0: 74 20 78 3d 31 3b 20 6c 65 74 20 5f 20 3d 20 28 t x=1; let _ = (
2ce0: 40 61 20 78 3d 32 3b 32 29 3b 20 78 60 29 2c 20 @a x=2;2); x`),
2cf0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
2d00: 49 6e 74 28 31 29 29 20 29 3b 0d 0a 09 65 20 3d Int(1)) );...e =
2d10: 20 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d new Evaluator;.
2d20: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 54 ..assert_throw!T
2d30: 68 72 6f 77 61 62 6c 65 28 20 65 2e 65 76 61 6c hrowable( e.eval
2d40: 53 74 72 69 6e 67 28 60 6c 65 74 20 78 3d 31 3b String(`let x=1;
2d50: 20 6c 65 74 20 5f 20 3d 20 28 40 61 20 78 3d 32 let _ = (@a x=2
2d60: 3b 32 29 3b 20 40 61 28 78 29 60 29 20 29 3b 0d ;2); @a(x)`) );.
2d70: 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a .}....unittest..
2d80: 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e 65 77 {...auto e = new
2d90: 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e Evaluator;...en
2da0: 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 61 rollRuntimeLibra
2db0: 72 79 28 65 29 3b 0d 0a 09 61 73 73 65 72 74 5f ry(e);...assert_
2dc0: 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 eq( e.evalString
2dd0: 28 60 0d 0a 09 09 40 40 73 28 78 29 7b 78 7d 3b (`....@@s(x){x};
2de0: 0d 0a 09 09 40 73 20 22 2b 22 20 3d 20 66 75 6e ....@s "+" = fun
2df0: 28 78 2c 20 79 29 20 7b 40 76 61 6c 75 65 28 0d (x, y) {@value(.
2e00: 0a 09 09 09 40 73 28 78 29 20 2d 20 40 73 28 79 ....@s(x) - @s(y
2e10: 29 0d 0a 09 09 29 7d 3b 0d 0a 09 09 40 73 28 31 )....)};....@s(1
2e20: 20 2b 20 32 29 0d 0a 09 60 29 2c 20 6e 65 77 20 + 2)...`), new
2e30: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
2e40: 2d 31 29 29 20 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e -1)) );..}....un
2e50: 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f ittest..{...auto
2e60: 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75 61 74 e = new Evaluat
2e70: 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74 or;...enrollRunt
2e80: 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b 0d 0a imeLibrary(e);..
2e90: 09 61 73 73 65 72 74 5f 65 71 28 20 65 2e 65 76 .assert_eq( e.ev
2ea0: 61 6c 53 74 72 69 6e 67 28 60 0d 0a 40 40 33 28 alString(`..@@3(
2eb0: 78 29 7b 78 7d 3b 0d 0a 64 65 66 20 69 6e 63 72 x){x};..def incr
2ec0: 28 78 29 20 7b 20 78 2b 31 20 7d 3b 0d 0a 40 20 (x) { x+1 };..@
2ed0: 33 20 69 6e 63 72 28 78 29 20 7b 40 76 61 6c 75 3 incr(x) {@valu
2ee0: 65 28 20 69 66 28 40 20 33 28 78 29 2b 31 3c 20 e( if(@ 3(x)+1<
2ef0: 33 29 7b 40 20 33 28 78 29 2b 31 7d 65 6c 73 65 3){@ 3(x)+1}else
2f00: 7b 30 7d 20 29 7d 3b 0d 0a 64 65 66 20 66 62 28 {0} )};..def fb(
2f10: 6e 20 40 76 61 6c 75 65 20 40 33 29 20 7b 20 40 n @value @3) { @
2f20: 33 28 6e 29 20 7d 3b 0d 0a 66 62 28 69 6e 63 72 3(n) };..fb(incr
2f30: 28 69 6e 63 72 28 69 6e 63 72 28 30 29 29 29 29 (incr(incr(0))))
2f40: 0d 0a 09 60 29 2c 20 6e 65 77 20 49 6e 74 56 61 ...`), new IntVa
2f50: 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 20 29 lue(BigInt(0)) )
2f60: 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 ;..}....unittest
2f70: 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e ..{...auto e = n
2f80: 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 ew Evaluator;...
2f90: 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 enrollRuntimeLib
2fa0: 72 61 72 79 28 65 29 3b 0d 0a 09 61 73 73 65 72 rary(e);...asser
2fb0: 74 5f 6e 6f 74 68 72 6f 77 28 20 65 2e 65 76 61 t_nothrow( e.eva
2fc0: 6c 53 74 72 69 6e 67 28 60 0d 0a 40 6d 61 63 72 lString(`..@macr
2fd0: 6f 20 74 77 69 63 65 28 78 29 20 7b 20 78 3b 20 o twice(x) { x;
2fe0: 78 20 7d 3b 0d 0a 64 65 66 20 6d 61 69 6e 28 29 x };..def main()
2ff0: 20 7b 20 74 77 69 63 65 28 31 29 20 7d 3b 0d 0a { twice(1) };..
3000: 6d 61 69 6e 28 29 0d 0a 09 60 29 20 29 3b 0d 0a main()...`) );..
3010: 7d 0d 0a 2f 2a 0d 0a 75 6e 69 74 74 65 73 74 0d }../*..unittest.
3020: 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 .{...assert_eq(
3030: 65 76 61 6c 53 74 72 69 6e 67 28 60 76 61 72 20 evalString(`var
3040: 66 61 63 20 3d 20 66 75 6e 28 78 29 7b 0d 0a 09 fac = fun(x){...
3050: 09 69 66 28 78 29 0d 0a 09 09 09 7b 20 78 2a 66 .if(x).....{ x*f
3060: 61 63 28 78 2d 31 29 3b 20 7d 0d 0a 09 09 65 6c ac(x-1); }....el
3070: 73 65 0d 0a 09 09 09 7b 20 31 3b 20 7d 3b 0d 0a se.....{ 1; };..
3080: 09 7d 3b 0d 0a 09 66 61 63 28 31 30 29 3b 60 29 .};...fac(10);`)
3090: 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c .val, new IntVal
30a0: 75 65 28 42 69 67 49 6e 74 28 31 30 2a 39 2a 38 ue(BigInt(10*9*8
30b0: 2a 35 30 34 30 29 29 29 3b 0d 0a 09 61 73 73 65 *5040)));...asse
30c0: 72 74 5f 65 71 28 20 65 76 61 6c 53 74 72 69 6e rt_eq( evalStrin
30d0: 67 28 60 76 61 72 20 66 69 62 20 3d 20 66 75 6e g(`var fib = fun
30e0: 28 78 29 7b 0d 0a 09 09 69 66 28 78 3c 32 29 0d (x){....if(x<2).
30f0: 0a 09 09 09 7b 20 31 3b 20 7d 0d 0a 09 09 65 6c ....{ 1; }....el
3100: 73 65 0d 0a 09 09 09 7b 20 66 69 62 28 78 2d 31 se.....{ fib(x-1
3110: 29 20 2b 20 66 69 62 28 78 2d 32 29 3b 20 7d 3b ) + fib(x-2); };
3120: 0d 0a 09 7d 3b 0d 0a 09 66 69 62 28 35 29 3b 60 ...};...fib(5);`
3130: 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 ).val, new IntVa
3140: 6c 75 65 28 42 69 67 49 6e 74 28 38 29 29 29 3b lue(BigInt(8)));
3150: 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b ..}..unittest..{
3160: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 76 ...assert_eq( ev
3170: 61 6c 53 74 72 69 6e 67 28 60 40 40 74 20 3d 20 alString(`@@t =
3180: 66 75 6e 28 78 29 7b 78 2b 31 7d 3b 20 40 74 28 fun(x){x+1}; @t(
3190: 31 32 33 29 60 29 2e 76 61 6c 2c 20 6e 65 77 20 123)`).val, new
31a0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
31b0: 31 32 34 29 29 20 29 3b 0d 0a 09 2f 2f 20 74 68 124)) );...// th
31c0: 65 72 65 20 77 61 73 20 61 20 62 75 67 20 74 68 ere was a bug th
31d0: 61 74 20 64 65 63 6c 61 72 61 74 69 6f 6e 20 69 at declaration i
31e0: 6e 20 74 68 65 20 66 69 72 73 74 20 6c 69 6e 65 n the first line
31f0: 20 6f 66 20 66 75 6e 63 74 69 6f 6e 20 64 65 66 of function def
3200: 69 6e 69 74 69 6f 6e 0d 0a 09 2f 2f 20 63 61 6e inition...// can
3210: 6e 6f 74 20 62 65 20 72 65 63 75 72 73 69 76 65 not be recursive
3220: 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f ...assert_nothro
3230: 77 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 64 w( evalString(`d
3240: 65 66 20 66 6f 6f 28 29 20 7b 0d 0a 20 20 64 65 ef foo() {.. de
3250: 66 20 62 61 72 28 79 29 20 7b 20 69 66 28 79 3c f bar(y) { if(y<
3260: 31 29 20 7b 30 7d 20 65 6c 73 65 20 7b 62 61 72 1) {0} else {bar
3270: 28 30 29 7d 20 7d 3b 0d 0a 20 20 62 61 72 28 31 (0)} };.. bar(1
3280: 29 0d 0a 7d 3b 20 66 6f 6f 28 29 60 29 20 29 3b )..}; foo()`) );
3290: 0d 0a 7d 0d 0a 2a 2f 0d 0a ..}..*/..