Hex Artifact Content
Not logged in

Artifact 003971cb94b55966409f8e3e91e63d76b8afda5c:


0000: ef bb bf 2f 2a 2a 0a 20 2a 20 41 75 74 68 6f 72  .../**. * Author
0010: 73 3a 20 6b 2e 69 6e 61 62 61 0a 20 2a 20 4c 69  s: k.inaba. * Li
0020: 63 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39  cense: NYSL 0.99
0030: 38 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d  82 http://www.km
0040: 6f 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0a 20  onos.net/nysl/. 
0050: 2a 0a 20 2a 20 45 76 61 6c 75 61 74 6f 72 20 66  *. * Evaluator f
0060: 6f 72 20 50 6f 6c 65 6d 79 20 70 72 6f 67 72 61  or Polemy progra
0070: 6d 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65 2e 0a  mming language..
0080: 20 2a 2f 0a 6d 6f 64 75 6c 65 20 70 6f 6c 65 6d   */.module polem
0090: 79 2e 65 76 61 6c 3b 0a 69 6d 70 6f 72 74 20 70  y.eval;.import p
00a0: 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f 6e 3b 0a 69  olemy._common;.i
00b0: 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 6c 65 78  mport polemy.lex
00c0: 20 3a 20 4c 65 78 50 6f 73 69 74 69 6f 6e 3b 0a   : LexPosition;.
00d0: 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 61 73  import polemy.as
00e0: 74 3b 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79  t;.import polemy
00f0: 2e 70 61 72 73 65 3b 0a 69 6d 70 6f 72 74 20 70  .parse;.import p
0100: 6f 6c 65 6d 79 2e 76 61 6c 75 65 3b 0a 69 6d 70  olemy.value;.imp
0110: 6f 72 74 20 73 74 64 2e 74 79 70 65 63 6f 6e 73  ort std.typecons
0120: 3b 0a 69 6d 70 6f 72 74 20 73 74 64 2e 73 74 64  ;.import std.std
0130: 69 6f 3b 0a 0a 43 6f 6e 74 65 78 74 20 63 72 65  io;..Context cre
0140: 61 74 65 47 6c 6f 62 61 6c 43 6f 6e 74 65 78 74  ateGlobalContext
0150: 28 29 0a 7b 0a 09 61 75 74 6f 20 63 74 78 20 3d  ().{..auto ctx =
0160: 20 6e 65 77 20 43 6f 6e 74 65 78 74 3b 0a 09 63   new Context;..c
0170: 74 78 2e 61 64 64 28 22 2b 22 2c 20 6e 65 77 20  tx.add("+", new 
0180: 46 75 6e 56 61 6c 75 65 28 64 65 6c 65 67 61 74  FunValue(delegat
0190: 65 20 56 61 6c 75 65 28 69 6d 6d 75 74 61 62 6c  e Value(immutabl
01a0: 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f  e LexPosition po
01b0: 73 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 29  s, Value[] args)
01c0: 7b 0a 09 09 69 66 28 20 61 72 67 73 2e 6c 65 6e  {...if( args.len
01d0: 67 74 68 20 21 3d 20 32 20 29 0a 09 09 09 74 68  gth != 2 )....th
01e0: 72 6f 77 20 6e 65 77 20 50 6f 6c 65 6d 79 52 75  row new PolemyRu
01f0: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 22  ntimeException("
0200: 2b 20 74 61 6b 65 73 20 74 77 6f 20 61 72 67 75  + takes two argu
0210: 6d 65 6e 74 73 21 21 20 5b 22 7e 74 6f 21 73 74  ments!! ["~to!st
0220: 72 69 6e 67 28 70 6f 73 29 7e 22 5d 22 29 3b 0a  ring(pos)~"]");.
0230: 09 09 69 66 28 20 61 75 74 6f 20 78 20 3d 20 63  ..if( auto x = c
0240: 61 73 74 28 49 6e 74 56 61 6c 75 65 29 61 72 67  ast(IntValue)arg
0250: 73 5b 30 5d 20 29 0a 09 09 09 69 66 28 20 61 75  s[0] )....if( au
0260: 74 6f 20 79 20 3d 20 63 61 73 74 28 49 6e 74 56  to y = cast(IntV
0270: 61 6c 75 65 29 61 72 67 73 5b 31 5d 20 29 0a 09  alue)args[1] )..
0280: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 6e  ...return new In
0290: 74 56 61 6c 75 65 28 78 2e 64 61 74 61 2b 79 2e  tValue(x.data+y.
02a0: 64 61 74 61 29 3b 0a 09 09 74 68 72 6f 77 20 6e  data);...throw n
02b0: 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65  ew PolemyRuntime
02c0: 45 78 63 65 70 74 69 6f 6e 28 22 63 61 6e 6e 6f  Exception("canno
02d0: 74 20 61 64 64 20 6e 6f 6e 2d 69 6e 74 65 67 65  t add non-intege
02e0: 72 73 20 5b 22 7e 74 6f 21 73 74 72 69 6e 67 28  rs ["~to!string(
02f0: 70 6f 73 29 7e 22 5d 22 29 3b 0a 09 7d 29 29 3b  pos)~"]");..}));
0300: 0a 09 63 74 78 2e 61 64 64 28 22 2d 22 2c 20 6e  ..ctx.add("-", n
0310: 65 77 20 46 75 6e 56 61 6c 75 65 28 64 65 6c 65  ew FunValue(dele
0320: 67 61 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 74  gate Value(immut
0330: 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e  able LexPosition
0340: 20 70 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 61 72   pos, Value[] ar
0350: 67 73 29 7b 0a 09 09 69 66 28 20 61 72 67 73 2e  gs){...if( args.
0360: 6c 65 6e 67 74 68 20 21 3d 20 32 20 29 0a 09 09  length != 2 )...
0370: 09 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 6d  .throw new Polem
0380: 79 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f  yRuntimeExceptio
0390: 6e 28 22 2d 20 74 61 6b 65 73 20 74 77 6f 20 61  n("- takes two a
03a0: 72 67 75 6d 65 6e 74 73 21 21 20 5b 22 7e 74 6f  rguments!! ["~to
03b0: 21 73 74 72 69 6e 67 28 70 6f 73 29 7e 22 5d 22  !string(pos)~"]"
03c0: 29 3b 0a 09 09 69 66 28 20 61 75 74 6f 20 78 20  );...if( auto x 
03d0: 3d 20 63 61 73 74 28 49 6e 74 56 61 6c 75 65 29  = cast(IntValue)
03e0: 61 72 67 73 5b 30 5d 20 29 0a 09 09 09 69 66 28  args[0] )....if(
03f0: 20 61 75 74 6f 20 79 20 3d 20 63 61 73 74 28 49   auto y = cast(I
0400: 6e 74 56 61 6c 75 65 29 61 72 67 73 5b 31 5d 20  ntValue)args[1] 
0410: 29 0a 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77  ).....return new
0420: 20 49 6e 74 56 61 6c 75 65 28 78 2e 64 61 74 61   IntValue(x.data
0430: 2d 79 2e 64 61 74 61 29 3b 0a 09 09 74 68 72 6f  -y.data);...thro
0440: 77 20 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74  w new PolemyRunt
0450: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 22 63 61  imeException("ca
0460: 6e 6e 6f 74 20 61 64 64 20 6e 6f 6e 2d 69 6e 74  nnot add non-int
0470: 65 67 65 72 73 20 5b 22 7e 74 6f 21 73 74 72 69  egers ["~to!stri
0480: 6e 67 28 70 6f 73 29 7e 22 5d 22 29 3b 0a 09 7d  ng(pos)~"]");..}
0490: 29 29 3b 0a 09 63 74 78 2e 61 64 64 28 22 2a 22  ));..ctx.add("*"
04a0: 2c 20 6e 65 77 20 46 75 6e 56 61 6c 75 65 28 64  , new FunValue(d
04b0: 65 6c 65 67 61 74 65 20 56 61 6c 75 65 28 69 6d  elegate Value(im
04c0: 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74  mutable LexPosit
04d0: 69 6f 6e 20 70 6f 73 2c 20 56 61 6c 75 65 5b 5d  ion pos, Value[]
04e0: 20 61 72 67 73 29 7b 0a 09 09 69 66 28 20 61 72   args){...if( ar
04f0: 67 73 2e 6c 65 6e 67 74 68 20 21 3d 20 32 20 29  gs.length != 2 )
0500: 0a 09 09 09 74 68 72 6f 77 20 6e 65 77 20 50 6f  ....throw new Po
0510: 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 70  lemyRuntimeExcep
0520: 74 69 6f 6e 28 22 2a 20 74 61 6b 65 73 20 74 77  tion("* takes tw
0530: 6f 20 61 72 67 75 6d 65 6e 74 73 21 21 20 5b 22  o arguments!! ["
0540: 7e 74 6f 21 73 74 72 69 6e 67 28 70 6f 73 29 7e  ~to!string(pos)~
0550: 22 5d 22 29 3b 0a 09 09 69 66 28 20 61 75 74 6f  "]");...if( auto
0560: 20 78 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c   x = cast(IntVal
0570: 75 65 29 61 72 67 73 5b 30 5d 20 29 0a 09 09 09  ue)args[0] )....
0580: 69 66 28 20 61 75 74 6f 20 79 20 3d 20 63 61 73  if( auto y = cas
0590: 74 28 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b  t(IntValue)args[
05a0: 31 5d 20 29 0a 09 09 09 09 72 65 74 75 72 6e 20  1] ).....return 
05b0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 78 2e 64  new IntValue(x.d
05c0: 61 74 61 2a 79 2e 64 61 74 61 29 3b 0a 09 09 74  ata*y.data);...t
05d0: 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 6d 79 52  hrow new PolemyR
05e0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28  untimeException(
05f0: 22 63 61 6e 6e 6f 74 20 61 64 64 20 6e 6f 6e 2d  "cannot add non-
0600: 69 6e 74 65 67 65 72 73 20 5b 22 7e 74 6f 21 73  integers ["~to!s
0610: 74 72 69 6e 67 28 70 6f 73 29 7e 22 5d 22 29 3b  tring(pos)~"]");
0620: 0a 09 7d 29 29 3b 0a 09 63 74 78 2e 61 64 64 28  ..}));..ctx.add(
0630: 22 2f 22 2c 20 6e 65 77 20 46 75 6e 56 61 6c 75  "/", new FunValu
0640: 65 28 64 65 6c 65 67 61 74 65 20 56 61 6c 75 65  e(delegate Value
0650: 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f  (immutable LexPo
0660: 73 69 74 69 6f 6e 20 70 6f 73 2c 20 56 61 6c 75  sition pos, Valu
0670: 65 5b 5d 20 61 72 67 73 29 7b 0a 09 09 69 66 28  e[] args){...if(
0680: 20 61 72 67 73 2e 6c 65 6e 67 74 68 20 21 3d 20   args.length != 
0690: 32 20 29 0a 09 09 09 74 68 72 6f 77 20 6e 65 77  2 )....throw new
06a0: 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78   PolemyRuntimeEx
06b0: 63 65 70 74 69 6f 6e 28 22 2f 20 74 61 6b 65 73  ception("/ takes
06c0: 20 74 77 6f 20 61 72 67 75 6d 65 6e 74 73 21 21   two arguments!!
06d0: 20 5b 22 7e 74 6f 21 73 74 72 69 6e 67 28 70 6f   ["~to!string(po
06e0: 73 29 7e 22 5d 22 29 3b 0a 09 09 69 66 28 20 61  s)~"]");...if( a
06f0: 75 74 6f 20 78 20 3d 20 63 61 73 74 28 49 6e 74  uto x = cast(Int
0700: 56 61 6c 75 65 29 61 72 67 73 5b 30 5d 20 29 0a  Value)args[0] ).
0710: 09 09 09 69 66 28 20 61 75 74 6f 20 79 20 3d 20  ...if( auto y = 
0720: 63 61 73 74 28 49 6e 74 56 61 6c 75 65 29 61 72  cast(IntValue)ar
0730: 67 73 5b 31 5d 20 29 0a 09 09 09 09 72 65 74 75  gs[1] ).....retu
0740: 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28  rn new IntValue(
0750: 78 2e 64 61 74 61 2f 79 2e 64 61 74 61 29 3b 0a  x.data/y.data);.
0760: 09 09 74 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65  ..throw new Pole
0770: 6d 79 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69  myRuntimeExcepti
0780: 6f 6e 28 22 63 61 6e 6e 6f 74 20 61 64 64 20 6e  on("cannot add n
0790: 6f 6e 2d 69 6e 74 65 67 65 72 73 20 5b 22 7e 74  on-integers ["~t
07a0: 6f 21 73 74 72 69 6e 67 28 70 6f 73 29 7e 22 5d  o!string(pos)~"]
07b0: 22 29 3b 0a 09 7d 29 29 3b 0a 09 63 74 78 2e 61  ");..}));..ctx.a
07c0: 64 64 28 22 3c 22 2c 20 6e 65 77 20 46 75 6e 56  dd("<", new FunV
07d0: 61 6c 75 65 28 64 65 6c 65 67 61 74 65 20 56 61  alue(delegate Va
07e0: 6c 75 65 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65  lue(immutable Le
07f0: 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 56  xPosition pos, V
0800: 61 6c 75 65 5b 5d 20 61 72 67 73 29 7b 0a 09 09  alue[] args){...
0810: 69 66 28 20 61 72 67 73 2e 6c 65 6e 67 74 68 20  if( args.length 
0820: 21 3d 20 32 20 29 0a 09 09 09 74 68 72 6f 77 20  != 2 )....throw 
0830: 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d  new PolemyRuntim
0840: 65 45 78 63 65 70 74 69 6f 6e 28 22 3c 20 74 61  eException("< ta
0850: 6b 65 73 20 74 77 6f 20 61 72 67 75 6d 65 6e 74  kes two argument
0860: 73 21 21 20 5b 22 7e 74 6f 21 73 74 72 69 6e 67  s!! ["~to!string
0870: 28 70 6f 73 29 7e 22 5d 22 29 3b 0a 09 09 69 66  (pos)~"]");...if
0880: 28 20 61 75 74 6f 20 78 20 3d 20 63 61 73 74 28  ( auto x = cast(
0890: 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b 30 5d  IntValue)args[0]
08a0: 20 29 0a 09 09 09 69 66 28 20 61 75 74 6f 20 79   )....if( auto y
08b0: 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c 75 65   = cast(IntValue
08c0: 29 61 72 67 73 5b 31 5d 20 29 0a 09 09 09 09 72  )args[1] ).....r
08d0: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c  eturn new IntVal
08e0: 75 65 28 42 69 67 49 6e 74 28 74 6f 21 69 6e 74  ue(BigInt(to!int
08f0: 28 78 2e 64 61 74 61 20 3c 20 79 2e 64 61 74 61  (x.data < y.data
0900: 29 29 29 3b 0a 09 09 74 68 72 6f 77 20 6e 65 77  )));...throw new
0910: 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78   PolemyRuntimeEx
0920: 63 65 70 74 69 6f 6e 28 22 63 61 6e 6e 6f 74 20  ception("cannot 
0930: 61 64 64 20 6e 6f 6e 2d 69 6e 74 65 67 65 72 73  add non-integers
0940: 20 5b 22 7e 74 6f 21 73 74 72 69 6e 67 28 70 6f   ["~to!string(po
0950: 73 29 7e 22 5d 22 29 3b 0a 09 7d 29 29 3b 0a 09  s)~"]");..}));..
0960: 63 74 78 2e 61 64 64 28 22 3e 22 2c 20 6e 65 77  ctx.add(">", new
0970: 20 46 75 6e 56 61 6c 75 65 28 64 65 6c 65 67 61   FunValue(delega
0980: 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 74 61 62  te Value(immutab
0990: 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70  le LexPosition p
09a0: 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73  os, Value[] args
09b0: 29 7b 0a 09 09 69 66 28 20 61 72 67 73 2e 6c 65  ){...if( args.le
09c0: 6e 67 74 68 20 21 3d 20 32 20 29 0a 09 09 09 74  ngth != 2 )....t
09d0: 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 6d 79 52  hrow new PolemyR
09e0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28  untimeException(
09f0: 22 3e 20 74 61 6b 65 73 20 74 77 6f 20 61 72 67  "> takes two arg
0a00: 75 6d 65 6e 74 73 21 21 20 5b 22 7e 74 6f 21 73  uments!! ["~to!s
0a10: 74 72 69 6e 67 28 70 6f 73 29 7e 22 5d 22 29 3b  tring(pos)~"]");
0a20: 0a 09 09 69 66 28 20 61 75 74 6f 20 78 20 3d 20  ...if( auto x = 
0a30: 63 61 73 74 28 49 6e 74 56 61 6c 75 65 29 61 72  cast(IntValue)ar
0a40: 67 73 5b 30 5d 20 29 0a 09 09 09 69 66 28 20 61  gs[0] )....if( a
0a50: 75 74 6f 20 79 20 3d 20 63 61 73 74 28 49 6e 74  uto y = cast(Int
0a60: 56 61 6c 75 65 29 61 72 67 73 5b 31 5d 20 29 0a  Value)args[1] ).
0a70: 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49  ....return new I
0a80: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 74  ntValue(BigInt(t
0a90: 6f 21 69 6e 74 28 78 2e 64 61 74 61 3e 79 2e 64  o!int(x.data>y.d
0aa0: 61 74 61 29 29 29 3b 0a 09 09 74 68 72 6f 77 20  ata)));...throw 
0ab0: 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d  new PolemyRuntim
0ac0: 65 45 78 63 65 70 74 69 6f 6e 28 22 63 61 6e 6e  eException("cann
0ad0: 6f 74 20 61 64 64 20 6e 6f 6e 2d 69 6e 74 65 67  ot add non-integ
0ae0: 65 72 73 20 5b 22 7e 74 6f 21 73 74 72 69 6e 67  ers ["~to!string
0af0: 28 70 6f 73 29 7e 22 5d 22 29 3b 0a 09 7d 29 29  (pos)~"]");..}))
0b00: 3b 0a 09 63 74 78 2e 61 64 64 28 22 70 72 69 6e  ;..ctx.add("prin
0b10: 74 22 2c 20 6e 65 77 20 46 75 6e 56 61 6c 75 65  t", new FunValue
0b20: 28 64 65 6c 65 67 61 74 65 20 56 61 6c 75 65 28  (delegate Value(
0b30: 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73  immutable LexPos
0b40: 69 74 69 6f 6e 20 70 6f 73 2c 20 56 61 6c 75 65  ition pos, Value
0b50: 5b 5d 20 61 72 67 73 29 7b 0a 09 09 66 6f 72 65  [] args){...fore
0b60: 61 63 68 28 61 3b 20 61 72 67 73 29 0a 09 09 09  ach(a; args)....
0b70: 77 72 69 74 65 28 61 29 3b 0a 09 09 77 72 69 74  write(a);...writ
0b80: 65 6c 6e 28 22 22 29 3b 0a 09 09 72 65 74 75 72  eln("");...retur
0b90: 6e 20 6e 65 77 20 55 6e 64 65 66 69 6e 65 64 56  n new UndefinedV
0ba0: 61 6c 75 65 3b 0a 09 7d 29 29 3b 0a 09 63 74 78  alue;..}));..ctx
0bb0: 2e 61 64 64 28 22 69 66 22 2c 20 6e 65 77 20 46  .add("if", new F
0bc0: 75 6e 56 61 6c 75 65 28 64 65 6c 65 67 61 74 65  unValue(delegate
0bd0: 20 56 61 6c 75 65 28 69 6d 6d 75 74 61 62 6c 65   Value(immutable
0be0: 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73   LexPosition pos
0bf0: 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 29 7b  , Value[] args){
0c00: 0a 09 09 69 66 28 20 61 72 67 73 2e 6c 65 6e 67  ...if( args.leng
0c10: 74 68 20 21 3d 20 33 20 29 0a 09 09 09 74 68 72  th != 3 )....thr
0c20: 6f 77 20 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e  ow new PolemyRun
0c30: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 22 69  timeException("i
0c40: 66 20 74 61 6b 65 73 20 74 68 72 65 65 20 61 72  f takes three ar
0c50: 67 75 6d 65 6e 74 73 21 21 20 5b 22 7e 74 6f 21  guments!! ["~to!
0c60: 73 74 72 69 6e 67 28 70 6f 73 29 7e 22 5d 22 29  string(pos)~"]")
0c70: 3b 0a 09 09 69 66 28 20 61 75 74 6f 20 78 20 3d  ;...if( auto x =
0c80: 20 63 61 73 74 28 49 6e 74 56 61 6c 75 65 29 61   cast(IntValue)a
0c90: 72 67 73 5b 30 5d 20 29 0a 09 09 69 66 28 20 61  rgs[0] )...if( a
0ca0: 75 74 6f 20 66 74 20 3d 20 63 61 73 74 28 46 75  uto ft = cast(Fu
0cb0: 6e 56 61 6c 75 65 29 61 72 67 73 5b 31 5d 20 29  nValue)args[1] )
0cc0: 0a 09 09 69 66 28 20 61 75 74 6f 20 66 65 20 3d  ...if( auto fe =
0cd0: 20 63 61 73 74 28 46 75 6e 56 61 6c 75 65 29 61   cast(FunValue)a
0ce0: 72 67 73 5b 32 5d 20 29 0a 09 09 09 72 65 74 75  rgs[2] )....retu
0cf0: 72 6e 20 28 78 2e 64 61 74 61 20 3d 3d 20 30 20  rn (x.data == 0 
0d00: 3f 20 66 65 20 3a 20 66 74 29 2e 63 61 6c 6c 28  ? fe : ft).call(
0d10: 70 6f 73 2c 5b 5d 29 3b 0a 09 09 74 68 72 6f 77  pos,[]);...throw
0d20: 20 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74 69   new PolemyRunti
0d30: 6d 65 45 78 63 65 70 74 69 6f 6e 28 22 74 79 70  meException("typ
0d40: 65 20 6d 69 73 6d 61 74 63 68 20 69 6e 20 69 66  e mismatch in if
0d50: 20 5b 22 7e 74 6f 21 73 74 72 69 6e 67 28 70 6f   ["~to!string(po
0d60: 73 29 7e 22 5d 22 29 3b 0a 09 7d 29 29 3b 0a 09  s)~"]");..}));..
0d70: 72 65 74 75 72 6e 20 63 74 78 3b 0a 7d 0a 0a 54  return ctx;.}..T
0d80: 75 70 6c 65 21 28 56 61 6c 75 65 2c 22 76 61 6c  uple!(Value,"val
0d90: 22 2c 43 6f 6e 74 65 78 74 2c 22 63 74 78 22 29  ",Context,"ctx")
0da0: 20 65 76 61 6c 53 74 72 69 6e 67 28 54 2e 2e 2e   evalString(T...
0db0: 29 28 54 20 70 61 72 61 6d 73 29 0a 7b 0a 09 72  )(T params).{..r
0dc0: 65 74 75 72 6e 20 65 76 61 6c 28 20 70 61 72 73  eturn eval( pars
0dd0: 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 70 61 72  erFromString(par
0de0: 61 6d 73 29 2e 70 61 72 73 65 50 72 6f 67 72 61  ams).parseProgra
0df0: 6d 28 29 20 29 3b 0a 7d 0a 0a 54 75 70 6c 65 21  m() );.}..Tuple!
0e00: 28 56 61 6c 75 65 2c 22 76 61 6c 22 2c 43 6f 6e  (Value,"val",Con
0e10: 74 65 78 74 2c 22 63 74 78 22 29 20 65 76 61 6c  text,"ctx") eval
0e20: 46 69 6c 65 28 54 2e 2e 2e 29 28 54 20 70 61 72  File(T...)(T par
0e30: 61 6d 73 29 0a 7b 0a 09 72 65 74 75 72 6e 20 65  ams).{..return e
0e40: 76 61 6c 28 20 70 61 72 73 65 72 46 72 6f 6d 46  val( parserFromF
0e50: 69 6c 65 28 70 61 72 61 6d 73 29 2e 70 61 72 73  ile(params).pars
0e60: 65 50 72 6f 67 72 61 6d 28 29 20 29 3b 0a 7d 0a  eProgram() );.}.
0e70: 0a 54 75 70 6c 65 21 28 56 61 6c 75 65 2c 22 76  .Tuple!(Value,"v
0e80: 61 6c 22 2c 43 6f 6e 74 65 78 74 2c 22 63 74 78  al",Context,"ctx
0e90: 22 29 20 65 76 61 6c 28 50 72 6f 67 72 61 6d 20  ") eval(Program 
0ea0: 70 72 6f 67 29 0a 7b 0a 09 43 6f 6e 74 65 78 74  prog).{..Context
0eb0: 20 63 74 78 20 3d 20 63 72 65 61 74 65 47 6c 6f   ctx = createGlo
0ec0: 62 61 6c 43 6f 6e 74 65 78 74 28 29 3b 0a 09 72  balContext();..r
0ed0: 65 74 75 72 6e 20 74 79 70 65 6f 66 28 72 65 74  eturn typeof(ret
0ee0: 75 72 6e 29 28 65 76 61 6c 28 70 72 6f 67 2c 20  urn)(eval(prog, 
0ef0: 63 74 78 29 2c 20 63 74 78 29 3b 0a 7d 0a 0a 56  ctx), ctx);.}..V
0f00: 61 6c 75 65 20 65 76 61 6c 28 50 72 6f 67 72 61  alue eval(Progra
0f10: 6d 20 70 72 6f 67 2c 20 43 6f 6e 74 65 78 74 20  m prog, Context 
0f20: 63 74 78 29 0a 7b 0a 09 56 61 6c 75 65 20 76 20  ctx).{..Value v 
0f30: 3d 20 6e 65 77 20 55 6e 64 65 66 69 6e 65 64 56  = new UndefinedV
0f40: 61 6c 75 65 3b 0a 09 66 6f 72 65 61 63 68 28 73  alue;..foreach(s
0f50: 3b 20 70 72 6f 67 29 0a 09 09 76 20 3d 20 65 76  ; prog)...v = ev
0f60: 61 6c 28 73 2c 20 63 74 78 29 3b 0a 09 72 65 74  al(s, ctx);..ret
0f70: 75 72 6e 20 76 3b 0a 7d 0a 0a 56 61 6c 75 65 20  urn v;.}..Value 
0f80: 65 76 61 6c 28 53 74 61 74 65 6d 65 6e 74 20 5f  eval(Statement _
0f90: 73 2c 20 43 6f 6e 74 65 78 74 20 63 74 78 29 0a  s, Context ctx).
0fa0: 7b 0a 09 69 66 28 20 61 75 74 6f 20 73 20 3d 20  {..if( auto s = 
0fb0: 63 61 73 74 28 44 65 63 6c 53 74 61 74 65 6d 65  cast(DeclStateme
0fc0: 6e 74 29 5f 73 20 29 0a 09 7b 0a 09 09 61 75 74  nt)_s )..{...aut
0fd0: 6f 20 76 20 3d 20 65 76 61 6c 28 73 2e 65 78 70  o v = eval(s.exp
0fe0: 72 2c 20 63 74 78 29 3b 0a 09 09 63 74 78 2e 61  r, ctx);...ctx.a
0ff0: 64 64 28 73 2e 76 61 72 2c 20 76 29 3b 0a 09 09  dd(s.var, v);...
1000: 72 65 74 75 72 6e 20 76 3b 0a 09 7d 0a 09 65 6c  return v;..}..el
1010: 73 65 0a 09 69 66 28 20 61 75 74 6f 20 73 20 3d  se..if( auto s =
1020: 20 63 61 73 74 28 45 78 70 72 53 74 61 74 65 6d   cast(ExprStatem
1030: 65 6e 74 29 5f 73 20 29 0a 09 7b 0a 09 09 72 65  ent)_s )..{...re
1040: 74 75 72 6e 20 65 76 61 6c 28 73 2e 65 78 70 72  turn eval(s.expr
1050: 2c 20 63 74 78 29 3b 0a 09 7d 0a 09 74 68 72 6f  , ctx);..}..thro
1060: 77 20 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74  w new PolemyRunt
1070: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 73 70 72  imeException(spr
1080: 69 6e 74 66 21 22 55 6e 6b 6e 6f 77 6e 20 4b 69  intf!"Unknown Ki
1090: 6e 64 20 6f 66 20 53 74 61 74 65 6d 65 6e 74 20  nd of Statement 
10a0: 25 73 20 61 74 20 5b 25 73 5d 22 28 74 79 70 65  %s at [%s]"(type
10b0: 69 64 28 5f 73 29 2c 20 5f 73 2e 70 6f 73 29 29  id(_s), _s.pos))
10c0: 3b 0a 7d 0a 0a 56 61 6c 75 65 20 65 76 61 6c 28  ;.}..Value eval(
10d0: 45 78 70 72 65 73 73 69 6f 6e 20 5f 65 2c 20 43  Expression _e, C
10e0: 6f 6e 74 65 78 74 20 63 74 78 29 0a 7b 0a 09 69  ontext ctx).{..i
10f0: 66 28 20 61 75 74 6f 20 65 20 3d 20 63 61 73 74  f( auto e = cast
1100: 28 53 74 72 4c 69 74 65 72 61 6c 45 78 70 72 65  (StrLiteralExpre
1110: 73 73 69 6f 6e 29 5f 65 20 29 0a 09 7b 0a 09 09  ssion)_e )..{...
1120: 72 65 74 75 72 6e 20 6e 65 77 20 53 74 72 56 61  return new StrVa
1130: 6c 75 65 28 65 2e 64 61 74 61 29 3b 0a 09 7d 0a  lue(e.data);..}.
1140: 09 65 6c 73 65 0a 09 69 66 28 20 61 75 74 6f 20  .else..if( auto 
1150: 65 20 3d 20 63 61 73 74 28 49 6e 74 4c 69 74 65  e = cast(IntLite
1160: 72 61 6c 45 78 70 72 65 73 73 69 6f 6e 29 5f 65  ralExpression)_e
1170: 20 29 0a 09 7b 0a 09 09 72 65 74 75 72 6e 20 6e   )..{...return n
1180: 65 77 20 49 6e 74 56 61 6c 75 65 28 65 2e 64 61  ew IntValue(e.da
1190: 74 61 29 3b 0a 09 7d 0a 09 65 6c 73 65 0a 09 69  ta);..}..else..i
11a0: 66 28 20 61 75 74 6f 20 65 20 3d 20 63 61 73 74  f( auto e = cast
11b0: 28 56 61 72 45 78 70 72 65 73 73 69 6f 6e 29 5f  (VarExpression)_
11c0: 65 20 29 0a 09 7b 0a 09 09 72 65 74 75 72 6e 20  e )..{...return 
11d0: 63 74 78 5b 65 2e 76 61 72 5d 3b 0a 09 7d 0a 09  ctx[e.var];..}..
11e0: 65 6c 73 65 0a 09 69 66 28 20 61 75 74 6f 20 65  else..if( auto e
11f0: 20 3d 20 63 61 73 74 28 41 73 73 69 67 6e 45 78   = cast(AssignEx
1200: 70 72 65 73 73 69 6f 6e 29 5f 65 20 29 0a 09 7b  pression)_e )..{
1210: 0a 09 09 69 66 28 20 61 75 74 6f 20 65 76 20 3d  ...if( auto ev =
1220: 20 63 61 73 74 28 56 61 72 45 78 70 72 65 73 73   cast(VarExpress
1230: 69 6f 6e 29 65 2e 6c 68 73 20 29 0a 09 09 7b 0a  ion)e.lhs )...{.
1240: 09 09 09 56 61 6c 75 65 20 72 20 3d 20 65 76 61  ...Value r = eva
1250: 6c 28 65 2e 72 68 73 2c 20 63 74 78 29 3b 0a 09  l(e.rhs, ctx);..
1260: 09 09 63 74 78 5b 65 76 2e 76 61 72 5d 20 3d 20  ..ctx[ev.var] = 
1270: 72 3b 0a 09 09 09 72 65 74 75 72 6e 20 72 3b 0a  r;....return r;.
1280: 09 09 7d 0a 09 09 74 68 72 6f 77 20 6e 65 77 20  ..}...throw new 
1290: 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 45 78 63  PolemyRuntimeExc
12a0: 65 70 74 69 6f 6e 28 73 70 72 69 6e 74 66 21 22  eption(sprintf!"
12b0: 4c 68 73 20 6f 66 20 61 73 73 69 67 6e 6d 65 6e  Lhs of assignmen
12c0: 74 20 6d 75 73 74 20 62 65 20 61 20 76 61 72 69  t must be a vari
12d0: 61 62 6c 65 3a 20 25 73 22 28 65 2e 70 6f 73 29  able: %s"(e.pos)
12e0: 29 3b 0a 09 7d 0a 09 65 6c 73 65 0a 09 69 66 28  );..}..else..if(
12f0: 20 61 75 74 6f 20 65 20 3d 20 63 61 73 74 28 46   auto e = cast(F
1300: 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e  uncallExpression
1310: 29 5f 65 20 29 0a 09 7b 0a 09 09 56 61 6c 75 65  )_e )..{...Value
1320: 20 5f 66 20 3d 20 65 76 61 6c 28 65 2e 66 75 6e   _f = eval(e.fun
1330: 2c 20 63 74 78 29 3b 0a 09 09 69 66 28 20 61 75  , ctx);...if( au
1340: 74 6f 20 66 20 3d 20 63 61 73 74 28 46 75 6e 56  to f = cast(FunV
1350: 61 6c 75 65 29 5f 66 20 29 20 7b 0a 09 09 09 56  alue)_f ) {....V
1360: 61 6c 75 65 5b 5d 20 61 72 67 73 3b 0a 09 09 09  alue[] args;....
1370: 66 6f 72 65 61 63 68 28 61 3b 20 65 2e 61 72 67  foreach(a; e.arg
1380: 73 29 0a 09 09 09 09 61 72 67 73 20 7e 3d 20 65  s).....args ~= e
1390: 76 61 6c 28 61 2c 20 63 74 78 29 3b 0a 09 09 09  val(a, ctx);....
13a0: 72 65 74 75 72 6e 20 66 2e 63 61 6c 6c 28 65 2e  return f.call(e.
13b0: 70 6f 73 2c 20 61 72 67 73 29 3b 0a 09 09 7d 20  pos, args);...} 
13c0: 65 6c 73 65 0a 09 09 09 74 68 72 6f 77 20 6e 65  else....throw ne
13d0: 77 20 50 6f 6c 65 6d 79 52 75 6e 74 69 6d 65 45  w PolemyRuntimeE
13e0: 78 63 65 70 74 69 6f 6e 28 73 70 72 69 6e 74 66  xception(sprintf
13f0: 21 22 4e 6f 6e 2d 66 75 6e 63 69 6f 6e 20 69 73  !"Non-funcion is
1400: 20 61 70 70 6c 69 65 64 20 61 74 20 5b 25 73 5d   applied at [%s]
1410: 22 28 65 2e 70 6f 73 29 29 3b 0a 09 7d 0a 09 65  "(e.pos));..}..e
1420: 6c 73 65 0a 09 69 66 28 20 61 75 74 6f 20 65 20  lse..if( auto e 
1430: 3d 20 63 61 73 74 28 46 75 6e 4c 69 74 65 72 61  = cast(FunLitera
1440: 6c 45 78 70 72 65 73 73 69 6f 6e 29 5f 65 20 29  lExpression)_e )
1450: 0a 09 7b 0a 09 09 72 65 74 75 72 6e 20 6e 65 77  ..{...return new
1460: 20 46 75 6e 56 61 6c 75 65 28 64 65 6c 65 67 61   FunValue(delega
1470: 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 74 61 62  te Value(immutab
1480: 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70  le LexPosition p
1490: 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73  os, Value[] args
14a0: 29 7b 0a 09 09 09 69 66 28 20 65 2e 70 61 72 61  ){....if( e.para
14b0: 6d 73 2e 6c 65 6e 67 74 68 20 21 3d 20 61 72 67  ms.length != arg
14c0: 73 2e 6c 65 6e 67 74 68 20 29 0a 09 09 09 09 74  s.length ).....t
14d0: 68 72 6f 77 20 6e 65 77 20 50 6f 6c 65 6d 79 52  hrow new PolemyR
14e0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28  untimeException(
14f0: 73 70 72 69 6e 74 66 21 22 41 72 67 75 6d 65 6e  sprintf!"Argumen
1500: 74 20 4e 75 6d 62 65 72 20 4d 69 73 6d 61 74 63  t Number Mismatc
1510: 68 20 28 25 64 20 72 65 71 75 69 72 65 64 20 62  h (%d required b
1520: 75 74 20 25 64 20 67 69 76 65 6e 29 20 61 74 20  ut %d given) at 
1530: 5b 25 73 5d 22 0a 09 09 09 09 09 28 65 2e 70 61  [%s]"......(e.pa
1540: 72 61 6d 73 2e 6c 65 6e 67 74 68 2c 20 61 72 67  rams.length, arg
1550: 73 2e 6c 65 6e 67 74 68 2c 20 65 2e 70 6f 73 29  s.length, e.pos)
1560: 29 3b 0a 09 09 09 43 6f 6e 74 65 78 74 20 63 74  );....Context ct
1570: 78 4e 65 6f 20 3d 20 6e 65 77 20 43 6f 6e 74 65  xNeo = new Conte
1580: 78 74 28 63 74 78 29 3b 0a 09 09 09 66 6f 72 65  xt(ctx);....fore
1590: 61 63 68 28 69 2c 70 3b 20 65 2e 70 61 72 61 6d  ach(i,p; e.param
15a0: 73 29 0a 09 09 09 09 63 74 78 4e 65 6f 2e 61 64  s).....ctxNeo.ad
15b0: 64 28 70 2c 20 61 72 67 73 5b 69 5d 29 3b 0a 09  d(p, args[i]);..
15c0: 09 09 72 65 74 75 72 6e 20 65 76 61 6c 28 65 2e  ..return eval(e.
15d0: 66 75 6e 62 6f 64 79 2c 20 63 74 78 4e 65 6f 29  funbody, ctxNeo)
15e0: 3b 0a 09 09 7d 29 3b 0a 09 7d 0a 09 74 68 72 6f  ;...});..}..thro
15f0: 77 20 6e 65 77 20 50 6f 6c 65 6d 79 52 75 6e 74  w new PolemyRunt
1600: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 73 70 72  imeException(spr
1610: 69 6e 74 66 21 22 55 6e 6b 6e 6f 77 6e 20 4b 69  intf!"Unknown Ki
1620: 6e 64 20 6f 66 20 45 78 70 72 65 73 73 69 6f 6e  nd of Expression
1630: 20 25 73 20 61 74 20 5b 25 73 5d 22 28 74 79 70   %s at [%s]"(typ
1640: 65 69 64 28 5f 65 29 2c 20 5f 65 2e 70 6f 73 29  eid(_e), _e.pos)
1650: 29 3b 0a 7d 0a 0a 75 6e 69 74 74 65 73 74 0a 7b  );.}..unittest.{
1660: 0a 09 61 75 74 6f 20 72 20 3d 20 65 76 61 6c 53  ..auto r = evalS
1670: 74 72 69 6e 67 28 60 76 61 72 20 78 20 3d 20 32  tring(`var x = 2
1680: 31 3b 20 78 20 3d 20 78 20 2b 20 78 2a 78 3b 60  1; x = x + x*x;`
1690: 29 3b 0a 09 61 73 73 65 72 74 28 20 72 2e 76 61  );..assert( r.va
16a0: 6c 20 3d 3d 20 6e 65 77 20 49 6e 74 56 61 6c 75  l == new IntValu
16b0: 65 28 42 69 67 49 6e 74 28 32 31 2b 32 31 2a 32  e(BigInt(21+21*2
16c0: 31 29 29 20 29 3b 0a 09 61 73 73 65 72 74 28 20  1)) );..assert( 
16d0: 72 2e 63 74 78 5b 22 78 22 5d 20 3d 3d 20 6e 65  r.ctx["x"] == ne
16e0: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e  w IntValue(BigIn
16f0: 74 28 32 31 2b 32 31 2a 32 31 29 29 20 29 3b 0a  t(21+21*21)) );.
1700: 09 61 73 73 65 72 74 28 20 21 63 6f 6c 6c 65 63  .assert( !collec
1710: 74 45 78 63 65 70 74 69 6f 6e 28 72 2e 63 74 78  tException(r.ctx
1720: 5b 22 78 22 5d 29 20 29 3b 0a 09 61 73 73 65 72  ["x"]) );..asser
1730: 74 28 20 63 6f 6c 6c 65 63 74 45 78 63 65 70 74  t( collectExcept
1740: 69 6f 6e 28 72 2e 63 74 78 5b 22 79 22 5d 29 20  ion(r.ctx["y"]) 
1750: 29 3b 0a 7d 0a 75 6e 69 74 74 65 73 74 0a 7b 0a  );.}.unittest.{.
1760: 09 61 73 73 65 72 74 28 20 63 6f 6c 6c 65 63 74  .assert( collect
1770: 45 78 63 65 70 74 69 6f 6e 28 65 76 61 6c 53 74  Exception(evalSt
1780: 72 69 6e 67 28 60 76 61 72 20 78 20 3d 20 32 31  ring(`var x = 21
1790: 3b 20 78 20 3d 20 78 20 2b 20 78 2a 79 3b 60 29  ; x = x + x*y;`)
17a0: 29 20 29 3b 0a 09 61 73 73 65 72 74 28 20 63 6f  ) );..assert( co
17b0: 6c 6c 65 63 74 45 78 63 65 70 74 69 6f 6e 28 65  llectException(e
17c0: 76 61 6c 53 74 72 69 6e 67 28 60 78 3d 31 3b 60  valString(`x=1;`
17d0: 29 29 20 29 3b 0a 7d 0a 75 6e 69 74 74 65 73 74  )) );.}.unittest
17e0: 0a 7b 0a 09 61 75 74 6f 20 72 20 3d 20 65 76 61  .{..auto r = eva
17f0: 6c 53 74 72 69 6e 67 28 60 76 61 72 20 78 20 3d  lString(`var x =
1800: 20 66 75 6e 28 61 29 7b 31 2b 61 3b 7d 28 32 29   fun(a){1+a;}(2)
1810: 3b 60 29 3b 0a 09 61 73 73 65 72 74 28 20 72 2e  ;`);..assert( r.
1820: 63 74 78 5b 22 78 22 5d 20 3d 3d 20 6e 65 77 20  ctx["x"] == new 
1830: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28  IntValue(BigInt(
1840: 33 29 29 20 29 3b 0a 09 61 73 73 65 72 74 28 20  3)) );..assert( 
1850: 72 2e 76 61 6c 20 3d 3d 20 6e 65 77 20 49 6e 74  r.val == new Int
1860: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 33 29 29  Value(BigInt(3))
1870: 20 29 3b 0a 7d 0a 75 6e 69 74 74 65 73 74 0a 7b   );.}.unittest.{
1880: 0a 09 61 75 74 6f 20 72 20 3d 20 65 76 61 6c 53  ..auto r = evalS
1890: 74 72 69 6e 67 28 60 76 61 72 20 78 20 3d 20 31  tring(`var x = 1
18a0: 3b 20 76 61 72 20 66 20 3d 20 66 75 6e 28 29 7b  ; var f = fun(){
18b0: 78 3d 78 2b 31 3b 7d 3b 20 66 28 29 3b 20 66 28  x=x+1;}; f(); f(
18c0: 29 3b 20 66 28 29 3b 60 29 3b 0a 09 61 73 73 65  ); f();`);..asse
18d0: 72 74 28 20 72 2e 63 74 78 5b 22 78 22 5d 20 3d  rt( r.ctx["x"] =
18e0: 3d 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42  = new IntValue(B
18f0: 69 67 49 6e 74 28 34 29 29 20 29 3b 0a 09 61 73  igInt(4)) );..as
1900: 73 65 72 74 28 20 72 2e 76 61 6c 20 3d 3d 20 6e  sert( r.val == n
1910: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49  ew IntValue(BigI
1920: 6e 74 28 34 29 29 20 29 3b 0a 7d 0a 75 6e 69 74  nt(4)) );.}.unit
1930: 74 65 73 74 0a 7b 0a 09 65 76 61 6c 53 74 72 69  test.{..evalStri
1940: 6e 67 28 60 70 72 69 6e 74 28 22 48 65 6c 6c 6f  ng(`print("Hello
1950: 2c 20 77 6f 72 6c 64 21 22 29 3b 60 29 3b 0a 09  , world!");`);..
1960: 65 76 61 6c 53 74 72 69 6e 67 28 60 70 72 69 6e  evalString(`prin
1970: 74 28 66 75 6e 28 29 7b 7d 29 3b 60 29 3b 0a 7d  t(fun(){});`);.}
1980: 0a 75 6e 69 74 74 65 73 74 0a 7b 0a 09 65 76 61  .unittest.{..eva
1990: 6c 53 74 72 69 6e 67 28 60 76 61 72 20 66 61 63  lString(`var fac
19a0: 20 3d 20 66 75 6e 28 78 29 7b 0a 09 09 31 3b 0a   = fun(x){...1;.
19b0: 09 7d 3b 0a 09 70 72 69 6e 74 28 66 61 63 28 33  .};..print(fac(3
19c0: 29 29 3b 60 29 3b 0a 09 65 76 61 6c 53 74 72 69  ));`);..evalStri
19d0: 6e 67 28 60 76 61 72 20 66 61 63 20 3d 20 66 75  ng(`var fac = fu
19e0: 6e 28 78 29 7b 0a 09 09 69 66 28 78 29 0a 09 09  n(x){...if(x)...
19f0: 09 7b 20 78 2a 66 61 63 28 78 2d 31 29 3b 20 7d  .{ x*fac(x-1); }
1a00: 0a 09 09 65 6c 73 65 0a 09 09 09 7b 20 31 3b 20  ...else....{ 1; 
1a10: 7d 3b 0a 09 7d 3b 0a 09 70 72 69 6e 74 28 66 61  };..};..print(fa
1a20: 63 28 31 30 29 29 3b 60 29 3b 0a 09 65 76 61 6c  c(10));`);..eval
1a30: 53 74 72 69 6e 67 28 60 76 61 72 20 66 69 62 20  String(`var fib 
1a40: 3d 20 66 75 6e 28 78 29 7b 0a 09 09 69 66 28 78  = fun(x){...if(x
1a50: 3c 32 29 0a 09 09 09 7b 20 31 3b 20 7d 0a 09 09  <2)....{ 1; }...
1a60: 65 6c 73 65 0a 09 09 09 7b 20 66 69 62 28 78 2d  else....{ fib(x-
1a70: 31 29 20 2b 20 66 69 62 28 78 2d 32 29 3b 20 7d  1) + fib(x-2); }
1a80: 3b 0a 09 7d 3b 0a 09 70 72 69 6e 74 28 66 69 62  ;..};..print(fib
1a90: 28 31 30 29 29 3b 60 29 3b 0a 7d 0a              (10));`);.}.