0000: ef bb bf 2f 2a 2a 0a 20 2a 20 41 75 74 68 6f 72 .../**. * Author
0010: 73 3a 20 6b 2e 69 6e 61 62 61 0a 20 2a 20 4c 69 s: k.inaba. * Li
0020: 63 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 cense: NYSL 0.99
0030: 38 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 82 http://www.km
0040: 6f 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0a 20 onos.net/nysl/.
0050: 2a 0a 20 2a 20 50 61 72 73 65 72 20 66 6f 72 20 *. * Parser for
0060: 50 6f 6c 65 6d 79 20 70 72 6f 67 72 61 6d 6d 69 Polemy programmi
0070: 6e 67 20 6c 61 6e 67 75 61 67 65 0a 20 2a 2f 0a ng language. */.
0080: 6d 6f 64 75 6c 65 20 70 6f 6c 65 6d 79 2e 70 61 module polemy.pa
0090: 72 73 65 3b 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 rse;.import pole
00a0: 6d 79 2e 5f 63 6f 6d 6d 6f 6e 3b 0a 69 6d 70 6f my._common;.impo
00b0: 72 74 20 70 6f 6c 65 6d 79 2e 6c 65 78 3b 0a 69 rt polemy.lex;.i
00c0: 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 61 73 74 mport polemy.ast
00d0: 3b 0a 0d 0a 2f 2f 2f 20 45 78 63 65 70 74 69 6f ;.../// Exceptio
00e0: 6e 20 66 72 6f 6d 20 74 68 69 73 20 6d 6f 64 75 n from this modu
00f0: 6c 65 0d 0a 0a 63 6c 61 73 73 20 50 61 72 73 65 le...class Parse
0100: 45 78 63 65 70 74 69 6f 6e 20 3a 20 45 78 63 65 Exception : Exce
0110: 70 74 69 6f 6e 0a 7b 0a 09 63 6f 6e 73 74 20 4c ption.{..const L
0120: 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 3b 0d exPosition pos;.
0130: 0a 0d 0a 09 74 68 69 73 28 20 63 6f 6e 73 74 20 ....this( const
0140: 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c LexPosition pos,
0150: 20 73 74 72 69 6e 67 20 6d 73 67 2c 20 73 74 72 string msg, str
0160: 69 6e 67 20 66 69 6c 65 3d 6e 75 6c 6c 2c 20 73 ing file=null, s
0170: 69 7a 65 5f 74 20 6c 69 6e 65 3d 30 2c 20 54 68 ize_t line=0, Th
0180: 72 6f 77 61 62 6c 65 20 6e 65 78 74 3d 6e 75 6c rowable next=nul
0190: 6c 20 29 0d 0a 09 09 7b 20 73 75 70 65 72 28 73 l )....{ super(s
01a0: 70 72 69 6e 74 66 21 22 5b 25 73 5d 20 25 73 22 printf!"[%s] %s"
01b0: 28 70 6f 73 2c 20 6d 73 67 29 2c 20 66 69 6c 65 (pos, msg), file
01c0: 2c 20 6c 69 6e 65 2c 20 6e 65 78 74 29 3b 20 74 , line, next); t
01d0: 68 69 73 2e 70 6f 73 20 3d 20 70 6f 73 3b 20 7d his.pos = pos; }
01e0: 0d 0a 7d 0a 0d 0a 70 72 69 76 61 74 65 20 61 75 ..}...private au
01f0: 74 6f 20 63 72 65 61 74 65 45 78 63 65 70 74 69 to createExcepti
0200: 6f 6e 28 4c 65 78 65 72 29 28 4c 65 78 65 72 20 on(Lexer)(Lexer
0210: 6c 65 78 2c 20 73 74 72 69 6e 67 20 6d 73 67 29 lex, string msg)
0220: 0d 0a 09 7b 20 72 65 74 75 72 6e 20 6e 65 77 20 ...{ return new
0230: 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 6c ParseException(l
0240: 65 78 2e 65 6d 70 74 79 3f 6e 75 6c 6c 3a 6c 65 ex.empty?null:le
0250: 78 2e 66 72 6f 6e 74 2e 70 6f 73 2c 20 6d 73 67 x.front.pos, msg
0260: 29 3b 20 7d 0d 0a 0a 2f 2f 2f 20 45 6e 74 72 79 ); }.../// Entry
0270: 20 70 6f 69 6e 74 73 20 6f 66 20 74 68 69 73 20 points of this
0280: 6d 6f 64 75 6c 65 0d 0a 0d 0a 61 75 74 6f 20 70 module....auto p
0290: 61 72 73 65 53 74 72 69 6e 67 28 53 2c 20 54 2e arseString(S, T.
02a0: 2e 2e 29 28 53 20 73 74 72 2c 20 54 20 66 6e 5f ..)(S str, T fn_
02b0: 6c 6e 5f 63 6e 29 0d 0a 09 7b 20 72 65 74 75 72 ln_cn)...{ retur
02c0: 6e 20 70 61 72 73 65 72 46 72 6f 6d 53 74 72 69 n parserFromStri
02d0: 6e 67 28 73 74 72 2c 20 66 6e 5f 6c 6e 5f 63 6e ng(str, fn_ln_cn
02e0: 29 2e 70 61 72 73 65 28 29 3b 20 7d 0d 0a 0d 0a ).parse(); }....
02f0: 61 75 74 6f 20 70 61 72 73 65 46 69 6c 65 28 53 auto parseFile(S
0300: 2c 20 54 2e 2e 2e 29 28 53 20 66 69 6c 65 6e 61 , T...)(S filena
0310: 6d 65 2c 20 54 20 6c 6e 5f 63 6e 29 0d 0a 09 7b me, T ln_cn)...{
0320: 20 72 65 74 75 72 6e 20 70 61 72 73 65 72 46 72 return parserFr
0330: 6f 6d 46 69 6c 65 28 66 69 6c 65 6e 61 6d 65 2c omFile(filename,
0340: 20 6c 6e 5f 63 6e 29 2e 70 61 72 73 65 28 29 3b ln_cn).parse();
0350: 20 7d 0d 0a 0d 0a 2f 2f 2f 20 4e 61 6d 65 64 20 }..../// Named
0360: 43 6f 6e 73 74 72 75 63 74 6f 72 20 6f 66 20 50 Constructor of P
0370: 61 72 73 65 72 0a 0d 0a 70 72 69 76 61 74 65 20 arser...private
0380: 61 75 74 6f 20 70 61 72 73 65 72 46 72 6f 6d 4c auto parserFromL
0390: 65 78 65 72 28 4c 65 78 65 72 29 28 4c 65 78 65 exer(Lexer)(Lexe
03a0: 72 20 6c 65 78 29 0a 09 7b 20 72 65 74 75 72 6e r lex)..{ return
03b0: 20 6e 65 77 20 50 61 72 73 65 72 21 4c 65 78 65 new Parser!Lexe
03c0: 72 28 6c 65 78 29 3b 20 7d 0a 0a 70 72 69 76 61 r(lex); }..priva
03d0: 74 65 20 61 75 74 6f 20 70 61 72 73 65 72 46 72 te auto parserFr
03e0: 6f 6d 53 74 72 69 6e 67 28 54 2e 2e 2e 29 28 54 omString(T...)(T
03f0: 20 70 61 72 61 6d 73 29 0a 09 7b 20 72 65 74 75 params)..{ retu
0400: 72 6e 20 70 61 72 73 65 72 46 72 6f 6d 4c 65 78 rn parserFromLex
0410: 65 72 28 70 6f 6c 65 6d 79 2e 6c 65 78 2e 6c 65 er(polemy.lex.le
0420: 78 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 70 61 xerFromString(pa
0430: 72 61 6d 73 29 29 3b 20 7d 0a 0a 70 72 69 76 61 rams)); }..priva
0440: 74 65 20 61 75 74 6f 20 70 61 72 73 65 72 46 72 te auto parserFr
0450: 6f 6d 46 69 6c 65 28 54 2e 2e 2e 29 28 54 20 70 omFile(T...)(T p
0460: 61 72 61 6d 73 29 0a 09 7b 20 72 65 74 75 72 6e arams)..{ return
0470: 20 70 61 72 73 65 72 46 72 6f 6d 4c 65 78 65 72 parserFromLexer
0480: 28 70 6f 6c 65 6d 79 2e 6c 65 78 2e 6c 65 78 65 (polemy.lex.lexe
0490: 72 46 72 6f 6d 46 69 6c 65 28 70 61 72 61 6d 73 rFromFile(params
04a0: 29 29 3b 20 7d 0d 0a 0d 0a 2f 2f 2f 20 50 61 72 )); }..../// Par
04b0: 73 65 72 0a 0a 70 72 69 76 61 74 65 20 63 6c 61 ser..private cla
04c0: 73 73 20 50 61 72 73 65 72 28 4c 65 78 65 72 29 ss Parser(Lexer)
04d0: 0d 0a 09 69 66 28 20 69 73 46 6f 72 77 61 72 64 ...if( isForward
04e0: 52 61 6e 67 65 21 28 4c 65 78 65 72 29 20 26 26 Range!(Lexer) &&
04f0: 20 69 73 28 45 6c 65 6d 65 6e 74 54 79 70 65 21 is(ElementType!
0500: 28 4c 65 78 65 72 29 20 3d 3d 20 54 6f 6b 65 6e (Lexer) == Token
0510: 29 20 29 0a 7b 0d 0a 09 41 53 54 20 70 61 72 73 ) ).{...AST pars
0520: 65 28 29 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 65 e()..{....auto e
0530: 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 69 66 = Body();....if
0540: 28 20 21 6c 65 78 2e 65 6d 70 74 79 20 29 0d 0a ( !lex.empty )..
0550: 09 09 09 74 68 72 6f 77 20 63 72 65 61 74 65 45 ...throw createE
0560: 78 63 65 70 74 69 6f 6e 28 6c 65 78 2c 20 22 69 xception(lex, "i
0570: 6e 70 75 74 20 69 73 20 6e 6f 74 20 65 6e 64 65 nput is not ende
0580: 64 20 62 75 74 20 70 61 72 73 65 72 20 63 61 6d d but parser cam
0590: 65 20 74 6f 20 74 68 65 20 65 6e 64 22 29 3b 0d e to the end");.
05a0: 0a 09 09 72 65 74 75 72 6e 20 65 3b 0d 0a 09 7d ...return e;...}
05b0: 0d 0a 0d 0a 09 41 53 54 20 42 6f 64 79 28 29 0d .....AST Body().
05c0: 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78 2e 65 ..{....if( lex.e
05d0: 6d 70 74 79 20 7c 7c 20 21 6c 65 78 2e 66 72 6f mpty || !lex.fro
05e0: 6e 74 2e 71 75 6f 74 65 64 20 26 26 20 6c 65 78 nt.quoted && lex
05f0: 2e 66 72 6f 6e 74 2e 73 74 72 3d 3d 22 7d 22 20 .front.str=="}"
0600: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 64 6f 4e ).....return doN
0610: 6f 74 68 69 6e 67 45 78 70 72 65 73 73 69 6f 6e othingExpression
0620: 28 29 3b 0d 0a 0d 0a 09 09 61 75 74 6f 20 70 6f ();......auto po
0630: 73 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f s = lex.front.po
0640: 73 3b 0d 0a 09 09 73 74 72 69 6e 67 20 6b 77 64 s;....string kwd
0650: 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 = lex.front.str
0660: 3b 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 ;....if( tryEat(
0670: 22 6c 65 74 22 29 20 7c 7c 20 74 72 79 45 61 74 "let") || tryEat
0680: 28 22 76 61 72 22 29 20 7c 7c 20 74 72 79 45 61 ("var") || tryEa
0690: 74 28 22 64 65 66 22 29 20 7c 7c 20 74 72 79 45 t("def") || tryE
06a0: 61 74 28 22 40 22 29 20 29 0d 0a 09 09 7b 0d 0a at("@") )....{..
06b0: 09 09 09 69 66 28 20 6b 77 64 20 3d 3d 20 22 40 ...if( kwd == "@
06c0: 22 20 29 0d 0a 09 09 09 09 6b 77 64 20 7e 3d 20 " )......kwd ~=
06d0: 65 61 74 49 64 28 22 61 66 74 65 72 20 40 22 29 eatId("after @")
06e0: 3b 0d 0a 09 09 09 69 6d 6d 75 74 61 62 6c 65 20 ;.....immutable
06f0: 4c 65 78 50 6f 73 69 74 69 6f 6e 20 76 61 72 70 LexPosition varp
0700: 6f 73 20 3d 20 28 6c 65 78 2e 65 6d 70 74 79 20 os = (lex.empty
0710: 3f 20 6e 75 6c 6c 20 3a 20 6c 65 78 2e 66 72 6f ? null : lex.fro
0720: 6e 74 2e 70 6f 73 29 3b 0d 0a 09 09 09 73 74 72 nt.pos);.....str
0730: 69 6e 67 20 76 61 72 20 3d 20 65 61 74 49 64 28 ing var = eatId(
0740: 22 61 66 74 65 72 20 22 7e 6b 77 64 29 3b 0d 0a "after "~kwd);..
0750: 09 09 09 65 61 74 28 22 3d 22 2c 20 22 61 66 74 ...eat("=", "aft
0760: 65 72 20 22 7e 6b 77 64 29 3b 0d 0a 09 09 09 6b er "~kwd);.....k
0770: 77 64 20 3d 20 28 6b 77 64 5b 30 5d 3d 3d 27 40 wd = (kwd[0]=='@
0780: 27 20 3f 20 6b 77 64 20 3a 20 22 40 76 61 6c 22 ' ? kwd : "@val"
0790: 29 3b 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 );.....auto e =
07a0: 45 28 30 29 3b 0d 0a 09 09 09 69 66 28 20 74 72 E(0);.....if( tr
07b0: 79 45 61 74 28 22 3b 22 29 20 26 26 20 21 6c 65 yEat(";") && !le
07c0: 78 2e 65 6d 70 74 79 20 26 26 20 28 6c 65 78 2e x.empty && (lex.
07d0: 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 7c 7c 20 front.quoted ||
07e0: 28 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d (lex.front.str!=
07f0: 22 7d 22 20 26 26 20 6c 65 78 2e 66 72 6f 6e 74 "}" && lex.front
0800: 2e 73 74 72 21 3d 22 29 22 29 29 20 29 0d 0a 09 .str!=")")) )...
0810: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 ...return new Le
0820: 74 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c tExpression(pos,
0830: 20 76 61 72 2c 20 6b 77 64 2c 20 65 2c 20 42 6f var, kwd, e, Bo
0840: 64 79 28 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d dy());.....else.
0850: 0a 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
0860: 4c 65 74 45 78 70 72 65 73 73 69 6f 6e 28 70 6f LetExpression(po
0870: 73 2c 20 76 61 72 2c 20 6b 77 64 2c 20 65 2c 20 s, var, kwd, e,
0880: 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f new VarExpressio
0890: 6e 28 76 61 72 70 6f 73 2c 20 76 61 72 29 29 3b n(varpos, var));
08a0: 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 ....}....else...
08b0: 09 7b 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 .{.....auto e =
08c0: 45 28 30 29 3b 0d 0a 09 09 09 69 66 28 20 74 72 E(0);.....if( tr
08d0: 79 45 61 74 28 22 3b 22 29 20 26 26 20 21 6c 65 yEat(";") && !le
08e0: 78 2e 65 6d 70 74 79 20 26 26 20 28 6c 65 78 2e x.empty && (lex.
08f0: 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 7c 7c 20 front.quoted ||
0900: 28 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d (lex.front.str!=
0910: 22 7d 22 20 26 26 20 6c 65 78 2e 66 72 6f 6e 74 "}" && lex.front
0920: 2e 73 74 72 21 3d 22 29 22 29 29 20 29 0d 0a 09 .str!=")")) )...
0930: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 ...return new Le
0940: 74 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c tExpression(pos,
0950: 20 22 5f 22 2c 20 22 40 76 61 6c 22 2c 20 65 2c "_", "@val", e,
0960: 20 42 6f 64 79 28 29 29 3b 0d 0a 09 09 09 65 6c Body());.....el
0970: 73 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 65 se......return e
0980: 3b 0d 0a 09 09 7d 0d 0a 09 7d 0a 0a 09 2f 2f 20 ;....}...}...//
0990: 5b 54 4f 44 4f 5d 20 6d 61 6b 65 20 63 75 73 74 [TODO] make cust
09a0: 6f 6d 69 7a 61 62 6c 65 20 66 72 6f 6d 20 70 72 omizable from pr
09b0: 6f 67 72 61 6d 0a 09 73 74 61 74 69 63 20 69 6d ogram..static im
09c0: 6d 75 74 61 62 6c 65 20 73 74 72 69 6e 67 5b 5d mutable string[]
09d0: 5b 5d 20 6f 70 65 72 61 74 6f 72 5f 70 65 72 66 [] operator_perf
09e0: 65 72 65 6e 63 65 73 20 3d 20 5b 0a 09 09 5b 22 erences = [...["
09f0: 7c 7c 22 5d 2c 0a 09 09 5b 22 26 26 22 5d 2c 0a ||"],...["&&"],.
0a00: 09 09 5b 22 21 3d 22 5d 2c 0a 09 09 5b 22 3d 3d ..["!="],...["==
0a10: 22 5d 2c 0a 09 09 5b 22 3c 22 2c 22 3c 3d 22 2c "],...["<","<=",
0a20: 22 3e 22 2c 22 3e 3d 22 5d 2c 0a 09 09 5b 22 7c ">",">="],...["|
0a30: 22 5d 2c 0a 09 09 5b 22 5e 22 5d 2c 0a 09 09 5b "],...["^"],...[
0a40: 22 26 22 5d 2c 0a 09 09 5b 22 3c 3c 22 2c 20 22 "&"],...["<<", "
0a50: 3e 3e 22 5d 2c 0a 09 09 5b 22 2b 22 2c 22 2d 22 >>"],...["+","-"
0a60: 5d 2c 0d 0a 09 09 5b 22 7e 22 5d 2c 0d 0a 09 09 ],....["~"],....
0a70: 5b 22 2a 22 2c 22 2f 22 2c 22 25 22 5d 2c 0d 0a ["*","/","%"],..
0a80: 09 09 5b 22 5e 5e 22 5d 0d 0a 09 5d 3b 0a 0a 09 ..["^^"]...];...
0a90: 41 53 54 20 45 28 69 6e 74 20 6c 65 76 65 6c 29 AST E(int level)
0aa0: 0a 09 7b 0a 09 09 69 66 28 20 6f 70 65 72 61 74 ..{...if( operat
0ab0: 6f 72 5f 70 65 72 66 65 72 65 6e 63 65 73 2e 6c or_perferences.l
0ac0: 65 6e 67 74 68 20 3c 3d 20 6c 65 76 65 6c 20 29 ength <= level )
0ad0: 0a 09 09 09 72 65 74 75 72 6e 20 46 75 6e 63 61 ....return Funca
0ae0: 6c 6c 28 29 3b 0a 09 09 65 6c 73 65 0a 09 09 7b ll();...else...{
0af0: 0a 09 09 09 61 75 74 6f 20 6f 70 73 20 3d 20 6f ....auto ops = o
0b00: 70 65 72 61 74 6f 72 5f 70 65 72 66 65 72 65 6e perator_perferen
0b10: 63 65 73 5b 6c 65 76 65 6c 5d 3b 0a 09 09 09 61 ces[level];....a
0b20: 75 74 6f 20 65 20 3d 20 45 28 6c 65 76 65 6c 2b uto e = E(level+
0b30: 31 29 3b 0a 09 09 73 65 71 3a 0a 09 09 09 77 68 1);...seq:....wh
0b40: 69 6c 65 28 20 21 6c 65 78 2e 65 6d 70 74 79 20 ile( !lex.empty
0b50: 29 0a 09 09 09 7b 0a 09 09 09 09 61 75 74 6f 20 )....{.....auto
0b60: 70 6f 73 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e pos = lex.front.
0b70: 70 6f 73 3b 0a 09 09 09 09 66 6f 72 65 61 63 68 pos;.....foreach
0b80: 28 6f 70 3b 20 6f 70 73 29 0a 09 09 09 09 09 69 (op; ops)......i
0b90: 66 28 20 74 72 79 45 61 74 28 6f 70 29 20 29 0a f( tryEat(op) ).
0ba0: 09 09 09 09 09 7b 0a 09 09 09 09 09 09 65 20 3d .....{.......e =
0bb0: 20 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 new FuncallExpr
0bc0: 65 73 73 69 6f 6e 28 65 2e 70 6f 73 2c 20 6e 65 ession(e.pos, ne
0bd0: 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 w VarExpression(
0be0: 70 6f 73 2c 20 6f 70 29 2c 20 65 2c 20 45 28 6c pos, op), e, E(l
0bf0: 65 76 65 6c 2b 31 29 29 3b 0a 09 09 09 09 09 09 evel+1));.......
0c00: 63 6f 6e 74 69 6e 75 65 20 73 65 71 3b 0a 09 09 continue seq;...
0c10: 09 09 09 7d 0a 09 09 09 09 62 72 65 61 6b 3b 0a ...}.....break;.
0c20: 09 09 09 7d 0a 09 09 09 72 65 74 75 72 6e 20 65 ...}....return e
0c30: 3b 0a 09 09 7d 0a 09 7d 0a 0a 09 41 53 54 20 46 ;...}..}...AST F
0c40: 75 6e 63 61 6c 6c 28 29 0a 09 7b 0a 09 09 61 75 uncall()..{...au
0c50: 74 6f 20 65 20 3d 20 42 61 73 65 45 78 70 72 65 to e = BaseExpre
0c60: 73 73 69 6f 6e 28 29 3b 0a 09 09 77 68 69 6c 65 ssion();...while
0c70: 28 20 74 72 79 45 61 74 28 22 28 22 29 20 29 0a ( tryEat("(") ).
0c80: 09 09 7b 0d 0a 09 09 09 41 53 54 5b 5d 20 61 72 ..{.....AST[] ar
0c90: 67 73 3b 0a 09 09 09 77 68 69 6c 65 28 20 21 74 gs;....while( !t
0ca0: 72 79 45 61 74 28 22 29 22 29 20 29 20 7b 0a 09 ryEat(")") ) {..
0cb0: 09 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 ...if( lex.empty
0cc0: 20 29 0d 0a 09 09 09 09 09 74 68 72 6f 77 20 63 ).......throw c
0cd0: 72 65 61 74 65 45 78 63 65 70 74 69 6f 6e 28 6c reateException(l
0ce0: 65 78 2c 22 55 6e 65 78 70 65 63 74 65 64 20 45 ex,"Unexpected E
0cf0: 4f 46 22 29 3b 0a 09 09 09 09 61 72 67 73 20 7e OF");.....args ~
0d00: 3d 20 45 28 30 29 3b 0d 0a 09 09 09 09 69 66 28 = E(0);......if(
0d10: 20 21 74 72 79 45 61 74 28 22 2c 22 29 20 29 20 !tryEat(",") )
0d20: 7b 0a 09 09 09 09 09 65 61 74 28 22 29 22 2c 20 {......eat(")",
0d30: 22 61 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 "after function
0d40: 70 61 72 61 6d 65 74 65 72 73 22 29 3b 0a 09 09 parameters");...
0d50: 09 09 09 62 72 65 61 6b 3b 0a 09 09 09 09 7d 0a ...break;.....}.
0d60: 09 09 09 7d 0a 09 09 09 65 20 3d 20 6e 65 77 20 ...}....e = new
0d70: 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f FuncallExpressio
0d80: 6e 28 65 2e 70 6f 73 2c 20 65 2c 20 61 72 67 73 n(e.pos, e, args
0d90: 29 3b 0a 09 09 7d 0a 09 09 72 65 74 75 72 6e 20 );...}...return
0da0: 65 3b 0a 09 7d 0a 0a 09 41 53 54 20 42 61 73 65 e;..}...AST Base
0db0: 45 78 70 72 65 73 73 69 6f 6e 28 29 0a 09 7b 0a Expression()..{.
0dc0: 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 ..if( lex.empty
0dd0: 29 0d 0a 09 09 09 74 68 72 6f 77 20 63 72 65 61 ).....throw crea
0de0: 74 65 45 78 63 65 70 74 69 6f 6e 28 6c 65 78 2c teException(lex,
0df0: 20 22 52 65 61 63 68 65 64 20 45 4f 46 20 77 68 "Reached EOF wh
0e00: 65 6e 20 74 72 69 65 64 20 74 6f 20 70 61 72 73 en tried to pars
0e10: 65 20 61 6e 20 65 78 70 72 65 73 73 69 6f 6e 22 e an expression"
0e20: 29 3b 0d 0a 0d 0a 09 09 61 75 74 6f 20 70 6f 73 );......auto pos
0e30: 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 = lex.front.pos
0e40: 3b 0a 09 09 69 66 28 20 6c 65 78 2e 66 72 6f 6e ;...if( lex.fron
0e50: 74 2e 71 75 6f 74 65 64 20 29 0a 09 09 7b 0a 09 t.quoted )...{..
0e60: 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 ..scope(exit) le
0e70: 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09 09 09 72 x.popFront;....r
0e80: 65 74 75 72 6e 20 6e 65 77 20 53 74 72 4c 69 74 eturn new StrLit
0e90: 65 72 61 6c 28 70 6f 73 2c 20 6c 65 78 2e 66 72 eral(pos, lex.fr
0ea0: 6f 6e 74 2e 73 74 72 29 3b 0a 09 09 7d 0a 09 09 ont.str);...}...
0eb0: 69 66 28 20 69 73 4e 75 6d 62 65 72 28 6c 65 78 if( isNumber(lex
0ec0: 2e 66 72 6f 6e 74 2e 73 74 72 29 20 29 0a 09 09 .front.str) )...
0ed0: 7b 0a 09 09 09 73 63 6f 70 65 28 65 78 69 74 29 {....scope(exit)
0ee0: 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09 lex.popFront;..
0ef0: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 ..return new Int
0f00: 4c 69 74 65 72 61 6c 28 70 6f 73 2c 20 42 69 67 Literal(pos, Big
0f10: 49 6e 74 28 63 61 73 74 28 73 74 72 69 6e 67 29 Int(cast(string)
0f20: 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 29 3b lex.front.str));
0f30: 0a 09 09 7d 0a 09 09 69 66 28 20 74 72 79 45 61 ...}...if( tryEa
0f40: 74 28 22 28 22 29 20 29 0a 09 09 7b 0a 09 09 09 t("(") )...{....
0f50: 61 75 74 6f 20 65 20 3d 20 42 6f 64 79 28 29 3b auto e = Body();
0f60: 0a 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 ....eat(")", "af
0f70: 74 65 72 20 70 61 72 65 6e 74 68 65 73 69 7a 65 ter parenthesize
0f80: 64 20 65 78 70 72 65 73 73 69 6f 6e 22 29 3b 0a d expression");.
0f90: 09 09 09 72 65 74 75 72 6e 20 65 3b 0a 09 09 7d ...return e;...}
0fa0: 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 22 69 ...if( tryEat("i
0fb0: 66 22 29 20 29 0a 09 09 7b 0a 09 09 09 65 61 74 f") )...{....eat
0fc0: 28 22 28 22 2c 20 22 61 66 74 65 72 20 69 66 22 ("(", "after if"
0fd0: 29 3b 0a 09 09 09 61 75 74 6f 20 63 6f 6e 64 20 );....auto cond
0fe0: 3d 20 45 28 30 29 3b 0a 09 09 09 65 61 74 28 22 = E(0);....eat("
0ff0: 29 22 2c 20 22 61 66 74 65 72 20 69 66 20 63 6f )", "after if co
1000: 6e 64 69 74 69 6f 6e 22 29 3b 0a 09 09 09 61 75 ndition");....au
1010: 74 6f 20 74 68 65 6e 50 6f 73 20 3d 20 6c 65 78 to thenPos = lex
1020: 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0a 09 09 09 65 .front.pos;....e
1030: 61 74 28 22 7b 22 2c 20 22 61 66 74 65 72 20 69 at("{", "after i
1040: 66 20 63 6f 6e 64 69 74 69 6f 6e 22 29 3b 0a 09 f condition");..
1050: 09 09 61 75 74 6f 20 74 68 20 3d 20 42 6f 64 79 ..auto th = Body
1060: 28 29 3b 0a 09 09 09 65 61 74 28 22 7d 22 2c 20 ();....eat("}",
1070: 22 61 66 74 65 72 20 69 66 2d 74 68 65 6e 20 62 "after if-then b
1080: 6f 64 79 22 29 3b 0a 09 09 09 61 75 74 6f 20 65 ody");....auto e
1090: 6c 20 3d 20 64 6f 4e 6f 74 68 69 6e 67 45 78 70 l = doNothingExp
10a0: 72 65 73 73 69 6f 6e 28 29 3b 0a 09 09 09 61 75 ression();....au
10b0: 74 6f 20 65 6c 73 65 50 6f 73 20 3d 20 28 6c 65 to elsePos = (le
10c0: 78 2e 65 6d 70 74 79 20 3f 20 4c 65 78 50 6f 73 x.empty ? LexPos
10d0: 69 74 69 6f 6e 2e 64 75 6d 6d 79 20 3a 20 6c 65 ition.dummy : le
10e0: 78 2e 66 72 6f 6e 74 2e 70 6f 73 29 3b 0a 09 09 x.front.pos);...
10f0: 09 69 66 28 20 74 72 79 45 61 74 28 22 65 6c 73 .if( tryEat("els
1100: 65 22 29 20 29 20 7b 0a 09 09 09 09 65 61 74 28 e") ) {.....eat(
1110: 22 7b 22 2c 20 22 61 66 74 65 72 20 65 6c 73 65 "{", "after else
1120: 22 29 3b 0a 09 09 09 09 65 6c 20 3d 20 42 6f 64 ");.....el = Bod
1130: 79 28 29 3b 0a 09 09 09 09 65 61 74 28 22 7d 22 y();.....eat("}"
1140: 2c 20 22 61 66 74 65 72 20 65 6c 73 65 20 62 6f , "after else bo
1150: 64 79 22 29 3b 0a 09 09 09 7d 0a 09 09 09 72 65 dy");....}....re
1160: 74 75 72 6e 20 6e 65 77 20 46 75 6e 63 61 6c 6c turn new Funcall
1170: 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 Expression(pos,
1180: 0a 09 09 09 09 6e 65 77 20 56 61 72 45 78 70 72 .....new VarExpr
1190: 65 73 73 69 6f 6e 28 70 6f 73 2c 20 22 69 66 22 ession(pos, "if"
11a0: 29 2c 0a 09 09 09 09 63 6f 6e 64 2c 0a 09 09 09 ),.....cond,....
11b0: 09 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 6c 28 .new FunLiteral(
11c0: 74 68 65 6e 50 6f 73 2c 20 5b 5d 2c 20 74 68 29 thenPos, [], th)
11d0: 2c 0a 09 09 09 09 6e 65 77 20 46 75 6e 4c 69 74 ,.....new FunLit
11e0: 65 72 61 6c 28 65 6c 73 65 50 6f 73 2c 20 5b 5d eral(elsePos, []
11f0: 2c 20 65 6c 29 0a 09 09 09 29 3b 0a 09 09 7d 0a , el)....);...}.
1200: 09 09 69 66 28 20 74 72 79 45 61 74 28 22 66 75 ..if( tryEat("fu
1210: 6e 22 29 20 7c 7c 20 74 72 79 45 61 74 28 22 ce n") || tryEat(".
1220: bb 22 29 20 29 0a 09 09 7b 0a 09 09 09 65 61 74 .") )...{....eat
1230: 28 22 28 22 2c 20 22 61 66 74 65 72 20 66 75 6e ("(", "after fun
1240: 22 29 3b 0a 09 09 09 73 74 72 69 6e 67 5b 5d 20 ");....string[]
1250: 70 61 72 61 6d 73 3b 0a 09 09 09 77 68 69 6c 65 params;....while
1260: 28 20 21 74 72 79 45 61 74 28 22 29 22 29 20 29 ( !tryEat(")") )
1270: 0a 09 09 09 7b 0a 09 09 09 09 70 61 72 61 6d 73 ....{.....params
1280: 20 7e 3d 20 65 61 74 49 64 28 22 66 6f 72 20 66 ~= eatId("for f
1290: 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 unction paramete
12a0: 72 22 29 3b 0a 09 09 09 09 69 66 28 20 21 74 72 r");.....if( !tr
12b0: 79 45 61 74 28 22 2c 22 29 20 29 20 7b 0a 09 09 yEat(",") ) {...
12c0: 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 74 ...eat(")", "aft
12d0: 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 er function para
12e0: 6d 65 74 65 72 73 22 29 3b 0a 09 09 09 09 09 62 meters");......b
12f0: 72 65 61 6b 3b 0a 09 09 09 09 7d 0a 09 09 09 7d reak;.....}....}
1300: 0a 09 09 09 65 61 74 28 22 7b 22 2c 20 22 61 66 ....eat("{", "af
1310: 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 ter function par
1320: 61 6d 65 74 65 72 73 22 29 3b 0d 0a 09 09 09 61 ameters");.....a
1330: 75 74 6f 20 66 75 6e 62 6f 64 79 20 3d 20 42 6f uto funbody = Bo
1340: 64 79 28 29 3b 0a 09 09 09 65 61 74 28 22 7d 22 dy();....eat("}"
1350: 2c 20 22 61 66 74 65 72 20 66 75 6e 63 74 69 6f , "after functio
1360: 6e 20 62 6f 64 79 22 29 3b 0d 0a 09 09 09 72 65 n body");.....re
1370: 74 75 72 6e 20 6e 65 77 20 46 75 6e 4c 69 74 65 turn new FunLite
1380: 72 61 6c 28 70 6f 73 2c 20 70 61 72 61 6d 73 2c ral(pos, params,
1390: 20 66 75 6e 62 6f 64 79 29 3b 0a 09 09 7d 0a 09 funbody);...}..
13a0: 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 .scope(exit) lex
13b0: 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09 09 72 65 74 .popFront;...ret
13c0: 75 72 6e 20 6e 65 77 20 56 61 72 45 78 70 72 65 urn new VarExpre
13d0: 73 73 69 6f 6e 28 70 6f 73 2c 20 6c 65 78 2e 66 ssion(pos, lex.f
13e0: 72 6f 6e 74 2e 73 74 72 29 3b 0a 09 7d 0a 0a 70 ront.str);..}..p
13f0: 72 69 76 61 74 65 3a 0a 09 4c 65 78 65 72 20 6c rivate:..Lexer l
1400: 65 78 3b 0d 0a 09 74 68 69 73 28 4c 65 78 65 72 ex;...this(Lexer
1410: 20 6c 65 78 29 20 7b 20 74 68 69 73 2e 6c 65 78 lex) { this.lex
1420: 20 3d 20 6c 65 78 3b 20 7d 0d 0a 0a 09 76 6f 69 = lex; }....voi
1430: 64 20 65 61 74 28 73 74 72 69 6e 67 20 6b 77 64 d eat(string kwd
1440: 2c 20 6c 61 7a 79 20 73 74 72 69 6e 67 20 6d 73 , lazy string ms
1450: 67 29 0a 09 7b 0a 09 09 69 66 28 20 21 74 72 79 g)..{...if( !try
1460: 45 61 74 28 6b 77 64 29 20 29 0a 09 09 09 74 68 Eat(kwd) )....th
1470: 72 6f 77 20 63 72 65 61 74 65 45 78 63 65 70 74 row createExcept
1480: 69 6f 6e 28 6c 65 78 2c 20 22 27 22 7e 6b 77 64 ion(lex, "'"~kwd
1490: 7e 22 27 20 69 73 20 65 78 70 65 63 74 65 64 20 ~"' is expected
14a0: 22 7e 6d 73 67 7e 22 20 62 75 74 20 27 22 0a 09 "~msg~" but '"..
14b0: 09 09 09 7e 28 6c 65 78 2e 65 6d 70 74 79 20 3f ...~(lex.empty ?
14c0: 20 22 45 4f 46 22 20 3a 20 6c 65 78 2e 66 72 6f "EOF" : lex.fro
14d0: 6e 74 2e 73 74 72 29 7e 22 27 20 6f 63 63 75 72 nt.str)~"' occur
14e0: 65 64 22 29 3b 0a 09 7d 0a 0a 09 62 6f 6f 6c 20 ed");..}...bool
14f0: 74 72 79 45 61 74 28 73 74 72 69 6e 67 20 6b 77 tryEat(string kw
1500: 64 29 0a 09 7b 0a 09 09 69 66 28 20 6c 65 78 2e d)..{...if( lex.
1510: 65 6d 70 74 79 20 7c 7c 20 6c 65 78 2e 66 72 6f empty || lex.fro
1520: 6e 74 2e 71 75 6f 74 65 64 20 7c 7c 20 6c 65 78 nt.quoted || lex
1530: 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 6b 77 64 20 .front.str!=kwd
1540: 29 0a 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73 )....return fals
1550: 65 3b 0a 09 09 6c 65 78 2e 70 6f 70 46 72 6f 6e e;...lex.popFron
1560: 74 3b 0a 09 09 72 65 74 75 72 6e 20 74 72 75 65 t;...return true
1570: 3b 0a 09 7d 0a 0d 0a 09 73 74 72 69 6e 67 20 65 ;..}....string e
1580: 61 74 49 64 28 6c 61 7a 79 20 73 74 72 69 6e 67 atId(lazy string
1590: 20 6d 73 67 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 msg)...{....if(
15a0: 20 6c 65 78 2e 65 6d 70 74 79 20 7c 7c 20 6c 65 lex.empty || le
15b0: 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 29 x.front.quoted )
15c0: 0d 0a 09 09 09 74 68 72 6f 77 20 63 72 65 61 74 .....throw creat
15d0: 65 45 78 63 65 70 74 69 6f 6e 28 6c 65 78 2c 20 eException(lex,
15e0: 22 69 64 65 6e 74 69 66 69 65 72 20 69 73 20 65 "identifier is e
15f0: 78 70 65 63 74 65 64 20 62 75 74 20 6e 6f 74 20 xpected but not
1600: 66 6f 75 6e 64 20 22 7e 6d 73 67 29 3b 0d 0a 09 found "~msg);...
1610: 09 73 74 72 69 6e 67 20 69 64 20 3d 20 6c 65 78 .string id = lex
1620: 2e 66 72 6f 6e 74 2e 73 74 72 3b 0d 0a 09 09 6c .front.str;....l
1630: 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 ex.popFront;....
1640: 72 65 74 75 72 6e 20 69 64 3b 0d 0a 09 7d 0d 0a return id;...}..
1650: 0a 09 62 6f 6f 6c 20 69 73 4e 75 6d 62 65 72 28 ..bool isNumber(
1660: 73 74 72 69 6e 67 20 73 29 0a 09 7b 0a 09 09 72 string s)..{...r
1670: 65 74 75 72 6e 20 66 69 6e 64 21 28 60 61 3c 27 eturn find!(`a<'
1680: 30 27 7c 7c 27 39 27 3c 61 60 29 28 73 29 2e 65 0'||'9'<a`)(s).e
1690: 6d 70 74 79 3b 0a 09 7d 0d 0a 0d 0a 09 41 53 54 mpty;..}.....AST
16a0: 20 64 6f 4e 6f 74 68 69 6e 67 45 78 70 72 65 73 doNothingExpres
16b0: 73 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 72 65 sion()...{....re
16c0: 74 75 72 6e 20 6e 65 77 20 49 6e 74 4c 69 74 65 turn new IntLite
16d0: 72 61 6c 28 6c 65 78 2e 65 6d 70 74 79 3f 6e 75 ral(lex.empty?nu
16e0: 6c 6c 3a 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 ll:lex.front.pos
16f0: 2c 20 42 69 67 49 6e 74 28 31 37 38 29 29 3b 0d , BigInt(178));.
1700: 0a 09 7d 0a 7d 0a 0a 75 6e 69 74 74 65 73 74 0a ..}.}..unittest.
1710: 7b 0d 0a 09 6d 69 78 69 6e 20 45 61 73 79 41 53 {...mixin EasyAS
1720: 54 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 T;.....assert_eq
1730: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 32 (parseString(`12
1740: 33 60 29 2c 20 69 6e 74 6c 28 31 32 33 29 29 3b 3`), intl(123));
1750: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
1760: 73 65 53 74 72 69 6e 67 28 60 22 66 6f 6f 22 60 seString(`"foo"`
1770: 29 2c 20 73 74 72 6c 28 22 66 6f 6f 22 29 29 3b ), strl("foo"));
1780: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
1790: 73 65 53 74 72 69 6e 67 28 60 66 75 6e 28 29 7b seString(`fun(){
17a0: 31 7d 60 29 2c 20 66 75 6e 28 5b 5d 2c 69 6e 74 1}`), fun([],int
17b0: 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 l(1)));...assert
17c0: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
17d0: 60 66 75 6e 28 78 29 7b 31 7d 60 29 2c 20 66 75 `fun(x){1}`), fu
17e0: 6e 28 5b 22 78 22 5d 2c 69 6e 74 6c 28 31 29 29 n(["x"],intl(1))
17f0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
1800: 61 72 73 65 53 74 72 69 6e 67 28 60 ce bb 28 29 arseString(`..()
1810: 7b 31 7d 60 29 2c 20 66 75 6e 28 5b 5d 2c 69 6e {1}`), fun([],in
1820: 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(1)));...asser
1830: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
1840: 28 60 ce bb 28 78 29 7b 31 7d 60 29 2c 20 66 75 (`..(x){1}`), fu
1850: 6e 28 5b 22 78 22 5d 2c 69 6e 74 6c 28 31 29 29 n(["x"],intl(1))
1860: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
1870: 61 72 73 65 53 74 72 69 6e 67 28 60 31 3b 32 60 arseString(`1;2`
1880: 29 2c 20 6c 65 74 28 22 5f 22 2c 22 40 76 61 6c ), let("_","@val
1890: 22 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 ",intl(1),intl(2
18a0: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
18b0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 3b (parseString(`1;
18c0: 32 3b 60 29 2c 20 6c 65 74 28 22 5f 22 2c 22 40 2;`), let("_","@
18d0: 76 61 6c 22 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 val",intl(1),int
18e0: 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 l(2)));...assert
18f0: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
1900: 60 6c 65 74 20 78 3d 31 3b 32 60 29 2c 20 6c 65 `let x=1;2`), le
1910: 74 28 22 78 22 2c 22 40 76 61 6c 22 2c 69 6e 74 t("x","@val",int
1920: 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d l(1),intl(2)));.
1930: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
1940: 65 53 74 72 69 6e 67 28 60 76 61 72 20 78 3d 31 eString(`var x=1
1950: 3b 32 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 ;2;`), let("x","
1960: 40 76 61 6c 22 2c 69 6e 74 6c 28 31 29 2c 69 6e @val",intl(1),in
1970: 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(2)));...asser
1980: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
1990: 28 60 64 65 66 20 78 3d 31 60 29 2c 20 6c 65 74 (`def x=1`), let
19a0: 28 22 78 22 2c 22 40 76 61 6c 22 2c 69 6e 74 6c ("x","@val",intl
19b0: 28 31 29 2c 76 61 72 28 22 78 22 29 29 29 3b 0d (1),var("x")));.
19c0: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
19d0: 65 53 74 72 69 6e 67 28 60 40 76 61 6c 20 78 3d eString(`@val x=
19e0: 31 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 40 1;`), let("x","@
19f0: 76 61 6c 22 2c 69 6e 74 6c 28 31 29 2c 76 61 72 val",intl(1),var
1a00: 28 22 78 22 29 29 29 3b 0d 0a 09 61 73 73 65 72 ("x")));...asser
1a10: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
1a20: 28 60 40 74 79 70 20 78 3d 22 23 69 6e 74 22 3b (`@typ x="#int";
1a30: 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 40 74 79 `), let("x","@ty
1a40: 70 22 2c 73 74 72 6c 28 22 23 69 6e 74 22 29 2c p",strl("#int"),
1a50: 76 61 72 28 22 78 22 29 29 29 3b 0d 0a 09 61 73 var("x")));...as
1a60: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
1a70: 69 6e 67 28 60 66 28 31 2c 32 29 60 29 2c 20 63 ing(`f(1,2)`), c
1a80: 61 6c 6c 28 76 61 72 28 22 66 22 29 2c 69 6e 74 all(var("f"),int
1a90: 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d l(1),intl(2)));.
1aa0: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
1ab0: 65 53 74 72 69 6e 67 28 60 69 66 28 31 29 7b 32 eString(`if(1){2
1ac0: 7d 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 69 }`), call(var("i
1ad0: 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e 28 f"),intl(1),fun(
1ae0: 5b 5d 2c 69 6e 74 6c 28 32 29 29 2c 66 75 6e 28 [],intl(2)),fun(
1af0: 5b 5d 2c 69 6e 74 6c 28 31 37 38 29 29 29 29 3b [],intl(178))));
1b00: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
1b10: 73 65 53 74 72 69 6e 67 28 60 69 66 28 31 29 7b seString(`if(1){
1b20: 32 7d 65 6c 73 65 7b 33 7d 60 29 2c 20 63 61 6c 2}else{3}`), cal
1b30: 6c 28 76 61 72 28 22 69 66 22 29 2c 69 6e 74 6c l(var("if"),intl
1b40: 28 31 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 (1),fun([],intl(
1b50: 32 29 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 2)),fun([],intl(
1b60: 33 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 3))));...assert_
1b70: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
1b80: 69 66 28 31 29 7b 7d 65 6c 73 65 7b 33 7d 28 29 if(1){}else{3}()
1b90: 28 29 60 29 2c 0d 0a 09 09 63 61 6c 6c 28 63 61 ()`),....call(ca
1ba0: 6c 6c 28 63 61 6c 6c 28 76 61 72 28 22 69 66 22 ll(call(var("if"
1bb0: 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d ),intl(1),fun([]
1bc0: 2c 69 6e 74 6c 28 31 37 38 29 29 2c 66 75 6e 28 ,intl(178)),fun(
1bd0: 5b 5d 2c 69 6e 74 6c 28 33 29 29 29 29 29 29 3b [],intl(3))))));
1be0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
1bf0: 73 65 53 74 72 69 6e 67 28 60 31 2b 32 2a 33 60 seString(`1+2*3`
1c00: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 ), call(var("+")
1c10: 2c 69 6e 74 6c 28 31 29 2c 63 61 6c 6c 28 76 61 ,intl(1),call(va
1c20: 72 28 22 2a 22 29 2c 69 6e 74 6c 28 32 29 2c 69 r("*"),intl(2),i
1c30: 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 09 61 73 73 ntl(3))));...ass
1c40: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
1c50: 6e 67 28 60 28 31 2b 32 29 2a 33 60 29 2c 20 63 ng(`(1+2)*3`), c
1c60: 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c 63 61 6c all(var("*"),cal
1c70: 6c 28 76 61 72 28 22 2b 22 29 2c 69 6e 74 6c 28 l(var("+"),intl(
1c80: 31 29 2c 69 6e 74 6c 28 32 29 29 2c 69 6e 74 6c 1),intl(2)),intl
1c90: 28 33 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f (3)));...assert_
1ca0: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
1cb0: 31 2a 28 32 2b 33 29 60 29 2c 20 63 61 6c 6c 28 1*(2+3)`), call(
1cc0: 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c 28 31 29 var("*"),intl(1)
1cd0: 2c 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 ,call(var("+"),i
1ce0: 6e 74 6c 28 32 29 2c 69 6e 74 6c 28 33 29 29 29 ntl(2),intl(3)))
1cf0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
1d00: 61 72 73 65 53 74 72 69 6e 67 28 60 31 2a 32 2b arseString(`1*2+
1d10: 33 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b 3`), call(var("+
1d20: 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 "),call(var("*")
1d30: 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 ,intl(1),intl(2)
1d40: 29 2c 69 6e 74 6c 28 33 29 29 29 3b 0d 0a 0d 0a ),intl(3)));....
1d50: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
1d60: 53 74 72 69 6e 67 28 60 0d 0a 09 09 6c 65 74 20 String(`....let
1d70: 78 20 3d 20 31 30 30 3b 20 23 63 6f 6d 6d 65 6e x = 100; #commen
1d80: 74 0d 0a 09 09 6c 65 74 20 79 20 3d 20 32 30 30 t....let y = 200
1d90: 3b 20 23 63 6f 6d 6d 65 6e 74 21 21 21 21 21 0d ; #comment!!!!!.
1da0: 0a 09 09 09 78 2b 79 0d 0a 09 60 29 2c 0d 0a 09 ....x+y...`),...
1db0: 09 6c 65 74 28 22 78 22 2c 20 22 40 76 61 6c 22 .let("x", "@val"
1dc0: 2c 20 69 6e 74 6c 28 31 30 30 29 2c 20 6c 65 74 , intl(100), let
1dd0: 28 22 79 22 2c 20 22 40 76 61 6c 22 2c 20 69 6e ("y", "@val", in
1de0: 74 6c 28 32 30 30 29 2c 20 63 61 6c 6c 28 76 61 tl(200), call(va
1df0: 72 28 22 2b 22 29 2c 20 76 61 72 28 22 78 22 29 r("+"), var("x")
1e00: 2c 20 76 61 72 28 22 79 22 29 29 29 29 0d 0a 09 , var("y"))))...
1e10: 29 3b 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );....assert_eq(
1e20: 70 61 72 73 65 53 74 72 69 6e 67 28 60 0d 0a 09 parseString(`...
1e30: 09 76 61 72 20 66 61 63 20 3d 20 66 75 6e 28 78 .var fac = fun(x
1e40: 29 7b 20 69 66 28 78 20 3c 3d 20 31 29 20 7b 31 ){ if(x <= 1) {1
1e50: 7d 20 65 6c 73 65 20 7b 78 2a 66 61 63 28 78 2d } else {x*fac(x-
1e60: 31 29 7d 20 7d 3b 0d 0a 09 09 66 61 63 28 31 30 1)} };....fac(10
1e70: 29 0a 09 60 29 2c 0d 0a 09 09 6c 65 74 28 22 66 )..`),....let("f
1e80: 61 63 22 2c 20 22 40 76 61 6c 22 2c 20 66 75 6e ac", "@val", fun
1e90: 28 5b 22 78 22 5d 2c 0d 0a 09 09 09 63 61 6c 6c (["x"],.....call
1ea0: 28 76 61 72 28 22 69 66 22 29 2c 0d 0a 09 09 09 (var("if"),.....
1eb0: 09 63 61 6c 6c 28 76 61 72 28 22 3c 3d 22 29 2c .call(var("<="),
1ec0: 20 76 61 72 28 22 78 22 29 2c 20 69 6e 74 6c 28 var("x"), intl(
1ed0: 31 29 29 2c 0d 0a 09 09 09 09 66 75 6e 28 5b 5d 1)),......fun([]
1ee0: 2c 20 69 6e 74 6c 28 31 29 29 2c 0d 0a 09 09 09 , intl(1)),.....
1ef0: 09 66 75 6e 28 5b 5d 2c 20 63 61 6c 6c 28 76 61 .fun([], call(va
1f00: 72 28 22 2a 22 29 2c 20 76 61 72 28 22 78 22 29 r("*"), var("x")
1f10: 2c 20 63 61 6c 6c 28 76 61 72 28 22 66 61 63 22 , call(var("fac"
1f20: 29 2c 63 61 6c 6c 28 76 61 72 28 22 2d 22 29 2c ),call(var("-"),
1f30: 76 61 72 28 22 78 22 29 2c 69 6e 74 6c 28 31 29 var("x"),intl(1)
1f40: 29 29 29 29 0d 0a 09 09 09 29 29 2c 0d 0a 09 09 )))).....)),....
1f50: 09 63 61 6c 6c 28 76 61 72 28 22 66 61 63 22 29 .call(var("fac")
1f60: 2c 69 6e 74 6c 28 31 30 29 29 0d 0a 09 09 29 0d ,intl(10))....).
1f70: 0a 09 29 3b 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 ..);.}....unitte
1f80: 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 74 st..{...assert_t
1f90: 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 70 74 hrow!ParseExcept
1fa0: 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e 67 28 ion(parseString(
1fb0: 60 31 2b 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 `1+`));...assert
1fc0: 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 _throw!ParseExce
1fd0: 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e ption(parseStrin
1fe0: 67 28 60 31 2b 32 7d 60 29 29 3b 0d 0a 09 61 73 g(`1+2}`));...as
1ff0: 73 65 72 74 5f 74 68 72 6f 77 21 50 61 72 73 65 sert_throw!Parse
2000: 45 78 63 65 70 74 69 6f 6e 28 70 61 72 73 65 53 Exception(parseS
2010: 74 72 69 6e 67 28 60 6c 65 74 20 22 78 22 60 29 tring(`let "x"`)
2020: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
2030: 77 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e w!ParseException
2040: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 76 61 (parseString(`va
2050: 72 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 r`));...assert_t
2060: 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 70 74 hrow!ParseExcept
2070: 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e 67 28 ion(parseString(
2080: 60 40 76 61 6c 20 78 20 3d 3d 60 29 29 3b 0d 0a `@val x ==`));..
2090: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 50 61 .assert_throw!Pa
20a0: 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 61 72 rseException(par
20b0: 73 65 53 74 72 69 6e 67 28 60 69 66 28 29 7b 31 seString(`if(){1
20c0: 7d 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 }`));...assert_t
20d0: 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 70 74 hrow!ParseExcept
20e0: 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e 67 28 ion(parseString(
20f0: 60 66 28 60 29 29 3b 0d 0a 7d 0d 0a `f(`));..}..