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 50 61 72 73 65 72 20 66 6f 72 *.. * Parser for
0060: 20 50 6f 6c 65 6d 79 20 70 72 6f 67 72 61 6d 6d Polemy programm
0070: 69 6e 67 20 6c 61 6e 67 75 61 67 65 0d 0a 20 2a ing language.. *
0080: 2f 0d 0a 6d 6f 64 75 6c 65 20 70 6f 6c 65 6d 79 /..module polemy
0090: 2e 70 61 72 73 65 3b 0d 0a 69 6d 70 6f 72 74 20 .parse;..import
00a0: 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f 6e 3b 0d polemy._common;.
00b0: 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 66 .import polemy.f
00c0: 61 69 6c 75 72 65 3b 0d 0a 69 6d 70 6f 72 74 20 ailure;..import
00d0: 70 6f 6c 65 6d 79 2e 6c 65 78 3b 0d 0a 69 6d 70 polemy.lex;..imp
00e0: 6f 72 74 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0d ort polemy.ast;.
00f0: 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 6c .import polemy.l
0100: 61 79 65 72 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f ayer;..import po
0110: 6c 65 6d 79 2e 66 72 65 73 68 3b 0a 0d 0a 2f 2f lemy.fresh;...//
0120: 2f 20 50 61 72 73 65 20 61 20 73 74 72 69 6e 67 / Parse a string
0130: 20 61 6e 64 20 72 65 74 75 72 6e 20 69 74 73 20 and return its
0140: 41 53 54 0d 0a 0d 0a 41 53 54 20 70 61 72 73 65 AST....AST parse
0150: 53 74 72 69 6e 67 28 53 2c 20 54 2e 2e 2e 29 28 String(S, T...)(
0160: 53 20 73 74 72 2c 20 54 20 66 6e 5f 6c 6e 5f 63 S str, T fn_ln_c
0170: 6e 29 0d 0a 7b 0d 0a 09 72 65 74 75 72 6e 20 70 n)..{...return p
0180: 61 72 73 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 arserFromString(
0190: 73 74 72 2c 20 66 6e 5f 6c 6e 5f 63 6e 29 2e 70 str, fn_ln_cn).p
01a0: 61 72 73 65 28 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f arse();..}....//
01b0: 2f 20 50 61 72 73 65 20 74 68 65 20 63 6f 6e 74 / Parse the cont
01c0: 65 6e 74 20 6f 66 20 61 20 66 69 6c 65 20 61 6e ent of a file an
01d0: 64 20 72 65 74 75 72 6e 20 69 74 73 20 41 53 54 d return its AST
01e0: 0d 0a 0d 0a 41 53 54 20 70 61 72 73 65 46 69 6c ....AST parseFil
01f0: 65 28 53 2c 20 54 2e 2e 2e 29 28 53 20 66 69 6c e(S, T...)(S fil
0200: 65 6e 61 6d 65 2c 20 54 20 6c 6e 5f 63 6e 29 0d ename, T ln_cn).
0210: 0a 7b 0d 0a 09 72 65 74 75 72 6e 20 70 61 72 73 .{...return pars
0220: 65 72 46 72 6f 6d 46 69 6c 65 28 66 69 6c 65 6e erFromFile(filen
0230: 61 6d 65 2c 20 6c 6e 5f 63 6e 29 2e 70 61 72 73 ame, ln_cn).pars
0240: 65 28 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 20 4e 61 e();..}....// Na
0250: 6d 65 64 20 43 6f 6e 73 74 72 75 63 74 6f 72 73 med Constructors
0260: 20 6f 66 20 50 61 72 73 65 72 0d 0a 0d 0a 70 72 of Parser....pr
0270: 69 76 61 74 65 20 61 75 74 6f 20 70 61 72 73 65 ivate auto parse
0280: 72 46 72 6f 6d 4c 65 78 65 72 28 4c 65 78 65 72 rFromLexer(Lexer
0290: 29 28 4c 65 78 65 72 20 6c 65 78 29 0d 0a 09 7b )(Lexer lex)...{
02a0: 20 72 65 74 75 72 6e 20 6e 65 77 20 50 61 72 73 return new Pars
02b0: 65 72 21 4c 65 78 65 72 28 6c 65 78 29 3b 20 7d er!Lexer(lex); }
02c0: 0d 0a 0d 0a 70 72 69 76 61 74 65 20 61 75 74 6f ....private auto
02d0: 20 70 61 72 73 65 72 46 72 6f 6d 53 74 72 69 6e parserFromStrin
02e0: 67 28 54 2e 2e 2e 29 28 54 20 70 61 72 61 6d 73 g(T...)(T params
02f0: 29 0d 0a 09 7b 20 72 65 74 75 72 6e 20 70 61 72 )...{ return par
0300: 73 65 72 46 72 6f 6d 4c 65 78 65 72 28 6c 65 78 serFromLexer(lex
0310: 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 70 61 72 erFromString(par
0320: 61 6d 73 29 29 3b 20 7d 0d 0a 0d 0a 70 72 69 76 ams)); }....priv
0330: 61 74 65 20 61 75 74 6f 20 70 61 72 73 65 72 46 ate auto parserF
0340: 72 6f 6d 46 69 6c 65 28 54 2e 2e 2e 29 28 54 20 romFile(T...)(T
0350: 70 61 72 61 6d 73 29 0d 0a 09 7b 20 72 65 74 75 params)...{ retu
0360: 72 6e 20 70 61 72 73 65 72 46 72 6f 6d 4c 65 78 rn parserFromLex
0370: 65 72 28 6c 65 78 65 72 46 72 6f 6d 46 69 6c 65 er(lexerFromFile
0380: 28 70 61 72 61 6d 73 29 29 3b 20 7d 0d 0a 0d 0a (params)); }....
0390: 2f 2f 20 50 61 72 73 65 72 0d 0a 0d 0a 70 72 69 // Parser....pri
03a0: 76 61 74 65 20 63 6c 61 73 73 20 50 61 72 73 65 vate class Parse
03b0: 72 28 4c 65 78 65 72 29 0d 0a 09 69 66 28 20 69 r(Lexer)...if( i
03c0: 73 46 6f 72 77 61 72 64 52 61 6e 67 65 21 28 4c sForwardRange!(L
03d0: 65 78 65 72 29 20 26 26 20 69 73 28 45 6c 65 6d exer) && is(Elem
03e0: 65 6e 74 54 79 70 65 21 28 4c 65 78 65 72 29 20 entType!(Lexer)
03f0: 3d 3d 20 54 6f 6b 65 6e 29 20 29 0d 0a 7b 0d 0a == Token) )..{..
0400: 09 41 53 54 20 70 61 72 73 65 28 29 0d 0a 09 7b .AST parse()...{
0410: 0d 0a 09 09 61 75 74 6f 20 65 20 3d 20 42 6f 64 ....auto e = Bod
0420: 79 28 29 3b 0d 0a 09 09 69 66 28 20 21 6c 65 78 y();....if( !lex
0430: 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 72 .empty ).....thr
0440: 6f 77 20 67 65 6e 65 78 21 50 61 72 73 65 45 78 ow genex!ParseEx
0450: 63 65 70 74 69 6f 6e 28 63 75 72 72 65 6e 74 50 ception(currentP
0460: 6f 73 69 74 69 6f 6e 28 29 2c 20 22 70 61 72 73 osition(), "pars
0470: 69 6e 67 20 65 6e 64 65 64 20 62 75 74 20 73 6f ing ended but so
0480: 6d 65 20 74 6f 6b 65 6e 73 20 6c 65 66 74 22 29 me tokens left")
0490: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 65 3b 0d 0a ;....return e;..
04a0: 09 7d 0d 0a 0d 0a 09 41 53 54 20 42 6f 64 79 28 .}.....AST Body(
04b0: 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 2f 20 42 6f 64 )...{..../// Bod
04c0: 79 20 3a 3a 3d 20 44 65 63 6c 61 72 61 74 69 6f y ::= Declaratio
04d0: 6e 0d 0a 09 09 2f 2f 2f 20 20 20 20 20 20 20 20 n....///
04e0: 7c 20 54 6f 70 4c 65 76 65 6c 45 78 70 72 65 73 | TopLevelExpres
04f0: 73 69 6f 6e 0d 0a 0d 0a 09 09 69 66 28 20 63 6c sion......if( cl
0500: 6f 73 69 6e 67 42 72 61 63 6b 65 74 28 29 20 29 osingBracket() )
0510: 0d 0a 09 09 09 72 65 74 75 72 6e 20 64 6f 4e 6f .....return doNo
0520: 74 68 69 6e 67 45 78 70 72 65 73 73 69 6f 6e 28 thingExpression(
0530: 29 3b 0d 0a 0d 0a 09 09 61 75 74 6f 20 73 61 76 );......auto sav
0540: 65 64 20 3d 20 6c 65 78 2e 73 61 76 65 3b 0d 0a ed = lex.save;..
0550: 09 09 69 66 28 20 61 75 74 6f 20 65 20 3d 20 44 ..if( auto e = D
0560: 65 63 6c 61 72 61 74 69 6f 6e 28 29 20 29 0d 0a eclaration() )..
0570: 09 09 09 72 65 74 75 72 6e 20 65 3b 0d 0a 09 09 ...return e;....
0580: 6c 65 78 20 3d 20 73 61 76 65 64 3b 0d 0a 09 09 lex = saved;....
0590: 72 65 74 75 72 6e 20 54 6f 70 4c 65 76 65 6c 45 return TopLevelE
05a0: 78 70 72 65 73 73 69 6f 6e 28 29 3b 0d 0a 09 7d xpression();...}
05b0: 0d 0a 0d 0a 09 41 53 54 20 44 65 63 6c 61 72 61 .....AST Declara
05c0: 74 69 6f 6e 28 29 20 2f 2f 20 72 65 74 75 72 6e tion() // return
05d0: 73 20 6e 75 6c 6c 20 69 66 20 69 74 20 69 73 20 s null if it is
05e0: 6e 6f 74 20 61 20 64 65 63 6c 61 72 61 74 69 6f not a declaratio
05f0: 6e 0d 0a 09 7b 0d 0a 09 09 2f 2f 2f 20 44 65 63 n...{..../// Dec
0600: 6c 61 72 61 74 69 6f 6e 20 3a 3a 3d 0d 0a 09 09 laration ::=....
0610: 2f 2f 2f 20 20 20 20 5b 22 40 22 20 4c 61 79 65 /// ["@" Laye
0620: 72 7c 22 6c 65 74 22 7c 22 76 61 72 22 7c 22 64 r|"let"|"var"|"d
0630: 65 66 22 5d 20 56 61 72 20 22 3d 22 20 45 78 70 ef"] Var "=" Exp
0640: 72 65 73 73 69 6f 6e 20 28 5b 22 3b 22 7c 22 69 ression ([";"|"i
0650: 6e 22 5d 20 42 6f 64 79 3f 29 3f 0d 0a 09 09 2f n"] Body?)?..../
0660: 2f 2f 20 20 7c 20 5b 22 40 22 20 4c 61 79 65 72 // | ["@" Layer
0670: 7c 22 6c 65 74 22 7c 22 76 61 72 22 7c 22 64 65 |"let"|"var"|"de
0680: 66 22 5d 20 56 61 72 20 22 28 22 20 50 61 72 61 f"] Var "(" Para
0690: 6d 25 22 2c 22 20 22 29 22 20 22 7b 22 20 42 6f m%"," ")" "{" Bo
06a0: 64 79 20 22 7d 22 20 28 5b 22 3b 22 7c 22 69 6e dy "}" ([";"|"in
06b0: 22 5d 20 42 6f 64 79 3f 29 3f 0d 0a 09 09 2f 2f "] Body?)?....//
06c0: 2f 20 20 7c 20 5b 22 40 22 20 22 40 22 20 4c 61 / | ["@" "@" La
06d0: 79 65 72 20 22 3d 22 20 45 78 70 72 65 73 73 69 yer "=" Expressi
06e0: 6f 6e 20 28 5b 22 3b 22 7c 22 69 6e 22 5d 20 42 on ([";"|"in"] B
06f0: 6f 64 79 3f 29 3f 0d 0a 09 09 2f 2f 2f 20 20 7c ody?)?..../// |
0700: 20 5b 22 40 22 20 22 40 22 20 4c 61 79 65 72 20 ["@" "@" Layer
0710: 22 28 22 20 50 61 72 61 6d 25 22 2c 22 20 22 29 "(" Param%"," ")
0720: 22 20 22 7b 22 20 42 6f 64 79 20 22 7d 22 20 28 " "{" Body "}" (
0730: 5b 22 3b 22 7c 22 69 6e 22 5d 20 42 6f 64 79 3f [";"|"in"] Body?
0740: 29 3f 0d 0a 0d 0a 09 09 61 75 74 6f 20 70 6f 73 )?......auto pos
0750: 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 = currentPositi
0760: 6f 6e 28 29 3b 0d 0a 09 09 4c 61 79 65 72 20 6c on();....Layer l
0770: 61 79 65 72 20 3d 20 22 22 3b 0d 0a 09 09 62 6f ayer = "";....bo
0780: 6f 6c 20 6c 61 79 65 72 4c 69 66 74 44 65 63 6c ol layerLiftDecl
0790: 20 3d 20 66 61 6c 73 65 3b 0d 0a 0d 0a 09 09 69 = false;......i
07a0: 66 28 20 74 72 79 45 61 74 28 22 40 22 29 20 29 f( tryEat("@") )
07b0: 0d 0a 09 09 7b 0d 0a 09 09 09 6c 61 79 65 72 20 ....{.....layer
07c0: 3d 20 22 40 22 20 7e 20 65 61 74 49 64 28 22 61 = "@" ~ eatId("a
07d0: 66 74 65 72 20 40 22 2c 20 41 6c 6c 6f 77 51 75 fter @", AllowQu
07e0: 6f 74 65 64 29 3b 0d 0a 09 09 09 69 66 28 20 6c oted);.....if( l
07f0: 61 79 65 72 20 3d 3d 20 22 40 40 22 20 29 0d 0a ayer == "@@" )..
0800: 09 09 09 7b 0d 0a 09 09 09 09 6c 61 79 65 72 20 ...{......layer
0810: 3d 20 22 40 22 20 7e 20 65 61 74 49 64 28 22 61 = "@" ~ eatId("a
0820: 66 74 65 72 20 40 40 22 2c 20 41 6c 6c 6f 77 51 fter @@", AllowQ
0830: 75 6f 74 65 64 29 3b 0d 0a 09 09 09 09 6c 61 79 uoted);......lay
0840: 65 72 4c 69 66 74 44 65 63 6c 20 3d 20 74 72 75 erLiftDecl = tru
0850: 65 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 65 6c 73 e;.....}.....els
0860: 65 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 69 66 28 e.....{......if(
0870: 20 74 72 79 45 61 74 28 22 28 22 29 20 29 0d 0a tryEat("(") )..
0880: 09 09 09 09 09 72 65 74 75 72 6e 20 6e 75 6c 6c .....return null
0890: 3b 20 2f 2f 20 40 6c 61 79 28 2e 2e 2e 29 20 65 ; // @lay(...) e
08a0: 78 70 72 65 73 73 69 6f 6e 2c 20 6e 6f 74 20 61 xpression, not a
08b0: 20 64 65 63 6c 61 72 61 74 69 6f 6e 0d 0a 09 09 declaration....
08c0: 09 7d 0d 0a 09 09 7d 0d 0a 0d 0a 09 09 2f 2f 20 .}....}......//
08d0: 5b 54 4f 44 4f 5d 20 52 65 66 61 63 74 6f 72 0d [TODO] Refactor.
08e0: 0a 09 09 69 66 28 20 6c 61 79 65 72 4c 69 66 74 ...if( layerLift
08f0: 44 65 63 6c 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 Decl )....{.....
0900: 73 74 72 69 6e 67 20 6b 77 64 20 3d 20 22 40 22 string kwd = "@"
0910: 20 7e 20 6c 61 79 65 72 3b 0d 0a 09 09 09 73 74 ~ layer;.....st
0920: 72 69 6e 67 20 76 61 72 20 3d 20 6c 61 79 65 72 ring var = layer
0930: 3b 0d 0a 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d ;.......auto e =
0940: 20 74 72 79 45 61 74 28 22 28 22 29 0d 0a 09 09 tryEat("(")....
0950: 09 09 3f 20 70 61 72 73 65 4c 61 6d 62 64 61 41 ..? parseLambdaA
0960: 66 74 65 72 4f 70 65 6e 50 61 72 65 6e 28 70 6f fterOpenParen(po
0970: 73 29 20 20 2f 2f 20 6c 65 74 20 76 61 72 20 28 s) // let var (
0980: 20 2e 2e 2e 0d 0a 09 09 09 09 3a 20 28 65 61 74 .........: (eat
0990: 28 22 3d 22 2c 20 22 61 66 74 65 72 20 22 7e 6b ("=", "after "~k
09a0: 77 64 29 2c 20 45 28 30 29 29 3b 20 2f 2f 20 6c wd), E(0)); // l
09b0: 65 74 20 76 61 72 20 3d 20 2e 2e 2e 0d 0a 09 09 et var = .......
09c0: 09 69 66 28 20 6d 6f 72 65 44 65 63 6c 61 72 61 .if( moreDeclara
09d0: 74 69 6f 6e 45 78 69 73 74 73 28 29 20 29 0d 0a tionExists() )..
09e0: 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c ....return new L
09f0: 65 74 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 etExpression(pos
0a00: 2c 20 76 61 72 2c 20 53 79 73 74 65 6d 4c 61 79 , var, SystemLay
0a10: 65 72 2c 20 65 2c 20 42 6f 64 79 28 29 29 3b 0d er, e, Body());.
0a20: 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 72 65 ....else......re
0a30: 74 75 72 6e 20 6e 65 77 20 4c 65 74 45 78 70 72 turn new LetExpr
0a40: 65 73 73 69 6f 6e 28 70 6f 73 2c 20 76 61 72 2c ession(pos, var,
0a50: 20 53 79 73 74 65 6d 4c 61 79 65 72 2c 20 65 2c SystemLayer, e,
0a60: 0d 0a 09 09 09 09 09 6e 65 77 20 4c 61 79 45 78 .......new LayEx
0a70: 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 53 79 pression(pos, Sy
0a80: 73 74 65 6d 4c 61 79 65 72 2c 20 6e 65 77 20 56 stemLayer, new V
0a90: 61 72 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 arExpression(pos
0aa0: 2c 20 76 61 72 29 29 0d 0a 09 09 09 09 29 3b 0d , var))......);.
0ab0: 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 ...}....else....
0ac0: 7b 0d 0a 09 09 09 73 74 72 69 6e 67 20 6b 77 64 {.....string kwd
0ad0: 20 3d 20 6c 61 79 65 72 3b 0d 0a 09 09 09 69 66 = layer;.....if
0ae0: 28 20 6c 61 79 65 72 2e 65 6d 70 74 79 20 26 26 ( layer.empty &&
0af0: 20 21 74 72 79 45 61 74 28 6b 77 64 3d 22 6c 65 !tryEat(kwd="le
0b00: 74 22 29 20 26 26 20 21 74 72 79 45 61 74 28 6b t") && !tryEat(k
0b10: 77 64 3d 22 76 61 72 22 29 20 26 26 20 21 74 72 wd="var") && !tr
0b20: 79 45 61 74 28 6b 77 64 3d 22 64 65 66 22 29 20 yEat(kwd="def")
0b30: 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 6e 75 )......return nu
0b40: 6c 6c 3b 20 2f 2f 20 6e 6f 6e 65 20 6f 66 20 7b ll; // none of {
0b50: 40 6c 61 79 2c 20 6c 65 74 2c 20 76 61 72 2c 20 @lay, let, var,
0b60: 64 65 66 7d 20 6f 63 63 75 72 72 65 64 2c 20 69 def} occurred, i
0b70: 74 27 73 20 6e 6f 74 20 61 20 64 65 63 6c 61 72 t's not a declar
0b80: 61 74 69 6f 6e 0d 0a 0d 0a 09 09 09 61 75 74 6f ation.......auto
0b90: 20 76 61 72 70 6f 73 20 3d 20 63 75 72 72 65 6e varpos = curren
0ba0: 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 tPosition();....
0bb0: 09 73 74 72 69 6e 67 20 76 61 72 20 3d 20 65 61 .string var = ea
0bc0: 74 49 64 28 22 61 66 74 65 72 20 22 7e 6b 77 64 tId("after "~kwd
0bd0: 2c 20 41 6c 6c 6f 77 51 75 6f 74 65 64 29 3b 20 , AllowQuoted);
0be0: 2f 2f 20 6e 61 6d 65 20 6f 66 20 74 68 65 20 64 // name of the d
0bf0: 65 63 6c 61 72 65 64 20 76 61 72 69 61 62 6c 65 eclared variable
0c00: 0d 0a 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 .......auto e =
0c10: 74 72 79 45 61 74 28 22 28 22 29 0d 0a 09 09 09 tryEat("(").....
0c20: 09 3f 20 70 61 72 73 65 4c 61 6d 62 64 61 41 66 .? parseLambdaAf
0c30: 74 65 72 4f 70 65 6e 50 61 72 65 6e 28 76 61 72 terOpenParen(var
0c40: 70 6f 73 29 20 20 2f 2f 20 6c 65 74 20 76 61 72 pos) // let var
0c50: 20 28 20 2e 2e 2e 0d 0a 09 09 09 09 3a 20 28 65 ( .........: (e
0c60: 61 74 28 22 3d 22 2c 20 22 61 66 74 65 72 20 22 at("=", "after "
0c70: 7e 6b 77 64 29 2c 20 45 28 30 29 29 3b 20 20 20 ~kwd), E(0));
0c80: 20 2f 2f 20 6c 65 74 20 76 61 72 20 3d 20 2e 2e // let var = ..
0c90: 2e 0d 0a 09 09 09 69 66 28 20 6d 6f 72 65 44 65 ......if( moreDe
0ca0: 63 6c 61 72 61 74 69 6f 6e 45 78 69 73 74 73 28 clarationExists(
0cb0: 29 20 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 ) )......return
0cc0: 6e 65 77 20 4c 65 74 45 78 70 72 65 73 73 69 6f new LetExpressio
0cd0: 6e 28 70 6f 73 2c 20 76 61 72 2c 20 6c 61 79 65 n(pos, var, laye
0ce0: 72 2c 20 65 2c 20 42 6f 64 79 28 29 29 3b 0d 0a r, e, Body());..
0cf0: 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 72 65 74 ...else......ret
0d00: 75 72 6e 20 6e 65 77 20 4c 65 74 45 78 70 72 65 urn new LetExpre
0d10: 73 73 69 6f 6e 28 70 6f 73 2c 20 76 61 72 2c 20 ssion(pos, var,
0d20: 6c 61 79 65 72 2c 20 65 2c 20 6e 65 77 20 56 61 layer, e, new Va
0d30: 72 45 78 70 72 65 73 73 69 6f 6e 28 76 61 72 70 rExpression(varp
0d40: 6f 73 2c 20 76 61 72 29 29 3b 0d 0a 09 09 7d 0d os, var));....}.
0d50: 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 54 6f 70 4c ..}.....AST TopL
0d60: 65 76 65 6c 45 78 70 72 65 73 73 69 6f 6e 28 29 evelExpression()
0d70: 0d 0a 09 7b 0d 0a 09 09 2f 2f 2f 20 54 6f 70 4c ...{..../// TopL
0d80: 65 76 65 6c 45 78 70 72 65 73 73 69 6f 6e 20 3a evelExpression :
0d90: 3a 3d 20 45 78 70 72 65 73 73 69 6f 6e 20 28 5b := Expression ([
0da0: 22 3b 22 7c 22 69 6e 22 5d 20 42 6f 64 79 3f 29 ";"|"in"] Body?)
0db0: 3f 0d 0a 0d 0a 09 09 61 75 74 6f 20 70 6f 73 20 ?......auto pos
0dc0: 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f = currentPositio
0dd0: 6e 28 29 3b 0d 0a 09 09 61 75 74 6f 20 65 20 3d n();....auto e =
0de0: 20 45 28 30 29 3b 0d 0a 09 09 69 66 28 20 6d 6f E(0);....if( mo
0df0: 72 65 44 65 63 6c 61 72 61 74 69 6f 6e 45 78 69 reDeclarationExi
0e00: 73 74 73 28 29 20 29 0d 0a 09 09 09 72 65 74 75 sts() ).....retu
0e10: 72 6e 20 6e 65 77 20 4c 65 74 45 78 70 72 65 73 rn new LetExpres
0e20: 73 69 6f 6e 28 70 6f 73 2c 20 22 5f 22 2c 20 22 sion(pos, "_", "
0e30: 22 2c 20 65 2c 20 42 6f 64 79 28 29 29 3b 0d 0a ", e, Body());..
0e40: 09 09 65 6c 73 65 0d 0a 09 09 09 72 65 74 75 72 ..else.....retur
0e50: 6e 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 70 72 69 n e;...}.....pri
0e60: 76 61 74 65 20 62 6f 6f 6c 20 6d 6f 72 65 44 65 vate bool moreDe
0e70: 63 6c 61 72 61 74 69 6f 6e 45 78 69 73 74 73 28 clarationExists(
0e80: 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 )...{....return
0e90: 28 74 72 79 45 61 74 28 22 3b 22 29 20 7c 7c 20 (tryEat(";") ||
0ea0: 74 72 79 45 61 74 28 22 69 6e 22 29 29 20 26 26 tryEat("in")) &&
0eb0: 20 21 63 6c 6f 73 69 6e 67 42 72 61 63 6b 65 74 !closingBracket
0ec0: 28 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 70 72 69 76 ();...}.....priv
0ed0: 61 74 65 20 62 6f 6f 6c 20 63 6c 6f 73 69 6e 67 ate bool closing
0ee0: 42 72 61 63 6b 65 74 28 29 0d 0a 09 7b 0d 0a 09 Bracket()...{...
0ef0: 09 72 65 74 75 72 6e 20 6c 65 78 2e 65 6d 70 74 .return lex.empt
0f00: 79 20 7c 7c 20 21 6c 65 78 2e 66 72 6f 6e 74 2e y || !lex.front.
0f10: 71 75 6f 74 65 64 20 26 26 20 5b 22 7d 22 2c 22 quoted && ["}","
0f20: 29 22 2c 22 5d 22 2c 22 2c 22 5d 2e 63 61 6e 46 )","]",","].canF
0f30: 69 6e 64 28 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 ind(lex.front.st
0f40: 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 20 5b r);...}.....// [
0f50: 54 4f 44 4f 5d 20 6d 61 6b 65 20 74 68 69 73 20 TODO] make this
0f60: 63 75 73 74 6f 6d 69 7a 61 62 6c 65 20 66 72 6f customizable fro
0f70: 6d 20 70 72 6f 67 72 61 6d 0d 0a 09 70 72 69 76 m program...priv
0f80: 61 74 65 20 73 74 61 74 69 63 20 73 74 72 69 6e ate static strin
0f90: 67 5b 5d 5b 5d 20 6f 70 65 72 61 74 6f 72 5f 70 g[][] operator_p
0fa0: 65 72 66 65 72 65 6e 63 65 73 20 3d 20 5b 0d 0a erferences = [..
0fb0: 09 09 5b 22 7c 7c 22 5d 2c 0d 0a 09 09 5b 22 26 ..["||"],....["&
0fc0: 26 22 5d 2c 0d 0a 09 09 5b 22 21 3d 22 5d 2c 0d &"],....["!="],.
0fd0: 0a 09 09 5b 22 3d 3d 22 5d 2c 0d 0a 09 09 5b 22 ...["=="],....["
0fe0: 3c 22 2c 22 3c 3d 22 2c 22 3e 22 2c 22 3e 3d 22 <","<=",">",">="
0ff0: 5d 2c 0d 0a 09 09 5b 22 7c 22 5d 2c 0d 0a 09 09 ],....["|"],....
1000: 5b 22 5e 22 5d 2c 0d 0a 09 09 5b 22 26 22 5d 2c ["^"],....["&"],
1010: 0d 0a 09 09 5b 22 3c 3c 22 2c 20 22 3e 3e 22 5d ....["<<", ">>"]
1020: 2c 0d 0a 09 09 5b 22 2b 22 2c 22 2d 22 5d 2c 0d ,....["+","-"],.
1030: 0a 09 09 5b 22 7e 22 5d 2c 0d 0a 09 09 5b 22 2a ...["~"],....["*
1040: 22 2c 22 2f 22 2c 22 25 22 5d 2c 0d 0a 09 09 5b ","/","%"],....[
1050: 22 5e 5e 22 2c 22 2a 2a 22 5d 2c 0d 0a 09 09 5b "^^","**"],....[
1060: 22 2e 22 2c 22 2e 3f 22 5d 0d 0a 09 5d 3b 0d 0a ".",".?"]...];..
1070: 0d 0a 09 41 53 54 20 45 28 73 69 7a 65 5f 74 20 ...AST E(size_t
1080: 6c 65 76 65 6c 29 0d 0a 09 7b 0d 0a 09 09 2f 2f level)...{....//
1090: 2f 20 45 78 70 72 65 73 73 69 6f 6e 20 3a 3a 3d / Expression ::=
10a0: 20 28 42 69 6e 61 72 79 20 6c 65 66 74 2d 61 73 (Binary left-as
10b0: 73 6f 63 69 61 74 69 76 65 20 6f 70 65 72 61 74 sociative operat
10c0: 6f 72 73 20 6f 76 65 72 29 20 46 75 6e 63 61 6c ors over) Funcal
10d0: 6c 0d 0a 0d 0a 09 09 41 53 54 20 72 65 63 28 41 l......AST rec(A
10e0: 53 54 20 6c 68 73 29 0d 0a 09 09 7b 0d 0a 09 09 ST lhs)....{....
10f0: 09 69 66 28 20 63 6c 6f 73 69 6e 67 42 72 61 63 .if( closingBrac
1100: 6b 65 74 28 29 20 29 0d 0a 09 09 09 09 72 65 74 ket() )......ret
1110: 75 72 6e 20 6c 68 73 3b 0d 0a 0d 0a 09 09 09 61 urn lhs;.......a
1120: 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e uto pos = curren
1130: 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 tPosition();....
1140: 09 66 6f 72 65 61 63 68 28 6f 70 3b 20 6f 70 65 .foreach(op; ope
1150: 72 61 74 6f 72 5f 70 65 72 66 65 72 65 6e 63 65 rator_perference
1160: 73 5b 6c 65 76 65 6c 5d 29 0d 0a 09 09 09 09 69 s[level])......i
1170: 66 28 20 74 72 79 45 61 74 28 6f 70 29 20 29 0d f( tryEat(op) ).
1180: 0a 09 09 09 09 09 69 66 28 20 6f 70 5b 30 5d 3d ......if( op[0]=
1190: 3d 27 2e 27 20 29 0d 0a 09 09 09 09 09 09 72 65 ='.' )........re
11a0: 74 75 72 6e 20 72 65 63 28 0d 0a 09 09 09 09 09 turn rec(.......
11b0: 09 09 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 ..new FuncallExp
11c0: 72 65 73 73 69 6f 6e 28 6c 68 73 2e 70 6f 73 2c ression(lhs.pos,
11d0: 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 new VarExpressi
11e0: 6f 6e 28 70 6f 73 2c 20 6f 70 29 2c 20 6c 68 73 on(pos, op), lhs
11f0: 2c 20 70 61 72 73 65 49 64 28 29 29 29 3b 0d 0a , parseId()));..
1200: 09 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 .....else.......
1210: 72 65 74 75 72 6e 20 72 65 63 28 0d 0a 09 09 09 return rec(.....
1220: 09 09 09 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 ...new FuncallEx
1230: 70 72 65 73 73 69 6f 6e 28 6c 68 73 2e 70 6f 73 pression(lhs.pos
1240: 2c 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 , new VarExpress
1250: 69 6f 6e 28 70 6f 73 2c 20 6f 70 29 2c 20 6c 68 ion(pos, op), lh
1260: 73 2c 20 45 28 6c 65 76 65 6c 2b 31 29 29 29 3b s, E(level+1)));
1270: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6c 68 73 3b .....return lhs;
1280: 0d 0a 09 09 7d 0d 0a 0d 0a 09 09 69 66 28 20 6f ....}......if( o
1290: 70 65 72 61 74 6f 72 5f 70 65 72 66 65 72 65 6e perator_perferen
12a0: 63 65 73 2e 6c 65 6e 67 74 68 20 3c 3d 20 6c 65 ces.length <= le
12b0: 76 65 6c 20 29 0d 0a 09 09 09 72 65 74 75 72 6e vel ).....return
12c0: 20 46 75 6e 63 61 6c 6c 28 29 3b 0d 0a 09 09 65 Funcall();....e
12d0: 6c 73 65 0d 0a 09 09 09 72 65 74 75 72 6e 20 72 lse.....return r
12e0: 65 63 28 45 28 6c 65 76 65 6c 2b 31 29 29 3b 0d ec(E(level+1));.
12f0: 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 46 75 6e 63 ..}.....AST Func
1300: 61 6c 6c 28 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 2f all()...{....///
1310: 20 46 75 6e 63 61 6c 6c 20 3a 3a 3d 20 42 61 73 Funcall ::= Bas
1320: 65 45 78 70 72 65 73 73 69 6f 6e 20 5b 22 28 22 eExpression ["("
1330: 20 45 78 70 72 65 73 73 69 6f 6e 25 22 2c 22 20 Expression%","
1340: 22 29 22 5d 2a 0d 0a 0d 0a 09 09 61 75 74 6f 20 ")"]*......auto
1350: 65 20 3d 20 42 61 73 65 45 78 70 72 65 73 73 69 e = BaseExpressi
1360: 6f 6e 28 29 3b 0d 0a 09 09 66 6f 72 28 3b 3b 29 on();....for(;;)
1370: 0d 0a 09 09 09 69 66 28 20 74 72 79 45 61 74 28 .....if( tryEat(
1380: 22 28 22 29 20 29 0d 0a 09 09 09 7b 0d 0a 09 09 "(") ).....{....
1390: 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 ..auto pos = cur
13a0: 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d rentPosition();.
13b0: 0a 09 09 09 09 41 53 54 5b 5d 20 61 72 67 73 3b .....AST[] args;
13c0: 0d 0a 09 09 09 09 77 68 69 6c 65 28 20 21 74 72 ......while( !tr
13d0: 79 45 61 74 28 22 29 22 29 20 29 20 7b 0d 0a 09 yEat(")") ) {...
13e0: 09 09 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 ....if( lex.empt
13f0: 79 20 29 0d 0a 09 09 09 09 09 09 74 68 72 6f 77 y )........throw
1400: 20 67 65 6e 65 78 21 55 6e 65 78 70 65 63 74 65 genex!Unexpecte
1410: 64 45 4f 46 28 70 6f 73 2c 20 22 63 6c 6f 73 69 dEOF(pos, "closi
1420: 6e 67 20 27 29 27 20 66 6f 72 20 61 72 67 75 6d ng ')' for argum
1430: 65 6e 74 73 20 6e 6f 74 20 66 6f 75 6e 64 22 29 ents not found")
1440: 3b 0d 0a 09 09 09 09 09 61 72 67 73 20 7e 3d 20 ;.......args ~=
1450: 45 28 30 29 3b 0d 0a 09 09 09 09 09 69 66 28 20 E(0);.......if(
1460: 21 74 72 79 45 61 74 28 22 2c 22 29 20 29 20 7b !tryEat(",") ) {
1470: 0d 0a 09 09 09 09 09 09 65 61 74 28 22 29 22 2c ........eat(")",
1480: 20 22 61 66 74 65 72 20 66 75 6e 63 74 69 6f 6e "after function
1490: 20 70 61 72 61 6d 65 74 65 72 73 22 29 3b 0d 0a parameters");..
14a0: 09 09 09 09 09 09 62 72 65 61 6b 3b 0d 0a 09 09 ......break;....
14b0: 09 09 09 7d 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 ...}......}.....
14c0: 09 65 20 3d 20 6e 65 77 20 46 75 6e 63 61 6c 6c .e = new Funcall
14d0: 45 78 70 72 65 73 73 69 6f 6e 28 65 2e 70 6f 73 Expression(e.pos
14e0: 2c 20 65 2c 20 61 72 67 73 29 3b 0d 0a 09 09 09 , e, args);.....
14f0: 7d 0d 0a 09 09 09 65 6c 73 65 20 69 66 28 20 74 }.....else if( t
1500: 72 79 45 61 74 28 22 7b 22 29 20 29 0d 0a 09 09 ryEat("{") )....
1510: 09 7b 0d 0a 09 09 09 09 65 20 3d 20 70 61 72 73 .{......e = pars
1520: 65 54 61 62 6c 65 53 65 74 41 66 74 65 72 42 72 eTableSetAfterBr
1530: 61 63 65 28 65 29 3b 0d 0a 09 09 09 7d 0d 0a 09 ace(e);.....}...
1540: 09 09 65 6c 73 65 0d 0a 09 09 09 09 62 72 65 61 ..else......brea
1550: 6b 3b 0d 0a 09 09 72 65 74 75 72 6e 20 65 3b 0d k;....return e;.
1560: 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 70 61 72 73 ..}.....AST pars
1570: 65 54 61 62 6c 65 53 65 74 41 66 74 65 72 42 72 eTableSetAfterBr
1580: 61 63 65 28 41 53 54 20 65 29 0d 0a 09 7b 0d 0a ace(AST e)...{..
1590: 09 09 69 66 28 20 74 72 79 45 61 74 28 22 7d 22 ..if( tryEat("}"
15a0: 29 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 ) ).....return e
15b0: 3b 0d 0a 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 ;....auto pos =
15c0: 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 currentPosition(
15d0: 29 3b 0d 0a 09 09 66 6f 72 28 3b 3b 29 0d 0a 09 );....for(;;)...
15e0: 09 7b 0d 0a 09 09 09 73 74 72 69 6e 67 20 6b 65 .{.....string ke
15f0: 79 20 3d 20 65 61 74 49 64 28 22 66 6f 72 20 74 y = eatId("for t
1600: 61 62 6c 65 20 6b 65 79 22 2c 20 41 6c 6c 6f 77 able key", Allow
1610: 51 75 6f 74 65 64 29 3b 0d 0a 09 09 09 65 61 74 Quoted);.....eat
1620: 28 22 3a 22 2c 20 22 61 66 74 65 72 20 74 61 62 (":", "after tab
1630: 6c 65 20 6b 65 79 22 29 3b 0d 0a 09 09 09 41 53 le key");.....AS
1640: 54 20 76 61 6c 20 3d 20 45 28 30 29 3b 0d 0a 09 T val = E(0);...
1650: 09 09 65 20 3d 20 6e 65 77 20 46 75 6e 63 61 6c ..e = new Funcal
1660: 6c 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c lExpression(pos,
1670: 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 new VarExpressi
1680: 6f 6e 28 70 6f 73 2c 22 2e 3d 22 29 2c 0d 0a 09 on(pos,".="),...
1690: 09 09 09 09 65 2c 20 6e 65 77 20 53 74 72 4c 69 ....e, new StrLi
16a0: 74 65 72 61 6c 28 70 6f 73 2c 6b 65 79 29 2c 20 teral(pos,key),
16b0: 76 61 6c 29 3b 0d 0a 09 09 09 69 66 28 20 21 74 val);.....if( !t
16c0: 72 79 45 61 74 28 22 2c 22 29 20 29 0d 0a 09 09 ryEat(",") )....
16d0: 09 7b 0d 0a 09 09 09 09 65 61 74 28 22 7d 22 2c .{......eat("}",
16e0: 20 22 66 6f 72 20 74 68 65 20 65 6e 64 20 6f 66 "for the end of
16f0: 20 74 61 62 6c 65 20 6c 69 74 65 72 61 6c 22 29 table literal")
1700: 3b 0d 0a 09 09 09 09 62 72 65 61 6b 3b 0d 0a 09 ;......break;...
1710: 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 ..}....}....retu
1720: 72 6e 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 rn e;...}.....AS
1730: 54 20 42 61 73 65 45 78 70 72 65 73 73 69 6f 6e T BaseExpression
1740: 28 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 ()...{....if( le
1750: 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 x.empty ).....th
1760: 72 6f 77 20 67 65 6e 65 78 21 55 6e 65 78 70 65 row genex!Unexpe
1770: 63 74 65 64 45 4f 46 28 63 75 72 72 65 6e 74 50 ctedEOF(currentP
1780: 6f 73 69 74 69 6f 6e 28 29 2c 20 22 52 65 61 63 osition(), "Reac
1790: 68 65 64 20 45 4f 46 20 77 68 65 6e 20 74 72 69 hed EOF when tri
17a0: 65 64 20 74 6f 20 70 61 72 73 65 20 61 6e 20 65 ed to parse an e
17b0: 78 70 72 65 73 73 69 6f 6e 22 29 3b 0d 0a 0d 0a xpression");....
17c0: 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 6c 65 78 ..auto pos = lex
17d0: 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d 0a 09 09 69 .front.pos;....i
17e0: 66 28 20 6c 65 78 2e 66 72 6f 6e 74 2e 71 75 6f f( lex.front.quo
17f0: 74 65 64 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 73 ted )....{.....s
1800: 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 cope(exit) lex.p
1810: 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 09 72 65 74 opFront;.....ret
1820: 75 72 6e 20 6e 65 77 20 53 74 72 4c 69 74 65 72 urn new StrLiter
1830: 61 6c 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f 6e al(pos, lex.fron
1840: 74 2e 73 74 72 29 3b 0d 0a 09 09 7d 0d 0a 09 09 t.str);....}....
1850: 69 66 28 20 69 73 4e 75 6d 62 65 72 28 6c 65 78 if( isNumber(lex
1860: 2e 66 72 6f 6e 74 2e 73 74 72 29 20 29 0d 0a 09 .front.str) )...
1870: 09 7b 0d 0a 09 09 09 73 63 6f 70 65 28 65 78 69 .{.....scope(exi
1880: 74 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b t) lex.popFront;
1890: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
18a0: 49 6e 74 4c 69 74 65 72 61 6c 28 70 6f 73 2c 20 IntLiteral(pos,
18b0: 42 69 67 49 6e 74 28 63 61 73 74 28 73 74 72 69 BigInt(cast(stri
18c0: 6e 67 29 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 ng)lex.front.str
18d0: 29 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 ));....}....if(
18e0: 74 72 79 45 61 74 28 22 40 22 29 20 29 0d 0a 09 tryEat("@") )...
18f0: 09 7b 0d 0a 09 09 09 61 75 74 6f 20 6c 61 79 20 .{.....auto lay
1900: 3d 20 22 40 22 7e 65 61 74 49 64 28 22 66 6f 72 = "@"~eatId("for
1910: 20 6c 61 79 65 72 20 49 44 22 29 3b 0d 0a 09 09 layer ID");....
1920: 09 65 61 74 28 22 28 22 2c 20 22 66 6f 72 20 6c .eat("(", "for l
1930: 61 79 65 72 65 64 20 65 78 65 63 75 74 69 6f 6e ayered execution
1940: 22 29 3b 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d ");.....auto e =
1950: 20 42 6f 64 79 28 29 3b 0d 0a 09 09 09 65 61 74 Body();.....eat
1960: 28 22 29 22 2c 20 22 61 66 74 65 72 20 22 7e 6c (")", "after "~l
1970: 61 79 7e 22 28 2e 2e 2e 22 29 3b 0d 0a 09 09 09 ay~"(...");.....
1980: 72 65 74 75 72 6e 20 6e 65 77 20 4c 61 79 45 78 return new LayEx
1990: 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6c 61 pression(pos, la
19a0: 79 2c 20 65 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 y, e);....}....i
19b0: 66 28 20 74 72 79 45 61 74 28 22 28 22 29 20 29 f( tryEat("(") )
19c0: 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 74 6f 20 65 ....{.....auto e
19d0: 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 09 65 = Body();.....e
19e0: 61 74 28 22 29 22 2c 20 22 61 66 74 65 72 20 70 at(")", "after p
19f0: 61 72 65 6e 74 68 65 73 69 7a 65 64 20 65 78 70 arenthesized exp
1a00: 72 65 73 73 69 6f 6e 22 29 3b 0d 0a 09 09 09 72 ression");.....r
1a10: 65 74 75 72 6e 20 65 3b 0d 0a 09 09 7d 0d 0a 09 eturn e;....}...
1a20: 09 69 66 28 20 74 72 79 45 61 74 28 22 7b 22 29 .if( tryEat("{")
1a30: 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 41 53 54 20 )....{.....AST
1a40: 65 20 3d 20 6e 65 77 20 46 75 6e 63 61 6c 6c 45 e = new FuncallE
1a50: 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6e xpression(pos, n
1a60: 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e ew VarExpression
1a70: 28 70 6f 73 2c 22 7b 7d 22 29 29 3b 0d 0a 09 09 (pos,"{}"));....
1a80: 09 72 65 74 75 72 6e 20 70 61 72 73 65 54 61 62 .return parseTab
1a90: 6c 65 53 65 74 41 66 74 65 72 42 72 61 63 65 28 leSetAfterBrace(
1aa0: 65 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 e);....}....if(
1ab0: 74 72 79 45 61 74 28 22 69 66 22 29 20 29 0d 0a tryEat("if") )..
1ac0: 09 09 7b 0d 0a 09 09 09 65 61 74 28 22 28 22 2c ..{.....eat("(",
1ad0: 20 22 61 66 74 65 72 20 69 66 22 29 3b 0d 0a 09 "after if");...
1ae0: 09 09 61 75 74 6f 20 63 6f 6e 64 20 3d 20 45 28 ..auto cond = E(
1af0: 30 29 3b 0d 0a 09 09 09 65 61 74 28 22 29 22 2c 0);.....eat(")",
1b00: 20 22 61 66 74 65 72 20 69 66 20 63 6f 6e 64 69 "after if condi
1b10: 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 61 75 74 6f tion");.....auto
1b20: 20 74 68 65 6e 50 6f 73 20 3d 20 6c 65 78 2e 66 thenPos = lex.f
1b30: 72 6f 6e 74 2e 70 6f 73 3b 0d 0a 09 09 09 65 61 ront.pos;.....ea
1b40: 74 28 22 7b 22 2c 20 22 61 66 74 65 72 20 69 66 t("{", "after if
1b50: 20 63 6f 6e 64 69 74 69 6f 6e 22 29 3b 0d 0a 09 condition");...
1b60: 09 09 61 75 74 6f 20 74 68 20 3d 20 42 6f 64 79 ..auto th = Body
1b70: 28 29 3b 0d 0a 09 09 09 65 61 74 28 22 7d 22 2c ();.....eat("}",
1b80: 20 22 61 66 74 65 72 20 69 66 2d 74 68 65 6e 20 "after if-then
1b90: 62 6f 64 79 22 29 3b 0d 0a 09 09 09 61 75 74 6f body");.....auto
1ba0: 20 65 6c 20 3d 20 64 6f 4e 6f 74 68 69 6e 67 45 el = doNothingE
1bb0: 78 70 72 65 73 73 69 6f 6e 28 29 3b 0d 0a 09 09 xpression();....
1bc0: 09 61 75 74 6f 20 65 6c 73 65 50 6f 73 20 3d 20 .auto elsePos =
1bd0: 28 6c 65 78 2e 65 6d 70 74 79 20 3f 20 4c 65 78 (lex.empty ? Lex
1be0: 50 6f 73 69 74 69 6f 6e 2e 64 75 6d 6d 79 20 3a Position.dummy :
1bf0: 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 29 3b lex.front.pos);
1c00: 0d 0a 09 09 09 69 66 28 20 74 72 79 45 61 74 28 .....if( tryEat(
1c10: 22 65 6c 73 65 22 29 20 29 20 7b 0d 0a 09 09 09 "else") ) {.....
1c20: 09 65 61 74 28 22 7b 22 2c 20 22 61 66 74 65 72 .eat("{", "after
1c30: 20 65 6c 73 65 22 29 3b 0d 0a 09 09 09 09 65 6c else");......el
1c40: 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 09 09 = Body();......
1c50: 65 61 74 28 22 7d 22 2c 20 22 61 66 74 65 72 20 eat("}", "after
1c60: 65 6c 73 65 20 62 6f 64 79 22 29 3b 0d 0a 09 09 else body");....
1c70: 09 7d 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 .}.....return ne
1c80: 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 w FuncallExpress
1c90: 69 6f 6e 28 70 6f 73 2c 20 0d 0a 09 09 09 09 6e ion(pos, ......n
1ca0: 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e ew VarExpression
1cb0: 28 70 6f 73 2c 20 22 69 66 22 29 2c 0d 0a 09 09 (pos, "if"),....
1cc0: 09 09 63 6f 6e 64 2c 0d 0a 09 09 09 09 6e 65 77 ..cond,......new
1cd0: 20 46 75 6e 4c 69 74 65 72 61 6c 28 74 68 65 6e FunLiteral(then
1ce0: 50 6f 73 2c 20 5b 5d 2c 20 74 68 29 2c 0d 0a 09 Pos, [], th),...
1cf0: 09 09 09 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 ...new FunLitera
1d00: 6c 28 65 6c 73 65 50 6f 73 2c 20 5b 5d 2c 20 65 l(elsePos, [], e
1d10: 6c 29 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d 0d 0a l).....);....}..
1d20: 09 09 69 66 28 20 74 72 79 45 61 74 28 22 63 61 ..if( tryEat("ca
1d30: 73 65 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 se") )....{.....
1d40: 72 65 74 75 72 6e 20 70 61 72 73 65 50 61 74 74 return parsePatt
1d50: 65 72 6e 4d 61 74 63 68 28 70 6f 73 29 3b 0d 0a ernMatch(pos);..
1d60: 09 09 7d 0d 0a 09 09 69 66 28 20 74 72 79 45 61 ..}....if( tryEa
1d70: 74 28 22 66 75 6e 22 29 20 7c 7c 20 74 72 79 45 t("fun") || tryE
1d80: 61 74 28 22 5c 75 30 33 42 42 22 29 20 29 20 2f at("\u03BB") ) /
1d90: 2f 20 6c 61 6d 62 64 61 21 21 0d 0a 09 09 7b 0d / lambda!!....{.
1da0: 0a 09 09 09 65 61 74 28 22 28 22 2c 20 22 61 66 ....eat("(", "af
1db0: 74 65 72 20 66 75 6e 22 29 3b 0d 0a 09 09 09 72 ter fun");.....r
1dc0: 65 74 75 72 6e 20 70 61 72 73 65 4c 61 6d 62 64 eturn parseLambd
1dd0: 61 41 66 74 65 72 4f 70 65 6e 50 61 72 65 6e 28 aAfterOpenParen(
1de0: 70 6f 73 29 3b 0d 0a 09 09 7d 0d 0a 09 09 73 63 pos);....}....sc
1df0: 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f ope(exit) lex.po
1e00: 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 72 pFront;....retur
1e10: 6e 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 n new VarExpress
1e20: 69 6f 6e 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f ion(pos, lex.fro
1e30: 6e 74 2e 73 74 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a nt.str);...}....
1e40: 09 41 53 54 20 70 61 72 73 65 50 61 74 74 65 72 .AST parsePatter
1e50: 6e 4d 61 74 63 68 28 4c 65 78 50 6f 73 69 74 69 nMatch(LexPositi
1e60: 6f 6e 20 70 6f 73 29 0d 0a 09 7b 0d 0a 09 09 2f on pos)...{..../
1e70: 2f 20 20 20 63 61 73 65 28 20 70 6d 45 78 70 72 / case( pmExpr
1e80: 20 29 63 61 73 65 73 0d 0a 09 09 2f 2f 3d 3d 3e )cases....//==>
1e90: 0d 0a 09 09 2f 2f 20 20 20 6c 65 74 20 70 6d 56 ....// let pmV
1ea0: 61 72 20 3d 20 70 6d 45 78 70 72 20 69 6e 20 28 ar = pmExpr in (
1eb0: 2e 2e 2e 20 6c 65 74 20 70 6d 54 72 79 46 69 72 ... let pmTryFir
1ec0: 73 74 20 3d 20 2e 2e 2e 20 69 6e 20 70 6d 54 72 st = ... in pmTr
1ed0: 79 46 69 72 73 74 28 29 29 0d 0a 09 09 65 61 74 yFirst())....eat
1ee0: 28 22 28 22 2c 20 22 61 66 74 65 72 20 63 61 73 ("(", "after cas
1ef0: 65 22 29 3b 0d 0a 09 09 41 53 54 20 20 20 70 6d e");....AST pm
1f00: 45 78 70 72 20 3d 20 45 28 30 29 3b 0d 0a 09 09 Expr = E(0);....
1f10: 65 61 74 28 22 29 22 2c 20 22 61 66 74 65 72 20 eat(")", "after
1f20: 63 61 73 65 22 29 3b 0d 0a 09 09 73 74 72 69 6e case");....strin
1f30: 67 20 70 6d 56 61 72 20 3d 20 66 72 65 73 68 56 g pmVar = freshV
1f40: 61 72 4e 61 6d 65 28 29 3b 0d 0a 09 09 73 74 72 arName();....str
1f50: 69 6e 67 20 70 6d 54 72 79 46 69 72 73 74 20 3d ing pmTryFirst =
1f60: 20 66 72 65 73 68 56 61 72 4e 61 6d 65 28 29 3b freshVarName();
1f70: 0d 0a 09 09 41 53 54 20 20 20 70 6d 42 6f 64 79 ....AST pmBody
1f80: 20 3d 20 70 61 72 73 65 50 61 74 74 65 72 6e 4d = parsePatternM
1f90: 61 74 63 68 43 61 73 65 73 28 70 6d 56 61 72 2c atchCases(pmVar,
1fa0: 20 70 6d 54 72 79 46 69 72 73 74 2c 0d 0a 09 09 pmTryFirst,....
1fb0: 09 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 .new FuncallExpr
1fc0: 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6e 65 77 20 ession(pos, new
1fd0: 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 70 6f VarExpression(po
1fe0: 73 2c 20 70 6d 54 72 79 46 69 72 73 74 29 29 29 s, pmTryFirst)))
1ff0: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 ;....return new
2000: 4c 65 74 45 78 70 72 65 73 73 69 6f 6e 28 70 6f LetExpression(po
2010: 73 2c 20 70 6d 56 61 72 2c 20 5b 5d 2c 20 70 6d s, pmVar, [], pm
2020: 45 78 70 72 2c 20 70 6d 42 6f 64 79 29 3b 0d 0a Expr, pmBody);..
2030: 09 7d 0d 0a 0d 0a 09 41 53 54 20 70 61 72 73 65 .}.....AST parse
2040: 50 61 74 74 65 72 6e 4d 61 74 63 68 43 61 73 65 PatternMatchCase
2050: 73 28 73 74 72 69 6e 67 20 70 6d 56 61 72 2c 20 s(string pmVar,
2060: 73 74 72 69 6e 67 20 74 72 79 54 68 69 73 42 72 string tryThisBr
2070: 61 6e 63 68 56 61 72 2c 20 41 53 54 20 74 68 65 anchVar, AST the
2080: 6e 44 6f 54 68 69 73 29 0d 0a 09 7b 0d 0a 09 09 nDoThis)...{....
2090: 2f 2f 20 20 20 20 77 68 65 6e 28 20 70 61 74 20 // when( pat
20a0: 29 20 7b 20 63 42 6f 64 79 20 7d 0d 0a 09 09 2f ) { cBody }..../
20b0: 2f 3d 3d 3e 0d 0a 09 09 2f 2f 20 20 20 20 2e 2e /==>....// ..
20c0: 2e 20 6c 65 74 20 66 61 69 6c 42 72 61 6e 63 68 . let failBranch
20d0: 56 61 72 20 3d 20 2e 2e 2e 20 69 6e 0d 0a 09 09 Var = ... in....
20e0: 2f 2f 20 20 20 20 6c 65 74 20 74 72 79 54 68 69 // let tryThi
20f0: 73 42 72 61 6e 63 68 56 61 72 20 3d 20 66 75 6e sBranchVar = fun
2100: 28 29 7b 20 69 66 28 74 65 73 74 29 7b 63 42 6f (){ if(test){cBo
2110: 64 79 7d 65 6c 73 65 7b 66 61 69 6c 42 72 61 6e dy}else{failBran
2120: 63 68 56 61 72 28 29 7d 20 7d 20 69 6e 20 74 68 chVar()} } in th
2130: 65 6e 44 6f 54 68 69 73 0d 0a 09 09 69 66 28 20 enDoThis....if(
2140: 74 72 79 45 61 74 28 22 77 68 65 6e 22 29 20 29 tryEat("when") )
2150: 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 74 6f 20 70 ....{.....auto p
2160: 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 os = currentPosi
2170: 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 73 74 72 69 tion();.....stri
2180: 6e 67 20 66 61 69 6c 42 72 61 6e 63 68 56 61 72 ng failBranchVar
2190: 20 3d 20 66 72 65 73 68 56 61 72 4e 61 6d 65 28 = freshVarName(
21a0: 29 3b 0d 0a 0d 0a 09 09 09 65 61 74 28 22 28 22 );.......eat("("
21b0: 2c 20 22 61 66 74 65 72 20 77 68 65 6e 22 29 3b , "after when");
21c0: 0d 0a 09 09 09 61 75 74 6f 20 70 72 20 3d 20 70 .....auto pr = p
21d0: 61 72 73 65 50 61 74 74 65 72 6e 28 29 3b 0d 0a arsePattern();..
21e0: 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 74 ...eat(")", "aft
21f0: 65 72 20 77 68 65 6e 22 29 3b 0d 0a 09 09 09 65 er when");.....e
2200: 61 74 28 22 7b 22 2c 20 22 61 66 74 65 72 20 70 at("{", "after p
2210: 61 74 74 65 72 6e 22 29 3b 0d 0a 09 09 09 41 53 attern");.....AS
2220: 54 20 63 42 6f 64 79 20 3d 20 42 6f 64 79 28 29 T cBody = Body()
2230: 3b 0d 0a 09 09 09 41 53 54 20 6a 75 64 67 65 6d ;.....AST judgem
2240: 65 6e 74 20 3d 20 6e 65 77 20 46 75 6e 63 61 6c ent = new Funcal
2250: 6c 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c lExpression(pos,
2260: 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 new VarExpressi
2270: 6f 6e 28 70 6f 73 2c 20 22 69 66 22 29 2c 0d 0a on(pos, "if"),..
2280: 09 09 09 09 70 70 54 65 73 74 28 70 6d 56 61 72 ....ppTest(pmVar
2290: 2c 20 70 72 29 2c 20 6e 65 77 20 46 75 6e 4c 69 , pr), new FunLi
22a0: 74 65 72 61 6c 28 70 6f 73 2c 5b 5d 2c 70 70 42 teral(pos,[],ppB
22b0: 69 6e 64 28 70 6d 56 61 72 2c 20 70 72 2c 20 63 ind(pmVar, pr, c
22c0: 42 6f 64 79 29 29 2c 0d 0a 09 09 09 09 6e 65 77 Body)),......new
22d0: 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 70 VarExpression(p
22e0: 6f 73 2c 20 66 61 69 6c 42 72 61 6e 63 68 56 61 os, failBranchVa
22f0: 72 29 29 3b 0d 0a 09 09 09 65 61 74 28 22 7d 22 r));.....eat("}"
2300: 2c 20 22 61 66 74 65 72 20 70 61 74 74 65 72 6e , "after pattern
2310: 20 63 6c 61 75 73 65 22 29 3b 0d 0a 09 09 09 72 clause");.....r
2320: 65 74 75 72 6e 20 70 61 72 73 65 50 61 74 74 65 eturn parsePatte
2330: 72 6e 4d 61 74 63 68 43 61 73 65 73 28 70 6d 56 rnMatchCases(pmV
2340: 61 72 2c 20 66 61 69 6c 42 72 61 6e 63 68 56 61 ar, failBranchVa
2350: 72 2c 20 0d 0a 09 09 09 09 6e 65 77 20 4c 65 74 r, ......new Let
2360: 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 Expression(pos,
2370: 74 72 79 54 68 69 73 42 72 61 6e 63 68 56 61 72 tryThisBranchVar
2380: 2c 20 5b 5d 2c 0d 0a 09 09 09 09 09 6e 65 77 20 , [],.......new
2390: 46 75 6e 4c 69 74 65 72 61 6c 28 70 6f 73 2c 5b FunLiteral(pos,[
23a0: 5d 2c 6a 75 64 67 65 6d 65 6e 74 29 2c 20 74 68 ],judgement), th
23b0: 65 6e 44 6f 54 68 69 73 29 0d 0a 09 09 09 29 3b enDoThis).....);
23c0: 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 ....}....else...
23d0: 09 7b 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 20 .{.....auto pos
23e0: 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f = currentPositio
23f0: 6e 28 29 3b 0d 0a 09 09 09 41 53 54 20 64 6f 4e n();.....AST doN
2400: 6f 74 68 69 6e 67 20 3d 20 6e 65 77 20 46 75 6e othing = new Fun
2410: 4c 69 74 65 72 61 6c 28 70 6f 73 2c 5b 5d 2c 0d Literal(pos,[],.
2420: 0a 09 09 09 09 6e 65 77 20 53 74 72 4c 69 74 65 .....new StrLite
2430: 72 61 6c 28 70 6f 73 2c 20 73 70 72 69 6e 74 66 ral(pos, sprintf
2440: 21 22 28 70 61 74 74 65 72 6e 20 6d 61 74 63 68 !"(pattern match
2450: 20 66 61 69 6c 75 72 65 3a 25 73 29 22 28 70 6f failure:%s)"(po
2460: 73 29 29 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e s)));.....return
2470: 20 6e 65 77 20 4c 65 74 45 78 70 72 65 73 73 69 new LetExpressi
2480: 6f 6e 28 63 75 72 72 65 6e 74 50 6f 73 69 74 69 on(currentPositi
2490: 6f 6e 28 29 2c 20 74 72 79 54 68 69 73 42 72 61 on(), tryThisBra
24a0: 6e 63 68 56 61 72 2c 20 5b 5d 2c 20 64 6f 4e 6f nchVar, [], doNo
24b0: 74 68 69 6e 67 2c 20 74 68 65 6e 44 6f 54 68 69 thing, thenDoThi
24c0: 73 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a s);....}...}....
24d0: 2f 2f 20 68 61 67 65 73 68 69 6b 75 20 74 65 6e // hageshiku ten
24e0: 75 6b 69 0d 0a 09 61 62 73 74 72 61 63 74 20 63 uki...abstract c
24f0: 6c 61 73 73 20 53 69 6e 67 6c 65 50 61 74 74 65 lass SinglePatte
2500: 72 6e 0d 0a 09 7b 0d 0a 09 09 73 74 72 69 6e 67 rn...{....string
2510: 5b 5d 20 70 61 74 68 3b 0d 0a 09 09 6d 69 78 69 [] path;....mixi
2520: 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a n SimpleClass;..
2530: 09 09 70 72 69 76 61 74 65 20 41 53 54 20 61 63 ..private AST ac
2540: 63 65 73 73 28 73 74 72 69 6e 67 20 70 6d 56 61 cess(string pmVa
2550: 72 2c 20 73 74 72 69 6e 67 5b 5d 20 70 61 74 68 r, string[] path
2560: 29 20 7b 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 ) {.....auto pos
2570: 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 = currentPositi
2580: 6f 6e 28 29 3b 0d 0a 09 09 09 41 53 54 20 65 20 on();.....AST e
2590: 3d 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 = new VarExpress
25a0: 69 6f 6e 28 70 6f 73 2c 20 70 6d 56 61 72 29 3b ion(pos, pmVar);
25b0: 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 70 3b 20 .....foreach(p;
25c0: 70 61 74 68 29 0d 0a 09 09 09 09 65 20 3d 20 6e path)......e = n
25d0: 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 ew FuncallExpres
25e0: 73 69 6f 6e 28 70 6f 73 2c 20 6e 65 77 20 56 61 sion(pos, new Va
25f0: 72 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c rExpression(pos,
2600: 20 22 2e 22 29 2c 20 65 2c 20 6e 65 77 20 53 74 "."), e, new St
2610: 72 4c 69 74 65 72 61 6c 28 70 6f 73 2c 20 70 29 rLiteral(pos, p)
2620: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 3b );.....return e;
2630: 0d 0a 09 09 7d 0d 0a 09 09 70 72 69 76 61 74 65 ....}....private
2640: 20 41 53 54 20 68 61 73 28 41 53 54 20 65 2c 20 AST has(AST e,
2650: 73 74 72 69 6e 67 20 6b 29 20 7b 0d 0a 09 09 09 string k) {.....
2660: 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 auto pos = curre
2670: 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 ntPosition();...
2680: 09 09 72 65 74 75 72 6e 20 6f 70 41 6e 64 41 6e ..return opAndAn
2690: 64 28 0d 0a 09 09 09 09 6e 65 77 20 46 75 6e 63 d(......new Func
26a0: 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 70 6f allExpression(po
26b0: 73 2c 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 s, new VarExpres
26c0: 73 69 6f 6e 28 70 6f 73 2c 20 22 5f 69 73 74 61 sion(pos, "_ista
26d0: 62 6c 65 22 29 2c 20 65 29 2c 0d 0a 09 09 09 09 ble"), e),......
26e0: 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 new FuncallExpre
26f0: 73 73 69 6f 6e 28 70 6f 73 2c 20 6e 65 77 20 56 ssion(pos, new V
2700: 61 72 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 arExpression(pos
2710: 2c 20 22 2e 3f 22 29 2c 20 65 2c 20 6e 65 77 20 , ".?"), e, new
2720: 53 74 72 4c 69 74 65 72 61 6c 28 70 6f 73 2c 20 StrLiteral(pos,
2730: 6b 29 29 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d 0d k)).....);....}.
2740: 0a 09 09 70 72 69 76 61 74 65 20 41 53 54 20 6f ...private AST o
2750: 70 41 6e 64 41 6e 64 28 41 53 54 20 61 2c 20 41 pAndAnd(AST a, A
2760: 53 54 20 62 29 20 7b 0d 0a 09 09 09 69 66 28 20 ST b) {.....if(
2770: 61 20 69 73 20 6e 75 6c 6c 20 29 20 72 65 74 75 a is null ) retu
2780: 72 6e 20 62 3b 0d 0a 09 09 09 69 66 28 20 62 20 rn b;.....if( b
2790: 69 73 20 6e 75 6c 6c 20 29 20 72 65 74 75 72 6e is null ) return
27a0: 20 61 3b 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 a;.....auto pos
27b0: 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 = currentPositi
27c0: 6f 6e 28 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e on();.....return
27d0: 20 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 new FuncallExpr
27e0: 65 73 73 69 6f 6e 28 70 6f 73 2c 0d 0a 09 09 09 ession(pos,.....
27f0: 09 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 .new VarExpressi
2800: 6f 6e 28 70 6f 73 2c 20 22 69 66 22 29 2c 0d 0a on(pos, "if"),..
2810: 09 09 09 09 61 2c 0d 0a 09 09 09 09 6e 65 77 20 ....a,......new
2820: 46 75 6e 4c 69 74 65 72 61 6c 28 70 6f 73 2c 20 FunLiteral(pos,
2830: 5b 5d 2c 20 62 29 2c 0d 0a 09 09 09 09 6e 65 77 [], b),......new
2840: 20 46 75 6e 4c 69 74 65 72 61 6c 28 70 6f 73 2c FunLiteral(pos,
2850: 20 5b 5d 2c 20 6e 65 77 20 49 6e 74 4c 69 74 65 [], new IntLite
2860: 72 61 6c 28 70 6f 73 2c 20 30 29 29 0d 0a 09 09 ral(pos, 0))....
2870: 09 29 3b 0d 0a 09 09 7d 0d 0a 09 09 41 53 54 20 .);....}....AST
2880: 70 70 54 65 73 74 28 73 74 72 69 6e 67 20 70 6d ppTest(string pm
2890: 56 61 72 29 20 7b 0d 0a 09 09 09 41 53 54 20 63 Var) {.....AST c
28a0: 20 3d 20 6e 75 6c 6c 3b 0d 0a 09 09 09 66 6f 72 = null;.....for
28b0: 28 69 6e 74 20 69 3d 30 3b 20 69 3c 70 61 74 68 (int i=0; i<path
28c0: 2e 6c 65 6e 67 74 68 3b 20 2b 2b 69 29 0d 0a 09 .length; ++i)...
28d0: 09 09 09 63 20 3d 20 6f 70 41 6e 64 41 6e 64 28 ...c = opAndAnd(
28e0: 63 2c 20 68 61 73 28 61 63 63 65 73 73 28 70 6d c, has(access(pm
28f0: 56 61 72 2c 70 61 74 68 5b 30 2e 2e 69 5d 29 2c Var,path[0..i]),
2900: 20 70 61 74 68 5b 69 5d 29 29 3b 0d 0a 09 09 09 path[i]));.....
2910: 72 65 74 75 72 6e 20 63 3b 0d 0a 09 09 7d 0d 0a return c;....}..
2920: 09 09 41 53 54 20 70 70 42 69 6e 64 28 73 74 72 ..AST ppBind(str
2930: 69 6e 67 20 70 6d 56 61 72 2c 20 41 53 54 20 74 ing pmVar, AST t
2940: 68 65 6e 44 6f 54 68 69 73 29 20 7b 20 72 65 74 henDoThis) { ret
2950: 75 72 6e 20 74 68 65 6e 44 6f 54 68 69 73 3b 20 urn thenDoThis;
2960: 7d 0d 0a 09 7d 0d 0a 09 63 6c 61 73 73 20 57 69 }...}...class Wi
2970: 6c 64 50 61 74 74 65 72 6e 20 3a 20 53 69 6e 67 ldPattern : Sing
2980: 6c 65 50 61 74 74 65 72 6e 0d 0a 09 7b 0d 0a 09 lePattern...{...
2990: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 .mixin SimpleCla
29a0: 73 73 3b 0d 0a 09 7d 0d 0a 09 63 6c 61 73 73 20 ss;...}...class
29b0: 56 61 72 50 61 74 74 65 72 6e 20 3a 20 53 69 6e VarPattern : Sin
29c0: 67 6c 65 50 61 74 74 65 72 6e 0d 0a 09 7b 0d 0a glePattern...{..
29d0: 09 09 73 74 72 69 6e 67 20 6e 61 6d 65 3b 0d 0a ..string name;..
29e0: 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c ..mixin SimpleCl
29f0: 61 73 73 3b 0d 0a 09 09 41 53 54 20 70 70 42 69 ass;....AST ppBi
2a00: 6e 64 28 73 74 72 69 6e 67 20 70 6d 56 61 72 2c nd(string pmVar,
2a10: 20 41 53 54 20 74 68 65 6e 44 6f 54 68 69 73 29 AST thenDoThis)
2a20: 20 7b 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 20 {.....auto pos
2a30: 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f = currentPositio
2a40: 6e 28 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 n();.....return
2a50: 6e 65 77 20 4c 65 74 45 78 70 72 65 73 73 69 6f new LetExpressio
2a60: 6e 28 70 6f 73 2c 20 6e 61 6d 65 2c 20 5b 5d 2c n(pos, name, [],
2a70: 20 61 63 63 65 73 73 28 70 6d 56 61 72 2c 70 61 access(pmVar,pa
2a80: 74 68 29 2c 20 74 68 65 6e 44 6f 54 68 69 73 29 th), thenDoThis)
2a90: 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 09 63 6c 61 ;....}...}...cla
2aa0: 73 73 20 43 6f 6e 73 74 61 6e 74 50 61 74 74 65 ss ConstantPatte
2ab0: 72 6e 20 3a 20 53 69 6e 67 6c 65 50 61 74 74 65 rn : SinglePatte
2ac0: 72 6e 0d 0a 09 7b 0d 0a 09 09 41 53 54 20 65 3b rn...{....AST e;
2ad0: 0d 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 ....mixin Simple
2ae0: 43 6c 61 73 73 3b 0d 0a 09 09 41 53 54 20 70 70 Class;....AST pp
2af0: 54 65 73 74 28 73 74 72 69 6e 67 20 70 6d 56 61 Test(string pmVa
2b00: 72 29 20 7b 0d 0a 09 09 09 61 75 74 6f 20 70 6f r) {.....auto po
2b10: 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 s = currentPosit
2b20: 69 6f 6e 28 29 3b 0d 0a 09 09 09 72 65 74 75 72 ion();.....retur
2b30: 6e 20 6f 70 41 6e 64 41 6e 64 28 20 73 75 70 65 n opAndAnd( supe
2b40: 72 2e 70 70 54 65 73 74 28 70 6d 56 61 72 29 2c r.ppTest(pmVar),
2b50: 0d 0a 09 09 09 09 6e 65 77 20 46 75 6e 63 61 6c ......new Funcal
2b60: 6c 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c lExpression(pos,
2b70: 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 new VarExpressi
2b80: 6f 6e 28 70 6f 73 2c 22 3d 3d 22 29 2c 20 61 63 on(pos,"=="), ac
2b90: 63 65 73 73 28 70 6d 56 61 72 2c 70 61 74 68 29 cess(pmVar,path)
2ba0: 2c 20 65 29 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d , e).....);....}
2bb0: 0d 0a 09 7d 0d 0a 0d 0a 09 53 69 6e 67 6c 65 50 ...}.....SingleP
2bc0: 61 74 74 65 72 6e 5b 5d 20 70 61 72 73 65 50 61 attern[] parsePa
2bd0: 74 74 65 72 6e 28 73 74 72 69 6e 67 5b 5d 20 70 ttern(string[] p
2be0: 61 74 68 20 3d 20 6e 75 6c 6c 29 0d 0a 09 7b 0d ath = null)...{.
2bf0: 0a 09 09 53 69 6e 67 6c 65 50 61 74 74 65 72 6e ...SinglePattern
2c00: 5b 5d 20 72 65 73 75 6c 74 3b 0d 0a 09 09 69 66 [] result;....if
2c10: 28 20 74 72 79 45 61 74 28 22 7b 22 29 20 29 0d ( tryEat("{") ).
2c20: 0a 09 09 7b 0d 0a 09 09 09 69 66 28 20 21 74 72 ...{.....if( !tr
2c30: 79 45 61 74 28 22 7d 22 29 20 29 20 7b 0d 0a 09 yEat("}") ) {...
2c40: 09 09 09 64 6f 20 7b 0d 0a 09 09 09 09 09 73 74 ...do {.......st
2c50: 72 69 6e 67 20 6b 65 79 20 3d 20 65 61 74 49 64 ring key = eatId
2c60: 28 22 69 6e 20 74 61 62 6c 65 20 70 61 74 74 65 ("in table patte
2c70: 72 6e 22 29 3b 0d 0a 09 09 09 09 09 65 61 74 28 rn");.......eat(
2c80: 22 3a 22 2c 20 22 61 66 74 65 72 20 66 69 65 6c ":", "after fiel
2c90: 64 2d 69 64 20 69 6e 20 74 61 62 6c 65 20 70 61 d-id in table pa
2ca0: 74 74 65 72 6e 22 29 3b 0d 0a 09 09 09 09 09 72 ttern");.......r
2cb0: 65 73 75 6c 74 20 7e 3d 20 70 61 72 73 65 50 61 esult ~= parsePa
2cc0: 74 74 65 72 6e 28 70 61 74 68 20 7e 20 6b 65 79 ttern(path ~ key
2cd0: 29 3b 0d 0a 09 09 09 09 7d 20 77 68 69 6c 65 28 );......} while(
2ce0: 20 74 72 79 45 61 74 28 22 2c 22 29 20 29 3b 0d tryEat(",") );.
2cf0: 0a 09 09 09 09 65 61 74 28 22 7d 22 2c 20 22 61 .....eat("}", "a
2d00: 74 20 74 68 65 20 65 6e 64 20 6f 66 20 74 61 62 t the end of tab
2d10: 6c 65 20 70 61 74 74 65 72 6e 22 29 3b 0d 0a 09 le pattern");...
2d20: 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 ..}....}....else
2d30: 0d 0a 09 09 7b 0d 0a 09 09 09 41 53 54 20 65 20 ....{.....AST e
2d40: 3d 20 45 28 30 29 3b 0d 0a 09 09 09 69 66 28 61 = E(0);.....if(a
2d50: 75 74 6f 20 65 76 20 3d 20 63 61 73 74 28 56 61 uto ev = cast(Va
2d60: 72 45 78 70 72 65 73 73 69 6f 6e 29 65 29 0d 0a rExpression)e)..
2d70: 09 09 09 09 69 66 28 65 76 2e 6e 61 6d 65 20 3d ....if(ev.name =
2d80: 3d 20 22 5f 22 29 0d 0a 09 09 09 09 09 72 65 73 = "_").......res
2d90: 75 6c 74 20 7e 3d 20 6e 65 77 20 57 69 6c 64 50 ult ~= new WildP
2da0: 61 74 74 65 72 6e 28 70 61 74 68 29 3b 0d 0a 09 attern(path);...
2db0: 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 72 65 ...else.......re
2dc0: 73 75 6c 74 20 7e 3d 20 6e 65 77 20 56 61 72 50 sult ~= new VarP
2dd0: 61 74 74 65 72 6e 28 70 61 74 68 2c 20 65 76 2e attern(path, ev.
2de0: 6e 61 6d 65 29 3b 0d 0a 09 09 09 65 6c 73 65 0d name);.....else.
2df0: 0a 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 6e .....result ~= n
2e00: 65 77 20 43 6f 6e 73 74 61 6e 74 50 61 74 74 65 ew ConstantPatte
2e10: 72 6e 28 70 61 74 68 2c 20 65 29 3b 0d 0a 09 09 rn(path, e);....
2e20: 7d 0d 0a 09 09 72 65 74 75 72 6e 20 72 65 73 75 }....return resu
2e30: 6c 74 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 lt;...}.....AST
2e40: 70 70 54 65 73 74 28 73 74 72 69 6e 67 20 70 6d ppTest(string pm
2e50: 56 61 72 2c 20 53 69 6e 67 6c 65 50 61 74 74 65 Var, SinglePatte
2e60: 72 6e 5b 5d 20 70 61 74 73 29 0d 0a 09 7b 0d 0a rn[] pats)...{..
2e70: 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 ..auto pos = cur
2e80: 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d rentPosition();.
2e90: 0a 09 09 41 53 54 20 63 6f 6e 64 20 3d 20 6e 75 ...AST cond = nu
2ea0: 6c 6c 3b 0d 0a 09 09 66 6f 72 65 61 63 68 28 70 ll;....foreach(p
2eb0: 3b 20 70 61 74 73 29 20 7b 0d 0a 09 09 09 41 53 ; pats) {.....AS
2ec0: 54 20 63 32 20 3d 20 70 2e 70 70 54 65 73 74 28 T c2 = p.ppTest(
2ed0: 70 6d 56 61 72 29 3b 0d 0a 09 09 09 69 66 28 20 pmVar);.....if(
2ee0: 63 32 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 c2 !is null )...
2ef0: 09 09 09 63 6f 6e 64 20 3d 20 63 6f 6e 64 20 69 ...cond = cond i
2f00: 73 20 6e 75 6c 6c 20 3f 20 63 32 0d 0a 09 09 09 s null ? c2.....
2f10: 09 20 20 20 20 3a 20 6e 65 77 20 46 75 6e 63 61 . : new Funca
2f20: 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 llExpression(pos
2f30: 2c 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 , new VarExpress
2f40: 69 6f 6e 28 70 6f 73 2c 22 26 26 22 29 2c 20 63 ion(pos,"&&"), c
2f50: 6f 6e 64 2c 20 63 32 29 3b 0d 0a 09 09 7d 0d 0a ond, c2);....}..
2f60: 09 09 72 65 74 75 72 6e 20 63 6f 6e 64 20 69 73 ..return cond is
2f70: 20 6e 75 6c 6c 20 3f 20 6e 65 77 20 49 6e 74 4c null ? new IntL
2f80: 69 74 65 72 61 6c 28 63 75 72 72 65 6e 74 50 6f iteral(currentPo
2f90: 73 69 74 69 6f 6e 28 29 2c 20 31 29 20 3a 20 63 sition(), 1) : c
2fa0: 6f 6e 64 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 ond;...}.....AST
2fb0: 20 70 70 42 69 6e 64 28 73 74 72 69 6e 67 20 70 ppBind(string p
2fc0: 6d 56 61 72 2c 20 53 69 6e 67 6c 65 50 61 74 74 mVar, SinglePatt
2fd0: 65 72 6e 5b 5d 20 70 61 74 73 2c 20 41 53 54 20 ern[] pats, AST
2fe0: 74 68 65 6e 44 6f 54 68 69 73 29 0d 0a 09 7b 0d thenDoThis)...{.
2ff0: 0a 09 09 66 6f 72 65 61 63 68 28 70 3b 20 70 61 ...foreach(p; pa
3000: 74 73 29 0d 0a 09 09 09 74 68 65 6e 44 6f 54 68 ts).....thenDoTh
3010: 69 73 20 3d 20 70 2e 70 70 42 69 6e 64 28 70 6d is = p.ppBind(pm
3020: 56 61 72 2c 20 74 68 65 6e 44 6f 54 68 69 73 29 Var, thenDoThis)
3030: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 74 68 65 6e ;....return then
3040: 44 6f 54 68 69 73 3b 0d 0a 09 7d 0d 0a 0d 0a 09 DoThis;...}.....
3050: 41 53 54 20 70 61 72 73 65 49 64 28 29 0d 0a 09 AST parseId()...
3060: 7b 0d 0a 09 09 73 63 6f 70 65 28 65 78 69 74 29 {....scope(exit)
3070: 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a lex.popFront;..
3080: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 53 74 72 ..return new Str
3090: 4c 69 74 65 72 61 6c 28 63 75 72 72 65 6e 74 50 Literal(currentP
30a0: 6f 73 69 74 69 6f 6e 28 29 2c 20 6c 65 78 2e 66 osition(), lex.f
30b0: 72 6f 6e 74 2e 73 74 72 29 3b 0d 0a 09 7d 0d 0a ront.str);...}..
30c0: 0d 0a 09 41 53 54 20 70 61 72 73 65 4c 61 6d 62 ...AST parseLamb
30d0: 64 61 41 66 74 65 72 4f 70 65 6e 50 61 72 65 6e daAfterOpenParen
30e0: 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f (immutable LexPo
30f0: 73 69 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 7b 0d sition pos)...{.
3100: 0a 09 09 50 61 72 61 6d 65 74 65 72 5b 5d 20 70 ...Parameter[] p
3110: 61 72 61 6d 73 3b 0d 0a 09 09 77 68 69 6c 65 28 arams;....while(
3120: 20 21 74 72 79 45 61 74 28 22 29 22 29 20 29 0d !tryEat(")") ).
3130: 0a 09 09 7b 0d 0a 09 09 09 70 61 72 61 6d 73 20 ...{.....params
3140: 7e 3d 20 70 61 72 73 65 50 61 72 61 6d 28 29 3b ~= parseParam();
3150: 0d 0a 09 09 09 69 66 28 20 21 74 72 79 45 61 74 .....if( !tryEat
3160: 28 22 2c 22 29 20 29 20 7b 0d 0a 09 09 09 09 65 (",") ) {......e
3170: 61 74 28 22 29 22 2c 20 22 61 66 74 65 72 20 66 at(")", "after f
3180: 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 unction paramete
3190: 72 73 22 29 3b 0d 0a 09 09 09 09 62 72 65 61 6b rs");......break
31a0: 3b 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 ;.....}....}....
31b0: 65 61 74 28 22 7b 22 2c 20 22 61 66 74 65 72 20 eat("{", "after
31c0: 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 function paramet
31d0: 65 72 73 22 29 3b 0d 0a 09 09 61 75 74 6f 20 66 ers");....auto f
31e0: 75 6e 62 6f 64 79 20 3d 20 42 6f 64 79 28 29 3b unbody = Body();
31f0: 0d 0a 09 09 65 61 74 28 22 7d 22 2c 20 22 61 66 ....eat("}", "af
3200: 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 ter function bod
3210: 79 22 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6e y");....return n
3220: 65 77 20 46 75 6e 4c 69 74 65 72 61 6c 28 70 6f ew FunLiteral(po
3230: 73 2c 20 70 61 72 61 6d 73 2c 20 66 75 6e 62 6f s, params, funbo
3240: 64 79 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 50 61 72 dy);...}.....Par
3250: 61 6d 65 74 65 72 20 70 61 72 73 65 50 61 72 61 ameter parsePara
3260: 6d 28 29 0d 0a 09 7b 0d 0a 09 09 73 74 72 69 6e m()...{....strin
3270: 67 20 76 61 72 3b 0d 0a 09 09 73 74 72 69 6e 67 g var;....string
3280: 5b 5d 20 6c 61 79 3b 0d 0a 09 09 77 68 69 6c 65 [] lay;....while
3290: 28 20 21 63 6c 6f 73 69 6e 67 42 72 61 63 6b 65 ( !closingBracke
32a0: 74 28 29 20 26 26 20 21 6c 65 78 2e 65 6d 70 74 t() && !lex.empt
32b0: 79 20 26 26 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 y && lex.front.s
32c0: 74 72 21 3d 22 2c 22 20 29 0d 0a 09 09 7b 0d 0a tr!="," )....{..
32d0: 09 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 ...auto pos = cu
32e0: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b rrentPosition();
32f0: 0d 0a 09 09 09 73 74 72 69 6e 67 20 70 20 3d 20 .....string p =
3300: 65 61 74 49 64 28 22 66 6f 72 20 66 75 6e 63 74 eatId("for funct
3310: 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 22 2c 20 ion parameter",
3320: 41 6c 6c 6f 77 51 75 6f 74 65 64 29 3b 0d 0a 09 AllowQuoted);...
3330: 09 09 69 66 28 20 70 20 3d 3d 20 22 40 22 20 29 ..if( p == "@" )
3340: 0d 0a 09 09 09 09 6c 61 79 20 7e 3d 20 22 40 22 ......lay ~= "@"
3350: 20 7e 20 65 61 74 49 64 28 22 61 66 74 65 72 20 ~ eatId("after
3360: 40 22 2c 20 41 6c 6c 6f 77 51 75 6f 74 65 64 29 @", AllowQuoted)
3370: 3b 0d 0a 09 09 09 65 6c 73 65 20 69 66 28 20 76 ;.....else if( v
3380: 61 72 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 09 ar.empty )......
3390: 76 61 72 20 3d 20 70 3b 0d 0a 09 09 09 65 6c 73 var = p;.....els
33a0: 65 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e e......throw gen
33b0: 65 78 21 50 61 72 73 65 45 78 63 65 70 74 69 6f ex!ParseExceptio
33c0: 6e 28 70 6f 73 2c 20 22 6f 6e 65 20 70 61 72 61 n(pos, "one para
33d0: 6d 65 74 65 72 20 68 61 73 20 74 77 6f 20 6e 61 meter has two na
33e0: 6d 65 73 22 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 mes");....}....r
33f0: 65 74 75 72 6e 20 6e 65 77 20 50 61 72 61 6d 65 eturn new Parame
3400: 74 65 72 28 76 61 72 2c 20 6c 61 79 29 3b 0d 0a ter(var, lay);..
3410: 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a 0d 0a .}....private:..
3420: 09 4c 65 78 65 72 20 6c 65 78 3b 0d 0a 09 74 68 .Lexer lex;...th
3430: 69 73 28 4c 65 78 65 72 20 6c 65 78 29 20 7b 20 is(Lexer lex) {
3440: 74 68 69 73 2e 6c 65 78 20 3d 20 6c 65 78 3b 20 this.lex = lex;
3450: 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 69 73 4e 75 6d }.....bool isNum
3460: 62 65 72 28 73 74 72 69 6e 67 20 73 29 0d 0a 09 ber(string s)...
3470: 7b 0d 0a 09 09 72 65 74 75 72 6e 20 66 69 6e 64 {....return find
3480: 21 28 60 61 3c 27 30 27 20 7c 7c 20 27 39 27 3c !(`a<'0' || '9'<
3490: 61 60 29 28 73 29 2e 65 6d 70 74 79 3b 0d 0a 09 a`)(s).empty;...
34a0: 7d 0d 0a 09 0d 0a 09 76 6f 69 64 20 65 61 74 28 }......void eat(
34b0: 73 74 72 69 6e 67 20 6b 77 64 2c 20 6c 61 7a 79 string kwd, lazy
34c0: 20 73 74 72 69 6e 67 20 6d 73 67 29 0d 0a 09 7b string msg)...{
34d0: 0d 0a 09 09 69 66 28 20 21 74 72 79 45 61 74 28 ....if( !tryEat(
34e0: 6b 77 64 29 20 29 0d 0a 09 09 09 69 66 28 20 6c kwd) ).....if( l
34f0: 65 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 09 ex.empty )......
3500: 74 68 72 6f 77 20 67 65 6e 65 78 21 55 6e 65 78 throw genex!Unex
3510: 70 65 63 74 65 64 45 4f 46 28 0d 0a 09 09 09 09 pectedEOF(......
3520: 09 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e .currentPosition
3530: 28 29 2c 20 73 70 72 69 6e 74 66 21 22 25 73 20 (), sprintf!"%s
3540: 69 73 20 65 78 70 65 63 74 65 64 20 25 73 20 62 is expected %s b
3550: 75 74 20 6e 6f 74 20 66 6f 75 6e 64 22 28 6b 77 ut not found"(kw
3560: 64 2c 6d 73 67 29 29 3b 0d 0a 09 09 09 65 6c 73 d,msg));.....els
3570: 65 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e e......throw gen
3580: 65 78 21 50 61 72 73 65 45 78 63 65 70 74 69 6f ex!ParseExceptio
3590: 6e 28 0d 0a 09 09 09 09 09 63 75 72 72 65 6e 74 n(.......current
35a0: 50 6f 73 69 74 69 6f 6e 28 29 2c 20 73 70 72 69 Position(), spri
35b0: 6e 74 66 21 22 25 73 20 69 73 20 65 78 70 65 63 ntf!"%s is expec
35c0: 74 65 64 20 66 6f 72 20 25 73 20 62 75 74 20 6e ted for %s but n
35d0: 6f 74 20 66 6f 75 6e 64 22 28 6b 77 64 2c 6d 73 ot found"(kwd,ms
35e0: 67 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 62 6f 6f g));...}.....boo
35f0: 6c 20 74 72 79 45 61 74 28 73 74 72 69 6e 67 20 l tryEat(string
3600: 6b 77 64 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 kwd)...{....if(
3610: 6c 65 78 2e 65 6d 70 74 79 20 7c 7c 20 6c 65 78 lex.empty || lex
3620: 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 7c 7c .front.quoted ||
3630: 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d lex.front.str!=
3640: 6b 77 64 20 29 0d 0a 09 09 09 72 65 74 75 72 6e kwd ).....return
3650: 20 66 61 6c 73 65 3b 0d 0a 09 09 6c 65 78 2e 70 false;....lex.p
3660: 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 opFront;....retu
3670: 72 6e 20 74 72 75 65 3b 0d 0a 09 7d 0d 0a 0d 0a rn true;...}....
3680: 09 65 6e 75 6d 20 7b 41 6c 6c 6f 77 51 75 6f 74 .enum {AllowQuot
3690: 65 64 3d 74 72 75 65 2c 20 44 69 73 61 6c 6c 6f ed=true, Disallo
36a0: 77 51 75 6f 74 65 64 3d 66 61 6c 73 65 7d 3b 0d wQuoted=false};.
36b0: 0a 09 73 74 72 69 6e 67 20 65 61 74 49 64 28 6c ..string eatId(l
36c0: 61 7a 79 20 73 74 72 69 6e 67 20 6d 73 67 2c 20 azy string msg,
36d0: 62 6f 6f 6c 20 61 71 3d 44 69 73 61 6c 6c 6f 77 bool aq=Disallow
36e0: 51 75 6f 74 65 64 29 0d 0a 09 7b 0d 0a 09 09 69 Quoted)...{....i
36f0: 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d 0a f( lex.empty )..
3700: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 55 ...throw genex!U
3710: 6e 65 78 70 65 63 74 65 64 45 4f 46 28 63 75 72 nexpectedEOF(cur
3720: 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 rentPosition(),
3730: 22 69 64 65 6e 74 69 66 69 65 72 20 69 73 20 65 "identifier is e
3740: 78 70 65 63 74 65 64 20 62 75 74 20 6e 6f 74 20 xpected but not
3750: 66 6f 75 6e 64 20 22 7e 6d 73 67 29 3b 0d 0a 09 found "~msg);...
3760: 09 69 66 28 20 21 61 71 20 26 26 20 6c 65 78 2e .if( !aq && lex.
3770: 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 29 0d 0a front.quoted )..
3780: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 50 ...throw genex!P
3790: 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 63 75 arseException(cu
37a0: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c rrentPosition(),
37b0: 20 22 69 64 65 6e 74 69 66 69 65 72 20 69 73 20 "identifier is
37c0: 65 78 70 65 63 74 65 64 20 62 75 74 20 6e 6f 74 expected but not
37d0: 20 66 6f 75 6e 64 20 22 7e 6d 73 67 29 3b 0d 0a found "~msg);..
37e0: 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 ..scope(exit) le
37f0: 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 x.popFront;....r
3800: 65 74 75 72 6e 20 6c 65 78 2e 66 72 6f 6e 74 2e eturn lex.front.
3810: 73 74 72 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 str;...}.....AST
3820: 20 64 6f 4e 6f 74 68 69 6e 67 45 78 70 72 65 73 doNothingExpres
3830: 73 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 72 65 sion()...{....re
3840: 74 75 72 6e 20 6e 65 77 20 53 74 72 4c 69 74 65 turn new StrLite
3850: 72 61 6c 28 63 75 72 72 65 6e 74 50 6f 73 69 74 ral(currentPosit
3860: 69 6f 6e 28 29 2c 20 22 28 65 6d 70 74 79 20 66 ion(), "(empty f
3870: 75 6e 63 74 69 6f 6e 20 62 6f 64 79 29 22 29 3b unction body)");
3880: 0d 0a 09 7d 0d 0a 0d 0a 09 69 6d 6d 75 74 61 62 ...}.....immutab
3890: 6c 65 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 20 le(LexPosition)
38a0: 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 currentPosition(
38b0: 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 )...{....return
38c0: 6c 65 78 2e 65 6d 70 74 79 20 3f 20 6e 75 6c 6c lex.empty ? null
38d0: 20 3a 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 : lex.front.pos
38e0: 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 ;...}..}....unit
38f0: 74 65 73 74 0d 0a 7b 0d 0a 09 6d 69 78 69 6e 20 test..{...mixin
3900: 45 61 73 79 41 53 54 3b 0d 0a 0d 0a 09 61 73 73 EasyAST;.....ass
3910: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
3920: 6e 67 28 60 31 32 33 60 29 2c 20 69 6e 74 6c 28 ng(`123`), intl(
3930: 31 32 33 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 123));...assert_
3940: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
3950: 22 66 6f 6f 22 60 29 2c 20 73 74 72 6c 28 22 66 "foo"`), strl("f
3960: 6f 6f 22 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f oo"));...assert_
3970: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
3980: 66 75 6e 28 29 7b 31 7d 60 29 2c 20 66 75 6e 28 fun(){1}`), fun(
3990: 5b 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 [],intl(1)));...
39a0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
39b0: 74 72 69 6e 67 28 60 66 75 6e 28 78 29 7b 31 7d tring(`fun(x){1}
39c0: 60 29 2c 20 66 75 6e 28 5b 22 78 22 5d 2c 69 6e `), fun(["x"],in
39d0: 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(1)));...asser
39e0: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
39f0: 28 22 5c 75 30 33 42 42 28 29 7b 31 7d 22 29 2c ("\u03BB(){1}"),
3a00: 20 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 31 29 29 fun([],intl(1))
3a10: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
3a20: 61 72 73 65 53 74 72 69 6e 67 28 22 5c 75 30 33 arseString("\u03
3a30: 42 42 28 78 29 7b 31 7d 22 29 2c 20 66 75 6e 28 BB(x){1}"), fun(
3a40: 5b 22 78 22 5d 2c 69 6e 74 6c 28 31 29 29 29 3b ["x"],intl(1)));
3a50: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
3a60: 73 65 53 74 72 69 6e 67 28 60 31 3b 32 60 29 2c seString(`1;2`),
3a70: 20 6c 65 74 28 22 5f 22 2c 22 22 2c 69 6e 74 6c let("_","",intl
3a80: 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a (1),intl(2)));..
3a90: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
3aa0: 53 74 72 69 6e 67 28 60 31 3b 32 3b 60 29 2c 20 String(`1;2;`),
3ab0: 6c 65 74 28 22 5f 22 2c 22 22 2c 69 6e 74 6c 28 let("_","",intl(
3ac0: 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 1),intl(2)));...
3ad0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
3ae0: 74 72 69 6e 67 28 60 6c 65 74 20 78 3d 31 20 69 tring(`let x=1 i
3af0: 6e 20 32 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 n 2`), let("x","
3b00: 22 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 ",intl(1),intl(2
3b10: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
3b20: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 76 61 (parseString(`va
3b30: 72 20 78 3d 31 3b 32 3b 60 29 2c 20 6c 65 74 28 r x=1;2;`), let(
3b40: 22 78 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 69 "x","",intl(1),i
3b50: 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 ntl(2)));...asse
3b60: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
3b70: 67 28 60 64 65 66 20 78 3d 31 60 29 2c 20 6c 65 g(`def x=1`), le
3b80: 74 28 22 78 22 2c 22 22 2c 69 6e 74 6c 28 31 29 t("x","",intl(1)
3b90: 2c 76 61 72 28 22 78 22 29 29 29 3b 0d 0a 09 61 ,var("x")));...a
3ba0: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
3bb0: 72 69 6e 67 28 60 40 76 61 6c 20 78 3d 31 3b 60 ring(`@val x=1;`
3bc0: 29 2c 20 6c 65 74 28 22 78 22 2c 22 40 76 61 6c ), let("x","@val
3bd0: 22 2c 69 6e 74 6c 28 31 29 2c 76 61 72 28 22 78 ",intl(1),var("x
3be0: 22 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 ")));...assert_e
3bf0: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 40 q(parseString(`@
3c00: 74 79 70 20 78 3d 22 23 69 6e 74 22 3b 60 29 2c typ x="#int";`),
3c10: 20 6c 65 74 28 22 78 22 2c 22 40 74 79 70 22 2c let("x","@typ",
3c20: 73 74 72 6c 28 22 23 69 6e 74 22 29 2c 76 61 72 strl("#int"),var
3c30: 28 22 78 22 29 29 29 3b 0d 0a 09 61 73 73 65 72 ("x")));...asser
3c40: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
3c50: 28 60 66 28 31 2c 32 29 60 29 2c 20 63 61 6c 6c (`f(1,2)`), call
3c60: 28 76 61 72 28 22 66 22 29 2c 69 6e 74 6c 28 31 (var("f"),intl(1
3c70: 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 ),intl(2)));...a
3c80: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
3c90: 72 69 6e 67 28 60 69 66 28 31 29 7b 32 7d 60 29 ring(`if(1){2}`)
3ca0: 2c 20 63 61 6c 6c 28 76 61 72 28 22 69 66 22 29 , call(var("if")
3cb0: 2c 69 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c ,intl(1),fun([],
3cc0: 69 6e 74 6c 28 32 29 29 2c 66 75 6e 28 5b 5d 2c intl(2)),fun([],
3cd0: 73 74 72 6c 28 22 28 65 6d 70 74 79 20 66 75 6e strl("(empty fun
3ce0: 63 74 69 6f 6e 20 62 6f 64 79 29 22 29 29 29 29 ction body)"))))
3cf0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
3d00: 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 31 29 rseString(`if(1)
3d10: 7b 32 7d 65 6c 73 65 7b 33 7d 60 29 2c 20 63 61 {2}else{3}`), ca
3d20: 6c 6c 28 76 61 72 28 22 69 66 22 29 2c 69 6e 74 ll(var("if"),int
3d30: 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c l(1),fun([],intl
3d40: 28 32 29 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c (2)),fun([],intl
3d50: 28 33 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 (3))));...assert
3d60: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
3d70: 60 69 66 28 31 29 7b 7d 65 6c 73 65 7b 33 7d 28 `if(1){}else{3}(
3d80: 29 28 29 60 29 2c 0d 0a 09 09 63 61 6c 6c 28 63 )()`),....call(c
3d90: 61 6c 6c 28 63 61 6c 6c 28 76 61 72 28 22 69 66 all(call(var("if
3da0: 22 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e 28 5b "),intl(1),fun([
3db0: 5d 2c 73 74 72 6c 28 22 28 65 6d 70 74 79 20 66 ],strl("(empty f
3dc0: 75 6e 63 74 69 6f 6e 20 62 6f 64 79 29 22 29 29 unction body)"))
3dd0: 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 33 29 29 ,fun([],intl(3))
3de0: 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 ))));...assert_e
3df0: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 q(parseString(`1
3e00: 2b 32 2a 33 60 29 2c 20 63 61 6c 6c 28 76 61 72 +2*3`), call(var
3e10: 28 22 2b 22 29 2c 69 6e 74 6c 28 31 29 2c 63 61 ("+"),intl(1),ca
3e20: 6c 6c 28 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c ll(var("*"),intl
3e30: 28 32 29 2c 69 6e 74 6c 28 33 29 29 29 29 3b 0d (2),intl(3))));.
3e40: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
3e50: 65 53 74 72 69 6e 67 28 60 28 31 2b 32 29 2a 33 eString(`(1+2)*3
3e60: 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2a 22 `), call(var("*"
3e70: 29 2c 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c ),call(var("+"),
3e80: 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 intl(1),intl(2))
3e90: 2c 69 6e 74 6c 28 33 29 29 29 3b 0d 0a 09 61 73 ,intl(3)));...as
3ea0: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
3eb0: 69 6e 67 28 60 31 2a 28 32 2b 33 29 60 29 2c 20 ing(`1*(2+3)`),
3ec0: 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c 69 6e call(var("*"),in
3ed0: 74 6c 28 31 29 2c 63 61 6c 6c 28 76 61 72 28 22 tl(1),call(var("
3ee0: 2b 22 29 2c 69 6e 74 6c 28 32 29 2c 69 6e 74 6c +"),intl(2),intl
3ef0: 28 33 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 (3))));...assert
3f00: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
3f10: 60 31 2a 32 2b 33 60 29 2c 20 63 61 6c 6c 28 76 `1*2+3`), call(v
3f20: 61 72 28 22 2b 22 29 2c 63 61 6c 6c 28 76 61 72 ar("+"),call(var
3f30: 28 22 2a 22 29 2c 69 6e 74 6c 28 31 29 2c 69 6e ("*"),intl(1),in
3f40: 74 6c 28 32 29 29 2c 69 6e 74 6c 28 33 29 29 29 tl(2)),intl(3)))
3f50: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
3f60: 72 73 65 53 74 72 69 6e 67 28 60 40 78 28 31 29 rseString(`@x(1)
3f70: 60 29 2c 20 6c 61 79 28 22 40 78 22 2c 20 69 6e `), lay("@x", in
3f80: 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(1)));...asser
3f90: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
3fa0: 28 60 66 75 6e 28 78 20 40 76 20 40 74 2c 20 79 (`fun(x @v @t, y
3fb0: 2c 20 7a 20 40 74 29 7b 7d 60 29 2c 0d 0a 09 09 , z @t){}`),....
3fc0: 66 75 6e 70 28 5b 70 61 72 61 6d 28 22 78 22 2c funp([param("x",
3fd0: 5b 22 40 76 22 2c 22 40 74 22 5d 29 2c 20 70 61 ["@v","@t"]), pa
3fe0: 72 61 6d 28 22 79 22 2c 5b 5d 29 2c 20 70 61 72 ram("y",[]), par
3ff0: 61 6d 28 22 7a 22 2c 5b 22 40 74 22 5d 29 5d 2c am("z",["@t"])],
4000: 20 73 74 72 6c 28 22 28 65 6d 70 74 79 20 66 75 strl("(empty fu
4010: 6e 63 74 69 6f 6e 20 62 6f 64 79 29 22 29 29 29 nction body)")))
4020: 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ;.....assert_eq(
4030: 70 61 72 73 65 53 74 72 69 6e 67 28 60 0d 0a 09 parseString(`...
4040: 09 6c 65 74 20 78 20 3d 20 31 30 30 3b 20 23 63 .let x = 100; #c
4050: 6f 6d 6d 65 6e 74 0d 0a 09 09 6c 65 74 20 79 20 omment....let y
4060: 3d 20 32 30 30 3b 20 23 63 6f 6d 6d 65 6e 74 21 = 200; #comment!
4070: 21 21 21 21 0d 0a 09 09 09 78 2b 79 0d 0a 09 60 !!!!.....x+y...`
4080: 29 2c 0d 0a 09 09 6c 65 74 28 22 78 22 2c 20 22 ),....let("x", "
4090: 22 2c 20 69 6e 74 6c 28 31 30 30 29 2c 20 6c 65 ", intl(100), le
40a0: 74 28 22 79 22 2c 20 22 22 2c 20 69 6e 74 6c 28 t("y", "", intl(
40b0: 32 30 30 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 200), call(var("
40c0: 2b 22 29 2c 20 76 61 72 28 22 78 22 29 2c 20 76 +"), var("x"), v
40d0: 61 72 28 22 79 22 29 29 29 29 0d 0a 09 29 3b 0d ar("y"))))...);.
40e0: 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ....assert_eq(pa
40f0: 72 73 65 53 74 72 69 6e 67 28 60 0d 0a 09 09 76 rseString(`....v
4100: 61 72 20 66 61 63 20 3d 20 66 75 6e 28 78 29 7b ar fac = fun(x){
4110: 20 69 66 28 78 20 3c 3d 20 31 29 20 7b 31 7d 20 if(x <= 1) {1}
4120: 65 6c 73 65 20 7b 78 2a 66 61 63 28 78 2d 31 29 else {x*fac(x-1)
4130: 7d 20 7d 3b 0d 0a 09 09 66 61 63 28 31 30 29 0d } };....fac(10).
4140: 0a 09 60 29 2c 0d 0a 09 09 6c 65 74 28 22 66 61 ..`),....let("fa
4150: 63 22 2c 20 22 22 2c 20 66 75 6e 28 5b 22 78 22 c", "", fun(["x"
4160: 5d 2c 0d 0a 09 09 09 63 61 6c 6c 28 76 61 72 28 ],.....call(var(
4170: 22 69 66 22 29 2c 0d 0a 09 09 09 09 63 61 6c 6c "if"),......call
4180: 28 76 61 72 28 22 3c 3d 22 29 2c 20 76 61 72 28 (var("<="), var(
4190: 22 78 22 29 2c 20 69 6e 74 6c 28 31 29 29 2c 0d "x"), intl(1)),.
41a0: 0a 09 09 09 09 66 75 6e 28 5b 5d 2c 20 69 6e 74 .....fun([], int
41b0: 6c 28 31 29 29 2c 0d 0a 09 09 09 09 66 75 6e 28 l(1)),......fun(
41c0: 5b 5d 2c 20 63 61 6c 6c 28 76 61 72 28 22 2a 22 [], call(var("*"
41d0: 29 2c 20 76 61 72 28 22 78 22 29 2c 20 63 61 6c ), var("x"), cal
41e0: 6c 28 76 61 72 28 22 66 61 63 22 29 2c 63 61 6c l(var("fac"),cal
41f0: 6c 28 76 61 72 28 22 2d 22 29 2c 76 61 72 28 22 l(var("-"),var("
4200: 78 22 29 2c 69 6e 74 6c 28 31 29 29 29 29 29 0d x"),intl(1))))).
4210: 0a 09 09 09 29 29 2c 0d 0a 09 09 09 63 61 6c 6c ....)),.....call
4220: 28 76 61 72 28 22 66 61 63 22 29 2c 69 6e 74 6c (var("fac"),intl
4230: 28 31 30 29 29 0d 0a 09 09 29 0d 0a 09 29 3b 0d (10))....)...);.
4240: 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a .}....unittest..
4250: 7b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 {...assert_throw
4260: 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 28 70 !UnexpectedEOF(p
4270: 61 72 73 65 53 74 72 69 6e 67 28 60 31 2b 60 29 arseString(`1+`)
4280: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
4290: 77 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e w!ParseException
42a0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2b (parseString(`1+
42b0: 32 7d 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 2}`));...assert_
42c0: 74 68 72 6f 77 21 55 6e 65 78 70 65 63 74 65 64 throw!Unexpected
42d0: 45 4f 46 28 70 61 72 73 65 53 74 72 69 6e 67 28 EOF(parseString(
42e0: 60 6c 65 74 20 22 78 22 60 29 29 3b 0d 0a 09 61 `let "x"`));...a
42f0: 73 73 65 72 74 5f 74 68 72 6f 77 21 55 6e 65 78 ssert_throw!Unex
4300: 70 65 63 74 65 64 45 4f 46 28 70 61 72 73 65 53 pectedEOF(parseS
4310: 74 72 69 6e 67 28 60 76 61 72 60 29 29 3b 0d 0a tring(`var`));..
4320: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 50 61 .assert_throw!Pa
4330: 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 61 72 rseException(par
4340: 73 65 53 74 72 69 6e 67 28 60 40 76 61 6c 20 78 seString(`@val x
4350: 20 3d 3d 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 ==`));...assert
4360: 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 _throw!ParseExce
4370: 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e ption(parseStrin
4380: 67 28 60 69 66 28 29 7b 31 7d 60 29 29 3b 0d 0a g(`if(){1}`));..
4390: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 55 6e .assert_throw!Un
43a0: 65 78 70 65 63 74 65 64 45 4f 46 28 70 61 72 73 expectedEOF(pars
43b0: 65 53 74 72 69 6e 67 28 60 66 28 60 29 29 3b 0d eString(`f(`));.
43c0: 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a .}....unittest..
43d0: 7b 0d 0a 09 6d 69 78 69 6e 20 45 61 73 79 41 53 {...mixin EasyAS
43e0: 54 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 T;...assert_eq(p
43f0: 61 72 73 65 53 74 72 69 6e 67 28 60 64 65 66 20 arseString(`def
4400: 66 6f 6f 28 78 29 20 7b 20 78 2b 31 20 7d 3b 20 foo(x) { x+1 };
4410: 66 6f 6f 60 29 2c 0d 0a 09 09 6c 65 74 28 22 66 foo`),....let("f
4420: 6f 6f 22 2c 20 22 22 2c 0d 0a 09 09 09 66 75 6e oo", "",.....fun
4430: 28 5b 22 78 22 5d 2c 20 63 61 6c 6c 28 76 61 72 (["x"], call(var
4440: 28 22 2b 22 29 2c 20 76 61 72 28 22 78 22 29 2c ("+"), var("x"),
4450: 20 69 6e 74 6c 28 31 29 29 29 2c 0d 0a 09 09 09 intl(1))),.....
4460: 76 61 72 28 22 66 6f 6f 22 29 29 0d 0a 09 29 3b var("foo"))...);
4470: 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 .....assert_eq(p
4480: 61 72 73 65 53 74 72 69 6e 67 28 60 40 40 74 79 arseString(`@@ty
4490: 70 65 20 28 20 78 20 29 20 7b 20 78 20 7d 60 29 pe ( x ) { x }`)
44a0: 2c 0d 0a 09 09 6c 65 74 28 22 40 74 79 70 65 22 ,....let("@type"
44b0: 2c 20 53 79 73 74 65 6d 4c 61 79 65 72 2c 20 66 , SystemLayer, f
44c0: 75 6e 28 5b 22 78 22 5d 2c 20 76 61 72 28 22 78 un(["x"], var("x
44d0: 22 29 29 2c 20 6c 61 79 28 53 79 73 74 65 6d 4c ")), lay(SystemL
44e0: 61 79 65 72 2c 20 76 61 72 28 22 40 74 79 70 65 ayer, var("@type
44f0: 22 29 29 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 "))) );.....asse
4500: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
4510: 67 28 60 7b 7d 60 29 2c 20 63 61 6c 6c 28 76 61 g(`{}`), call(va
4520: 72 28 22 7b 7d 22 29 29 29 3b 0d 0a 09 61 73 73 r("{}")));...ass
4530: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
4540: 6e 67 28 60 7b 66 6f 6f 3a 31 2c 22 62 61 72 22 ng(`{foo:1,"bar"
4550: 3a 32 7d 60 29 2c 0d 0a 09 09 63 61 6c 6c 28 76 :2}`),....call(v
4560: 61 72 28 22 2e 3d 22 29 2c 20 63 61 6c 6c 28 76 ar(".="), call(v
4570: 61 72 28 22 2e 3d 22 29 2c 20 63 61 6c 6c 28 76 ar(".="), call(v
4580: 61 72 28 22 7b 7d 22 29 29 2c 20 73 74 72 6c 28 ar("{}")), strl(
4590: 22 66 6f 6f 22 29 2c 20 69 6e 74 6c 28 31 29 29 "foo"), intl(1))
45a0: 2c 20 73 74 72 6c 28 22 62 61 72 22 29 2c 20 69 , strl("bar"), i
45b0: 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 ntl(2)));...asse
45c0: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
45d0: 67 28 60 7b 7d 2e 66 6f 6f 60 29 2c 20 63 61 6c g(`{}.foo`), cal
45e0: 6c 28 76 61 72 28 22 2e 22 29 2c 63 61 6c 6c 28 l(var("."),call(
45f0: 76 61 72 28 22 7b 7d 22 29 29 2c 73 74 72 6c 28 var("{}")),strl(
4600: 22 66 6f 6f 22 29 29 29 3b 0d 0a 09 61 73 73 65 "foo")));...asse
4610: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
4620: 67 28 60 7b 7d 2e 3f 66 6f 6f 60 29 2c 20 63 61 g(`{}.?foo`), ca
4630: 6c 6c 28 76 61 72 28 22 2e 3f 22 29 2c 63 61 6c ll(var(".?"),cal
4640: 6c 28 76 61 72 28 22 7b 7d 22 29 29 2c 73 74 72 l(var("{}")),str
4650: 6c 28 22 66 6f 6f 22 29 29 29 3b 0d 0a 09 61 73 l("foo")));...as
4660: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
4670: 69 6e 67 28 60 78 7b 79 3a 31 7d 60 29 2c 20 63 ing(`x{y:1}`), c
4680: 61 6c 6c 28 76 61 72 28 22 2e 3d 22 29 2c 76 61 all(var(".="),va
4690: 72 28 22 78 22 29 2c 73 74 72 6c 28 22 79 22 29 r("x"),strl("y")
46a0: 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 7d 0d 0a ,intl(1)));..}..
46b0: 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 ..unittest..{...
46c0: 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 70 assert_nothrow(p
46d0: 61 72 73 65 53 74 72 69 6e 67 28 60 0d 0a 09 09 arseString(`....
46e0: 63 61 73 65 28 20 31 20 29 0d 0a 09 09 09 77 68 case( 1 ).....wh
46f0: 65 6e 28 78 29 7b 31 7d 0d 0a 09 60 29 29 3b 0d en(x){1}...`));.
4700: 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 ..assert_nothrow
4710: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 0d 0a (parseString(`..
4720: 09 09 63 61 73 65 28 20 31 20 29 0d 0a 09 09 09 ..case( 1 ).....
4730: 77 68 65 6e 28 7b 61 61 61 61 3a 5f 7d 29 7b 31 when({aaaa:_}){1
4740: 7d 0d 0a 09 60 29 29 3b 0d 0a 7d }...`));..}