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 65 61 74 28 22 3d 22 2c 20 22 ;.....eat("=", "
06c0: 61 66 74 65 72 20 22 7e 6b 77 64 29 3b 0d 0a 09 after "~kwd);...
06d0: 09 09 6b 77 64 20 3d 20 28 6b 77 64 5b 30 5d 3d ..kwd = (kwd[0]=
06e0: 3d 27 40 27 20 3f 20 6b 77 64 20 3a 20 22 22 29 ='@' ? kwd : "")
06f0: 3b 20 2f 2f 20 22 6c 65 74 2c 20 76 61 72 2c 20 ; // "let, var,
0700: 64 65 66 20 3d 3d 3e 20 6e 65 75 74 72 61 6c 20 def ==> neutral
0710: 6c 61 79 65 72 22 0d 0a 09 09 09 61 75 74 6f 20 layer".....auto
0720: 65 20 3d 20 45 28 30 29 3b 0d 0a 09 09 09 69 66 e = E(0);.....if
0730: 28 20 74 72 79 45 61 74 28 22 3b 22 29 20 26 26 ( tryEat(";") &&
0740: 20 21 6c 65 78 2e 65 6d 70 74 79 20 26 26 20 28 !lex.empty && (
0750: 6c 65 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 64 lex.front.quoted
0760: 20 7c 7c 20 21 5b 22 7d 22 2c 22 29 22 2c 22 5d || !["}",")","]
0770: 22 5d 2e 63 61 6e 46 69 6e 64 28 6c 65 78 2e 66 "].canFind(lex.f
0780: 72 6f 6e 74 2e 73 74 72 29 29 20 29 0d 0a 09 09 ront.str)) )....
0790: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 ..return new Let
07a0: 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 Expression(pos,
07b0: 76 61 72 2c 20 6b 77 64 2c 20 65 2c 20 42 6f 64 var, kwd, e, Bod
07c0: 79 28 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a y());.....else..
07d0: 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c ....return new L
07e0: 65 74 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 etExpression(pos
07f0: 2c 20 76 61 72 2c 20 6b 77 64 2c 20 65 2c 20 6e , var, kwd, e, n
0800: 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e ew VarExpression
0810: 28 76 61 72 70 6f 73 2c 20 76 61 72 29 29 3b 0d (varpos, var));.
0820: 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 ...}....else....
0830: 7b 0d 0a 09 09 61 73 45 78 70 72 65 73 73 69 6f {....asExpressio
0840: 6e 3a 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 n:.....auto e =
0850: 45 28 30 29 3b 0d 0a 09 09 09 69 66 28 20 74 72 E(0);.....if( tr
0860: 79 45 61 74 28 22 3b 22 29 20 26 26 20 21 6c 65 yEat(";") && !le
0870: 78 2e 65 6d 70 74 79 20 26 26 20 28 6c 65 78 2e x.empty && (lex.
0880: 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 7c 7c 20 front.quoted ||
0890: 28 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d (lex.front.str!=
08a0: 22 7d 22 20 26 26 20 6c 65 78 2e 66 72 6f 6e 74 "}" && lex.front
08b0: 2e 73 74 72 21 3d 22 29 22 29 29 20 29 0d 0a 09 .str!=")")) )...
08c0: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 ...return new Le
08d0: 74 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c tExpression(pos,
08e0: 20 22 5f 22 2c 20 22 22 2c 20 65 2c 20 42 6f 64 "_", "", e, Bod
08f0: 79 28 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a y());.....else..
0900: 09 09 09 09 72 65 74 75 72 6e 20 65 3b 0d 0a 09 ....return e;...
0910: 09 7d 0d 0a 09 7d 0a 0a 09 2f 2f 20 5b 54 4f 44 .}...}...// [TOD
0920: 4f 5d 20 6d 61 6b 65 20 63 75 73 74 6f 6d 69 7a O] make customiz
0930: 61 62 6c 65 20 66 72 6f 6d 20 70 72 6f 67 72 61 able from progra
0940: 6d 0a 09 73 74 61 74 69 63 20 69 6d 6d 75 74 61 m..static immuta
0950: 62 6c 65 20 73 74 72 69 6e 67 5b 5d 5b 5d 20 6f ble string[][] o
0960: 70 65 72 61 74 6f 72 5f 70 65 72 66 65 72 65 6e perator_perferen
0970: 63 65 73 20 3d 20 5b 0a 09 09 5b 22 7c 7c 22 5d ces = [...["||"]
0980: 2c 0a 09 09 5b 22 26 26 22 5d 2c 0a 09 09 5b 22 ,...["&&"],...["
0990: 21 3d 22 5d 2c 0a 09 09 5b 22 3d 3d 22 5d 2c 0a !="],...["=="],.
09a0: 09 09 5b 22 3c 22 2c 22 3c 3d 22 2c 22 3e 22 2c ..["<","<=",">",
09b0: 22 3e 3d 22 5d 2c 0a 09 09 5b 22 7c 22 5d 2c 0a ">="],...["|"],.
09c0: 09 09 5b 22 5e 22 5d 2c 0a 09 09 5b 22 26 22 5d ..["^"],...["&"]
09d0: 2c 0a 09 09 5b 22 3c 3c 22 2c 20 22 3e 3e 22 5d ,...["<<", ">>"]
09e0: 2c 0a 09 09 5b 22 2b 22 2c 22 2d 22 5d 2c 0d 0a ,...["+","-"],..
09f0: 09 09 5b 22 7e 22 5d 2c 0d 0a 09 09 5b 22 2a 22 ..["~"],....["*"
0a00: 2c 22 2f 22 2c 22 25 22 5d 2c 0d 0a 09 09 5b 22 ,"/","%"],....["
0a10: 5e 5e 22 5d 0d 0a 09 5d 3b 0a 0a 09 41 53 54 20 ^^"]...];...AST
0a20: 45 28 69 6e 74 20 6c 65 76 65 6c 29 0a 09 7b 0a E(int level)..{.
0a30: 09 09 69 66 28 20 6f 70 65 72 61 74 6f 72 5f 70 ..if( operator_p
0a40: 65 72 66 65 72 65 6e 63 65 73 2e 6c 65 6e 67 74 erferences.lengt
0a50: 68 20 3c 3d 20 6c 65 76 65 6c 20 29 0a 09 09 09 h <= level )....
0a60: 72 65 74 75 72 6e 20 46 75 6e 63 61 6c 6c 28 29 return Funcall()
0a70: 3b 0a 09 09 65 6c 73 65 0a 09 09 7b 0a 09 09 09 ;...else...{....
0a80: 61 75 74 6f 20 6f 70 73 20 3d 20 6f 70 65 72 61 auto ops = opera
0a90: 74 6f 72 5f 70 65 72 66 65 72 65 6e 63 65 73 5b tor_perferences[
0aa0: 6c 65 76 65 6c 5d 3b 0a 09 09 09 61 75 74 6f 20 level];....auto
0ab0: 65 20 3d 20 45 28 6c 65 76 65 6c 2b 31 29 3b 0a e = E(level+1);.
0ac0: 09 09 73 65 71 3a 0a 09 09 09 77 68 69 6c 65 28 ..seq:....while(
0ad0: 20 21 6c 65 78 2e 65 6d 70 74 79 20 29 0a 09 09 !lex.empty )...
0ae0: 09 7b 0a 09 09 09 09 61 75 74 6f 20 70 6f 73 20 .{.....auto pos
0af0: 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b = lex.front.pos;
0b00: 0a 09 09 09 09 66 6f 72 65 61 63 68 28 6f 70 3b .....foreach(op;
0b10: 20 6f 70 73 29 0a 09 09 09 09 09 69 66 28 20 74 ops)......if( t
0b20: 72 79 45 61 74 28 6f 70 29 20 29 0a 09 09 09 09 ryEat(op) ).....
0b30: 09 7b 0a 09 09 09 09 09 09 65 20 3d 20 6e 65 77 .{.......e = new
0b40: 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 FuncallExpressi
0b50: 6f 6e 28 65 2e 70 6f 73 2c 20 6e 65 77 20 56 61 on(e.pos, new Va
0b60: 72 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c rExpression(pos,
0b70: 20 6f 70 29 2c 20 65 2c 20 45 28 6c 65 76 65 6c op), e, E(level
0b80: 2b 31 29 29 3b 0a 09 09 09 09 09 09 63 6f 6e 74 +1));.......cont
0b90: 69 6e 75 65 20 73 65 71 3b 0a 09 09 09 09 09 7d inue seq;......}
0ba0: 0a 09 09 09 09 62 72 65 61 6b 3b 0a 09 09 09 7d .....break;....}
0bb0: 0a 09 09 09 72 65 74 75 72 6e 20 65 3b 0a 09 09 ....return e;...
0bc0: 7d 0a 09 7d 0a 0a 09 41 53 54 20 46 75 6e 63 61 }..}...AST Funca
0bd0: 6c 6c 28 29 0a 09 7b 0a 09 09 61 75 74 6f 20 65 ll()..{...auto e
0be0: 20 3d 20 42 61 73 65 45 78 70 72 65 73 73 69 6f = BaseExpressio
0bf0: 6e 28 29 3b 0d 0a 09 09 77 68 69 6c 65 28 20 74 n();....while( t
0c00: 72 79 45 61 74 28 22 28 22 29 20 29 0a 09 09 7b ryEat("(") )...{
0c10: 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 .....auto pos =
0c20: 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 currentPosition(
0c30: 29 3b 0d 0a 09 09 09 41 53 54 5b 5d 20 61 72 67 );.....AST[] arg
0c40: 73 3b 0a 09 09 09 77 68 69 6c 65 28 20 21 74 72 s;....while( !tr
0c50: 79 45 61 74 28 22 29 22 29 20 29 20 7b 0a 09 09 yEat(")") ) {...
0c60: 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 ..if( lex.empty
0c70: 29 0d 0a 09 09 09 09 09 74 68 72 6f 77 20 67 65 ).......throw ge
0c80: 6e 65 78 21 55 6e 65 78 70 65 63 74 65 64 45 4f nex!UnexpectedEO
0c90: 46 28 70 6f 73 2c 22 43 6c 6f 73 69 6e 67 20 27 F(pos,"Closing '
0ca0: 29 27 20 66 6f 72 20 61 72 67 75 6d 65 6e 74 73 )' for arguments
0cb0: 20 6e 6f 74 20 66 6f 75 6e 64 22 29 3b 0a 09 09 not found");...
0cc0: 09 09 61 72 67 73 20 7e 3d 20 45 28 30 29 3b 0d ..args ~= E(0);.
0cd0: 0a 09 09 09 09 69 66 28 20 21 74 72 79 45 61 74 .....if( !tryEat
0ce0: 28 22 2c 22 29 20 29 20 7b 0a 09 09 09 09 09 65 (",") ) {......e
0cf0: 61 74 28 22 29 22 2c 20 22 61 66 74 65 72 20 66 at(")", "after f
0d00: 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 unction paramete
0d10: 72 73 22 29 3b 0a 09 09 09 09 09 62 72 65 61 6b rs");......break
0d20: 3b 0a 09 09 09 09 7d 0a 09 09 09 7d 0a 09 09 09 ;.....}....}....
0d30: 65 20 3d 20 6e 65 77 20 46 75 6e 63 61 6c 6c 45 e = new FuncallE
0d40: 78 70 72 65 73 73 69 6f 6e 28 65 2e 70 6f 73 2c xpression(e.pos,
0d50: 20 65 2c 20 61 72 67 73 29 3b 0a 09 09 7d 0a 09 e, args);...}..
0d60: 09 72 65 74 75 72 6e 20 65 3b 0a 09 7d 0a 0a 09 .return e;..}...
0d70: 41 53 54 20 42 61 73 65 45 78 70 72 65 73 73 69 AST BaseExpressi
0d80: 6f 6e 28 29 0a 09 7b 0a 09 09 69 66 28 20 6c 65 on()..{...if( le
0d90: 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 x.empty ).....th
0da0: 72 6f 77 20 67 65 6e 65 78 21 55 6e 65 78 70 65 row genex!Unexpe
0db0: 63 74 65 64 45 4f 46 28 63 75 72 72 65 6e 74 50 ctedEOF(currentP
0dc0: 6f 73 69 74 69 6f 6e 28 29 2c 20 22 52 65 61 63 osition(), "Reac
0dd0: 68 65 64 20 45 4f 46 20 77 68 65 6e 20 74 72 69 hed EOF when tri
0de0: 65 64 20 74 6f 20 70 61 72 73 65 20 61 6e 20 65 ed to parse an e
0df0: 78 70 72 65 73 73 69 6f 6e 22 29 3b 0d 0a 0d 0a xpression");....
0e00: 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 6c 65 78 ..auto pos = lex
0e10: 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0a 09 09 69 66 .front.pos;...if
0e20: 28 20 6c 65 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 ( lex.front.quot
0e30: 65 64 20 29 0a 09 09 7b 0a 09 09 09 73 63 6f 70 ed )...{....scop
0e40: 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 46 e(exit) lex.popF
0e50: 72 6f 6e 74 3b 0a 09 09 09 72 65 74 75 72 6e 20 ront;....return
0e60: 6e 65 77 20 53 74 72 4c 69 74 65 72 61 6c 28 70 new StrLiteral(p
0e70: 6f 73 2c 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 os, lex.front.st
0e80: 72 29 3b 0a 09 09 7d 0a 09 09 69 66 28 20 69 73 r);...}...if( is
0e90: 4e 75 6d 62 65 72 28 6c 65 78 2e 66 72 6f 6e 74 Number(lex.front
0ea0: 2e 73 74 72 29 20 29 0a 09 09 7b 0a 09 09 09 73 .str) )...{....s
0eb0: 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 cope(exit) lex.p
0ec0: 6f 70 46 72 6f 6e 74 3b 0a 09 09 09 72 65 74 75 opFront;....retu
0ed0: 72 6e 20 6e 65 77 20 49 6e 74 4c 69 74 65 72 61 rn new IntLitera
0ee0: 6c 28 70 6f 73 2c 20 42 69 67 49 6e 74 28 63 61 l(pos, BigInt(ca
0ef0: 73 74 28 73 74 72 69 6e 67 29 6c 65 78 2e 66 72 st(string)lex.fr
0f00: 6f 6e 74 2e 73 74 72 29 29 3b 0a 09 09 7d 0a 09 ont.str));...}..
0f10: 09 69 66 28 20 74 72 79 45 61 74 28 22 40 22 29 .if( tryEat("@")
0f20: 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 74 6f )....{.....auto
0f30: 20 6c 61 79 20 3d 20 22 40 22 7e 65 61 74 49 64 lay = "@"~eatId
0f40: 28 22 66 6f 72 20 6c 61 79 65 72 20 49 44 22 29 ("for layer ID")
0f50: 3b 0d 0a 09 09 09 65 61 74 28 22 28 22 2c 20 22 ;.....eat("(", "
0f60: 66 6f 72 20 6c 61 79 65 72 65 64 20 65 78 65 63 for layered exec
0f70: 75 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 61 75 74 ution");.....aut
0f80: 6f 20 65 20 3d 20 45 28 30 29 3b 0d 0a 09 09 09 o e = E(0);.....
0f90: 65 61 74 28 22 29 22 2c 20 22 61 66 74 65 72 20 eat(")", "after
0fa0: 22 7e 6c 61 79 7e 22 28 2e 2e 2e 22 29 3b 0d 0a "~lay~"(...");..
0fb0: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 61 ...return new La
0fc0: 79 65 72 65 64 45 78 70 72 65 73 73 69 6f 6e 28 yeredExpression(
0fd0: 70 6f 73 2c 20 6c 61 79 2c 20 65 29 3b 0d 0a 09 pos, lay, e);...
0fe0: 09 7d 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 .}....if( tryEat
0ff0: 28 22 28 22 29 20 29 0a 09 09 7b 0a 09 09 09 61 ("(") )...{....a
1000: 75 74 6f 20 65 20 3d 20 42 6f 64 79 28 29 3b 0a uto e = Body();.
1010: 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 74 ...eat(")", "aft
1020: 65 72 20 70 61 72 65 6e 74 68 65 73 69 7a 65 64 er parenthesized
1030: 20 65 78 70 72 65 73 73 69 6f 6e 22 29 3b 0a 09 expression");..
1040: 09 09 72 65 74 75 72 6e 20 65 3b 0a 09 09 7d 0a ..return e;...}.
1050: 09 09 69 66 28 20 74 72 79 45 61 74 28 22 69 66 ..if( tryEat("if
1060: 22 29 20 29 0a 09 09 7b 0a 09 09 09 65 61 74 28 ") )...{....eat(
1070: 22 28 22 2c 20 22 61 66 74 65 72 20 69 66 22 29 "(", "after if")
1080: 3b 0a 09 09 09 61 75 74 6f 20 63 6f 6e 64 20 3d ;....auto cond =
1090: 20 45 28 30 29 3b 0a 09 09 09 65 61 74 28 22 29 E(0);....eat(")
10a0: 22 2c 20 22 61 66 74 65 72 20 69 66 20 63 6f 6e ", "after if con
10b0: 64 69 74 69 6f 6e 22 29 3b 0a 09 09 09 61 75 74 dition");....aut
10c0: 6f 20 74 68 65 6e 50 6f 73 20 3d 20 6c 65 78 2e o thenPos = lex.
10d0: 66 72 6f 6e 74 2e 70 6f 73 3b 0a 09 09 09 65 61 front.pos;....ea
10e0: 74 28 22 7b 22 2c 20 22 61 66 74 65 72 20 69 66 t("{", "after if
10f0: 20 63 6f 6e 64 69 74 69 6f 6e 22 29 3b 0a 09 09 condition");...
1100: 09 61 75 74 6f 20 74 68 20 3d 20 42 6f 64 79 28 .auto th = Body(
1110: 29 3b 0a 09 09 09 65 61 74 28 22 7d 22 2c 20 22 );....eat("}", "
1120: 61 66 74 65 72 20 69 66 2d 74 68 65 6e 20 62 6f after if-then bo
1130: 64 79 22 29 3b 0a 09 09 09 61 75 74 6f 20 65 6c dy");....auto el
1140: 20 3d 20 64 6f 4e 6f 74 68 69 6e 67 45 78 70 72 = doNothingExpr
1150: 65 73 73 69 6f 6e 28 29 3b 0a 09 09 09 61 75 74 ession();....aut
1160: 6f 20 65 6c 73 65 50 6f 73 20 3d 20 28 6c 65 78 o elsePos = (lex
1170: 2e 65 6d 70 74 79 20 3f 20 4c 65 78 50 6f 73 69 .empty ? LexPosi
1180: 74 69 6f 6e 2e 64 75 6d 6d 79 20 3a 20 6c 65 78 tion.dummy : lex
1190: 2e 66 72 6f 6e 74 2e 70 6f 73 29 3b 0a 09 09 09 .front.pos);....
11a0: 69 66 28 20 74 72 79 45 61 74 28 22 65 6c 73 65 if( tryEat("else
11b0: 22 29 20 29 20 7b 0a 09 09 09 09 65 61 74 28 22 ") ) {.....eat("
11c0: 7b 22 2c 20 22 61 66 74 65 72 20 65 6c 73 65 22 {", "after else"
11d0: 29 3b 0a 09 09 09 09 65 6c 20 3d 20 42 6f 64 79 );.....el = Body
11e0: 28 29 3b 0a 09 09 09 09 65 61 74 28 22 7d 22 2c ();.....eat("}",
11f0: 20 22 61 66 74 65 72 20 65 6c 73 65 20 62 6f 64 "after else bod
1200: 79 22 29 3b 0a 09 09 09 7d 0a 09 09 09 72 65 74 y");....}....ret
1210: 75 72 6e 20 6e 65 77 20 46 75 6e 63 61 6c 6c 45 urn new FuncallE
1220: 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 0a xpression(pos, .
1230: 09 09 09 09 6e 65 77 20 56 61 72 45 78 70 72 65 ....new VarExpre
1240: 73 73 69 6f 6e 28 70 6f 73 2c 20 22 69 66 22 29 ssion(pos, "if")
1250: 2c 0a 09 09 09 09 63 6f 6e 64 2c 0a 09 09 09 09 ,.....cond,.....
1260: 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 6c 28 74 new FunLiteral(t
1270: 68 65 6e 50 6f 73 2c 20 5b 5d 2c 20 74 68 29 2c henPos, [], th),
1280: 0a 09 09 09 09 6e 65 77 20 46 75 6e 4c 69 74 65 .....new FunLite
1290: 72 61 6c 28 65 6c 73 65 50 6f 73 2c 20 5b 5d 2c ral(elsePos, [],
12a0: 20 65 6c 29 0a 09 09 09 29 3b 0a 09 09 7d 0a 09 el)....);...}..
12b0: 09 69 66 28 20 74 72 79 45 61 74 28 22 66 75 6e .if( tryEat("fun
12c0: 22 29 20 7c 7c 20 74 72 79 45 61 74 28 22 5c 75 ") || tryEat("\u
12d0: 30 33 42 42 22 29 20 29 0a 09 09 7b 0a 09 09 09 03BB") )...{....
12e0: 65 61 74 28 22 28 22 2c 20 22 61 66 74 65 72 20 eat("(", "after
12f0: 66 75 6e 22 29 3b 0a 09 09 09 73 74 72 69 6e 67 fun");....string
1300: 5b 5d 20 70 61 72 61 6d 73 3b 0a 09 09 09 77 68 [] params;....wh
1310: 69 6c 65 28 20 21 74 72 79 45 61 74 28 22 29 22 ile( !tryEat(")"
1320: 29 20 29 0a 09 09 09 7b 0a 09 09 09 09 70 61 72 ) )....{.....par
1330: 61 6d 73 20 7e 3d 20 65 61 74 49 64 28 22 66 6f ams ~= eatId("fo
1340: 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d r function param
1350: 65 74 65 72 22 29 3b 0a 09 09 09 09 69 66 28 20 eter");.....if(
1360: 21 74 72 79 45 61 74 28 22 2c 22 29 20 29 20 7b !tryEat(",") ) {
1370: 0a 09 09 09 09 09 65 61 74 28 22 29 22 2c 20 22 ......eat(")", "
1380: 61 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 after function p
1390: 61 72 61 6d 65 74 65 72 73 22 29 3b 0a 09 09 09 arameters");....
13a0: 09 09 62 72 65 61 6b 3b 0a 09 09 09 09 7d 0a 09 ..break;.....}..
13b0: 09 09 7d 0a 09 09 09 65 61 74 28 22 7b 22 2c 20 ..}....eat("{",
13c0: 22 61 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 "after function
13d0: 70 61 72 61 6d 65 74 65 72 73 22 29 3b 0d 0a 09 parameters");...
13e0: 09 09 61 75 74 6f 20 66 75 6e 62 6f 64 79 20 3d ..auto funbody =
13f0: 20 42 6f 64 79 28 29 3b 0a 09 09 09 65 61 74 28 Body();....eat(
1400: 22 7d 22 2c 20 22 61 66 74 65 72 20 66 75 6e 63 "}", "after func
1410: 74 69 6f 6e 20 62 6f 64 79 22 29 3b 0d 0a 09 09 tion body");....
1420: 09 72 65 74 75 72 6e 20 6e 65 77 20 46 75 6e 4c .return new FunL
1430: 69 74 65 72 61 6c 28 70 6f 73 2c 20 70 61 72 61 iteral(pos, para
1440: 6d 73 2c 20 66 75 6e 62 6f 64 79 29 3b 0a 09 09 ms, funbody);...
1450: 7d 0a 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 }...scope(exit)
1460: 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09 09 lex.popFront;...
1470: 72 65 74 75 72 6e 20 6e 65 77 20 56 61 72 45 78 return new VarEx
1480: 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6c 65 pression(pos, le
1490: 78 2e 66 72 6f 6e 74 2e 73 74 72 29 3b 0a 09 7d x.front.str);..}
14a0: 0a 0a 70 72 69 76 61 74 65 3a 0a 09 4c 65 78 65 ..private:..Lexe
14b0: 72 20 6c 65 78 3b 0d 0a 09 74 68 69 73 28 4c 65 r lex;...this(Le
14c0: 78 65 72 20 6c 65 78 29 20 7b 20 74 68 69 73 2e xer lex) { this.
14d0: 6c 65 78 20 3d 20 6c 65 78 3b 20 7d 0d 0a 0a 09 lex = lex; }....
14e0: 76 6f 69 64 20 65 61 74 28 73 74 72 69 6e 67 20 void eat(string
14f0: 6b 77 64 2c 20 6c 61 7a 79 20 73 74 72 69 6e 67 kwd, lazy string
1500: 20 6d 73 67 29 0a 09 7b 0a 09 09 69 66 28 20 21 msg)..{...if( !
1510: 74 72 79 45 61 74 28 6b 77 64 29 20 29 0d 0a 09 tryEat(kwd) )...
1520: 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 ..if( lex.empty
1530: 29 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e )......throw gen
1540: 65 78 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 ex!UnexpectedEOF
1550: 28 0d 0a 09 09 09 09 09 63 75 72 72 65 6e 74 50 (.......currentP
1560: 6f 73 69 74 69 6f 6e 28 29 2c 20 73 70 72 69 6e osition(), sprin
1570: 74 66 21 22 25 73 20 69 73 20 65 78 70 65 63 74 tf!"%s is expect
1580: 65 64 20 66 6f 72 20 25 73 20 62 75 74 20 6e 6f ed for %s but no
1590: 74 20 66 6f 75 6e 64 22 28 6b 77 64 2c 6d 73 67 t found"(kwd,msg
15a0: 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 ));.....else....
15b0: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 50 61 ..throw genex!Pa
15c0: 72 73 65 45 78 63 65 70 74 69 6f 6e 28 0d 0a 09 rseException(...
15d0: 09 09 09 09 63 75 72 72 65 6e 74 50 6f 73 69 74 ....currentPosit
15e0: 69 6f 6e 28 29 2c 20 73 70 72 69 6e 74 66 21 22 ion(), sprintf!"
15f0: 25 73 20 69 73 20 65 78 70 65 63 74 65 64 20 66 %s is expected f
1600: 6f 72 20 25 73 20 62 75 74 20 6e 6f 74 20 66 6f or %s but not fo
1610: 75 6e 64 22 28 6b 77 64 2c 6d 73 67 29 29 3b 0d und"(kwd,msg));.
1620: 0a 09 7d 0a 0a 09 62 6f 6f 6c 20 74 72 79 45 61 ..}...bool tryEa
1630: 74 28 73 74 72 69 6e 67 20 6b 77 64 29 0a 09 7b t(string kwd)..{
1640: 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 ...if( lex.empty
1650: 20 7c 7c 20 6c 65 78 2e 66 72 6f 6e 74 2e 71 75 || lex.front.qu
1660: 6f 74 65 64 20 7c 7c 20 6c 65 78 2e 66 72 6f 6e oted || lex.fron
1670: 74 2e 73 74 72 21 3d 6b 77 64 20 29 0a 09 09 09 t.str!=kwd )....
1680: 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0a 09 09 return false;...
1690: 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09 09 lex.popFront;...
16a0: 72 65 74 75 72 6e 20 74 72 75 65 3b 0a 09 7d 0a return true;..}.
16b0: 0d 0a 09 73 74 72 69 6e 67 20 65 61 74 49 64 28 ...string eatId(
16c0: 6c 61 7a 79 20 73 74 72 69 6e 67 20 6d 73 67 2c lazy string msg,
16d0: 20 62 6f 6f 6c 20 61 6c 6c 6f 77 51 75 6f 74 65 bool allowQuote
16e0: 64 3d 66 61 6c 73 65 29 0d 0a 09 7b 0d 0a 09 09 d=false)...{....
16f0: 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d if( lex.empty ).
1700: 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
1710: 55 6e 65 78 70 65 63 74 65 64 45 4f 46 28 63 75 UnexpectedEOF(cu
1720: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c rrentPosition(),
1730: 20 22 69 64 65 6e 74 69 66 69 65 72 20 69 73 20 "identifier is
1740: 65 78 70 65 63 74 65 64 20 62 75 74 20 6e 6f 74 expected but not
1750: 20 66 6f 75 6e 64 20 22 7e 6d 73 67 29 3b 0d 0a found "~msg);..
1760: 09 09 69 66 28 20 21 61 6c 6c 6f 77 51 75 6f 74 ..if( !allowQuot
1770: 65 64 20 26 26 20 6c 65 78 2e 66 72 6f 6e 74 2e ed && lex.front.
1780: 71 75 6f 74 65 64 20 29 0d 0a 09 09 09 74 68 72 quoted ).....thr
1790: 6f 77 20 67 65 6e 65 78 21 50 61 72 73 65 45 78 ow genex!ParseEx
17a0: 63 65 70 74 69 6f 6e 28 63 75 72 72 65 6e 74 50 ception(currentP
17b0: 6f 73 69 74 69 6f 6e 28 29 2c 20 22 69 64 65 6e osition(), "iden
17c0: 74 69 66 69 65 72 20 69 73 20 65 78 70 65 63 74 tifier is expect
17d0: 65 64 20 62 75 74 20 6e 6f 74 20 66 6f 75 6e 64 ed but not found
17e0: 20 22 7e 6d 73 67 29 3b 0d 0a 09 09 73 63 6f 70 "~msg);....scop
17f0: 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 46 e(exit) lex.popF
1800: 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 72 6e 20 ront;....return
1810: 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 3b 0d 0a lex.front.str;..
1820: 09 7d 0d 0a 0a 09 62 6f 6f 6c 20 69 73 4e 75 6d .}....bool isNum
1830: 62 65 72 28 73 74 72 69 6e 67 20 73 29 0a 09 7b ber(string s)..{
1840: 0a 09 09 72 65 74 75 72 6e 20 66 69 6e 64 21 28 ...return find!(
1850: 60 61 3c 27 30 27 7c 7c 27 39 27 3c 61 60 29 28 `a<'0'||'9'<a`)(
1860: 73 29 2e 65 6d 70 74 79 3b 0a 09 7d 0d 0a 0d 0a s).empty;..}....
1870: 09 41 53 54 20 64 6f 4e 6f 74 68 69 6e 67 45 78 .AST doNothingEx
1880: 70 72 65 73 73 69 6f 6e 28 29 0d 0a 09 7b 0d 0a pression()...{..
1890: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 ..return new Int
18a0: 4c 69 74 65 72 61 6c 28 63 75 72 72 65 6e 74 50 Literal(currentP
18b0: 6f 73 69 74 69 6f 6e 28 29 2c 20 42 69 67 49 6e osition(), BigIn
18c0: 74 28 31 37 38 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a t(178));...}....
18d0: 09 69 6d 6d 75 74 61 62 6c 65 28 4c 65 78 50 6f .immutable(LexPo
18e0: 73 69 74 69 6f 6e 29 20 63 75 72 72 65 6e 74 50 sition) currentP
18f0: 6f 73 69 74 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 osition()...{...
1900: 09 72 65 74 75 72 6e 20 6c 65 78 2e 65 6d 70 74 .return lex.empt
1910: 79 20 3f 20 6e 75 6c 6c 20 3a 20 6c 65 78 2e 66 y ? null : lex.f
1920: 72 6f 6e 74 2e 70 6f 73 3b 0d 0a 09 7d 0a 7d 0a ront.pos;...}.}.
1930: 0a 75 6e 69 74 74 65 73 74 0a 7b 0d 0a 09 6d 69 .unittest.{...mi
1940: 78 69 6e 20 45 61 73 79 41 53 54 3b 0d 0a 0d 0a xin EasyAST;....
1950: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
1960: 53 74 72 69 6e 67 28 60 31 32 33 60 29 2c 20 69 String(`123`), i
1970: 6e 74 6c 28 31 32 33 29 29 3b 0d 0a 09 61 73 73 ntl(123));...ass
1980: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
1990: 6e 67 28 60 22 66 6f 6f 22 60 29 2c 20 73 74 72 ng(`"foo"`), str
19a0: 6c 28 22 66 6f 6f 22 29 29 3b 0d 0a 09 61 73 73 l("foo"));...ass
19b0: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
19c0: 6e 67 28 60 66 75 6e 28 29 7b 31 7d 60 29 2c 20 ng(`fun(){1}`),
19d0: 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 31 29 29 29 fun([],intl(1)))
19e0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
19f0: 72 73 65 53 74 72 69 6e 67 28 60 66 75 6e 28 78 rseString(`fun(x
1a00: 29 7b 31 7d 60 29 2c 20 66 75 6e 28 5b 22 78 22 ){1}`), fun(["x"
1a10: 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 61 ],intl(1)));...a
1a20: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
1a30: 72 69 6e 67 28 22 5c 75 30 33 42 42 28 29 7b 31 ring("\u03BB(){1
1a40: 7d 22 29 2c 20 66 75 6e 28 5b 5d 2c 69 6e 74 6c }"), fun([],intl
1a50: 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f (1)));...assert_
1a60: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 22 eq(parseString("
1a70: 5c 75 30 33 42 42 28 78 29 7b 31 7d 22 29 2c 20 \u03BB(x){1}"),
1a80: 66 75 6e 28 5b 22 78 22 5d 2c 69 6e 74 6c 28 31 fun(["x"],intl(1
1a90: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
1aa0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 3b (parseString(`1;
1ab0: 32 60 29 2c 20 6c 65 74 28 22 5f 22 2c 22 22 2c 2`), let("_","",
1ac0: 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 intl(1),intl(2))
1ad0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
1ae0: 61 72 73 65 53 74 72 69 6e 67 28 60 31 3b 32 3b arseString(`1;2;
1af0: 60 29 2c 20 6c 65 74 28 22 5f 22 2c 22 22 2c 69 `), let("_","",i
1b00: 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 ntl(1),intl(2)))
1b10: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
1b20: 72 73 65 53 74 72 69 6e 67 28 60 6c 65 74 20 78 rseString(`let x
1b30: 3d 31 3b 32 60 29 2c 20 6c 65 74 28 22 78 22 2c =1;2`), let("x",
1b40: 22 22 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 "",intl(1),intl(
1b50: 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 2)));...assert_e
1b60: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 76 q(parseString(`v
1b70: 61 72 20 78 3d 31 3b 32 3b 60 29 2c 20 6c 65 74 ar x=1;2;`), let
1b80: 28 22 78 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c ("x","",intl(1),
1b90: 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 intl(2)));...ass
1ba0: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
1bb0: 6e 67 28 60 64 65 66 20 78 3d 31 60 29 2c 20 6c ng(`def x=1`), l
1bc0: 65 74 28 22 78 22 2c 22 22 2c 69 6e 74 6c 28 31 et("x","",intl(1
1bd0: 29 2c 76 61 72 28 22 78 22 29 29 29 3b 0d 0a 09 ),var("x")));...
1be0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
1bf0: 74 72 69 6e 67 28 60 40 76 61 6c 20 78 3d 31 3b tring(`@val x=1;
1c00: 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 40 76 61 `), let("x","@va
1c10: 6c 22 2c 69 6e 74 6c 28 31 29 2c 76 61 72 28 22 l",intl(1),var("
1c20: 78 22 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f x")));...assert_
1c30: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
1c40: 40 74 79 70 20 78 3d 22 23 69 6e 74 22 3b 60 29 @typ x="#int";`)
1c50: 2c 20 6c 65 74 28 22 78 22 2c 22 40 74 79 70 22 , let("x","@typ"
1c60: 2c 73 74 72 6c 28 22 23 69 6e 74 22 29 2c 76 61 ,strl("#int"),va
1c70: 72 28 22 78 22 29 29 29 3b 0d 0a 09 61 73 73 65 r("x")));...asse
1c80: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
1c90: 67 28 60 66 28 31 2c 32 29 60 29 2c 20 63 61 6c g(`f(1,2)`), cal
1ca0: 6c 28 76 61 72 28 22 66 22 29 2c 69 6e 74 6c 28 l(var("f"),intl(
1cb0: 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 1),intl(2)));...
1cc0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
1cd0: 74 72 69 6e 67 28 60 69 66 28 31 29 7b 32 7d 60 tring(`if(1){2}`
1ce0: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 69 66 22 ), call(var("if"
1cf0: 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d ),intl(1),fun([]
1d00: 2c 69 6e 74 6c 28 32 29 29 2c 66 75 6e 28 5b 5d ,intl(2)),fun([]
1d10: 2c 69 6e 74 6c 28 31 37 38 29 29 29 29 3b 0d 0a ,intl(178))));..
1d20: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
1d30: 53 74 72 69 6e 67 28 60 69 66 28 31 29 7b 32 7d String(`if(1){2}
1d40: 65 6c 73 65 7b 33 7d 60 29 2c 20 63 61 6c 6c 28 else{3}`), call(
1d50: 76 61 72 28 22 69 66 22 29 2c 69 6e 74 6c 28 31 var("if"),intl(1
1d60: 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 32 29 ),fun([],intl(2)
1d70: 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 33 29 ),fun([],intl(3)
1d80: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
1d90: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 (parseString(`if
1da0: 28 31 29 7b 7d 65 6c 73 65 7b 33 7d 28 29 28 29 (1){}else{3}()()
1db0: 60 29 2c 0d 0a 09 09 63 61 6c 6c 28 63 61 6c 6c `),....call(call
1dc0: 28 63 61 6c 6c 28 76 61 72 28 22 69 66 22 29 2c (call(var("if"),
1dd0: 69 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c 69 intl(1),fun([],i
1de0: 6e 74 6c 28 31 37 38 29 29 2c 66 75 6e 28 5b 5d ntl(178)),fun([]
1df0: 2c 69 6e 74 6c 28 33 29 29 29 29 29 29 3b 0d 0a ,intl(3))))));..
1e00: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
1e10: 53 74 72 69 6e 67 28 60 31 2b 32 2a 33 60 29 2c String(`1+2*3`),
1e20: 20 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 call(var("+"),i
1e30: 6e 74 6c 28 31 29 2c 63 61 6c 6c 28 76 61 72 28 ntl(1),call(var(
1e40: 22 2a 22 29 2c 69 6e 74 6c 28 32 29 2c 69 6e 74 "*"),intl(2),int
1e50: 6c 28 33 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 l(3))));...asser
1e60: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
1e70: 28 60 28 31 2b 32 29 2a 33 60 29 2c 20 63 61 6c (`(1+2)*3`), cal
1e80: 6c 28 76 61 72 28 22 2a 22 29 2c 63 61 6c 6c 28 l(var("*"),call(
1e90: 76 61 72 28 22 2b 22 29 2c 69 6e 74 6c 28 31 29 var("+"),intl(1)
1ea0: 2c 69 6e 74 6c 28 32 29 29 2c 69 6e 74 6c 28 33 ,intl(2)),intl(3
1eb0: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
1ec0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2a (parseString(`1*
1ed0: 28 32 2b 33 29 60 29 2c 20 63 61 6c 6c 28 76 61 (2+3)`), call(va
1ee0: 72 28 22 2a 22 29 2c 69 6e 74 6c 28 31 29 2c 63 r("*"),intl(1),c
1ef0: 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 6e 74 all(var("+"),int
1f00: 6c 28 32 29 2c 69 6e 74 6c 28 33 29 29 29 29 3b l(2),intl(3))));
1f10: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
1f20: 73 65 53 74 72 69 6e 67 28 60 31 2a 32 2b 33 60 seString(`1*2+3`
1f30: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 ), call(var("+")
1f40: 2c 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c 69 ,call(var("*"),i
1f50: 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 2c ntl(1),intl(2)),
1f60: 69 6e 74 6c 28 33 29 29 29 3b 0d 0a 09 61 73 73 intl(3)));...ass
1f70: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
1f80: 6e 67 28 60 40 78 28 31 29 60 29 2c 20 6c 61 79 ng(`@x(1)`), lay
1f90: 28 22 40 78 22 2c 20 69 6e 74 6c 28 31 29 29 29 ("@x", intl(1)))
1fa0: 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ;.....assert_eq(
1fb0: 70 61 72 73 65 53 74 72 69 6e 67 28 60 0d 0a 09 parseString(`...
1fc0: 09 6c 65 74 20 78 20 3d 20 31 30 30 3b 20 23 63 .let x = 100; #c
1fd0: 6f 6d 6d 65 6e 74 0d 0a 09 09 6c 65 74 20 79 20 omment....let y
1fe0: 3d 20 32 30 30 3b 20 23 63 6f 6d 6d 65 6e 74 21 = 200; #comment!
1ff0: 21 21 21 21 0d 0a 09 09 09 78 2b 79 0d 0a 09 60 !!!!.....x+y...`
2000: 29 2c 0d 0a 09 09 6c 65 74 28 22 78 22 2c 20 22 ),....let("x", "
2010: 22 2c 20 69 6e 74 6c 28 31 30 30 29 2c 20 6c 65 ", intl(100), le
2020: 74 28 22 79 22 2c 20 22 22 2c 20 69 6e 74 6c 28 t("y", "", intl(
2030: 32 30 30 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 200), call(var("
2040: 2b 22 29 2c 20 76 61 72 28 22 78 22 29 2c 20 76 +"), var("x"), v
2050: 61 72 28 22 79 22 29 29 29 29 0d 0a 09 29 3b 0a ar("y"))))...);.
2060: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
2070: 73 65 53 74 72 69 6e 67 28 60 0d 0a 09 09 76 61 seString(`....va
2080: 72 20 66 61 63 20 3d 20 66 75 6e 28 78 29 7b 20 r fac = fun(x){
2090: 69 66 28 78 20 3c 3d 20 31 29 20 7b 31 7d 20 65 if(x <= 1) {1} e
20a0: 6c 73 65 20 7b 78 2a 66 61 63 28 78 2d 31 29 7d lse {x*fac(x-1)}
20b0: 20 7d 3b 0d 0a 09 09 66 61 63 28 31 30 29 0a 09 };....fac(10)..
20c0: 60 29 2c 0d 0a 09 09 6c 65 74 28 22 66 61 63 22 `),....let("fac"
20d0: 2c 20 22 22 2c 20 66 75 6e 28 5b 22 78 22 5d 2c , "", fun(["x"],
20e0: 0d 0a 09 09 09 63 61 6c 6c 28 76 61 72 28 22 69 .....call(var("i
20f0: 66 22 29 2c 0d 0a 09 09 09 09 63 61 6c 6c 28 76 f"),......call(v
2100: 61 72 28 22 3c 3d 22 29 2c 20 76 61 72 28 22 78 ar("<="), var("x
2110: 22 29 2c 20 69 6e 74 6c 28 31 29 29 2c 0d 0a 09 "), intl(1)),...
2120: 09 09 09 66 75 6e 28 5b 5d 2c 20 69 6e 74 6c 28 ...fun([], intl(
2130: 31 29 29 2c 0d 0a 09 09 09 09 66 75 6e 28 5b 5d 1)),......fun([]
2140: 2c 20 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c , call(var("*"),
2150: 20 76 61 72 28 22 78 22 29 2c 20 63 61 6c 6c 28 var("x"), call(
2160: 76 61 72 28 22 66 61 63 22 29 2c 63 61 6c 6c 28 var("fac"),call(
2170: 76 61 72 28 22 2d 22 29 2c 76 61 72 28 22 78 22 var("-"),var("x"
2180: 29 2c 69 6e 74 6c 28 31 29 29 29 29 29 0d 0a 09 ),intl(1)))))...
2190: 09 09 29 29 2c 0d 0a 09 09 09 63 61 6c 6c 28 76 ..)),.....call(v
21a0: 61 72 28 22 66 61 63 22 29 2c 69 6e 74 6c 28 31 ar("fac"),intl(1
21b0: 30 29 29 0d 0a 09 09 29 0d 0a 09 29 3b 0a 7d 0d 0))....)...);.}.
21c0: 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a ...unittest..{..
21d0: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 55 6e .assert_throw!Un
21e0: 65 78 70 65 63 74 65 64 45 4f 46 28 70 61 72 73 expectedEOF(pars
21f0: 65 53 74 72 69 6e 67 28 60 31 2b 60 29 29 3b 0d eString(`1+`));.
2200: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 50 ..assert_throw!P
2210: 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 61 arseException(pa
2220: 72 73 65 53 74 72 69 6e 67 28 60 31 2b 32 7d 60 rseString(`1+2}`
2230: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 ));...assert_thr
2240: 6f 77 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 ow!UnexpectedEOF
2250: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 6c 65 (parseString(`le
2260: 74 20 22 78 22 60 29 29 3b 0d 0a 09 61 73 73 65 t "x"`));...asse
2270: 72 74 5f 74 68 72 6f 77 21 55 6e 65 78 70 65 63 rt_throw!Unexpec
2280: 74 65 64 45 4f 46 28 70 61 72 73 65 53 74 72 69 tedEOF(parseStri
2290: 6e 67 28 60 76 61 72 60 29 29 3b 0d 0a 09 61 73 ng(`var`));...as
22a0: 73 65 72 74 5f 74 68 72 6f 77 21 50 61 72 73 65 sert_throw!Parse
22b0: 45 78 63 65 70 74 69 6f 6e 28 70 61 72 73 65 53 Exception(parseS
22c0: 74 72 69 6e 67 28 60 40 76 61 6c 20 78 20 3d 3d tring(`@val x ==
22d0: 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 `));...assert_th
22e0: 72 6f 77 21 50 61 72 73 65 45 78 63 65 70 74 69 row!ParseExcepti
22f0: 6f 6e 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 on(parseString(`
2300: 69 66 28 29 7b 31 7d 60 29 29 3b 0d 0a 09 61 73 if(){1}`));...as
2310: 73 65 72 74 5f 74 68 72 6f 77 21 55 6e 65 78 70 sert_throw!Unexp
2320: 65 63 74 65 64 45 4f 46 28 70 61 72 73 65 53 74 ectedEOF(parseSt
2330: 72 69 6e 67 28 60 66 28 60 29 29 3b 0d 0a 7d 0d ring(`f(`));..}.
2340: 0a .