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 43 6f 6e 76 65 72 74 20 76 61 *.. * Convert va
0060: 6c 75 65 73 20 62 65 74 77 65 65 6e 20 50 6f 6c lues between Pol
0070: 65 6d 79 20 61 6e 64 20 44 0d 0a 20 2a 2f 0d 0a emy and D.. */..
0080: 6d 6f 64 75 6c 65 20 70 6f 6c 65 6d 79 2e 76 61 module polemy.va
0090: 6c 75 65 63 6f 6e 76 3b 0d 0a 69 6d 70 6f 72 74 lueconv;..import
00a0: 20 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f 6e 3b polemy._common;
00b0: 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e ..import polemy.
00c0: 66 61 69 6c 75 72 65 3b 0d 0a 69 6d 70 6f 72 74 failure;..import
00d0: 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0d 0a 69 6d polemy.ast;..im
00e0: 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 6c 61 79 65 port polemy.laye
00f0: 72 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d r;..import polem
0100: 79 2e 76 61 6c 75 65 3b 0d 0a 69 6d 70 6f 72 74 y.value;..import
0110: 20 73 74 64 2e 73 74 72 69 6e 67 3b 0d 0a 0d 0a std.string;....
0120: 4c 65 78 50 6f 73 69 74 69 6f 6e 20 65 78 74 72 LexPosition extr
0130: 61 63 74 50 6f 73 28 20 54 61 62 6c 65 20 74 20 actPos( Table t
0140: 29 0d 0a 7b 0d 0a 09 4c 61 79 65 72 20 74 68 65 )..{...Layer the
0150: 4c 61 79 65 72 20 3d 20 56 61 6c 75 65 4c 61 79 Layer = ValueLay
0160: 65 72 3b 0d 0a 09 69 66 28 61 75 74 6f 20 74 74 er;...if(auto tt
0170: 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 6c = t.access!Tabl
0180: 65 28 74 68 65 4c 61 79 65 72 2c 20 22 70 6f 73 e(theLayer, "pos
0190: 22 29 29 0d 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 "))...{....auto
01a0: 66 6e 20 3d 20 74 74 2e 61 63 63 65 73 73 21 53 fn = tt.access!S
01b0: 74 72 56 61 6c 75 65 28 74 68 65 4c 61 79 65 72 trValue(theLayer
01c0: 2c 20 22 66 69 6c 65 6e 61 6d 65 22 29 3b 0d 0a , "filename");..
01d0: 09 09 61 75 74 6f 20 6c 6e 20 3d 20 74 74 2e 61 ..auto ln = tt.a
01e0: 63 63 65 73 73 21 49 6e 74 56 61 6c 75 65 28 74 ccess!IntValue(t
01f0: 68 65 4c 61 79 65 72 2c 20 22 6c 69 6e 65 6e 6f heLayer, "lineno
0200: 22 29 3b 0d 0a 09 09 61 75 74 6f 20 63 6c 20 3d ");....auto cl =
0210: 20 74 74 2e 61 63 63 65 73 73 21 49 6e 74 56 61 tt.access!IntVa
0220: 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 63 lue(theLayer, "c
0230: 6f 6c 75 6d 6e 22 29 3b 0d 0a 09 09 69 66 28 66 olumn");....if(f
0240: 6e 20 21 69 73 20 6e 75 6c 6c 20 26 26 20 6c 6e n !is null && ln
0250: 20 21 69 73 20 6e 75 6c 6c 20 26 26 20 63 6c 20 !is null && cl
0260: 21 69 73 20 6e 75 6c 6c 29 0d 0a 09 09 09 72 65 !is null).....re
0270: 74 75 72 6e 20 6e 65 77 20 4c 65 78 50 6f 73 69 turn new LexPosi
0280: 74 69 6f 6e 28 66 6e 2e 64 61 74 61 2c 63 61 73 tion(fn.data,cas
0290: 74 28 69 6e 74 29 6c 6e 2e 64 61 74 61 2e 74 6f t(int)ln.data.to
02a0: 49 6e 74 2c 63 61 73 74 28 69 6e 74 29 63 6c 2e Int,cast(int)cl.
02b0: 64 61 74 61 2e 74 6f 49 6e 74 29 3b 0d 0a 09 7d data.toInt);...}
02c0: 0d 0a 09 72 65 74 75 72 6e 20 6e 75 6c 6c 3b 0d ...return null;.
02d0: 0a 7d 0d 0a 0d 0a 56 61 6c 75 65 5b 5d 20 74 61 .}....Value[] ta
02e0: 62 6c 65 41 73 43 6f 6e 73 4c 69 73 74 28 20 4c bleAsConsList( L
02f0: 61 79 65 72 20 74 68 65 4c 61 79 65 72 2c 20 54 ayer theLayer, T
0300: 61 62 6c 65 20 74 20 29 0d 0a 7b 0d 0a 09 56 61 able t )..{...Va
0310: 6c 75 65 5b 5d 20 72 65 73 75 6c 74 3b 0d 0a 09 lue[] result;...
0320: 77 68 69 6c 65 28 74 29 0d 0a 09 09 69 66 28 61 while(t)....if(a
0330: 75 74 6f 20 76 20 20 3d 20 74 2e 61 63 63 65 73 uto v = t.acces
0340: 73 21 56 61 6c 75 65 28 74 68 65 4c 61 79 65 72 s!Value(theLayer
0350: 2c 20 22 63 61 72 22 29 29 0d 0a 09 09 7b 0d 0a , "car"))....{..
0360: 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 76 3b 0d ...result ~= v;.
0370: 0a 09 09 09 74 20 3d 20 74 2e 61 63 63 65 73 73 ....t = t.access
0380: 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 2c !Table(theLayer,
0390: 20 22 63 64 72 22 29 3b 0d 0a 09 09 7d 0d 0a 09 "cdr");....}...
03a0: 09 65 6c 73 65 0d 0a 09 09 09 62 72 65 61 6b 3b .else.....break;
03b0: 0d 0a 09 72 65 74 75 72 6e 20 72 65 73 75 6c 74 ...return result
03c0: 3b 0d 0a 7d 0d 0a 0d 0a 41 53 54 5b 5d 20 74 61 ;..}....AST[] ta
03d0: 62 6c 65 54 6f 41 53 54 4c 69 73 74 28 20 4c 61 bleToASTList( La
03e0: 79 65 72 20 74 68 65 4c 61 79 65 72 2c 20 54 61 yer theLayer, Ta
03f0: 62 6c 65 20 74 20 29 0d 0a 7b 0d 0a 09 41 53 54 ble t )..{...AST
0400: 5b 5d 20 72 65 73 75 6c 74 3b 0d 0a 09 66 6f 72 [] result;...for
0410: 65 61 63 68 28 76 3b 20 74 61 62 6c 65 41 73 43 each(v; tableAsC
0420: 6f 6e 73 4c 69 73 74 28 74 68 65 4c 61 79 65 72 onsList(theLayer
0430: 2c 20 74 29 29 0d 0a 09 09 69 66 28 61 75 74 6f , t))....if(auto
0440: 20 74 20 3d 20 63 61 73 74 28 54 61 62 6c 65 29 t = cast(Table)
0450: 76 29 0d 0a 09 09 09 72 65 73 75 6c 74 20 7e 3d v).....result ~=
0460: 20 74 61 62 6c 65 54 6f 41 53 54 28 74 68 65 4c tableToAST(theL
0470: 61 79 65 72 2c 74 29 3b 0d 0a 09 09 65 6c 73 65 ayer,t);....else
0480: 0d 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 .....throw genex
0490: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
04a0: 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 n(cast(LexPositi
04b0: 6f 6e 29 6e 75 6c 6c 2c 20 22 49 6e 76 61 6c 69 on)null, "Invali
04c0: 64 20 41 53 54 20 28 6e 6f 6e 2d 74 61 62 6c 65 d AST (non-table
04d0: 20 69 6e 20 63 6f 6e 73 2d 6c 69 73 74 29 22 29 in cons-list)")
04e0: 3b 0d 0a 09 72 65 74 75 72 6e 20 72 65 73 75 6c ;...return resul
04f0: 74 3b 0d 0a 7d 0d 0a 0d 0a 41 53 54 20 74 61 62 t;..}....AST tab
0500: 6c 65 54 6f 41 53 54 28 20 4c 61 79 65 72 20 74 leToAST( Layer t
0510: 68 65 4c 61 79 65 72 2c 20 56 61 6c 75 65 20 76 heLayer, Value v
0520: 76 76 76 20 29 0d 0a 7b 0d 0a 09 54 61 62 6c 65 vvv )..{...Table
0530: 20 74 20 3d 20 63 61 73 74 28 54 61 62 6c 65 29 t = cast(Table)
0540: 76 76 76 76 3b 0d 0a 09 69 66 28 20 74 20 69 73 vvvv;...if( t is
0550: 20 6e 75 6c 6c 20 29 0d 0a 09 09 74 68 72 6f 77 null )....throw
0560: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
0570: 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 ception(cast(Lex
0580: 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 22 Position)null, "
0590: 49 6e 76 61 6c 69 64 20 41 53 54 20 28 6e 6f 74 Invalid AST (not
05a0: 20 61 20 74 61 62 6c 65 29 22 29 3b 0d 0a 0d 0a a table)");....
05b0: 09 61 75 74 6f 20 6e 6f 64 65 54 79 70 65 20 3d .auto nodeType =
05c0: 20 74 2e 61 63 63 65 73 73 21 53 74 72 56 61 6c t.access!StrVal
05d0: 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 69 73 ue(theLayer, "is
05e0: 22 29 3b 0d 0a 09 69 66 28 20 6e 6f 64 65 54 79 ");...if( nodeTy
05f0: 70 65 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 pe is null )....
0600: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 throw genex!Runt
0610: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 imeException(cas
0620: 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 t(LexPosition)nu
0630: 6c 6c 2c 20 22 49 6e 76 61 6c 69 64 20 41 53 54 ll, "Invalid AST
0640: 20 7b 69 73 3a 28 6e 6f 74 20 73 74 72 69 6e 67 {is:(not string
0650: 29 7d 22 29 3b 0d 0a 09 61 75 74 6f 20 70 6f 73 )}");...auto pos
0660: 20 3d 20 65 78 74 72 61 63 74 50 6f 73 28 74 29 = extractPos(t)
0670: 3b 0d 0a 09 73 77 69 74 63 68 28 6e 6f 64 65 54 ;...switch(nodeT
0680: 79 70 65 2e 64 61 74 61 29 0d 0a 09 7b 0d 0a 09 ype.data)...{...
0690: 63 61 73 65 20 22 69 6e 74 22 3a 0d 0a 09 09 69 case "int":....i
06a0: 66 28 61 75 74 6f 20 76 20 3d 20 74 2e 61 63 63 f(auto v = t.acc
06b0: 65 73 73 21 49 6e 74 56 61 6c 75 65 28 74 68 65 ess!IntValue(the
06c0: 4c 61 79 65 72 2c 20 22 64 61 74 61 22 29 29 0d Layer, "data")).
06d0: 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 ....return new I
06e0: 6e 74 28 70 6f 73 2c 20 76 2e 64 61 74 61 29 3b nt(pos, v.data);
06f0: 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
0700: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
0710: 28 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 6f (cast(LexPositio
0720: 6e 29 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 n)null, `Invalid
0730: 20 41 53 54 20 7b 69 73 3a 22 69 6e 74 22 2c 20 AST {is:"int",
0740: 64 61 74 61 3a 28 6e 6f 74 20 69 6e 74 29 7d 60 data:(not int)}`
0750: 29 3b 0d 0a 09 63 61 73 65 20 22 73 74 72 22 3a );...case "str":
0760: 0d 0a 09 09 69 66 28 61 75 74 6f 20 76 20 3d 20 ....if(auto v =
0770: 74 2e 61 63 63 65 73 73 21 53 74 72 56 61 6c 75 t.access!StrValu
0780: 65 28 74 68 65 4c 61 79 65 72 2c 20 22 64 61 74 e(theLayer, "dat
0790: 61 22 29 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 a")).....return
07a0: 6e 65 77 20 53 74 72 28 70 6f 73 2c 20 76 2e 64 new Str(pos, v.d
07b0: 61 74 61 29 3b 0d 0a 09 09 74 68 72 6f 77 20 67 ata);....throw g
07c0: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
07d0: 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f ption(cast(LexPo
07e0: 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60 49 6e sition)null, `In
07f0: 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a 22 73 valid AST {is:"s
0800: 74 72 22 2c 20 64 61 74 61 3a 28 6e 6f 74 20 73 tr", data:(not s
0810: 74 72 69 6e 67 29 7d 60 29 3b 0d 0a 09 63 61 73 tring)}`);...cas
0820: 65 20 22 76 61 72 22 3a 0d 0a 09 09 69 66 28 61 e "var":....if(a
0830: 75 74 6f 20 76 20 3d 20 74 2e 61 63 63 65 73 73 uto v = t.access
0840: 21 53 74 72 56 61 6c 75 65 28 74 68 65 4c 61 79 !StrValue(theLay
0850: 65 72 2c 20 22 6e 61 6d 65 22 29 29 0d 0a 09 09 er, "name"))....
0860: 09 72 65 74 75 72 6e 20 6e 65 77 20 56 61 72 28 .return new Var(
0870: 70 6f 73 2c 20 76 2e 64 61 74 61 29 3b 0d 0a 09 pos, v.data);...
0880: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e .throw genex!Run
0890: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 timeException(ca
08a0: 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e st(LexPosition)n
08b0: 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 ull, `Invalid AS
08c0: 54 20 7b 69 73 3a 22 76 61 72 22 2c 20 6e 61 6d T {is:"var", nam
08d0: 65 3a 28 6e 6f 74 20 73 74 72 69 6e 67 29 7d 60 e:(not string)}`
08e0: 29 3b 0d 0a 09 63 61 73 65 20 22 6c 61 79 22 3a );...case "lay":
08f0: 0d 0a 09 09 69 66 28 61 75 74 6f 20 76 20 3d 20 ....if(auto v =
0900: 74 2e 61 63 63 65 73 73 21 53 74 72 56 61 6c 75 t.access!StrValu
0910: 65 28 74 68 65 4c 61 79 65 72 2c 20 22 6c 61 79 e(theLayer, "lay
0920: 65 72 22 29 29 0d 0a 09 09 09 69 66 28 61 75 74 er")).....if(aut
0930: 6f 20 65 20 3d 20 74 2e 61 63 63 65 73 73 21 54 o e = t.access!T
0940: 61 62 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 22 able(theLayer, "
0950: 65 78 70 72 22 29 29 0d 0a 09 09 09 09 72 65 74 expr"))......ret
0960: 75 72 6e 20 6e 65 77 20 4c 61 79 28 70 6f 73 2c urn new Lay(pos,
0970: 20 76 2e 64 61 74 61 2c 20 74 61 62 6c 65 54 6f v.data, tableTo
0980: 41 53 54 28 74 68 65 4c 61 79 65 72 2c 65 29 29 AST(theLayer,e))
0990: 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 ;.....else......
09a0: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 throw genex!Runt
09b0: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 imeException(cas
09c0: 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 t(LexPosition)nu
09d0: 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 54 ll, `Invalid AST
09e0: 20 7b 69 73 3a 22 6c 61 79 22 2c 20 65 78 70 72 {is:"lay", expr
09f0: 3a 28 6e 6f 74 20 74 61 62 6c 65 29 7d 60 29 3b :(not table)}`);
0a00: 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
0a10: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
0a20: 28 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 6f (cast(LexPositio
0a30: 6e 29 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 n)null, `Invalid
0a40: 20 41 53 54 20 7b 69 73 3a 22 6c 61 79 22 2c 20 AST {is:"lay",
0a50: 6c 61 79 65 72 3a 28 6e 6f 74 20 73 74 72 69 6e layer:(not strin
0a60: 67 29 7d 60 29 3b 0d 0a 09 63 61 73 65 20 22 6c g)}`);...case "l
0a70: 65 74 22 3a 0d 0a 09 09 69 66 28 61 75 74 6f 20 et":....if(auto
0a80: 6e 20 3d 20 74 2e 61 63 63 65 73 73 21 53 74 72 n = t.access!Str
0a90: 56 61 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 Value(theLayer,
0aa0: 22 6e 61 6d 65 22 29 29 0d 0a 09 09 69 66 28 61 "name"))....if(a
0ab0: 75 74 6f 20 65 20 3d 20 74 2e 61 63 63 65 73 73 uto e = t.access
0ac0: 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 2c !Table(theLayer,
0ad0: 20 22 69 6e 69 74 22 29 29 0d 0a 09 09 69 66 28 "init"))....if(
0ae0: 61 75 74 6f 20 62 20 3d 20 74 2e 61 63 63 65 73 auto b = t.acces
0af0: 73 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 s!Table(theLayer
0b00: 2c 20 22 65 78 70 72 22 29 29 0d 0a 09 09 7b 0d , "expr"))....{.
0b10: 0a 09 09 09 73 74 72 69 6e 67 20 6e 6e 20 3d 20 ....string nn =
0b20: 6e 2e 64 61 74 61 3b 0d 0a 09 09 09 61 75 74 6f n.data;.....auto
0b30: 20 65 65 20 3d 20 74 61 62 6c 65 54 6f 41 53 54 ee = tableToAST
0b40: 28 74 68 65 4c 61 79 65 72 2c 20 65 29 3b 0d 0a (theLayer, e);..
0b50: 09 09 09 61 75 74 6f 20 62 62 20 3d 20 74 61 62 ...auto bb = tab
0b60: 6c 65 54 6f 41 53 54 28 74 68 65 4c 61 79 65 72 leToAST(theLayer
0b70: 2c 20 62 29 3b 0d 0a 09 09 09 4c 61 79 65 72 20 , b);.....Layer
0b80: 6c 61 79 3d 22 22 3b 0d 0a 09 09 09 69 66 28 61 lay="";.....if(a
0b90: 75 74 6f 20 6c 20 3d 20 74 2e 61 63 63 65 73 73 uto l = t.access
0ba0: 21 53 74 72 56 61 6c 75 65 28 74 68 65 4c 61 79 !StrValue(theLay
0bb0: 65 72 2c 20 22 6c 61 79 65 72 22 29 29 0d 0a 09 er, "layer"))...
0bc0: 09 09 09 6c 61 79 20 3d 20 6c 2e 64 61 74 61 3b ...lay = l.data;
0bd0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
0be0: 4c 65 74 28 70 6f 73 2c 20 6e 6e 2c 20 6c 61 79 Let(pos, nn, lay
0bf0: 2c 20 65 65 2c 20 62 62 29 3b 0d 0a 09 09 7d 0d , ee, bb);....}.
0c00: 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 ...throw genex!R
0c10: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
0c20: 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e cast(LexPosition
0c30: 29 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20 )null, `Invalid
0c40: 41 53 54 20 7b 69 73 3a 22 6c 65 74 22 2c 20 6e AST {is:"let", n
0c50: 61 6d 65 3a 22 3f 3f 3f 22 2c 20 69 6e 69 74 3a ame:"???", init:
0c60: 22 3f 3f 3f 22 2c 20 65 78 70 72 3a 22 3f 3f 3f "???", expr:"???
0c70: 22 7d 60 29 3b 0d 0a 09 63 61 73 65 20 22 61 70 "}`);...case "ap
0c80: 70 22 3a 0d 0a 09 09 69 66 28 61 75 74 6f 20 66 p":....if(auto f
0c90: 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 6c = t.access!Tabl
0ca0: 65 28 74 68 65 4c 61 79 65 72 2c 20 22 66 75 6e e(theLayer, "fun
0cb0: 22 29 29 0d 0a 09 09 69 66 28 61 75 74 6f 20 61 "))....if(auto a
0cc0: 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 6c = t.access!Tabl
0cd0: 65 28 74 68 65 4c 61 79 65 72 2c 20 22 61 72 67 e(theLayer, "arg
0ce0: 73 22 29 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 s")).....return
0cf0: 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 74 61 62 new App(pos, tab
0d00: 6c 65 54 6f 41 53 54 28 74 68 65 4c 61 79 65 72 leToAST(theLayer
0d10: 2c 66 29 2c 20 74 61 62 6c 65 54 6f 41 53 54 4c ,f), tableToASTL
0d20: 69 73 74 28 74 68 65 4c 61 79 65 72 2c 61 29 29 ist(theLayer,a))
0d30: 3b 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 ;....throw genex
0d40: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
0d50: 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 n(cast(LexPositi
0d60: 6f 6e 29 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 on)null, `Invali
0d70: 64 20 41 53 54 20 7b 69 73 3a 22 61 70 70 22 2c d AST {is:"app",
0d80: 20 66 75 6e 3a 3f 3f 3f 2c 20 61 72 67 73 3a 3f fun:???, args:?
0d90: 3f 3f 7d 60 29 3b 0d 0a 09 63 61 73 65 20 22 66 ??}`);...case "f
0da0: 75 6e 22 3a 0d 0a 09 09 69 66 28 61 75 74 6f 20 un":....if(auto
0db0: 70 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 p = t.access!Tab
0dc0: 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 22 70 61 le(theLayer, "pa
0dd0: 72 61 6d 73 22 29 29 0d 0a 09 09 69 66 28 61 75 rams"))....if(au
0de0: 74 6f 20 62 20 3d 20 74 2e 61 63 63 65 73 73 21 to b = t.access!
0df0: 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 Table(theLayer,
0e00: 22 66 75 6e 62 6f 64 79 22 29 29 0d 0a 09 09 7b "funbody"))....{
0e10: 0d 0a 09 09 09 50 61 72 61 6d 65 74 65 72 5b 5d .....Parameter[]
0e20: 20 70 73 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 ps;.....foreach
0e30: 28 76 3b 20 74 61 62 6c 65 41 73 43 6f 6e 73 4c (v; tableAsConsL
0e40: 69 73 74 28 74 68 65 4c 61 79 65 72 2c 20 70 29 ist(theLayer, p)
0e50: 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 69 66 28 ).....{......if(
0e60: 61 75 74 6f 20 74 74 20 3d 20 63 61 73 74 28 54 auto tt = cast(T
0e70: 61 62 6c 65 29 76 29 0d 0a 09 09 09 09 69 66 28 able)v)......if(
0e80: 61 75 74 6f 20 73 73 20 3d 20 74 74 2e 61 63 63 auto ss = tt.acc
0e90: 65 73 73 21 53 74 72 56 61 6c 75 65 28 74 68 65 ess!StrValue(the
0ea0: 4c 61 79 65 72 2c 20 22 6e 61 6d 65 22 29 29 0d Layer, "name")).
0eb0: 0a 09 09 09 09 69 66 28 61 75 74 6f 20 6c 6c 20 .....if(auto ll
0ec0: 3d 20 74 74 2e 61 63 63 65 73 73 21 54 61 62 6c = tt.access!Tabl
0ed0: 65 28 74 68 65 4c 61 79 65 72 2c 20 22 6c 61 79 e(theLayer, "lay
0ee0: 65 72 73 22 29 29 0d 0a 09 09 09 09 7b 0d 0a 09 ers"))......{...
0ef0: 09 09 09 09 4c 61 79 65 72 5b 5d 20 6c 73 3b 0d ....Layer[] ls;.
0f00: 0a 09 09 09 09 09 66 6f 72 65 61 63 68 28 6c 6c ......foreach(ll
0f10: 6c 3b 20 74 61 62 6c 65 41 73 43 6f 6e 73 4c 69 l; tableAsConsLi
0f20: 73 74 28 74 68 65 4c 61 79 65 72 2c 20 6c 6c 29 st(theLayer, ll)
0f30: 29 0d 0a 09 09 09 09 09 09 69 66 28 61 75 74 6f )........if(auto
0f40: 20 6c 20 3d 20 63 61 73 74 28 53 74 72 56 61 6c l = cast(StrVal
0f50: 75 65 29 6c 6c 6c 29 0d 0a 09 09 09 09 09 09 09 ue)lll).........
0f60: 6c 73 20 7e 3d 20 6c 2e 64 61 74 61 3b 0d 0a 09 ls ~= l.data;...
0f70: 09 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 .....else.......
0f80: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 ..throw genex!Ru
0f90: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 ntimeException(c
0fa0: 61 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 ast(LexPosition)
0fb0: 6e 75 6c 6c 2c 20 73 70 72 69 6e 74 66 21 60 49 null, sprintf!`I
0fc0: 6e 76 61 6c 69 64 20 41 53 54 20 7b 62 61 64 20 nvalid AST {bad
0fd0: 66 75 6e 20 70 61 72 61 6d 73 20 25 73 7d 60 28 fun params %s}`(
0fe0: 6c 6c 6c 29 29 3b 0d 0a 09 09 09 09 09 70 73 20 lll));.......ps
0ff0: 7e 3d 20 6e 65 77 20 50 61 72 61 6d 65 74 65 72 ~= new Parameter
1000: 28 73 73 2e 64 61 74 61 2c 20 6c 73 29 3b 0d 0a (ss.data, ls);..
1010: 09 09 09 09 09 63 6f 6e 74 69 6e 75 65 3b 0d 0a .....continue;..
1020: 09 09 09 09 7d 0d 0a 09 09 09 09 65 6c 73 65 0d ....}......else.
1030: 0a 09 09 09 09 7b 0d 0a 09 09 09 09 09 4c 61 79 .....{.......Lay
1040: 65 72 5b 5d 20 65 6d 70 3b 0d 0a 09 09 09 09 09 er[] emp;.......
1050: 70 73 20 7e 3d 20 6e 65 77 20 50 61 72 61 6d 65 ps ~= new Parame
1060: 74 65 72 28 73 73 2e 64 61 74 61 2c 20 65 6d 70 ter(ss.data, emp
1070: 29 3b 0d 0a 09 09 09 09 09 63 6f 6e 74 69 6e 75 );.......continu
1080: 65 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 09 74 e;......}......t
1090: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
10a0: 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 74 meException(cast
10b0: 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c (LexPosition)nul
10c0: 6c 2c 20 73 70 72 69 6e 74 66 21 60 49 6e 76 61 l, sprintf!`Inva
10d0: 6c 69 64 20 41 53 54 20 7b 62 61 64 20 66 75 6e lid AST {bad fun
10e0: 20 70 61 72 61 6d 73 20 25 73 7d 60 28 76 29 29 params %s}`(v))
10f0: 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 61 75 74 6f ;.....}.....auto
1100: 20 62 62 20 3d 20 74 61 62 6c 65 54 6f 41 53 54 bb = tableToAST
1110: 28 74 68 65 4c 61 79 65 72 2c 20 62 29 3b 0d 0a (theLayer, b);..
1120: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 46 75 ...return new Fu
1130: 6e 28 70 6f 73 2c 70 73 2c 62 62 29 3b 0d 0a 09 n(pos,ps,bb);...
1140: 09 7d 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 .}....throw gene
1150: 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 x!RuntimeExcepti
1160: 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 74 on(cast(LexPosit
1170: 69 6f 6e 29 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c ion)null, `Inval
1180: 69 64 20 41 53 54 20 7b 69 73 3a 22 66 75 6e 22 id AST {is:"fun"
1190: 2c 20 70 61 72 61 6d 3a 3f 3f 3f 2c 20 62 6f 64 , param:???, bod
11a0: 79 3a 3f 3f 3f 7d 60 29 3b 0d 0a 09 64 65 66 61 y:???}`);...defa
11b0: 75 6c 74 3a 0d 0a 09 09 74 68 72 6f 77 20 67 65 ult:....throw ge
11c0: 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 nex!RuntimeExcep
11d0: 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 tion(cast(LexPos
11e0: 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 73 70 72 69 ition)null, spri
11f0: 6e 74 66 21 60 49 6e 76 61 6c 69 64 20 41 53 54 ntf!`Invalid AST
1200: 20 7b 69 73 3a 20 22 25 73 22 7d 20 75 6e 6b 6e {is: "%s"} unkn
1210: 6f 77 6e 60 28 6e 6f 64 65 54 79 70 65 2e 64 61 own`(nodeType.da
1220: 74 61 29 29 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a ta));...}..}....
1230: 2f 2f 2f 20 43 6f 6e 73 20 6f 66 20 74 77 6f 20 /// Cons of two
1240: 70 61 69 72 73 0d 0a 0d 0a 54 61 62 6c 65 20 6d pairs....Table m
1250: 61 6b 65 43 6f 6e 73 28 56 61 6c 75 65 20 61 2c akeCons(Value a,
1260: 20 56 61 6c 75 65 20 64 29 0d 0a 7b 0d 0a 09 54 Value d)..{...T
1270: 61 62 6c 65 20 74 20 3d 20 6e 65 77 20 54 61 62 able t = new Tab
1280: 6c 65 3b 0d 0a 09 74 2e 73 65 74 28 22 63 61 72 le;...t.set("car
1290: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 61 ", ValueLayer, a
12a0: 29 3b 0d 0a 09 74 2e 73 65 74 28 22 63 64 72 22 );...t.set("cdr"
12b0: 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 64 29 , ValueLayer, d)
12c0: 3b 0d 0a 09 72 65 74 75 72 6e 20 74 3b 0d 0a 7d ;...return t;..}
12d0: 0d 0a 0d 0a 2f 2f 2f 20 45 78 70 65 72 69 6d 65 ..../// Experime
12e0: 6e 74 61 6c 21 21 21 20 43 6f 6e 76 65 72 74 20 ntal!!! Convert
12f0: 44 20 76 61 6c 75 65 20 28 65 78 63 65 70 74 20 D value (except
1300: 41 53 54 29 20 74 6f 20 20 50 6f 6c 65 6d 79 20 AST) to Polemy
1310: 56 61 6c 75 65 0d 0a 0d 0a 56 61 6c 75 65 20 64 Value....Value d
1320: 32 70 6f 6c 65 6d 79 28 54 29 28 54 20 65 29 0d 2polemy(T)(T e).
1330: 0a 7b 0d 0a 09 72 65 74 75 72 6e 20 61 73 74 32 .{...return ast2
1340: 74 61 62 6c 65 28 65 2c 20 64 65 6c 65 67 61 74 table(e, delegat
1350: 65 20 56 61 6c 75 65 28 41 53 54 29 7b 20 61 73 e Value(AST){ as
1360: 73 65 72 74 28 66 61 6c 73 65 29 3b 20 7d 29 3b sert(false); });
1370: 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 43 6f 6e 76 65 ..}..../// Conve
1380: 72 74 20 41 53 54 20 74 6f 20 54 61 62 6c 65 20 rt AST to Table
1390: 73 6f 20 74 68 61 74 20 69 74 20 63 61 6e 20 62 so that it can b
13a0: 65 20 75 73 65 64 20 69 6e 20 50 6f 6c 65 6d 79 e used in Polemy
13b0: 0d 0a 0d 0a 56 61 6c 75 65 20 61 73 74 32 74 61 ....Value ast2ta
13c0: 62 6c 65 28 54 29 28 54 20 65 2c 20 56 61 6c 75 ble(T)(T e, Valu
13d0: 65 20 64 65 6c 65 67 61 74 65 28 41 53 54 29 20 e delegate(AST)
13e0: 72 65 63 29 0d 0a 7b 0d 0a 09 73 74 61 74 69 63 rec)..{...static
13f0: 20 69 66 28 69 73 28 54 3d 3d 42 69 67 49 6e 74 if(is(T==BigInt
1400: 29 20 7c 7c 20 69 73 49 6e 74 65 67 72 61 6c 21 ) || isIntegral!
1410: 28 54 29 29 0d 0a 09 09 72 65 74 75 72 6e 20 6e (T))....return n
1420: 65 77 20 49 6e 74 56 61 6c 75 65 28 65 29 3b 0d ew IntValue(e);.
1430: 0a 09 65 6c 73 65 0d 0a 09 73 74 61 74 69 63 20 ..else...static
1440: 69 66 28 69 73 28 55 6e 71 75 61 6c 21 28 54 29 if(is(Unqual!(T)
1450: 3d 3d 73 74 72 69 6e 67 29 29 0d 0a 09 09 72 65 ==string))....re
1460: 74 75 72 6e 20 6e 65 77 20 53 74 72 56 61 6c 75 turn new StrValu
1470: 65 28 65 29 3b 0d 0a 09 65 6c 73 65 0d 0a 09 73 e(e);...else...s
1480: 74 61 74 69 63 20 69 66 28 69 73 28 54 20 53 20 tatic if(is(T S
1490: 3a 20 53 5b 5d 29 29 0d 0a 09 7b 0d 0a 09 09 54 : S[]))...{....T
14a0: 61 62 6c 65 20 6c 73 74 20 3d 20 6e 65 77 20 54 able lst = new T
14b0: 61 62 6c 65 3b 0d 0a 09 09 66 6f 72 65 61 63 68 able;....foreach
14c0: 5f 72 65 76 65 72 73 65 28 61 3b 20 65 29 0d 0a _reverse(a; e)..
14d0: 09 09 09 73 74 61 74 69 63 20 69 66 28 69 73 28 ...static if(is(
14e0: 53 20 3a 20 41 53 54 29 29 0d 0a 09 09 09 09 6c S : AST))......l
14f0: 73 74 20 3d 20 6d 61 6b 65 43 6f 6e 73 28 72 65 st = makeCons(re
1500: 63 28 61 29 2c 20 6c 73 74 29 3b 0d 0a 09 09 09 c(a), lst);.....
1510: 65 6c 73 65 0d 0a 09 09 09 09 6c 73 74 20 3d 20 else......lst =
1520: 6d 61 6b 65 43 6f 6e 73 28 61 73 74 32 74 61 62 makeCons(ast2tab
1530: 6c 65 28 61 2c 72 65 63 29 2c 20 6c 73 74 29 3b le(a,rec), lst);
1540: 0d 0a 09 09 72 65 74 75 72 6e 20 6c 73 74 3b 0d ....return lst;.
1550: 0a 09 7d 0d 0a 09 65 6c 73 65 0d 0a 09 73 74 61 ..}...else...sta
1560: 74 69 63 20 69 66 28 69 73 28 54 20 3a 20 41 53 tic if(is(T : AS
1570: 54 29 29 0d 0a 09 7b 0d 0a 09 09 61 73 73 65 72 T))...{....asser
1580: 74 28 20 74 79 70 65 69 64 28 65 29 20 3d 3d 20 t( typeid(e) ==
1590: 74 79 70 65 69 64 28 54 29 2c 20 74 65 78 74 28 typeid(T), text(
15a0: 22 61 62 73 74 72 61 63 74 65 64 3a 20 22 2c 20 "abstracted: ",
15b0: 74 79 70 65 69 64 28 65 29 2c 20 22 20 76 73 20 typeid(e), " vs
15c0: 22 2c 20 74 79 70 65 69 64 28 54 29 29 20 29 3b ", typeid(T)) );
15d0: 0d 0a 09 09 61 75 74 6f 20 74 20 3d 20 6e 65 77 ....auto t = new
15e0: 20 54 61 62 6c 65 3b 0d 0a 09 09 74 2e 73 65 74 Table;....t.set
15f0: 28 22 70 6f 73 22 2c 20 56 61 6c 75 65 4c 61 79 ("pos", ValueLay
1600: 65 72 2c 20 61 73 74 32 74 61 62 6c 65 28 65 2e er, ast2table(e.
1610: 70 6f 73 2c 72 65 63 29 29 3b 0d 0a 09 09 74 2e pos,rec));....t.
1620: 73 65 74 28 22 69 73 22 20 2c 20 56 61 6c 75 65 set("is" , Value
1630: 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 72 56 61 Layer, new StrVa
1640: 6c 75 65 28 74 79 70 65 69 64 28 65 29 2e 6e 61 lue(typeid(e).na
1650: 6d 65 2e 73 70 6c 69 74 28 22 2e 22 29 5b 24 2d me.split(".")[$-
1660: 31 5d 2e 74 6f 6c 6f 77 65 72 28 29 29 29 3b 0d 1].tolower()));.
1670: 0a 09 09 66 6f 72 65 61 63 68 28 69 2c 6d 3b 20 ...foreach(i,m;
1680: 65 2e 74 75 70 6c 65 6f 66 29 0d 0a 09 09 09 73 e.tupleof).....s
1690: 74 61 74 69 63 20 69 66 28 69 73 28 74 79 70 65 tatic if(is(type
16a0: 6f 66 28 6d 29 20 3a 20 41 53 54 29 29 0d 0a 09 of(m) : AST))...
16b0: 09 09 09 74 2e 73 65 74 28 65 2e 74 75 70 6c 65 ...t.set(e.tuple
16c0: 6f 66 5b 69 5d 2e 73 74 72 69 6e 67 6f 66 5b 32 of[i].stringof[2
16d0: 2e 2e 24 5d 2c 20 56 61 6c 75 65 4c 61 79 65 72 ..$], ValueLayer
16e0: 2c 20 72 65 63 28 6d 29 29 3b 0d 0a 09 09 09 65 , rec(m));.....e
16f0: 6c 73 65 0d 0a 09 09 09 09 74 2e 73 65 74 28 65 lse......t.set(e
1700: 2e 74 75 70 6c 65 6f 66 5b 69 5d 2e 73 74 72 69 .tupleof[i].stri
1710: 6e 67 6f 66 5b 32 2e 2e 24 5d 2c 20 56 61 6c 75 ngof[2..$], Valu
1720: 65 4c 61 79 65 72 2c 20 61 73 74 32 74 61 62 6c eLayer, ast2tabl
1730: 65 28 6d 2c 72 65 63 29 29 3b 0d 0a 09 09 72 65 e(m,rec));....re
1740: 74 75 72 6e 20 74 3b 0d 0a 09 7d 0d 0a 09 65 6c turn t;...}...el
1750: 73 65 0d 0a 09 73 74 61 74 69 63 20 69 66 28 69 se...static if(i
1760: 73 28 54 20 3d 3d 20 63 6c 61 73 73 29 29 0d 0a s(T == class))..
1770: 09 7b 0d 0a 09 09 61 75 74 6f 20 74 20 3d 20 6e .{....auto t = n
1780: 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 66 6f 72 ew Table;....for
1790: 65 61 63 68 28 69 2c 6d 3b 20 65 2e 74 75 70 6c each(i,m; e.tupl
17a0: 65 6f 66 29 0d 0a 09 09 09 73 74 61 74 69 63 20 eof).....static
17b0: 69 66 28 69 73 28 74 79 70 65 6f 66 28 6d 29 20 if(is(typeof(m)
17c0: 3a 20 41 53 54 29 29 0d 0a 09 09 09 09 74 2e 73 : AST))......t.s
17d0: 65 74 28 65 2e 74 75 70 6c 65 6f 66 5b 69 5d 2e et(e.tupleof[i].
17e0: 73 74 72 69 6e 67 6f 66 5b 32 2e 2e 24 5d 2c 20 stringof[2..$],
17f0: 56 61 6c 75 65 4c 61 79 65 72 2c 20 72 65 63 28 ValueLayer, rec(
1800: 6d 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 m));.....else...
1810: 09 09 09 74 2e 73 65 74 28 65 2e 74 75 70 6c 65 ...t.set(e.tuple
1820: 6f 66 5b 69 5d 2e 73 74 72 69 6e 67 6f 66 5b 32 of[i].stringof[2
1830: 2e 2e 24 5d 2c 20 56 61 6c 75 65 4c 61 79 65 72 ..$], ValueLayer
1840: 2c 20 61 73 74 32 74 61 62 6c 65 28 6d 2c 72 65 , ast2table(m,re
1850: 63 29 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 74 c));....return t
1860: 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 65 0d 0a 09 09 ;...}...else....
1870: 73 74 61 74 69 63 20 61 73 73 65 72 74 28 66 61 static assert(fa
1880: 6c 73 65 2c 20 22 75 6e 6b 6e 6f 77 6e 20 74 79 lse, "unknown ty
1890: 70 65 20 3c 22 7e 54 2e 73 74 72 69 6e 67 6f 66 pe <"~T.stringof
18a0: 7e 22 3e 20 64 75 72 69 6e 67 20 41 53 54 20 65 ~"> during AST e
18b0: 6e 63 6f 64 69 6e 67 22 29 3b 0d 0a 7d 0d 0a ncoding");..}..