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 45 28 30 29 ...auto e = E(0)
1160: 3b 0d 0a 09 09 09 65 61 74 28 22 29 22 2c 20 22 ;.....eat(")", "
1170: 61 66 74 65 72 20 22 7e 6c 61 79 7e 22 28 2e 2e after "~lay~"(..
1180: 2e 22 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 .");.....return
1190: 6e 65 77 20 4c 61 79 65 72 65 64 45 78 70 72 65 new LayeredExpre
11a0: 73 73 69 6f 6e 28 70 6f 73 2c 20 6c 61 79 2c 20 ssion(pos, lay,
11b0: 65 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 e);....}....if(
11c0: 74 72 79 45 61 74 28 22 28 22 29 20 29 0a 09 09 tryEat("(") )...
11d0: 7b 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 42 6f {....auto e = Bo
11e0: 64 79 28 29 3b 0a 09 09 09 65 61 74 28 22 29 22 dy();....eat(")"
11f0: 2c 20 22 61 66 74 65 72 20 70 61 72 65 6e 74 68 , "after parenth
1200: 65 73 69 7a 65 64 20 65 78 70 72 65 73 73 69 6f esized expressio
1210: 6e 22 29 3b 0a 09 09 09 72 65 74 75 72 6e 20 65 n");....return e
1220: 3b 0a 09 09 7d 0a 09 09 69 66 28 20 74 72 79 45 ;...}...if( tryE
1230: 61 74 28 22 69 66 22 29 20 29 0a 09 09 7b 0a 09 at("if") )...{..
1240: 09 09 65 61 74 28 22 28 22 2c 20 22 61 66 74 65 ..eat("(", "afte
1250: 72 20 69 66 22 29 3b 0a 09 09 09 61 75 74 6f 20 r if");....auto
1260: 63 6f 6e 64 20 3d 20 45 28 30 29 3b 0a 09 09 09 cond = E(0);....
1270: 65 61 74 28 22 29 22 2c 20 22 61 66 74 65 72 20 eat(")", "after
1280: 69 66 20 63 6f 6e 64 69 74 69 6f 6e 22 29 3b 0a if condition");.
1290: 09 09 09 61 75 74 6f 20 74 68 65 6e 50 6f 73 20 ...auto thenPos
12a0: 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b = lex.front.pos;
12b0: 0a 09 09 09 65 61 74 28 22 7b 22 2c 20 22 61 66 ....eat("{", "af
12c0: 74 65 72 20 69 66 20 63 6f 6e 64 69 74 69 6f 6e ter if condition
12d0: 22 29 3b 0a 09 09 09 61 75 74 6f 20 74 68 20 3d ");....auto th =
12e0: 20 42 6f 64 79 28 29 3b 0a 09 09 09 65 61 74 28 Body();....eat(
12f0: 22 7d 22 2c 20 22 61 66 74 65 72 20 69 66 2d 74 "}", "after if-t
1300: 68 65 6e 20 62 6f 64 79 22 29 3b 0a 09 09 09 61 hen body");....a
1310: 75 74 6f 20 65 6c 20 3d 20 64 6f 4e 6f 74 68 69 uto el = doNothi
1320: 6e 67 45 78 70 72 65 73 73 69 6f 6e 28 29 3b 0a ngExpression();.
1330: 09 09 09 61 75 74 6f 20 65 6c 73 65 50 6f 73 20 ...auto elsePos
1340: 3d 20 28 6c 65 78 2e 65 6d 70 74 79 20 3f 20 4c = (lex.empty ? L
1350: 65 78 50 6f 73 69 74 69 6f 6e 2e 64 75 6d 6d 79 exPosition.dummy
1360: 20 3a 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 : lex.front.pos
1370: 29 3b 0a 09 09 09 69 66 28 20 74 72 79 45 61 74 );....if( tryEat
1380: 28 22 65 6c 73 65 22 29 20 29 20 7b 0a 09 09 09 ("else") ) {....
1390: 09 65 61 74 28 22 7b 22 2c 20 22 61 66 74 65 72 .eat("{", "after
13a0: 20 65 6c 73 65 22 29 3b 0a 09 09 09 09 65 6c 20 else");.....el
13b0: 3d 20 42 6f 64 79 28 29 3b 0a 09 09 09 09 65 61 = Body();.....ea
13c0: 74 28 22 7d 22 2c 20 22 61 66 74 65 72 20 65 6c t("}", "after el
13d0: 73 65 20 62 6f 64 79 22 29 3b 0a 09 09 09 7d 0a se body");....}.
13e0: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 46 75 ...return new Fu
13f0: 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 ncallExpression(
1400: 70 6f 73 2c 20 0a 09 09 09 09 6e 65 77 20 56 61 pos, .....new Va
1410: 72 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c rExpression(pos,
1420: 20 22 69 66 22 29 2c 0a 09 09 09 09 63 6f 6e 64 "if"),.....cond
1430: 2c 0a 09 09 09 09 6e 65 77 20 46 75 6e 4c 69 74 ,.....new FunLit
1440: 65 72 61 6c 28 74 68 65 6e 50 6f 73 2c 20 5b 5d eral(thenPos, []
1450: 2c 20 74 68 29 2c 0a 09 09 09 09 6e 65 77 20 46 , th),.....new F
1460: 75 6e 4c 69 74 65 72 61 6c 28 65 6c 73 65 50 6f unLiteral(elsePo
1470: 73 2c 20 5b 5d 2c 20 65 6c 29 0a 09 09 09 29 3b s, [], el)....);
1480: 0a 09 09 7d 0a 09 09 69 66 28 20 74 72 79 45 61 ...}...if( tryEa
1490: 74 28 22 66 75 6e 22 29 20 7c 7c 20 74 72 79 45 t("fun") || tryE
14a0: 61 74 28 22 5c 75 30 33 42 42 22 29 20 29 0a 09 at("\u03BB") )..
14b0: 09 7b 0a 09 09 09 65 61 74 28 22 28 22 2c 20 22 .{....eat("(", "
14c0: 61 66 74 65 72 20 66 75 6e 22 29 3b 0a 09 09 09 after fun");....
14d0: 72 65 74 75 72 6e 20 70 61 72 73 65 4c 61 6d 62 return parseLamb
14e0: 64 61 41 66 74 65 72 4f 70 65 6e 50 61 72 65 6e daAfterOpenParen
14f0: 28 70 6f 73 29 3b 0d 0a 09 09 7d 0a 09 09 73 63 (pos);....}...sc
1500: 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f ope(exit) lex.po
1510: 70 46 72 6f 6e 74 3b 0a 09 09 72 65 74 75 72 6e pFront;...return
1520: 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 new VarExpressi
1530: 6f 6e 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f 6e on(pos, lex.fron
1540: 74 2e 73 74 72 29 3b 0a 09 7d 0d 0a 0d 0a 09 41 t.str);..}.....A
1550: 53 54 20 70 61 72 73 65 4c 61 6d 62 64 61 41 66 ST parseLambdaAf
1560: 74 65 72 4f 70 65 6e 50 61 72 65 6e 28 69 6d 6d terOpenParen(imm
1570: 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 utable LexPositi
1580: 6f 6e 20 70 6f 73 29 0d 0a 09 7b 0d 0a 09 09 73 on pos)...{....s
1590: 74 72 69 6e 67 5b 5d 20 70 61 72 61 6d 73 3b 0d tring[] params;.
15a0: 0a 09 09 77 68 69 6c 65 28 20 21 74 72 79 45 61 ...while( !tryEa
15b0: 74 28 22 29 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 t(")") )....{...
15c0: 09 09 70 61 72 61 6d 73 20 7e 3d 20 65 61 74 49 ..params ~= eatI
15d0: 64 28 22 66 6f 72 20 66 75 6e 63 74 69 6f 6e 20 d("for function
15e0: 70 61 72 61 6d 65 74 65 72 22 29 3b 0d 0a 09 09 parameter");....
15f0: 09 69 66 28 20 21 74 72 79 45 61 74 28 22 2c 22 .if( !tryEat(","
1600: 29 20 29 20 7b 0d 0a 09 09 09 09 65 61 74 28 22 ) ) {......eat("
1610: 29 22 2c 20 22 61 66 74 65 72 20 66 75 6e 63 74 )", "after funct
1620: 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 73 22 29 ion parameters")
1630: 3b 0d 0a 09 09 09 09 62 72 65 61 6b 3b 0d 0a 09 ;......break;...
1640: 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 65 61 74 28 ..}....}....eat(
1650: 22 7b 22 2c 20 22 61 66 74 65 72 20 66 75 6e 63 "{", "after func
1660: 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 73 22 tion parameters"
1670: 29 3b 0d 0a 09 09 61 75 74 6f 20 66 75 6e 62 6f );....auto funbo
1680: 64 79 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 dy = Body();....
1690: 65 61 74 28 22 7d 22 2c 20 22 61 66 74 65 72 20 eat("}", "after
16a0: 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 22 29 3b function body");
16b0: 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 46 ....return new F
16c0: 75 6e 4c 69 74 65 72 61 6c 28 70 6f 73 2c 20 70 unLiteral(pos, p
16d0: 61 72 61 6d 73 2c 20 66 75 6e 62 6f 64 79 29 3b arams, funbody);
16e0: 0d 0a 09 7d 0a 0a 70 72 69 76 61 74 65 3a 0a 09 ...}..private:..
16f0: 4c 65 78 65 72 20 6c 65 78 3b 0d 0a 09 74 68 69 Lexer lex;...thi
1700: 73 28 4c 65 78 65 72 20 6c 65 78 29 20 7b 20 74 s(Lexer lex) { t
1710: 68 69 73 2e 6c 65 78 20 3d 20 6c 65 78 3b 20 7d his.lex = lex; }
1720: 0d 0a 0a 09 76 6f 69 64 20 65 61 74 28 73 74 72 ....void eat(str
1730: 69 6e 67 20 6b 77 64 2c 20 6c 61 7a 79 20 73 74 ing kwd, lazy st
1740: 72 69 6e 67 20 6d 73 67 29 0a 09 7b 0a 09 09 69 ring msg)..{...i
1750: 66 28 20 21 74 72 79 45 61 74 28 6b 77 64 29 20 f( !tryEat(kwd)
1760: 29 0d 0a 09 09 09 69 66 28 20 6c 65 78 2e 65 6d ).....if( lex.em
1770: 70 74 79 20 29 0d 0a 09 09 09 09 74 68 72 6f 77 pty )......throw
1780: 20 67 65 6e 65 78 21 55 6e 65 78 70 65 63 74 65 genex!Unexpecte
1790: 64 45 4f 46 28 0d 0a 09 09 09 09 09 63 75 72 72 dEOF(.......curr
17a0: 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 73 entPosition(), s
17b0: 70 72 69 6e 74 66 21 22 25 73 20 69 73 20 65 78 printf!"%s is ex
17c0: 70 65 63 74 65 64 20 66 6f 72 20 25 73 20 62 75 pected for %s bu
17d0: 74 20 6e 6f 74 20 66 6f 75 6e 64 22 28 6b 77 64 t not found"(kwd
17e0: 2c 6d 73 67 29 29 3b 0d 0a 09 09 09 65 6c 73 65 ,msg));.....else
17f0: 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65 ......throw gene
1800: 78 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e x!ParseException
1810: 28 0d 0a 09 09 09 09 09 63 75 72 72 65 6e 74 50 (.......currentP
1820: 6f 73 69 74 69 6f 6e 28 29 2c 20 73 70 72 69 6e osition(), sprin
1830: 74 66 21 22 25 73 20 69 73 20 65 78 70 65 63 74 tf!"%s is expect
1840: 65 64 20 66 6f 72 20 25 73 20 62 75 74 20 6e 6f ed for %s but no
1850: 74 20 66 6f 75 6e 64 22 28 6b 77 64 2c 6d 73 67 t found"(kwd,msg
1860: 29 29 3b 0d 0a 09 7d 0a 0a 09 62 6f 6f 6c 20 74 ));...}...bool t
1870: 72 79 45 61 74 28 73 74 72 69 6e 67 20 6b 77 64 ryEat(string kwd
1880: 29 0a 09 7b 0a 09 09 69 66 28 20 6c 65 78 2e 65 )..{...if( lex.e
1890: 6d 70 74 79 20 7c 7c 20 6c 65 78 2e 66 72 6f 6e mpty || lex.fron
18a0: 74 2e 71 75 6f 74 65 64 20 7c 7c 20 6c 65 78 2e t.quoted || lex.
18b0: 66 72 6f 6e 74 2e 73 74 72 21 3d 6b 77 64 20 29 front.str!=kwd )
18c0: 0a 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 ....return false
18d0: 3b 0a 09 09 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 ;...lex.popFront
18e0: 3b 0a 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b ;...return true;
18f0: 0a 09 7d 0a 0d 0a 09 73 74 72 69 6e 67 20 65 61 ..}....string ea
1900: 74 49 64 28 6c 61 7a 79 20 73 74 72 69 6e 67 20 tId(lazy string
1910: 6d 73 67 2c 20 62 6f 6f 6c 20 61 6c 6c 6f 77 51 msg, bool allowQ
1920: 75 6f 74 65 64 3d 66 61 6c 73 65 29 0d 0a 09 7b uoted=false)...{
1930: 0d 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 ....if( lex.empt
1940: 79 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 67 65 y ).....throw ge
1950: 6e 65 78 21 55 6e 65 78 70 65 63 74 65 64 45 4f nex!UnexpectedEO
1960: 46 28 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f F(currentPositio
1970: 6e 28 29 2c 20 22 69 64 65 6e 74 69 66 69 65 72 n(), "identifier
1980: 20 69 73 20 65 78 70 65 63 74 65 64 20 62 75 74 is expected but
1990: 20 6e 6f 74 20 66 6f 75 6e 64 20 22 7e 6d 73 67 not found "~msg
19a0: 29 3b 0d 0a 09 09 69 66 28 20 21 61 6c 6c 6f 77 );....if( !allow
19b0: 51 75 6f 74 65 64 20 26 26 20 6c 65 78 2e 66 72 Quoted && lex.fr
19c0: 6f 6e 74 2e 71 75 6f 74 65 64 20 29 0d 0a 09 09 ont.quoted )....
19d0: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 50 61 72 .throw genex!Par
19e0: 73 65 45 78 63 65 70 74 69 6f 6e 28 63 75 72 72 seException(curr
19f0: 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 22 entPosition(), "
1a00: 69 64 65 6e 74 69 66 69 65 72 20 69 73 20 65 78 identifier is ex
1a10: 70 65 63 74 65 64 20 62 75 74 20 6e 6f 74 20 66 pected but not f
1a20: 6f 75 6e 64 20 22 7e 6d 73 67 29 3b 0d 0a 09 09 ound "~msg);....
1a30: 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e scope(exit) lex.
1a40: 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 popFront;....ret
1a50: 75 72 6e 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 urn lex.front.st
1a60: 72 3b 0d 0a 09 7d 0d 0a 0a 09 62 6f 6f 6c 20 69 r;...}....bool i
1a70: 73 4e 75 6d 62 65 72 28 73 74 72 69 6e 67 20 73 sNumber(string s
1a80: 29 0a 09 7b 0a 09 09 72 65 74 75 72 6e 20 66 69 )..{...return fi
1a90: 6e 64 21 28 60 61 3c 27 30 27 7c 7c 27 39 27 3c nd!(`a<'0'||'9'<
1aa0: 61 60 29 28 73 29 2e 65 6d 70 74 79 3b 0a 09 7d a`)(s).empty;..}
1ab0: 0d 0a 0d 0a 09 41 53 54 20 64 6f 4e 6f 74 68 69 .....AST doNothi
1ac0: 6e 67 45 78 70 72 65 73 73 69 6f 6e 28 29 0d 0a ngExpression()..
1ad0: 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 .{....return new
1ae0: 20 49 6e 74 4c 69 74 65 72 61 6c 28 63 75 72 72 IntLiteral(curr
1af0: 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 42 entPosition(), B
1b00: 69 67 49 6e 74 28 31 37 38 29 29 3b 0d 0a 09 7d igInt(178));...}
1b10: 0d 0a 0d 0a 09 69 6d 6d 75 74 61 62 6c 65 28 4c .....immutable(L
1b20: 65 78 50 6f 73 69 74 69 6f 6e 29 20 63 75 72 72 exPosition) curr
1b30: 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 0d 0a 09 entPosition()...
1b40: 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6c 65 78 2e {....return lex.
1b50: 65 6d 70 74 79 20 3f 20 6e 75 6c 6c 20 3a 20 6c empty ? null : l
1b60: 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d 0a 09 ex.front.pos;...
1b70: 7d 0a 7d 0a 0a 75 6e 69 74 74 65 73 74 0a 7b 0d }.}..unittest.{.
1b80: 0a 09 6d 69 78 69 6e 20 45 61 73 79 41 53 54 3b ..mixin EasyAST;
1b90: 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 .....assert_eq(p
1ba0: 61 72 73 65 53 74 72 69 6e 67 28 60 31 32 33 60 arseString(`123`
1bb0: 29 2c 20 69 6e 74 6c 28 31 32 33 29 29 3b 0d 0a ), intl(123));..
1bc0: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
1bd0: 53 74 72 69 6e 67 28 60 22 66 6f 6f 22 60 29 2c String(`"foo"`),
1be0: 20 73 74 72 6c 28 22 66 6f 6f 22 29 29 3b 0d 0a strl("foo"));..
1bf0: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
1c00: 53 74 72 69 6e 67 28 60 66 75 6e 28 29 7b 31 7d String(`fun(){1}
1c10: 60 29 2c 20 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 `), fun([],intl(
1c20: 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 1)));...assert_e
1c30: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 66 q(parseString(`f
1c40: 75 6e 28 78 29 7b 31 7d 60 29 2c 20 66 75 6e 28 un(x){1}`), fun(
1c50: 5b 22 78 22 5d 2c 69 6e 74 6c 28 31 29 29 29 3b ["x"],intl(1)));
1c60: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
1c70: 73 65 53 74 72 69 6e 67 28 22 5c 75 30 33 42 42 seString("\u03BB
1c80: 28 29 7b 31 7d 22 29 2c 20 66 75 6e 28 5b 5d 2c (){1}"), fun([],
1c90: 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 intl(1)));...ass
1ca0: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
1cb0: 6e 67 28 22 5c 75 30 33 42 42 28 78 29 7b 31 7d ng("\u03BB(x){1}
1cc0: 22 29 2c 20 66 75 6e 28 5b 22 78 22 5d 2c 69 6e "), fun(["x"],in
1cd0: 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(1)));...asser
1ce0: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
1cf0: 28 60 31 3b 32 60 29 2c 20 6c 65 74 28 22 5f 22 (`1;2`), let("_"
1d00: 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c ,"",intl(1),intl
1d10: 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f (2)));...assert_
1d20: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
1d30: 31 3b 32 3b 60 29 2c 20 6c 65 74 28 22 5f 22 2c 1;2;`), let("_",
1d40: 22 22 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 "",intl(1),intl(
1d50: 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 2)));...assert_e
1d60: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 6c q(parseString(`l
1d70: 65 74 20 78 3d 31 3b 32 60 29 2c 20 6c 65 74 28 et x=1;2`), let(
1d80: 22 78 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 69 "x","",intl(1),i
1d90: 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 ntl(2)));...asse
1da0: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
1db0: 67 28 60 76 61 72 20 78 3d 31 3b 32 3b 60 29 2c g(`var x=1;2;`),
1dc0: 20 6c 65 74 28 22 78 22 2c 22 22 2c 69 6e 74 6c let("x","",intl
1dd0: 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a (1),intl(2)));..
1de0: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
1df0: 53 74 72 69 6e 67 28 60 64 65 66 20 78 3d 31 60 String(`def x=1`
1e00: 29 2c 20 6c 65 74 28 22 78 22 2c 22 22 2c 69 6e ), let("x","",in
1e10: 74 6c 28 31 29 2c 76 61 72 28 22 78 22 29 29 29 tl(1),var("x")))
1e20: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
1e30: 72 73 65 53 74 72 69 6e 67 28 60 40 76 61 6c 20 rseString(`@val
1e40: 78 3d 31 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c x=1;`), let("x",
1e50: 22 40 76 61 6c 22 2c 69 6e 74 6c 28 31 29 2c 76 "@val",intl(1),v
1e60: 61 72 28 22 78 22 29 29 29 3b 0d 0a 09 61 73 73 ar("x")));...ass
1e70: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
1e80: 6e 67 28 60 40 74 79 70 20 78 3d 22 23 69 6e 74 ng(`@typ x="#int
1e90: 22 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 40 ";`), let("x","@
1ea0: 74 79 70 22 2c 73 74 72 6c 28 22 23 69 6e 74 22 typ",strl("#int"
1eb0: 29 2c 76 61 72 28 22 78 22 29 29 29 3b 0d 0a 09 ),var("x")));...
1ec0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
1ed0: 74 72 69 6e 67 28 60 66 28 31 2c 32 29 60 29 2c tring(`f(1,2)`),
1ee0: 20 63 61 6c 6c 28 76 61 72 28 22 66 22 29 2c 69 call(var("f"),i
1ef0: 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 ntl(1),intl(2)))
1f00: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
1f10: 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 31 29 rseString(`if(1)
1f20: 7b 32 7d 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 {2}`), call(var(
1f30: 22 69 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 75 "if"),intl(1),fu
1f40: 6e 28 5b 5d 2c 69 6e 74 6c 28 32 29 29 2c 66 75 n([],intl(2)),fu
1f50: 6e 28 5b 5d 2c 69 6e 74 6c 28 31 37 38 29 29 29 n([],intl(178)))
1f60: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
1f70: 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 31 arseString(`if(1
1f80: 29 7b 32 7d 65 6c 73 65 7b 33 7d 60 29 2c 20 63 ){2}else{3}`), c
1f90: 61 6c 6c 28 76 61 72 28 22 69 66 22 29 2c 69 6e all(var("if"),in
1fa0: 74 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 tl(1),fun([],int
1fb0: 6c 28 32 29 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 l(2)),fun([],int
1fc0: 6c 28 33 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 l(3))));...asser
1fd0: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
1fe0: 28 60 69 66 28 31 29 7b 7d 65 6c 73 65 7b 33 7d (`if(1){}else{3}
1ff0: 28 29 28 29 60 29 2c 0d 0a 09 09 63 61 6c 6c 28 ()()`),....call(
2000: 63 61 6c 6c 28 63 61 6c 6c 28 76 61 72 28 22 69 call(call(var("i
2010: 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e 28 f"),intl(1),fun(
2020: 5b 5d 2c 69 6e 74 6c 28 31 37 38 29 29 2c 66 75 [],intl(178)),fu
2030: 6e 28 5b 5d 2c 69 6e 74 6c 28 33 29 29 29 29 29 n([],intl(3)))))
2040: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
2050: 61 72 73 65 53 74 72 69 6e 67 28 60 31 2b 32 2a arseString(`1+2*
2060: 33 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b 3`), call(var("+
2070: 22 29 2c 69 6e 74 6c 28 31 29 2c 63 61 6c 6c 28 "),intl(1),call(
2080: 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c 28 32 29 var("*"),intl(2)
2090: 2c 69 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 09 61 ,intl(3))));...a
20a0: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
20b0: 72 69 6e 67 28 60 28 31 2b 32 29 2a 33 60 29 2c ring(`(1+2)*3`),
20c0: 20 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c 63 call(var("*"),c
20d0: 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 6e 74 all(var("+"),int
20e0: 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 2c 69 6e l(1),intl(2)),in
20f0: 74 6c 28 33 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(3)));...asser
2100: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
2110: 28 60 31 2a 28 32 2b 33 29 60 29 2c 20 63 61 6c (`1*(2+3)`), cal
2120: 6c 28 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c 28 l(var("*"),intl(
2130: 31 29 2c 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 1),call(var("+")
2140: 2c 69 6e 74 6c 28 32 29 2c 69 6e 74 6c 28 33 29 ,intl(2),intl(3)
2150: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
2160: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2a (parseString(`1*
2170: 32 2b 33 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 2+3`), call(var(
2180: 22 2b 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 2a "+"),call(var("*
2190: 22 29 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 "),intl(1),intl(
21a0: 32 29 29 2c 69 6e 74 6c 28 33 29 29 29 3b 0d 0a 2)),intl(3)));..
21b0: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
21c0: 53 74 72 69 6e 67 28 60 40 78 28 31 29 60 29 2c String(`@x(1)`),
21d0: 20 6c 61 79 28 22 40 78 22 2c 20 69 6e 74 6c 28 lay("@x", intl(
21e0: 31 29 29 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 1)));.....assert
21f0: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
2200: 60 0d 0a 09 09 6c 65 74 20 78 20 3d 20 31 30 30 `....let x = 100
2210: 3b 20 23 63 6f 6d 6d 65 6e 74 0d 0a 09 09 6c 65 ; #comment....le
2220: 74 20 79 20 3d 20 32 30 30 3b 20 23 63 6f 6d 6d t y = 200; #comm
2230: 65 6e 74 21 21 21 21 21 0d 0a 09 09 09 78 2b 79 ent!!!!!.....x+y
2240: 0d 0a 09 60 29 2c 0d 0a 09 09 6c 65 74 28 22 78 ...`),....let("x
2250: 22 2c 20 22 22 2c 20 69 6e 74 6c 28 31 30 30 29 ", "", intl(100)
2260: 2c 20 6c 65 74 28 22 79 22 2c 20 22 22 2c 20 69 , let("y", "", i
2270: 6e 74 6c 28 32 30 30 29 2c 20 63 61 6c 6c 28 76 ntl(200), call(v
2280: 61 72 28 22 2b 22 29 2c 20 76 61 72 28 22 78 22 ar("+"), var("x"
2290: 29 2c 20 76 61 72 28 22 79 22 29 29 29 29 0d 0a ), var("y"))))..
22a0: 09 29 3b 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 .);....assert_eq
22b0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 0d 0a (parseString(`..
22c0: 09 09 76 61 72 20 66 61 63 20 3d 20 66 75 6e 28 ..var fac = fun(
22d0: 78 29 7b 20 69 66 28 78 20 3c 3d 20 31 29 20 7b x){ if(x <= 1) {
22e0: 31 7d 20 65 6c 73 65 20 7b 78 2a 66 61 63 28 78 1} else {x*fac(x
22f0: 2d 31 29 7d 20 7d 3b 0d 0a 09 09 66 61 63 28 31 -1)} };....fac(1
2300: 30 29 0a 09 60 29 2c 0d 0a 09 09 6c 65 74 28 22 0)..`),....let("
2310: 66 61 63 22 2c 20 22 22 2c 20 66 75 6e 28 5b 22 fac", "", fun(["
2320: 78 22 5d 2c 0d 0a 09 09 09 63 61 6c 6c 28 76 61 x"],.....call(va
2330: 72 28 22 69 66 22 29 2c 0d 0a 09 09 09 09 63 61 r("if"),......ca
2340: 6c 6c 28 76 61 72 28 22 3c 3d 22 29 2c 20 76 61 ll(var("<="), va
2350: 72 28 22 78 22 29 2c 20 69 6e 74 6c 28 31 29 29 r("x"), intl(1))
2360: 2c 0d 0a 09 09 09 09 66 75 6e 28 5b 5d 2c 20 69 ,......fun([], i
2370: 6e 74 6c 28 31 29 29 2c 0d 0a 09 09 09 09 66 75 ntl(1)),......fu
2380: 6e 28 5b 5d 2c 20 63 61 6c 6c 28 76 61 72 28 22 n([], call(var("
2390: 2a 22 29 2c 20 76 61 72 28 22 78 22 29 2c 20 63 *"), var("x"), c
23a0: 61 6c 6c 28 76 61 72 28 22 66 61 63 22 29 2c 63 all(var("fac"),c
23b0: 61 6c 6c 28 76 61 72 28 22 2d 22 29 2c 76 61 72 all(var("-"),var
23c0: 28 22 78 22 29 2c 69 6e 74 6c 28 31 29 29 29 29 ("x"),intl(1))))
23d0: 29 0d 0a 09 09 09 29 29 2c 0d 0a 09 09 09 63 61 ).....)),.....ca
23e0: 6c 6c 28 76 61 72 28 22 66 61 63 22 29 2c 69 6e ll(var("fac"),in
23f0: 74 6c 28 31 30 29 29 0d 0a 09 09 29 0d 0a 09 29 tl(10))....)...)
2400: 3b 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d ;.}....unittest.
2410: 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f .{...assert_thro
2420: 77 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 28 w!UnexpectedEOF(
2430: 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2b 60 parseString(`1+`
2440: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 ));...assert_thr
2450: 6f 77 21 50 61 72 73 65 45 78 63 65 70 74 69 6f ow!ParseExceptio
2460: 6e 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 n(parseString(`1
2470: 2b 32 7d 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 +2}`));...assert
2480: 5f 74 68 72 6f 77 21 55 6e 65 78 70 65 63 74 65 _throw!Unexpecte
2490: 64 45 4f 46 28 70 61 72 73 65 53 74 72 69 6e 67 dEOF(parseString
24a0: 28 60 6c 65 74 20 22 78 22 60 29 29 3b 0d 0a 09 (`let "x"`));...
24b0: 61 73 73 65 72 74 5f 74 68 72 6f 77 21 55 6e 65 assert_throw!Une
24c0: 78 70 65 63 74 65 64 45 4f 46 28 70 61 72 73 65 xpectedEOF(parse
24d0: 53 74 72 69 6e 67 28 60 76 61 72 60 29 29 3b 0d String(`var`));.
24e0: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 50 ..assert_throw!P
24f0: 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 61 arseException(pa
2500: 72 73 65 53 74 72 69 6e 67 28 60 40 76 61 6c 20 rseString(`@val
2510: 78 20 3d 3d 60 29 29 3b 0d 0a 09 61 73 73 65 72 x ==`));...asser
2520: 74 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 t_throw!ParseExc
2530: 65 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 eption(parseStri
2540: 6e 67 28 60 69 66 28 29 7b 31 7d 60 29 29 3b 0d ng(`if(){1}`));.
2550: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 55 ..assert_throw!U
2560: 6e 65 78 70 65 63 74 65 64 45 4f 46 28 70 61 72 nexpectedEOF(par
2570: 73 65 53 74 72 69 6e 67 28 60 66 28 60 29 29 3b seString(`f(`));
2580: 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d ..}....unittest.
2590: 0a 7b 0d 0a 09 6d 69 78 69 6e 20 45 61 73 79 41 .{...mixin EasyA
25a0: 53 54 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ST;...assert_eq(
25b0: 70 61 72 73 65 53 74 72 69 6e 67 28 60 64 65 66 parseString(`def
25c0: 20 66 6f 6f 28 78 29 20 7b 20 78 2b 31 20 7d 3b foo(x) { x+1 };
25d0: 20 66 6f 6f 60 29 2c 0d 0a 09 09 6c 65 74 28 22 foo`),....let("
25e0: 66 6f 6f 22 2c 20 22 22 2c 0d 0a 09 09 09 66 75 foo", "",.....fu
25f0: 6e 28 5b 22 78 22 5d 2c 20 63 61 6c 6c 28 76 61 n(["x"], call(va
2600: 72 28 22 2b 22 29 2c 20 76 61 72 28 22 78 22 29 r("+"), var("x")
2610: 2c 20 69 6e 74 6c 28 31 29 29 29 2c 0d 0a 09 09 , intl(1))),....
2620: 09 76 61 72 28 22 66 6f 6f 22 29 29 0d 0a 09 29 .var("foo"))...)
2630: 3b 0d 0a 7d 0d 0a ;..}..