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