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 73 20 6f 66 20 74 68 69 73 20 points of this
0240: 6d 6f 64 75 6c 65 0d 0a 0d 0a 61 75 74 6f 20 70 module....auto p
0250: 61 72 73 65 53 74 72 69 6e 67 28 53 2c 20 54 2e arseString(S, T.
0260: 2e 2e 29 28 53 20 73 74 72 2c 20 54 20 66 6e 5f ..)(S str, T fn_
0270: 6c 6e 5f 63 6e 29 0d 0a 09 7b 20 72 65 74 75 72 ln_cn)...{ retur
0280: 6e 20 70 61 72 73 65 72 46 72 6f 6d 53 74 72 69 n parserFromStri
0290: 6e 67 28 73 74 72 2c 20 66 6e 5f 6c 6e 5f 63 6e ng(str, fn_ln_cn
02a0: 29 2e 70 61 72 73 65 28 29 3b 20 7d 0d 0a 0d 0a ).parse(); }....
02b0: 61 75 74 6f 20 70 61 72 73 65 46 69 6c 65 28 53 auto parseFile(S
02c0: 2c 20 54 2e 2e 2e 29 28 53 20 66 69 6c 65 6e 61 , T...)(S filena
02d0: 6d 65 2c 54 20 6c 6e 5f 63 6e 29 0d 0a 09 7b 20 me,T ln_cn)...{
02e0: 72 65 74 75 72 6e 20 70 61 72 73 65 72 46 72 6f return parserFro
02f0: 6d 53 74 72 69 6e 67 28 66 69 6c 65 6e 61 6d 65 mString(filename
0300: 2c 20 6c 6e 5f 63 6e 29 2e 70 61 72 73 65 28 29 , ln_cn).parse()
0310: 3b 20 7d 0d 0a 0d 0a 2f 2f 2f 20 4e 61 6d 65 64 ; }..../// Named
0320: 20 43 6f 6e 73 74 72 75 63 74 6f 72 20 6f 66 20 Constructor of
0330: 50 61 72 73 65 72 0a 0d 0a 70 72 69 76 61 74 65 Parser...private
0340: 20 61 75 74 6f 20 70 61 72 73 65 72 46 72 6f 6d auto parserFrom
0350: 4c 65 78 65 72 28 4c 65 78 65 72 29 28 4c 65 78 Lexer(Lexer)(Lex
0360: 65 72 20 6c 65 78 29 0a 09 7b 20 72 65 74 75 72 er lex)..{ retur
0370: 6e 20 6e 65 77 20 50 61 72 73 65 72 21 4c 65 78 n new Parser!Lex
0380: 65 72 28 6c 65 78 29 3b 20 7d 0a 0a 70 72 69 76 er(lex); }..priv
0390: 61 74 65 20 61 75 74 6f 20 70 61 72 73 65 72 46 ate auto parserF
03a0: 72 6f 6d 53 74 72 69 6e 67 28 54 2e 2e 2e 29 28 romString(T...)(
03b0: 54 20 70 61 72 61 6d 73 29 0a 09 7b 20 72 65 74 T params)..{ ret
03c0: 75 72 6e 20 70 61 72 73 65 72 46 72 6f 6d 4c 65 urn parserFromLe
03d0: 78 65 72 28 70 6f 6c 65 6d 79 2e 6c 65 78 2e 6c xer(polemy.lex.l
03e0: 65 78 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 70 exerFromString(p
03f0: 61 72 61 6d 73 29 29 3b 20 7d 0a 0a 70 72 69 76 arams)); }..priv
0400: 61 74 65 20 61 75 74 6f 20 70 61 72 73 65 72 46 ate auto parserF
0410: 72 6f 6d 46 69 6c 65 28 54 2e 2e 2e 29 28 54 20 romFile(T...)(T
0420: 70 61 72 61 6d 73 29 0a 09 7b 20 72 65 74 75 72 params)..{ retur
0430: 6e 20 70 61 72 73 65 72 46 72 6f 6d 4c 65 78 65 n parserFromLexe
0440: 72 28 70 6f 6c 65 6d 79 2e 6c 65 78 2e 6c 65 78 r(polemy.lex.lex
0450: 65 72 46 72 6f 6d 46 69 6c 65 28 70 61 72 61 6d erFromFile(param
0460: 73 29 29 3b 20 7d 0d 0a 0d 0a 2f 2f 2f 20 50 61 s)); }..../// Pa
0470: 72 73 65 72 0a 0a 70 72 69 76 61 74 65 20 63 6c rser..private cl
0480: 61 73 73 20 50 61 72 73 65 72 28 4c 65 78 65 72 ass Parser(Lexer
0490: 29 0d 0a 09 69 66 28 20 69 73 46 6f 72 77 61 72 )...if( isForwar
04a0: 64 52 61 6e 67 65 21 28 4c 65 78 65 72 29 20 26 dRange!(Lexer) &
04b0: 26 20 69 73 28 45 6c 65 6d 65 6e 74 54 79 70 65 & is(ElementType
04c0: 21 28 4c 65 78 65 72 29 20 3d 3d 20 54 6f 6b 65 !(Lexer) == Toke
04d0: 6e 29 20 29 0a 7b 0d 0a 09 41 53 54 20 70 61 72 n) ).{...AST par
04e0: 73 65 28 29 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 se()..{....auto
04f0: 65 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 69 e = Body();....i
0500: 66 28 20 21 6c 65 78 2e 65 6d 70 74 79 20 29 0d f( !lex.empty ).
0510: 0a 09 09 09 74 68 72 6f 77 20 63 72 65 61 74 65 ....throw create
0520: 45 78 63 65 70 74 69 6f 6e 28 6c 65 78 2c 20 22 Exception(lex, "
0530: 69 6e 70 75 74 20 69 73 20 6e 6f 74 20 65 6e 64 input is not end
0540: 65 64 20 62 75 74 20 70 61 72 73 65 72 20 63 61 ed but parser ca
0550: 6d 65 20 74 6f 20 74 68 65 20 65 6e 64 22 29 3b me to the end");
0560: 0d 0a 09 09 72 65 74 75 72 6e 20 65 3b 0d 0a 09 ....return e;...
0570: 7d 0d 0a 0d 0a 09 41 53 54 20 42 6f 64 79 28 29 }.....AST Body()
0580: 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78 2e ...{....if( lex.
0590: 65 6d 70 74 79 20 7c 7c 20 21 6c 65 78 2e 66 72 empty || !lex.fr
05a0: 6f 6e 74 2e 71 75 6f 74 65 64 20 26 26 20 6c 65 ont.quoted && le
05b0: 78 2e 66 72 6f 6e 74 2e 73 74 72 3d 3d 22 7d 22 x.front.str=="}"
05c0: 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 64 6f ).....return do
05d0: 4e 6f 74 68 69 6e 67 45 78 70 72 65 73 73 69 6f NothingExpressio
05e0: 6e 28 29 3b 0d 0a 0d 0a 09 09 61 75 74 6f 20 70 n();......auto p
05f0: 6f 73 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 os = lex.front.p
0600: 6f 73 3b 0d 0a 09 09 73 74 72 69 6e 67 20 6b 77 os;....string kw
0610: 64 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 d = lex.front.st
0620: 72 3b 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 r;....if( tryEat
0630: 28 22 6c 65 74 22 29 20 7c 7c 20 74 72 79 45 61 ("let") || tryEa
0640: 74 28 22 76 61 72 22 29 20 7c 7c 20 74 72 79 45 t("var") || tryE
0650: 61 74 28 22 64 65 66 22 29 20 7c 7c 20 74 72 79 at("def") || try
0660: 45 61 74 28 22 40 22 29 20 29 0d 0a 09 09 7b 0d Eat("@") )....{.
0670: 0a 09 09 09 69 66 28 20 6b 77 64 20 3d 3d 20 22 ....if( kwd == "
0680: 40 22 20 29 0d 0a 09 09 09 09 6b 77 64 20 7e 3d @" )......kwd ~=
0690: 20 65 61 74 49 64 28 22 61 66 74 65 72 20 40 22 eatId("after @"
06a0: 29 3b 0d 0a 09 09 09 69 6d 6d 75 74 61 62 6c 65 );.....immutable
06b0: 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 76 61 72 LexPosition var
06c0: 70 6f 73 20 3d 20 28 6c 65 78 2e 65 6d 70 74 79 pos = (lex.empty
06d0: 20 3f 20 6e 75 6c 6c 20 3a 20 6c 65 78 2e 66 72 ? null : lex.fr
06e0: 6f 6e 74 2e 70 6f 73 29 3b 0d 0a 09 09 09 73 74 ont.pos);.....st
06f0: 72 69 6e 67 20 76 61 72 20 3d 20 65 61 74 49 64 ring var = eatId
0700: 28 22 61 66 74 65 72 20 22 7e 6b 77 64 29 3b 0d ("after "~kwd);.
0710: 0a 09 09 09 65 61 74 28 22 3d 22 2c 20 22 61 66 ....eat("=", "af
0720: 74 65 72 20 22 7e 6b 77 64 29 3b 0d 0a 09 09 09 ter "~kwd);.....
0730: 6b 77 64 20 3d 20 28 6b 77 64 5b 30 5d 3d 3d 27 kwd = (kwd[0]=='
0740: 40 27 20 3f 20 6b 77 64 20 3a 20 22 40 76 61 6c @' ? kwd : "@val
0750: 22 29 3b 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d ");.....auto e =
0760: 20 45 28 30 29 3b 0d 0a 09 09 09 69 66 28 20 74 E(0);.....if( t
0770: 72 79 45 61 74 28 22 3b 22 29 20 26 26 20 21 6c ryEat(";") && !l
0780: 65 78 2e 65 6d 70 74 79 20 26 26 20 28 6c 65 78 ex.empty && (lex
0790: 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 7c 7c .front.quoted ||
07a0: 20 28 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 21 (lex.front.str!
07b0: 3d 22 7d 22 20 26 26 20 6c 65 78 2e 66 72 6f 6e ="}" && lex.fron
07c0: 74 2e 73 74 72 21 3d 22 29 22 29 29 20 29 0d 0a t.str!=")")) )..
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 42 , var, kwd, e, B
0800: 6f 64 79 28 29 29 3b 0d 0a 09 09 09 65 6c 73 65 ody());.....else
0810: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 ......return new
0820: 20 4c 65 74 45 78 70 72 65 73 73 69 6f 6e 28 70 LetExpression(p
0830: 6f 73 2c 20 76 61 72 2c 20 6b 77 64 2c 20 65 2c os, var, kwd, e,
0840: 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 new VarExpressi
0850: 6f 6e 28 76 61 72 70 6f 73 2c 20 76 61 72 29 29 on(varpos, var))
0860: 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a ;....}....else..
0870: 09 09 7b 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d ..{.....auto e =
0880: 20 45 28 30 29 3b 0d 0a 09 09 09 69 66 28 20 74 E(0);.....if( t
0890: 72 79 45 61 74 28 22 3b 22 29 20 26 26 20 21 6c ryEat(";") && !l
08a0: 65 78 2e 65 6d 70 74 79 20 26 26 20 28 6c 65 78 ex.empty && (lex
08b0: 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 7c 7c .front.quoted ||
08c0: 20 28 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 21 (lex.front.str!
08d0: 3d 22 7d 22 20 26 26 20 6c 65 78 2e 66 72 6f 6e ="}" && lex.fron
08e0: 74 2e 73 74 72 21 3d 22 29 22 29 29 20 29 0d 0a t.str!=")")) )..
08f0: 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c ....return new L
0900: 65 74 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 etExpression(pos
0910: 2c 20 22 5f 22 2c 20 22 40 76 61 6c 22 2c 20 65 , "_", "@val", e
0920: 2c 20 42 6f 64 79 28 29 29 3b 0d 0a 09 09 09 65 , Body());.....e
0930: 6c 73 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 lse......return
0940: 65 3b 0d 0a 09 09 7d 0d 0a 09 7d 0a 0a 09 2f 2f e;....}...}...//
0950: 20 5b 54 4f 44 4f 5d 20 6d 61 6b 65 20 63 75 73 [TODO] make cus
0960: 74 6f 6d 69 7a 61 62 6c 65 20 66 72 6f 6d 20 70 tomizable from p
0970: 72 6f 67 72 61 6d 0a 09 73 74 61 74 69 63 20 69 rogram..static i
0980: 6d 6d 75 74 61 62 6c 65 20 73 74 72 69 6e 67 5b mmutable string[
0990: 5d 5b 5d 20 6f 70 65 72 61 74 6f 72 5f 70 65 72 ][] operator_per
09a0: 66 65 72 65 6e 63 65 73 20 3d 20 5b 0a 09 09 5b ferences = [...[
09b0: 22 7c 7c 22 5d 2c 0a 09 09 5b 22 26 26 22 5d 2c "||"],...["&&"],
09c0: 0a 09 09 5b 22 21 3d 22 5d 2c 0a 09 09 5b 22 3d ...["!="],...["=
09d0: 3d 22 5d 2c 0a 09 09 5b 22 3c 22 2c 22 3c 3d 22 ="],...["<","<="
09e0: 2c 22 3e 22 2c 22 3e 3d 22 5d 2c 0a 09 09 5b 22 ,">",">="],...["
09f0: 7c 22 5d 2c 0a 09 09 5b 22 5e 22 5d 2c 0a 09 09 |"],...["^"],...
0a00: 5b 22 26 22 5d 2c 0a 09 09 5b 22 3c 3c 22 2c 20 ["&"],...["<<",
0a10: 22 3e 3e 22 5d 2c 0a 09 09 5b 22 2b 22 2c 22 2d ">>"],...["+","-
0a20: 22 5d 2c 0d 0a 09 09 5b 22 7e 22 5d 2c 0d 0a 09 "],....["~"],...
0a30: 09 5b 22 2a 22 2c 22 2f 22 2c 22 25 22 5d 2c 0d .["*","/","%"],.
0a40: 0a 09 09 5b 22 5e 5e 22 5d 0d 0a 09 5d 3b 0a 0a ...["^^"]...];..
0a50: 09 41 53 54 20 45 28 69 6e 74 20 6c 65 76 65 6c .AST E(int level
0a60: 29 0a 09 7b 0a 09 09 69 66 28 20 6f 70 65 72 61 )..{...if( opera
0a70: 74 6f 72 5f 70 65 72 66 65 72 65 6e 63 65 73 2e tor_perferences.
0a80: 6c 65 6e 67 74 68 20 3c 3d 20 6c 65 76 65 6c 20 length <= level
0a90: 29 0a 09 09 09 72 65 74 75 72 6e 20 46 75 6e 63 )....return Func
0aa0: 61 6c 6c 28 29 3b 0a 09 09 65 6c 73 65 0a 09 09 all();...else...
0ab0: 7b 0a 09 09 09 61 75 74 6f 20 6f 70 73 20 3d 20 {....auto ops =
0ac0: 6f 70 65 72 61 74 6f 72 5f 70 65 72 66 65 72 65 operator_perfere
0ad0: 6e 63 65 73 5b 6c 65 76 65 6c 5d 3b 0a 09 09 09 nces[level];....
0ae0: 61 75 74 6f 20 65 20 3d 20 45 28 6c 65 76 65 6c auto e = E(level
0af0: 2b 31 29 3b 0a 09 09 73 65 71 3a 0a 09 09 09 77 +1);...seq:....w
0b00: 68 69 6c 65 28 20 21 6c 65 78 2e 65 6d 70 74 79 hile( !lex.empty
0b10: 20 29 0a 09 09 09 7b 0a 09 09 09 09 61 75 74 6f )....{.....auto
0b20: 20 70 6f 73 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 pos = lex.front
0b30: 2e 70 6f 73 3b 0a 09 09 09 09 66 6f 72 65 61 63 .pos;.....foreac
0b40: 68 28 6f 70 3b 20 6f 70 73 29 0a 09 09 09 09 09 h(op; ops)......
0b50: 69 66 28 20 74 72 79 45 61 74 28 6f 70 29 20 29 if( tryEat(op) )
0b60: 0a 09 09 09 09 09 7b 0a 09 09 09 09 09 09 65 20 ......{.......e
0b70: 3d 20 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 = new FuncallExp
0b80: 72 65 73 73 69 6f 6e 28 65 2e 70 6f 73 2c 20 6e ression(e.pos, n
0b90: 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e ew VarExpression
0ba0: 28 70 6f 73 2c 20 6f 70 29 2c 20 65 2c 20 45 28 (pos, op), e, E(
0bb0: 6c 65 76 65 6c 2b 31 29 29 3b 0a 09 09 09 09 09 level+1));......
0bc0: 09 63 6f 6e 74 69 6e 75 65 20 73 65 71 3b 0a 09 .continue seq;..
0bd0: 09 09 09 09 7d 0a 09 09 09 09 62 72 65 61 6b 3b ....}.....break;
0be0: 0a 09 09 09 7d 0a 09 09 09 72 65 74 75 72 6e 20 ....}....return
0bf0: 65 3b 0a 09 09 7d 0a 09 7d 0a 0a 09 41 53 54 20 e;...}..}...AST
0c00: 46 75 6e 63 61 6c 6c 28 29 0a 09 7b 0a 09 09 61 Funcall()..{...a
0c10: 75 74 6f 20 65 20 3d 20 42 61 73 65 45 78 70 72 uto e = BaseExpr
0c20: 65 73 73 69 6f 6e 28 29 3b 0a 09 09 77 68 69 6c ession();...whil
0c30: 65 28 20 74 72 79 45 61 74 28 22 28 22 29 20 29 e( tryEat("(") )
0c40: 0a 09 09 7b 0d 0a 09 09 09 41 53 54 5b 5d 20 61 ...{.....AST[] a
0c50: 72 67 73 3b 0a 09 09 09 77 68 69 6c 65 28 20 21 rgs;....while( !
0c60: 74 72 79 45 61 74 28 22 29 22 29 20 29 20 7b 0a tryEat(")") ) {.
0c70: 09 09 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 ....if( lex.empt
0c80: 79 20 29 0d 0a 09 09 09 09 09 74 68 72 6f 77 20 y ).......throw
0c90: 63 72 65 61 74 65 45 78 63 65 70 74 69 6f 6e 28 createException(
0ca0: 6c 65 78 2c 22 55 6e 65 78 70 65 63 74 65 64 20 lex,"Unexpected
0cb0: 45 4f 46 22 29 3b 0a 09 09 09 09 61 72 67 73 20 EOF");.....args
0cc0: 7e 3d 20 45 28 30 29 3b 0d 0a 09 09 09 09 69 66 ~= E(0);......if
0cd0: 28 20 21 74 72 79 45 61 74 28 22 2c 22 29 20 29 ( !tryEat(",") )
0ce0: 20 7b 0a 09 09 09 09 09 65 61 74 28 22 29 22 2c {......eat(")",
0cf0: 20 22 61 66 74 65 72 20 66 75 6e 63 74 69 6f 6e "after function
0d00: 20 70 61 72 61 6d 65 74 65 72 73 22 29 3b 0a 09 parameters");..
0d10: 09 09 09 09 62 72 65 61 6b 3b 0a 09 09 09 09 7d ....break;.....}
0d20: 0a 09 09 09 7d 0a 09 09 09 65 20 3d 20 6e 65 77 ....}....e = new
0d30: 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 FuncallExpressi
0d40: 6f 6e 28 65 2e 70 6f 73 2c 20 65 2c 20 61 72 67 on(e.pos, e, arg
0d50: 73 29 3b 0a 09 09 7d 0a 09 09 72 65 74 75 72 6e s);...}...return
0d60: 20 65 3b 0a 09 7d 0a 0a 09 41 53 54 20 42 61 73 e;..}...AST Bas
0d70: 65 45 78 70 72 65 73 73 69 6f 6e 28 29 0a 09 7b eExpression()..{
0d80: 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 ...if( lex.empty
0d90: 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 63 72 65 ).....throw cre
0da0: 61 74 65 45 78 63 65 70 74 69 6f 6e 28 6c 65 78 ateException(lex
0db0: 2c 20 22 52 65 61 63 68 65 64 20 45 4f 46 20 77 , "Reached EOF w
0dc0: 68 65 6e 20 74 72 69 65 64 20 74 6f 20 70 61 72 hen tried to par
0dd0: 73 65 20 61 6e 20 65 78 70 72 65 73 73 69 6f 6e se an expression
0de0: 22 29 3b 0d 0a 0d 0a 09 09 61 75 74 6f 20 70 6f ");......auto po
0df0: 73 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f s = lex.front.po
0e00: 73 3b 0a 09 09 69 66 28 20 6c 65 78 2e 66 72 6f s;...if( lex.fro
0e10: 6e 74 2e 71 75 6f 74 65 64 20 29 0a 09 09 7b 0a nt.quoted )...{.
0e20: 09 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c ...scope(exit) l
0e30: 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09 09 09 ex.popFront;....
0e40: 72 65 74 75 72 6e 20 6e 65 77 20 53 74 72 4c 69 return new StrLi
0e50: 74 65 72 61 6c 28 70 6f 73 2c 20 6c 65 78 2e 66 teral(pos, lex.f
0e60: 72 6f 6e 74 2e 73 74 72 29 3b 0a 09 09 7d 0a 09 ront.str);...}..
0e70: 09 69 66 28 20 69 73 4e 75 6d 62 65 72 28 6c 65 .if( isNumber(le
0e80: 78 2e 66 72 6f 6e 74 2e 73 74 72 29 20 29 0a 09 x.front.str) )..
0e90: 09 7b 0a 09 09 09 73 63 6f 70 65 28 65 78 69 74 .{....scope(exit
0ea0: 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a ) lex.popFront;.
0eb0: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 6e ...return new In
0ec0: 74 4c 69 74 65 72 61 6c 28 70 6f 73 2c 20 42 69 tLiteral(pos, Bi
0ed0: 67 49 6e 74 28 63 61 73 74 28 73 74 72 69 6e 67 gInt(cast(string
0ee0: 29 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 29 )lex.front.str))
0ef0: 3b 0a 09 09 7d 0a 09 09 69 66 28 20 74 72 79 45 ;...}...if( tryE
0f00: 61 74 28 22 28 22 29 20 29 0a 09 09 7b 0a 09 09 at("(") )...{...
0f10: 09 61 75 74 6f 20 65 20 3d 20 42 6f 64 79 28 29 .auto e = Body()
0f20: 3b 0a 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 ;....eat(")", "a
0f30: 66 74 65 72 20 70 61 72 65 6e 74 68 65 73 69 7a fter parenthesiz
0f40: 65 64 20 65 78 70 72 65 73 73 69 6f 6e 22 29 3b ed expression");
0f50: 0a 09 09 09 72 65 74 75 72 6e 20 65 3b 0a 09 09 ....return e;...
0f60: 7d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 22 }...if( tryEat("
0f70: 69 66 22 29 20 29 0a 09 09 7b 0a 09 09 09 65 61 if") )...{....ea
0f80: 74 28 22 28 22 2c 20 22 61 66 74 65 72 20 69 66 t("(", "after if
0f90: 22 29 3b 0a 09 09 09 61 75 74 6f 20 63 6f 6e 64 ");....auto cond
0fa0: 20 3d 20 45 28 30 29 3b 0a 09 09 09 65 61 74 28 = E(0);....eat(
0fb0: 22 29 22 2c 20 22 61 66 74 65 72 20 69 66 20 63 ")", "after if c
0fc0: 6f 6e 64 69 74 69 6f 6e 22 29 3b 0a 09 09 09 61 ondition");....a
0fd0: 75 74 6f 20 74 68 65 6e 50 6f 73 20 3d 20 6c 65 uto thenPos = le
0fe0: 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0a 09 09 09 x.front.pos;....
0ff0: 65 61 74 28 22 7b 22 2c 20 22 61 66 74 65 72 20 eat("{", "after
1000: 69 66 20 63 6f 6e 64 69 74 69 6f 6e 22 29 3b 0a if condition");.
1010: 09 09 09 61 75 74 6f 20 74 68 20 3d 20 42 6f 64 ...auto th = Bod
1020: 79 28 29 3b 0a 09 09 09 65 61 74 28 22 7d 22 2c y();....eat("}",
1030: 20 22 61 66 74 65 72 20 69 66 2d 74 68 65 6e 20 "after if-then
1040: 62 6f 64 79 22 29 3b 0a 09 09 09 61 75 74 6f 20 body");....auto
1050: 65 6c 20 3d 20 64 6f 4e 6f 74 68 69 6e 67 45 78 el = doNothingEx
1060: 70 72 65 73 73 69 6f 6e 28 29 3b 0a 09 09 09 61 pression();....a
1070: 75 74 6f 20 65 6c 73 65 50 6f 73 20 3d 20 28 6c uto elsePos = (l
1080: 65 78 2e 65 6d 70 74 79 20 3f 20 4c 65 78 50 6f ex.empty ? LexPo
1090: 73 69 74 69 6f 6e 2e 64 75 6d 6d 79 20 3a 20 6c sition.dummy : l
10a0: 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 29 3b 0a 09 ex.front.pos);..
10b0: 09 09 69 66 28 20 74 72 79 45 61 74 28 22 65 6c ..if( tryEat("el
10c0: 73 65 22 29 20 29 20 7b 0a 09 09 09 09 65 61 74 se") ) {.....eat
10d0: 28 22 7b 22 2c 20 22 61 66 74 65 72 20 65 6c 73 ("{", "after els
10e0: 65 22 29 3b 0a 09 09 09 09 65 6c 20 3d 20 42 6f e");.....el = Bo
10f0: 64 79 28 29 3b 0a 09 09 09 09 65 61 74 28 22 7d dy();.....eat("}
1100: 22 2c 20 22 61 66 74 65 72 20 65 6c 73 65 20 62 ", "after else b
1110: 6f 64 79 22 29 3b 0a 09 09 09 7d 0a 09 09 09 72 ody");....}....r
1120: 65 74 75 72 6e 20 6e 65 77 20 46 75 6e 63 61 6c eturn new Funcal
1130: 6c 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c lExpression(pos,
1140: 20 0a 09 09 09 09 6e 65 77 20 56 61 72 45 78 70 .....new VarExp
1150: 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 22 69 66 ression(pos, "if
1160: 22 29 2c 0a 09 09 09 09 63 6f 6e 64 2c 0a 09 09 "),.....cond,...
1170: 09 09 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 6c ..new FunLiteral
1180: 28 74 68 65 6e 50 6f 73 2c 20 5b 5d 2c 20 74 68 (thenPos, [], th
1190: 29 2c 0a 09 09 09 09 6e 65 77 20 46 75 6e 4c 69 ),.....new FunLi
11a0: 74 65 72 61 6c 28 65 6c 73 65 50 6f 73 2c 20 5b teral(elsePos, [
11b0: 5d 2c 20 65 6c 29 0a 09 09 09 29 3b 0a 09 09 7d ], el)....);...}
11c0: 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 22 66 ...if( tryEat("f
11d0: 75 6e 22 29 20 7c 7c 20 74 72 79 45 61 74 28 22 un") || tryEat("
11e0: ce bb 22 29 20 29 0a 09 09 7b 0a 09 09 09 65 61 ..") )...{....ea
11f0: 74 28 22 28 22 2c 20 22 61 66 74 65 72 20 66 75 t("(", "after fu
1200: 6e 22 29 3b 0a 09 09 09 73 74 72 69 6e 67 5b 5d n");....string[]
1210: 20 70 61 72 61 6d 73 3b 0a 09 09 09 77 68 69 6c params;....whil
1220: 65 28 20 21 74 72 79 45 61 74 28 22 29 22 29 20 e( !tryEat(")")
1230: 29 0a 09 09 09 7b 0a 09 09 09 09 70 61 72 61 6d )....{.....param
1240: 73 20 7e 3d 20 65 61 74 49 64 28 22 66 6f 72 20 s ~= eatId("for
1250: 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 function paramet
1260: 65 72 22 29 3b 0a 09 09 09 09 69 66 28 20 21 74 er");.....if( !t
1270: 72 79 45 61 74 28 22 2c 22 29 20 29 20 7b 0a 09 ryEat(",") ) {..
1280: 09 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 ....eat(")", "af
1290: 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 ter function par
12a0: 61 6d 65 74 65 72 73 22 29 3b 0a 09 09 09 09 09 ameters");......
12b0: 62 72 65 61 6b 3b 0a 09 09 09 09 7d 0a 09 09 09 break;.....}....
12c0: 7d 0a 09 09 09 65 61 74 28 22 7b 22 2c 20 22 61 }....eat("{", "a
12d0: 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 fter function pa
12e0: 72 61 6d 65 74 65 72 73 22 29 3b 0d 0a 09 09 09 rameters");.....
12f0: 61 75 74 6f 20 66 75 6e 62 6f 64 79 20 3d 20 42 auto funbody = B
1300: 6f 64 79 28 29 3b 0a 09 09 09 65 61 74 28 22 7d ody();....eat("}
1310: 22 2c 20 22 61 66 74 65 72 20 66 75 6e 63 74 69 ", "after functi
1320: 6f 6e 20 62 6f 64 79 22 29 3b 0d 0a 09 09 09 72 on body");.....r
1330: 65 74 75 72 6e 20 6e 65 77 20 46 75 6e 4c 69 74 eturn new FunLit
1340: 65 72 61 6c 28 70 6f 73 2c 20 70 61 72 61 6d 73 eral(pos, params
1350: 2c 20 66 75 6e 62 6f 64 79 29 3b 0a 09 09 7d 0a , funbody);...}.
1360: 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 ..scope(exit) le
1370: 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09 09 72 65 x.popFront;...re
1380: 74 75 72 6e 20 6e 65 77 20 56 61 72 45 78 70 72 turn new VarExpr
1390: 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6c 65 78 2e ession(pos, lex.
13a0: 66 72 6f 6e 74 2e 73 74 72 29 3b 0a 09 7d 0a 0a front.str);..}..
13b0: 70 72 69 76 61 74 65 3a 0a 09 4c 65 78 65 72 20 private:..Lexer
13c0: 6c 65 78 3b 0d 0a 09 74 68 69 73 28 4c 65 78 65 lex;...this(Lexe
13d0: 72 20 6c 65 78 29 20 7b 20 74 68 69 73 2e 6c 65 r lex) { this.le
13e0: 78 20 3d 20 6c 65 78 3b 20 7d 0d 0a 0a 09 76 6f x = lex; }....vo
13f0: 69 64 20 65 61 74 28 73 74 72 69 6e 67 20 6b 77 id eat(string kw
1400: 64 2c 20 6c 61 7a 79 20 73 74 72 69 6e 67 20 6d d, lazy string m
1410: 73 67 29 0a 09 7b 0a 09 09 69 66 28 20 21 74 72 sg)..{...if( !tr
1420: 79 45 61 74 28 6b 77 64 29 20 29 0a 09 09 09 74 yEat(kwd) )....t
1430: 68 72 6f 77 20 63 72 65 61 74 65 45 78 63 65 70 hrow createExcep
1440: 74 69 6f 6e 28 6c 65 78 2c 20 22 27 22 7e 6b 77 tion(lex, "'"~kw
1450: 64 7e 22 27 20 69 73 20 65 78 70 65 63 74 65 64 d~"' is expected
1460: 20 22 7e 6d 73 67 7e 22 20 62 75 74 20 27 22 0a "~msg~" but '".
1470: 09 09 09 09 7e 28 6c 65 78 2e 65 6d 70 74 79 20 ....~(lex.empty
1480: 3f 20 22 45 4f 46 22 20 3a 20 6c 65 78 2e 66 72 ? "EOF" : lex.fr
1490: 6f 6e 74 2e 73 74 72 29 7e 22 27 20 6f 63 63 75 ont.str)~"' occu
14a0: 72 65 64 22 29 3b 0a 09 7d 0a 0a 09 62 6f 6f 6c red");..}...bool
14b0: 20 74 72 79 45 61 74 28 73 74 72 69 6e 67 20 6b tryEat(string k
14c0: 77 64 29 0a 09 7b 0a 09 09 69 66 28 20 6c 65 78 wd)..{...if( lex
14d0: 2e 65 6d 70 74 79 20 7c 7c 20 6c 65 78 2e 66 72 .empty || lex.fr
14e0: 6f 6e 74 2e 71 75 6f 74 65 64 20 7c 7c 20 6c 65 ont.quoted || le
14f0: 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 6b 77 64 x.front.str!=kwd
1500: 20 29 0a 09 09 09 72 65 74 75 72 6e 20 66 61 6c )....return fal
1510: 73 65 3b 0a 09 09 6c 65 78 2e 70 6f 70 46 72 6f se;...lex.popFro
1520: 6e 74 3b 0a 09 09 72 65 74 75 72 6e 20 74 72 75 nt;...return tru
1530: 65 3b 0a 09 7d 0a 0d 0a 09 73 74 72 69 6e 67 20 e;..}....string
1540: 65 61 74 49 64 28 6c 61 7a 79 20 73 74 72 69 6e eatId(lazy strin
1550: 67 20 6d 73 67 29 0d 0a 09 7b 0d 0a 09 09 69 66 g msg)...{....if
1560: 28 20 6c 65 78 2e 65 6d 70 74 79 20 7c 7c 20 6c ( lex.empty || l
1570: 65 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 ex.front.quoted
1580: 29 0d 0a 09 09 09 74 68 72 6f 77 20 63 72 65 61 ).....throw crea
1590: 74 65 45 78 63 65 70 74 69 6f 6e 28 6c 65 78 2c teException(lex,
15a0: 20 22 69 64 65 6e 74 69 66 69 65 72 20 69 73 20 "identifier is
15b0: 65 78 70 65 63 74 65 64 20 62 75 74 20 6e 6f 74 expected but not
15c0: 20 66 6f 75 6e 64 20 22 7e 6d 73 67 29 3b 0d 0a found "~msg);..
15d0: 09 09 73 74 72 69 6e 67 20 69 64 20 3d 20 6c 65 ..string id = le
15e0: 78 2e 66 72 6f 6e 74 2e 73 74 72 3b 0d 0a 09 09 x.front.str;....
15f0: 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 lex.popFront;...
1600: 09 72 65 74 75 72 6e 20 69 64 3b 0d 0a 09 7d 0d .return id;...}.
1610: 0a 0a 09 62 6f 6f 6c 20 69 73 4e 75 6d 62 65 72 ...bool isNumber
1620: 28 73 74 72 69 6e 67 20 73 29 0a 09 7b 0a 09 09 (string s)..{...
1630: 72 65 74 75 72 6e 20 66 69 6e 64 21 28 60 61 3c return find!(`a<
1640: 27 30 27 7c 7c 27 39 27 3c 61 60 29 28 73 29 2e '0'||'9'<a`)(s).
1650: 65 6d 70 74 79 3b 0a 09 7d 0d 0a 0d 0a 09 41 53 empty;..}.....AS
1660: 54 20 64 6f 4e 6f 74 68 69 6e 67 45 78 70 72 65 T doNothingExpre
1670: 73 73 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 72 ssion()...{....r
1680: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 4c 69 74 eturn new IntLit
1690: 65 72 61 6c 28 6c 65 78 2e 65 6d 70 74 79 3f 6e eral(lex.empty?n
16a0: 75 6c 6c 3a 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f ull:lex.front.po
16b0: 73 2c 20 42 69 67 49 6e 74 28 31 37 38 29 29 3b s, BigInt(178));
16c0: 0d 0a 09 7d 0a 7d 0a 0a 75 6e 69 74 74 65 73 74 ...}.}..unittest
16d0: 0a 7b 0d 0a 09 6d 69 78 69 6e 20 45 61 73 79 41 .{...mixin EasyA
16e0: 53 54 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 ST;.....assert_e
16f0: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 q(parseString(`1
1700: 32 33 60 29 2c 20 69 6e 74 6c 28 31 32 33 29 29 23`), intl(123))
1710: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
1720: 72 73 65 53 74 72 69 6e 67 28 60 22 66 6f 6f 22 rseString(`"foo"
1730: 60 29 2c 20 73 74 72 6c 28 22 66 6f 6f 22 29 29 `), strl("foo"))
1740: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
1750: 72 73 65 53 74 72 69 6e 67 28 60 66 75 6e 28 29 rseString(`fun()
1760: 7b 31 7d 60 29 2c 20 66 75 6e 28 5b 5d 2c 69 6e {1}`), fun([],in
1770: 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(1)));...asser
1780: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
1790: 28 60 66 75 6e 28 78 29 7b 31 7d 60 29 2c 20 66 (`fun(x){1}`), f
17a0: 75 6e 28 5b 22 78 22 5d 2c 69 6e 74 6c 28 31 29 un(["x"],intl(1)
17b0: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
17c0: 70 61 72 73 65 53 74 72 69 6e 67 28 60 ce bb 28 parseString(`..(
17d0: 29 7b 31 7d 60 29 2c 20 66 75 6e 28 5b 5d 2c 69 ){1}`), fun([],i
17e0: 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 ntl(1)));...asse
17f0: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
1800: 67 28 60 ce bb 28 78 29 7b 31 7d 60 29 2c 20 66 g(`..(x){1}`), f
1810: 75 6e 28 5b 22 78 22 5d 2c 69 6e 74 6c 28 31 29 un(["x"],intl(1)
1820: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
1830: 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 3b 32 parseString(`1;2
1840: 60 29 2c 20 6c 65 74 28 22 5f 22 2c 22 40 76 61 `), let("_","@va
1850: 6c 22 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 l",intl(1),intl(
1860: 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 2)));...assert_e
1870: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 q(parseString(`1
1880: 3b 32 3b 60 29 2c 20 6c 65 74 28 22 5f 22 2c 22 ;2;`), let("_","
1890: 40 76 61 6c 22 2c 69 6e 74 6c 28 31 29 2c 69 6e @val",intl(1),in
18a0: 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(2)));...asser
18b0: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
18c0: 28 60 6c 65 74 20 78 3d 31 3b 32 60 29 2c 20 6c (`let x=1;2`), l
18d0: 65 74 28 22 78 22 2c 22 40 76 61 6c 22 2c 69 6e et("x","@val",in
18e0: 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b tl(1),intl(2)));
18f0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
1900: 73 65 53 74 72 69 6e 67 28 60 76 61 72 20 78 3d seString(`var x=
1910: 31 3b 32 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c 1;2;`), let("x",
1920: 22 40 76 61 6c 22 2c 69 6e 74 6c 28 31 29 2c 69 "@val",intl(1),i
1930: 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 ntl(2)));...asse
1940: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
1950: 67 28 60 64 65 66 20 78 3d 31 60 29 2c 20 6c 65 g(`def x=1`), le
1960: 74 28 22 78 22 2c 22 40 76 61 6c 22 2c 69 6e 74 t("x","@val",int
1970: 6c 28 31 29 2c 76 61 72 28 22 78 22 29 29 29 3b l(1),var("x")));
1980: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
1990: 73 65 53 74 72 69 6e 67 28 60 40 76 61 6c 20 78 seString(`@val x
19a0: 3d 31 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 =1;`), let("x","
19b0: 40 76 61 6c 22 2c 69 6e 74 6c 28 31 29 2c 76 61 @val",intl(1),va
19c0: 72 28 22 78 22 29 29 29 3b 0d 0a 09 61 73 73 65 r("x")));...asse
19d0: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
19e0: 67 28 60 40 74 79 70 20 78 3d 22 23 69 6e 74 22 g(`@typ x="#int"
19f0: 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 40 74 ;`), let("x","@t
1a00: 79 70 22 2c 73 74 72 6c 28 22 23 69 6e 74 22 29 yp",strl("#int")
1a10: 2c 76 61 72 28 22 78 22 29 29 29 3b 0d 0a 09 61 ,var("x")));...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 60 66 28 31 2c 32 29 60 29 2c 20 ring(`f(1,2)`),
1a40: 63 61 6c 6c 28 76 61 72 28 22 66 22 29 2c 69 6e call(var("f"),in
1a50: 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b tl(1),intl(2)));
1a60: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
1a70: 73 65 53 74 72 69 6e 67 28 60 69 66 28 31 29 7b seString(`if(1){
1a80: 32 7d 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2}`), call(var("
1a90: 69 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e if"),intl(1),fun
1aa0: 28 5b 5d 2c 69 6e 74 6c 28 32 29 29 2c 66 75 6e ([],intl(2)),fun
1ab0: 28 5b 5d 2c 69 6e 74 6c 28 31 37 38 29 29 29 29 ([],intl(178))))
1ac0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
1ad0: 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 31 29 rseString(`if(1)
1ae0: 7b 32 7d 65 6c 73 65 7b 33 7d 60 29 2c 20 63 61 {2}else{3}`), ca
1af0: 6c 6c 28 76 61 72 28 22 69 66 22 29 2c 69 6e 74 ll(var("if"),int
1b00: 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c l(1),fun([],intl
1b10: 28 32 29 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c (2)),fun([],intl
1b20: 28 33 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 (3))));...assert
1b30: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
1b40: 60 69 66 28 31 29 7b 7d 65 6c 73 65 7b 33 7d 28 `if(1){}else{3}(
1b50: 29 28 29 60 29 2c 0d 0a 09 09 63 61 6c 6c 28 63 )()`),....call(c
1b60: 61 6c 6c 28 63 61 6c 6c 28 76 61 72 28 22 69 66 all(call(var("if
1b70: 22 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e 28 5b "),intl(1),fun([
1b80: 5d 2c 69 6e 74 6c 28 31 37 38 29 29 2c 66 75 6e ],intl(178)),fun
1b90: 28 5b 5d 2c 69 6e 74 6c 28 33 29 29 29 29 29 29 ([],intl(3))))))
1ba0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
1bb0: 72 73 65 53 74 72 69 6e 67 28 60 31 2b 32 2a 33 rseString(`1+2*3
1bc0: 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b 22 `), call(var("+"
1bd0: 29 2c 69 6e 74 6c 28 31 29 2c 63 61 6c 6c 28 76 ),intl(1),call(v
1be0: 61 72 28 22 2a 22 29 2c 69 6e 74 6c 28 32 29 2c ar("*"),intl(2),
1bf0: 69 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 09 61 73 intl(3))));...as
1c00: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
1c10: 69 6e 67 28 60 28 31 2b 32 29 2a 33 60 29 2c 20 ing(`(1+2)*3`),
1c20: 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c 63 61 call(var("*"),ca
1c30: 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 6e 74 6c ll(var("+"),intl
1c40: 28 31 29 2c 69 6e 74 6c 28 32 29 29 2c 69 6e 74 (1),intl(2)),int
1c50: 6c 28 33 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 l(3)));...assert
1c60: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
1c70: 60 31 2a 28 32 2b 33 29 60 29 2c 20 63 61 6c 6c `1*(2+3)`), call
1c80: 28 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c 28 31 (var("*"),intl(1
1c90: 29 2c 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c ),call(var("+"),
1ca0: 69 6e 74 6c 28 32 29 2c 69 6e 74 6c 28 33 29 29 intl(2),intl(3))
1cb0: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
1cc0: 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2a 32 parseString(`1*2
1cd0: 2b 33 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 +3`), call(var("
1ce0: 2b 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 2a 22 +"),call(var("*"
1cf0: 29 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 ),intl(1),intl(2
1d00: 29 29 2c 69 6e 74 6c 28 33 29 29 29 3b 0d 0a 0d )),intl(3)));...
1d10: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
1d20: 65 53 74 72 69 6e 67 28 60 0d 0a 09 09 6c 65 74 eString(`....let
1d30: 20 78 20 3d 20 31 30 30 3b 20 23 63 6f 6d 6d 65 x = 100; #comme
1d40: 6e 74 0d 0a 09 09 6c 65 74 20 79 20 3d 20 32 30 nt....let y = 20
1d50: 30 3b 20 23 63 6f 6d 6d 65 6e 74 21 21 21 21 21 0; #comment!!!!!
1d60: 0d 0a 09 09 09 78 2b 79 0d 0a 09 60 29 2c 0d 0a .....x+y...`),..
1d70: 09 09 6c 65 74 28 22 78 22 2c 20 22 40 76 61 6c ..let("x", "@val
1d80: 22 2c 20 69 6e 74 6c 28 31 30 30 29 2c 20 6c 65 ", intl(100), le
1d90: 74 28 22 79 22 2c 20 22 40 76 61 6c 22 2c 20 69 t("y", "@val", i
1da0: 6e 74 6c 28 32 30 30 29 2c 20 63 61 6c 6c 28 76 ntl(200), call(v
1db0: 61 72 28 22 2b 22 29 2c 20 76 61 72 28 22 78 22 ar("+"), var("x"
1dc0: 29 2c 20 76 61 72 28 22 79 22 29 29 29 29 0d 0a ), var("y"))))..
1dd0: 09 29 3b 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 .);....assert_eq
1de0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 0d 0a (parseString(`..
1df0: 09 09 76 61 72 20 66 61 63 20 3d 20 66 75 6e 28 ..var fac = fun(
1e00: 78 29 7b 20 69 66 28 78 20 3c 3d 20 31 29 20 7b x){ if(x <= 1) {
1e10: 31 7d 20 65 6c 73 65 20 7b 78 2a 66 61 63 28 78 1} else {x*fac(x
1e20: 2d 31 29 7d 20 7d 3b 0d 0a 09 09 66 61 63 28 31 -1)} };....fac(1
1e30: 30 29 0a 09 60 29 2c 0d 0a 09 09 6c 65 74 28 22 0)..`),....let("
1e40: 66 61 63 22 2c 20 22 40 76 61 6c 22 2c 20 66 75 fac", "@val", fu
1e50: 6e 28 5b 22 78 22 5d 2c 0d 0a 09 09 09 63 61 6c n(["x"],.....cal
1e60: 6c 28 76 61 72 28 22 69 66 22 29 2c 0d 0a 09 09 l(var("if"),....
1e70: 09 09 63 61 6c 6c 28 76 61 72 28 22 3c 3d 22 29 ..call(var("<=")
1e80: 2c 20 76 61 72 28 22 78 22 29 2c 20 69 6e 74 6c , var("x"), intl
1e90: 28 31 29 29 2c 0d 0a 09 09 09 09 66 75 6e 28 5b (1)),......fun([
1ea0: 5d 2c 20 69 6e 74 6c 28 31 29 29 2c 0d 0a 09 09 ], intl(1)),....
1eb0: 09 09 66 75 6e 28 5b 5d 2c 20 63 61 6c 6c 28 76 ..fun([], call(v
1ec0: 61 72 28 22 2a 22 29 2c 20 76 61 72 28 22 78 22 ar("*"), var("x"
1ed0: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 66 61 63 ), call(var("fac
1ee0: 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 2d 22 29 "),call(var("-")
1ef0: 2c 76 61 72 28 22 78 22 29 2c 69 6e 74 6c 28 31 ,var("x"),intl(1
1f00: 29 29 29 29 29 0d 0a 09 09 09 29 29 2c 0d 0a 09 ))))).....)),...
1f10: 09 09 63 61 6c 6c 28 76 61 72 28 22 66 61 63 22 ..call(var("fac"
1f20: 29 2c 69 6e 74 6c 28 31 30 29 29 0d 0a 09 09 29 ),intl(10))....)
1f30: 0d 0a 09 29 3b 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 ...);.}....unitt
1f40: 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 5f est..{...assert_
1f50: 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 70 throw!ParseExcep
1f60: 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e 67 tion(parseString
1f70: 28 60 31 2b 60 29 29 3b 0d 0a 09 61 73 73 65 72 (`1+`));...asser
1f80: 74 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 t_throw!ParseExc
1f90: 65 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 eption(parseStri
1fa0: 6e 67 28 60 31 2b 32 7d 60 29 29 3b 0d 0a 09 61 ng(`1+2}`));...a
1fb0: 73 73 65 72 74 5f 74 68 72 6f 77 21 50 61 72 73 ssert_throw!Pars
1fc0: 65 45 78 63 65 70 74 69 6f 6e 28 70 61 72 73 65 eException(parse
1fd0: 53 74 72 69 6e 67 28 60 6c 65 74 20 22 78 22 60 String(`let "x"`
1fe0: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 ));...assert_thr
1ff0: 6f 77 21 50 61 72 73 65 45 78 63 65 70 74 69 6f ow!ParseExceptio
2000: 6e 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 76 n(parseString(`v
2010: 61 72 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f ar`));...assert_
2020: 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 70 throw!ParseExcep
2030: 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e 67 tion(parseString
2040: 28 60 40 76 61 6c 20 78 20 3d 3d 60 29 29 3b 0d (`@val x ==`));.
2050: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 50 ..assert_throw!P
2060: 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 61 arseException(pa
2070: 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 29 7b rseString(`if(){
2080: 31 7d 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 1}`));...assert_
2090: 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 70 throw!ParseExcep
20a0: 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e 67 tion(parseString
20b0: 28 60 66 28 60 29 29 3b 0d 0a 7d 0d 0a (`f(`));..}..