Hex Artifact Content
Not logged in

Artifact 5a9949a1eb8839b1af6cdc22e322980bdbadc182:


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 2f 2f 2f 20 4f 62 6a 65 63 74 73 20  ..../// Objects 
0130: 66 6f 72 20 6d 61 69 74 61 69 6e 69 6e 67 20 67  for maitaining g
0140: 6c 6f 62 61 6c 20 65 6e 76 69 72 6f 6e 6d 65 6e  lobal environmen
0150: 74 20 61 6e 64 20 65 76 61 6c 75 61 74 69 6f 6e  t and evaluation
0160: 20 6f 66 20 65 78 70 72 65 73 73 69 6f 6e 20 6f   of expression o
0170: 6e 20 69 74 0d 0a 63 6c 61 73 73 20 45 76 61 6c  n it..class Eval
0180: 75 61 74 6f 72 0d 0a 7b 0d 0a 70 75 62 6c 69 63  uator..{..public
0190: 3a 0d 0a 09 2f 2f 2f 20 49 6e 69 74 69 61 6c 69  :.../// Initiali
01a0: 7a 65 20 65 76 61 6c 75 61 74 6f 72 20 77 69 74  ze evaluator wit
01b0: 68 20 65 6d 70 74 79 20 63 6f 6e 74 65 78 74 0d  h empty context.
01c0: 0a 09 74 68 69 73 28 29 20 7b 20 74 68 65 43 6f  ..this() { theCo
01d0: 6e 74 65 78 74 20 3d 20 6e 65 77 20 54 61 62 6c  ntext = new Tabl
01e0: 65 3b 20 7d 0d 0a 0d 0a 09 2f 2f 2f 20 45 76 61  e; }...../// Eva
01f0: 6c 75 61 74 65 20 74 68 65 20 41 53 54 0d 0a 09  luate the AST...
0200: 56 61 6c 75 65 20 65 76 61 6c 41 53 54 28 41 53  Value evalAST(AS
0210: 54 20 65 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75  T e)...{....retu
0220: 72 6e 20 65 76 61 6c 28 65 2c 20 56 61 6c 75 65  rn eval(e, Value
0230: 4c 61 79 65 72 2c 20 74 68 65 43 6f 6e 74 65 78  Layer, theContex
0240: 74 2c 20 4f 76 65 72 77 72 69 74 65 43 74 78 29  t, OverwriteCtx)
0250: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f 20 45 76  ;...}...../// Ev
0260: 61 6c 75 61 74 65 20 74 68 65 20 73 74 72 69 6e  aluate the strin
0270: 67 0d 0a 09 56 61 6c 75 65 20 65 76 61 6c 53 74  g...Value evalSt
0280: 72 69 6e 67 28 53 2c 54 2e 2e 2e 29 28 53 20 73  ring(S,T...)(S s
0290: 74 72 2c 20 54 20 66 6e 5f 6c 6e 5f 63 6e 29 0d  tr, T fn_ln_cn).
02a0: 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 65 76  ..{....return ev
02b0: 61 6c 41 53 54 28 70 61 72 73 65 53 74 72 69 6e  alAST(parseStrin
02c0: 67 28 73 74 72 2c 66 6e 5f 6c 6e 5f 63 6e 29 29  g(str,fn_ln_cn))
02d0: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f 20 45 76  ;...}...../// Ev
02e0: 61 6c 75 61 74 65 20 74 68 65 20 66 69 6c 65 0d  aluate the file.
02f0: 0a 09 56 61 6c 75 65 20 65 76 61 6c 46 69 6c 65  ..Value evalFile
0300: 28 53 2c 54 2e 2e 2e 29 28 53 20 66 69 6c 65 6e  (S,T...)(S filen
0310: 61 6d 65 2c 20 54 20 6c 6e 5f 63 6e 29 0d 0a 09  ame, T ln_cn)...
0320: 7b 0d 0a 09 09 72 65 74 75 72 6e 20 65 76 61 6c  {....return eval
0330: 41 53 54 28 70 61 72 73 65 46 69 6c 65 28 66 69  AST(parseFile(fi
0340: 6c 65 6e 61 6d 65 2c 6c 6e 5f 63 6e 29 29 3b 0d  lename,ln_cn));.
0350: 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f 20 47 65 74 20  ..}...../// Get 
0360: 74 68 65 20 67 6c 6f 62 61 6c 20 63 6f 6e 74 65  the global conte
0370: 78 74 0d 0a 09 54 61 62 6c 65 20 67 6c 6f 62 61  xt...Table globa
0380: 6c 43 6f 6e 74 65 78 74 28 29 0d 0a 09 7b 0d 0a  lContext()...{..
0390: 09 09 72 65 74 75 72 6e 20 74 68 65 43 6f 6e 74  ..return theCont
03a0: 65 78 74 3b 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 76  ext;...}....priv
03b0: 61 74 65 3a 0d 0a 09 54 61 62 6c 65 20 74 68 65  ate:...Table the
03c0: 43 6f 6e 74 65 78 74 3b 0d 0a 0d 0a 09 65 6e 75  Context;.....enu
03d0: 6d 20 3a 20 62 6f 6f 6c 20 7b 20 43 61 73 63 61  m : bool { Casca
03e0: 64 65 43 74 78 3d 66 61 6c 73 65 2c 20 4f 76 65  deCtx=false, Ove
03f0: 72 77 72 69 74 65 43 74 78 3d 74 72 75 65 20 7d  rwriteCtx=true }
0400: 3b 0d 0a 09 56 61 6c 75 65 20 65 76 61 6c 28 20  ;...Value eval( 
0410: 41 53 54 20 65 2c 20 4c 61 79 65 72 20 6c 61 79  AST e, Layer lay
0420: 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f  , Table ctx, boo
0430: 6c 20 6f 76 65 72 77 72 69 74 65 43 74 78 3d 43  l overwriteCtx=C
0440: 61 73 63 61 64 65 43 74 78 20 29 0d 0a 09 7b 0d  ascadeCtx )...{.
0450: 0a 09 09 2f 2f 20 64 79 6e 61 6d 69 63 2d 6f 76  ...// dynamic-ov
0460: 65 72 6c 6f 61 64 2d 72 65 73 6f 6c 75 74 69 6f  erload-resolutio
0470: 6e 2d 70 61 74 74 65 72 6e 3a 20 6d 6f 64 69 66  n-pattern: modif
0480: 79 20 68 65 72 65 0d 0a 09 09 65 6e 75 6d 20 66  y here....enum f
0490: 75 6e 4e 61 6d 65 20 3d 20 22 65 76 61 6c 22 3b  unName = "eval";
04a0: 0d 0a 09 09 61 6c 69 61 73 20 54 79 70 65 54 75  ....alias TypeTu
04b0: 70 6c 65 21 28 65 2c 6c 61 79 2c 63 74 78 2c 6f  ple!(e,lay,ctx,o
04c0: 76 65 72 77 72 69 74 65 43 74 78 29 20 70 61 72  verwriteCtx) par
04d0: 61 6d 73 3b 0d 0a 0d 0a 09 09 2f 2f 20 64 79 6e  ams;......// dyn
04e0: 61 6d 69 63 2d 6f 76 65 72 6c 6f 61 64 2d 72 65  amic-overload-re
04f0: 73 6f 6c 75 74 69 6f 6e 2d 70 61 74 74 65 72 6e  solution-pattern
0500: 3a 20 64 69 73 70 61 74 63 68 0d 0a 09 09 61 6c  : dispatch....al
0510: 69 61 73 20 74 79 70 65 6f 66 28 5f 5f 74 72 61  ias typeof(__tra
0520: 69 74 73 28 67 65 74 4f 76 65 72 6c 6f 61 64 73  its(getOverloads
0530: 2c 20 74 68 69 73 2c 20 66 75 6e 4e 61 6d 65 29  , this, funName)
0540: 29 20 6f 76 54 79 70 65 73 3b 0d 0a 09 09 61 6c  ) ovTypes;....al
0550: 69 61 73 20 73 74 61 74 69 63 4d 61 70 21 28 66  ias staticMap!(f
0560: 69 72 73 74 50 61 72 61 6d 2c 20 6f 76 54 79 70  irstParam, ovTyp
0570: 65 73 29 20 20 20 20 20 20 20 20 20 20 20 20 20  es)             
0580: 20 66 73 74 54 79 70 65 73 3b 0d 0a 09 09 61 6c   fstTypes;....al
0590: 69 61 73 20 44 65 72 69 76 65 64 54 6f 46 72 6f  ias DerivedToFro
05a0: 6e 74 21 28 66 73 74 54 79 70 65 73 29 20 20 20  nt!(fstTypes)   
05b0: 20 20 20 20 20 20 20 20 20 20 66 73 74 54 79 70            fstTyp
05c0: 65 73 5f 73 6f 72 74 65 64 3b 0d 0a 09 09 66 6f  es_sorted;....fo
05d0: 72 65 61 63 68 28 69 2c 20 54 3b 20 66 73 74 54  reach(i, T; fstT
05e0: 79 70 65 73 5f 73 6f 72 74 65 64 29 0d 0a 09 09  ypes_sorted)....
05f0: 09 73 74 61 74 69 63 20 69 66 28 20 69 73 28 54  .static if( is(T
0600: 20 3d 3d 20 74 79 70 65 6f 66 28 70 61 72 61 6d   == typeof(param
0610: 73 5b 30 5d 29 29 20 29 20 7b 7d 20 65 6c 73 65  s[0])) ) {} else
0620: 20 69 66 28 20 61 75 74 6f 20 5f 78 20 3d 20 63   if( auto _x = c
0630: 61 73 74 28 54 29 70 61 72 61 6d 73 5b 30 5d 20  ast(T)params[0] 
0640: 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 5f 5f  )......return __
0650: 74 72 61 69 74 73 28 67 65 74 4f 76 65 72 6c 6f  traits(getOverlo
0660: 61 64 73 2c 20 74 68 69 73 2c 20 66 75 6e 4e 61  ads, this, funNa
0670: 6d 65 29 5b 69 5d 28 5f 78 2c 20 70 61 72 61 6d  me)[i](_x, param
0680: 73 5b 31 2e 2e 24 5d 29 3b 0d 0a 0d 0a 09 09 2f  s[1..$]);....../
0690: 2f 20 64 79 6e 61 6d 69 63 2d 6f 76 65 72 6c 6f  / dynamic-overlo
06a0: 61 64 2d 72 65 73 6f 6c 75 74 69 6f 6e 2d 70 61  ad-resolution-pa
06b0: 74 74 65 72 6e 3a 20 64 65 66 61 75 6c 74 20 62  ttern: default b
06c0: 65 68 61 76 69 6f 72 0d 0a 09 09 61 73 73 65 72  ehavior....asser
06d0: 74 28 66 61 6c 73 65 2c 20 74 65 78 74 28 22 65  t(false, text("e
06e0: 76 61 6c 28 29 20 66 6f 72 20 22 2c 74 79 70 65  val() for ",type
06f0: 69 64 28 65 29 2c 22 20 5b 22 2c 65 2e 70 6f 73  id(e)," [",e.pos
0700: 2c 22 5d 20 69 73 20 6e 6f 74 20 64 65 66 69 6e  ,"] is not defin
0710: 65 64 22 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56  ed"));...}.....V
0720: 61 6c 75 65 20 65 76 61 6c 28 20 53 74 72 20 65  alue eval( Str e
0730: 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62  , Layer lay, Tab
0740: 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65  le ctx, bool ove
0750: 72 77 72 69 74 65 43 74 78 3d 43 61 73 63 61 64  rwriteCtx=Cascad
0760: 65 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 69 66  eCtx )...{....if
0770: 28 20 69 73 4d 61 63 72 6f 69 73 68 4c 61 79 65  ( isMacroishLaye
0780: 72 28 6c 61 79 29 20 29 0d 0a 09 09 09 72 65 74  r(lay) ).....ret
0790: 75 72 6e 20 61 73 74 32 74 61 62 6c 65 28 65 2c  urn ast2table(e,
07a0: 20 28 41 53 54 20 65 29 7b 72 65 74 75 72 6e 20   (AST e){return 
07b0: 65 76 61 6c 28 65 2c 6c 61 79 2c 63 74 78 29 3b  eval(e,lay,ctx);
07c0: 7d 29 3b 0d 0a 09 09 69 66 28 20 6c 61 79 3d 3d  });....if( lay==
07d0: 56 61 6c 75 65 4c 61 79 65 72 20 29 0d 0a 09 09  ValueLayer )....
07e0: 09 72 65 74 75 72 6e 20 6e 65 77 20 53 74 72 56  .return new StrV
07f0: 61 6c 75 65 28 65 2e 64 61 74 61 29 3b 0d 0a 09  alue(e.data);...
0800: 09 72 65 74 75 72 6e 20 6c 69 66 74 28 6e 65 77  .return lift(new
0810: 20 53 74 72 56 61 6c 75 65 28 65 2e 64 61 74 61   StrValue(e.data
0820: 29 2c 20 6c 61 79 2c 20 63 74 78 2c 20 65 2e 70  ), lay, ctx, e.p
0830: 6f 73 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c  os);...}.....Val
0840: 75 65 20 65 76 61 6c 28 20 49 6e 74 20 65 2c 20  ue eval( Int e, 
0850: 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65  Layer lay, Table
0860: 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 77   ctx, bool overw
0870: 72 69 74 65 43 74 78 3d 43 61 73 63 61 64 65 43  riteCtx=CascadeC
0880: 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20  tx )...{....if( 
0890: 69 73 4d 61 63 72 6f 69 73 68 4c 61 79 65 72 28  isMacroishLayer(
08a0: 6c 61 79 29 20 29 0d 0a 09 09 09 72 65 74 75 72  lay) ).....retur
08b0: 6e 20 61 73 74 32 74 61 62 6c 65 28 65 2c 20 28  n ast2table(e, (
08c0: 41 53 54 20 65 29 7b 72 65 74 75 72 6e 20 65 76  AST e){return ev
08d0: 61 6c 28 65 2c 6c 61 79 2c 63 74 78 29 3b 7d 29  al(e,lay,ctx);})
08e0: 3b 0d 0a 09 09 69 66 28 20 6c 61 79 3d 3d 56 61  ;....if( lay==Va
08f0: 6c 75 65 4c 61 79 65 72 20 29 0d 0a 09 09 09 72  lueLayer ).....r
0900: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c  eturn new IntVal
0910: 75 65 28 65 2e 64 61 74 61 29 3b 0d 0a 09 09 72  ue(e.data);....r
0920: 65 74 75 72 6e 20 6c 69 66 74 28 6e 65 77 20 49  eturn lift(new I
0930: 6e 74 56 61 6c 75 65 28 65 2e 64 61 74 61 29 2c  ntValue(e.data),
0940: 20 6c 61 79 2c 20 63 74 78 2c 20 65 2e 70 6f 73   lay, ctx, e.pos
0950: 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c 75 65  );...}.....Value
0960: 20 65 76 61 6c 28 20 56 61 72 20 65 2c 20 4c 61   eval( Var e, La
0970: 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63  yer lay, Table c
0980: 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 77 72 69  tx, bool overwri
0990: 74 65 43 74 78 3d 43 61 73 63 61 64 65 43 74 78  teCtx=CascadeCtx
09a0: 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69 73   )...{....if( is
09b0: 4d 61 63 72 6f 69 73 68 4c 61 79 65 72 28 6c 61  MacroishLayer(la
09c0: 79 29 20 29 0d 0a 09 09 09 69 66 28 20 63 74 78  y) ).....if( ctx
09d0: 2e 68 61 73 28 65 2e 6e 61 6d 65 2c 4d 61 63 72  .has(e.name,Macr
09e0: 6f 4c 61 79 65 72 29 20 29 0d 0a 09 09 09 09 72  oLayer) )......r
09f0: 65 74 75 72 6e 20 63 74 78 2e 67 65 74 28 65 2e  eturn ctx.get(e.
0a00: 6e 61 6d 65 2c 20 4d 61 63 72 6f 4c 61 79 65 72  name, MacroLayer
0a10: 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 09 09 65 6c  , e.pos);.....el
0a20: 73 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 61  se......return a
0a30: 73 74 32 74 61 62 6c 65 28 65 2c 20 28 41 53 54  st2table(e, (AST
0a40: 20 65 29 7b 72 65 74 75 72 6e 20 65 76 61 6c 28   e){return eval(
0a50: 65 2c 6c 61 79 2c 63 74 78 29 3b 7d 29 3b 0d 0a  e,lay,ctx);});..
0a60: 09 09 69 66 28 20 6c 61 79 3d 3d 56 61 6c 75 65  ..if( lay==Value
0a70: 4c 61 79 65 72 20 7c 7c 20 63 74 78 2e 68 61 73  Layer || ctx.has
0a80: 28 65 2e 6e 61 6d 65 2c 20 6c 61 79 29 20 29 0d  (e.name, lay) ).
0a90: 0a 09 09 09 72 65 74 75 72 6e 20 63 74 78 2e 67  ....return ctx.g
0aa0: 65 74 28 65 2e 6e 61 6d 65 2c 20 6c 61 79 2c 20  et(e.name, lay, 
0ab0: 65 2e 70 6f 73 29 3b 0d 0a 09 09 72 65 74 75 72  e.pos);....retur
0ac0: 6e 20 6c 69 66 74 28 63 74 78 2e 67 65 74 28 65  n lift(ctx.get(e
0ad0: 2e 6e 61 6d 65 2c 20 56 61 6c 75 65 4c 61 79 65  .name, ValueLaye
0ae0: 72 2c 20 65 2e 70 6f 73 29 2c 20 6c 61 79 2c 20  r, e.pos), lay, 
0af0: 63 74 78 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 7d  ctx, e.pos);...}
0b00: 0d 0a 0d 0a 09 56 61 6c 75 65 20 65 76 61 6c 28  .....Value eval(
0b10: 20 41 70 70 20 65 2c 20 4c 61 79 65 72 20 6c 61   App e, Layer la
0b20: 79 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f  y, Table ctx, bo
0b30: 6f 6c 20 6f 76 65 72 77 72 69 74 65 43 74 78 3d  ol overwriteCtx=
0b40: 43 61 73 63 61 64 65 43 74 78 20 29 0d 0a 09 7b  CascadeCtx )...{
0b50: 0d 0a 09 09 56 61 6c 75 65 20 66 20 3d 20 65 76  ....Value f = ev
0b60: 61 6c 28 20 65 2e 66 75 6e 2c 20 6c 61 79 2c 20  al( e.fun, lay, 
0b70: 63 74 78 20 29 3b 0d 0a 09 09 69 66 28 20 69 73  ctx );....if( is
0b80: 4d 61 63 72 6f 69 73 68 4c 61 79 65 72 28 6c 61  MacroishLayer(la
0b90: 79 29 20 29 0d 0a 09 09 09 69 66 28 20 61 75 74  y) ).....if( aut
0ba0: 6f 20 66 66 20 3d 20 63 61 73 74 28 46 75 6e 56  o ff = cast(FunV
0bb0: 61 6c 75 65 29 66 20 29 0d 0a 09 09 09 09 72 65  alue)f )......re
0bc0: 74 75 72 6e 20 69 6e 76 6f 6b 65 46 75 6e 63 74  turn invokeFunct
0bd0: 69 6f 6e 28 66 66 2c 20 65 2e 61 72 67 73 2c 20  ion(ff, e.args, 
0be0: 4d 61 63 72 6f 4c 61 79 65 72 2c 20 63 74 78 2c  MacroLayer, ctx,
0bf0: 20 65 2e 70 6f 73 29 3b 0d 0a 09 09 09 65 6c 73   e.pos);.....els
0c00: 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 61 73  e......return as
0c10: 74 32 74 61 62 6c 65 28 65 2c 20 28 41 53 54 20  t2table(e, (AST 
0c20: 65 29 7b 72 65 74 75 72 6e 20 65 76 61 6c 28 65  e){return eval(e
0c30: 2c 6c 61 79 2c 63 74 78 29 3b 7d 29 3b 0d 0a 09  ,lay,ctx);});...
0c40: 09 72 65 74 75 72 6e 20 69 6e 76 6f 6b 65 46 75  .return invokeFu
0c50: 6e 63 74 69 6f 6e 28 66 2c 20 65 2e 61 72 67 73  nction(f, e.args
0c60: 2c 20 6c 61 79 2c 20 63 74 78 2c 20 65 2e 70 6f  , lay, ctx, e.po
0c70: 73 29 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 56 61 6c  s);...}......Val
0c80: 75 65 20 65 76 61 6c 28 20 46 75 6e 20 65 2c 20  ue eval( Fun e, 
0c90: 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65  Layer lay, Table
0ca0: 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 77   ctx, bool overw
0cb0: 72 69 74 65 43 74 78 3d 43 61 73 63 61 64 65 43  riteCtx=CascadeC
0cc0: 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20  tx )...{....if( 
0cd0: 69 73 4d 61 63 72 6f 69 73 68 4c 61 79 65 72 28  isMacroishLayer(
0ce0: 6c 61 79 29 20 29 0d 0a 09 09 09 72 65 74 75 72  lay) ).....retur
0cf0: 6e 20 61 73 74 32 74 61 62 6c 65 28 65 2c 20 28  n ast2table(e, (
0d00: 41 53 54 20 65 29 7b 72 65 74 75 72 6e 20 65 76  AST e){return ev
0d10: 61 6c 28 65 2c 6c 61 79 2c 63 74 78 29 3b 7d 29  al(e,lay,ctx);})
0d20: 3b 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 09 72 65  ;....else.....re
0d30: 74 75 72 6e 20 63 72 65 61 74 65 4e 65 77 46 75  turn createNewFu
0d40: 6e 63 74 69 6f 6e 28 65 2c 20 63 74 78 29 3b 0d  nction(e, ctx);.
0d50: 0a 09 7d 0d 0a 09 0d 0a 09 56 61 6c 75 65 20 65  ..}......Value e
0d60: 76 61 6c 28 20 4c 61 79 20 65 2c 20 4c 61 79 65  val( Lay e, Laye
0d70: 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78  r lay, Table ctx
0d80: 2c 20 62 6f 6f 6c 20 6f 76 65 72 77 72 69 74 65  , bool overwrite
0d90: 43 74 78 3d 43 61 73 63 61 64 65 43 74 78 20 29  Ctx=CascadeCtx )
0da0: 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69 73 4e 6f  ...{....if( isNo
0db0: 4c 61 79 65 72 43 68 61 6e 67 65 4c 61 79 65 72  LayerChangeLayer
0dc0: 28 6c 61 79 29 20 29 0d 0a 09 09 09 72 65 74 75  (lay) ).....retu
0dd0: 72 6e 20 61 73 74 32 74 61 62 6c 65 28 65 2c 20  rn ast2table(e, 
0de0: 28 41 53 54 20 65 29 7b 72 65 74 75 72 6e 20 65  (AST e){return e
0df0: 76 61 6c 28 65 2c 6c 61 79 2c 63 74 78 29 3b 7d  val(e,lay,ctx);}
0e00: 29 3b 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 09 72  );....else.....r
0e10: 65 74 75 72 6e 20 65 76 61 6c 28 65 2e 65 78 70  eturn eval(e.exp
0e20: 72 2c 20 65 2e 6c 61 79 65 72 2c 20 63 74 78 29  r, e.layer, ctx)
0e30: 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 56 61 6c 75 65  ;...}......Value
0e40: 20 65 76 61 6c 28 20 4c 65 74 20 65 2c 20 4c 61   eval( Let e, La
0e50: 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63  yer lay, Table c
0e60: 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 77 72 69  tx, bool overwri
0e70: 74 65 43 74 78 3d 43 61 73 63 61 64 65 43 74 78  teCtx=CascadeCtx
0e80: 20 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 20 74 6f 64   )...{....// tod
0e90: 6f 20 40 6d 61 63 72 6f 20 6c 65 74 0d 0a 09 09  o @macro let....
0ea0: 69 66 28 20 69 73 4d 61 63 72 6f 69 73 68 4c 61  if( isMacroishLa
0eb0: 79 65 72 28 6c 61 79 29 20 29 0d 0a 09 09 09 72  yer(lay) ).....r
0ec0: 65 74 75 72 6e 20 61 73 74 32 74 61 62 6c 65 28  eturn ast2table(
0ed0: 65 2c 20 28 41 53 54 20 65 29 7b 72 65 74 75 72  e, (AST e){retur
0ee0: 6e 20 65 76 61 6c 28 65 2c 6c 61 79 2c 63 74 78  n eval(e,lay,ctx
0ef0: 29 3b 7d 29 3b 0d 0a 09 09 65 6c 73 65 0d 0a 09  );});....else...
0f00: 09 7b 0d 0a 09 09 09 69 66 28 20 21 6f 76 65 72  .{.....if( !over
0f10: 77 72 69 74 65 43 74 78 20 29 0d 0a 09 09 09 09  writeCtx )......
0f20: 63 74 78 20 3d 20 6e 65 77 20 54 61 62 6c 65 28  ctx = new Table(
0f30: 63 74 78 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e  ctx, Table.Kind.
0f40: 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 29  NotPropagateSet)
0f50: 3b 0d 0a 09 09 09 56 61 6c 75 65 20 72 69 20 3d  ;.....Value ri =
0f60: 20 65 76 61 6c 28 65 2e 69 6e 69 74 2c 20 6c 61   eval(e.init, la
0f70: 79 2c 20 63 74 78 29 3b 0d 0a 09 09 09 73 74 72  y, ctx);.....str
0f80: 69 6e 67 20 74 68 65 4c 61 79 65 72 20 3d 20 65  ing theLayer = e
0f90: 2e 6c 61 79 65 72 2e 65 6d 70 74 79 20 3f 20 6c  .layer.empty ? l
0fa0: 61 79 20 3a 20 65 2e 6c 61 79 65 72 3b 20 2f 2f  ay : e.layer; //
0fb0: 20 6e 65 75 74 72 61 6c 20 6c 61 79 65 72 0d 0a   neutral layer..
0fc0: 09 09 09 63 74 78 2e 73 65 74 28 65 2e 6e 61 6d  ...ctx.set(e.nam
0fd0: 65 2c 20 74 68 65 4c 61 79 65 72 2c 20 72 69 29  e, theLayer, ri)
0fe0: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 76 61  ;.....return eva
0ff0: 6c 28 65 2e 65 78 70 72 2c 20 6c 61 79 2c 20 63  l(e.expr, lay, c
1000: 74 78 2c 20 4f 76 65 72 77 72 69 74 65 43 74 78  tx, OverwriteCtx
1010: 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 70  );....}...}....p
1020: 72 69 76 61 74 65 3a 0d 0a 09 56 61 6c 75 65 20  rivate:...Value 
1030: 69 6e 76 6f 6b 65 46 75 6e 63 74 69 6f 6e 28 56  invokeFunction(V
1040: 61 6c 75 65 20 5f 66 2c 20 41 53 54 5b 5d 20 61  alue _f, AST[] a
1050: 72 67 73 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20  rgs, Layer lay, 
1060: 54 61 62 6c 65 20 63 74 78 2c 20 4c 65 78 50 6f  Table ctx, LexPo
1070: 73 69 74 69 6f 6e 20 70 6f 73 3d 6e 75 6c 6c 29  sition pos=null)
1080: 0d 0a 09 7b 0d 0a 09 09 69 66 28 61 75 74 6f 20  ...{....if(auto 
1090: 66 20 3d 20 63 61 73 74 28 46 75 6e 56 61 6c 75  f = cast(FunValu
10a0: 65 29 5f 66 29 0d 0a 09 09 7b 0d 0a 09 09 09 54  e)_f)....{.....T
10b0: 61 62 6c 65 20 6e 65 77 43 74 78 20 3d 20 6e 65  able newCtx = ne
10c0: 77 20 54 61 62 6c 65 28 66 2e 64 65 66 69 6e 69  w Table(f.defini
10d0: 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 2c 20 54  tionContext(), T
10e0: 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f  able.Kind.NotPro
10f0: 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 09 09  pagateSet);.....
1100: 66 6f 72 65 61 63 68 28 69 2c 70 3b 20 66 2e 70  foreach(i,p; f.p
1110: 61 72 61 6d 73 28 29 29 0d 0a 09 09 09 09 69 66  arams())......if
1120: 28 20 70 2e 6c 61 79 65 72 73 2e 65 6d 70 74 79  ( p.layers.empty
1130: 20 29 0d 0a 09 09 09 09 09 6e 65 77 43 74 78 2e   ).......newCtx.
1140: 73 65 74 28 70 2e 6e 61 6d 65 2c 20 28 6c 61 79  set(p.name, (lay
1150: 3d 3d 52 61 77 4d 61 63 72 6f 4c 61 79 65 72 20  ==RawMacroLayer 
1160: 3f 20 4d 61 63 72 6f 4c 61 79 65 72 20 3a 20 6c  ? MacroLayer : l
1170: 61 79 29 2c 20 65 76 61 6c 28 61 72 67 73 5b 69  ay), eval(args[i
1180: 5d 2c 20 6c 61 79 2c 20 63 74 78 29 29 3b 0d 0a  ], lay, ctx));..
1190: 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 66  ....else.......f
11a0: 6f 72 65 61 63 68 28 61 72 67 4c 61 79 3b 20 70  oreach(argLay; p
11b0: 2e 6c 61 79 65 72 73 29 0d 0a 09 09 09 09 09 09  .layers)........
11c0: 6e 65 77 43 74 78 2e 73 65 74 28 70 2e 6e 61 6d  newCtx.set(p.nam
11d0: 65 2c 20 61 72 67 4c 61 79 2c 20 65 76 61 6c 28  e, argLay, eval(
11e0: 61 72 67 73 5b 69 5d 2c 20 61 72 67 4c 61 79 2c  args[i], argLay,
11f0: 20 63 74 78 29 29 3b 0d 0a 09 09 09 72 65 74 75   ctx));.....retu
1200: 72 6e 20 66 2e 69 6e 76 6f 6b 65 28 6c 61 79 3d  rn f.invoke(lay=
1210: 3d 52 61 77 4d 61 63 72 6f 4c 61 79 65 72 20 3f  =RawMacroLayer ?
1220: 20 4d 61 63 72 6f 4c 61 79 65 72 20 3a 20 6c 61   MacroLayer : la
1230: 79 2c 20 6e 65 77 43 74 78 2c 20 70 6f 73 29 3b  y, newCtx, pos);
1240: 0d 0a 09 09 7d 0d 0a 09 09 74 68 72 6f 77 20 67  ....}....throw g
1250: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65  enex!RuntimeExce
1260: 70 74 69 6f 6e 28 70 6f 73 2c 20 74 65 78 74 28  ption(pos, text(
1270: 22 74 72 69 65 64 20 74 6f 20 63 61 6c 6c 20 6e  "tried to call n
1280: 6f 6e 2d 66 75 6e 63 74 69 6f 6e 3a 20 22 2c 5f  on-function: ",_
1290: 66 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c  f));...}.....Val
12a0: 75 65 20 6c 69 66 74 28 56 61 6c 75 65 20 76 2c  ue lift(Value v,
12b0: 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c   Layer lay, Tabl
12c0: 65 20 63 74 78 2c 20 4c 65 78 50 6f 73 69 74 69  e ctx, LexPositi
12d0: 6f 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d 0a 09 7b  on pos=null)...{
12e0: 0d 0a 09 09 61 73 73 65 72 74 28 20 21 69 73 4d  ....assert( !isM
12f0: 61 63 72 6f 69 73 68 4c 61 79 65 72 28 6c 61 79  acroishLayer(lay
1300: 29 2c 20 22 6c 69 66 74 20 74 6f 20 74 68 65 20  ), "lift to the 
1310: 40 6d 61 63 72 6f 20 6c 61 79 65 72 20 73 68 6f  @macro layer sho
1320: 75 6c 64 20 6e 6f 74 20 68 61 70 70 65 6e 22 20  uld not happen" 
1330: 29 3b 0d 0a 0d 0a 09 09 2f 2f 20 66 75 6e 63 74  );......// funct
1340: 69 6f 6e 73 20 61 72 65 20 61 75 74 6f 6d 61 74  ions are automat
1350: 69 63 61 6c 6c 79 20 6c 69 66 74 65 72 64 0d 0a  ically lifterd..
1360: 09 09 69 66 28 20 63 61 73 74 28 46 75 6e 56 61  ..if( cast(FunVa
1370: 6c 75 65 29 20 76 20 29 0d 0a 09 09 09 72 65 74  lue) v ).....ret
1380: 75 72 6e 20 76 3b 0d 0a 0d 0a 09 09 2f 2f 20 73  urn v;......// s
1390: 69 6d 69 6c 61 72 20 74 6f 20 69 6e 76 6f 6b 65  imilar to invoke
13a0: 20 46 75 6e 63 74 69 6f 6e 2c 20 62 75 74 20 77   Function, but w
13b0: 69 74 68 20 6f 6e 6c 79 20 6f 6e 65 20 61 72 67  ith only one arg
13c0: 75 6d 65 6e 74 20 62 6f 75 6e 64 20 74 6f 20 56  ument bound to V
13d0: 61 6c 75 65 4c 61 79 65 72 0d 0a 09 09 69 66 28  alueLayer....if(
13e0: 61 75 74 6f 20 66 20 3d 20 63 61 73 74 28 46 75  auto f = cast(Fu
13f0: 6e 56 61 6c 75 65 29 63 74 78 2e 67 65 74 28 6c  nValue)ctx.get(l
1400: 61 79 2c 20 53 79 73 74 65 6d 4c 61 79 65 72 2c  ay, SystemLayer,
1410: 20 70 6f 73 29 29 0d 0a 09 09 7b 0d 0a 09 09 09   pos))....{.....
1420: 54 61 62 6c 65 20 6e 65 77 43 74 78 20 3d 20 6e  Table newCtx = n
1430: 65 77 20 54 61 62 6c 65 28 66 2e 64 65 66 69 6e  ew Table(f.defin
1440: 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 2c 20  itionContext(), 
1450: 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72  Table.Kind.NotPr
1460: 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 09  opagateSet);....
1470: 09 61 75 74 6f 20 70 73 20 3d 20 66 2e 70 61 72  .auto ps = f.par
1480: 61 6d 73 28 29 3b 0d 0a 09 09 09 69 66 28 20 70  ams();.....if( p
1490: 73 2e 6c 65 6e 67 74 68 20 21 3d 20 31 20 29 0d  s.length != 1 ).
14a0: 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78  .....throw genex
14b0: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f  !RuntimeExceptio
14c0: 6e 28 70 6f 73 2c 20 22 6c 69 66 74 20 66 75 6e  n(pos, "lift fun
14d0: 63 74 69 6f 6e 20 6d 75 73 74 20 74 61 6b 65 20  ction must take 
14e0: 65 78 61 63 74 6c 79 20 6f 6e 65 20 61 72 67 75  exactly one argu
14f0: 6d 65 6e 74 20 61 74 20 22 7e 56 61 6c 75 65 4c  ment at "~ValueL
1500: 61 79 65 72 7e 22 20 6c 61 79 65 72 22 29 3b 0d  ayer~" layer");.
1510: 0a 09 09 09 69 66 28 20 70 73 5b 30 5d 2e 6c 61  ....if( ps[0].la
1520: 79 65 72 73 2e 6c 65 6e 67 74 68 3d 3d 30 20 7c  yers.length==0 |
1530: 7c 20 70 73 5b 30 5d 2e 6c 61 79 65 72 73 2e 6c  | ps[0].layers.l
1540: 65 6e 67 74 68 3d 3d 31 20 26 26 20 70 73 5b 30  ength==1 && ps[0
1550: 5d 2e 6c 61 79 65 72 73 5b 30 5d 3d 3d 56 61 6c  ].layers[0]==Val
1560: 75 65 4c 61 79 65 72 20 29 0d 0a 09 09 09 7b 0d  ueLayer ).....{.
1570: 0a 09 09 09 09 6e 65 77 43 74 78 2e 73 65 74 28  .....newCtx.set(
1580: 70 73 5b 30 5d 2e 6e 61 6d 65 2c 20 56 61 6c 75  ps[0].name, Valu
1590: 65 4c 61 79 65 72 2c 20 76 29 3b 0d 0a 09 09 09  eLayer, v);.....
15a0: 09 72 65 74 75 72 6e 20 66 2e 69 6e 76 6f 6b 65  .return f.invoke
15b0: 28 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77  (ValueLayer, new
15c0: 43 74 78 2c 20 70 6f 73 29 3b 0d 0a 09 09 09 7d  Ctx, pos);.....}
15d0: 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 74  .....else......t
15e0: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69  hrow genex!Runti
15f0: 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c  meException(pos,
1600: 20 22 6c 69 66 74 20 66 75 6e 63 74 69 6f 6e 20   "lift function 
1610: 6d 75 73 74 20 74 61 6b 65 20 65 78 61 63 74 6c  must take exactl
1620: 79 20 6f 6e 65 20 61 72 67 75 6d 65 6e 74 20 61  y one argument a
1630: 74 20 22 7e 56 61 6c 75 65 4c 61 79 65 72 7e 22  t "~ValueLayer~"
1640: 20 6c 61 79 65 72 22 29 3b 0d 0a 09 09 7d 0d 0a   layer");....}..
1650: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75  ..throw genex!Ru
1660: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70  ntimeException(p
1670: 6f 73 2c 20 22 74 72 69 65 64 20 74 6f 20 63 61  os, "tried to ca
1680: 6c 6c 20 6e 6f 6e 2d 66 75 6e 63 74 69 6f 6e 22  ll non-function"
1690: 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c 75 65  );...}.....Value
16a0: 20 63 72 65 61 74 65 4e 65 77 46 75 6e 63 74 69   createNewFuncti
16b0: 6f 6e 28 46 75 6e 20 65 2c 20 54 61 62 6c 65 20  on(Fun e, Table 
16c0: 63 74 78 29 0d 0a 09 7b 0d 0a 09 09 63 6c 61 73  ctx)...{....clas
16d0: 73 20 55 73 65 72 44 65 66 69 6e 65 64 46 75 6e  s UserDefinedFun
16e0: 56 61 6c 75 65 20 3a 20 46 75 6e 56 61 6c 75 65  Value : FunValue
16f0: 0d 0a 09 09 7b 0d 0a 09 09 09 46 75 6e 20 61 73  ....{.....Fun as
1700: 74 3b 0d 0a 09 09 09 54 61 62 6c 65 20 20 20 20  t;.....Table    
1710: 20 20 64 65 66 43 74 78 3b 0d 0a 09 09 09 6f 76    defCtx;.....ov
1720: 65 72 72 69 64 65 20 63 6f 6e 73 74 28 50 61 72  erride const(Par
1730: 61 6d 65 74 65 72 5b 5d 29 20 70 61 72 61 6d 73  ameter[]) params
1740: 28 29 20 7b 20 72 65 74 75 72 6e 20 61 73 74 2e  () { return ast.
1750: 70 61 72 61 6d 73 3b 20 7d 0d 0a 09 09 09 6f 76  params; }.....ov
1760: 65 72 72 69 64 65 20 54 61 62 6c 65 20 64 65 66  erride Table def
1770: 69 6e 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29  initionContext()
1780: 20 7b 20 72 65 74 75 72 6e 20 64 65 66 43 74 78   { return defCtx
1790: 3b 20 7d 0d 0a 0d 0a 09 09 09 74 68 69 73 28 46  ; }.......this(F
17a0: 75 6e 20 61 73 74 2c 20 54 61 62 6c 65 20 64 65  un ast, Table de
17b0: 66 43 74 78 29 20 7b 20 74 68 69 73 2e 61 73 74  fCtx) { this.ast
17c0: 3d 61 73 74 3b 20 74 68 69 73 2e 64 65 66 43 74  =ast; this.defCt
17d0: 78 3d 64 65 66 43 74 78 3b 20 7d 0d 0a 09 09 09  x=defCtx; }.....
17e0: 6f 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 20  override string 
17f0: 74 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 74  toString() const
1800: 20 7b 20 72 65 74 75 72 6e 20 73 70 72 69 6e 74   { return sprint
1810: 66 21 22 28 66 75 6e 63 74 69 6f 6e 3a 25 78 3a  f!"(function:%x:
1820: 25 78 29 22 28 63 61 73 74 28 76 6f 69 64 2a 29  %x)"(cast(void*)
1830: 61 73 74 2c 20 63 61 73 74 28 76 6f 69 64 2a 29  ast, cast(void*)
1840: 64 65 66 43 74 78 29 3b 20 7d 0d 0a 09 09 09 6f  defCtx); }.....o
1850: 76 65 72 72 69 64 65 20 62 6f 6f 6c 20 6f 70 45  verride bool opE
1860: 71 75 61 6c 73 28 4f 62 6a 65 63 74 20 72 68 73  quals(Object rhs
1870: 5f 29 20 63 6f 6e 73 74 20 2f 2f 2f 20 6d 65 6d  _) const /// mem
1880: 62 65 72 2d 62 79 2d 6d 65 6d 62 65 72 20 65 71  ber-by-member eq
1890: 75 61 6c 69 74 79 0d 0a 09 09 09 7b 0d 0a 09 09  uality.....{....
18a0: 09 09 69 66 28 20 61 75 74 6f 20 72 68 73 20 3d  ..if( auto rhs =
18b0: 20 63 61 73 74 28 74 79 70 65 6f 66 28 74 68 69   cast(typeof(thi
18c0: 73 29 29 72 68 73 5f 20 29 0d 0a 09 09 09 09 09  s))rhs_ ).......
18d0: 72 65 74 75 72 6e 20 74 68 69 73 2e 61 73 74 3d  return this.ast=
18e0: 3d 72 68 73 2e 61 73 74 20 26 26 20 74 68 69 73  =rhs.ast && this
18f0: 2e 64 65 66 43 74 78 3d 3d 72 68 73 2e 64 65 66  .defCtx==rhs.def
1900: 43 74 78 3b 0d 0a 09 09 09 09 61 73 73 65 72 74  Ctx;......assert
1910: 28 66 61 6c 73 65 2c 20 73 70 72 69 6e 74 66 21  (false, sprintf!
1920: 22 43 61 6e 6e 6f 74 20 63 6f 6d 70 61 72 65 20  "Cannot compare 
1930: 25 73 20 77 69 74 68 20 25 73 22 28 74 79 70 65  %s with %s"(type
1940: 69 64 28 74 68 69 73 29 2c 20 74 79 70 65 69 64  id(this), typeid
1950: 28 72 68 73 5f 29 29 29 3b 0d 0a 09 09 09 7d 0d  (rhs_)));.....}.
1960: 0a 09 09 09 6f 76 65 72 72 69 64 65 20 68 61 73  ....override has
1970: 68 5f 74 20 74 6f 48 61 73 68 28 29 20 63 6f 6e  h_t toHash() con
1980: 73 74 20 2f 2f 2f 20 6d 65 6d 62 65 72 2d 62 79  st /// member-by
1990: 2d 6d 65 6d 62 65 72 20 68 61 73 68 0d 0a 09 09  -member hash....
19a0: 09 7b 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 74  .{......return t
19b0: 79 70 65 69 64 28 74 68 69 73 2e 61 73 74 29 2e  ypeid(this.ast).
19c0: 67 65 74 48 61 73 68 28 26 74 68 69 73 2e 61 73  getHash(&this.as
19d0: 74 29 20 2b 20 74 79 70 65 69 64 28 74 68 69 73  t) + typeid(this
19e0: 2e 64 65 66 43 74 78 29 2e 67 65 74 48 61 73 68  .defCtx).getHash
19f0: 28 26 74 68 69 73 2e 64 65 66 43 74 78 29 3b 0d  (&this.defCtx);.
1a00: 0a 09 09 09 7d 0d 0a 09 09 09 6f 76 65 72 72 69  ....}.....overri
1a10: 64 65 20 69 6e 74 20 6f 70 43 6d 70 28 4f 62 6a  de int opCmp(Obj
1a20: 65 63 74 20 72 68 73 5f 29 20 2f 2f 2f 20 6d 65  ect rhs_) /// me
1a30: 6d 62 65 72 2d 62 79 2d 6d 65 6d 62 65 72 20 63  mber-by-member c
1a40: 6f 6d 70 61 72 65 0d 0a 09 09 09 7b 0d 0a 09 09  ompare.....{....
1a50: 09 09 69 66 28 20 61 75 74 6f 20 72 68 73 20 3d  ..if( auto rhs =
1a60: 20 63 61 73 74 28 74 79 70 65 6f 66 28 74 68 69   cast(typeof(thi
1a70: 73 29 29 72 68 73 5f 20 29 0d 0a 09 09 09 09 7b  s))rhs_ )......{
1a80: 0d 0a 09 09 09 09 09 69 66 28 61 75 74 6f 20 69  .......if(auto i
1a90: 20 3d 20 74 68 69 73 2e 61 73 74 2e 6f 70 43 6d   = this.ast.opCm
1aa0: 70 28 72 68 73 2e 61 73 74 29 29 0d 0a 09 09 09  p(rhs.ast)).....
1ab0: 09 09 09 72 65 74 75 72 6e 20 69 3b 0d 0a 09 09  ...return i;....
1ac0: 09 09 09 72 65 74 75 72 6e 20 74 68 69 73 2e 64  ...return this.d
1ad0: 65 66 43 74 78 2e 6f 70 43 6d 70 28 72 68 73 2e  efCtx.opCmp(rhs.
1ae0: 64 65 66 43 74 78 29 3b 0d 0a 09 09 09 09 7d 0d  defCtx);......}.
1af0: 0a 09 09 09 09 61 73 73 65 72 74 28 66 61 6c 73  .....assert(fals
1b00: 65 2c 20 73 70 72 69 6e 74 66 21 22 43 61 6e 6e  e, sprintf!"Cann
1b10: 6f 74 20 63 6f 6d 70 61 72 65 20 25 73 20 77 69  ot compare %s wi
1b20: 74 68 20 25 73 22 28 74 79 70 65 69 64 28 74 68  th %s"(typeid(th
1b30: 69 73 29 2c 20 74 79 70 65 69 64 28 72 68 73 5f  is), typeid(rhs_
1b40: 29 29 29 3b 0d 0a 09 09 09 7d 0d 0a 0d 0a 09 09  )));.....}......
1b50: 09 6f 76 65 72 72 69 64 65 20 56 61 6c 75 65 20  .override Value 
1b60: 69 6e 76 6f 6b 65 28 4c 61 79 65 72 20 6c 61 79  invoke(Layer lay
1b70: 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 4c 65 78  , Table ctx, Lex
1b80: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 29 0d 0a 09  Position pos)...
1b90: 09 09 7b 0d 0a 09 09 09 09 69 66 28 20 6c 61 79  ..{......if( lay
1ba0: 20 3d 3d 20 4d 61 63 72 6f 4c 61 79 65 72 20 29   == MacroLayer )
1bb0: 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 65 76  .......return ev
1bc0: 61 6c 28 61 73 74 2e 66 75 6e 62 6f 64 79 2c 20  al(ast.funbody, 
1bd0: 6c 61 79 2c 20 63 74 78 29 3b 0d 0a 09 09 09 09  lay, ctx);......
1be0: 69 66 28 20 61 66 74 65 72 4d 61 63 72 6f 41 53  if( afterMacroAS
1bf0: 54 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09  T is null ).....
1c00: 09 09 61 66 74 65 72 4d 61 63 72 6f 41 53 54 20  ..afterMacroAST 
1c10: 3d 20 74 61 62 6c 65 54 6f 41 53 54 28 56 61 6c  = tableToAST(Val
1c20: 75 65 4c 61 79 65 72 2c 20 65 76 61 6c 28 65 2e  ueLayer, eval(e.
1c30: 66 75 6e 62 6f 64 79 2c 20 52 61 77 4d 61 63 72  funbody, RawMacr
1c40: 6f 4c 61 79 65 72 2c 20 63 74 78 29 29 3b 0d 0a  oLayer, ctx));..
1c50: 09 09 09 09 72 65 74 75 72 6e 20 65 76 61 6c 28  ....return eval(
1c60: 61 66 74 65 72 4d 61 63 72 6f 41 53 54 2c 20 6c  afterMacroAST, l
1c70: 61 79 2c 20 63 74 78 29 3b 0d 0a 09 09 09 7d 0d  ay, ctx);.....}.
1c80: 0a 0d 0a 09 09 09 41 53 54 20 61 66 74 65 72 4d  ......AST afterM
1c90: 61 63 72 6f 41 53 54 3b 0d 0a 09 09 7d 0d 0a 09  acroAST;....}...
1ca0: 09 72 65 74 75 72 6e 20 6e 65 77 20 55 73 65 72  .return new User
1cb0: 44 65 66 69 6e 65 64 46 75 6e 56 61 6c 75 65 28  DefinedFunValue(
1cc0: 65 2c 63 74 78 29 3b 0d 0a 09 7d 0d 0a 0d 0a 70  e,ctx);...}....p
1cd0: 75 62 6c 69 63 3a 0d 0a 09 2f 2f 2f 20 41 64 64  ublic:.../// Add
1ce0: 20 70 72 69 6d 69 74 69 76 65 20 66 75 6e 63 74   primitive funct
1cf0: 69 6f 6e 20 74 6f 20 74 68 65 20 67 6c 6f 62 61  ion to the globa
1d00: 6c 20 63 6f 6e 74 65 78 74 0d 0a 09 76 6f 69 64  l context...void
1d10: 20 61 64 64 50 72 69 6d 69 74 69 76 65 28 52 2c   addPrimitive(R,
1d20: 54 2e 2e 2e 29 28 73 74 72 69 6e 67 20 6e 61 6d  T...)(string nam
1d30: 65 2c 20 4c 61 79 65 72 20 64 65 66 4c 61 79 2c  e, Layer defLay,
1d40: 20 52 20 64 65 6c 65 67 61 74 65 20 28 54 29 20   R delegate (T) 
1d50: 64 67 29 0d 0a 09 7b 0d 0a 09 09 63 6c 61 73 73  dg)...{....class
1d60: 20 4e 61 74 69 76 65 46 75 6e 56 61 6c 75 65 20   NativeFunValue 
1d70: 3a 20 46 75 6e 56 61 6c 75 65 0d 0a 09 09 7b 0d  : FunValue....{.
1d80: 0a 09 09 09 6f 76 65 72 72 69 64 65 20 63 6f 6e  ....override con
1d90: 73 74 28 50 61 72 61 6d 65 74 65 72 5b 5d 29 20  st(Parameter[]) 
1da0: 70 61 72 61 6d 73 28 29 20 7b 20 72 65 74 75 72  params() { retur
1db0: 6e 20 70 61 72 61 6d 73 5f 64 61 74 61 3b 20 7d  n params_data; }
1dc0: 0d 0a 09 09 09 6f 76 65 72 72 69 64 65 20 54 61  .....override Ta
1dd0: 62 6c 65 20 64 65 66 69 6e 69 74 69 6f 6e 43 6f  ble definitionCo
1de0: 6e 74 65 78 74 28 29 20 20 20 7b 20 72 65 74 75  ntext()   { retu
1df0: 72 6e 20 74 68 65 43 6f 6e 74 65 78 74 3b 20 7d  rn theContext; }
1e00: 0d 0a 0d 0a 09 09 09 6f 76 65 72 72 69 64 65 20  .......override 
1e10: 73 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 28  string toString(
1e20: 29 20 7b 20 72 65 74 75 72 6e 20 73 70 72 69 6e  ) { return sprin
1e30: 74 66 21 22 28 6e 61 74 69 76 65 3a 25 78 29 22  tf!"(native:%x)"
1e40: 28 64 67 2e 66 75 6e 63 70 74 72 29 3b 20 7d 0d  (dg.funcptr); }.
1e50: 0a 09 09 09 6f 76 65 72 72 69 64 65 20 69 6e 74  ....override int
1e60: 20 6f 70 43 6d 70 28 4f 62 6a 65 63 74 20 72 68   opCmp(Object rh
1e70: 73 29 20 7b 0d 0a 09 09 09 09 69 66 28 61 75 74  s) {......if(aut
1e80: 6f 20 72 20 3d 20 63 61 73 74 28 4e 61 74 69 76  o r = cast(Nativ
1e90: 65 46 75 6e 56 61 6c 75 65 29 72 68 73 29 20 72  eFunValue)rhs) r
1ea0: 65 74 75 72 6e 20 74 79 70 65 69 64 28 74 79 70  eturn typeid(typ
1eb0: 65 6f 66 28 64 67 29 29 2e 63 6f 6d 70 61 72 65  eof(dg)).compare
1ec0: 28 26 64 67 2c 26 72 2e 64 67 29 3b 0d 0a 09 09  (&dg,&r.dg);....
1ed0: 09 09 69 66 28 61 75 74 6f 20 72 20 3d 20 63 61  ..if(auto r = ca
1ee0: 73 74 28 56 61 6c 75 65 29 72 68 73 29 20 20 20  st(Value)rhs)   
1ef0: 20 20 20 20 20 20 20 72 65 74 75 72 6e 20 74 79         return ty
1f00: 70 65 69 64 28 74 68 69 73 29 2e 6f 70 43 6d 70  peid(this).opCmp
1f10: 28 74 79 70 65 69 64 28 72 29 29 3b 0d 0a 09 09  (typeid(r));....
1f20: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75  ..throw genex!Ru
1f30: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 4c  ntimeException(L
1f40: 65 78 50 6f 73 69 74 69 6f 6e 2e 64 75 6d 6d 79  exPosition.dummy
1f50: 2c 20 22 63 6f 6d 70 61 72 69 73 6f 6e 20 77 69  , "comparison wi
1f60: 74 68 20 76 61 6c 75 65 20 61 6e 64 20 73 6f 6d  th value and som
1f70: 69 74 68 69 6e 67 20 6f 74 68 65 72 22 29 3b 0d  ithing other");.
1f80: 0a 09 09 09 7d 0d 0a 09 09 09 6d 69 78 69 6e 20  ....}.....mixin 
1f90: 53 69 6d 70 6c 65 54 6f 48 61 73 68 3b 0d 0a 0d  SimpleToHash;...
1fa0: 0a 09 09 09 52 20 64 65 6c 65 67 61 74 65 28 54  ....R delegate(T
1fb0: 29 20 64 67 3b 0d 0a 09 09 09 50 61 72 61 6d 65  ) dg;.....Parame
1fc0: 74 65 72 5b 5d 20 70 61 72 61 6d 73 5f 64 61 74  ter[] params_dat
1fd0: 61 3b 0d 0a 0d 0a 09 09 09 74 68 69 73 28 52 20  a;.......this(R 
1fe0: 64 65 6c 65 67 61 74 65 28 54 29 20 64 67 29 0d  delegate(T) dg).
1ff0: 0a 09 09 09 7b 0d 0a 09 09 09 09 74 68 69 73 2e  ....{......this.
2000: 64 67 20 3d 20 64 67 3b 0d 0a 09 09 09 09 66 6f  dg = dg;......fo
2010: 72 65 61 63 68 28 69 2c 20 54 69 3b 20 54 29 0d  reach(i, Ti; T).
2020: 0a 09 09 09 09 09 70 61 72 61 6d 73 5f 64 61 74  ......params_dat
2030: 61 20 7e 3d 20 6e 65 77 20 50 61 72 61 6d 65 74  a ~= new Paramet
2040: 65 72 28 74 65 78 74 28 69 29 2c 20 5b 5d 29 3b  er(text(i), []);
2050: 0d 0a 09 09 09 7d 0d 0a 0d 0a 09 09 09 6f 76 65  .....}.......ove
2060: 72 72 69 64 65 20 56 61 6c 75 65 20 69 6e 76 6f  rride Value invo
2070: 6b 65 28 4c 61 79 65 72 20 6c 61 79 2c 20 54 61  ke(Layer lay, Ta
2080: 62 6c 65 20 63 74 78 2c 20 4c 65 78 50 6f 73 69  ble ctx, LexPosi
2090: 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 09 09 7b 0d  tion pos).....{.
20a0: 0a 09 09 09 09 69 66 28 20 6c 61 79 20 21 3d 20  .....if( lay != 
20b0: 64 65 66 4c 61 79 20 29 0d 0a 09 09 09 09 09 74  defLay ).......t
20c0: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69  hrow genex!Runti
20d0: 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c  meException(pos,
20e0: 20 74 65 78 74 28 22 6f 6e 6c 79 20 22 2c 20 64   text("only ", d
20f0: 65 66 4c 61 79 2c 20 22 20 6c 61 79 65 72 20 63  efLay, " layer c
2100: 61 6e 20 63 61 6c 6c 20 6e 61 74 69 76 65 20 66  an call native f
2110: 75 6e 63 74 69 6f 6e 3a 20 22 2c 20 6e 61 6d 65  unction: ", name
2120: 29 29 3b 0d 0a 09 09 09 09 54 20 74 79 70 65 64  ));......T typed
2130: 5f 61 72 67 73 3b 0d 0a 09 09 09 09 66 6f 72 65  _args;......fore
2140: 61 63 68 28 69 2c 20 54 69 3b 20 54 29 20 7b 0d  ach(i, Ti; T) {.
2150: 0a 09 09 09 09 09 74 79 70 65 64 5f 61 72 67 73  ......typed_args
2160: 5b 69 5d 20 3d 20 63 61 73 74 28 54 69 29 20 63  [i] = cast(Ti) c
2170: 74 78 2e 67 65 74 28 74 65 78 74 28 69 29 2c 20  tx.get(text(i), 
2180: 56 61 6c 75 65 4c 61 79 65 72 2c 20 70 6f 73 29  ValueLayer, pos)
2190: 3b 0d 0a 09 09 09 09 09 69 66 28 20 74 79 70 65  ;.......if( type
21a0: 64 5f 61 72 67 73 5b 69 5d 20 69 73 20 6e 75 6c  d_args[i] is nul
21b0: 6c 20 29 0d 0a 09 09 09 09 09 09 74 68 72 6f 77  l )........throw
21c0: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78   genex!RuntimeEx
21d0: 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 73 70 72  ception(pos, spr
21e0: 69 6e 74 66 21 22 74 79 70 65 20 6d 69 73 6d 61  intf!"type misma
21f0: 74 63 68 20 6f 6e 20 74 68 65 20 61 72 67 75 6d  tch on the argum
2200: 65 6e 74 20 25 64 20 6f 66 20 6e 61 74 69 76 65  ent %d of native
2210: 20 66 75 6e 63 74 69 6f 6e 3a 20 25 73 22 28 69   function: %s"(i
2220: 2b 31 2c 6e 61 6d 65 29 29 3b 0d 0a 09 09 09 09  +1,name));......
2230: 7d 0d 0a 09 09 09 09 74 72 79 20 7b 0d 0a 09 09  }......try {....
2240: 09 09 09 72 65 74 75 72 6e 20 64 67 28 74 79 70  ...return dg(typ
2250: 65 64 5f 61 72 67 73 29 3b 0d 0a 09 09 09 09 7d  ed_args);......}
2260: 20 63 61 74 63 68 28 20 52 75 6e 74 69 6d 65 45   catch( RuntimeE
2270: 78 63 65 70 74 69 6f 6e 20 65 20 29 20 7b 0d 0a  xception e ) {..
2280: 09 09 09 09 09 74 68 72 6f 77 20 65 2e 70 6f 73  .....throw e.pos
2290: 20 69 73 20 6e 75 6c 6c 20 3f 20 6e 65 77 20 52   is null ? new R
22a0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28  untimeException(
22b0: 70 6f 73 2c 20 65 2e 6d 73 67 2c 20 65 2e 66 69  pos, e.msg, e.fi
22c0: 6c 65 2c 20 65 2e 6c 69 6e 65 29 20 3a 20 65 3b  le, e.line) : e;
22d0: 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 7d 0d 0a 09  ......}.....}...
22e0: 09 7d 0d 0a 09 09 74 68 65 43 6f 6e 74 65 78 74  .}....theContext
22f0: 2e 73 65 74 28 6e 61 6d 65 2c 20 64 65 66 4c 61  .set(name, defLa
2300: 79 2c 20 6e 65 77 20 4e 61 74 69 76 65 46 75 6e  y, new NativeFun
2310: 56 61 6c 75 65 28 64 67 29 29 3b 0d 0a 09 7d 0d  Value(dg));...}.
2320: 0a 7d 0d 0a 0d 0a 76 65 72 73 69 6f 6e 28 75 6e  .}....version(un
2330: 69 74 74 65 73 74 29 20 69 6d 70 6f 72 74 20 70  ittest) import p
2340: 6f 6c 65 6d 79 2e 72 75 6e 74 69 6d 65 3b 0d 0a  olemy.runtime;..
2350: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75  unittest..{...au
2360: 74 6f 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75  to e = new Evalu
2370: 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75  ator;...enrollRu
2380: 6e 74 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b  ntimeLibrary(e);
2390: 0d 0a 09 61 75 74 6f 20 72 20 3d 20 61 73 73 65  ...auto r = asse
23a0: 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 2e 65 76  rt_nothrow( e.ev
23b0: 61 6c 53 74 72 69 6e 67 28 60 76 61 72 20 78 20  alString(`var x 
23c0: 3d 20 32 31 3b 20 78 20 2b 20 78 2a 78 3b 60 29  = 21; x + x*x;`)
23d0: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28   );...assert_eq(
23e0: 20 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65   r, new IntValue
23f0: 28 42 69 67 49 6e 74 28 32 31 2b 32 31 2a 32 31  (BigInt(21+21*21
2400: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65  )) );...assert_e
2410: 71 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74 65  q( e.globalConte
2420: 78 74 2e 67 65 74 28 22 78 22 2c 56 61 6c 75 65  xt.get("x",Value
2430: 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56  Layer), new IntV
2440: 61 6c 75 65 28 42 69 67 49 6e 74 28 32 31 29 29  alue(BigInt(21))
2450: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74   );...assert_not
2460: 68 72 6f 77 28 20 65 2e 67 6c 6f 62 61 6c 43 6f  hrow( e.globalCo
2470: 6e 74 65 78 74 2e 67 65 74 28 22 78 22 2c 56 61  ntext.get("x",Va
2480: 6c 75 65 4c 61 79 65 72 29 20 29 3b 0d 0a 09 61  lueLayer) );...a
2490: 73 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74  ssert_throw!Runt
24a0: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 65 2e  imeException( e.
24b0: 67 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 2e 67 65  globalContext.ge
24c0: 74 28 22 79 22 2c 56 61 6c 75 65 4c 61 79 65 72  t("y",ValueLayer
24d0: 29 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73  ) );..}..unittes
24e0: 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20  t..{...auto e = 
24f0: 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a  new Evaluator;..
2500: 09 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69  .enrollRuntimeLi
2510: 62 72 61 72 79 28 65 29 3b 0d 0a 09 61 75 74 6f  brary(e);...auto
2520: 20 72 20 3d 20 61 73 73 65 72 74 5f 6e 6f 74 68   r = assert_noth
2530: 72 6f 77 28 20 65 2e 65 76 61 6c 53 74 72 69 6e  row( e.evalStrin
2540: 67 28 60 76 61 72 20 78 20 3d 20 32 31 3b 20 76  g(`var x = 21; v
2550: 61 72 20 78 20 3d 20 78 20 2b 20 78 2a 78 3b 60  ar x = x + x*x;`
2560: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71  ) );...assert_eq
2570: 28 20 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75  ( r, new IntValu
2580: 65 28 42 69 67 49 6e 74 28 32 31 2b 32 31 2a 32  e(BigInt(21+21*2
2590: 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f  1)) );...assert_
25a0: 65 71 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74  eq( e.globalCont
25b0: 65 78 74 2e 67 65 74 28 22 78 22 2c 56 61 6c 75  ext.get("x",Valu
25c0: 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74  eLayer), new Int
25d0: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 32 31 2b  Value(BigInt(21+
25e0: 32 31 2a 32 31 29 29 20 29 3b 0d 0a 09 61 73 73  21*21)) );...ass
25f0: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 2e 67  ert_nothrow( e.g
2600: 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 2e 67 65 74  lobalContext.get
2610: 28 22 78 22 2c 56 61 6c 75 65 4c 61 79 65 72 29  ("x",ValueLayer)
2620: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72   );...assert_thr
2630: 6f 77 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74  ow!RuntimeExcept
2640: 69 6f 6e 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e  ion( e.globalCon
2650: 74 65 78 74 2e 67 65 74 28 22 79 22 2c 56 61 6c  text.get("y",Val
2660: 75 65 4c 61 79 65 72 29 20 29 3b 0d 0a 7d 0d 0a  ueLayer) );..}..
2670: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75  unittest..{...au
2680: 74 6f 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75  to e = new Evalu
2690: 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75  ator;...enrollRu
26a0: 6e 74 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b  ntimeLibrary(e);
26b0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 2e  ...assert_eq( e.
26c0: 65 76 61 6c 53 74 72 69 6e 67 28 60 6c 65 74 20  evalString(`let 
26d0: 78 3d 31 3b 20 6c 65 74 20 79 3d 28 6c 65 74 20  x=1; let y=(let 
26e0: 78 3d 32 29 3b 20 78 60 29 2c 20 6e 65 77 20 49  x=2); x`), new I
26f0: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31  ntValue(BigInt(1
2700: 29 29 20 29 3b 20 0d 0a 09 61 73 73 65 72 74 5f  )) ); ...assert_
2710: 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67  eq( e.evalString
2720: 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 79  (`let x=1; let y
2730: 3d 28 6c 65 74 20 78 3d 32 3b 66 75 6e 28 29 7b  =(let x=2;fun(){
2740: 78 7d 29 3b 20 79 28 29 60 29 2c 20 6e 65 77 20  x}); y()`), new 
2750: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28  IntValue(BigInt(
2760: 32 29 29 20 29 3b 20 0d 0a 7d 0d 0a 0d 0a 75 6e  2)) ); ..}....un
2770: 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f  ittest..{...auto
2780: 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75 61 74   e = new Evaluat
2790: 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74  or;...enrollRunt
27a0: 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b 0d 0a  imeLibrary(e);..
27b0: 09 61 73 73 65 72 74 5f 65 71 28 20 65 2e 65 76  .assert_eq( e.ev
27c0: 61 6c 53 74 72 69 6e 67 28 60 40 61 20 78 3d 31  alString(`@a x=1
27d0: 3b 20 40 62 20 78 3d 32 3b 20 40 61 28 78 29 60  ; @b x=2; @a(x)`
27e0: 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28  ), new IntValue(
27f0: 42 69 67 49 6e 74 28 31 29 29 20 29 3b 0d 0a 09  BigInt(1)) );...
2800: 61 73 73 65 72 74 5f 65 71 28 20 65 2e 65 76 61  assert_eq( e.eva
2810: 6c 53 74 72 69 6e 67 28 60 40 61 20 78 3d 31 3b  lString(`@a x=1;
2820: 20 40 62 20 78 3d 32 3b 20 40 62 28 78 29 60 29   @b x=2; @b(x)`)
2830: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42  , new IntValue(B
2840: 69 67 49 6e 74 28 32 29 29 20 29 3b 0d 0a 09 61  igInt(2)) );...a
2850: 73 73 65 72 74 5f 65 71 28 20 65 2e 65 76 61 6c  ssert_eq( e.eval
2860: 53 74 72 69 6e 67 28 60 6c 65 74 20 78 3d 31 3b  String(`let x=1;
2870: 20 6c 65 74 20 5f 20 3d 20 28 40 61 20 78 3d 32   let _ = (@a x=2
2880: 3b 32 29 3b 20 78 60 29 2c 20 6e 65 77 20 49 6e  ;2); x`), new In
2890: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29  tValue(BigInt(1)
28a0: 29 20 29 3b 0d 0a 09 65 20 3d 20 6e 65 77 20 45  ) );...e = new E
28b0: 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 61 73 73 65  valuator;...asse
28c0: 72 74 5f 74 68 72 6f 77 21 54 68 72 6f 77 61 62  rt_throw!Throwab
28d0: 6c 65 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67  le( e.evalString
28e0: 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 5f  (`let x=1; let _
28f0: 20 3d 20 28 40 61 20 78 3d 32 3b 32 29 3b 20 40   = (@a x=2;2); @
2900: 61 28 78 29 60 29 20 29 3b 0d 0a 7d 0d 0a 0d 0a  a(x)`) );..}....
2910: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75  unittest..{...au
2920: 74 6f 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75  to e = new Evalu
2930: 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75  ator;...enrollRu
2940: 6e 74 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b  ntimeLibrary(e);
2950: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 2e  ...assert_eq( e.
2960: 65 76 61 6c 53 74 72 69 6e 67 28 60 0d 0a 09 09  evalString(`....
2970: 40 40 73 28 78 29 7b 78 7d 3b 0d 0a 09 09 40 73  @@s(x){x};....@s
2980: 20 22 2b 22 20 3d 20 66 75 6e 28 78 2c 20 79 29   "+" = fun(x, y)
2990: 20 7b 40 76 61 6c 75 65 28 0d 0a 09 09 09 40 73   {@value(.....@s
29a0: 28 78 29 20 2d 20 40 73 28 79 29 0d 0a 09 09 29  (x) - @s(y)....)
29b0: 7d 3b 0d 0a 09 09 40 73 28 31 20 2b 20 32 29 0d  };....@s(1 + 2).
29c0: 0a 09 60 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c  ..`), new IntVal
29d0: 75 65 28 42 69 67 49 6e 74 28 2d 31 29 29 20 29  ue(BigInt(-1)) )
29e0: 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74  ;..}....unittest
29f0: 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e  ..{...auto e = n
2a00: 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09  ew Evaluator;...
2a10: 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62  enrollRuntimeLib
2a20: 72 61 72 79 28 65 29 3b 0d 0a 09 61 73 73 65 72  rary(e);...asser
2a30: 74 5f 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69  t_eq( e.evalStri
2a40: 6e 67 28 60 0d 0a 40 40 33 28 78 29 7b 78 7d 3b  ng(`..@@3(x){x};
2a50: 0d 0a 64 65 66 20 69 6e 63 72 28 78 29 20 7b 20  ..def incr(x) { 
2a60: 78 2b 31 20 7d 3b 0d 0a 40 20 33 20 69 6e 63 72  x+1 };..@ 3 incr
2a70: 28 78 29 20 7b 40 76 61 6c 75 65 28 20 69 66 28  (x) {@value( if(
2a80: 40 20 33 28 78 29 2b 31 3c 20 33 29 7b 40 20 33  @ 3(x)+1< 3){@ 3
2a90: 28 78 29 2b 31 7d 65 6c 73 65 7b 30 7d 20 29 7d  (x)+1}else{0} )}
2aa0: 3b 0d 0a 64 65 66 20 66 62 28 6e 20 40 76 61 6c  ;..def fb(n @val
2ab0: 75 65 20 40 33 29 20 7b 20 40 33 28 6e 29 20 7d  ue @3) { @3(n) }
2ac0: 3b 0d 0a 66 62 28 69 6e 63 72 28 69 6e 63 72 28  ;..fb(incr(incr(
2ad0: 69 6e 63 72 28 30 29 29 29 29 0d 0a 09 60 29 2c  incr(0))))...`),
2ae0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69   new IntValue(Bi
2af0: 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a 7d 0d 0a  gInt(0)) );..}..
2b00: 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09  ..unittest..{...
2b10: 61 75 74 6f 20 65 20 3d 20 6e 65 77 20 45 76 61  auto e = new Eva
2b20: 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c  luator;...enroll
2b30: 52 75 6e 74 69 6d 65 4c 69 62 72 61 72 79 28 65  RuntimeLibrary(e
2b40: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68  );...assert_noth
2b50: 72 6f 77 28 20 65 2e 65 76 61 6c 53 74 72 69 6e  row( e.evalStrin
2b60: 67 28 60 0d 0a 40 6d 61 63 72 6f 20 74 77 69 63  g(`..@macro twic
2b70: 65 28 78 29 20 7b 20 78 3b 20 78 20 7d 3b 0d 0a  e(x) { x; x };..
2b80: 64 65 66 20 6d 61 69 6e 28 29 20 7b 20 74 77 69  def main() { twi
2b90: 63 65 28 31 29 20 7d 3b 0d 0a 6d 61 69 6e 28 29  ce(1) };..main()
2ba0: 0d 0a 09 60 29 20 29 3b 0d 0a 7d 0d 0a 2f 2a 0d  ...`) );..}../*.
2bb0: 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61  .unittest..{...a
2bc0: 73 73 65 72 74 5f 65 71 28 20 65 76 61 6c 53 74  ssert_eq( evalSt
2bd0: 72 69 6e 67 28 60 76 61 72 20 66 61 63 20 3d 20  ring(`var fac = 
2be0: 66 75 6e 28 78 29 7b 0d 0a 09 09 69 66 28 78 29  fun(x){....if(x)
2bf0: 0d 0a 09 09 09 7b 20 78 2a 66 61 63 28 78 2d 31  .....{ x*fac(x-1
2c00: 29 3b 20 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09  ); }....else....
2c10: 09 7b 20 31 3b 20 7d 3b 0d 0a 09 7d 3b 0d 0a 09  .{ 1; };...};...
2c20: 66 61 63 28 31 30 29 3b 60 29 2e 76 61 6c 2c 20  fac(10);`).val, 
2c30: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67  new IntValue(Big
2c40: 49 6e 74 28 31 30 2a 39 2a 38 2a 35 30 34 30 29  Int(10*9*8*5040)
2c50: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28  ));...assert_eq(
2c60: 20 65 76 61 6c 53 74 72 69 6e 67 28 60 76 61 72   evalString(`var
2c70: 20 66 69 62 20 3d 20 66 75 6e 28 78 29 7b 0d 0a   fib = fun(x){..
2c80: 09 09 69 66 28 78 3c 32 29 0d 0a 09 09 09 7b 20  ..if(x<2).....{ 
2c90: 31 3b 20 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09  1; }....else....
2ca0: 09 7b 20 66 69 62 28 78 2d 31 29 20 2b 20 66 69  .{ fib(x-1) + fi
2cb0: 62 28 78 2d 32 29 3b 20 7d 3b 0d 0a 09 7d 3b 0d  b(x-2); };...};.
2cc0: 0a 09 66 69 62 28 35 29 3b 60 29 2e 76 61 6c 2c  ..fib(5);`).val,
2cd0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69   new IntValue(Bi
2ce0: 67 49 6e 74 28 38 29 29 29 3b 0d 0a 7d 0d 0a 75  gInt(8)));..}..u
2cf0: 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 73  nittest..{...ass
2d00: 65 72 74 5f 65 71 28 20 65 76 61 6c 53 74 72 69  ert_eq( evalStri
2d10: 6e 67 28 60 40 40 74 20 3d 20 66 75 6e 28 78 29  ng(`@@t = fun(x)
2d20: 7b 78 2b 31 7d 3b 20 40 74 28 31 32 33 29 60 29  {x+1}; @t(123)`)
2d30: 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c  .val, new IntVal
2d40: 75 65 28 42 69 67 49 6e 74 28 31 32 34 29 29 20  ue(BigInt(124)) 
2d50: 29 3b 0d 0a 09 2f 2f 20 74 68 65 72 65 20 77 61  );...// there wa
2d60: 73 20 61 20 62 75 67 20 74 68 61 74 20 64 65 63  s a bug that dec
2d70: 6c 61 72 61 74 69 6f 6e 20 69 6e 20 74 68 65 20  laration in the 
2d80: 66 69 72 73 74 20 6c 69 6e 65 20 6f 66 20 66 75  first line of fu
2d90: 6e 63 74 69 6f 6e 20 64 65 66 69 6e 69 74 69 6f  nction definitio
2da0: 6e 0d 0a 09 2f 2f 20 63 61 6e 6e 6f 74 20 62 65  n...// cannot be
2db0: 20 72 65 63 75 72 73 69 76 65 0d 0a 09 61 73 73   recursive...ass
2dc0: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 76 61  ert_nothrow( eva
2dd0: 6c 53 74 72 69 6e 67 28 60 64 65 66 20 66 6f 6f  lString(`def foo
2de0: 28 29 20 7b 0d 0a 20 20 64 65 66 20 62 61 72 28  () {..  def bar(
2df0: 79 29 20 7b 20 69 66 28 79 3c 31 29 20 7b 30 7d  y) { if(y<1) {0}
2e00: 20 65 6c 73 65 20 7b 62 61 72 28 30 29 7d 20 7d   else {bar(0)} }
2e10: 3b 0d 0a 20 20 62 61 72 28 31 29 0d 0a 7d 3b 20  ;..  bar(1)..}; 
2e20: 66 6f 6f 28 29 60 29 20 29 3b 0d 0a 7d 0d 0a 2a  foo()`) );..}..*
2e30: 2f 0d 0a                                         /..