Hex Artifact Content
Not logged in

Artifact 0386a7dd31807f874b171fecf43c2d9cfc2c9ee5:


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 52 75 6e 74 69 6d 65 20 64 61  *.. * Runtime da
0060: 74 61 20 73 74 72 75 63 74 75 72 65 73 20 66 6f  ta structures fo
0070: 72 20 50 6f 6c 65 6d 79 20 70 72 6f 67 72 61 6d  r Polemy program
0080: 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65 2e 0d 0a  ming language...
0090: 20 2a 2f 0d 0a 6d 6f 64 75 6c 65 20 70 6f 6c 65   */..module pole
00a0: 6d 79 2e 76 61 6c 75 65 3b 0d 0a 69 6d 70 6f 72  my.value;..impor
00b0: 74 20 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f 6e  t polemy._common
00c0: 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79  ;..import polemy
00d0: 2e 66 61 69 6c 75 72 65 3b 0d 0a 69 6d 70 6f 72  .failure;..impor
00e0: 74 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0d 0a 69  t polemy.ast;..i
00f0: 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 6c 61 79  mport polemy.lay
0100: 65 72 3b 0d 0a 0d 0a 2f 2f 2f 20 52 75 6e 74 69  er;..../// Runti
0110: 6d 65 20 76 61 6c 75 65 73 20 6f 66 20 50 6f 6c  me values of Pol
0120: 65 6d 79 0d 0a 0d 0a 61 62 73 74 72 61 63 74 20  emy....abstract 
0130: 63 6c 61 73 73 20 56 61 6c 75 65 0d 0a 7b 0d 0a  class Value..{..
0140: 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20  }....///..class 
0150: 49 6e 74 56 61 6c 75 65 20 3a 20 56 61 6c 75 65  IntValue : Value
0160: 0d 0a 7b 0d 0a 09 42 69 67 49 6e 74 20 64 61 74  ..{...BigInt dat
0170: 61 3b 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 6d  a;.....mixin Sim
0180: 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 6f 76 65 72  pleClass;...over
0190: 72 69 64 65 20 73 74 72 69 6e 67 20 74 6f 53 74  ride string toSt
01a0: 72 69 6e 67 28 29 20 63 6f 6e 73 74 20 7b 20 72  ring() const { r
01b0: 65 74 75 72 6e 20 73 74 64 2e 62 69 67 69 6e 74  eturn std.bigint
01c0: 2e 74 6f 44 65 63 69 6d 61 6c 53 74 72 69 6e 67  .toDecimalString
01d0: 28 63 61 73 74 28 42 69 67 49 6e 74 29 64 61 74  (cast(BigInt)dat
01e0: 61 29 3b 20 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d  a); }..}....///.
01f0: 0a 63 6c 61 73 73 20 53 74 72 56 61 6c 75 65 20  .class StrValue 
0200: 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 73 74 72  : Value..{...str
0210: 69 6e 67 20 64 61 74 61 3b 0d 0a 0d 0a 09 6d 69  ing data;.....mi
0220: 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b  xin SimpleClass;
0230: 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 74 72 69  ...override stri
0240: 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 20 63 6f  ng toString() co
0250: 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 64 61 74  nst { return dat
0260: 61 3b 20 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a  a; }..}....///..
0270: 63 6c 61 73 73 20 55 6e 64 56 61 6c 75 65 20 3a  class UndValue :
0280: 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 6d 69 78 69   Value..{...mixi
0290: 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a  n SimpleClass;..
02a0: 09 6f 76 65 72 72 69 64 65 20 73 74 72 69 6e 67  .override string
02b0: 20 74 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e 73   toString() cons
02c0: 74 20 7b 20 72 65 74 75 72 6e 20 22 3c 75 6e 64  t { return "<und
02d0: 65 66 69 6e 65 64 3e 22 3b 20 7d 0d 0a 7d 0d 0a  efined>"; }..}..
02e0: 0d 0a 0d 0a 2f 2f 2f 0d 0a 61 62 73 74 72 61 63  ....///..abstrac
02f0: 74 20 63 6c 61 73 73 20 46 75 6e 56 61 6c 75 65  t class FunValue
0300: 20 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 63 6f   : Value..{...co
0310: 6e 73 74 28 50 61 72 61 6d 65 74 65 72 5b 5d 29  nst(Parameter[])
0320: 20 70 61 72 61 6d 73 28 29 3b 0d 0a 09 54 61 62   params();...Tab
0330: 6c 65 20 64 65 66 69 6e 69 74 69 6f 6e 43 6f 6e  le definitionCon
0340: 74 65 78 74 28 29 3b 0d 0a 09 56 61 6c 75 65 20  text();...Value 
0350: 69 6e 76 6f 6b 65 28 69 6e 20 4c 65 78 50 6f 73  invoke(in LexPos
0360: 69 74 69 6f 6e 20 70 6f 73 2c 20 4c 61 79 65 72  ition pos, Layer
0370: 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 29   lay, Table ctx)
0380: 3b 0d 0a 7d 0d 0a 0d 0a 69 6d 70 6f 72 74 20 70  ;..}....import p
0390: 6f 6c 65 6d 79 2e 65 76 61 6c 3b 20 2f 2f 20 63  olemy.eval; // c
03a0: 69 72 63 75 6c 61 72 2e 2e 2e 0d 0a 76 65 72 73  ircular.....vers
03b0: 69 6f 6e 20 3d 20 4d 61 63 72 6f 43 61 63 68 65  ion = MacroCache
03c0: 3b 0d 0a 2f 2f 76 65 72 73 69 6f 6e 20 3d 20 41  ;..//version = A
03d0: 75 74 6f 4d 65 6d 6f 69 7a 61 74 69 6f 6e 3b 0d  utoMemoization;.
03e0: 0a 2f 2f 76 65 72 73 69 6f 6e 20 3d 20 41 75 74  .//version = Aut
03f0: 6f 52 65 72 75 6e 3b 0d 0a 0d 0a 2f 2f 2f 0d 0a  oRerun;....///..
0400: 63 6c 61 73 73 20 55 73 65 72 44 65 66 69 6e 65  class UserDefine
0410: 64 46 75 6e 56 61 6c 75 65 20 3a 20 46 75 6e 56  dFunValue : FunV
0420: 61 6c 75 65 0d 0a 7b 0d 0a 09 46 75 6e 4c 69 74  alue..{...FunLit
0430: 65 72 61 6c 20 61 73 74 3b 0d 0a 09 54 61 62 6c  eral ast;...Tabl
0440: 65 20 20 20 20 20 20 64 65 66 43 74 78 3b 0d 0a  e      defCtx;..
0450: 0d 0a 09 74 68 69 73 28 46 75 6e 4c 69 74 65 72  ...this(FunLiter
0460: 61 6c 20 61 73 74 2c 20 54 61 62 6c 65 20 64 65  al ast, Table de
0470: 66 43 74 78 29 20 7b 20 74 68 69 73 2e 61 73 74  fCtx) { this.ast
0480: 3d 61 73 74 3b 20 74 68 69 73 2e 64 65 66 43 74  =ast; this.defCt
0490: 78 3d 64 65 66 43 74 78 3b 20 7d 0d 0a 09 6f 76  x=defCtx; }...ov
04a0: 65 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 6f  erride string to
04b0: 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 20 7b  String() const {
04c0: 20 72 65 74 75 72 6e 20 73 70 72 69 6e 74 66 21   return sprintf!
04d0: 22 28 66 75 6e 63 74 69 6f 6e 3a 25 78 3a 25 78  "(function:%x:%x
04e0: 29 22 28 63 61 73 74 28 76 6f 69 64 2a 29 61 73  )"(cast(void*)as
04f0: 74 2c 20 63 61 73 74 28 76 6f 69 64 2a 29 64 65  t, cast(void*)de
0500: 66 43 74 78 29 3b 20 7d 0d 0a 09 6f 76 65 72 72  fCtx); }...overr
0510: 69 64 65 20 62 6f 6f 6c 20 6f 70 45 71 75 61 6c  ide bool opEqual
0520: 73 28 4f 62 6a 65 63 74 20 72 68 73 5f 29 20 63  s(Object rhs_) c
0530: 6f 6e 73 74 20 2f 2f 2f 20 6d 65 6d 62 65 72 2d  onst /// member-
0540: 62 79 2d 6d 65 6d 62 65 72 20 65 71 75 61 6c 69  by-member equali
0550: 74 79 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 61 75  ty...{....if( au
0560: 74 6f 20 72 68 73 20 3d 20 63 61 73 74 28 74 79  to rhs = cast(ty
0570: 70 65 6f 66 28 74 68 69 73 29 29 72 68 73 5f 20  peof(this))rhs_ 
0580: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 68 69  ).....return thi
0590: 73 2e 61 73 74 3d 3d 72 68 73 2e 61 73 74 20 26  s.ast==rhs.ast &
05a0: 26 20 74 68 69 73 2e 64 65 66 43 74 78 3d 3d 72  & this.defCtx==r
05b0: 68 73 2e 64 65 66 43 74 78 3b 0d 0a 09 09 61 73  hs.defCtx;....as
05c0: 73 65 72 74 28 66 61 6c 73 65 2c 20 73 70 72 69  sert(false, spri
05d0: 6e 74 66 21 22 43 61 6e 6e 6f 74 20 63 6f 6d 70  ntf!"Cannot comp
05e0: 61 72 65 20 25 73 20 77 69 74 68 20 25 73 22 28  are %s with %s"(
05f0: 74 79 70 65 69 64 28 74 68 69 73 29 2c 20 74 79  typeid(this), ty
0600: 70 65 69 64 28 72 68 73 5f 29 29 29 3b 0d 0a 09  peid(rhs_)));...
0610: 7d 0d 0a 09 6f 76 65 72 72 69 64 65 20 68 61 73  }...override has
0620: 68 5f 74 20 74 6f 48 61 73 68 28 29 20 63 6f 6e  h_t toHash() con
0630: 73 74 20 2f 2f 2f 20 6d 65 6d 62 65 72 2d 62 79  st /// member-by
0640: 2d 6d 65 6d 62 65 72 20 68 61 73 68 0d 0a 09 7b  -member hash...{
0650: 0d 0a 09 09 72 65 74 75 72 6e 20 74 79 70 65 69  ....return typei
0660: 64 28 74 68 69 73 2e 61 73 74 29 2e 67 65 74 48  d(this.ast).getH
0670: 61 73 68 28 26 74 68 69 73 2e 61 73 74 29 20 2b  ash(&this.ast) +
0680: 20 74 79 70 65 69 64 28 74 68 69 73 2e 64 65 66   typeid(this.def
0690: 43 74 78 29 2e 67 65 74 48 61 73 68 28 26 74 68  Ctx).getHash(&th
06a0: 69 73 2e 64 65 66 43 74 78 29 3b 0d 0a 09 7d 0d  is.defCtx);...}.
06b0: 0a 09 6f 76 65 72 72 69 64 65 20 69 6e 74 20 6f  ..override int o
06c0: 70 43 6d 70 28 4f 62 6a 65 63 74 20 72 68 73 5f  pCmp(Object rhs_
06d0: 29 20 2f 2f 2f 20 6d 65 6d 62 65 72 2d 62 79 2d  ) /// member-by-
06e0: 6d 65 6d 62 65 72 20 63 6f 6d 70 61 72 65 0d 0a  member compare..
06f0: 09 7b 0d 0a 09 09 69 66 28 20 61 75 74 6f 20 72  .{....if( auto r
0700: 68 73 20 3d 20 63 61 73 74 28 74 79 70 65 6f 66  hs = cast(typeof
0710: 28 74 68 69 73 29 29 72 68 73 5f 20 29 0d 0a 09  (this))rhs_ )...
0720: 09 7b 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 69  .{.....if(auto i
0730: 20 3d 20 74 68 69 73 2e 61 73 74 2e 6f 70 43 6d   = this.ast.opCm
0740: 70 28 72 68 73 2e 61 73 74 29 29 0d 0a 09 09 09  p(rhs.ast)).....
0750: 09 72 65 74 75 72 6e 20 69 3b 0d 0a 09 09 09 72  .return i;.....r
0760: 65 74 75 72 6e 20 74 68 69 73 2e 64 65 66 43 74  eturn this.defCt
0770: 78 2e 6f 70 43 6d 70 28 72 68 73 2e 64 65 66 43  x.opCmp(rhs.defC
0780: 74 78 29 3b 0d 0a 09 09 7d 0d 0a 09 09 61 73 73  tx);....}....ass
0790: 65 72 74 28 66 61 6c 73 65 2c 20 73 70 72 69 6e  ert(false, sprin
07a0: 74 66 21 22 43 61 6e 6e 6f 74 20 63 6f 6d 70 61  tf!"Cannot compa
07b0: 72 65 20 25 73 20 77 69 74 68 20 25 73 22 28 74  re %s with %s"(t
07c0: 79 70 65 69 64 28 74 68 69 73 29 2c 20 74 79 70  ypeid(this), typ
07d0: 65 69 64 28 72 68 73 5f 29 29 29 3b 0d 0a 09 7d  eid(rhs_)));...}
07e0: 0d 0a 0d 0a 09 70 72 69 76 61 74 65 20 41 53 54  .....private AST
07f0: 20 70 72 65 70 72 6f 63 65 73 73 65 64 5f 66 75   preprocessed_fu
0800: 6e 62 6f 64 79 3b 0d 0a 09 70 72 69 76 61 74 65  nbody;...private
0810: 20 56 61 6c 75 65 5b 56 61 6c 75 65 5b 5d 5d 5b   Value[Value[]][
0820: 4c 61 79 65 72 5d 20 6d 65 6d 6f 3b 0d 0a 0d 0a  Layer] memo;....
0830: 09 6f 76 65 72 72 69 64 65 20 63 6f 6e 73 74 28  .override const(
0840: 50 61 72 61 6d 65 74 65 72 5b 5d 29 20 70 61 72  Parameter[]) par
0850: 61 6d 73 28 29 20 7b 20 72 65 74 75 72 6e 20 61  ams() { return a
0860: 73 74 2e 70 61 72 61 6d 73 3b 20 7d 0d 0a 09 6f  st.params; }...o
0870: 76 65 72 72 69 64 65 20 54 61 62 6c 65 20 64 65  verride Table de
0880: 66 69 6e 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28  finitionContext(
0890: 29 20 7b 20 72 65 74 75 72 6e 20 64 65 66 43 74  ) { return defCt
08a0: 78 3b 20 7d 0d 0a 09 6f 76 65 72 72 69 64 65 20  x; }...override 
08b0: 56 61 6c 75 65 20 69 6e 76 6f 6b 65 28 69 6e 20  Value invoke(in 
08c0: 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c  LexPosition pos,
08d0: 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c   Layer lay, Tabl
08e0: 65 20 63 74 78 29 0d 0a 09 7b 0d 0a 09 09 2f 2f  e ctx)...{....//
08f0: 20 54 4f 44 4f 3a 20 6f 6e 6c 79 20 61 75 74 6f   TODO: only auto
0900: 20 72 61 69 73 65 64 20 6f 6e 65 73 20 6e 65 65   raised ones nee
0910: 64 20 6d 65 6d 6f 3f 20 6e 6f 3f 0d 0a 09 09 2f  d memo? no?..../
0920: 2f 20 68 6f 77 20 63 61 6e 20 77 65 20 69 6e 74  / how can we int
0930: 65 67 72 61 74 65 20 72 65 2d 72 75 6e 20 3f 3f  egrate re-run ??
0940: 0d 0a 09 09 76 65 72 73 69 6f 6e 28 41 75 74 6f  ....version(Auto
0950: 4d 65 6d 6f 69 7a 61 74 69 6f 6e 29 0d 0a 09 09  Memoization)....
0960: 7b 0d 0a 09 09 09 56 61 6c 75 65 5b 5d 20 6d 65  {.....Value[] me
0970: 6d 6f 6b 65 79 3b 0d 0a 09 09 09 69 66 28 20 6c  mokey;.....if( l
0980: 61 79 20 21 3d 20 56 61 6c 75 65 4c 61 79 65 72  ay != ValueLayer
0990: 20 26 26 20 6c 61 79 20 21 3d 20 4d 61 63 72 6f   && lay != Macro
09a0: 4c 61 79 65 72 20 29 0d 0a 09 09 09 7b 0d 0a 09  Layer ).....{...
09b0: 09 09 09 66 6f 72 65 61 63 68 28 69 2c 70 3b 20  ...foreach(i,p; 
09c0: 61 73 74 2e 70 61 72 61 6d 73 29 0d 0a 09 09 09  ast.params).....
09d0: 09 09 6d 65 6d 6f 6b 65 79 20 7e 3d 20 63 74 78  ..memokey ~= ctx
09e0: 2e 67 65 74 28 70 2e 6e 61 6d 65 2c 20 6c 61 79  .get(p.name, lay
09f0: 29 3b 20 2f 2f 20 6c 61 79 3f 0d 0a 09 09 09 09  ); // lay?......
0a00: 69 66 28 20 61 75 74 6f 20 6d 65 6d 6f 6c 61 79  if( auto memolay
0a10: 20 3d 20 6c 61 79 20 69 6e 20 6d 65 6d 6f 20 29   = lay in memo )
0a20: 0d 0a 09 09 09 09 09 69 66 28 20 61 75 74 6f 20  .......if( auto 
0a30: 70 76 20 3d 20 6d 65 6d 6f 6b 65 79 20 69 6e 20  pv = memokey in 
0a40: 2a 6d 65 6d 6f 6c 61 79 20 29 0d 0a 09 09 09 09  *memolay )......
0a50: 09 09 72 65 74 75 72 6e 20 2a 70 76 3b 0d 0a 09  ..return *pv;...
0a60: 09 09 09 6d 65 6d 6f 5b 6c 61 79 5d 5b 6d 65 6d  ...memo[lay][mem
0a70: 6f 6b 65 79 5d 20 3d 20 6c 69 66 74 28 61 73 74  okey] = lift(ast
0a80: 2e 70 6f 73 2c 6e 65 77 20 55 6e 64 56 61 6c 75  .pos,new UndValu
0a90: 65 2c 6c 61 79 2c 63 74 78 29 3b 0d 0a 09 09 09  e,lay,ctx);.....
0aa0: 7d 0d 0a 09 09 7d 0d 0a 0d 0a 09 09 2f 2f 20 40  }....}......// @
0ab0: 6d 61 63 72 6f 20 72 75 6e 21 21 21 0d 0a 09 09  macro run!!!....
0ac0: 69 66 28 20 6c 61 79 20 3d 3d 20 4d 61 63 72 6f  if( lay == Macro
0ad0: 4c 61 79 65 72 20 29 0d 0a 09 09 09 72 65 74 75  Layer ).....retu
0ae0: 72 6e 20 6d 61 63 72 6f 45 76 61 6c 28 61 73 74  rn macroEval(ast
0af0: 2e 66 75 6e 62 6f 64 79 2c 20 63 74 78 2c 20 66  .funbody, ctx, f
0b00: 61 6c 73 65 29 3b 0d 0a 0d 0a 09 09 76 65 72 73  alse);......vers
0b10: 69 6f 6e 28 4d 61 63 72 6f 43 61 63 68 65 29 20  ion(MacroCache) 
0b20: 7b 0d 0a 09 09 09 69 66 28 20 70 72 65 70 72 6f  {.....if( prepro
0b30: 63 65 73 73 65 64 5f 66 75 6e 62 6f 64 79 20 69  cessed_funbody i
0b40: 73 20 6e 75 6c 6c 20 29 20 7b 0d 0a 09 09 09 09  s null ) {......
0b50: 2f 2f 20 2e 70 72 6f 74 6f 74 79 70 65 21 2c 20  // .prototype!, 
0b60: 66 6f 72 63 65 64 20 6d 61 63 72 6f 20 63 61 6e  forced macro can
0b70: 6e 6f 74 20 61 63 63 65 73 73 20 70 61 72 61 6d  not access param
0b80: 65 74 65 72 73 0d 0a 09 09 09 09 63 74 78 2e 6b  eters......ctx.k
0b90: 69 6c 6c 20 3d 20 74 72 75 65 3b 20 73 63 6f 70  ill = true; scop
0ba0: 65 28 65 78 69 74 29 63 74 78 2e 6b 69 6c 6c 3d  e(exit)ctx.kill=
0bb0: 66 61 6c 73 65 3b 0d 0a 09 09 09 09 70 72 65 70  false;......prep
0bc0: 72 6f 63 65 73 73 65 64 5f 66 75 6e 62 6f 64 79  rocessed_funbody
0bd0: 20 3d 20 74 61 62 6c 65 54 6f 41 53 54 28 56 61   = tableToAST(Va
0be0: 6c 75 65 4c 61 79 65 72 2c 6d 61 63 72 6f 45 76  lueLayer,macroEv
0bf0: 61 6c 28 61 73 74 2e 66 75 6e 62 6f 64 79 2c 20  al(ast.funbody, 
0c00: 63 74 78 2c 20 74 72 75 65 29 29 3b 0d 0a 09 09  ctx, true));....
0c10: 09 7d 0d 0a 09 09 7d 20 65 6c 73 65 20 7b 0d 0a  .}....} else {..
0c20: 09 09 09 69 66 28 20 70 72 65 70 72 6f 63 65 73  ...if( preproces
0c30: 73 65 64 5f 66 75 6e 62 6f 64 79 20 69 73 20 6e  sed_funbody is n
0c40: 75 6c 6c 20 29 20 7b 0d 0a 09 09 09 09 2f 2f 20  ull ) {......// 
0c50: 2e 70 72 6f 74 6f 74 79 70 65 21 2c 20 66 6f 72  .prototype!, for
0c60: 63 65 64 20 6d 61 63 72 6f 20 63 61 6e 6e 6f 74  ced macro cannot
0c70: 20 61 63 63 65 73 73 20 70 61 72 61 6d 65 74 65   access paramete
0c80: 72 73 0d 0a 09 09 09 09 63 74 78 2e 6b 69 6c 6c  rs......ctx.kill
0c90: 20 3d 20 74 72 75 65 3b 20 73 63 6f 70 65 28 65   = true; scope(e
0ca0: 78 69 74 29 63 74 78 2e 6b 69 6c 6c 3d 66 61 6c  xit)ctx.kill=fal
0cb0: 73 65 3b 0d 0a 09 09 09 09 70 72 65 70 72 6f 63  se;......preproc
0cc0: 65 73 73 65 64 5f 66 75 6e 62 6f 64 79 20 3d 20  essed_funbody = 
0cd0: 74 61 62 6c 65 54 6f 41 53 54 28 56 61 6c 75 65  tableToAST(Value
0ce0: 4c 61 79 65 72 2c 6d 61 63 72 6f 45 76 61 6c 28  Layer,macroEval(
0cf0: 61 73 74 2e 66 75 6e 62 6f 64 79 2c 20 63 74 78  ast.funbody, ctx
0d00: 2c 20 74 72 75 65 29 29 3b 0d 0a 09 09 09 7d 0d  , true));.....}.
0d10: 0a 09 09 7d 0d 0a 0d 0a 09 09 61 75 74 6f 20 76  ...}......auto v
0d20: 20 3d 20 65 76 61 6c 28 70 72 65 70 72 6f 63 65   = eval(preproce
0d30: 73 73 65 64 5f 66 75 6e 62 6f 64 79 2c 20 63 74  ssed_funbody, ct
0d40: 78 2c 20 74 72 75 65 2c 20 6c 61 79 29 3b 0d 0a  x, true, lay);..
0d50: 09 09 76 65 72 73 69 6f 6e 28 41 75 74 6f 4d 65  ..version(AutoMe
0d60: 6d 6f 69 7a 61 74 69 6f 6e 29 0d 0a 09 09 7b 0d  moization)....{.
0d70: 0a 09 09 09 69 66 28 20 6c 61 79 20 21 3d 20 56  ....if( lay != V
0d80: 61 6c 75 65 4c 61 79 65 72 20 26 26 20 6c 61 79  alueLayer && lay
0d90: 20 21 3d 20 4d 61 63 72 6f 4c 61 79 65 72 20 29   != MacroLayer )
0da0: 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 6d 65 6d 6f  .....{......memo
0db0: 5b 6c 61 79 5d 5b 6d 65 6d 6f 6b 65 79 5d 20 3d  [lay][memokey] =
0dc0: 20 76 3b 0d 0a 09 09 09 09 76 65 72 73 69 6f 6e   v;......version
0dd0: 28 41 75 74 6f 52 65 52 75 6e 29 0d 0a 09 09 09  (AutoReRun).....
0de0: 09 6d 65 6d 6f 5b 6c 61 79 5d 5b 6d 65 6d 6f 6b  .memo[lay][memok
0df0: 65 79 5d 20 3d 20 65 76 61 6c 28 70 72 65 70 72  ey] = eval(prepr
0e00: 6f 63 65 73 73 65 64 5f 66 75 6e 62 6f 64 79 2c  ocessed_funbody,
0e10: 20 63 74 78 2c 20 74 72 75 65 2c 20 6c 61 79 29   ctx, true, lay)
0e20: 3b 20 2f 2f 20 72 65 2d 52 75 6e 21 21 0d 0a 09  ; // re-Run!!...
0e30: 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75  ..}....}....retu
0e40: 72 6e 20 76 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a  rn v;...}..}....
0e50: 2f 2f 2f 0d 0a 61 62 73 74 72 61 63 74 20 63 6c  ///..abstract cl
0e60: 61 73 73 20 4e 61 74 69 76 65 46 75 6e 56 61 6c  ass NativeFunVal
0e70: 75 65 20 3a 20 46 75 6e 56 61 6c 75 65 0d 0a 7b  ue : FunValue..{
0e80: 0d 0a 09 50 61 72 61 6d 65 74 65 72 5b 5d 20 70  ...Parameter[] p
0e90: 61 72 61 6d 73 5f 64 61 74 61 3b 0d 0a 09 6f 76  arams_data;...ov
0ea0: 65 72 72 69 64 65 20 63 6f 6e 73 74 28 50 61 72  erride const(Par
0eb0: 61 6d 65 74 65 72 5b 5d 29 20 70 61 72 61 6d 73  ameter[]) params
0ec0: 28 29 20 7b 20 72 65 74 75 72 6e 20 70 61 72 61  () { return para
0ed0: 6d 73 5f 64 61 74 61 3b 20 7d 0d 0a 09 6f 76 65  ms_data; }...ove
0ee0: 72 72 69 64 65 20 54 61 62 6c 65 20 64 65 66 69  rride Table defi
0ef0: 6e 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 20  nitionContext() 
0f00: 7b 20 72 65 74 75 72 6e 20 6e 65 77 20 54 61 62  { return new Tab
0f10: 6c 65 3b 20 7d 20 2f 2f 20 74 6f 64 6f 3a 20 63  le; } // todo: c
0f20: 61 63 68 65 09 6f 76 65 72 72 69 65 0d 0a 7d 0d  ache.overrie..}.
0f30: 0a 0d 0a 2f 2f 2f 20 4e 61 6d 65 64 20 43 6f 6e  .../// Named Con
0f40: 73 74 72 75 63 74 6f 72 20 66 6f 72 20 46 75 6e  structor for Fun
0f50: 56 61 6c 75 65 0d 0a 0d 0a 46 75 6e 56 61 6c 75  Value....FunValu
0f60: 65 20 6e 61 74 69 76 65 28 52 2c 54 2e 2e 2e 29  e native(R,T...)
0f70: 28 52 20 64 65 6c 65 67 61 74 65 20 28 54 29 20  (R delegate (T) 
0f80: 64 67 29 0d 0a 7b 0d 0a 09 72 65 74 75 72 6e 20  dg)..{...return 
0f90: 6e 65 77 20 63 6c 61 73 73 20 4e 61 74 69 76 65  new class Native
0fa0: 46 75 6e 56 61 6c 75 65 20 7b 0d 0a 09 09 74 68  FunValue {....th
0fb0: 69 73 28 29 0d 0a 09 09 7b 0d 0a 09 09 09 66 6f  is()....{.....fo
0fc0: 72 65 61 63 68 28 69 2c 20 54 69 3b 20 54 29 0d  reach(i, Ti; T).
0fd0: 0a 09 09 09 09 70 61 72 61 6d 73 5f 64 61 74 61  .....params_data
0fe0: 20 7e 3d 20 6e 65 77 20 50 61 72 61 6d 65 74 65   ~= new Paramete
0ff0: 72 28 74 65 78 74 28 69 29 2c 20 5b 5d 29 3b 0d  r(text(i), []);.
1000: 0a 09 09 7d 0d 0a 09 09 6f 76 65 72 72 69 64 65  ...}....override
1010: 20 56 61 6c 75 65 20 69 6e 76 6f 6b 65 28 69 6e   Value invoke(in
1020: 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73   LexPosition pos
1030: 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62  , Layer lay, Tab
1040: 6c 65 20 63 74 78 29 0d 0a 09 09 7b 0d 0a 09 09  le ctx)....{....
1050: 09 69 66 28 20 6c 61 79 20 21 3d 20 56 61 6c 75  .if( lay != Valu
1060: 65 4c 61 79 65 72 20 29 0d 0a 09 09 09 09 74 68  eLayer )......th
1070: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d  row genex!Runtim
1080: 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20  eException(pos, 
1090: 22 6f 6e 6c 79 20 22 7e 56 61 6c 75 65 4c 61 79  "only "~ValueLay
10a0: 65 72 7e 22 20 6c 61 79 65 72 20 63 61 6e 20 63  er~" layer can c
10b0: 61 6c 6c 20 6e 61 74 69 76 65 20 66 75 6e 63 74  all native funct
10c0: 69 6f 6e 22 29 3b 0d 0a 09 09 09 54 20 74 79 70  ion");.....T typ
10d0: 65 64 5f 61 72 67 73 3b 0d 0a 09 09 09 66 6f 72  ed_args;.....for
10e0: 65 61 63 68 28 69 2c 20 54 69 3b 20 54 29 20 7b  each(i, Ti; T) {
10f0: 0d 0a 09 09 09 09 74 79 70 65 64 5f 61 72 67 73  ......typed_args
1100: 5b 69 5d 20 3d 20 63 61 73 74 28 54 69 29 20 63  [i] = cast(Ti) c
1110: 74 78 2e 67 65 74 28 74 65 78 74 28 69 29 2c 20  tx.get(text(i), 
1120: 56 61 6c 75 65 4c 61 79 65 72 29 3b 0d 0a 09 09  ValueLayer);....
1130: 09 09 69 66 28 20 74 79 70 65 64 5f 61 72 67 73  ..if( typed_args
1140: 5b 69 5d 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09  [i] is null )...
1150: 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21  ....throw genex!
1160: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e  RuntimeException
1170: 28 70 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 74  (pos, sprintf!"t
1180: 79 70 65 20 6d 69 73 6d 61 74 63 68 20 6f 6e 20  ype mismatch on 
1190: 74 68 65 20 61 72 67 75 6d 65 6e 74 20 25 64 22  the argument %d"
11a0: 28 69 2b 31 29 29 3b 0d 0a 09 09 09 7d 0d 0a 09  (i+1));.....}...
11b0: 09 09 74 72 79 20 7b 0d 0a 09 09 09 09 72 65 74  ..try {......ret
11c0: 75 72 6e 20 64 67 28 74 79 70 65 64 5f 61 72 67  urn dg(typed_arg
11d0: 73 29 3b 0d 0a 09 09 09 7d 20 63 61 74 63 68 28  s);.....} catch(
11e0: 20 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f   RuntimeExceptio
11f0: 6e 20 65 20 29 20 7b 0d 0a 09 09 09 09 74 68 72  n e ) {......thr
1200: 6f 77 20 65 2e 70 6f 73 20 69 73 20 6e 75 6c 6c  ow e.pos is null
1210: 20 3f 20 6e 65 77 20 52 75 6e 74 69 6d 65 45 78   ? new RuntimeEx
1220: 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 65 2e 6d  ception(pos, e.m
1230: 73 67 2c 20 65 2e 66 69 6c 65 2c 20 65 2e 6c 69  sg, e.file, e.li
1240: 6e 65 29 20 3a 20 65 3b 0d 0a 09 09 09 7d 0d 0a  ne) : e;.....}..
1250: 09 09 7d 0d 0a 09 7d 3b 0d 0a 7d 0d 0a 0d 0a 2f  ..}...};..}..../
1260: 2f 2f 20 43 6f 6e 74 65 78 74 20 28 76 61 72 69  // Context (vari
1270: 61 62 6c 65 20 65 6e 76 69 72 6f 6e 6d 65 6e 74  able environment
1280: 29 0d 0a 2f 2f 2f 20 53 69 6d 6c 61 72 20 74 6f  )../// Simlar to
1290: 20 70 72 6f 74 6f 74 79 70 65 20 63 68 61 69 6e   prototype chain
12a0: 20 6f 66 20 45 43 4d 41 53 63 72 69 70 74 20 65   of ECMAScript e
12b0: 74 63 2e 0d 0a 2f 2f 2f 20 42 75 74 20 65 78 74  tc.../// But ext
12c0: 65 6e 64 65 64 20 77 69 74 68 20 74 68 65 20 6e  ended with the n
12d0: 6f 74 69 6f 6e 20 6f 66 20 22 4c 61 79 65 72 22  otion of "Layer"
12e0: 0d 0a 0d 0a 63 6c 61 73 73 20 54 61 62 6c 65 20  ....class Table 
12f0: 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 65 6e 75  : Value..{...enu
1300: 6d 20 4b 69 6e 64 20 7b 50 72 6f 70 61 67 61 74  m Kind {Propagat
1310: 65 53 65 74 2c 20 4e 6f 74 50 72 6f 70 61 67 61  eSet, NotPropaga
1320: 74 65 53 65 74 7d 3b 0d 0a 09 62 6f 6f 6c 20 6b  teSet};...bool k
1330: 69 6c 6c 20 3d 20 66 61 6c 73 65 3b 20 2f 2f 20  ill = false; // 
1340: 74 6f 20 72 65 66 61 63 74 6f 72 0d 0a 0d 0a 09  to refactor.....
1350: 74 68 69 73 28 20 54 61 62 6c 65 20 70 72 6f 74  this( Table prot
1360: 6f 3d 6e 75 6c 6c 2c 20 4b 69 6e 64 20 6b 20 3d  o=null, Kind k =
1370: 20 4b 69 6e 64 2e 50 72 6f 70 61 67 61 74 65 53   Kind.PropagateS
1380: 65 74 20 29 0d 0a 09 09 7b 20 74 68 69 73 2e 70  et )....{ this.p
1390: 72 6f 74 6f 74 79 70 65 20 3d 20 70 72 6f 74 6f  rototype = proto
13a0: 3b 20 74 68 69 73 2e 6b 69 6e 64 20 3d 20 6b 3b  ; this.kind = k;
13b0: 20 7d 0d 0a 0d 0a 09 76 6f 69 64 20 73 65 74 28   }.....void set(
13c0: 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 20  string i, Layer 
13d0: 6c 61 79 2c 20 56 61 6c 75 65 20 76 2c 20 69 6e  lay, Value v, in
13e0: 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73   LexPosition pos
13f0: 3d 6e 75 6c 6c 29 0d 0a 09 7b 0d 0a 09 09 69 66  =null)...{....if
1400: 28 20 73 65 74 49 66 45 78 69 73 74 28 69 2c 20  ( setIfExist(i, 
1410: 6c 61 79 2c 20 76 29 20 29 0d 0a 09 09 09 72 65  lay, v) ).....re
1420: 74 75 72 6e 3b 0d 0a 09 09 64 61 74 61 5b 69 5d  turn;....data[i]
1430: 5b 6c 61 79 5d 20 3d 20 76 3b 0d 0a 09 7d 0d 0a  [lay] = v;...}..
1440: 0d 0a 09 62 6f 6f 6c 20 68 61 73 28 73 74 72 69  ...bool has(stri
1450: 6e 67 20 69 2c 20 4c 61 79 65 72 20 6c 61 79 2c  ng i, Layer lay,
1460: 20 69 6e 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20   in LexPosition 
1470: 70 6f 73 3d 6e 75 6c 6c 29 0d 0a 09 7b 0d 0a 09  pos=null)...{...
1480: 09 69 66 28 20 69 20 69 6e 20 64 61 74 61 20 29  .if( i in data )
1490: 20 7b 0d 0a 09 09 09 69 66 28 20 6c 61 79 20 21   {.....if( lay !
14a0: 69 6e 20 64 61 74 61 5b 69 5d 20 29 0d 0a 09 09  in data[i] )....
14b0: 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0d  ..return false;.
14c0: 0a 09 09 09 69 66 28 6b 69 6c 6c 29 0d 0a 09 09  ....if(kill)....
14d0: 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0d  ..return false;.
14e0: 0a 09 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b  ....return true;
14f0: 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 70 72 6f  ....}....if( pro
1500: 74 6f 74 79 70 65 20 69 73 20 6e 75 6c 6c 20 29  totype is null )
1510: 0d 0a 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73  .....return fals
1520: 65 3b 0d 0a 09 09 72 65 74 75 72 6e 20 70 72 6f  e;....return pro
1530: 74 6f 74 79 70 65 2e 68 61 73 28 69 2c 20 6c 61  totype.has(i, la
1540: 79 2c 20 70 6f 73 29 3b 0d 0a 09 7d 0d 0a 09 0d  y, pos);...}....
1550: 0a 09 56 61 6c 75 65 20 67 65 74 28 73 74 72 69  ..Value get(stri
1560: 6e 67 20 69 2c 20 4c 61 79 65 72 20 6c 61 79 2c  ng i, Layer lay,
1570: 20 69 6e 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20   in LexPosition 
1580: 70 6f 73 3d 6e 75 6c 6c 29 0d 0a 09 7b 0d 0a 09  pos=null)...{...
1590: 09 69 66 28 20 69 20 69 6e 20 64 61 74 61 20 29  .if( i in data )
15a0: 20 7b 0d 0a 09 09 09 2f 2f 20 5b 54 4f 44 4f 5d   {.....// [TODO]
15b0: 20 63 6f 6e 73 69 64 65 72 20 66 6f 72 77 61 72   consider forwar
15c0: 64 69 6e 67 20 74 6f 20 70 72 6f 74 6f 20 61 6c  ding to proto al
15d0: 73 6f 20 69 6e 20 74 68 69 73 20 63 61 73 65 0d  so in this case.
15e0: 0a 09 09 09 69 66 28 20 6c 61 79 20 21 69 6e 20  ....if( lay !in 
15f0: 64 61 74 61 5b 69 5d 20 29 0d 0a 09 09 09 09 74  data[i] )......t
1600: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69  hrow genex!Runti
1610: 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c  meException(pos,
1620: 20 73 70 72 69 6e 74 66 21 22 27 25 73 27 20 69   sprintf!"'%s' i
1630: 73 20 6e 6f 74 20 73 65 74 20 69 6e 20 6c 61 79  s not set in lay
1640: 65 72 20 25 73 22 28 69 2c 6c 61 79 29 29 3b 0d  er %s"(i,lay));.
1650: 0a 09 09 09 69 66 28 6b 69 6c 6c 29 0d 0a 09 09  ....if(kill)....
1660: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75  ..throw genex!Ru
1670: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70  ntimeException(p
1680: 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 27 25 73  os, sprintf!"'%s
1690: 27 20 69 73 20 6b 69 6c 6c 65 64 20 69 6e 20 6d  ' is killed in m
16a0: 61 63 72 6f 22 28 69 29 29 3b 0d 0a 09 09 09 72  acro"(i));.....r
16b0: 65 74 75 72 6e 20 64 61 74 61 5b 69 5d 5b 6c 61  eturn data[i][la
16c0: 79 5d 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20  y];....}....if( 
16d0: 70 72 6f 74 6f 74 79 70 65 20 69 73 20 6e 75 6c  prototype is nul
16e0: 6c 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 6e 65  l ).....throw ne
16f0: 77 20 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69  w RuntimeExcepti
1700: 6f 6e 28 70 6f 73 2c 20 73 70 72 69 6e 74 66 21  on(pos, sprintf!
1710: 22 27 25 73 27 20 6e 6f 74 20 66 6f 75 6e 64 22  "'%s' not found"
1720: 28 69 29 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20  (i));....return 
1730: 70 72 6f 74 6f 74 79 70 65 2e 67 65 74 28 69 2c  prototype.get(i,
1740: 20 6c 61 79 2c 20 70 6f 73 29 3b 0d 0a 09 7d 0d   lay, pos);...}.
1750: 0a 0d 0a 09 54 20 61 63 63 65 73 73 28 54 2c 53  ....T access(T,S
1760: 2e 2e 2e 29 28 20 4c 61 79 65 72 20 6c 61 79 2c  ...)( Layer lay,
1770: 20 73 74 72 69 6e 67 20 70 61 74 68 2c 20 53 20   string path, S 
1780: 72 65 73 74 20 29 0d 0a 09 7b 0d 0a 09 09 73 74  rest )...{....st
1790: 61 74 69 63 20 69 66 28 20 72 65 73 74 2e 6c 65  atic if( rest.le
17a0: 6e 67 74 68 20 3d 3d 20 30 20 29 0d 0a 09 09 7b  ngth == 0 )....{
17b0: 0d 0a 09 09 09 69 66 28 20 74 68 69 73 2e 68 61  .....if( this.ha
17c0: 73 28 70 61 74 68 2c 20 6c 61 79 29 20 29 0d 0a  s(path, lay) )..
17d0: 09 09 09 09 72 65 74 75 72 6e 20 63 61 73 74 28  ....return cast(
17e0: 54 29 20 74 68 69 73 2e 67 65 74 28 70 61 74 68  T) this.get(path
17f0: 2c 20 6c 61 79 29 3b 0d 0a 09 09 7d 0d 0a 09 09  , lay);....}....
1800: 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 69 66  else....{.....if
1810: 28 61 75 74 6f 20 6e 65 78 74 20 3d 20 74 68 69  (auto next = thi
1820: 73 2e 61 63 63 65 73 73 21 54 61 62 6c 65 28 6c  s.access!Table(l
1830: 61 79 2c 70 61 74 68 29 29 0d 0a 09 09 09 09 72  ay,path))......r
1840: 65 74 75 72 6e 20 6e 65 78 74 2e 61 63 63 65 73  eturn next.acces
1850: 73 21 54 28 6c 61 79 2c 72 65 73 74 29 3b 0d 0a  s!T(lay,rest);..
1860: 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 6e 75  ..}....return nu
1870: 6c 6c 3b 0d 0a 09 7d 0d 0a 0d 0a 09 73 74 72 69  ll;...}.....stri
1880: 6e 67 20 74 6f 53 74 72 69 6e 67 57 69 74 68 6f  ng toStringWitho
1890: 75 74 50 61 72 65 6e 28 29 20 63 6f 6e 73 74 0d  utParen() const.
18a0: 0a 09 7b 0d 0a 09 09 73 74 72 69 6e 67 20 72 65  ..{....string re
18b0: 73 75 6c 74 3b 0d 0a 09 09 62 6f 6f 6c 20 66 69  sult;....bool fi
18c0: 72 73 74 20 3d 20 74 72 75 65 3b 0d 0a 09 09 66  rst = true;....f
18d0: 6f 72 65 61 63 68 28 6b 2c 20 6c 32 64 3b 20 64  oreach(k, l2d; d
18e0: 61 74 61 29 0d 0a 09 09 09 66 6f 72 65 61 63 68  ata).....foreach
18f0: 28 6c 2c 64 3b 20 6c 32 64 29 0d 0a 09 09 09 7b  (l,d; l2d).....{
1900: 0d 0a 09 09 09 09 69 66 28 66 69 72 73 74 29 20  ......if(first) 
1910: 66 69 72 73 74 3d 66 61 6c 73 65 3b 20 65 6c 73  first=false; els
1920: 65 20 72 65 73 75 6c 74 7e 3d 22 2c 20 22 3b 0d  e result~=", ";.
1930: 0a 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 6b  .....result ~= k
1940: 3b 0d 0a 09 09 09 09 72 65 73 75 6c 74 20 7e 3d  ;......result ~=
1950: 20 6c 3b 0d 0a 09 09 09 09 72 65 73 75 6c 74 20   l;......result 
1960: 7e 3d 20 22 3a 22 3b 0d 0a 09 09 09 09 72 65 73  ~= ":";......res
1970: 75 6c 74 20 7e 3d 20 74 65 78 74 28 63 61 73 74  ult ~= text(cast
1980: 28 56 61 6c 75 65 29 64 29 3b 0d 0a 09 09 09 7d  (Value)d);.....}
1990: 0d 0a 09 09 69 66 28 20 70 72 6f 74 6f 74 79 70  ....if( prototyp
19a0: 65 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09  e !is null )....
19b0: 7b 0d 0a 09 09 09 72 65 73 75 6c 74 20 7e 3d 20  {.....result ~= 
19c0: 22 20 2f 20 22 3b 0d 0a 09 09 09 72 65 73 75 6c  " / ";.....resul
19d0: 74 20 7e 3d 20 70 72 6f 74 6f 74 79 70 65 2e 74  t ~= prototype.t
19e0: 6f 53 74 72 69 6e 67 57 69 74 68 6f 75 74 50 61  oStringWithoutPa
19f0: 72 65 6e 28 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72  ren();....}....r
1a00: 65 74 75 72 6e 20 72 65 73 75 6c 74 3b 0d 0a 09  eturn result;...
1a10: 7d 0d 0a 09 0d 0a 09 73 74 72 69 6e 67 20 74 6f  }......string to
1a20: 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 0d 0a  String() const..
1a30: 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 22 7b 22  .{....return "{"
1a40: 20 7e 20 74 6f 53 74 72 69 6e 67 57 69 74 68 6f   ~ toStringWitho
1a50: 75 74 50 61 72 65 6e 28 29 20 7e 20 22 7d 22 3b  utParen() ~ "}";
1a60: 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a  ...}....private:
1a70: 0d 0a 09 54 61 62 6c 65 20 20 20 20 20 20 20 20  ...Table        
1a80: 20 20 20 20 20 20 20 20 70 72 6f 74 6f 74 79 70          prototyp
1a90: 65 3b 0d 0a 09 4b 69 6e 64 20 20 20 20 20 20 20  e;...Kind       
1aa0: 20 20 20 20 20 20 20 20 20 20 6b 69 6e 64 3b 0d            kind;.
1ab0: 0a 09 56 61 6c 75 65 5b 4c 61 79 65 72 5d 5b 73  ..Value[Layer][s
1ac0: 74 72 69 6e 67 5d 20 64 61 74 61 3b 0d 0a 0d 0a  tring] data;....
1ad0: 09 62 6f 6f 6c 20 73 65 74 49 66 45 78 69 73 74  .bool setIfExist
1ae0: 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 72  (string i, Layer
1af0: 20 6c 61 79 2c 20 56 61 6c 75 65 20 76 29 0d 0a   lay, Value v)..
1b00: 09 7b 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 64  .{....if( i in d
1b10: 61 74 61 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 64  ata )....{.....d
1b20: 61 74 61 5b 69 5d 5b 6c 61 79 5d 20 3d 20 76 3b  ata[i][lay] = v;
1b30: 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 72 75 65  .....return true
1b40: 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 6b 69  ;....}....if( ki
1b50: 6e 64 3d 3d 4b 69 6e 64 2e 50 72 6f 70 61 67 61  nd==Kind.Propaga
1b60: 74 65 53 65 74 20 26 26 20 70 72 6f 74 6f 74 79  teSet && prototy
1b70: 70 65 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09  pe !is null )...
1b80: 09 09 72 65 74 75 72 6e 20 70 72 6f 74 6f 74 79  ..return prototy
1b90: 70 65 2e 73 65 74 49 66 45 78 69 73 74 28 69 2c  pe.setIfExist(i,
1ba0: 20 6c 61 79 2c 20 76 29 3b 0d 0a 09 09 72 65 74   lay, v);....ret
1bb0: 75 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 7d 0d 0a  urn false;...}..
1bc0: 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b  }....unittest..{
1bd0: 0d 0a 09 54 61 62 6c 65 20 63 30 20 3d 20 6e 65  ...Table c0 = ne
1be0: 77 20 54 61 62 6c 65 3b 0d 0a 09 54 61 62 6c 65  w Table;...Table
1bf0: 20 63 30 31 20 3d 20 6e 65 77 20 54 61 62 6c 65   c01 = new Table
1c00: 28 63 30 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e  (c0, Table.Kind.
1c10: 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 29  NotPropagateSet)
1c20: 3b 0d 0a 09 54 61 62 6c 65 20 63 30 31 32 20 3d  ;...Table c012 =
1c30: 20 6e 65 77 20 54 61 62 6c 65 28 63 30 31 2c 20   new Table(c01, 
1c40: 54 61 62 6c 65 2e 4b 69 6e 64 2e 50 72 6f 70 61  Table.Kind.Propa
1c50: 67 61 74 65 53 65 74 29 3b 0d 0a 09 54 61 62 6c  gateSet);...Tabl
1c60: 65 20 63 30 31 33 20 3d 20 6e 65 77 20 54 61 62  e c013 = new Tab
1c70: 6c 65 28 63 30 31 2c 20 54 61 62 6c 65 2e 4b 69  le(c01, Table.Ki
1c80: 6e 64 2e 50 72 6f 70 61 67 61 74 65 53 65 74 29  nd.PropagateSet)
1c90: 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74  ;.....assert_not
1ca0: 68 72 6f 77 28 20 63 30 31 32 2e 73 65 74 28 22  hrow( c012.set("
1cb0: 78 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20  x", ValueLayer, 
1cc0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67  new IntValue(Big
1cd0: 49 6e 74 28 31 32 29 29 29 20 29 3b 0d 0a 09 61  Int(12))) );...a
1ce0: 73 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74  ssert_throw!Runt
1cf0: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 63 30  imeException( c0
1d00: 31 33 2e 67 65 74 28 22 78 22 2c 20 56 61 6c 75  13.get("x", Valu
1d10: 65 4c 61 79 65 72 29 20 29 3b 0d 0a 09 61 73 73  eLayer) );...ass
1d20: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31  ert_nothrow( c01
1d30: 33 2e 73 65 74 28 22 78 22 2c 20 56 61 6c 75 65  3.set("x", Value
1d40: 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61  Layer, new IntVa
1d50: 6c 75 65 28 42 69 67 49 6e 74 28 31 33 29 29 29  lue(BigInt(13)))
1d60: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28   );...assert_eq(
1d70: 20 63 30 31 33 2e 67 65 74 28 22 78 22 2c 20 56   c013.get("x", V
1d80: 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20  alueLayer), new 
1d90: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28  IntValue(BigInt(
1da0: 31 33 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74  13)) );...assert
1db0: 5f 65 71 28 20 63 30 31 32 2e 67 65 74 28 22 78  _eq( c012.get("x
1dc0: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20  ", ValueLayer), 
1dd0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67  new IntValue(Big
1de0: 49 6e 74 28 31 32 29 29 20 29 3b 0d 0a 09 61 73  Int(12)) );...as
1df0: 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69  sert_throw!Runti
1e00: 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 63 30 31  meException( c01
1e10: 2e 67 65 74 28 22 78 22 2c 20 56 61 6c 75 65 4c  .get("x", ValueL
1e20: 61 79 65 72 29 20 29 3b 0d 0a 0d 0a 09 61 73 73  ayer) );.....ass
1e30: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31  ert_nothrow( c01
1e40: 2e 73 65 74 28 22 79 22 2c 20 56 61 6c 75 65 4c  .set("y", ValueL
1e50: 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c  ayer, new IntVal
1e60: 75 65 28 42 69 67 49 6e 74 28 31 29 29 29 20 29  ue(BigInt(1))) )
1e70: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63  ;...assert_eq( c
1e80: 30 31 33 2e 67 65 74 28 22 79 22 2c 20 56 61 6c  013.get("y", Val
1e90: 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e  ueLayer), new In
1ea0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29  tValue(BigInt(1)
1eb0: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71  ) );...assert_eq
1ec0: 28 20 63 30 31 32 2e 67 65 74 28 22 79 22 2c 20  ( c012.get("y", 
1ed0: 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77  ValueLayer), new
1ee0: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74   IntValue(BigInt
1ef0: 28 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74  (1)) );...assert
1f00: 5f 65 71 28 20 63 30 31 2e 67 65 74 28 22 79 22  _eq( c01.get("y"
1f10: 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e  , ValueLayer), n
1f20: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49  ew IntValue(BigI
1f30: 6e 74 28 31 29 29 20 29 3b 0d 0a 0d 0a 09 61 73  nt(1)) );.....as
1f40: 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30  sert_nothrow( c0
1f50: 2e 73 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c  .set("z", ValueL
1f60: 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c  ayer, new IntVal
1f70: 75 65 28 42 69 67 49 6e 74 28 30 29 29 29 20 29  ue(BigInt(0))) )
1f80: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63  ;...assert_eq( c
1f90: 30 31 33 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c  013.get("z", Val
1fa0: 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e  ueLayer), new In
1fb0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29  tValue(BigInt(0)
1fc0: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71  ) );...assert_eq
1fd0: 28 20 63 30 31 32 2e 67 65 74 28 22 7a 22 2c 20  ( c012.get("z", 
1fe0: 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77  ValueLayer), new
1ff0: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74   IntValue(BigInt
2000: 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74  (0)) );...assert
2010: 5f 65 71 28 20 63 30 31 2e 67 65 74 28 22 7a 22  _eq( c01.get("z"
2020: 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e  , ValueLayer), n
2030: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49  ew IntValue(BigI
2040: 6e 74 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 65  nt(0)) );...asse
2050: 72 74 5f 65 71 28 20 63 30 2e 67 65 74 28 22 7a  rt_eq( c0.get("z
2060: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20  ", ValueLayer), 
2070: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67  new IntValue(Big
2080: 49 6e 74 28 30 29 29 20 29 3b 0d 0a 0d 0a 09 61  Int(0)) );.....a
2090: 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63  ssert_nothrow( c
20a0: 30 31 32 2e 73 65 74 28 22 79 22 2c 20 56 61 6c  012.set("y", Val
20b0: 75 65 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e 74  ueLayer, new Int
20c0: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 34 34 34  Value(BigInt(444
20d0: 29 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f  ))) );...assert_
20e0: 65 71 28 20 63 30 31 33 2e 67 65 74 28 22 79 22  eq( c013.get("y"
20f0: 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e  , ValueLayer), n
2100: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49  ew IntValue(BigI
2110: 6e 74 28 34 34 34 29 29 20 29 3b 0d 0a 09 61 73  nt(444)) );...as
2120: 73 65 72 74 5f 65 71 28 20 63 30 31 32 2e 67 65  sert_eq( c012.ge
2130: 74 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 79 65  t("y", ValueLaye
2140: 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65  r), new IntValue
2150: 28 42 69 67 49 6e 74 28 34 34 34 29 29 20 29 3b  (BigInt(444)) );
2160: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30  ...assert_eq( c0
2170: 31 2e 67 65 74 28 22 79 22 2c 20 56 61 6c 75 65  1.get("y", Value
2180: 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56  Layer), new IntV
2190: 61 6c 75 65 28 42 69 67 49 6e 74 28 34 34 34 29  alue(BigInt(444)
21a0: 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f  ) );.....assert_
21b0: 6e 6f 74 68 72 6f 77 28 20 63 30 31 32 2e 73 65  nothrow( c012.se
21c0: 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65  t("z", ValueLaye
21d0: 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28  r, new IntValue(
21e0: 42 69 67 49 6e 74 28 35 35 35 29 29 29 20 29 3b  BigInt(555))) );
21f0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30  ...assert_eq( c0
2200: 31 33 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 75  13.get("z", Valu
2210: 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74  eLayer), new Int
2220: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29  Value(BigInt(0))
2230: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28   );...assert_eq(
2240: 20 63 30 31 32 2e 67 65 74 28 22 7a 22 2c 20 56   c012.get("z", V
2250: 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20  alueLayer), new 
2260: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28  IntValue(BigInt(
2270: 35 35 35 29 29 20 29 3b 0d 0a 09 61 73 73 65 72  555)) );...asser
2280: 74 5f 65 71 28 20 63 30 31 2e 67 65 74 28 22 7a  t_eq( c01.get("z
2290: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20  ", ValueLayer), 
22a0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67  new IntValue(Big
22b0: 49 6e 74 28 30 29 29 20 29 3b 0d 0a 09 61 73 73  Int(0)) );...ass
22c0: 65 72 74 5f 65 71 28 20 63 30 2e 67 65 74 28 22  ert_eq( c0.get("
22d0: 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c  z", ValueLayer),
22e0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69   new IntValue(Bi
22f0: 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a 0d 0a 09  gInt(0)) );.....
2300: 2f 2f 20 5b 54 4f 44 4f 5d 20 64 65 66 69 6e 65  // [TODO] define
2310: 20 74 68 65 20 73 65 6d 61 6e 74 69 63 73 20 61   the semantics a
2320: 6e 64 20 74 65 73 74 20 40 6c 61 79 65 72 73 0d  nd test @layers.
2330: 0a 7d 0d 0a 0d 0a 69 6d 6d 75 74 61 62 6c 65 28  .}....immutable(
2340: 4c 65 78 50 6f 73 69 74 69 6f 6e 29 20 65 78 74  LexPosition) ext
2350: 72 61 63 74 50 6f 73 28 20 54 61 62 6c 65 20 74  ractPos( Table t
2360: 20 29 0d 0a 7b 0d 0a 09 4c 61 79 65 72 20 74 68   )..{...Layer th
2370: 65 4c 61 79 65 72 20 3d 20 56 61 6c 75 65 4c 61  eLayer = ValueLa
2380: 79 65 72 3b 0d 0a 09 69 66 28 61 75 74 6f 20 74  yer;...if(auto t
2390: 74 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62  t = t.access!Tab
23a0: 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 22 70 6f  le(theLayer, "po
23b0: 73 22 29 29 0d 0a 09 7b 0d 0a 09 09 61 75 74 6f  s"))...{....auto
23c0: 20 66 6e 20 3d 20 74 74 2e 61 63 63 65 73 73 21   fn = tt.access!
23d0: 53 74 72 56 61 6c 75 65 28 74 68 65 4c 61 79 65  StrValue(theLaye
23e0: 72 2c 20 22 66 69 6c 65 6e 61 6d 65 22 29 3b 0d  r, "filename");.
23f0: 0a 09 09 61 75 74 6f 20 6c 6e 20 3d 20 74 74 2e  ...auto ln = tt.
2400: 61 63 63 65 73 73 21 49 6e 74 56 61 6c 75 65 28  access!IntValue(
2410: 74 68 65 4c 61 79 65 72 2c 20 22 6c 69 6e 65 6e  theLayer, "linen
2420: 6f 22 29 3b 0d 0a 09 09 61 75 74 6f 20 63 6c 20  o");....auto cl 
2430: 3d 20 74 74 2e 61 63 63 65 73 73 21 49 6e 74 56  = tt.access!IntV
2440: 61 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22  alue(theLayer, "
2450: 63 6f 6c 75 6d 6e 22 29 3b 0d 0a 09 09 69 66 28  column");....if(
2460: 66 6e 20 21 69 73 20 6e 75 6c 6c 20 26 26 20 6c  fn !is null && l
2470: 6e 20 21 69 73 20 6e 75 6c 6c 20 26 26 20 63 6c  n !is null && cl
2480: 20 21 69 73 20 6e 75 6c 6c 29 0d 0a 09 09 09 72   !is null).....r
2490: 65 74 75 72 6e 20 6e 65 77 20 69 6d 6d 75 74 61  eturn new immuta
24a0: 62 6c 65 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29  ble(LexPosition)
24b0: 28 66 6e 2e 64 61 74 61 2c 63 61 73 74 28 69 6e  (fn.data,cast(in
24c0: 74 29 6c 6e 2e 64 61 74 61 2e 74 6f 49 6e 74 2c  t)ln.data.toInt,
24d0: 63 61 73 74 28 69 6e 74 29 63 6c 2e 64 61 74 61  cast(int)cl.data
24e0: 2e 74 6f 49 6e 74 29 3b 0d 0a 09 7d 0d 0a 09 72  .toInt);...}...r
24f0: 65 74 75 72 6e 20 6e 75 6c 6c 3b 0d 0a 7d 0d 0a  eturn null;..}..
2500: 0d 0a 56 61 6c 75 65 5b 5d 20 74 61 62 6c 65 41  ..Value[] tableA
2510: 73 43 6f 6e 73 4c 69 73 74 28 20 4c 61 79 65 72  sConsList( Layer
2520: 20 74 68 65 4c 61 79 65 72 2c 20 54 61 62 6c 65   theLayer, Table
2530: 20 74 20 29 0d 0a 7b 0d 0a 09 56 61 6c 75 65 5b   t )..{...Value[
2540: 5d 20 72 65 73 75 6c 74 3b 0d 0a 09 77 68 69 6c  ] result;...whil
2550: 65 28 74 29 0d 0a 09 09 69 66 28 61 75 74 6f 20  e(t)....if(auto 
2560: 76 20 20 3d 20 74 2e 61 63 63 65 73 73 21 56 61  v  = t.access!Va
2570: 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 63  lue(theLayer, "c
2580: 61 72 22 29 29 0d 0a 09 09 7b 0d 0a 09 09 09 72  ar"))....{.....r
2590: 65 73 75 6c 74 20 7e 3d 20 76 3b 0d 0a 09 09 09  esult ~= v;.....
25a0: 74 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62  t = t.access!Tab
25b0: 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 22 63 64  le(theLayer, "cd
25c0: 72 22 29 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73  r");....}....els
25d0: 65 0d 0a 09 09 09 62 72 65 61 6b 3b 0d 0a 09 72  e.....break;...r
25e0: 65 74 75 72 6e 20 72 65 73 75 6c 74 3b 0d 0a 7d  eturn result;..}
25f0: 0d 0a 0d 0a 41 53 54 5b 5d 20 74 61 62 6c 65 54  ....AST[] tableT
2600: 6f 41 53 54 4c 69 73 74 28 20 4c 61 79 65 72 20  oASTList( Layer 
2610: 74 68 65 4c 61 79 65 72 2c 20 54 61 62 6c 65 20  theLayer, Table 
2620: 74 20 29 0d 0a 7b 0d 0a 09 41 53 54 5b 5d 20 72  t )..{...AST[] r
2630: 65 73 75 6c 74 3b 0d 0a 09 66 6f 72 65 61 63 68  esult;...foreach
2640: 28 76 3b 20 74 61 62 6c 65 41 73 43 6f 6e 73 4c  (v; tableAsConsL
2650: 69 73 74 28 74 68 65 4c 61 79 65 72 2c 20 74 29  ist(theLayer, t)
2660: 29 0d 0a 09 09 69 66 28 61 75 74 6f 20 74 20 3d  )....if(auto t =
2670: 20 63 61 73 74 28 54 61 62 6c 65 29 76 29 0d 0a   cast(Table)v)..
2680: 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 74 61 62  ...result ~= tab
2690: 6c 65 54 6f 41 53 54 28 74 68 65 4c 61 79 65 72  leToAST(theLayer
26a0: 2c 74 29 3b 0d 0a 09 09 65 6c 73 65 0d 0a 09 09  ,t);....else....
26b0: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e  .throw genex!Run
26c0: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61  timeException(ca
26d0: 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e  st(LexPosition)n
26e0: 75 6c 6c 2c 20 22 49 6e 76 61 6c 69 64 20 41 53  ull, "Invalid AS
26f0: 54 20 28 6e 6f 6e 2d 74 61 62 6c 65 20 69 6e 20  T (non-table in 
2700: 63 6f 6e 73 2d 6c 69 73 74 29 22 29 3b 0d 0a 09  cons-list)");...
2710: 72 65 74 75 72 6e 20 72 65 73 75 6c 74 3b 0d 0a  return result;..
2720: 7d 0d 0a 0d 0a 41 53 54 20 74 61 62 6c 65 54 6f  }....AST tableTo
2730: 41 53 54 28 20 4c 61 79 65 72 20 74 68 65 4c 61  AST( Layer theLa
2740: 79 65 72 2c 20 56 61 6c 75 65 20 76 76 76 76 20  yer, Value vvvv 
2750: 29 0d 0a 7b 0d 0a 09 54 61 62 6c 65 20 74 20 3d  )..{...Table t =
2760: 20 63 61 73 74 28 54 61 62 6c 65 29 76 76 76 76   cast(Table)vvvv
2770: 3b 0d 0a 09 69 66 28 20 74 20 69 73 20 6e 75 6c  ;...if( t is nul
2780: 6c 20 29 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e  l )....throw gen
2790: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74  ex!RuntimeExcept
27a0: 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69  ion(cast(LexPosi
27b0: 74 69 6f 6e 29 6e 75 6c 6c 2c 20 22 49 6e 76 61  tion)null, "Inva
27c0: 6c 69 64 20 41 53 54 20 28 6e 6f 74 20 61 20 74  lid AST (not a t
27d0: 61 62 6c 65 29 22 29 3b 0d 0a 0d 0a 09 61 75 74  able)");.....aut
27e0: 6f 20 6e 6f 64 65 54 79 70 65 20 3d 20 74 2e 61  o nodeType = t.a
27f0: 63 63 65 73 73 21 53 74 72 56 61 6c 75 65 28 74  ccess!StrValue(t
2800: 68 65 4c 61 79 65 72 2c 20 22 69 73 22 29 3b 0d  heLayer, "is");.
2810: 0a 09 69 66 28 20 6e 6f 64 65 54 79 70 65 20 69  ..if( nodeType i
2820: 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 74 68 72 6f  s null )....thro
2830: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45  w genex!RuntimeE
2840: 78 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65  xception(cast(Le
2850: 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20  xPosition)null, 
2860: 22 49 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73  "Invalid AST {is
2870: 3a 28 6e 6f 74 20 73 74 72 69 6e 67 29 7d 22 29  :(not string)}")
2880: 3b 0d 0a 09 61 75 74 6f 20 70 6f 73 20 3d 20 65  ;...auto pos = e
2890: 78 74 72 61 63 74 50 6f 73 28 74 29 3b 0d 0a 09  xtractPos(t);...
28a0: 73 77 69 74 63 68 28 6e 6f 64 65 54 79 70 65 2e  switch(nodeType.
28b0: 64 61 74 61 29 0d 0a 09 7b 0d 0a 09 63 61 73 65  data)...{...case
28c0: 20 22 69 6e 74 22 3a 0d 0a 09 09 69 66 28 61 75   "int":....if(au
28d0: 74 6f 20 76 20 3d 20 74 2e 61 63 63 65 73 73 21  to v = t.access!
28e0: 49 6e 74 56 61 6c 75 65 28 74 68 65 4c 61 79 65  IntValue(theLaye
28f0: 72 2c 20 22 64 61 74 61 22 29 29 0d 0a 09 09 09  r, "data")).....
2900: 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 4c 69  return new IntLi
2910: 74 65 72 61 6c 28 70 6f 73 2c 20 76 2e 64 61 74  teral(pos, v.dat
2920: 61 29 3b 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e  a);....throw gen
2930: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74  ex!RuntimeExcept
2940: 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69  ion(cast(LexPosi
2950: 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60 49 6e 76 61  tion)null, `Inva
2960: 6c 69 64 20 41 53 54 20 7b 69 73 3a 22 69 6e 74  lid AST {is:"int
2970: 22 2c 20 64 61 74 61 3a 28 6e 6f 74 20 69 6e 74  ", data:(not int
2980: 29 7d 60 29 3b 0d 0a 09 63 61 73 65 20 22 73 74  )}`);...case "st
2990: 72 22 3a 0d 0a 09 09 69 66 28 61 75 74 6f 20 76  r":....if(auto v
29a0: 20 3d 20 74 2e 61 63 63 65 73 73 21 53 74 72 56   = t.access!StrV
29b0: 61 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22  alue(theLayer, "
29c0: 64 61 74 61 22 29 29 0d 0a 09 09 09 72 65 74 75  data")).....retu
29d0: 72 6e 20 6e 65 77 20 53 74 72 4c 69 74 65 72 61  rn new StrLitera
29e0: 6c 28 70 6f 73 2c 20 76 2e 64 61 74 61 29 3b 0d  l(pos, v.data);.
29f0: 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52  ...throw genex!R
2a00: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28  untimeException(
2a10: 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e  cast(LexPosition
2a20: 29 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20  )null, `Invalid 
2a30: 41 53 54 20 7b 69 73 3a 22 73 74 72 22 2c 20 64  AST {is:"str", d
2a40: 61 74 61 3a 28 6e 6f 74 20 73 74 72 69 6e 67 29  ata:(not string)
2a50: 7d 60 29 3b 0d 0a 09 63 61 73 65 20 22 76 61 72  }`);...case "var
2a60: 22 3a 0d 0a 09 09 69 66 28 61 75 74 6f 20 76 20  ":....if(auto v 
2a70: 3d 20 74 2e 61 63 63 65 73 73 21 53 74 72 56 61  = t.access!StrVa
2a80: 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 6e  lue(theLayer, "n
2a90: 61 6d 65 22 29 29 0d 0a 09 09 09 72 65 74 75 72  ame")).....retur
2aa0: 6e 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 73  n new VarExpress
2ab0: 69 6f 6e 28 70 6f 73 2c 20 76 2e 64 61 74 61 29  ion(pos, v.data)
2ac0: 3b 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78  ;....throw genex
2ad0: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f  !RuntimeExceptio
2ae0: 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69  n(cast(LexPositi
2af0: 6f 6e 29 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c 69  on)null, `Invali
2b00: 64 20 41 53 54 20 7b 69 73 3a 22 76 61 72 22 2c  d AST {is:"var",
2b10: 20 6e 61 6d 65 3a 28 6e 6f 74 20 73 74 72 69 6e   name:(not strin
2b20: 67 29 7d 60 29 3b 0d 0a 09 63 61 73 65 20 22 6c  g)}`);...case "l
2b30: 61 79 22 3a 0d 0a 09 09 69 66 28 61 75 74 6f 20  ay":....if(auto 
2b40: 76 20 3d 20 74 2e 61 63 63 65 73 73 21 53 74 72  v = t.access!Str
2b50: 56 61 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20  Value(theLayer, 
2b60: 22 6c 61 79 65 72 22 29 29 0d 0a 09 09 09 69 66  "layer")).....if
2b70: 28 61 75 74 6f 20 65 20 3d 20 74 2e 61 63 63 65  (auto e = t.acce
2b80: 73 73 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65  ss!Table(theLaye
2b90: 72 2c 20 22 65 78 70 72 22 29 29 0d 0a 09 09 09  r, "expr")).....
2ba0: 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 61 79 45  .return new LayE
2bb0: 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 76  xpression(pos, v
2bc0: 2e 64 61 74 61 2c 20 74 61 62 6c 65 54 6f 41 53  .data, tableToAS
2bd0: 54 28 74 68 65 4c 61 79 65 72 2c 65 29 29 3b 0d  T(theLayer,e));.
2be0: 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 74 68  ....else......th
2bf0: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d  row genex!Runtim
2c00: 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 74 28  eException(cast(
2c10: 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c  LexPosition)null
2c20: 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 54 20 7b  , `Invalid AST {
2c30: 69 73 3a 22 6c 61 79 22 2c 20 65 78 70 72 3a 28  is:"lay", expr:(
2c40: 6e 6f 74 20 74 61 62 6c 65 29 7d 60 29 3b 0d 0a  not table)}`);..
2c50: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75  ..throw genex!Ru
2c60: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63  ntimeException(c
2c70: 61 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29  ast(LexPosition)
2c80: 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41  null, `Invalid A
2c90: 53 54 20 7b 69 73 3a 22 6c 61 79 22 2c 20 6c 61  ST {is:"lay", la
2ca0: 79 65 72 3a 28 6e 6f 74 20 73 74 72 69 6e 67 29  yer:(not string)
2cb0: 7d 60 29 3b 0d 0a 09 63 61 73 65 20 22 6c 65 74  }`);...case "let
2cc0: 22 3a 0d 0a 09 09 69 66 28 61 75 74 6f 20 6e 20  ":....if(auto n 
2cd0: 3d 20 74 2e 61 63 63 65 73 73 21 53 74 72 56 61  = t.access!StrVa
2ce0: 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 6e  lue(theLayer, "n
2cf0: 61 6d 65 22 29 29 0d 0a 09 09 69 66 28 61 75 74  ame"))....if(aut
2d00: 6f 20 65 20 3d 20 74 2e 61 63 63 65 73 73 21 54  o e = t.access!T
2d10: 61 62 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 22  able(theLayer, "
2d20: 69 6e 69 74 22 29 29 0d 0a 09 09 69 66 28 61 75  init"))....if(au
2d30: 74 6f 20 62 20 3d 20 74 2e 61 63 63 65 73 73 21  to b = t.access!
2d40: 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 2c 20  Table(theLayer, 
2d50: 22 65 78 70 72 22 29 29 0d 0a 09 09 7b 0d 0a 09  "expr"))....{...
2d60: 09 09 73 74 72 69 6e 67 20 6e 6e 20 3d 20 6e 2e  ..string nn = n.
2d70: 64 61 74 61 3b 0d 0a 09 09 09 61 75 74 6f 20 65  data;.....auto e
2d80: 65 20 3d 20 74 61 62 6c 65 54 6f 41 53 54 28 74  e = tableToAST(t
2d90: 68 65 4c 61 79 65 72 2c 20 65 29 3b 0d 0a 09 09  heLayer, e);....
2da0: 09 61 75 74 6f 20 62 62 20 3d 20 74 61 62 6c 65  .auto bb = table
2db0: 54 6f 41 53 54 28 74 68 65 4c 61 79 65 72 2c 20  ToAST(theLayer, 
2dc0: 62 29 3b 0d 0a 09 09 09 4c 61 79 65 72 20 6c 61  b);.....Layer la
2dd0: 79 3d 22 22 3b 0d 0a 09 09 09 69 66 28 61 75 74  y="";.....if(aut
2de0: 6f 20 6c 20 3d 20 74 2e 61 63 63 65 73 73 21 53  o l = t.access!S
2df0: 74 72 56 61 6c 75 65 28 74 68 65 4c 61 79 65 72  trValue(theLayer
2e00: 2c 20 22 6c 61 79 65 72 22 29 29 0d 0a 09 09 09  , "layer")).....
2e10: 09 6c 61 79 20 3d 20 6c 2e 64 61 74 61 3b 0d 0a  .lay = l.data;..
2e20: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65  ...return new Le
2e30: 74 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c  tExpression(pos,
2e40: 20 6e 6e 2c 20 6c 61 79 2c 20 65 65 2c 20 62 62   nn, lay, ee, bb
2e50: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 74 68 72 6f 77  );....}....throw
2e60: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78   genex!RuntimeEx
2e70: 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78  ception(cast(Lex
2e80: 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60  Position)null, `
2e90: 49 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a  Invalid AST {is:
2ea0: 22 6c 65 74 22 2c 20 6e 61 6d 65 3a 22 3f 3f 3f  "let", name:"???
2eb0: 22 2c 20 69 6e 69 74 3a 22 3f 3f 3f 22 2c 20 65  ", init:"???", e
2ec0: 78 70 72 3a 22 3f 3f 3f 22 7d 60 29 3b 0d 0a 09  xpr:"???"}`);...
2ed0: 63 61 73 65 20 22 61 70 70 22 3a 0d 0a 09 09 69  case "app":....i
2ee0: 66 28 61 75 74 6f 20 66 20 3d 20 74 2e 61 63 63  f(auto f = t.acc
2ef0: 65 73 73 21 54 61 62 6c 65 28 74 68 65 4c 61 79  ess!Table(theLay
2f00: 65 72 2c 20 22 66 75 6e 22 29 29 0d 0a 09 09 69  er, "fun"))....i
2f10: 66 28 61 75 74 6f 20 61 20 3d 20 74 2e 61 63 63  f(auto a = t.acc
2f20: 65 73 73 21 54 61 62 6c 65 28 74 68 65 4c 61 79  ess!Table(theLay
2f30: 65 72 2c 20 22 61 72 67 73 22 29 29 0d 0a 09 09  er, "args"))....
2f40: 09 72 65 74 75 72 6e 20 6e 65 77 20 46 75 6e 63  .return new Func
2f50: 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 70 6f  allExpression(po
2f60: 73 2c 20 74 61 62 6c 65 54 6f 41 53 54 28 74 68  s, tableToAST(th
2f70: 65 4c 61 79 65 72 2c 66 29 2c 20 74 61 62 6c 65  eLayer,f), table
2f80: 54 6f 41 53 54 4c 69 73 74 28 74 68 65 4c 61 79  ToASTList(theLay
2f90: 65 72 2c 61 29 29 3b 0d 0a 09 09 74 68 72 6f 77  er,a));....throw
2fa0: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78   genex!RuntimeEx
2fb0: 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78  ception(cast(Lex
2fc0: 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60  Position)null, `
2fd0: 49 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a  Invalid AST {is:
2fe0: 22 61 70 70 22 2c 20 66 75 6e 3a 3f 3f 3f 2c 20  "app", fun:???, 
2ff0: 61 72 67 73 3a 3f 3f 3f 7d 60 29 3b 0d 0a 09 63  args:???}`);...c
3000: 61 73 65 20 22 66 75 6e 22 3a 0d 0a 09 09 69 66  ase "fun":....if
3010: 28 61 75 74 6f 20 70 20 3d 20 74 2e 61 63 63 65  (auto p = t.acce
3020: 73 73 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65  ss!Table(theLaye
3030: 72 2c 20 22 70 61 72 61 6d 73 22 29 29 0d 0a 09  r, "params"))...
3040: 09 69 66 28 61 75 74 6f 20 62 20 3d 20 74 2e 61  .if(auto b = t.a
3050: 63 63 65 73 73 21 54 61 62 6c 65 28 74 68 65 4c  ccess!Table(theL
3060: 61 79 65 72 2c 20 22 66 75 6e 62 6f 64 79 22 29  ayer, "funbody")
3070: 29 0d 0a 09 09 7b 0d 0a 09 09 09 50 61 72 61 6d  )....{.....Param
3080: 65 74 65 72 5b 5d 20 70 73 3b 0d 0a 09 09 09 66  eter[] ps;.....f
3090: 6f 72 65 61 63 68 28 76 3b 20 74 61 62 6c 65 41  oreach(v; tableA
30a0: 73 43 6f 6e 73 4c 69 73 74 28 74 68 65 4c 61 79  sConsList(theLay
30b0: 65 72 2c 20 70 29 29 0d 0a 09 09 09 7b 0d 0a 09  er, p)).....{...
30c0: 09 09 09 69 66 28 61 75 74 6f 20 74 74 20 3d 20  ...if(auto tt = 
30d0: 63 61 73 74 28 54 61 62 6c 65 29 76 29 0d 0a 09  cast(Table)v)...
30e0: 09 09 09 69 66 28 61 75 74 6f 20 73 73 20 3d 20  ...if(auto ss = 
30f0: 74 74 2e 61 63 63 65 73 73 21 53 74 72 56 61 6c  tt.access!StrVal
3100: 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 6e 61  ue(theLayer, "na
3110: 6d 65 22 29 29 0d 0a 09 09 09 09 69 66 28 61 75  me"))......if(au
3120: 74 6f 20 6c 6c 20 3d 20 74 74 2e 61 63 63 65 73  to ll = tt.acces
3130: 73 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72  s!Table(theLayer
3140: 2c 20 22 6c 61 79 65 72 73 22 29 29 0d 0a 09 09  , "layers"))....
3150: 09 09 7b 0d 0a 09 09 09 09 09 4c 61 79 65 72 5b  ..{.......Layer[
3160: 5d 20 6c 73 3b 0d 0a 09 09 09 09 09 66 6f 72 65  ] ls;.......fore
3170: 61 63 68 28 6c 6c 6c 3b 20 74 61 62 6c 65 41 73  ach(lll; tableAs
3180: 43 6f 6e 73 4c 69 73 74 28 74 68 65 4c 61 79 65  ConsList(theLaye
3190: 72 2c 20 6c 6c 29 29 0d 0a 09 09 09 09 09 09 69  r, ll))........i
31a0: 66 28 61 75 74 6f 20 6c 20 3d 20 63 61 73 74 28  f(auto l = cast(
31b0: 53 74 72 56 61 6c 75 65 29 6c 6c 6c 29 0d 0a 09  StrValue)lll)...
31c0: 09 09 09 09 09 09 6c 73 20 7e 3d 20 6c 2e 64 61  ......ls ~= l.da
31d0: 74 61 3b 0d 0a 09 09 09 09 09 09 65 6c 73 65 0d  ta;........else.
31e0: 0a 09 09 09 09 09 09 09 74 68 72 6f 77 20 67 65  ........throw ge
31f0: 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70  nex!RuntimeExcep
3200: 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f 73  tion(cast(LexPos
3210: 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 73 70 72 69  ition)null, spri
3220: 6e 74 66 21 60 49 6e 76 61 6c 69 64 20 41 53 54  ntf!`Invalid AST
3230: 20 7b 62 61 64 20 66 75 6e 20 70 61 72 61 6d 73   {bad fun params
3240: 20 25 73 7d 60 28 6c 6c 6c 29 29 3b 0d 0a 09 09   %s}`(lll));....
3250: 09 09 09 70 73 20 7e 3d 20 6e 65 77 20 50 61 72  ...ps ~= new Par
3260: 61 6d 65 74 65 72 28 73 73 2e 64 61 74 61 2c 20  ameter(ss.data, 
3270: 6c 73 29 3b 0d 0a 09 09 09 09 09 63 6f 6e 74 69  ls);.......conti
3280: 6e 75 65 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09  nue;......}.....
3290: 09 65 6c 73 65 0d 0a 09 09 09 09 7b 0d 0a 09 09  .else......{....
32a0: 09 09 09 4c 61 79 65 72 5b 5d 20 65 6d 70 3b 0d  ...Layer[] emp;.
32b0: 0a 09 09 09 09 09 70 73 20 7e 3d 20 6e 65 77 20  ......ps ~= new 
32c0: 50 61 72 61 6d 65 74 65 72 28 73 73 2e 64 61 74  Parameter(ss.dat
32d0: 61 2c 20 65 6d 70 29 3b 0d 0a 09 09 09 09 09 63  a, emp);.......c
32e0: 6f 6e 74 69 6e 75 65 3b 0d 0a 09 09 09 09 7d 0d  ontinue;......}.
32f0: 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78  .....throw genex
3300: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f  !RuntimeExceptio
3310: 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69  n(cast(LexPositi
3320: 6f 6e 29 6e 75 6c 6c 2c 20 73 70 72 69 6e 74 66  on)null, sprintf
3330: 21 60 49 6e 76 61 6c 69 64 20 41 53 54 20 7b 62  !`Invalid AST {b
3340: 61 64 20 66 75 6e 20 70 61 72 61 6d 73 20 25 73  ad fun params %s
3350: 7d 60 28 76 29 29 3b 0d 0a 09 09 09 7d 0d 0a 09  }`(v));.....}...
3360: 09 09 61 75 74 6f 20 62 62 20 3d 20 74 61 62 6c  ..auto bb = tabl
3370: 65 54 6f 41 53 54 28 74 68 65 4c 61 79 65 72 2c  eToAST(theLayer,
3380: 20 62 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20   b);.....return 
3390: 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 6c 28 70  new FunLiteral(p
33a0: 6f 73 2c 70 73 2c 62 62 29 3b 0d 0a 09 09 7d 0d  os,ps,bb);....}.
33b0: 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52  ...throw genex!R
33c0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28  untimeException(
33d0: 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e  cast(LexPosition
33e0: 29 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20  )null, `Invalid 
33f0: 41 53 54 20 7b 69 73 3a 22 66 75 6e 22 2c 20 70  AST {is:"fun", p
3400: 61 72 61 6d 3a 3f 3f 3f 2c 20 62 6f 64 79 3a 3f  aram:???, body:?
3410: 3f 3f 7d 60 29 3b 0d 0a 09 64 65 66 61 75 6c 74  ??}`);...default
3420: 3a 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78  :....throw genex
3430: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f  !RuntimeExceptio
3440: 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69  n(cast(LexPositi
3450: 6f 6e 29 6e 75 6c 6c 2c 20 73 70 72 69 6e 74 66  on)null, sprintf
3460: 21 60 49 6e 76 61 6c 69 64 20 41 53 54 20 7b 69  !`Invalid AST {i
3470: 73 3a 20 22 25 73 22 7d 20 75 6e 6b 6e 6f 77 6e  s: "%s"} unknown
3480: 60 28 6e 6f 64 65 54 79 70 65 2e 64 61 74 61 29  `(nodeType.data)
3490: 29 3b 0d 0a 09 7d 0d 0a 7d 0d 0a                 );...}..}..