0000: 2f 2a 2a 0a 20 2a 20 41 75 74 68 6f 72 73 3a 20 /**. * Authors:
0010: 6b 2e 69 6e 61 62 61 0a 20 2a 20 4c 69 63 65 6e k.inaba. * Licen
0020: 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38 32 20 se: NYSL 0.9982
0030: 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f http://www.kmono
0040: 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0a 20 2a 0a 20 s.net/nysl/. *.
0050: 2a 20 45 76 61 6c 75 61 74 6f 72 20 66 6f 72 20 * Evaluator for
0060: 50 6f 6c 65 6d 79 20 70 72 6f 67 72 61 6d 6d 69 Polemy programmi
0070: 6e 67 20 6c 61 6e 67 75 61 67 65 2e 0a 20 2a 2f ng language.. */
0080: 0a 6d 6f 64 75 6c 65 20 70 6f 6c 65 6d 79 2e 65 .module polemy.e
0090: 76 61 6c 3b 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 val;.import pole
00a0: 6d 79 2e 5f 63 6f 6d 6d 6f 6e 3b 0a 69 6d 70 6f my._common;.impo
00b0: 72 74 20 70 6f 6c 65 6d 79 2e 6c 65 78 20 3a 20 rt polemy.lex :
00c0: 4c 65 78 50 6f 73 69 74 69 6f 6e 3b 0a 69 6d 70 LexPosition;.imp
00d0: 6f 72 74 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0a ort 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 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 rse;.import pole
0100: 6d 79 2e 76 61 6c 75 65 3b 0a 69 6d 70 6f 72 74 my.value;.import
0110: 20 73 74 64 2e 74 79 70 65 63 6f 6e 73 3b 0a 69 std.typecons;.i
0120: 6d 70 6f 72 74 20 73 74 64 2e 73 74 64 69 6f 3b mport std.stdio;
0130: 0a 0a 54 61 62 6c 65 20 63 72 65 61 74 65 47 6c ..Table createGl
0140: 6f 62 61 6c 43 6f 6e 74 65 78 74 28 29 0a 7b 0d obalContext().{.
0150: 0a 09 61 75 74 6f 20 63 74 78 20 3d 20 6e 65 77 ..auto ctx = new
0160: 20 54 61 62 6c 65 3b 0d 0a 09 2f 2f 20 5b 54 4f Table;...// [TO
0170: 44 4f 5d 20 61 75 74 6f 67 65 6e 65 72 61 74 65 DO] autogenerate
0180: 20 74 68 65 73 65 20 74 79 70 65 63 68 65 63 6b these typecheck
0190: 73 0a 09 63 74 78 2e 73 65 74 28 22 2b 22 2c 20 s..ctx.set("+",
01a0: 22 40 76 61 6c 22 2c 20 6e 65 77 20 46 75 6e 56 "@val", new FunV
01b0: 61 6c 75 65 28 64 65 6c 65 67 61 74 65 20 56 61 alue(delegate Va
01c0: 6c 75 65 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 lue(immutable Le
01d0: 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 56 xPosition pos, V
01e0: 61 6c 75 65 5b 5d 20 61 72 67 73 29 7b 0a 09 09 alue[] args){...
01f0: 69 66 28 20 61 72 67 73 2e 6c 65 6e 67 74 68 20 if( args.length
0200: 21 3d 20 32 20 29 0a 09 09 09 74 68 72 6f 77 20 != 2 )....throw
0210: 6e 65 77 20 52 75 6e 74 69 6d 65 45 78 63 65 70 new RuntimeExcep
0220: 74 69 6f 6e 28 70 6f 73 2c 20 22 2b 20 74 61 6b tion(pos, "+ tak
0230: 65 73 20 74 77 6f 20 61 72 67 75 6d 65 6e 74 73 es two arguments
0240: 21 21 22 29 3b 0a 09 09 69 66 28 20 61 75 74 6f !!");...if( auto
0250: 20 78 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c x = cast(IntVal
0260: 75 65 29 61 72 67 73 5b 30 5d 20 29 0a 09 09 09 ue)args[0] )....
0270: 69 66 28 20 61 75 74 6f 20 79 20 3d 20 63 61 73 if( auto y = cas
0280: 74 28 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b t(IntValue)args[
0290: 31 5d 20 29 0a 09 09 09 09 72 65 74 75 72 6e 20 1] ).....return
02a0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 78 2e 64 new IntValue(x.d
02b0: 61 74 61 2b 79 2e 64 61 74 61 29 3b 0a 09 09 74 ata+y.data);...t
02c0: 68 72 6f 77 20 6e 65 77 20 52 75 6e 74 69 6d 65 hrow new Runtime
02d0: 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 Exception(pos, "
02e0: 63 61 6e 6e 6f 74 20 61 64 64 20 6e 6f 6e 2d 69 cannot add non-i
02f0: 6e 74 65 67 65 72 73 22 29 3b 0a 09 7d 29 29 3b ntegers");..}));
0300: 0a 09 63 74 78 2e 73 65 74 28 22 2d 22 2c 20 22 ..ctx.set("-", "
0310: 40 76 61 6c 22 2c 20 6e 65 77 20 46 75 6e 56 61 @val", new FunVa
0320: 6c 75 65 28 64 65 6c 65 67 61 74 65 20 56 61 6c lue(delegate Val
0330: 75 65 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 ue(immutable Lex
0340: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 56 61 Position pos, Va
0350: 6c 75 65 5b 5d 20 61 72 67 73 29 7b 0a 09 09 69 lue[] args){...i
0360: 66 28 20 61 72 67 73 2e 6c 65 6e 67 74 68 20 21 f( args.length !
0370: 3d 20 32 20 29 0a 09 09 09 74 68 72 6f 77 20 6e = 2 )....throw n
0380: 65 77 20 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ew RuntimeExcept
0390: 69 6f 6e 28 70 6f 73 2c 20 22 2d 20 74 61 6b 65 ion(pos, "- take
03a0: 73 20 74 77 6f 20 61 72 67 75 6d 65 6e 74 73 21 s two arguments!
03b0: 21 22 29 3b 0d 0a 09 09 69 66 28 20 61 75 74 6f !");....if( auto
03c0: 20 78 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c x = cast(IntVal
03d0: 75 65 29 61 72 67 73 5b 30 5d 20 29 0a 09 09 09 ue)args[0] )....
03e0: 69 66 28 20 61 75 74 6f 20 79 20 3d 20 63 61 73 if( auto y = cas
03f0: 74 28 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b t(IntValue)args[
0400: 31 5d 20 29 0a 09 09 09 09 72 65 74 75 72 6e 20 1] ).....return
0410: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 78 2e 64 new IntValue(x.d
0420: 61 74 61 2d 79 2e 64 61 74 61 29 3b 0a 09 09 74 ata-y.data);...t
0430: 68 72 6f 77 20 6e 65 77 20 52 75 6e 74 69 6d 65 hrow new Runtime
0440: 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 Exception(pos, "
0450: 63 61 6e 6e 6f 74 20 73 75 62 74 72 61 63 74 20 cannot subtract
0460: 6e 6f 6e 2d 69 6e 74 65 67 65 72 73 22 29 3b 0d non-integers");.
0470: 0a 09 7d 29 29 3b 0a 09 63 74 78 2e 73 65 74 28 ..}));..ctx.set(
0480: 22 2a 22 2c 20 22 40 76 61 6c 22 2c 20 6e 65 77 "*", "@val", new
0490: 20 46 75 6e 56 61 6c 75 65 28 64 65 6c 65 67 61 FunValue(delega
04a0: 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 74 61 62 te Value(immutab
04b0: 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 le LexPosition p
04c0: 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 os, Value[] args
04d0: 29 7b 0a 09 09 69 66 28 20 61 72 67 73 2e 6c 65 ){...if( args.le
04e0: 6e 67 74 68 20 21 3d 20 32 20 29 0a 09 09 09 74 ngth != 2 )....t
04f0: 68 72 6f 77 20 6e 65 77 20 52 75 6e 74 69 6d 65 hrow new Runtime
0500: 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 Exception(pos, "
0510: 2a 20 74 61 6b 65 73 20 74 77 6f 20 61 72 67 75 * takes two argu
0520: 6d 65 6e 74 73 21 21 22 29 3b 0d 0a 09 09 69 66 ments!!");....if
0530: 28 20 61 75 74 6f 20 78 20 3d 20 63 61 73 74 28 ( auto x = cast(
0540: 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b 30 5d IntValue)args[0]
0550: 20 29 0a 09 09 09 69 66 28 20 61 75 74 6f 20 79 )....if( auto y
0560: 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c 75 65 = cast(IntValue
0570: 29 61 72 67 73 5b 31 5d 20 29 0a 09 09 09 09 72 )args[1] ).....r
0580: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c eturn new IntVal
0590: 75 65 28 78 2e 64 61 74 61 2a 79 2e 64 61 74 61 ue(x.data*y.data
05a0: 29 3b 0a 09 09 74 68 72 6f 77 20 6e 65 77 20 52 );...throw new R
05b0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
05c0: 70 6f 73 2c 20 22 63 61 6e 6e 6f 74 20 6d 75 6c pos, "cannot mul
05d0: 74 69 70 6c 79 20 6e 6f 6e 2d 69 6e 74 65 67 65 tiply non-intege
05e0: 72 73 22 29 3b 0d 0a 09 7d 29 29 3b 0a 09 63 74 rs");...}));..ct
05f0: 78 2e 73 65 74 28 22 2f 22 2c 20 22 40 76 61 6c x.set("/", "@val
0600: 22 2c 20 6e 65 77 20 46 75 6e 56 61 6c 75 65 28 ", new FunValue(
0610: 64 65 6c 65 67 61 74 65 20 56 61 6c 75 65 28 69 delegate Value(i
0620: 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 mmutable LexPosi
0630: 74 69 6f 6e 20 70 6f 73 2c 20 56 61 6c 75 65 5b tion pos, Value[
0640: 5d 20 61 72 67 73 29 7b 0a 09 09 69 66 28 20 61 ] args){...if( a
0650: 72 67 73 2e 6c 65 6e 67 74 68 20 21 3d 20 32 20 rgs.length != 2
0660: 29 0a 09 09 09 74 68 72 6f 77 20 6e 65 77 20 52 )....throw new R
0670: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
0680: 70 6f 73 2c 20 22 2f 20 74 61 6b 65 73 20 74 77 pos, "/ takes tw
0690: 6f 20 61 72 67 75 6d 65 6e 74 73 21 21 22 29 3b o arguments!!");
06a0: 0d 0a 09 09 69 66 28 20 61 75 74 6f 20 78 20 3d ....if( auto x =
06b0: 20 63 61 73 74 28 49 6e 74 56 61 6c 75 65 29 61 cast(IntValue)a
06c0: 72 67 73 5b 30 5d 20 29 0a 09 09 09 69 66 28 20 rgs[0] )....if(
06d0: 61 75 74 6f 20 79 20 3d 20 63 61 73 74 28 49 6e auto y = cast(In
06e0: 74 56 61 6c 75 65 29 61 72 67 73 5b 31 5d 20 29 tValue)args[1] )
06f0: 0a 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
0700: 49 6e 74 56 61 6c 75 65 28 78 2e 64 61 74 61 2f IntValue(x.data/
0710: 79 2e 64 61 74 61 29 3b 0a 09 09 74 68 72 6f 77 y.data);...throw
0720: 20 6e 65 77 20 52 75 6e 74 69 6d 65 45 78 63 65 new RuntimeExce
0730: 70 74 69 6f 6e 28 70 6f 73 2c 20 22 63 61 6e 6e ption(pos, "cann
0740: 6f 74 20 64 69 76 69 64 65 20 6e 6f 6e 2d 69 6e ot divide non-in
0750: 74 65 67 65 72 73 22 29 3b 0d 0a 09 7d 29 29 3b tegers");...}));
0760: 0a 09 63 74 78 2e 73 65 74 28 22 3c 22 2c 20 22 ..ctx.set("<", "
0770: 40 76 61 6c 22 2c 20 6e 65 77 20 46 75 6e 56 61 @val", new FunVa
0780: 6c 75 65 28 64 65 6c 65 67 61 74 65 20 56 61 6c lue(delegate Val
0790: 75 65 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 ue(immutable Lex
07a0: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 56 61 Position pos, Va
07b0: 6c 75 65 5b 5d 20 61 72 67 73 29 7b 0a 09 09 69 lue[] args){...i
07c0: 66 28 20 61 72 67 73 2e 6c 65 6e 67 74 68 20 21 f( args.length !
07d0: 3d 20 32 20 29 0a 09 09 09 74 68 72 6f 77 20 6e = 2 )....throw n
07e0: 65 77 20 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ew RuntimeExcept
07f0: 69 6f 6e 28 70 6f 73 2c 20 22 3c 20 74 61 6b 65 ion(pos, "< take
0800: 73 20 74 77 6f 20 61 72 67 75 6d 65 6e 74 73 21 s two arguments!
0810: 21 22 29 3b 0d 0a 09 09 69 66 28 20 61 75 74 6f !");....if( auto
0820: 20 78 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c x = cast(IntVal
0830: 75 65 29 61 72 67 73 5b 30 5d 20 29 0a 09 09 09 ue)args[0] )....
0840: 69 66 28 20 61 75 74 6f 20 79 20 3d 20 63 61 73 if( auto y = cas
0850: 74 28 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b t(IntValue)args[
0860: 31 5d 20 29 0a 09 09 09 09 72 65 74 75 72 6e 20 1] ).....return
0870: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
0880: 49 6e 74 28 74 6f 21 69 6e 74 28 78 2e 64 61 74 Int(to!int(x.dat
0890: 61 20 3c 20 79 2e 64 61 74 61 29 29 29 3b 0a 09 a < y.data)));..
08a0: 09 74 68 72 6f 77 20 6e 65 77 20 52 75 6e 74 69 .throw new Runti
08b0: 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c meException(pos,
08c0: 20 22 63 61 6e 6e 6f 74 20 63 6f 6d 70 61 72 65 "cannot compare
08d0: 20 6e 6f 6e 2d 69 6e 74 65 67 65 72 73 22 29 3b non-integers");
08e0: 0d 0a 09 7d 29 29 3b 0a 09 63 74 78 2e 73 65 74 ...}));..ctx.set
08f0: 28 22 3e 22 2c 20 22 40 76 61 6c 22 2c 20 6e 65 (">", "@val", ne
0900: 77 20 46 75 6e 56 61 6c 75 65 28 64 65 6c 65 67 w FunValue(deleg
0910: 61 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 74 61 ate Value(immuta
0920: 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 ble LexPosition
0930: 70 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 pos, Value[] arg
0940: 73 29 7b 0a 09 09 69 66 28 20 61 72 67 73 2e 6c s){...if( args.l
0950: 65 6e 67 74 68 20 21 3d 20 32 20 29 0a 09 09 09 ength != 2 )....
0960: 74 68 72 6f 77 20 6e 65 77 20 52 75 6e 74 69 6d throw new Runtim
0970: 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 eException(pos,
0980: 22 3e 20 74 61 6b 65 73 20 74 77 6f 20 61 72 67 "> takes two arg
0990: 75 6d 65 6e 74 73 21 21 22 29 3b 0d 0a 09 09 69 uments!!");....i
09a0: 66 28 20 61 75 74 6f 20 78 20 3d 20 63 61 73 74 f( auto x = cast
09b0: 28 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b 30 (IntValue)args[0
09c0: 5d 20 29 0a 09 09 09 69 66 28 20 61 75 74 6f 20 ] )....if( auto
09d0: 79 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c 75 y = cast(IntValu
09e0: 65 29 61 72 67 73 5b 31 5d 20 29 0a 09 09 09 09 e)args[1] ).....
09f0: 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 return new IntVa
0a00: 6c 75 65 28 42 69 67 49 6e 74 28 74 6f 21 69 6e lue(BigInt(to!in
0a10: 74 28 78 2e 64 61 74 61 3e 79 2e 64 61 74 61 29 t(x.data>y.data)
0a20: 29 29 3b 0a 09 09 74 68 72 6f 77 20 6e 65 77 20 ));...throw new
0a30: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
0a40: 28 70 6f 73 2c 20 22 63 61 6e 6e 6f 74 20 63 6f (pos, "cannot co
0a50: 6d 70 61 72 65 20 6e 6f 6e 2d 69 6e 74 65 67 65 mpare non-intege
0a60: 72 73 22 29 3b 0d 0a 09 7d 29 29 3b 0a 09 63 74 rs");...}));..ct
0a70: 78 2e 73 65 74 28 22 70 72 69 6e 74 22 2c 20 22 x.set("print", "
0a80: 40 76 61 6c 22 2c 20 6e 65 77 20 46 75 6e 56 61 @val", new FunVa
0a90: 6c 75 65 28 64 65 6c 65 67 61 74 65 20 56 61 6c lue(delegate Val
0aa0: 75 65 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 ue(immutable Lex
0ab0: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 56 61 Position pos, Va
0ac0: 6c 75 65 5b 5d 20 61 72 67 73 29 7b 0a 09 09 66 lue[] args){...f
0ad0: 6f 72 65 61 63 68 28 61 3b 20 61 72 67 73 29 0a oreach(a; args).
0ae0: 09 09 09 77 72 69 74 65 28 61 29 3b 0a 09 09 77 ...write(a);...w
0af0: 72 69 74 65 6c 6e 28 22 22 29 3b 0a 09 09 72 65 riteln("");...re
0b00: 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 turn new IntValu
0b10: 65 28 42 69 67 49 6e 74 28 31 37 38 29 29 3b 0a e(BigInt(178));.
0b20: 09 7d 29 29 3b 0a 09 63 74 78 2e 73 65 74 28 22 .}));..ctx.set("
0b30: 69 66 22 2c 20 22 40 76 61 6c 22 2c 20 6e 65 77 if", "@val", new
0b40: 20 46 75 6e 56 61 6c 75 65 28 64 65 6c 65 67 61 FunValue(delega
0b50: 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 74 61 62 te Value(immutab
0b60: 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 le LexPosition p
0b70: 6f 73 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 os, Value[] args
0b80: 29 7b 0a 09 09 69 66 28 20 61 72 67 73 2e 6c 65 ){...if( args.le
0b90: 6e 67 74 68 20 21 3d 20 33 20 29 0a 09 09 09 74 ngth != 3 )....t
0ba0: 68 72 6f 77 20 6e 65 77 20 52 75 6e 74 69 6d 65 hrow new Runtime
0bb0: 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 Exception(pos, "
0bc0: 69 66 20 74 61 6b 65 73 20 74 68 72 65 65 20 61 if takes three a
0bd0: 72 67 75 6d 65 6e 74 73 21 21 22 29 3b 0a 09 09 rguments!!");...
0be0: 69 66 28 20 61 75 74 6f 20 78 20 3d 20 63 61 73 if( auto x = cas
0bf0: 74 28 49 6e 74 56 61 6c 75 65 29 61 72 67 73 5b t(IntValue)args[
0c00: 30 5d 20 29 0a 09 09 69 66 28 20 61 75 74 6f 20 0] )...if( auto
0c10: 66 74 20 3d 20 63 61 73 74 28 46 75 6e 56 61 6c ft = cast(FunVal
0c20: 75 65 29 61 72 67 73 5b 31 5d 20 29 0a 09 09 69 ue)args[1] )...i
0c30: 66 28 20 61 75 74 6f 20 66 65 20 3d 20 63 61 73 f( auto fe = cas
0c40: 74 28 46 75 6e 56 61 6c 75 65 29 61 72 67 73 5b t(FunValue)args[
0c50: 32 5d 20 29 0a 09 09 09 72 65 74 75 72 6e 20 28 2] )....return (
0c60: 78 2e 64 61 74 61 20 3d 3d 20 30 20 3f 20 66 65 x.data == 0 ? fe
0c70: 20 3a 20 66 74 29 2e 63 61 6c 6c 28 70 6f 73 2c : ft).call(pos,
0c80: 5b 5d 29 3b 0a 09 09 74 68 72 6f 77 20 6e 65 77 []);...throw new
0c90: 20 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f RuntimeExceptio
0ca0: 6e 28 70 6f 73 2c 20 22 74 79 70 65 20 6d 69 73 n(pos, "type mis
0cb0: 6d 61 74 63 68 20 69 6e 20 69 66 22 29 3b 0d 0a match in if");..
0cc0: 09 7d 29 29 3b 0a 09 72 65 74 75 72 6e 20 63 74 .}));..return ct
0cd0: 78 3b 0a 7d 0a 0a 2f 2f 2f 20 45 6e 74 72 79 20 x;.}../// Entry
0ce0: 70 6f 69 6e 74 20 6f 66 20 74 68 69 73 20 6d 6f point of this mo
0cf0: 64 75 6c 65 0d 0a 0d 0a 54 75 70 6c 65 21 28 56 dule....Tuple!(V
0d00: 61 6c 75 65 2c 22 76 61 6c 22 2c 54 61 62 6c 65 alue,"val",Table
0d10: 2c 22 63 74 78 22 29 20 65 76 61 6c 53 74 72 69 ,"ctx") evalStri
0d20: 6e 67 28 53 2c 54 2e 2e 2e 29 28 53 20 73 74 72 ng(S,T...)(S str
0d30: 2c 20 54 20 66 6e 5f 6c 6e 5f 63 6e 29 0a 7b 0a , T fn_ln_cn).{.
0d40: 09 72 65 74 75 72 6e 20 65 76 61 6c 28 20 70 6f .return eval( po
0d50: 6c 65 6d 79 2e 70 61 72 73 65 2e 70 61 72 73 65 lemy.parse.parse
0d60: 53 74 72 69 6e 67 28 73 74 72 2c 20 66 6e 5f 6c String(str, fn_l
0d70: 6e 5f 63 6e 29 20 29 3b 0a 7d 0a 0a 54 75 70 6c n_cn) );.}..Tupl
0d80: 65 21 28 56 61 6c 75 65 2c 22 76 61 6c 22 2c 54 e!(Value,"val",T
0d90: 61 62 6c 65 2c 22 63 74 78 22 29 20 65 76 61 6c able,"ctx") eval
0da0: 46 69 6c 65 28 53 2c 20 54 2e 2e 2e 29 28 53 20 File(S, T...)(S
0db0: 66 69 6c 65 6e 61 65 2c 20 54 20 6c 6e 5f 63 6e filenae, T ln_cn
0dc0: 29 0a 7b 0a 09 72 65 74 75 72 6e 20 65 76 61 6c ).{..return eval
0dd0: 28 20 70 6f 6c 65 6d 79 2e 70 61 72 73 65 2e 70 ( polemy.parse.p
0de0: 61 72 73 65 46 69 6c 65 28 66 69 6c 65 6e 61 6d arseFile(filenam
0df0: 65 2c 20 6c 6e 5f 63 6e 29 20 29 3b 0a 7d 0a 0a e, ln_cn) );.}..
0e00: 54 75 70 6c 65 21 28 56 61 6c 75 65 2c 22 76 61 Tuple!(Value,"va
0e10: 6c 22 2c 54 61 62 6c 65 2c 22 63 74 78 22 29 20 l",Table,"ctx")
0e20: 65 76 61 6c 28 41 53 54 20 65 29 0a 7b 0a 09 54 eval(AST e).{..T
0e30: 61 62 6c 65 20 63 74 78 20 3d 20 63 72 65 61 74 able ctx = creat
0e40: 65 47 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 28 29 eGlobalContext()
0e50: 3b 0a 09 72 65 74 75 72 6e 20 74 79 70 65 6f 66 ;..return typeof
0e60: 28 72 65 74 75 72 6e 29 28 65 76 61 6c 28 65 2c (return)(eval(e,
0e70: 20 63 74 78 29 2c 20 63 74 78 29 3b 0a 7d 0a 0a ctx), ctx);.}..
0e80: 56 61 6c 75 65 20 65 76 61 6c 28 41 53 54 20 5f Value eval(AST _
0e90: 65 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 62 6f e, Table ctx, bo
0ea0: 6f 6c 20 73 70 6c 69 74 43 74 78 20 3d 20 74 72 ol splitCtx = tr
0eb0: 75 65 29 0a 7b 0a 09 69 66 28 20 61 75 74 6f 20 ue).{..if( auto
0ec0: 65 20 3d 20 63 61 73 74 28 53 74 72 4c 69 74 65 e = cast(StrLite
0ed0: 72 61 6c 29 5f 65 20 29 0a 09 7b 0a 09 09 72 65 ral)_e )..{...re
0ee0: 74 75 72 6e 20 6e 65 77 20 53 74 72 56 61 6c 75 turn new StrValu
0ef0: 65 28 65 2e 64 61 74 61 29 3b 0a 09 7d 0a 09 65 e(e.data);..}..e
0f00: 6c 73 65 0a 09 69 66 28 20 61 75 74 6f 20 65 20 lse..if( auto e
0f10: 3d 20 63 61 73 74 28 49 6e 74 4c 69 74 65 72 61 = cast(IntLitera
0f20: 6c 29 5f 65 20 29 0a 09 7b 0a 09 09 72 65 74 75 l)_e )..{...retu
0f30: 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 rn new IntValue(
0f40: 65 2e 64 61 74 61 29 3b 0a 09 7d 0a 09 65 6c 73 e.data);..}..els
0f50: 65 0d 0a 09 69 66 28 20 61 75 74 6f 20 65 20 3d e...if( auto e =
0f60: 20 63 61 73 74 28 56 61 72 45 78 70 72 65 73 73 cast(VarExpress
0f70: 69 6f 6e 29 5f 65 20 29 0d 0a 09 7b 0d 0a 09 09 ion)_e )...{....
0f80: 72 65 74 75 72 6e 20 63 74 78 2e 67 65 74 28 65 return ctx.get(e
0f90: 2e 76 61 72 2c 20 22 40 76 61 6c 22 2c 20 65 2e .var, "@val", e.
0fa0: 70 6f 73 29 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 65 pos);...}...else
0fb0: 0d 0a 09 69 66 28 20 61 75 74 6f 20 65 20 3d 20 ...if( auto e =
0fc0: 63 61 73 74 28 4c 65 74 45 78 70 72 65 73 73 69 cast(LetExpressi
0fd0: 6f 6e 29 5f 65 20 29 0d 0a 09 7b 0d 0a 09 09 2f on)_e )...{..../
0fe0: 2f 20 66 6f 72 20 6c 65 74 72 65 63 2c 20 77 65 / for letrec, we
0ff0: 20 6e 65 65 64 20 74 68 69 73 2c 20 62 75 74 20 need this, but
1000: 73 68 6f 75 6c 64 20 61 76 6f 69 64 20 6f 76 65 should avoid ove
1010: 72 77 72 69 74 69 6e 67 3f 3f 3f 3f 0d 0a 09 09 rwriting????....
1020: 2f 2f 20 63 74 78 2e 73 65 74 28 65 2e 76 61 72 // ctx.set(e.var
1030: 2c 20 22 40 76 61 6c 22 2c 20 6e 65 77 20 55 6e , "@val", new Un
1040: 64 65 66 69 6e 65 64 56 61 6c 75 65 2c 20 65 2e definedValue, e.
1050: 70 6f 73 29 3b 0d 0a 09 09 56 61 6c 75 65 20 76 pos);....Value v
1060: 20 3d 20 65 76 61 6c 28 65 2e 69 6e 69 74 2c 20 = eval(e.init,
1070: 63 74 78 2c 20 74 72 75 65 29 3b 0d 0a 09 09 63 ctx, true);....c
1080: 74 78 2e 73 65 74 28 65 2e 76 61 72 2c 20 22 40 tx.set(e.var, "@
1090: 76 61 6c 22 2c 20 76 2c 20 65 2e 70 6f 73 29 3b val", v, e.pos);
10a0: 0d 0a 09 09 72 65 74 75 72 6e 20 65 76 61 6c 28 ....return eval(
10b0: 65 2e 65 78 70 72 2c 20 63 74 78 29 3b 0d 0a 09 e.expr, ctx);...
10c0: 7d 0d 0a 09 65 6c 73 65 0a 09 69 66 28 20 61 75 }...else..if( au
10d0: 74 6f 20 65 20 3d 20 63 61 73 74 28 46 75 6e 63 to e = cast(Func
10e0: 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 29 5f 65 allExpression)_e
10f0: 20 29 0a 09 7b 0a 09 09 56 61 6c 75 65 20 5f 66 )..{...Value _f
1100: 20 3d 20 65 76 61 6c 28 65 2e 66 75 6e 2c 20 63 = eval(e.fun, c
1110: 74 78 29 3b 0a 09 09 69 66 28 20 61 75 74 6f 20 tx);...if( auto
1120: 66 20 3d 20 63 61 73 74 28 46 75 6e 56 61 6c 75 f = cast(FunValu
1130: 65 29 5f 66 20 29 20 7b 0a 09 09 09 56 61 6c 75 e)_f ) {....Valu
1140: 65 5b 5d 20 61 72 67 73 3b 0a 09 09 09 66 6f 72 e[] args;....for
1150: 65 61 63 68 28 61 3b 20 65 2e 61 72 67 73 29 0a each(a; e.args).
1160: 09 09 09 09 61 72 67 73 20 7e 3d 20 65 76 61 6c ....args ~= eval
1170: 28 61 2c 20 63 74 78 29 3b 0a 09 09 09 72 65 74 (a, ctx);....ret
1180: 75 72 6e 20 66 2e 63 61 6c 6c 28 65 2e 70 6f 73 urn f.call(e.pos
1190: 2c 20 61 72 67 73 29 3b 0a 09 09 7d 20 65 6c 73 , args);...} els
11a0: 65 0a 09 09 09 74 68 72 6f 77 20 6e 65 77 20 52 e....throw new R
11b0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
11c0: 65 2e 70 6f 73 2c 20 22 4e 6f 6e 2d 66 75 6e 63 e.pos, "Non-func
11d0: 69 6f 6e 20 69 73 20 61 70 70 6c 69 65 64 22 29 ion is applied")
11e0: 3b 0a 09 7d 0a 09 65 6c 73 65 0a 09 69 66 28 20 ;..}..else..if(
11f0: 61 75 74 6f 20 65 20 3d 20 63 61 73 74 28 46 75 auto e = cast(Fu
1200: 6e 4c 69 74 65 72 61 6c 29 5f 65 20 29 0a 09 7b nLiteral)_e )..{
1210: 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 46 75 ...return new Fu
1220: 6e 56 61 6c 75 65 28 64 65 6c 65 67 61 74 65 20 nValue(delegate
1230: 56 61 6c 75 65 28 69 6d 6d 75 74 61 62 6c 65 20 Value(immutable
1240: 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c LexPosition pos,
1250: 20 56 61 6c 75 65 5b 5d 20 61 72 67 73 29 7b 0a Value[] args){.
1260: 09 09 09 69 66 28 20 65 2e 70 61 72 61 6d 73 2e ...if( e.params.
1270: 6c 65 6e 67 74 68 20 21 3d 20 61 72 67 73 2e 6c length != args.l
1280: 65 6e 67 74 68 20 29 0a 09 09 09 09 74 68 72 6f ength ).....thro
1290: 77 20 6e 65 77 20 52 75 6e 74 69 6d 65 45 78 63 w new RuntimeExc
12a0: 65 70 74 69 6f 6e 28 65 2e 70 6f 73 2c 20 73 70 eption(e.pos, sp
12b0: 72 69 6e 74 66 21 22 41 72 67 75 6d 65 6e 74 20 rintf!"Argument
12c0: 4e 75 6d 62 65 72 20 4d 69 73 6d 61 74 63 68 20 Number Mismatch
12d0: 28 25 64 20 72 65 71 75 69 72 65 64 20 62 75 74 (%d required but
12e0: 20 25 64 20 67 69 76 65 6e 29 22 0a 09 09 09 09 %d given)".....
12f0: 09 28 65 2e 70 61 72 61 6d 73 2e 6c 65 6e 67 74 .(e.params.lengt
1300: 68 2c 20 61 72 67 73 2e 6c 65 6e 67 74 68 29 29 h, args.length))
1310: 3b 0a 09 09 09 54 61 62 6c 65 20 63 74 78 4e 65 ;....Table ctxNe
1320: 6f 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 74 o = new Table(ct
1330: 78 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f x, Table.Kind.No
1340: 74 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0a tPropagateSet);.
1350: 09 09 09 66 6f 72 65 61 63 68 28 69 2c 70 3b 20 ...foreach(i,p;
1360: 65 2e 70 61 72 61 6d 73 29 0a 09 09 09 09 63 74 e.params).....ct
1370: 78 4e 65 6f 2e 73 65 74 28 70 2c 20 22 40 76 61 xNeo.set(p, "@va
1380: 6c 22 2c 20 61 72 67 73 5b 69 5d 29 3b 0a 09 09 l", args[i]);...
1390: 09 72 65 74 75 72 6e 20 65 76 61 6c 28 65 2e 66 .return eval(e.f
13a0: 75 6e 62 6f 64 79 2c 20 63 74 78 4e 65 6f 29 3b unbody, ctxNeo);
13b0: 0a 09 09 7d 29 3b 0a 09 7d 0a 09 74 68 72 6f 77 ...});..}..throw
13c0: 20 6e 65 77 20 52 75 6e 74 69 6d 65 45 78 63 65 new RuntimeExce
13d0: 70 74 69 6f 6e 28 5f 65 2e 70 6f 73 2c 20 73 70 ption(_e.pos, sp
13e0: 72 69 6e 74 66 21 22 55 6e 6b 6e 6f 77 6e 20 4b rintf!"Unknown K
13f0: 69 6e 64 20 6f 66 20 45 78 70 72 65 73 73 69 6f ind of Expressio
1400: 6e 20 25 73 22 28 74 79 70 65 69 64 28 5f 65 29 n %s"(typeid(_e)
1410: 29 29 3b 0a 7d 0a 0d 0a 75 6e 69 74 74 65 73 74 ));.}...unittest
1420: 0a 7b 0d 0a 09 61 75 74 6f 20 72 20 3d 20 61 73 .{...auto r = as
1430: 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 76 sert_nothrow( ev
1440: 61 6c 53 74 72 69 6e 67 28 60 76 61 72 20 78 20 alString(`var x
1450: 3d 20 32 31 3b 20 78 20 2b 20 78 2a 78 3b 60 29 = 21; x + x*x;`)
1460: 20 29 3b 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );..assert_eq(
1470: 72 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 r.val, new IntVa
1480: 6c 75 65 28 42 69 67 49 6e 74 28 32 31 2b 32 31 lue(BigInt(21+21
1490: 2a 32 31 29 29 20 29 3b 0a 09 61 73 73 65 72 74 *21)) );..assert
14a0: 5f 65 71 28 20 72 2e 63 74 78 2e 67 65 74 28 22 _eq( r.ctx.get("
14b0: 78 22 2c 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 x","@val"), new
14c0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
14d0: 32 31 29 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 21)) );..assert_
14e0: 6e 6f 74 68 72 6f 77 28 20 72 2e 63 74 78 2e 67 nothrow( r.ctx.g
14f0: 65 74 28 22 78 22 2c 22 40 76 61 6c 22 29 20 29 et("x","@val") )
1500: 3b 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 ;..assert_throw!
1510: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
1520: 28 20 72 2e 63 74 78 2e 67 65 74 28 22 79 22 2c ( r.ctx.get("y",
1530: 22 40 76 61 6c 22 29 20 29 3b 0a 7d 0a 75 6e 69 "@val") );.}.uni
1540: 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 ttest..{...auto
1550: 72 20 3d 20 61 73 73 65 72 74 5f 6e 6f 74 68 72 r = assert_nothr
1560: 6f 77 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 ow( evalString(`
1570: 76 61 72 20 78 20 3d 20 32 31 3b 20 76 61 72 20 var x = 21; var
1580: 78 20 3d 20 78 20 2b 20 78 2a 78 3b 60 29 20 29 x = x + x*x;`) )
1590: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 72 ;...assert_eq( r
15a0: 2e 76 61 6c 2c 20 6e 65 77 20 49 6e 74 56 61 6c .val, new IntVal
15b0: 75 65 28 42 69 67 49 6e 74 28 32 31 2b 32 31 2a ue(BigInt(21+21*
15c0: 32 31 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 21)) );...assert
15d0: 5f 65 71 28 20 72 2e 63 74 78 2e 67 65 74 28 22 _eq( r.ctx.get("
15e0: 78 22 2c 22 40 76 61 6c 22 29 2c 20 6e 65 77 20 x","@val"), new
15f0: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
1600: 32 31 2b 32 31 2a 32 31 29 29 20 29 3b 0d 0a 09 21+21*21)) );...
1610: 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 assert_nothrow(
1620: 72 2e 63 74 78 2e 67 65 74 28 22 78 22 2c 22 40 r.ctx.get("x","@
1630: 76 61 6c 22 29 20 29 3b 0d 0a 09 61 73 73 65 72 val") );...asser
1640: 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 45 t_throw!RuntimeE
1650: 78 63 65 70 74 69 6f 6e 28 20 72 2e 63 74 78 2e xception( r.ctx.
1660: 67 65 74 28 22 79 22 2c 22 40 76 61 6c 22 29 20 get("y","@val")
1670: 29 3b 0d 0a 7d 0d 0a 75 6e 69 74 74 65 73 74 0a );..}..unittest.
1680: 7b 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f {..assert_nothro
1690: 77 28 20 65 76 61 6c 53 74 72 69 6e 67 28 60 70 w( evalString(`p
16a0: 72 69 6e 74 28 22 48 65 6c 6c 6f 2c 20 77 6f 72 rint("Hello, wor
16b0: 6c 64 21 22 29 3b 60 29 20 29 3b 0a 09 61 73 73 ld!");`) );..ass
16c0: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 76 61 ert_nothrow( eva
16d0: 6c 53 74 72 69 6e 67 28 60 70 72 69 6e 74 28 66 lString(`print(f
16e0: 75 6e 28 29 7b 7d 29 3b 60 29 20 29 3b 0a 7d 0a un(){});`) );.}.
16f0: 75 6e 69 74 74 65 73 74 0a 7b 0a 09 61 73 73 65 unittest.{..asse
1700: 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 76 61 6c rt_nothrow( eval
1710: 53 74 72 69 6e 67 28 60 76 61 72 20 66 61 63 20 String(`var fac
1720: 3d 20 66 75 6e 28 78 29 7b 0a 09 09 31 3b 0a 09 = fun(x){...1;..
1730: 7d 3b 0a 09 70 72 69 6e 74 28 66 61 63 28 33 29 };..print(fac(3)
1740: 29 3b 60 29 29 3b 0a 09 61 73 73 65 72 74 5f 6e );`));..assert_n
1750: 6f 74 68 72 6f 77 28 20 65 76 61 6c 53 74 72 69 othrow( evalStri
1760: 6e 67 28 60 76 61 72 20 66 61 63 20 3d 20 66 75 ng(`var fac = fu
1770: 6e 28 78 29 7b 0a 09 09 69 66 28 78 29 0a 09 09 n(x){...if(x)...
1780: 09 7b 20 78 2a 66 61 63 28 78 2d 31 29 3b 20 7d .{ x*fac(x-1); }
1790: 0a 09 09 65 6c 73 65 0a 09 09 09 7b 20 31 3b 20 ...else....{ 1;
17a0: 7d 3b 0a 09 7d 3b 0a 09 70 72 69 6e 74 28 66 61 };..};..print(fa
17b0: 63 28 31 30 29 29 3b 60 29 29 3b 0a 09 61 73 73 c(10));`));..ass
17c0: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 65 76 61 ert_nothrow( eva
17d0: 6c 53 74 72 69 6e 67 28 60 76 61 72 20 66 69 62 lString(`var fib
17e0: 20 3d 20 66 75 6e 28 78 29 7b 0a 09 09 69 66 28 = fun(x){...if(
17f0: 78 3c 32 29 0a 09 09 09 7b 20 31 3b 20 7d 0a 09 x<2)....{ 1; }..
1800: 09 65 6c 73 65 0a 09 09 09 7b 20 66 69 62 28 78 .else....{ fib(x
1810: 2d 31 29 20 2b 20 66 69 62 28 78 2d 32 29 3b 20 -1) + fib(x-2);
1820: 7d 3b 0a 09 7d 3b 0a 09 70 72 69 6e 74 28 66 69 };..};..print(fi
1830: 62 28 31 30 29 29 3b 60 29 29 3b 0a 7d 0a b(10));`));.}.