0000: 2f 2a 2a 0a 20 2a 20 41 75 74 68 6f 72 73 3a 20 /**. * Authors:
0010: 6b 2e 69 6e 61 62 61 0a 20 2a 20 4c 69 63 65 6e k.inaba. * Licen
0020: 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38 32 20 se: NYSL 0.9982
0030: 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f http://www.kmono
0040: 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0a 20 2a 0a 20 s.net/nysl/. *.
0050: 2a 20 50 61 72 73 65 72 20 66 6f 72 20 50 6f 6c * Parser for Pol
0060: 65 6d 79 20 70 72 6f 67 72 61 6d 6d 69 6e 67 20 emy programming
0070: 6c 61 6e 67 75 61 67 65 0a 20 2a 2f 0a 6d 6f 64 language. */.mod
0080: 75 6c 65 20 70 6f 6c 65 6d 79 2e 70 61 72 73 65 ule polemy.parse
0090: 3b 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e ;.import polemy.
00a0: 5f 63 6f 6d 6d 6f 6e 3b 0a 69 6d 70 6f 72 74 20 _common;.import
00b0: 70 6f 6c 65 6d 79 2e 6c 65 78 3b 0a 69 6d 70 6f polemy.lex;.impo
00c0: 72 74 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0a 0d rt polemy.ast;..
00d0: 0a 2f 2f 2f 20 45 78 63 65 70 74 69 6f 6e 20 66 ./// Exception f
00e0: 72 6f 6d 20 74 68 69 73 20 6d 6f 64 75 6c 65 0d rom this module.
00f0: 0a 0a 63 6c 61 73 73 20 50 61 72 73 65 45 78 63 ..class ParseExc
0100: 65 70 74 69 6f 6e 20 3a 20 45 78 63 65 70 74 69 eption : Excepti
0110: 6f 6e 0a 7b 0a 09 6d 69 78 69 6e 20 45 78 63 65 on.{..mixin Exce
0120: 70 74 69 6f 6e 57 69 74 68 50 6f 73 69 74 69 6f ptionWithPositio
0130: 6e 3b 0d 0a 7d 0a 0d 0a 2f 2f 2f 20 45 6e 74 72 n;..}.../// Entr
0140: 79 20 70 6f 69 6e 74 73 20 6f 66 20 74 68 69 73 y points of this
0150: 20 6d 6f 64 75 6c 65 0d 0a 0d 0a 61 75 74 6f 20 module....auto
0160: 70 61 72 73 65 53 74 72 69 6e 67 28 53 2c 20 54 parseString(S, T
0170: 2e 2e 2e 29 28 53 20 73 74 72 2c 20 54 20 66 6e ...)(S str, T fn
0180: 5f 6c 6e 5f 63 6e 29 0d 0a 09 7b 20 72 65 74 75 _ln_cn)...{ retu
0190: 72 6e 20 70 61 72 73 65 72 46 72 6f 6d 53 74 72 rn parserFromStr
01a0: 69 6e 67 28 73 74 72 2c 20 66 6e 5f 6c 6e 5f 63 ing(str, fn_ln_c
01b0: 6e 29 2e 70 61 72 73 65 28 29 3b 20 7d 0d 0a 0d n).parse(); }...
01c0: 0a 61 75 74 6f 20 70 61 72 73 65 46 69 6c 65 28 .auto parseFile(
01d0: 53 2c 20 54 2e 2e 2e 29 28 53 20 66 69 6c 65 6e S, T...)(S filen
01e0: 61 6d 65 2c 20 54 20 6c 6e 5f 63 6e 29 0d 0a 09 ame, T ln_cn)...
01f0: 7b 20 72 65 74 75 72 6e 20 70 61 72 73 65 72 46 { return parserF
0200: 72 6f 6d 46 69 6c 65 28 66 69 6c 65 6e 61 6d 65 romFile(filename
0210: 2c 20 6c 6e 5f 63 6e 29 2e 70 61 72 73 65 28 29 , ln_cn).parse()
0220: 3b 20 7d 0d 0a 0d 0a 2f 2f 2f 20 4e 61 6d 65 64 ; }..../// Named
0230: 20 43 6f 6e 73 74 72 75 63 74 6f 72 20 6f 66 20 Constructor of
0240: 50 61 72 73 65 72 0a 0d 0a 70 72 69 76 61 74 65 Parser...private
0250: 20 61 75 74 6f 20 70 61 72 73 65 72 46 72 6f 6d auto parserFrom
0260: 4c 65 78 65 72 28 4c 65 78 65 72 29 28 4c 65 78 Lexer(Lexer)(Lex
0270: 65 72 20 6c 65 78 29 0a 09 7b 20 72 65 74 75 72 er lex)..{ retur
0280: 6e 20 6e 65 77 20 50 61 72 73 65 72 21 4c 65 78 n new Parser!Lex
0290: 65 72 28 6c 65 78 29 3b 20 7d 0a 0a 70 72 69 76 er(lex); }..priv
02a0: 61 74 65 20 61 75 74 6f 20 70 61 72 73 65 72 46 ate auto parserF
02b0: 72 6f 6d 53 74 72 69 6e 67 28 54 2e 2e 2e 29 28 romString(T...)(
02c0: 54 20 70 61 72 61 6d 73 29 0a 09 7b 20 72 65 74 T params)..{ ret
02d0: 75 72 6e 20 70 61 72 73 65 72 46 72 6f 6d 4c 65 urn parserFromLe
02e0: 78 65 72 28 70 6f 6c 65 6d 79 2e 6c 65 78 2e 6c xer(polemy.lex.l
02f0: 65 78 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 70 exerFromString(p
0300: 61 72 61 6d 73 29 29 3b 20 7d 0a 0a 70 72 69 76 arams)); }..priv
0310: 61 74 65 20 61 75 74 6f 20 70 61 72 73 65 72 46 ate auto parserF
0320: 72 6f 6d 46 69 6c 65 28 54 2e 2e 2e 29 28 54 20 romFile(T...)(T
0330: 70 61 72 61 6d 73 29 0a 09 7b 20 72 65 74 75 72 params)..{ retur
0340: 6e 20 70 61 72 73 65 72 46 72 6f 6d 4c 65 78 65 n parserFromLexe
0350: 72 28 70 6f 6c 65 6d 79 2e 6c 65 78 2e 6c 65 78 r(polemy.lex.lex
0360: 65 72 46 72 6f 6d 46 69 6c 65 28 70 61 72 61 6d erFromFile(param
0370: 73 29 29 3b 20 7d 0d 0a 0d 0a 2f 2f 2f 20 50 61 s)); }..../// Pa
0380: 72 73 65 72 0a 0a 70 72 69 76 61 74 65 20 63 6c rser..private cl
0390: 61 73 73 20 50 61 72 73 65 72 28 4c 65 78 65 72 ass Parser(Lexer
03a0: 29 0d 0a 09 69 66 28 20 69 73 46 6f 72 77 61 72 )...if( isForwar
03b0: 64 52 61 6e 67 65 21 28 4c 65 78 65 72 29 20 26 dRange!(Lexer) &
03c0: 26 20 69 73 28 45 6c 65 6d 65 6e 74 54 79 70 65 & is(ElementType
03d0: 21 28 4c 65 78 65 72 29 20 3d 3d 20 54 6f 6b 65 !(Lexer) == Toke
03e0: 6e 29 20 29 0a 7b 0d 0a 09 41 53 54 20 70 61 72 n) ).{...AST par
03f0: 73 65 28 29 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 se()..{....auto
0400: 65 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 69 e = Body();....i
0410: 66 28 20 21 6c 65 78 2e 65 6d 70 74 79 20 29 0d f( !lex.empty ).
0420: 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
0430: 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 63 ParseException(c
0440: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 urrentPosition()
0450: 2c 20 22 70 61 72 73 69 6e 67 20 65 6e 64 65 64 , "parsing ended
0460: 20 62 75 74 20 73 6f 6d 65 20 74 6f 6b 65 6e 73 but some tokens
0470: 20 6c 65 66 74 22 29 3b 0d 0a 09 09 72 65 74 75 left");....retu
0480: 72 6e 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 rn e;...}.....AS
0490: 54 20 42 6f 64 79 28 29 0d 0a 09 7b 0d 0a 09 09 T Body()...{....
04a0: 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 7c 7c if( lex.empty ||
04b0: 20 21 6c 65 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 !lex.front.quot
04c0: 65 64 20 26 26 20 5b 22 7d 22 2c 22 29 22 2c 22 ed && ["}",")","
04d0: 5d 22 5d 2e 63 61 6e 46 69 6e 64 28 6c 65 78 2e ]"].canFind(lex.
04e0: 66 72 6f 6e 74 2e 73 74 72 29 20 29 0d 0a 09 09 front.str) )....
04f0: 09 72 65 74 75 72 6e 20 64 6f 4e 6f 74 68 69 6e .return doNothin
0500: 67 45 78 70 72 65 73 73 69 6f 6e 28 29 3b 0d 0a gExpression();..
0510: 0d 0a 09 09 61 75 74 6f 20 73 61 76 65 64 20 3d ....auto saved =
0520: 20 6c 65 78 2e 73 61 76 65 3b 0d 0a 09 09 61 75 lex.save;....au
0530: 74 6f 20 70 6f 73 20 3d 20 6c 65 78 2e 66 72 6f to pos = lex.fro
0540: 6e 74 2e 70 6f 73 3b 0d 0a 09 09 73 74 72 69 6e nt.pos;....strin
0550: 67 20 6b 77 64 20 3d 20 6c 65 78 2e 66 72 6f 6e g kwd = lex.fron
0560: 74 2e 73 74 72 3b 0d 0a 09 09 69 66 28 20 74 72 t.str;....if( tr
0570: 79 45 61 74 28 22 6c 65 74 22 29 20 7c 7c 20 74 yEat("let") || t
0580: 72 79 45 61 74 28 22 76 61 72 22 29 20 7c 7c 20 ryEat("var") ||
0590: 74 72 79 45 61 74 28 22 64 65 66 22 29 20 7c 7c tryEat("def") ||
05a0: 20 74 72 79 45 61 74 28 22 40 22 29 20 29 0d 0a tryEat("@") )..
05b0: 09 09 7b 0d 0a 09 09 09 69 66 28 20 6b 77 64 20 ..{.....if( kwd
05c0: 3d 3d 20 22 40 22 20 29 20 7b 0d 0a 09 09 09 09 == "@" ) {......
05d0: 6b 77 64 20 7e 3d 20 65 61 74 49 64 28 22 61 66 kwd ~= eatId("af
05e0: 74 65 72 20 40 22 2c 74 72 75 65 29 3b 0d 0a 09 ter @",true);...
05f0: 09 09 09 69 66 28 20 74 72 79 45 61 74 28 22 28 ...if( tryEat("(
0600: 22 29 20 29 20 7b 0d 0a 09 09 09 09 09 6c 65 78 ") ) {.......lex
0610: 20 3d 20 73 61 76 65 64 3b 0d 0a 09 09 09 09 09 = saved;.......
0620: 67 6f 74 6f 20 61 73 45 78 70 72 65 73 73 69 6f goto asExpressio
0630: 6e 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 7d 0d n;......}.....}.
0640: 0a 09 09 09 69 6d 6d 75 74 61 62 6c 65 20 4c 65 ....immutable Le
0650: 78 50 6f 73 69 74 69 6f 6e 20 76 61 72 70 6f 73 xPosition varpos
0660: 20 3d 20 28 6c 65 78 2e 65 6d 70 74 79 20 3f 20 = (lex.empty ?
0670: 6e 75 6c 6c 20 3a 20 6c 65 78 2e 66 72 6f 6e 74 null : lex.front
0680: 2e 70 6f 73 29 3b 0d 0a 09 09 09 73 74 72 69 6e .pos);.....strin
0690: 67 20 76 61 72 20 3d 20 65 61 74 49 64 28 22 61 g var = eatId("a
06a0: 66 74 65 72 20 22 7e 6b 77 64 2c 74 72 75 65 29 fter "~kwd,true)
06b0: 3b 0d 0a 09 09 09 2f 2f 20 5b 54 4f 44 4f 5d 20 ;.....// [TODO]
06c0: 72 65 66 61 63 74 6f 72 2e 20 6f 6e 6c 79 20 61 refactor. only a
06d0: 75 74 6f 20 65 20 3d 20 2e 2e 2e 20 64 69 66 66 uto e = ... diff
06e0: 65 72 0d 0a 09 09 09 69 66 28 74 72 79 45 61 74 er.....if(tryEat
06f0: 28 22 28 22 29 29 20 7b 0d 0a 09 09 09 09 6b 77 ("(")) {......kw
0700: 64 20 3d 20 28 6b 77 64 5b 30 5d 3d 3d 27 40 27 d = (kwd[0]=='@'
0710: 20 3f 20 6b 77 64 20 3a 20 22 22 29 3b 20 2f 2f ? kwd : ""); //
0720: 20 22 6c 65 74 2c 20 76 61 72 2c 20 64 65 66 20 "let, var, def
0730: 3d 3d 3e 20 6e 65 75 74 72 61 6c 20 6c 61 79 65 ==> neutral laye
0740: 72 22 0d 0a 09 09 09 09 61 75 74 6f 20 65 20 3d r"......auto e =
0750: 20 70 61 72 73 65 4c 61 6d 62 64 61 41 66 74 65 parseLambdaAfte
0760: 72 4f 70 65 6e 50 61 72 65 6e 28 76 61 72 70 6f rOpenParen(varpo
0770: 73 29 3b 0d 0a 09 09 09 09 69 66 28 20 74 72 79 s);......if( try
0780: 45 61 74 28 22 3b 22 29 20 26 26 20 21 6c 65 78 Eat(";") && !lex
0790: 2e 65 6d 70 74 79 20 26 26 20 28 6c 65 78 2e 66 .empty && (lex.f
07a0: 72 6f 6e 74 2e 71 75 6f 74 65 64 20 7c 7c 20 21 ront.quoted || !
07b0: 5b 22 7d 22 2c 22 29 22 2c 22 5d 22 5d 2e 63 61 ["}",")","]"].ca
07c0: 6e 46 69 6e 64 28 6c 65 78 2e 66 72 6f 6e 74 2e nFind(lex.front.
07d0: 73 74 72 29 29 20 29 0d 0a 09 09 09 09 09 72 65 str)) ).......re
07e0: 74 75 72 6e 20 6e 65 77 20 4c 65 74 45 78 70 72 turn new LetExpr
07f0: 65 73 73 69 6f 6e 28 70 6f 73 2c 20 76 61 72 2c ession(pos, var,
0800: 20 6b 77 64 2c 20 65 2c 20 42 6f 64 79 28 29 29 kwd, e, Body())
0810: 3b 0d 0a 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 ;......else.....
0820: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 ..return new Let
0830: 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 Expression(pos,
0840: 76 61 72 2c 20 6b 77 64 2c 20 65 2c 20 6e 65 77 var, kwd, e, new
0850: 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 76 VarExpression(v
0860: 61 72 70 6f 73 2c 20 76 61 72 29 29 3b 0d 0a 09 arpos, var));...
0870: 09 09 7d 20 65 6c 73 65 20 7b 0d 0a 09 09 09 09 ..} else {......
0880: 65 61 74 28 22 3d 22 2c 20 22 61 66 74 65 72 20 eat("=", "after
0890: 22 7e 6b 77 64 29 3b 0d 0a 09 09 09 09 6b 77 64 "~kwd);......kwd
08a0: 20 3d 20 28 6b 77 64 5b 30 5d 3d 3d 27 40 27 20 = (kwd[0]=='@'
08b0: 3f 20 6b 77 64 20 3a 20 22 22 29 3b 20 2f 2f 20 ? kwd : ""); //
08c0: 22 6c 65 74 2c 20 76 61 72 2c 20 64 65 66 20 3d "let, var, def =
08d0: 3d 3e 20 6e 65 75 74 72 61 6c 20 6c 61 79 65 72 => neutral layer
08e0: 22 0d 0a 09 09 09 09 61 75 74 6f 20 65 20 3d 20 "......auto e =
08f0: 45 28 30 29 3b 0d 0a 09 09 09 09 69 66 28 20 74 E(0);......if( t
0900: 72 79 45 61 74 28 22 3b 22 29 20 26 26 20 21 6c ryEat(";") && !l
0910: 65 78 2e 65 6d 70 74 79 20 26 26 20 28 6c 65 78 ex.empty && (lex
0920: 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 7c 7c .front.quoted ||
0930: 20 21 5b 22 7d 22 2c 22 29 22 2c 22 5d 22 5d 2e !["}",")","]"].
0940: 63 61 6e 46 69 6e 64 28 6c 65 78 2e 66 72 6f 6e canFind(lex.fron
0950: 74 2e 73 74 72 29 29 20 29 0d 0a 09 09 09 09 09 t.str)) ).......
0960: 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 45 78 return new LetEx
0970: 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 76 61 pression(pos, va
0980: 72 2c 20 6b 77 64 2c 20 65 2c 20 42 6f 64 79 28 r, kwd, e, Body(
0990: 29 29 3b 0d 0a 09 09 09 09 65 6c 73 65 0d 0a 09 ));......else...
09a0: 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c ....return new L
09b0: 65 74 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 etExpression(pos
09c0: 2c 20 76 61 72 2c 20 6b 77 64 2c 20 65 2c 20 6e , var, kwd, e, n
09d0: 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e ew VarExpression
09e0: 28 76 61 72 70 6f 73 2c 20 76 61 72 29 29 3b 0d (varpos, var));.
09f0: 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 65 6c ....}....}....el
0a00: 73 65 0d 0a 09 09 7b 0d 0a 09 09 61 73 45 78 70 se....{....asExp
0a10: 72 65 73 73 69 6f 6e 3a 0d 0a 09 09 09 61 75 74 ression:.....aut
0a20: 6f 20 65 20 3d 20 45 28 30 29 3b 0d 0a 09 09 09 o e = E(0);.....
0a30: 69 66 28 20 74 72 79 45 61 74 28 22 3b 22 29 20 if( tryEat(";")
0a40: 26 26 20 21 6c 65 78 2e 65 6d 70 74 79 20 26 26 && !lex.empty &&
0a50: 20 28 6c 65 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 (lex.front.quot
0a60: 65 64 20 7c 7c 20 28 6c 65 78 2e 66 72 6f 6e 74 ed || (lex.front
0a70: 2e 73 74 72 21 3d 22 7d 22 20 26 26 20 6c 65 78 .str!="}" && lex
0a80: 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 22 29 22 29 .front.str!=")")
0a90: 29 20 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 ) )......return
0aa0: 6e 65 77 20 4c 65 74 45 78 70 72 65 73 73 69 6f new LetExpressio
0ab0: 6e 28 70 6f 73 2c 20 22 5f 22 2c 20 22 22 2c 20 n(pos, "_", "",
0ac0: 65 2c 20 42 6f 64 79 28 29 29 3b 0d 0a 09 09 09 e, Body());.....
0ad0: 65 6c 73 65 0d 0a 09 09 09 09 72 65 74 75 72 6e else......return
0ae0: 20 65 3b 0d 0a 09 09 7d 0d 0a 09 7d 0a 0a 09 2f e;....}...}.../
0af0: 2f 20 5b 54 4f 44 4f 5d 20 6d 61 6b 65 20 63 75 / [TODO] make cu
0b00: 73 74 6f 6d 69 7a 61 62 6c 65 20 66 72 6f 6d 20 stomizable from
0b10: 70 72 6f 67 72 61 6d 0a 09 73 74 61 74 69 63 20 program..static
0b20: 69 6d 6d 75 74 61 62 6c 65 20 73 74 72 69 6e 67 immutable string
0b30: 5b 5d 5b 5d 20 6f 70 65 72 61 74 6f 72 5f 70 65 [][] operator_pe
0b40: 72 66 65 72 65 6e 63 65 73 20 3d 20 5b 0a 09 09 rferences = [...
0b50: 5b 22 7c 7c 22 5d 2c 0a 09 09 5b 22 26 26 22 5d ["||"],...["&&"]
0b60: 2c 0a 09 09 5b 22 21 3d 22 5d 2c 0a 09 09 5b 22 ,...["!="],...["
0b70: 3d 3d 22 5d 2c 0a 09 09 5b 22 3c 22 2c 22 3c 3d =="],...["<","<=
0b80: 22 2c 22 3e 22 2c 22 3e 3d 22 5d 2c 0a 09 09 5b ",">",">="],...[
0b90: 22 7c 22 5d 2c 0a 09 09 5b 22 5e 22 5d 2c 0a 09 "|"],...["^"],..
0ba0: 09 5b 22 26 22 5d 2c 0a 09 09 5b 22 3c 3c 22 2c .["&"],...["<<",
0bb0: 20 22 3e 3e 22 5d 2c 0a 09 09 5b 22 2b 22 2c 22 ">>"],...["+","
0bc0: 2d 22 5d 2c 0d 0a 09 09 5b 22 7e 22 5d 2c 0d 0a -"],....["~"],..
0bd0: 09 09 5b 22 2a 22 2c 22 2f 22 2c 22 25 22 5d 2c ..["*","/","%"],
0be0: 0d 0a 09 09 5b 22 5e 5e 22 5d 0d 0a 09 5d 3b 0a ....["^^"]...];.
0bf0: 0a 09 41 53 54 20 45 28 69 6e 74 20 6c 65 76 65 ..AST E(int leve
0c00: 6c 29 0a 09 7b 0a 09 09 69 66 28 20 6f 70 65 72 l)..{...if( oper
0c10: 61 74 6f 72 5f 70 65 72 66 65 72 65 6e 63 65 73 ator_perferences
0c20: 2e 6c 65 6e 67 74 68 20 3c 3d 20 6c 65 76 65 6c .length <= level
0c30: 20 29 0a 09 09 09 72 65 74 75 72 6e 20 46 75 6e )....return Fun
0c40: 63 61 6c 6c 28 29 3b 0a 09 09 65 6c 73 65 0a 09 call();...else..
0c50: 09 7b 0a 09 09 09 61 75 74 6f 20 6f 70 73 20 3d .{....auto ops =
0c60: 20 6f 70 65 72 61 74 6f 72 5f 70 65 72 66 65 72 operator_perfer
0c70: 65 6e 63 65 73 5b 6c 65 76 65 6c 5d 3b 0a 09 09 ences[level];...
0c80: 09 61 75 74 6f 20 65 20 3d 20 45 28 6c 65 76 65 .auto e = E(leve
0c90: 6c 2b 31 29 3b 0a 09 09 73 65 71 3a 0a 09 09 09 l+1);...seq:....
0ca0: 77 68 69 6c 65 28 20 21 6c 65 78 2e 65 6d 70 74 while( !lex.empt
0cb0: 79 20 29 0a 09 09 09 7b 0a 09 09 09 09 61 75 74 y )....{.....aut
0cc0: 6f 20 70 6f 73 20 3d 20 6c 65 78 2e 66 72 6f 6e o pos = lex.fron
0cd0: 74 2e 70 6f 73 3b 0a 09 09 09 09 66 6f 72 65 61 t.pos;.....forea
0ce0: 63 68 28 6f 70 3b 20 6f 70 73 29 0a 09 09 09 09 ch(op; ops).....
0cf0: 09 69 66 28 20 74 72 79 45 61 74 28 6f 70 29 20 .if( tryEat(op)
0d00: 29 0a 09 09 09 09 09 7b 0a 09 09 09 09 09 09 65 )......{.......e
0d10: 20 3d 20 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 = new FuncallEx
0d20: 70 72 65 73 73 69 6f 6e 28 65 2e 70 6f 73 2c 20 pression(e.pos,
0d30: 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f new VarExpressio
0d40: 6e 28 70 6f 73 2c 20 6f 70 29 2c 20 65 2c 20 45 n(pos, op), e, E
0d50: 28 6c 65 76 65 6c 2b 31 29 29 3b 0a 09 09 09 09 (level+1));.....
0d60: 09 09 63 6f 6e 74 69 6e 75 65 20 73 65 71 3b 0a ..continue seq;.
0d70: 09 09 09 09 09 7d 0a 09 09 09 09 62 72 65 61 6b .....}.....break
0d80: 3b 0a 09 09 09 7d 0a 09 09 09 72 65 74 75 72 6e ;....}....return
0d90: 20 65 3b 0a 09 09 7d 0a 09 7d 0a 0a 09 41 53 54 e;...}..}...AST
0da0: 20 46 75 6e 63 61 6c 6c 28 29 0a 09 7b 0a 09 09 Funcall()..{...
0db0: 61 75 74 6f 20 65 20 3d 20 42 61 73 65 45 78 70 auto e = BaseExp
0dc0: 72 65 73 73 69 6f 6e 28 29 3b 0d 0a 09 09 77 68 ression();....wh
0dd0: 69 6c 65 28 20 74 72 79 45 61 74 28 22 28 22 29 ile( tryEat("(")
0de0: 20 29 0a 09 09 7b 0d 0a 09 09 09 61 75 74 6f 20 )...{.....auto
0df0: 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 pos = currentPos
0e00: 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 41 53 54 ition();.....AST
0e10: 5b 5d 20 61 72 67 73 3b 0a 09 09 09 77 68 69 6c [] args;....whil
0e20: 65 28 20 21 74 72 79 45 61 74 28 22 29 22 29 20 e( !tryEat(")")
0e30: 29 20 7b 0a 09 09 09 09 69 66 28 20 6c 65 78 2e ) {.....if( lex.
0e40: 65 6d 70 74 79 20 29 0d 0a 09 09 09 09 09 74 68 empty ).......th
0e50: 72 6f 77 20 67 65 6e 65 78 21 55 6e 65 78 70 65 row genex!Unexpe
0e60: 63 74 65 64 45 4f 46 28 70 6f 73 2c 22 43 6c 6f ctedEOF(pos,"Clo
0e70: 73 69 6e 67 20 27 29 27 20 66 6f 72 20 61 72 67 sing ')' for arg
0e80: 75 6d 65 6e 74 73 20 6e 6f 74 20 66 6f 75 6e 64 uments not found
0e90: 22 29 3b 0a 09 09 09 09 61 72 67 73 20 7e 3d 20 ");.....args ~=
0ea0: 45 28 30 29 3b 0d 0a 09 09 09 09 69 66 28 20 21 E(0);......if( !
0eb0: 74 72 79 45 61 74 28 22 2c 22 29 20 29 20 7b 0a tryEat(",") ) {.
0ec0: 09 09 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 .....eat(")", "a
0ed0: 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 fter function pa
0ee0: 72 61 6d 65 74 65 72 73 22 29 3b 0a 09 09 09 09 rameters");.....
0ef0: 09 62 72 65 61 6b 3b 0a 09 09 09 09 7d 0a 09 09 .break;.....}...
0f00: 09 7d 0a 09 09 09 65 20 3d 20 6e 65 77 20 46 75 .}....e = new Fu
0f10: 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 ncallExpression(
0f20: 65 2e 70 6f 73 2c 20 65 2c 20 61 72 67 73 29 3b e.pos, e, args);
0f30: 0a 09 09 7d 0a 09 09 72 65 74 75 72 6e 20 65 3b ...}...return e;
0f40: 0a 09 7d 0a 0a 09 41 53 54 20 42 61 73 65 45 78 ..}...AST BaseEx
0f50: 70 72 65 73 73 69 6f 6e 28 29 0a 09 7b 0a 09 09 pression()..{...
0f60: 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d if( lex.empty ).
0f70: 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
0f80: 55 6e 65 78 70 65 63 74 65 64 45 4f 46 28 63 75 UnexpectedEOF(cu
0f90: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c rrentPosition(),
0fa0: 20 22 52 65 61 63 68 65 64 20 45 4f 46 20 77 68 "Reached EOF wh
0fb0: 65 6e 20 74 72 69 65 64 20 74 6f 20 70 61 72 73 en tried to pars
0fc0: 65 20 61 6e 20 65 78 70 72 65 73 73 69 6f 6e 22 e an expression"
0fd0: 29 3b 0d 0a 0d 0a 09 09 61 75 74 6f 20 70 6f 73 );......auto pos
0fe0: 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 = lex.front.pos
0ff0: 3b 0a 09 09 69 66 28 20 6c 65 78 2e 66 72 6f 6e ;...if( lex.fron
1000: 74 2e 71 75 6f 74 65 64 20 29 0a 09 09 7b 0a 09 t.quoted )...{..
1010: 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 ..scope(exit) le
1020: 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09 09 09 72 x.popFront;....r
1030: 65 74 75 72 6e 20 6e 65 77 20 53 74 72 4c 69 74 eturn new StrLit
1040: 65 72 61 6c 28 70 6f 73 2c 20 6c 65 78 2e 66 72 eral(pos, lex.fr
1050: 6f 6e 74 2e 73 74 72 29 3b 0a 09 09 7d 0a 09 09 ont.str);...}...
1060: 69 66 28 20 69 73 4e 75 6d 62 65 72 28 6c 65 78 if( isNumber(lex
1070: 2e 66 72 6f 6e 74 2e 73 74 72 29 20 29 0a 09 09 .front.str) )...
1080: 7b 0a 09 09 09 73 63 6f 70 65 28 65 78 69 74 29 {....scope(exit)
1090: 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09 lex.popFront;..
10a0: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 ..return new Int
10b0: 4c 69 74 65 72 61 6c 28 70 6f 73 2c 20 42 69 67 Literal(pos, Big
10c0: 49 6e 74 28 63 61 73 74 28 73 74 72 69 6e 67 29 Int(cast(string)
10d0: 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 29 3b lex.front.str));
10e0: 0a 09 09 7d 0a 09 09 69 66 28 20 74 72 79 45 61 ...}...if( tryEa
10f0: 74 28 22 40 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 t("@") )....{...
1100: 09 09 61 75 74 6f 20 6c 61 79 20 3d 20 22 40 22 ..auto lay = "@"
1110: 7e 65 61 74 49 64 28 22 66 6f 72 20 6c 61 79 65 ~eatId("for laye
1120: 72 20 49 44 22 29 3b 0d 0a 09 09 09 65 61 74 28 r ID");.....eat(
1130: 22 28 22 2c 20 22 66 6f 72 20 6c 61 79 65 72 65 "(", "for layere
1140: 64 20 65 78 65 63 75 74 69 6f 6e 22 29 3b 0d 0a d execution");..
1150: 09 09 09 61 75 74 6f 20 65 20 3d 20 42 6f 64 79 ...auto e = Body
1160: 28 29 3b 0d 0a 09 09 09 65 61 74 28 22 29 22 2c ();.....eat(")",
1170: 20 22 61 66 74 65 72 20 22 7e 6c 61 79 7e 22 28 "after "~lay~"(
1180: 2e 2e 2e 22 29 3b 0d 0a 09 09 09 72 65 74 75 72 ...");.....retur
1190: 6e 20 6e 65 77 20 4c 61 79 65 72 65 64 45 78 70 n new LayeredExp
11a0: 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6c 61 79 ression(pos, lay
11b0: 2c 20 65 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 , e);....}....if
11c0: 28 20 74 72 79 45 61 74 28 22 28 22 29 20 29 0a ( tryEat("(") ).
11d0: 09 09 7b 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 ..{....auto e =
11e0: 42 6f 64 79 28 29 3b 0a 09 09 09 65 61 74 28 22 Body();....eat("
11f0: 29 22 2c 20 22 61 66 74 65 72 20 70 61 72 65 6e )", "after paren
1200: 74 68 65 73 69 7a 65 64 20 65 78 70 72 65 73 73 thesized express
1210: 69 6f 6e 22 29 3b 0a 09 09 09 72 65 74 75 72 6e ion");....return
1220: 20 65 3b 0a 09 09 7d 0a 09 09 69 66 28 20 74 72 e;...}...if( tr
1230: 79 45 61 74 28 22 69 66 22 29 20 29 0a 09 09 7b yEat("if") )...{
1240: 0a 09 09 09 65 61 74 28 22 28 22 2c 20 22 61 66 ....eat("(", "af
1250: 74 65 72 20 69 66 22 29 3b 0a 09 09 09 61 75 74 ter if");....aut
1260: 6f 20 63 6f 6e 64 20 3d 20 45 28 30 29 3b 0a 09 o cond = E(0);..
1270: 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 74 65 ..eat(")", "afte
1280: 72 20 69 66 20 63 6f 6e 64 69 74 69 6f 6e 22 29 r if condition")
1290: 3b 0a 09 09 09 61 75 74 6f 20 74 68 65 6e 50 6f ;....auto thenPo
12a0: 73 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f s = lex.front.po
12b0: 73 3b 0a 09 09 09 65 61 74 28 22 7b 22 2c 20 22 s;....eat("{", "
12c0: 61 66 74 65 72 20 69 66 20 63 6f 6e 64 69 74 69 after if conditi
12d0: 6f 6e 22 29 3b 0a 09 09 09 61 75 74 6f 20 74 68 on");....auto th
12e0: 20 3d 20 42 6f 64 79 28 29 3b 0a 09 09 09 65 61 = Body();....ea
12f0: 74 28 22 7d 22 2c 20 22 61 66 74 65 72 20 69 66 t("}", "after if
1300: 2d 74 68 65 6e 20 62 6f 64 79 22 29 3b 0a 09 09 -then body");...
1310: 09 61 75 74 6f 20 65 6c 20 3d 20 64 6f 4e 6f 74 .auto el = doNot
1320: 68 69 6e 67 45 78 70 72 65 73 73 69 6f 6e 28 29 hingExpression()
1330: 3b 0a 09 09 09 61 75 74 6f 20 65 6c 73 65 50 6f ;....auto elsePo
1340: 73 20 3d 20 28 6c 65 78 2e 65 6d 70 74 79 20 3f s = (lex.empty ?
1350: 20 4c 65 78 50 6f 73 69 74 69 6f 6e 2e 64 75 6d LexPosition.dum
1360: 6d 79 20 3a 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 my : lex.front.p
1370: 6f 73 29 3b 0a 09 09 09 69 66 28 20 74 72 79 45 os);....if( tryE
1380: 61 74 28 22 65 6c 73 65 22 29 20 29 20 7b 0a 09 at("else") ) {..
1390: 09 09 09 65 61 74 28 22 7b 22 2c 20 22 61 66 74 ...eat("{", "aft
13a0: 65 72 20 65 6c 73 65 22 29 3b 0a 09 09 09 09 65 er else");.....e
13b0: 6c 20 3d 20 42 6f 64 79 28 29 3b 0a 09 09 09 09 l = Body();.....
13c0: 65 61 74 28 22 7d 22 2c 20 22 61 66 74 65 72 20 eat("}", "after
13d0: 65 6c 73 65 20 62 6f 64 79 22 29 3b 0a 09 09 09 else body");....
13e0: 7d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 }....return new
13f0: 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f FuncallExpressio
1400: 6e 28 70 6f 73 2c 20 0a 09 09 09 09 6e 65 77 20 n(pos, .....new
1410: 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 70 6f VarExpression(po
1420: 73 2c 20 22 69 66 22 29 2c 0a 09 09 09 09 63 6f s, "if"),.....co
1430: 6e 64 2c 0a 09 09 09 09 6e 65 77 20 46 75 6e 4c nd,.....new FunL
1440: 69 74 65 72 61 6c 28 74 68 65 6e 50 6f 73 2c 20 iteral(thenPos,
1450: 5b 5d 2c 20 74 68 29 2c 0a 09 09 09 09 6e 65 77 [], th),.....new
1460: 20 46 75 6e 4c 69 74 65 72 61 6c 28 65 6c 73 65 FunLiteral(else
1470: 50 6f 73 2c 20 5b 5d 2c 20 65 6c 29 0a 09 09 09 Pos, [], el)....
1480: 29 3b 0a 09 09 7d 0a 09 09 69 66 28 20 74 72 79 );...}...if( try
1490: 45 61 74 28 22 66 75 6e 22 29 20 7c 7c 20 74 72 Eat("fun") || tr
14a0: 79 45 61 74 28 22 5c 75 30 33 42 42 22 29 20 29 yEat("\u03BB") )
14b0: 0a 09 09 7b 0a 09 09 09 65 61 74 28 22 28 22 2c ...{....eat("(",
14c0: 20 22 61 66 74 65 72 20 66 75 6e 22 29 3b 0a 09 "after fun");..
14d0: 09 09 72 65 74 75 72 6e 20 70 61 72 73 65 4c 61 ..return parseLa
14e0: 6d 62 64 61 41 66 74 65 72 4f 70 65 6e 50 61 72 mbdaAfterOpenPar
14f0: 65 6e 28 70 6f 73 29 3b 0d 0a 09 09 7d 0a 09 09 en(pos);....}...
1500: 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e scope(exit) lex.
1510: 70 6f 70 46 72 6f 6e 74 3b 0a 09 09 72 65 74 75 popFront;...retu
1520: 72 6e 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 rn new VarExpres
1530: 73 69 6f 6e 28 70 6f 73 2c 20 6c 65 78 2e 66 72 sion(pos, lex.fr
1540: 6f 6e 74 2e 73 74 72 29 3b 0a 09 7d 0d 0a 0d 0a ont.str);..}....
1550: 09 41 53 54 20 70 61 72 73 65 4c 61 6d 62 64 61 .AST parseLambda
1560: 41 66 74 65 72 4f 70 65 6e 50 61 72 65 6e 28 69 AfterOpenParen(i
1570: 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 mmutable LexPosi
1580: 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 7b 0d 0a 09 tion pos)...{...
1590: 09 73 74 72 69 6e 67 5b 5d 20 70 61 72 61 6d 73 .string[] params
15a0: 3b 0d 0a 09 09 77 68 69 6c 65 28 20 21 74 72 79 ;....while( !try
15b0: 45 61 74 28 22 29 22 29 20 29 0d 0a 09 09 7b 0d Eat(")") )....{.
15c0: 0a 09 09 09 70 61 72 61 6d 73 20 7e 3d 20 65 61 ....params ~= ea
15d0: 74 49 64 28 22 66 6f 72 20 66 75 6e 63 74 69 6f tId("for functio
15e0: 6e 20 70 61 72 61 6d 65 74 65 72 22 29 3b 0d 0a n parameter");..
15f0: 09 09 09 69 66 28 20 21 74 72 79 45 61 74 28 22 ...if( !tryEat("
1600: 2c 22 29 20 29 20 7b 0d 0a 09 09 09 09 65 61 74 ,") ) {......eat
1610: 28 22 29 22 2c 20 22 61 66 74 65 72 20 66 75 6e (")", "after fun
1620: 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 73 ction parameters
1630: 22 29 3b 0d 0a 09 09 09 09 62 72 65 61 6b 3b 0d ");......break;.
1640: 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 65 61 ....}....}....ea
1650: 74 28 22 7b 22 2c 20 22 61 66 74 65 72 20 66 75 t("{", "after fu
1660: 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 nction parameter
1670: 73 22 29 3b 0d 0a 09 09 61 75 74 6f 20 66 75 6e s");....auto fun
1680: 62 6f 64 79 20 3d 20 42 6f 64 79 28 29 3b 0d 0a body = Body();..
1690: 09 09 65 61 74 28 22 7d 22 2c 20 22 61 66 74 65 ..eat("}", "afte
16a0: 72 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 22 r function body"
16b0: 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 );....return new
16c0: 20 46 75 6e 4c 69 74 65 72 61 6c 28 70 6f 73 2c FunLiteral(pos,
16d0: 20 70 61 72 61 6d 73 2c 20 66 75 6e 62 6f 64 79 params, funbody
16e0: 29 3b 0d 0a 09 7d 0a 0a 70 72 69 76 61 74 65 3a );...}..private:
16f0: 0a 09 4c 65 78 65 72 20 6c 65 78 3b 0d 0a 09 74 ..Lexer lex;...t
1700: 68 69 73 28 4c 65 78 65 72 20 6c 65 78 29 20 7b his(Lexer lex) {
1710: 20 74 68 69 73 2e 6c 65 78 20 3d 20 6c 65 78 3b this.lex = lex;
1720: 20 7d 0d 0a 0a 09 76 6f 69 64 20 65 61 74 28 73 }....void eat(s
1730: 74 72 69 6e 67 20 6b 77 64 2c 20 6c 61 7a 79 20 tring kwd, lazy
1740: 73 74 72 69 6e 67 20 6d 73 67 29 0a 09 7b 0a 09 string msg)..{..
1750: 09 69 66 28 20 21 74 72 79 45 61 74 28 6b 77 64 .if( !tryEat(kwd
1760: 29 20 29 0d 0a 09 09 09 69 66 28 20 6c 65 78 2e ) ).....if( lex.
1770: 65 6d 70 74 79 20 29 0d 0a 09 09 09 09 74 68 72 empty )......thr
1780: 6f 77 20 67 65 6e 65 78 21 55 6e 65 78 70 65 63 ow genex!Unexpec
1790: 74 65 64 45 4f 46 28 0d 0a 09 09 09 09 09 63 75 tedEOF(.......cu
17a0: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c rrentPosition(),
17b0: 20 73 70 72 69 6e 74 66 21 22 25 73 20 69 73 20 sprintf!"%s is
17c0: 65 78 70 65 63 74 65 64 20 66 6f 72 20 25 73 20 expected for %s
17d0: 62 75 74 20 6e 6f 74 20 66 6f 75 6e 64 22 28 6b but not found"(k
17e0: 77 64 2c 6d 73 67 29 29 3b 0d 0a 09 09 09 65 6c wd,msg));.....el
17f0: 73 65 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 se......throw ge
1800: 6e 65 78 21 50 61 72 73 65 45 78 63 65 70 74 69 nex!ParseExcepti
1810: 6f 6e 28 0d 0a 09 09 09 09 09 63 75 72 72 65 6e on(.......curren
1820: 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 73 70 72 tPosition(), spr
1830: 69 6e 74 66 21 22 25 73 20 69 73 20 65 78 70 65 intf!"%s is expe
1840: 63 74 65 64 20 66 6f 72 20 25 73 20 62 75 74 20 cted for %s but
1850: 6e 6f 74 20 66 6f 75 6e 64 22 28 6b 77 64 2c 6d not found"(kwd,m
1860: 73 67 29 29 3b 0d 0a 09 7d 0a 0a 09 62 6f 6f 6c sg));...}...bool
1870: 20 74 72 79 45 61 74 28 73 74 72 69 6e 67 20 6b tryEat(string k
1880: 77 64 29 0a 09 7b 0a 09 09 69 66 28 20 6c 65 78 wd)..{...if( lex
1890: 2e 65 6d 70 74 79 20 7c 7c 20 6c 65 78 2e 66 72 .empty || lex.fr
18a0: 6f 6e 74 2e 71 75 6f 74 65 64 20 7c 7c 20 6c 65 ont.quoted || le
18b0: 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 6b 77 64 x.front.str!=kwd
18c0: 20 29 0a 09 09 09 72 65 74 75 72 6e 20 66 61 6c )....return fal
18d0: 73 65 3b 0a 09 09 6c 65 78 2e 70 6f 70 46 72 6f se;...lex.popFro
18e0: 6e 74 3b 0a 09 09 72 65 74 75 72 6e 20 74 72 75 nt;...return tru
18f0: 65 3b 0a 09 7d 0a 0d 0a 09 73 74 72 69 6e 67 20 e;..}....string
1900: 65 61 74 49 64 28 6c 61 7a 79 20 73 74 72 69 6e eatId(lazy strin
1910: 67 20 6d 73 67 2c 20 62 6f 6f 6c 20 61 6c 6c 6f g msg, bool allo
1920: 77 51 75 6f 74 65 64 3d 66 61 6c 73 65 29 0d 0a wQuoted=false)..
1930: 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d .{....if( lex.em
1940: 70 74 79 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 pty ).....throw
1950: 67 65 6e 65 78 21 55 6e 65 78 70 65 63 74 65 64 genex!Unexpected
1960: 45 4f 46 28 63 75 72 72 65 6e 74 50 6f 73 69 74 EOF(currentPosit
1970: 69 6f 6e 28 29 2c 20 22 69 64 65 6e 74 69 66 69 ion(), "identifi
1980: 65 72 20 69 73 20 65 78 70 65 63 74 65 64 20 62 er is expected b
1990: 75 74 20 6e 6f 74 20 66 6f 75 6e 64 20 22 7e 6d ut not found "~m
19a0: 73 67 29 3b 0d 0a 09 09 69 66 28 20 21 61 6c 6c sg);....if( !all
19b0: 6f 77 51 75 6f 74 65 64 20 26 26 20 6c 65 78 2e owQuoted && lex.
19c0: 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 29 0d 0a front.quoted )..
19d0: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 50 ...throw genex!P
19e0: 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 63 75 arseException(cu
19f0: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c rrentPosition(),
1a00: 20 22 69 64 65 6e 74 69 66 69 65 72 20 69 73 20 "identifier is
1a10: 65 78 70 65 63 74 65 64 20 62 75 74 20 6e 6f 74 expected but not
1a20: 20 66 6f 75 6e 64 20 22 7e 6d 73 67 29 3b 0d 0a found "~msg);..
1a30: 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 ..scope(exit) le
1a40: 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 x.popFront;....r
1a50: 65 74 75 72 6e 20 6c 65 78 2e 66 72 6f 6e 74 2e eturn lex.front.
1a60: 73 74 72 3b 0d 0a 09 7d 0d 0a 0a 09 62 6f 6f 6c str;...}....bool
1a70: 20 69 73 4e 75 6d 62 65 72 28 73 74 72 69 6e 67 isNumber(string
1a80: 20 73 29 0a 09 7b 0a 09 09 72 65 74 75 72 6e 20 s)..{...return
1a90: 66 69 6e 64 21 28 60 61 3c 27 30 27 7c 7c 27 39 find!(`a<'0'||'9
1aa0: 27 3c 61 60 29 28 73 29 2e 65 6d 70 74 79 3b 0a '<a`)(s).empty;.
1ab0: 09 7d 0d 0a 0d 0a 09 41 53 54 20 64 6f 4e 6f 74 .}.....AST doNot
1ac0: 68 69 6e 67 45 78 70 72 65 73 73 69 6f 6e 28 29 hingExpression()
1ad0: 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6e ...{....return n
1ae0: 65 77 20 49 6e 74 4c 69 74 65 72 61 6c 28 63 75 ew IntLiteral(cu
1af0: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c rrentPosition(),
1b00: 20 42 69 67 49 6e 74 28 31 37 38 29 29 3b 0d 0a BigInt(178));..
1b10: 09 7d 0d 0a 0d 0a 09 69 6d 6d 75 74 61 62 6c 65 .}.....immutable
1b20: 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 20 63 75 (LexPosition) cu
1b30: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 0d rrentPosition().
1b40: 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6c 65 ..{....return le
1b50: 78 2e 65 6d 70 74 79 20 3f 20 6e 75 6c 6c 20 3a x.empty ? null :
1b60: 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d lex.front.pos;.
1b70: 0a 09 7d 0a 7d 0a 0a 75 6e 69 74 74 65 73 74 0a ..}.}..unittest.
1b80: 7b 0d 0a 09 6d 69 78 69 6e 20 45 61 73 79 41 53 {...mixin EasyAS
1b90: 54 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 T;.....assert_eq
1ba0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 32 (parseString(`12
1bb0: 33 60 29 2c 20 69 6e 74 6c 28 31 32 33 29 29 3b 3`), intl(123));
1bc0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
1bd0: 73 65 53 74 72 69 6e 67 28 60 22 66 6f 6f 22 60 seString(`"foo"`
1be0: 29 2c 20 73 74 72 6c 28 22 66 6f 6f 22 29 29 3b ), strl("foo"));
1bf0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
1c00: 73 65 53 74 72 69 6e 67 28 60 66 75 6e 28 29 7b seString(`fun(){
1c10: 31 7d 60 29 2c 20 66 75 6e 28 5b 5d 2c 69 6e 74 1}`), fun([],int
1c20: 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 l(1)));...assert
1c30: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
1c40: 60 66 75 6e 28 78 29 7b 31 7d 60 29 2c 20 66 75 `fun(x){1}`), fu
1c50: 6e 28 5b 22 78 22 5d 2c 69 6e 74 6c 28 31 29 29 n(["x"],intl(1))
1c60: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
1c70: 61 72 73 65 53 74 72 69 6e 67 28 22 5c 75 30 33 arseString("\u03
1c80: 42 42 28 29 7b 31 7d 22 29 2c 20 66 75 6e 28 5b BB(){1}"), fun([
1c90: 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 61 ],intl(1)));...a
1ca0: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
1cb0: 72 69 6e 67 28 22 5c 75 30 33 42 42 28 78 29 7b ring("\u03BB(x){
1cc0: 31 7d 22 29 2c 20 66 75 6e 28 5b 22 78 22 5d 2c 1}"), fun(["x"],
1cd0: 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 intl(1)));...ass
1ce0: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
1cf0: 6e 67 28 60 31 3b 32 60 29 2c 20 6c 65 74 28 22 ng(`1;2`), let("
1d00: 5f 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 69 6e _","",intl(1),in
1d10: 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(2)));...asser
1d20: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
1d30: 28 60 31 3b 32 3b 60 29 2c 20 6c 65 74 28 22 5f (`1;2;`), let("_
1d40: 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 ","",intl(1),int
1d50: 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 l(2)));...assert
1d60: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
1d70: 60 6c 65 74 20 78 3d 31 3b 32 60 29 2c 20 6c 65 `let x=1;2`), le
1d80: 74 28 22 78 22 2c 22 22 2c 69 6e 74 6c 28 31 29 t("x","",intl(1)
1d90: 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 ,intl(2)));...as
1da0: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
1db0: 69 6e 67 28 60 76 61 72 20 78 3d 31 3b 32 3b 60 ing(`var x=1;2;`
1dc0: 29 2c 20 6c 65 74 28 22 78 22 2c 22 22 2c 69 6e ), let("x","",in
1dd0: 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b tl(1),intl(2)));
1de0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
1df0: 73 65 53 74 72 69 6e 67 28 60 64 65 66 20 78 3d seString(`def x=
1e00: 31 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 22 2c 1`), let("x","",
1e10: 69 6e 74 6c 28 31 29 2c 76 61 72 28 22 78 22 29 intl(1),var("x")
1e20: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
1e30: 70 61 72 73 65 53 74 72 69 6e 67 28 60 40 76 61 parseString(`@va
1e40: 6c 20 78 3d 31 3b 60 29 2c 20 6c 65 74 28 22 78 l x=1;`), let("x
1e50: 22 2c 22 40 76 61 6c 22 2c 69 6e 74 6c 28 31 29 ","@val",intl(1)
1e60: 2c 76 61 72 28 22 78 22 29 29 29 3b 0d 0a 09 61 ,var("x")));...a
1e70: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
1e80: 72 69 6e 67 28 60 40 74 79 70 20 78 3d 22 23 69 ring(`@typ x="#i
1e90: 6e 74 22 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c nt";`), let("x",
1ea0: 22 40 74 79 70 22 2c 73 74 72 6c 28 22 23 69 6e "@typ",strl("#in
1eb0: 74 22 29 2c 76 61 72 28 22 78 22 29 29 29 3b 0d t"),var("x")));.
1ec0: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
1ed0: 65 53 74 72 69 6e 67 28 60 66 28 31 2c 32 29 60 eString(`f(1,2)`
1ee0: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 66 22 29 ), call(var("f")
1ef0: 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 ,intl(1),intl(2)
1f00: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
1f10: 70 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 parseString(`if(
1f20: 31 29 7b 32 7d 60 29 2c 20 63 61 6c 6c 28 76 61 1){2}`), call(va
1f30: 72 28 22 69 66 22 29 2c 69 6e 74 6c 28 31 29 2c r("if"),intl(1),
1f40: 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 32 29 29 2c fun([],intl(2)),
1f50: 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 31 37 38 29 fun([],intl(178)
1f60: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
1f70: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 (parseString(`if
1f80: 28 31 29 7b 32 7d 65 6c 73 65 7b 33 7d 60 29 2c (1){2}else{3}`),
1f90: 20 63 61 6c 6c 28 76 61 72 28 22 69 66 22 29 2c call(var("if"),
1fa0: 69 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c 69 intl(1),fun([],i
1fb0: 6e 74 6c 28 32 29 29 2c 66 75 6e 28 5b 5d 2c 69 ntl(2)),fun([],i
1fc0: 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 09 61 73 73 ntl(3))));...ass
1fd0: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
1fe0: 6e 67 28 60 69 66 28 31 29 7b 7d 65 6c 73 65 7b ng(`if(1){}else{
1ff0: 33 7d 28 29 28 29 60 29 2c 0d 0a 09 09 63 61 6c 3}()()`),....cal
2000: 6c 28 63 61 6c 6c 28 63 61 6c 6c 28 76 61 72 28 l(call(call(var(
2010: 22 69 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 75 "if"),intl(1),fu
2020: 6e 28 5b 5d 2c 69 6e 74 6c 28 31 37 38 29 29 2c n([],intl(178)),
2030: 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 33 29 29 29 fun([],intl(3)))
2040: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
2050: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2b (parseString(`1+
2060: 32 2a 33 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 2*3`), call(var(
2070: 22 2b 22 29 2c 69 6e 74 6c 28 31 29 2c 63 61 6c "+"),intl(1),cal
2080: 6c 28 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c 28 l(var("*"),intl(
2090: 32 29 2c 69 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 2),intl(3))));..
20a0: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
20b0: 53 74 72 69 6e 67 28 60 28 31 2b 32 29 2a 33 60 String(`(1+2)*3`
20c0: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 ), call(var("*")
20d0: 2c 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 ,call(var("+"),i
20e0: 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 2c ntl(1),intl(2)),
20f0: 69 6e 74 6c 28 33 29 29 29 3b 0d 0a 09 61 73 73 intl(3)));...ass
2100: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
2110: 6e 67 28 60 31 2a 28 32 2b 33 29 60 29 2c 20 63 ng(`1*(2+3)`), c
2120: 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c 69 6e 74 all(var("*"),int
2130: 6c 28 31 29 2c 63 61 6c 6c 28 76 61 72 28 22 2b l(1),call(var("+
2140: 22 29 2c 69 6e 74 6c 28 32 29 2c 69 6e 74 6c 28 "),intl(2),intl(
2150: 33 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 3))));...assert_
2160: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
2170: 31 2a 32 2b 33 60 29 2c 20 63 61 6c 6c 28 76 61 1*2+3`), call(va
2180: 72 28 22 2b 22 29 2c 63 61 6c 6c 28 76 61 72 28 r("+"),call(var(
2190: 22 2a 22 29 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 "*"),intl(1),int
21a0: 6c 28 32 29 29 2c 69 6e 74 6c 28 33 29 29 29 3b l(2)),intl(3)));
21b0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
21c0: 73 65 53 74 72 69 6e 67 28 60 40 78 28 31 29 60 seString(`@x(1)`
21d0: 29 2c 20 6c 61 79 28 22 40 78 22 2c 20 69 6e 74 ), lay("@x", int
21e0: 6c 28 31 29 29 29 3b 0d 0a 0d 0a 09 61 73 73 65 l(1)));.....asse
21f0: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
2200: 67 28 60 0d 0a 09 09 6c 65 74 20 78 20 3d 20 31 g(`....let x = 1
2210: 30 30 3b 20 23 63 6f 6d 6d 65 6e 74 0d 0a 09 09 00; #comment....
2220: 6c 65 74 20 79 20 3d 20 32 30 30 3b 20 23 63 6f let y = 200; #co
2230: 6d 6d 65 6e 74 21 21 21 21 21 0d 0a 09 09 09 78 mment!!!!!.....x
2240: 2b 79 0d 0a 09 60 29 2c 0d 0a 09 09 6c 65 74 28 +y...`),....let(
2250: 22 78 22 2c 20 22 22 2c 20 69 6e 74 6c 28 31 30 "x", "", intl(10
2260: 30 29 2c 20 6c 65 74 28 22 79 22 2c 20 22 22 2c 0), let("y", "",
2270: 20 69 6e 74 6c 28 32 30 30 29 2c 20 63 61 6c 6c intl(200), call
2280: 28 76 61 72 28 22 2b 22 29 2c 20 76 61 72 28 22 (var("+"), var("
2290: 78 22 29 2c 20 76 61 72 28 22 79 22 29 29 29 29 x"), var("y"))))
22a0: 0d 0a 09 29 3b 0a 0d 0a 09 61 73 73 65 72 74 5f ...);....assert_
22b0: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
22c0: 0d 0a 09 09 76 61 72 20 66 61 63 20 3d 20 66 75 ....var fac = fu
22d0: 6e 28 78 29 7b 20 69 66 28 78 20 3c 3d 20 31 29 n(x){ if(x <= 1)
22e0: 20 7b 31 7d 20 65 6c 73 65 20 7b 78 2a 66 61 63 {1} else {x*fac
22f0: 28 78 2d 31 29 7d 20 7d 3b 0d 0a 09 09 66 61 63 (x-1)} };....fac
2300: 28 31 30 29 0a 09 60 29 2c 0d 0a 09 09 6c 65 74 (10)..`),....let
2310: 28 22 66 61 63 22 2c 20 22 22 2c 20 66 75 6e 28 ("fac", "", fun(
2320: 5b 22 78 22 5d 2c 0d 0a 09 09 09 63 61 6c 6c 28 ["x"],.....call(
2330: 76 61 72 28 22 69 66 22 29 2c 0d 0a 09 09 09 09 var("if"),......
2340: 63 61 6c 6c 28 76 61 72 28 22 3c 3d 22 29 2c 20 call(var("<="),
2350: 76 61 72 28 22 78 22 29 2c 20 69 6e 74 6c 28 31 var("x"), intl(1
2360: 29 29 2c 0d 0a 09 09 09 09 66 75 6e 28 5b 5d 2c )),......fun([],
2370: 20 69 6e 74 6c 28 31 29 29 2c 0d 0a 09 09 09 09 intl(1)),......
2380: 66 75 6e 28 5b 5d 2c 20 63 61 6c 6c 28 76 61 72 fun([], call(var
2390: 28 22 2a 22 29 2c 20 76 61 72 28 22 78 22 29 2c ("*"), var("x"),
23a0: 20 63 61 6c 6c 28 76 61 72 28 22 66 61 63 22 29 call(var("fac")
23b0: 2c 63 61 6c 6c 28 76 61 72 28 22 2d 22 29 2c 76 ,call(var("-"),v
23c0: 61 72 28 22 78 22 29 2c 69 6e 74 6c 28 31 29 29 ar("x"),intl(1))
23d0: 29 29 29 0d 0a 09 09 09 29 29 2c 0d 0a 09 09 09 ))).....)),.....
23e0: 63 61 6c 6c 28 76 61 72 28 22 66 61 63 22 29 2c call(var("fac"),
23f0: 69 6e 74 6c 28 31 30 29 29 0d 0a 09 09 29 0d 0a intl(10))....)..
2400: 09 29 3b 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 .);.}....unittes
2410: 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 74 68 t..{...assert_th
2420: 72 6f 77 21 55 6e 65 78 70 65 63 74 65 64 45 4f row!UnexpectedEO
2430: 46 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 F(parseString(`1
2440: 2b 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 +`));...assert_t
2450: 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 70 74 hrow!ParseExcept
2460: 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e 67 28 ion(parseString(
2470: 60 31 2b 32 7d 60 29 29 3b 0d 0a 09 61 73 73 65 `1+2}`));...asse
2480: 72 74 5f 74 68 72 6f 77 21 55 6e 65 78 70 65 63 rt_throw!Unexpec
2490: 74 65 64 45 4f 46 28 70 61 72 73 65 53 74 72 69 tedEOF(parseStri
24a0: 6e 67 28 60 6c 65 74 20 22 78 22 60 29 29 3b 0d ng(`let "x"`));.
24b0: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 55 ..assert_throw!U
24c0: 6e 65 78 70 65 63 74 65 64 45 4f 46 28 70 61 72 nexpectedEOF(par
24d0: 73 65 53 74 72 69 6e 67 28 60 76 61 72 60 29 29 seString(`var`))
24e0: 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 ;...assert_throw
24f0: 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 !ParseException(
2500: 70 61 72 73 65 53 74 72 69 6e 67 28 60 40 76 61 parseString(`@va
2510: 6c 20 78 20 3d 3d 60 29 29 3b 0d 0a 09 61 73 73 l x ==`));...ass
2520: 65 72 74 5f 74 68 72 6f 77 21 50 61 72 73 65 45 ert_throw!ParseE
2530: 78 63 65 70 74 69 6f 6e 28 70 61 72 73 65 53 74 xception(parseSt
2540: 72 69 6e 67 28 60 69 66 28 29 7b 31 7d 60 29 29 ring(`if(){1}`))
2550: 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 ;...assert_throw
2560: 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 28 70 !UnexpectedEOF(p
2570: 61 72 73 65 53 74 72 69 6e 67 28 60 66 28 60 29 arseString(`f(`)
2580: 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 );..}....unittes
2590: 74 0d 0a 7b 0d 0a 09 6d 69 78 69 6e 20 45 61 73 t..{...mixin Eas
25a0: 79 41 53 54 3b 0d 0a 09 61 73 73 65 72 74 5f 65 yAST;...assert_e
25b0: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 64 q(parseString(`d
25c0: 65 66 20 66 6f 6f 28 78 29 20 7b 20 78 2b 31 20 ef foo(x) { x+1
25d0: 7d 3b 20 66 6f 6f 60 29 2c 0d 0a 09 09 6c 65 74 }; foo`),....let
25e0: 28 22 66 6f 6f 22 2c 20 22 22 2c 0d 0a 09 09 09 ("foo", "",.....
25f0: 66 75 6e 28 5b 22 78 22 5d 2c 20 63 61 6c 6c 28 fun(["x"], call(
2600: 76 61 72 28 22 2b 22 29 2c 20 76 61 72 28 22 78 var("+"), var("x
2610: 22 29 2c 20 69 6e 74 6c 28 31 29 29 29 2c 0d 0a "), intl(1))),..
2620: 09 09 09 76 61 72 28 22 66 6f 6f 22 29 29 0d 0a ...var("foo"))..
2630: 09 29 3b 0d 0a 7d 0d 0a .);..}..