Hex Artifact Content
Not logged in

Artifact 4eba423d1304ad73554f35a142bc784973176e95:


0000: 2f 2a 2a 0d 0a 20 2a 20 41 75 74 68 6f 72 73 3a  /**.. * Authors:
0010: 20 6b 2e 69 6e 61 62 61 0d 0a 20 2a 20 4c 69 63   k.inaba.. * Lic
0020: 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38  ense: NYSL 0.998
0030: 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f  2 http://www.kmo
0040: 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0d 0a 20  nos.net/nysl/.. 
0050: 2a 0d 0a 20 2a 20 45 76 61 6c 75 61 74 6f 72 20  *.. * Evaluator 
0060: 66 6f 72 20 50 6f 6c 65 6d 79 20 70 72 6f 67 72  for Polemy progr
0070: 61 6d 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65 2e  amming language.
0080: 0d 0a 20 2a 2f 0d 0a 6d 6f 64 75 6c 65 20 70 6f  .. */..module po
0090: 6c 65 6d 79 2e 65 76 61 6c 3b 0d 0a 69 6d 70 6f  lemy.eval;..impo
00a0: 72 74 20 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f  rt polemy._commo
00b0: 6e 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d  n;..import polem
00c0: 79 2e 66 61 69 6c 75 72 65 3b 0d 0a 69 6d 70 6f  y.failure;..impo
00d0: 72 74 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0d 0a  rt polemy.ast;..
00e0: 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 70 61  import polemy.pa
00f0: 72 73 65 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c  rse;..import pol
0100: 65 6d 79 2e 76 61 6c 75 65 3b 0d 0a 69 6d 70 6f  emy.value;..impo
0110: 72 74 20 70 6f 6c 65 6d 79 2e 6c 61 79 65 72 3b  rt polemy.layer;
0120: 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e  ..import polemy.
0130: 76 61 6c 75 65 3b 0d 0a 69 6d 70 6f 72 74 20 70  value;..import p
0140: 6f 6c 65 6d 79 2e 76 61 6c 75 65 63 6f 6e 76 3b  olemy.valueconv;
0150: 0d 0a 0d 0a 2f 2f 2f 20 4f 62 6a 65 63 74 73 20  ..../// Objects 
0160: 66 6f 72 20 6d 61 69 74 61 69 6e 69 6e 67 20 67  for maitaining g
0170: 6c 6f 62 61 6c 20 65 6e 76 69 72 6f 6e 6d 65 6e  lobal environmen
0180: 74 20 61 6e 64 20 65 76 61 6c 75 61 74 69 6f 6e  t and evaluation
0190: 20 6f 66 20 65 78 70 72 65 73 73 69 6f 6e 20 6f   of expression o
01a0: 6e 20 69 74 0d 0a 63 6c 61 73 73 20 45 76 61 6c  n it..class Eval
01b0: 75 61 74 6f 72 0d 0a 7b 0d 0a 70 75 62 6c 69 63  uator..{..public
01c0: 3a 0d 0a 09 2f 2f 2f 20 49 6e 69 74 69 61 6c 69  :.../// Initiali
01d0: 7a 65 20 65 76 61 6c 75 61 74 6f 72 20 77 69 74  ze evaluator wit
01e0: 68 20 65 6d 70 74 79 20 63 6f 6e 74 65 78 74 0d  h empty context.
01f0: 0a 09 74 68 69 73 28 29 20 7b 20 74 68 65 43 6f  ..this() { theCo
0200: 6e 74 65 78 74 20 3d 20 6e 65 77 20 54 61 62 6c  ntext = new Tabl
0210: 65 3b 20 7d 0d 0a 0d 0a 09 2f 2f 2f 20 45 76 61  e; }...../// Eva
0220: 6c 75 61 74 65 20 74 68 65 20 41 53 54 0d 0a 09  luate the AST...
0230: 56 61 6c 75 65 20 65 76 61 6c 41 53 54 28 41 53  Value evalAST(AS
0240: 54 20 65 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75  T e)...{....retu
0250: 72 6e 20 6d 61 63 72 6f 41 6e 64 45 76 61 6c 28  rn macroAndEval(
0260: 65 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 74  e, ValueLayer, t
0270: 68 65 43 6f 6e 74 65 78 74 2c 20 4f 76 65 72 77  heContext, Overw
0280: 72 69 74 65 43 74 78 29 5b 30 5d 3b 0d 0a 09 7d  riteCtx)[0];...}
0290: 0d 0a 0d 0a 09 2f 2f 2f 20 45 76 61 6c 75 61 74  ...../// Evaluat
02a0: 65 20 74 68 65 20 73 74 72 69 6e 67 0d 0a 09 56  e the string...V
02b0: 61 6c 75 65 20 65 76 61 6c 53 74 72 69 6e 67 28  alue evalString(
02c0: 53 2c 54 2e 2e 2e 29 28 53 20 73 74 72 2c 20 54  S,T...)(S str, T
02d0: 20 66 6e 5f 6c 6e 5f 63 6e 29 0d 0a 09 7b 0d 0a   fn_ln_cn)...{..
02e0: 09 09 72 65 74 75 72 6e 20 65 76 61 6c 41 53 54  ..return evalAST
02f0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 73 74 72  (parseString(str
0300: 2c 66 6e 5f 6c 6e 5f 63 6e 29 29 3b 0d 0a 09 7d  ,fn_ln_cn));...}
0310: 0d 0a 0d 0a 09 2f 2f 2f 20 45 76 61 6c 75 61 74  ...../// Evaluat
0320: 65 20 74 68 65 20 66 69 6c 65 0d 0a 09 56 61 6c  e the file...Val
0330: 75 65 20 65 76 61 6c 46 69 6c 65 28 53 2c 54 2e  ue evalFile(S,T.
0340: 2e 2e 29 28 53 20 66 69 6c 65 6e 61 6d 65 2c 20  ..)(S filename, 
0350: 54 20 6c 6e 5f 63 6e 29 0d 0a 09 7b 0d 0a 09 09  T ln_cn)...{....
0360: 72 65 74 75 72 6e 20 65 76 61 6c 41 53 54 28 70  return evalAST(p
0370: 61 72 73 65 46 69 6c 65 28 66 69 6c 65 6e 61 6d  arseFile(filenam
0380: 65 2c 6c 6e 5f 63 6e 29 29 3b 0d 0a 09 7d 0d 0a  e,ln_cn));...}..
0390: 0d 0a 09 2f 2f 2f 20 47 65 74 20 74 68 65 20 67  .../// Get the g
03a0: 6c 6f 62 61 6c 20 63 6f 6e 74 65 78 74 0d 0a 09  lobal context...
03b0: 54 61 62 6c 65 20 67 6c 6f 62 61 6c 43 6f 6e 74  Table globalCont
03c0: 65 78 74 28 29 0d 0a 09 7b 0d 0a 09 09 72 65 74  ext()...{....ret
03d0: 75 72 6e 20 74 68 65 43 6f 6e 74 65 78 74 3b 0d  urn theContext;.
03e0: 0a 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a 0d  ..}....private:.
03f0: 0a 09 54 61 62 6c 65 20 74 68 65 43 6f 6e 74 65  ..Table theConte
0400: 78 74 3b 0d 0a 0d 0a 09 65 6e 75 6d 20 3a 20 62  xt;.....enum : b
0410: 6f 6f 6c 20 7b 20 43 61 73 63 61 64 65 43 74 78  ool { CascadeCtx
0420: 3d 66 61 6c 73 65 2c 20 4f 76 65 72 77 72 69 74  =false, Overwrit
0430: 65 43 74 78 3d 74 72 75 65 20 7d 3b 0d 0a 0d 0a  eCtx=true };....
0440: 09 56 61 6c 75 65 20 65 76 61 6c 28 20 41 53 54  .Value eval( AST
0450: 20 65 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54   e, Layer lay, T
0460: 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f  able ctx, bool o
0470: 76 65 72 77 72 69 74 65 43 74 78 3d 43 61 73 63  verwriteCtx=Casc
0480: 61 64 65 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09  adeCtx )...{....
0490: 2f 2f 20 64 79 6e 61 6d 69 63 2d 6f 76 65 72 6c  // dynamic-overl
04a0: 6f 61 64 2d 72 65 73 6f 6c 75 74 69 6f 6e 2d 70  oad-resolution-p
04b0: 61 74 74 65 72 6e 3a 20 6d 6f 64 69 66 79 20 68  attern: modify h
04c0: 65 72 65 0d 0a 09 09 65 6e 75 6d 20 66 75 6e 4e  ere....enum funN
04d0: 61 6d 65 20 3d 20 22 65 76 61 6c 22 3b 0d 0a 09  ame = "eval";...
04e0: 09 61 6c 69 61 73 20 54 79 70 65 54 75 70 6c 65  .alias TypeTuple
04f0: 21 28 65 2c 6c 61 79 2c 63 74 78 2c 6f 76 65 72  !(e,lay,ctx,over
0500: 77 72 69 74 65 43 74 78 29 20 70 61 72 61 6d 73  writeCtx) params
0510: 3b 0d 0a 0d 0a 09 09 2f 2f 20 64 79 6e 61 6d 69  ;......// dynami
0520: 63 2d 6f 76 65 72 6c 6f 61 64 2d 72 65 73 6f 6c  c-overload-resol
0530: 75 74 69 6f 6e 2d 70 61 74 74 65 72 6e 3a 20 64  ution-pattern: d
0540: 69 73 70 61 74 63 68 0d 0a 09 09 61 6c 69 61 73  ispatch....alias
0550: 20 74 79 70 65 6f 66 28 5f 5f 74 72 61 69 74 73   typeof(__traits
0560: 28 67 65 74 4f 76 65 72 6c 6f 61 64 73 2c 20 74  (getOverloads, t
0570: 68 69 73 2c 20 66 75 6e 4e 61 6d 65 29 29 20 6f  his, funName)) o
0580: 76 54 79 70 65 73 3b 0d 0a 09 09 61 6c 69 61 73  vTypes;....alias
0590: 20 73 74 61 74 69 63 4d 61 70 21 28 66 69 72 73   staticMap!(firs
05a0: 74 50 61 72 61 6d 2c 20 6f 76 54 79 70 65 73 29  tParam, ovTypes)
05b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 66 73                fs
05c0: 74 54 79 70 65 73 3b 0d 0a 09 09 61 6c 69 61 73  tTypes;....alias
05d0: 20 44 65 72 69 76 65 64 54 6f 46 72 6f 6e 74 21   DerivedToFront!
05e0: 28 66 73 74 54 79 70 65 73 29 20 20 20 20 20 20  (fstTypes)      
05f0: 20 20 20 20 20 20 20 66 73 74 54 79 70 65 73 5f         fstTypes_
0600: 73 6f 72 74 65 64 3b 0d 0a 09 09 66 6f 72 65 61  sorted;....forea
0610: 63 68 28 69 2c 20 54 3b 20 66 73 74 54 79 70 65  ch(i, T; fstType
0620: 73 5f 73 6f 72 74 65 64 29 0d 0a 09 09 09 73 74  s_sorted).....st
0630: 61 74 69 63 20 69 66 28 20 69 73 28 54 20 3d 3d  atic if( is(T ==
0640: 20 74 79 70 65 6f 66 28 70 61 72 61 6d 73 5b 30   typeof(params[0
0650: 5d 29 29 20 29 20 7b 7d 20 65 6c 73 65 20 69 66  ])) ) {} else if
0660: 28 20 61 75 74 6f 20 5f 78 20 3d 20 63 61 73 74  ( auto _x = cast
0670: 28 54 29 70 61 72 61 6d 73 5b 30 5d 20 29 0d 0a  (T)params[0] )..
0680: 09 09 09 09 72 65 74 75 72 6e 20 5f 5f 74 72 61  ....return __tra
0690: 69 74 73 28 67 65 74 4f 76 65 72 6c 6f 61 64 73  its(getOverloads
06a0: 2c 20 74 68 69 73 2c 20 66 75 6e 4e 61 6d 65 29  , this, funName)
06b0: 5b 69 5d 28 5f 78 2c 20 70 61 72 61 6d 73 5b 31  [i](_x, params[1
06c0: 2e 2e 24 5d 29 3b 0d 0a 0d 0a 09 09 2f 2f 20 64  ..$]);......// d
06d0: 79 6e 61 6d 69 63 2d 6f 76 65 72 6c 6f 61 64 2d  ynamic-overload-
06e0: 72 65 73 6f 6c 75 74 69 6f 6e 2d 70 61 74 74 65  resolution-patte
06f0: 72 6e 3a 20 64 65 66 61 75 6c 74 20 62 65 68 61  rn: default beha
0700: 76 69 6f 72 0d 0a 09 09 61 73 73 65 72 74 28 66  vior....assert(f
0710: 61 6c 73 65 2c 20 74 65 78 74 28 22 65 76 61 6c  alse, text("eval
0720: 28 29 20 66 6f 72 20 22 2c 74 79 70 65 69 64 28  () for ",typeid(
0730: 65 29 2c 22 20 5b 22 2c 65 2e 70 6f 73 2c 22 5d  e)," [",e.pos,"]
0740: 20 69 73 20 6e 6f 74 20 64 65 66 69 6e 65 64 22   is not defined"
0750: 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c 75  ));...}.....Valu
0760: 65 20 65 76 61 6c 28 20 53 74 72 20 65 2c 20 4c  e eval( Str e, L
0770: 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 20  ayer lay, Table 
0780: 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 77 72  ctx, bool overwr
0790: 69 74 65 43 74 78 3d 43 61 73 63 61 64 65 43 74  iteCtx=CascadeCt
07a0: 78 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69  x )...{....if( i
07b0: 73 41 53 54 4c 61 79 65 72 28 6c 61 79 29 20 29  sASTLayer(lay) )
07c0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 61 73 74 32  .....return ast2
07d0: 74 61 62 6c 65 28 65 2c 20 28 41 53 54 20 65 29  table(e, (AST e)
07e0: 7b 72 65 74 75 72 6e 20 65 76 61 6c 28 65 2c 6c  {return eval(e,l
07f0: 61 79 2c 63 74 78 29 3b 7d 29 3b 0d 0a 09 09 69  ay,ctx);});....i
0800: 66 28 20 69 73 55 73 65 72 44 65 66 69 6e 65 64  f( isUserDefined
0810: 4c 61 79 65 72 28 6c 61 79 29 20 29 0d 0a 09 09  Layer(lay) )....
0820: 09 72 65 74 75 72 6e 20 6c 69 66 74 28 6e 65 77  .return lift(new
0830: 20 53 74 72 56 61 6c 75 65 28 65 2e 64 61 74 61   StrValue(e.data
0840: 29 2c 20 6c 61 79 2c 20 63 74 78 2c 20 65 2e 70  ), lay, ctx, e.p
0850: 6f 73 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6e  os);....return n
0860: 65 77 20 53 74 72 56 61 6c 75 65 28 65 2e 64 61  ew StrValue(e.da
0870: 74 61 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c  ta);...}.....Val
0880: 75 65 20 65 76 61 6c 28 20 49 6e 74 20 65 2c 20  ue eval( Int e, 
0890: 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65  Layer lay, Table
08a0: 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72 77   ctx, bool overw
08b0: 72 69 74 65 43 74 78 3d 43 61 73 63 61 64 65 43  riteCtx=CascadeC
08c0: 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20  tx )...{....if( 
08d0: 69 73 41 53 54 4c 61 79 65 72 28 6c 61 79 29 20  isASTLayer(lay) 
08e0: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 61 73 74  ).....return ast
08f0: 32 74 61 62 6c 65 28 65 2c 20 28 41 53 54 20 65  2table(e, (AST e
0900: 29 7b 72 65 74 75 72 6e 20 65 76 61 6c 28 65 2c  ){return eval(e,
0910: 6c 61 79 2c 63 74 78 29 3b 7d 29 3b 0d 0a 09 09  lay,ctx);});....
0920: 69 66 28 20 69 73 55 73 65 72 44 65 66 69 6e 65  if( isUserDefine
0930: 64 4c 61 79 65 72 28 6c 61 79 29 20 29 0d 0a 09  dLayer(lay) )...
0940: 09 09 72 65 74 75 72 6e 20 6c 69 66 74 28 6e 65  ..return lift(ne
0950: 77 20 49 6e 74 56 61 6c 75 65 28 65 2e 64 61 74  w IntValue(e.dat
0960: 61 29 2c 20 6c 61 79 2c 20 63 74 78 2c 20 65 2e  a), lay, ctx, e.
0970: 70 6f 73 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20  pos);....return 
0980: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 65 2e 64  new IntValue(e.d
0990: 61 74 61 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61  ata);...}.....Va
09a0: 6c 75 65 20 65 76 61 6c 28 20 56 61 72 20 65 2c  lue eval( Var e,
09b0: 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c   Layer lay, Tabl
09c0: 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72  e ctx, bool over
09d0: 77 72 69 74 65 43 74 78 3d 43 61 73 63 61 64 65  writeCtx=Cascade
09e0: 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28  Ctx )...{....if(
09f0: 20 69 73 41 53 54 4c 61 79 65 72 28 6c 61 79 29   isASTLayer(lay)
0a00: 20 29 0d 0a 09 09 09 69 66 28 20 69 73 4d 61 63   ).....if( isMac
0a10: 72 6f 4c 61 79 65 72 28 6c 61 79 29 20 26 26 20  roLayer(lay) && 
0a20: 63 74 78 2e 68 61 73 28 65 2e 6e 61 6d 65 2c 4d  ctx.has(e.name,M
0a30: 61 63 72 6f 4c 61 79 65 72 29 20 29 0d 0a 09 09  acroLayer) )....
0a40: 09 09 72 65 74 75 72 6e 20 63 74 78 2e 67 65 74  ..return ctx.get
0a50: 28 65 2e 6e 61 6d 65 2c 20 4d 61 63 72 6f 4c 61  (e.name, MacroLa
0a60: 79 65 72 2c 20 65 2e 70 6f 73 29 3b 0d 0a 09 09  yer, e.pos);....
0a70: 09 65 6c 73 65 0d 0a 09 09 09 09 72 65 74 75 72  .else......retur
0a80: 6e 20 61 73 74 32 74 61 62 6c 65 28 65 2c 20 28  n ast2table(e, (
0a90: 41 53 54 20 65 29 7b 72 65 74 75 72 6e 20 65 76  AST e){return ev
0aa0: 61 6c 28 65 2c 6c 61 79 2c 63 74 78 29 3b 7d 29  al(e,lay,ctx);})
0ab0: 3b 0d 0a 09 09 69 66 28 20 69 73 55 73 65 72 44  ;....if( isUserD
0ac0: 65 66 69 6e 65 64 4c 61 79 65 72 28 6c 61 79 29  efinedLayer(lay)
0ad0: 20 26 26 20 21 63 74 78 2e 68 61 73 28 65 2e 6e   && !ctx.has(e.n
0ae0: 61 6d 65 2c 20 6c 61 79 29 20 29 0d 0a 09 09 09  ame, lay) ).....
0af0: 72 65 74 75 72 6e 20 6c 69 66 74 28 63 74 78 2e  return lift(ctx.
0b00: 67 65 74 28 65 2e 6e 61 6d 65 2c 20 56 61 6c 75  get(e.name, Valu
0b10: 65 4c 61 79 65 72 2c 20 65 2e 70 6f 73 29 2c 20  eLayer, e.pos), 
0b20: 6c 61 79 2c 20 63 74 78 2c 20 65 2e 70 6f 73 29  lay, ctx, e.pos)
0b30: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 63 74 78 2e  ;....return ctx.
0b40: 67 65 74 28 65 2e 6e 61 6d 65 2c 20 6c 61 79 2c  get(e.name, lay,
0b50: 20 65 2e 70 6f 73 29 3b 0d 0a 09 7d 0d 0a 0d 0a   e.pos);...}....
0b60: 09 56 61 6c 75 65 20 65 76 61 6c 28 20 41 70 70  .Value eval( App
0b70: 20 65 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54   e, Layer lay, T
0b80: 61 62 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f  able ctx, bool o
0b90: 76 65 72 77 72 69 74 65 43 74 78 3d 43 61 73 63  verwriteCtx=Casc
0ba0: 61 64 65 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09  adeCtx )...{....
0bb0: 56 61 6c 75 65 20 66 20 3d 20 65 76 61 6c 28 20  Value f = eval( 
0bc0: 65 2e 66 75 6e 2c 20 6c 61 79 2c 20 63 74 78 20  e.fun, lay, ctx 
0bd0: 29 3b 0d 0a 09 09 69 66 28 20 69 73 41 53 54 4c  );....if( isASTL
0be0: 61 79 65 72 28 6c 61 79 29 20 29 20 7b 0d 0a 09  ayer(lay) ) {...
0bf0: 09 09 61 75 74 6f 20 66 66 20 3d 20 63 61 73 74  ..auto ff = cast
0c00: 28 46 75 6e 56 61 6c 75 65 29 66 3b 0d 0a 09 09  (FunValue)f;....
0c10: 09 69 66 28 20 66 66 20 21 69 73 20 6e 75 6c 6c  .if( ff !is null
0c20: 20 26 26 20 69 73 4d 61 63 72 6f 4c 61 79 65 72   && isMacroLayer
0c30: 28 6c 61 79 29 20 29 0d 0a 09 09 09 09 72 65 74  (lay) )......ret
0c40: 75 72 6e 20 69 6e 76 6f 6b 65 46 75 6e 63 74 69  urn invokeFuncti
0c50: 6f 6e 28 66 66 2c 20 65 2e 61 72 67 73 2c 20 6c  on(ff, e.args, l
0c60: 61 79 2c 20 63 74 78 2c 20 65 2e 70 6f 73 2c 20  ay, ctx, e.pos, 
0c70: 67 65 74 4e 61 6d 65 49 66 50 6f 73 73 69 62 6c  getNameIfPossibl
0c80: 65 28 65 2e 66 75 6e 29 29 3b 0d 0a 09 09 09 65  e(e.fun));.....e
0c90: 6c 73 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20  lse......return 
0ca0: 61 73 74 32 74 61 62 6c 65 28 65 2c 20 28 41 53  ast2table(e, (AS
0cb0: 54 20 65 29 7b 72 65 74 75 72 6e 20 65 76 61 6c  T e){return eval
0cc0: 28 65 2c 6c 61 79 2c 63 74 78 29 3b 7d 29 3b 0d  (e,lay,ctx);});.
0cd0: 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 69  ...}....return i
0ce0: 6e 76 6f 6b 65 46 75 6e 63 74 69 6f 6e 28 66 2c  nvokeFunction(f,
0cf0: 20 65 2e 61 72 67 73 2c 20 6c 61 79 2c 20 63 74   e.args, lay, ct
0d00: 78 2c 20 65 2e 70 6f 73 2c 20 67 65 74 4e 61 6d  x, e.pos, getNam
0d10: 65 49 66 50 6f 73 73 69 62 6c 65 28 65 2e 66 75  eIfPossible(e.fu
0d20: 6e 29 29 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 56 61  n));...}......Va
0d30: 6c 75 65 20 65 76 61 6c 28 20 46 75 6e 20 65 2c  lue eval( Fun e,
0d40: 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62 6c   Layer lay, Tabl
0d50: 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65 72  e ctx, bool over
0d60: 77 72 69 74 65 43 74 78 3d 43 61 73 63 61 64 65  writeCtx=Cascade
0d70: 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 28  Ctx )...{....if(
0d80: 20 69 73 41 53 54 4c 61 79 65 72 28 6c 61 79 29   isASTLayer(lay)
0d90: 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 2f 2f 20 6e   )....{.....// n
0da0: 65 65 64 20 74 68 69 73 20 66 6f 72 20 63 6f 72  eed this for cor
0db0: 72 65 63 74 20 73 63 6f 70 69 6e 67 20 28 6f 75  rect scoping (ou
0dc0: 74 65 72 20 73 63 6f 70 65 20 6d 61 63 72 6f 20  ter scope macro 
0dd0: 76 61 72 69 61 62 6c 65 73 20 6d 75 73 74 20 62  variables must b
0de0: 65 20 68 69 64 64 65 6e 21 29 0d 0a 09 09 09 54  e hidden!).....T
0df0: 61 62 6c 65 20 6e 65 77 43 74 78 20 3d 20 6e 65  able newCtx = ne
0e00: 77 20 54 61 62 6c 65 28 63 74 78 2c 20 54 61 62  w Table(ctx, Tab
0e10: 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 61  le.Kind.NotPropa
0e20: 67 61 74 65 53 65 74 29 3b 0d 0a 09 09 09 66 6f  gateSet);.....fo
0e30: 72 65 61 63 68 28 70 3b 20 65 2e 70 61 72 61 6d  reach(p; e.param
0e40: 73 29 0d 0a 09 09 09 09 6e 65 77 43 74 78 2e 73  s)......newCtx.s
0e50: 65 74 28 70 2e 6e 61 6d 65 2c 20 56 61 6c 75 65  et(p.name, Value
0e60: 4c 61 79 65 72 2c 20 6e 65 77 20 55 6e 64 65 66  Layer, new Undef
0e70: 69 6e 65 64 56 61 6c 75 65 29 3b 0d 0a 09 09 09  inedValue);.....
0e80: 72 65 74 75 72 6e 20 61 73 74 32 74 61 62 6c 65  return ast2table
0e90: 28 65 2c 20 28 41 53 54 20 65 29 7b 72 65 74 75  (e, (AST e){retu
0ea0: 72 6e 20 65 76 61 6c 28 65 2c 6c 61 79 2c 6e 65  rn eval(e,lay,ne
0eb0: 77 43 74 78 29 3b 7d 29 3b 0d 0a 09 09 7d 0d 0a  wCtx);});....}..
0ec0: 09 09 65 6c 73 65 0d 0a 09 09 09 72 65 74 75 72  ..else.....retur
0ed0: 6e 20 63 72 65 61 74 65 4e 65 77 46 75 6e 63 74  n createNewFunct
0ee0: 69 6f 6e 28 65 2c 20 63 74 78 29 3b 0d 0a 09 7d  ion(e, ctx);...}
0ef0: 0d 0a 09 0d 0a 09 56 61 6c 75 65 20 65 76 61 6c  ......Value eval
0f00: 28 20 4c 61 79 20 65 2c 20 4c 61 79 65 72 20 6c  ( Lay e, Layer l
0f10: 61 79 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62  ay, Table ctx, b
0f20: 6f 6f 6c 20 6f 76 65 72 77 72 69 74 65 43 74 78  ool overwriteCtx
0f30: 3d 43 61 73 63 61 64 65 43 74 78 20 29 0d 0a 09  =CascadeCtx )...
0f40: 7b 0d 0a 09 09 69 66 28 20 69 73 4e 6f 4c 61 79  {....if( isNoLay
0f50: 65 72 43 68 61 6e 67 65 4c 61 79 65 72 28 6c 61  erChangeLayer(la
0f60: 79 29 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20  y) ).....return 
0f70: 61 73 74 32 74 61 62 6c 65 28 65 2c 20 28 41 53  ast2table(e, (AS
0f80: 54 20 65 29 7b 72 65 74 75 72 6e 20 65 76 61 6c  T e){return eval
0f90: 28 65 2c 6c 61 79 2c 63 74 78 29 3b 7d 29 3b 0d  (e,lay,ctx);});.
0fa0: 0a 09 09 65 6c 73 65 0d 0a 09 09 09 72 65 74 75  ...else.....retu
0fb0: 72 6e 20 65 76 61 6c 28 65 2e 65 78 70 72 2c 20  rn eval(e.expr, 
0fc0: 65 2e 6c 61 79 65 72 2c 20 63 74 78 29 3b 0d 0a  e.layer, ctx);..
0fd0: 09 7d 0d 0a 09 0d 0a 09 56 61 6c 75 65 20 65 76  .}......Value ev
0fe0: 61 6c 28 20 4c 65 74 20 65 2c 20 4c 61 79 65 72  al( Let e, Layer
0ff0: 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 2c   lay, Table ctx,
1000: 20 62 6f 6f 6c 20 6f 76 65 72 77 72 69 74 65 43   bool overwriteC
1010: 74 78 3d 43 61 73 63 61 64 65 43 74 78 20 29 0d  tx=CascadeCtx ).
1020: 0a 09 7b 0d 0a 09 09 54 61 62 6c 65 20 6e 65 77  ..{....Table new
1030: 43 74 78 20 3d 20 6f 76 65 72 77 72 69 74 65 43  Ctx = overwriteC
1040: 74 78 20 3f 20 63 74 78 20 3a 20 6e 65 77 20 54  tx ? ctx : new T
1050: 61 62 6c 65 28 63 74 78 2c 20 54 61 62 6c 65 2e  able(ctx, Table.
1060: 4b 69 6e 64 2e 4e 6f 74 50 72 6f 70 61 67 61 74  Kind.NotPropagat
1070: 65 53 65 74 29 3b 0d 0a 09 09 69 66 28 20 69 73  eSet);....if( is
1080: 41 53 54 4c 61 79 65 72 28 6c 61 79 29 20 29 0d  ASTLayer(lay) ).
1090: 0a 09 09 09 72 65 74 75 72 6e 20 61 73 74 32 74  ....return ast2t
10a0: 61 62 6c 65 28 65 2c 20 28 41 53 54 20 65 65 29  able(e, (AST ee)
10b0: 7b 0d 0a 09 09 09 09 2f 2f 20 6e 65 65 64 20 74  {......// need t
10c0: 68 69 73 20 66 6f 72 20 63 6f 72 72 65 63 74 20  his for correct 
10d0: 73 63 6f 70 69 6e 67 20 28 6f 75 74 65 72 20 73  scoping (outer s
10e0: 63 6f 70 65 20 6d 61 63 72 6f 20 76 61 72 69 61  cope macro varia
10f0: 62 6c 65 73 20 6d 75 73 74 20 62 65 20 68 69 64  bles must be hid
1100: 64 65 6e 21 29 0d 0a 09 09 09 09 69 66 28 65 65  den!)......if(ee
1110: 20 69 73 20 65 2e 65 78 70 72 29 0d 0a 09 09 09   is e.expr).....
1120: 09 09 6e 65 77 43 74 78 2e 73 65 74 28 65 2e 6e  ..newCtx.set(e.n
1130: 61 6d 65 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c  ame, ValueLayer,
1140: 20 6e 65 77 20 55 6e 64 65 66 69 6e 65 64 56 61   new UndefinedVa
1150: 6c 75 65 29 3b 0d 0a 09 09 09 09 72 65 74 75 72  lue);......retur
1160: 6e 20 65 76 61 6c 28 65 65 2c 6c 61 79 2c 6e 65  n eval(ee,lay,ne
1170: 77 43 74 78 29 3b 0d 0a 09 09 09 7d 29 3b 0d 0a  wCtx);.....});..
1180: 09 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 09  ..else....{.....
1190: 56 61 6c 75 65 20 72 69 20 3d 20 65 76 61 6c 28  Value ri = eval(
11a0: 65 2e 69 6e 69 74 2c 20 6c 61 79 2c 20 6e 65 77  e.init, lay, new
11b0: 43 74 78 29 3b 0d 0a 09 09 09 6e 65 77 43 74 78  Ctx);.....newCtx
11c0: 2e 73 65 74 28 65 2e 6e 61 6d 65 2c 20 65 2e 6c  .set(e.name, e.l
11d0: 61 79 65 72 2e 65 6d 70 74 79 20 3f 20 6c 61 79  ayer.empty ? lay
11e0: 20 3a 20 65 2e 6c 61 79 65 72 2c 20 72 69 29 3b   : e.layer, ri);
11f0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 76 61 6c  .....return eval
1200: 28 65 2e 65 78 70 72 2c 20 6c 61 79 2c 20 6e 65  (e.expr, lay, ne
1210: 77 43 74 78 2c 20 4f 76 65 72 77 72 69 74 65 43  wCtx, OverwriteC
1220: 74 78 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d  tx);....}...}...
1230: 0a 70 72 69 76 61 74 65 3a 0d 0a 09 2f 2f 20 6c  .private:...// l
1240: 69 74 74 6c 65 20 6c 69 74 74 6c 65 20 62 69 74  ittle little bit
1250: 20 69 6e 63 72 65 6d 65 6e 74 61 6c 20 6d 61 63   incremental mac
1260: 72 6f 20 64 65 66 69 6e 69 6e 67 20 76 65 72 73  ro defining vers
1270: 69 6f 6e 2e 0d 0a 09 2f 2f 20 65 6e 61 62 6c 65  ion....// enable
1280: 73 20 40 6d 61 63 72 6f 20 66 6f 6f 28 78 29 3d  s @macro foo(x)=
1290: 2e 2e 2e 20 69 6e 20 2e 2e 2e 20 66 6f 6f 20 2e  ... in ... foo .
12a0: 2e 2e 2c 20 6f 6e 6c 79 20 61 74 20 74 68 65 20  .., only at the 
12b0: 74 6f 70 20 6c 65 76 65 6c 20 6f 66 20 74 68 65  top level of the
12c0: 0d 0a 09 2f 2f 20 69 6e 74 65 72 70 72 65 74 65  ...// interprete
12d0: 72 20 61 6e 64 20 66 75 6e 63 74 69 6f 6e 73 2e  r and functions.
12e0: 20 62 65 74 74 65 72 20 74 68 61 6e 20 6e 6f 74   better than not
12f0: 68 69 6e 67 20 3a 50 0d 0a 09 54 75 70 6c 65 21  hing :P...Tuple!
1300: 28 56 61 6c 75 65 2c 41 53 54 29 20 6d 61 63 72  (Value,AST) macr
1310: 6f 41 6e 64 45 76 61 6c 28 20 41 53 54 20 65 5f  oAndEval( AST e_
1320: 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 61 62  , Layer lay, Tab
1330: 6c 65 20 63 74 78 2c 20 62 6f 6f 6c 20 6f 76 65  le ctx, bool ove
1340: 72 77 72 69 74 65 43 74 78 3d 43 61 73 63 61 64  rwriteCtx=Cascad
1350: 65 43 74 78 20 29 0d 0a 09 7b 0d 0a 09 09 61 73  eCtx )...{....as
1360: 73 65 72 74 28 20 21 69 73 41 53 54 4c 61 79 65  sert( !isASTLaye
1370: 72 28 6c 61 79 29 20 29 3b 0d 0a 0d 0a 09 09 41  r(lay) );......A
1380: 53 54 20 64 65 63 6f 64 65 41 53 54 28 56 61 6c  ST decodeAST(Val
1390: 75 65 20 76 2c 20 4c 65 78 50 6f 73 69 74 69 6f  ue v, LexPositio
13a0: 6e 20 70 6f 73 29 0d 0a 09 09 7b 0d 0a 09 09 09  n pos)....{.....
13b0: 2f 2f 20 5b 54 4f 44 4f 5d 20 6d 6f 72 65 20 69  // [TODO] more i
13c0: 6e 66 6f 72 6d 61 74 69 76 65 20 65 72 72 6f 72  nformative error
13d0: 20 6d 65 73 73 61 67 65 0d 0a 09 09 09 72 65 74   message.....ret
13e0: 75 72 6e 20 70 6f 6c 65 6d 79 32 64 21 28 41 53  urn polemy2d!(AS
13f0: 54 29 28 76 2c 20 70 6f 73 29 3b 0d 0a 09 09 7d  T)(v, pos);....}
1400: 0d 0a 0d 0a 09 09 69 66 28 61 75 74 6f 20 65 20  ......if(auto e 
1410: 3d 20 63 61 73 74 28 4c 65 74 29 65 5f 29 0d 0a  = cast(Let)e_)..
1420: 09 09 7b 0d 0a 09 09 09 41 53 54 20 20 20 61 69  ..{.....AST   ai
1430: 20 3d 20 64 65 63 6f 64 65 41 53 54 28 65 76 61   = decodeAST(eva
1440: 6c 28 65 2e 69 6e 69 74 2c 20 52 61 77 4d 61 63  l(e.init, RawMac
1450: 72 6f 4c 61 79 65 72 2c 20 63 74 78 29 2c 20 65  roLayer, ctx), e
1460: 2e 69 6e 69 74 2e 70 6f 73 29 3b 0d 0a 09 09 09  .init.pos);.....
1470: 56 61 6c 75 65 20 76 69 20 3d 20 65 76 61 6c 28  Value vi = eval(
1480: 61 69 2c 20 6c 61 79 2c 20 63 74 78 29 3b 0d 0a  ai, lay, ctx);..
1490: 09 09 09 0d 0a 09 09 09 69 66 28 20 21 6f 76 65  ........if( !ove
14a0: 72 77 72 69 74 65 43 74 78 20 29 0d 0a 09 09 09  rwriteCtx ).....
14b0: 09 63 74 78 20 3d 20 6e 65 77 20 54 61 62 6c 65  .ctx = new Table
14c0: 28 63 74 78 2c 20 54 61 62 6c 65 2e 4b 69 6e 64  (ctx, Table.Kind
14d0: 2e 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74  .NotPropagateSet
14e0: 29 3b 0d 0a 09 09 09 73 74 72 69 6e 67 20 74 68  );.....string th
14f0: 65 4c 61 79 65 72 20 3d 20 65 2e 6c 61 79 65 72  eLayer = e.layer
1500: 2e 65 6d 70 74 79 20 3f 20 6c 61 79 20 3a 20 65  .empty ? lay : e
1510: 2e 6c 61 79 65 72 3b 0d 0a 09 09 09 63 74 78 2e  .layer;.....ctx.
1520: 73 65 74 28 65 2e 6e 61 6d 65 2c 20 74 68 65 4c  set(e.name, theL
1530: 61 79 65 72 2c 20 76 69 29 3b 0d 0a 0d 0a 09 09  ayer, vi);......
1540: 09 61 75 74 6f 20 61 76 65 20 3d 20 6d 61 63 72  .auto ave = macr
1550: 6f 41 6e 64 45 76 61 6c 28 20 65 2e 65 78 70 72  oAndEval( e.expr
1560: 2c 20 6c 61 79 2c 20 63 74 78 2c 20 4f 76 65 72  , lay, ctx, Over
1570: 77 72 69 74 65 43 74 78 20 29 3b 0d 0a 09 09 09  writeCtx );.....
1580: 41 53 54 20 20 61 20 3d 20 6e 65 77 20 4c 65 74  AST  a = new Let
1590: 28 65 2e 70 6f 73 2c 20 65 2e 6e 61 6d 65 2c 20  (e.pos, e.name, 
15a0: 65 2e 6c 61 79 65 72 2c 20 61 69 2c 20 61 76 65  e.layer, ai, ave
15b0: 5b 31 5d 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e  [1]);.....return
15c0: 20 74 75 70 6c 65 28 61 76 65 5b 30 5d 2c 20 61   tuple(ave[0], a
15d0: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d  );....}....else.
15e0: 0a 09 09 7b 0d 0a 09 09 09 41 53 54 20 20 20 61  ...{.....AST   a
15f0: 20 3d 20 64 65 63 6f 64 65 41 53 54 28 65 76 61   = decodeAST(eva
1600: 6c 28 65 5f 2c 20 52 61 77 4d 61 63 72 6f 4c 61  l(e_, RawMacroLa
1610: 79 65 72 2c 20 63 74 78 29 2c 20 65 5f 2e 70 6f  yer, ctx), e_.po
1620: 73 29 3b 0d 0a 09 09 09 56 61 6c 75 65 20 76 20  s);.....Value v 
1630: 3d 20 65 76 61 6c 28 61 2c 20 6c 61 79 2c 20 63  = eval(a, lay, c
1640: 74 78 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20  tx);.....return 
1650: 74 75 70 6c 65 28 76 2c 20 61 29 3b 0d 0a 09 09  tuple(v, a);....
1660: 7d 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65  }...}....private
1670: 3a 0d 0a 09 73 74 72 69 6e 67 20 67 65 74 4e 61  :...string getNa
1680: 6d 65 49 66 50 6f 73 73 69 62 6c 65 28 41 53 54  meIfPossible(AST
1690: 20 65 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 61 75   e)...{....if(au
16a0: 74 6f 20 76 20 3d 20 63 61 73 74 28 56 61 72 29  to v = cast(Var)
16b0: 65 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 76 2e  e).....return v.
16c0: 6e 61 6d 65 3b 0d 0a 09 09 72 65 74 75 72 6e 20  name;....return 
16d0: 22 22 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 56 61 6c  "";...}......Val
16e0: 75 65 20 69 6e 76 6f 6b 65 46 75 6e 63 74 69 6f  ue invokeFunctio
16f0: 6e 28 56 61 6c 75 65 20 5f 66 2c 20 41 53 54 5b  n(Value _f, AST[
1700: 5d 20 61 72 67 73 2c 20 4c 61 79 65 72 20 6c 61  ] args, Layer la
1710: 79 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 4c 65  y, Table ctx, Le
1720: 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 73  xPosition pos, s
1730: 74 72 69 6e 67 20 63 61 6c 6c 73 74 61 63 6b 6d  tring callstackm
1740: 73 67 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 61 75  sg)...{....if(au
1750: 74 6f 20 66 20 3d 20 63 61 73 74 28 46 75 6e 56  to f = cast(FunV
1760: 61 6c 75 65 29 5f 66 29 0d 0a 09 09 7b 0d 0a 09  alue)_f)....{...
1770: 09 09 54 61 62 6c 65 20 6e 65 77 43 74 78 20 3d  ..Table newCtx =
1780: 20 6e 65 77 20 54 61 62 6c 65 28 66 2e 64 65 66   new Table(f.def
1790: 69 6e 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29  initionContext()
17a0: 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74  , Table.Kind.Not
17b0: 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a  PropagateSet);..
17c0: 09 09 09 66 6f 72 65 61 63 68 28 69 2c 70 3b 20  ...foreach(i,p; 
17d0: 66 2e 70 61 72 61 6d 73 28 29 29 0d 0a 09 09 09  f.params()).....
17e0: 09 69 66 28 20 70 2e 6c 61 79 65 72 73 2e 65 6d  .if( p.layers.em
17f0: 70 74 79 20 29 0d 0a 09 09 09 09 09 6e 65 77 43  pty ).......newC
1800: 74 78 2e 73 65 74 28 70 2e 6e 61 6d 65 2c 20 69  tx.set(p.name, i
1810: 73 4d 61 63 72 6f 4c 61 79 65 72 28 6c 61 79 29  sMacroLayer(lay)
1820: 3f 4d 61 63 72 6f 4c 61 79 65 72 3a 6c 61 79 2c  ?MacroLayer:lay,
1830: 20 65 76 61 6c 28 61 72 67 73 5b 69 5d 2c 20 6c   eval(args[i], l
1840: 61 79 2c 20 63 74 78 29 29 3b 0d 0a 09 09 09 09  ay, ctx));......
1850: 65 6c 73 65 0d 0a 09 09 09 09 09 66 6f 72 65 61  else.......forea
1860: 63 68 28 61 72 67 4c 61 79 3b 20 70 2e 6c 61 79  ch(argLay; p.lay
1870: 65 72 73 29 0d 0a 09 09 09 09 09 09 6e 65 77 43  ers)........newC
1880: 74 78 2e 73 65 74 28 70 2e 6e 61 6d 65 2c 20 61  tx.set(p.name, a
1890: 72 67 4c 61 79 2c 20 65 76 61 6c 28 61 72 67 73  rgLay, eval(args
18a0: 5b 69 5d 2c 20 61 72 67 4c 61 79 2c 20 63 74 78  [i], argLay, ctx
18b0: 29 29 3b 0d 0a 09 09 09 73 63 6f 70 65 20 5f 20  ));.....scope _ 
18c0: 3d 20 6e 65 77 20 50 75 73 68 43 61 6c 6c 53 74  = new PushCallSt
18d0: 61 63 6b 28 70 6f 73 2c 20 63 61 6c 6c 73 74 61  ack(pos, callsta
18e0: 63 6b 6d 73 67 29 3b 0d 0a 09 09 09 72 65 74 75  ckmsg);.....retu
18f0: 72 6e 20 66 2e 69 6e 76 6f 6b 65 28 69 73 4d 61  rn f.invoke(isMa
1900: 63 72 6f 4c 61 79 65 72 28 6c 61 79 29 3f 4d 61  croLayer(lay)?Ma
1910: 63 72 6f 4c 61 79 65 72 3a 6c 61 79 2c 20 6e 65  croLayer:lay, ne
1920: 77 43 74 78 2c 20 70 6f 73 29 3b 0d 0a 09 09 7d  wCtx, pos);....}
1930: 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21  ....throw genex!
1940: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e  RuntimeException
1950: 28 70 6f 73 2c 20 74 65 78 74 28 22 74 72 69 65  (pos, text("trie
1960: 64 20 74 6f 20 63 61 6c 6c 20 6e 6f 6e 2d 66 75  d to call non-fu
1970: 6e 63 74 69 6f 6e 3a 20 22 2c 5f 66 29 29 3b 0d  nction: ",_f));.
1980: 0a 09 7d 0d 0a 0d 0a 09 56 61 6c 75 65 20 6c 69  ..}.....Value li
1990: 66 74 28 56 61 6c 75 65 20 76 2c 20 4c 61 79 65  ft(Value v, Laye
19a0: 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78  r lay, Table ctx
19b0: 2c 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f  , LexPosition po
19c0: 73 29 0d 0a 09 7b 0d 0a 09 09 61 73 73 65 72 74  s)...{....assert
19d0: 28 20 21 69 73 41 53 54 4c 61 79 65 72 28 6c 61  ( !isASTLayer(la
19e0: 79 29 2c 20 22 6c 69 66 74 20 74 6f 20 74 68 65  y), "lift to the
19f0: 20 40 6d 61 63 72 6f 20 6c 61 79 65 72 20 73 68   @macro layer sh
1a00: 6f 75 6c 64 20 6e 65 76 65 72 20 68 61 70 70 65  ould never happe
1a10: 6e 22 20 29 3b 0d 0a 0d 0a 09 09 2f 2f 20 66 75  n" );......// fu
1a20: 6e 63 74 69 6f 6e 73 20 61 72 65 20 61 75 74 6f  nctions are auto
1a30: 6d 61 74 69 63 61 6c 6c 79 20 6c 69 66 74 65 72  matically lifter
1a40: 64 0d 0a 09 09 69 66 28 20 63 61 73 74 28 46 75  d....if( cast(Fu
1a50: 6e 56 61 6c 75 65 29 20 76 20 29 0d 0a 09 09 09  nValue) v ).....
1a60: 72 65 74 75 72 6e 20 76 3b 0d 0a 0d 0a 09 09 69  return v;......i
1a70: 66 28 20 21 63 74 78 2e 68 61 73 28 6c 61 79 2c  f( !ctx.has(lay,
1a80: 20 53 79 73 74 65 6d 4c 61 79 65 72 29 20 29 0d   SystemLayer) ).
1a90: 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21  ....throw genex!
1aa0: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e  RuntimeException
1ab0: 28 70 6f 73 2c 20 22 6c 69 66 74 20 66 75 6e 63  (pos, "lift func
1ac0: 74 69 6f 6e 20 66 6f 72 20 22 7e 6c 61 79 7e 22  tion for "~lay~"
1ad0: 20 69 73 20 6e 6f 74 20 72 65 67 69 73 74 65 72   is not register
1ae0: 65 64 22 20 29 3b 0d 0a 0d 0a 09 09 2f 2f 20 73  ed" );......// s
1af0: 69 6d 69 6c 61 72 20 74 6f 20 69 6e 76 6f 6b 65  imilar to invoke
1b00: 46 75 6e 63 74 69 6f 6e 2c 20 62 75 74 20 77 69  Function, but wi
1b10: 74 68 20 6f 6e 6c 79 20 6f 6e 65 20 61 72 67 75  th only one argu
1b20: 6d 65 6e 74 20 62 6f 75 6e 64 20 74 6f 20 56 61  ment bound to Va
1b30: 6c 75 65 4c 61 79 65 72 0d 0a 09 09 61 75 74 6f  lueLayer....auto
1b40: 20 5f 66 20 3d 20 63 74 78 2e 67 65 74 28 6c 61   _f = ctx.get(la
1b50: 79 2c 20 53 79 73 74 65 6d 4c 61 79 65 72 2c 20  y, SystemLayer, 
1b60: 70 6f 73 29 3b 0d 0a 09 09 69 66 28 61 75 74 6f  pos);....if(auto
1b70: 20 66 20 3d 20 63 61 73 74 28 46 75 6e 56 61 6c   f = cast(FunVal
1b80: 75 65 29 5f 66 29 0d 0a 09 09 7b 0d 0a 09 09 09  ue)_f)....{.....
1b90: 54 61 62 6c 65 20 6e 65 77 43 74 78 20 3d 20 6e  Table newCtx = n
1ba0: 65 77 20 54 61 62 6c 65 28 66 2e 64 65 66 69 6e  ew Table(f.defin
1bb0: 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 2c 20  itionContext(), 
1bc0: 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72  Table.Kind.NotPr
1bd0: 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 09  opagateSet);....
1be0: 09 61 75 74 6f 20 70 73 20 3d 20 66 2e 70 61 72  .auto ps = f.par
1bf0: 61 6d 73 28 29 3b 0d 0a 09 09 09 69 66 28 20 70  ams();.....if( p
1c00: 73 2e 6c 65 6e 67 74 68 20 21 3d 20 31 20 29 0d  s.length != 1 ).
1c10: 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78  .....throw genex
1c20: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f  !RuntimeExceptio
1c30: 6e 28 70 6f 73 2c 0d 0a 09 09 09 09 09 74 65 78  n(pos,.......tex
1c40: 74 28 22 6c 69 66 74 20 66 75 6e 63 74 69 6f 6e  t("lift function
1c50: 20 66 6f 72 22 2c 20 6c 61 79 2c 20 22 20 6d 75   for", lay, " mu
1c60: 73 74 20 74 61 6b 65 20 65 78 61 63 74 6c 79 20  st take exactly 
1c70: 6f 6e 65 20 61 72 67 75 6d 65 6e 74 20 6f 66 20  one argument of 
1c80: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 29 3b  ", ValueLayer));
1c90: 0d 0a 09 09 09 69 66 28 20 70 73 5b 30 5d 2e 6c  .....if( ps[0].l
1ca0: 61 79 65 72 73 2e 6c 65 6e 67 74 68 3d 3d 30 20  ayers.length==0 
1cb0: 7c 7c 20 70 73 5b 30 5d 2e 6c 61 79 65 72 73 2e  || ps[0].layers.
1cc0: 6c 65 6e 67 74 68 3d 3d 31 20 26 26 20 70 73 5b  length==1 && ps[
1cd0: 30 5d 2e 6c 61 79 65 72 73 5b 30 5d 3d 3d 56 61  0].layers[0]==Va
1ce0: 6c 75 65 4c 61 79 65 72 20 29 0d 0a 09 09 09 7b  lueLayer ).....{
1cf0: 0d 0a 09 09 09 09 6e 65 77 43 74 78 2e 73 65 74  ......newCtx.set
1d00: 28 70 73 5b 30 5d 2e 6e 61 6d 65 2c 20 56 61 6c  (ps[0].name, Val
1d10: 75 65 4c 61 79 65 72 2c 20 76 29 3b 0d 0a 09 09  ueLayer, v);....
1d20: 09 09 73 63 6f 70 65 20 5f 20 3d 20 6e 65 77 20  ..scope _ = new 
1d30: 50 75 73 68 43 61 6c 6c 53 74 61 63 6b 28 70 6f  PushCallStack(po
1d40: 73 2c 20 6c 61 79 29 3b 0d 0a 09 09 09 09 72 65  s, lay);......re
1d50: 74 75 72 6e 20 66 2e 69 6e 76 6f 6b 65 28 56 61  turn f.invoke(Va
1d60: 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 43 74 78  lueLayer, newCtx
1d70: 2c 20 70 6f 73 29 3b 0d 0a 09 09 09 7d 0d 0a 09  , pos);.....}...
1d80: 09 09 65 6c 73 65 0d 0a 09 09 09 09 74 68 72 6f  ..else......thro
1d90: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45  w genex!RuntimeE
1da0: 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 0d 0a 09  xception(pos,...
1db0: 09 09 09 09 74 65 78 74 28 22 6c 69 66 74 20 66  ....text("lift f
1dc0: 75 6e 63 74 69 6f 6e 20 66 6f 72 22 2c 20 6c 61  unction for", la
1dd0: 79 2c 20 22 20 6d 75 73 74 20 74 61 6b 65 20 65  y, " must take e
1de0: 78 61 63 74 6c 79 20 6f 6e 65 20 61 72 67 75 6d  xactly one argum
1df0: 65 6e 74 20 6f 66 20 22 2c 20 56 61 6c 75 65 4c  ent of ", ValueL
1e00: 61 79 65 72 29 29 3b 0d 0a 09 09 7d 0d 0a 09 09  ayer));....}....
1e10: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74  throw genex!Runt
1e20: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73  imeException(pos
1e30: 2c 0d 0a 09 09 09 74 65 78 74 28 22 6e 6f 6e 2d  ,.....text("non-
1e40: 66 75 6e 63 74 69 6f 6e 20 22 2c 20 5f 66 2c 20  function ", _f, 
1e50: 22 20 69 73 20 72 65 67 69 73 74 65 72 65 64 20  " is registered 
1e60: 61 73 20 74 68 65 20 6c 69 66 74 20 66 75 6e 63  as the lift func
1e70: 74 69 6f 6e 20 66 6f 72 20 22 2c 20 6c 61 79 29  tion for ", lay)
1e80: 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 56 61 6c 75 65  );...}.....Value
1e90: 20 63 72 65 61 74 65 4e 65 77 46 75 6e 63 74 69   createNewFuncti
1ea0: 6f 6e 28 46 75 6e 20 65 2c 20 54 61 62 6c 65 20  on(Fun e, Table 
1eb0: 63 74 78 29 0d 0a 09 7b 0d 0a 09 09 63 6c 61 73  ctx)...{....clas
1ec0: 73 20 55 73 65 72 44 65 66 69 6e 65 64 46 75 6e  s UserDefinedFun
1ed0: 56 61 6c 75 65 20 3a 20 46 75 6e 56 61 6c 75 65  Value : FunValue
1ee0: 0d 0a 09 09 7b 0d 0a 09 09 09 46 75 6e 20 20 20  ....{.....Fun   
1ef0: 61 73 74 3b 0d 0a 09 09 09 54 61 62 6c 65 20 64  ast;.....Table d
1f00: 65 66 43 74 78 3b 0d 0a 09 09 09 6f 76 65 72 72  efCtx;.....overr
1f10: 69 64 65 20 63 6f 6e 73 74 28 50 61 72 61 6d 65  ide const(Parame
1f20: 74 65 72 5b 5d 29 20 70 61 72 61 6d 73 28 29 20  ter[]) params() 
1f30: 7b 20 72 65 74 75 72 6e 20 61 73 74 2e 70 61 72  { return ast.par
1f40: 61 6d 73 3b 20 7d 0d 0a 09 09 09 6f 76 65 72 72  ams; }.....overr
1f50: 69 64 65 20 54 61 62 6c 65 20 64 65 66 69 6e 69  ide Table defini
1f60: 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 20 20 20  tionContext()   
1f70: 7b 20 72 65 74 75 72 6e 20 64 65 66 43 74 78 3b  { return defCtx;
1f80: 20 7d 0d 0a 0d 0a 09 09 09 74 68 69 73 28 46 75   }.......this(Fu
1f90: 6e 20 61 73 74 2c 20 54 61 62 6c 65 20 64 65 66  n ast, Table def
1fa0: 43 74 78 29 20 7b 20 74 68 69 73 2e 61 73 74 3d  Ctx) { this.ast=
1fb0: 61 73 74 3b 20 74 68 69 73 2e 64 65 66 43 74 78  ast; this.defCtx
1fc0: 3d 64 65 66 43 74 78 3b 20 7d 0d 0a 09 09 09 6f  =defCtx; }.....o
1fd0: 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 20 74  verride string t
1fe0: 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 0d  oString() const.
1ff0: 0a 09 09 09 09 7b 20 72 65 74 75 72 6e 20 73 70  .....{ return sp
2000: 72 69 6e 74 66 21 22 28 66 75 6e 63 74 69 6f 6e  rintf!"(function
2010: 3a 25 78 3a 25 78 29 22 28 63 61 73 74 28 76 6f  :%x:%x)"(cast(vo
2020: 69 64 2a 29 61 73 74 2c 20 63 61 73 74 28 76 6f  id*)ast, cast(vo
2030: 69 64 2a 29 64 65 66 43 74 78 29 3b 20 7d 0d 0a  id*)defCtx); }..
2040: 09 09 09 6f 76 65 72 72 69 64 65 20 69 6e 74 20  ...override int 
2050: 6f 70 43 6d 70 28 4f 62 6a 65 63 74 20 72 68 73  opCmp(Object rhs
2060: 29 20 7b 0d 0a 09 09 09 09 69 66 28 61 75 74 6f  ) {......if(auto
2070: 20 72 20 3d 20 63 61 73 74 28 55 73 65 72 44 65   r = cast(UserDe
2080: 66 69 6e 65 64 46 75 6e 56 61 6c 75 65 29 72 68  finedFunValue)rh
2090: 73 29 20 7b 0d 0a 09 09 09 09 09 61 75 74 6f 20  s) {.......auto 
20a0: 61 20 3d 20 63 61 73 74 28 76 6f 69 64 2a 29 74  a = cast(void*)t
20b0: 68 69 73 2e 61 73 74 3b 0d 0a 09 09 09 09 09 61  his.ast;.......a
20c0: 75 74 6f 20 62 20 3d 20 63 61 73 74 28 76 6f 69  uto b = cast(voi
20d0: 64 2a 29 72 2e 61 73 74 3b 0d 0a 09 09 09 09 09  d*)r.ast;.......
20e0: 69 66 28 61 3c 62 29 20 72 65 74 75 72 6e 20 2d  if(a<b) return -
20f0: 31 3b 0d 0a 09 09 09 09 09 69 66 28 61 3e 62 29  1;.......if(a>b)
2100: 20 72 65 74 75 72 6e 20 2b 31 3b 20 2f 2f 20 5b   return +1; // [
2110: 54 4f 44 4f 5d 20 61 76 6f 69 64 20 75 73 69 6e  TODO] avoid usin
2120: 67 20 70 6f 69 6e 74 65 72 20 76 61 6c 75 65 2e  g pointer value.
2130: 2e 2e 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20  .........return 
2140: 74 68 69 73 2e 64 65 66 43 74 78 2e 6f 70 43 6d  this.defCtx.opCm
2150: 70 28 72 2e 64 65 66 43 74 78 29 3b 0d 0a 09 09  p(r.defCtx);....
2160: 09 09 7d 0d 0a 09 09 09 09 69 66 28 61 75 74 6f  ..}......if(auto
2170: 20 72 20 3d 20 63 61 73 74 28 56 61 6c 75 65 29   r = cast(Value)
2180: 72 68 73 29 20 72 65 74 75 72 6e 20 74 79 70 65  rhs) return type
2190: 69 64 28 74 68 69 73 29 2e 6f 70 43 6d 70 28 74  id(this).opCmp(t
21a0: 79 70 65 69 64 28 72 29 29 3b 0d 0a 09 09 09 09  ypeid(r));......
21b0: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74  throw genex!Runt
21c0: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 22 63 6f  imeException("co
21d0: 6d 70 61 72 69 73 6f 6e 20 77 69 74 68 20 76 61  mparison with va
21e0: 6c 75 65 20 61 6e 64 20 73 6f 6d 65 74 68 69 6e  lue and somethin
21f0: 67 20 6f 74 68 65 72 22 29 3b 0d 0a 09 09 09 7d  g other");.....}
2200: 0d 0a 09 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c  .....mixin Simpl
2210: 65 54 6f 48 61 73 68 3b 0d 0a 0d 0a 09 09 09 41  eToHash;.......A
2220: 53 54 20 61 66 74 65 72 4d 61 63 72 6f 41 53 54  ST afterMacroAST
2230: 3b 0d 0a 09 09 09 6f 76 65 72 72 69 64 65 20 56  ;.....override V
2240: 61 6c 75 65 20 69 6e 76 6f 6b 65 28 4c 61 79 65  alue invoke(Laye
2250: 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78  r lay, Table ctx
2260: 2c 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f  , LexPosition po
2270: 73 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 69 66  s).....{......if
2280: 28 20 69 73 41 53 54 4c 61 79 65 72 28 6c 61 79  ( isASTLayer(lay
2290: 29 20 29 0d 0a 09 09 09 09 09 72 65 74 75 72 6e  ) ).......return
22a0: 20 65 76 61 6c 28 61 73 74 2e 66 75 6e 62 6f 64   eval(ast.funbod
22b0: 79 2c 20 6c 61 79 2c 20 63 74 78 29 3b 0d 0a 09  y, lay, ctx);...
22c0: 09 09 09 69 66 28 20 61 66 74 65 72 4d 61 63 72  ...if( afterMacr
22d0: 6f 41 53 54 20 69 73 20 6e 75 6c 6c 20 29 0d 0a  oAST is null )..
22e0: 09 09 09 09 7b 0d 0a 09 09 09 09 09 61 75 74 6f  ....{.......auto
22f0: 20 76 61 20 3d 20 6d 61 63 72 6f 41 6e 64 45 76   va = macroAndEv
2300: 61 6c 28 65 2e 66 75 6e 62 6f 64 79 2c 20 6c 61  al(e.funbody, la
2310: 79 2c 20 63 74 78 29 3b 0d 0a 09 09 09 09 09 61  y, ctx);.......a
2320: 66 74 65 72 4d 61 63 72 6f 41 53 54 20 3d 20 76  fterMacroAST = v
2330: 61 5b 31 5d 3b 0d 0a 09 09 09 09 09 72 65 74 75  a[1];.......retu
2340: 72 6e 20 76 61 5b 30 5d 3b 0d 0a 09 09 09 09 7d  rn va[0];......}
2350: 0d 0a 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09  ......else......
2360: 09 72 65 74 75 72 6e 20 65 76 61 6c 28 61 66 74  .return eval(aft
2370: 65 72 4d 61 63 72 6f 41 53 54 2c 20 6c 61 79 2c  erMacroAST, lay,
2380: 20 63 74 78 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09   ctx);.....}....
2390: 7d 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20  }....return new 
23a0: 55 73 65 72 44 65 66 69 6e 65 64 46 75 6e 56 61  UserDefinedFunVa
23b0: 6c 75 65 28 65 2c 63 74 78 29 3b 0d 0a 09 7d 0d  lue(e,ctx);...}.
23c0: 0a 0d 0a 70 75 62 6c 69 63 3a 0d 0a 09 2f 2f 2f  ...public:...///
23d0: 20 41 64 64 20 70 72 69 6d 69 74 69 76 65 20 66   Add primitive f
23e0: 75 6e 63 74 69 6f 6e 20 74 6f 20 74 68 65 20 67  unction to the g
23f0: 6c 6f 62 61 6c 20 63 6f 6e 74 65 78 74 0d 0a 09  lobal context...
2400: 76 6f 69 64 20 61 64 64 50 72 69 6d 69 74 69 76  void addPrimitiv
2410: 65 28 52 2c 54 2e 2e 2e 29 28 73 74 72 69 6e 67  e(R,T...)(string
2420: 20 6e 61 6d 65 2c 20 4c 61 79 65 72 20 64 65 66   name, Layer def
2430: 4c 61 79 2c 20 52 20 64 65 6c 65 67 61 74 65 20  Lay, R delegate 
2440: 28 54 29 20 64 67 29 0d 0a 09 7b 0d 0a 09 09 63  (T) dg)...{....c
2450: 6c 61 73 73 20 4e 61 74 69 76 65 46 75 6e 56 61  lass NativeFunVa
2460: 6c 75 65 20 3a 20 46 75 6e 56 61 6c 75 65 0d 0a  lue : FunValue..
2470: 09 09 7b 0d 0a 09 09 09 6f 76 65 72 72 69 64 65  ..{.....override
2480: 20 63 6f 6e 73 74 28 50 61 72 61 6d 65 74 65 72   const(Parameter
2490: 5b 5d 29 20 70 61 72 61 6d 73 28 29 20 7b 20 72  []) params() { r
24a0: 65 74 75 72 6e 20 70 61 72 61 6d 73 5f 64 61 74  eturn params_dat
24b0: 61 3b 20 7d 0d 0a 09 09 09 6f 76 65 72 72 69 64  a; }.....overrid
24c0: 65 20 54 61 62 6c 65 20 64 65 66 69 6e 69 74 69  e Table definiti
24d0: 6f 6e 43 6f 6e 74 65 78 74 28 29 20 20 20 7b 20  onContext()   { 
24e0: 72 65 74 75 72 6e 20 74 68 65 43 6f 6e 74 65 78  return theContex
24f0: 74 3b 20 7d 0d 0a 0d 0a 09 09 09 6f 76 65 72 72  t; }.......overr
2500: 69 64 65 20 73 74 72 69 6e 67 20 74 6f 53 74 72  ide string toStr
2510: 69 6e 67 28 29 20 7b 20 72 65 74 75 72 6e 20 73  ing() { return s
2520: 70 72 69 6e 74 66 21 22 28 6e 61 74 69 76 65 3a  printf!"(native:
2530: 25 78 29 22 28 64 67 2e 66 75 6e 63 70 74 72 29  %x)"(dg.funcptr)
2540: 3b 20 7d 0d 0a 09 09 09 6f 76 65 72 72 69 64 65  ; }.....override
2550: 20 69 6e 74 20 6f 70 43 6d 70 28 4f 62 6a 65 63   int opCmp(Objec
2560: 74 20 72 68 73 29 20 7b 0d 0a 09 09 09 09 69 66  t rhs) {......if
2570: 28 61 75 74 6f 20 72 20 3d 20 63 61 73 74 28 4e  (auto r = cast(N
2580: 61 74 69 76 65 46 75 6e 56 61 6c 75 65 29 72 68  ativeFunValue)rh
2590: 73 29 20 72 65 74 75 72 6e 20 74 79 70 65 69 64  s) return typeid
25a0: 28 74 79 70 65 6f 66 28 64 67 29 29 2e 63 6f 6d  (typeof(dg)).com
25b0: 70 61 72 65 28 26 64 67 2c 26 72 2e 64 67 29 3b  pare(&dg,&r.dg);
25c0: 0d 0a 09 09 09 09 69 66 28 61 75 74 6f 20 72 20  ......if(auto r 
25d0: 3d 20 63 61 73 74 28 56 61 6c 75 65 29 72 68 73  = cast(Value)rhs
25e0: 29 20 20 20 20 20 20 20 20 20 20 72 65 74 75 72  )          retur
25f0: 6e 20 74 79 70 65 69 64 28 74 68 69 73 29 2e 6f  n typeid(this).o
2600: 70 43 6d 70 28 74 79 70 65 69 64 28 72 29 29 3b  pCmp(typeid(r));
2610: 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65  ......throw gene
2620: 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69  x!RuntimeExcepti
2630: 6f 6e 28 22 63 6f 6d 70 61 72 69 73 6f 6e 20 77  on("comparison w
2640: 69 74 68 20 76 61 6c 75 65 20 61 6e 64 20 73 6f  ith value and so
2650: 6d 65 74 68 69 6e 67 20 6f 74 68 65 72 22 29 3b  mething other");
2660: 0d 0a 09 09 09 7d 0d 0a 09 09 09 6d 69 78 69 6e  .....}.....mixin
2670: 20 53 69 6d 70 6c 65 54 6f 48 61 73 68 3b 0d 0a   SimpleToHash;..
2680: 0d 0a 09 09 09 52 20 64 65 6c 65 67 61 74 65 28  .....R delegate(
2690: 54 29 20 64 67 3b 0d 0a 09 09 09 50 61 72 61 6d  T) dg;.....Param
26a0: 65 74 65 72 5b 5d 20 70 61 72 61 6d 73 5f 64 61  eter[] params_da
26b0: 74 61 3b 0d 0a 0d 0a 09 09 09 74 68 69 73 28 52  ta;.......this(R
26c0: 20 64 65 6c 65 67 61 74 65 28 54 29 20 64 67 29   delegate(T) dg)
26d0: 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 74 68 69 73  .....{......this
26e0: 2e 64 67 20 3d 20 64 67 3b 0d 0a 09 09 09 09 66  .dg = dg;......f
26f0: 6f 72 65 61 63 68 28 69 2c 20 54 69 3b 20 54 29  oreach(i, Ti; T)
2700: 0d 0a 09 09 09 09 09 70 61 72 61 6d 73 5f 64 61  .......params_da
2710: 74 61 20 7e 3d 20 6e 65 77 20 50 61 72 61 6d 65  ta ~= new Parame
2720: 74 65 72 28 74 65 78 74 28 69 29 2c 20 5b 5d 29  ter(text(i), [])
2730: 3b 0d 0a 09 09 09 7d 0d 0a 0d 0a 09 09 09 6f 76  ;.....}.......ov
2740: 65 72 72 69 64 65 20 56 61 6c 75 65 20 69 6e 76  erride Value inv
2750: 6f 6b 65 28 4c 61 79 65 72 20 6c 61 79 2c 20 54  oke(Layer lay, T
2760: 61 62 6c 65 20 63 74 78 2c 20 4c 65 78 50 6f 73  able ctx, LexPos
2770: 69 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 09 09 7b  ition pos).....{
2780: 0d 0a 09 09 09 09 69 66 28 20 6c 61 79 20 21 3d  ......if( lay !=
2790: 20 64 65 66 4c 61 79 20 29 0d 0a 09 09 09 09 09   defLay ).......
27a0: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74  throw genex!Runt
27b0: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73  imeException(pos
27c0: 2c 0d 0a 09 09 09 09 09 09 74 65 78 74 28 22 6f  ,........text("o
27d0: 6e 6c 79 20 22 2c 20 64 65 66 4c 61 79 2c 20 22  nly ", defLay, "
27e0: 20 6c 61 79 65 72 20 63 61 6e 20 63 61 6c 6c 20   layer can call 
27f0: 6e 61 74 69 76 65 20 66 75 6e 63 74 69 6f 6e 3a  native function:
2800: 20 22 2c 20 6e 61 6d 65 29 29 3b 0d 0a 09 09 09   ", name));.....
2810: 09 54 20 74 79 70 65 64 5f 61 72 67 73 3b 0d 0a  .T typed_args;..
2820: 09 09 09 09 66 6f 72 65 61 63 68 28 69 2c 20 54  ....foreach(i, T
2830: 69 3b 20 54 29 20 7b 0d 0a 09 09 09 09 09 74 79  i; T) {.......ty
2840: 70 65 64 5f 61 72 67 73 5b 69 5d 20 3d 20 63 61  ped_args[i] = ca
2850: 73 74 28 54 69 29 20 63 74 78 2e 67 65 74 28 74  st(Ti) ctx.get(t
2860: 65 78 74 28 69 29 2c 20 56 61 6c 75 65 4c 61 79  ext(i), ValueLay
2870: 65 72 2c 20 70 6f 73 29 3b 0d 0a 09 09 09 09 09  er, pos);.......
2880: 69 66 28 20 74 79 70 65 64 5f 61 72 67 73 5b 69  if( typed_args[i
2890: 5d 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09  ] is null ).....
28a0: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52  ...throw genex!R
28b0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28  untimeException(
28c0: 70 6f 73 2c 0d 0a 09 09 09 09 09 09 09 73 70 72  pos,.........spr
28d0: 69 6e 74 66 21 22 74 79 70 65 20 6d 69 73 6d 61  intf!"type misma
28e0: 74 63 68 20 6f 6e 20 74 68 65 20 61 72 67 75 6d  tch on the argum
28f0: 65 6e 74 20 25 64 20 6f 66 20 6e 61 74 69 76 65  ent %d of native
2900: 20 66 75 6e 63 74 69 6f 6e 3a 20 25 73 22 28 69   function: %s"(i
2910: 2b 31 2c 6e 61 6d 65 29 29 3b 0d 0a 09 09 09 09  +1,name));......
2920: 7d 0d 0a 09 09 09 09 74 72 79 20 7b 0d 0a 09 09  }......try {....
2930: 09 09 09 72 65 74 75 72 6e 20 64 67 28 74 79 70  ...return dg(typ
2940: 65 64 5f 61 72 67 73 29 3b 0d 0a 09 09 09 09 7d  ed_args);......}
2950: 20 63 61 74 63 68 28 20 52 75 6e 74 69 6d 65 45   catch( RuntimeE
2960: 78 63 65 70 74 69 6f 6e 20 65 20 29 20 7b 0d 0a  xception e ) {..
2970: 09 09 09 09 09 74 68 72 6f 77 20 65 2e 70 6f 73  .....throw e.pos
2980: 20 69 73 20 6e 75 6c 6c 20 3f 20 6e 65 77 20 52   is null ? new R
2990: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28  untimeException(
29a0: 70 6f 73 2c 20 65 2e 6d 73 67 2c 20 65 2e 66 69  pos, e.msg, e.fi
29b0: 6c 65 2c 20 65 2e 6c 69 6e 65 29 20 3a 20 65 3b  le, e.line) : e;
29c0: 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 7d 0d 0a 09  ......}.....}...
29d0: 09 7d 0d 0a 09 09 74 68 65 43 6f 6e 74 65 78 74  .}....theContext
29e0: 2e 73 65 74 28 6e 61 6d 65 2c 20 64 65 66 4c 61  .set(name, defLa
29f0: 79 2c 20 6e 65 77 20 4e 61 74 69 76 65 46 75 6e  y, new NativeFun
2a00: 56 61 6c 75 65 28 64 67 29 29 3b 0d 0a 09 7d 0d  Value(dg));...}.
2a10: 0a 7d 0d 0a 0d 0a 76 65 72 73 69 6f 6e 28 75 6e  .}....version(un
2a20: 69 74 74 65 73 74 29 20 69 6d 70 6f 72 74 20 70  ittest) import p
2a30: 6f 6c 65 6d 79 2e 72 75 6e 74 69 6d 65 3b 0d 0a  olemy.runtime;..
2a40: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75  unittest..{...au
2a50: 74 6f 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75  to e = new Evalu
2a60: 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75  ator;...enrollRu
2a70: 6e 74 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b  ntimeLibrary(e);
2a80: 0d 0a 09 61 75 74 6f 20 72 20 3d 20 61 73 73 65  ...auto r = asse
2a90: 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 2e 65 76  rt_nothrow( e.ev
2aa0: 61 6c 53 74 72 69 6e 67 28 60 76 61 72 20 78 20  alString(`var x 
2ab0: 3d 20 32 31 3b 20 78 20 2b 20 78 2a 78 3b 60 29  = 21; x + x*x;`)
2ac0: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28   );...assert_eq(
2ad0: 20 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65   r, new IntValue
2ae0: 28 42 69 67 49 6e 74 28 32 31 2b 32 31 2a 32 31  (BigInt(21+21*21
2af0: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65  )) );...assert_e
2b00: 71 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74 65  q( e.globalConte
2b10: 78 74 2e 67 65 74 28 22 78 22 2c 56 61 6c 75 65  xt.get("x",Value
2b20: 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56  Layer), new IntV
2b30: 61 6c 75 65 28 42 69 67 49 6e 74 28 32 31 29 29  alue(BigInt(21))
2b40: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74   );...assert_not
2b50: 68 72 6f 77 28 20 65 2e 67 6c 6f 62 61 6c 43 6f  hrow( e.globalCo
2b60: 6e 74 65 78 74 2e 67 65 74 28 22 78 22 2c 56 61  ntext.get("x",Va
2b70: 6c 75 65 4c 61 79 65 72 29 20 29 3b 0d 0a 09 61  lueLayer) );...a
2b80: 73 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74  ssert_throw!Runt
2b90: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 65 2e  imeException( e.
2ba0: 67 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 2e 67 65  globalContext.ge
2bb0: 74 28 22 79 22 2c 56 61 6c 75 65 4c 61 79 65 72  t("y",ValueLayer
2bc0: 29 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73  ) );..}..unittes
2bd0: 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20  t..{...auto e = 
2be0: 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a  new Evaluator;..
2bf0: 09 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69  .enrollRuntimeLi
2c00: 62 72 61 72 79 28 65 29 3b 0d 0a 09 61 75 74 6f  brary(e);...auto
2c10: 20 72 20 3d 20 61 73 73 65 72 74 5f 6e 6f 74 68   r = assert_noth
2c20: 72 6f 77 28 20 65 2e 65 76 61 6c 53 74 72 69 6e  row( e.evalStrin
2c30: 67 28 60 76 61 72 20 78 20 3d 20 32 31 3b 20 76  g(`var x = 21; v
2c40: 61 72 20 78 20 3d 20 78 20 2b 20 78 2a 78 3b 60  ar x = x + x*x;`
2c50: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71  ) );...assert_eq
2c60: 28 20 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75  ( r, new IntValu
2c70: 65 28 42 69 67 49 6e 74 28 32 31 2b 32 31 2a 32  e(BigInt(21+21*2
2c80: 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f  1)) );...assert_
2c90: 65 71 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e 74  eq( e.globalCont
2ca0: 65 78 74 2e 67 65 74 28 22 78 22 2c 56 61 6c 75  ext.get("x",Valu
2cb0: 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74  eLayer), new Int
2cc0: 56 61 6c 75 65 28 32 31 2b 32 31 2a 32 31 29 20  Value(21+21*21) 
2cd0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68  );...assert_noth
2ce0: 72 6f 77 28 20 65 2e 67 6c 6f 62 61 6c 43 6f 6e  row( e.globalCon
2cf0: 74 65 78 74 2e 67 65 74 28 22 78 22 2c 56 61 6c  text.get("x",Val
2d00: 75 65 4c 61 79 65 72 29 20 29 3b 0d 0a 09 61 73  ueLayer) );...as
2d10: 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69  sert_throw!Runti
2d20: 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 65 2e 67  meException( e.g
2d30: 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 2e 67 65 74  lobalContext.get
2d40: 28 22 79 22 2c 56 61 6c 75 65 4c 61 79 65 72 29  ("y",ValueLayer)
2d50: 20 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74   );..}..unittest
2d60: 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e  ..{...auto e = n
2d70: 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09  ew Evaluator;...
2d80: 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62  enrollRuntimeLib
2d90: 72 61 72 79 28 65 29 3b 0d 0a 09 61 73 73 65 72  rary(e);...asser
2da0: 74 5f 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69  t_eq( e.evalStri
2db0: 6e 67 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74  ng(`let x=1; let
2dc0: 20 79 3d 28 6c 65 74 20 78 3d 32 29 3b 20 78 60   y=(let x=2); x`
2dd0: 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28  ), new IntValue(
2de0: 31 29 20 29 3b 20 0d 0a 09 61 73 73 65 72 74 5f  1) ); ...assert_
2df0: 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67  eq( e.evalString
2e00: 28 60 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 79  (`let x=1; let y
2e10: 3d 28 6c 65 74 20 78 3d 32 3b 66 75 6e 28 29 7b  =(let x=2;fun(){
2e20: 78 7d 29 3b 20 79 28 29 60 29 2c 20 6e 65 77 20  x}); y()`), new 
2e30: 49 6e 74 56 61 6c 75 65 28 32 29 20 29 3b 20 0d  IntValue(2) ); .
2e40: 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a  .}....unittest..
2e50: 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e 65 77  {...auto e = new
2e60: 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09 65 6e   Evaluator;...en
2e70: 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 61  rollRuntimeLibra
2e80: 72 79 28 65 29 3b 0d 0a 09 61 73 73 65 72 74 5f  ry(e);...assert_
2e90: 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67  eq( e.evalString
2ea0: 28 60 40 61 20 78 3d 31 3b 20 40 62 20 78 3d 32  (`@a x=1; @b x=2
2eb0: 3b 20 40 61 28 78 29 60 29 2c 20 6e 65 77 20 49  ; @a(x)`), new I
2ec0: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31  ntValue(BigInt(1
2ed0: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65  )) );...assert_e
2ee0: 71 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28  q( e.evalString(
2ef0: 60 40 61 20 78 3d 31 3b 20 40 62 20 78 3d 32 3b  `@a x=1; @b x=2;
2f00: 20 40 62 28 78 29 60 29 2c 20 6e 65 77 20 49 6e   @b(x)`), new In
2f10: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 32 29  tValue(BigInt(2)
2f20: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71  ) );...assert_eq
2f30: 28 20 65 2e 65 76 61 6c 53 74 72 69 6e 67 28 60  ( e.evalString(`
2f40: 6c 65 74 20 78 3d 31 3b 20 6c 65 74 20 5f 20 3d  let x=1; let _ =
2f50: 20 28 40 61 20 78 3d 32 3b 32 29 3b 20 78 60 29   (@a x=2;2); x`)
2f60: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42  , new IntValue(B
2f70: 69 67 49 6e 74 28 31 29 29 20 29 3b 0d 0a 09 65  igInt(1)) );...e
2f80: 20 3d 20 6e 65 77 20 45 76 61 6c 75 61 74 6f 72   = new Evaluator
2f90: 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77  ;...assert_throw
2fa0: 21 54 68 72 6f 77 61 62 6c 65 28 20 65 2e 65 76  !Throwable( e.ev
2fb0: 61 6c 53 74 72 69 6e 67 28 60 6c 65 74 20 78 3d  alString(`let x=
2fc0: 31 3b 20 6c 65 74 20 5f 20 3d 20 28 40 61 20 78  1; let _ = (@a x
2fd0: 3d 32 3b 32 29 3b 20 40 61 28 78 29 60 29 20 29  =2;2); @a(x)`) )
2fe0: 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74  ;..}....unittest
2ff0: 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d 20 6e  ..{...auto e = n
3000: 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d 0a 09  ew Evaluator;...
3010: 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c 69 62  enrollRuntimeLib
3020: 72 61 72 79 28 65 29 3b 0d 0a 09 61 73 73 65 72  rary(e);...asser
3030: 74 5f 65 71 28 20 65 2e 65 76 61 6c 53 74 72 69  t_eq( e.evalStri
3040: 6e 67 28 60 0d 0a 09 09 40 40 73 28 78 29 7b 78  ng(`....@@s(x){x
3050: 7d 3b 0d 0a 09 09 40 73 20 22 2b 22 20 3d 20 66  };....@s "+" = f
3060: 75 6e 28 78 2c 20 79 29 20 7b 40 76 61 6c 75 65  un(x, y) {@value
3070: 28 0d 0a 09 09 09 40 73 28 78 29 20 2d 20 40 73  (.....@s(x) - @s
3080: 28 79 29 0d 0a 09 09 29 7d 3b 0d 0a 09 09 40 73  (y)....)};....@s
3090: 28 31 20 2b 20 32 29 0d 0a 09 60 29 2c 20 6e 65  (1 + 2)...`), ne
30a0: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e  w IntValue(BigIn
30b0: 74 28 2d 31 29 29 20 29 3b 0d 0a 7d 0d 0a 0d 0a  t(-1)) );..}....
30c0: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75  unittest..{...au
30d0: 74 6f 20 65 20 3d 20 6e 65 77 20 45 76 61 6c 75  to e = new Evalu
30e0: 61 74 6f 72 3b 0d 0a 09 65 6e 72 6f 6c 6c 52 75  ator;...enrollRu
30f0: 6e 74 69 6d 65 4c 69 62 72 61 72 79 28 65 29 3b  ntimeLibrary(e);
3100: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 65 2e  ...assert_eq( e.
3110: 65 76 61 6c 53 74 72 69 6e 67 28 60 0d 0a 40 40  evalString(`..@@
3120: 33 28 78 29 7b 78 7d 3b 0d 0a 64 65 66 20 69 6e  3(x){x};..def in
3130: 63 72 28 78 29 20 7b 20 78 2b 31 20 7d 3b 0d 0a  cr(x) { x+1 };..
3140: 40 20 33 20 69 6e 63 72 28 78 29 20 7b 40 76 61  @ 3 incr(x) {@va
3150: 6c 75 65 28 20 69 66 28 40 20 33 28 78 29 2b 31  lue( if(@ 3(x)+1
3160: 3c 20 33 29 7b 40 20 33 28 78 29 2b 31 7d 65 6c  < 3){@ 3(x)+1}el
3170: 73 65 7b 30 7d 20 29 7d 3b 0d 0a 64 65 66 20 66  se{0} )};..def f
3180: 62 28 6e 20 40 76 61 6c 75 65 20 40 33 29 20 7b  b(n @value @3) {
3190: 20 40 33 28 6e 29 20 7d 3b 0d 0a 66 62 28 69 6e   @3(n) };..fb(in
31a0: 63 72 28 69 6e 63 72 28 69 6e 63 72 28 30 29 29  cr(incr(incr(0))
31b0: 29 29 0d 0a 09 60 29 2c 20 6e 65 77 20 49 6e 74  ))...`), new Int
31c0: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29  Value(BigInt(0))
31d0: 20 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65   );..}....unitte
31e0: 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 65 20 3d  st..{...auto e =
31f0: 20 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 3b 0d   new Evaluator;.
3200: 0a 09 65 6e 72 6f 6c 6c 52 75 6e 74 69 6d 65 4c  ..enrollRuntimeL
3210: 69 62 72 61 72 79 28 65 29 3b 0d 0a 09 61 73 73  ibrary(e);...ass
3220: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 2e 65  ert_nothrow( e.e
3230: 76 61 6c 53 74 72 69 6e 67 28 60 0d 0a 40 6d 61  valString(`..@ma
3240: 63 72 6f 20 74 77 69 63 65 28 78 29 20 7b 20 78  cro twice(x) { x
3250: 3b 20 78 20 7d 3b 0d 0a 64 65 66 20 6d 61 69 6e  ; x };..def main
3260: 28 29 20 7b 20 74 77 69 63 65 28 31 29 20 7d 3b  () { twice(1) };
3270: 0d 0a 6d 61 69 6e 28 29 0d 0a 09 60 29 20 29 3b  ..main()...`) );
3280: 0d 0a 7d 0d 0a 2f 2a 0d 0a 75 6e 69 74 74 65 73  ..}../*..unittes
3290: 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 65 71  t..{...assert_eq
32a0: 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 76 61  ( evalString(`va
32b0: 72 20 66 61 63 20 3d 20 66 75 6e 28 78 29 7b 0d  r fac = fun(x){.
32c0: 0a 09 09 69 66 28 78 29 0d 0a 09 09 09 7b 20 78  ...if(x).....{ x
32d0: 2a 66 61 63 28 78 2d 31 29 3b 20 7d 0d 0a 09 09  *fac(x-1); }....
32e0: 65 6c 73 65 0d 0a 09 09 09 7b 20 31 3b 20 7d 3b  else.....{ 1; };
32f0: 0d 0a 09 7d 3b 0d 0a 09 66 61 63 28 31 30 29 3b  ...};...fac(10);
3300: 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56  `).val, new IntV
3310: 61 6c 75 65 28 42 69 67 49 6e 74 28 31 30 2a 39  alue(BigInt(10*9
3320: 2a 38 2a 35 30 34 30 29 29 29 3b 0d 0a 09 61 73  *8*5040)));...as
3330: 73 65 72 74 5f 65 71 28 20 65 76 61 6c 53 74 72  sert_eq( evalStr
3340: 69 6e 67 28 60 76 61 72 20 66 69 62 20 3d 20 66  ing(`var fib = f
3350: 75 6e 28 78 29 7b 0d 0a 09 09 69 66 28 78 3c 32  un(x){....if(x<2
3360: 29 0d 0a 09 09 09 7b 20 31 3b 20 7d 0d 0a 09 09  ).....{ 1; }....
3370: 65 6c 73 65 0d 0a 09 09 09 7b 20 66 69 62 28 78  else.....{ fib(x
3380: 2d 31 29 20 2b 20 66 69 62 28 78 2d 32 29 3b 20  -1) + fib(x-2); 
3390: 7d 3b 0d 0a 09 7d 3b 0d 0a 09 66 69 62 28 35 29  };...};...fib(5)
33a0: 3b 60 29 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74  ;`).val, new Int
33b0: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 38 29 29  Value(BigInt(8))
33c0: 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0d  );..}..unittest.
33d0: 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20  .{...assert_eq( 
33e0: 65 76 61 6c 53 74 72 69 6e 67 28 60 40 40 74 20  evalString(`@@t 
33f0: 3d 20 66 75 6e 28 78 29 7b 78 2b 31 7d 3b 20 40  = fun(x){x+1}; @
3400: 74 28 31 32 33 29 60 29 2e 76 61 6c 2c 20 6e 65  t(123)`).val, ne
3410: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e  w IntValue(BigIn
3420: 74 28 31 32 34 29 29 20 29 3b 0d 0a 09 2f 2f 20  t(124)) );...// 
3430: 74 68 65 72 65 20 77 61 73 20 61 20 62 75 67 20  there was a bug 
3440: 74 68 61 74 20 64 65 63 6c 61 72 61 74 69 6f 6e  that declaration
3450: 20 69 6e 20 74 68 65 20 66 69 72 73 74 20 6c 69   in the first li
3460: 6e 65 20 6f 66 20 66 75 6e 63 74 69 6f 6e 20 64  ne of function d
3470: 65 66 69 6e 69 74 69 6f 6e 0d 0a 09 2f 2f 20 63  efinition...// c
3480: 61 6e 6e 6f 74 20 62 65 20 72 65 63 75 72 73 69  annot be recursi
3490: 76 65 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68  ve...assert_noth
34a0: 72 6f 77 28 20 65 76 61 6c 53 74 72 69 6e 67 28  row( evalString(
34b0: 60 64 65 66 20 66 6f 6f 28 29 20 7b 0d 0a 20 20  `def foo() {..  
34c0: 64 65 66 20 62 61 72 28 79 29 20 7b 20 69 66 28  def bar(y) { if(
34d0: 79 3c 31 29 20 7b 30 7d 20 65 6c 73 65 20 7b 62  y<1) {0} else {b
34e0: 61 72 28 30 29 7d 20 7d 3b 0d 0a 20 20 62 61 72  ar(0)} };..  bar
34f0: 28 31 29 0d 0a 7d 3b 20 66 6f 6f 28 29 60 29 20  (1)..}; foo()`) 
3500: 29 3b 0d 0a 7d 0d 0a 2a 2f 0d 0a                 );..}..*/..