0000: 2f 2a 2a 0a 20 2a 20 41 75 74 68 6f 72 73 3a 20 /**. * Authors:
0010: 6b 2e 69 6e 61 62 61 0a 20 2a 20 4c 69 63 65 6e k.inaba. * Licen
0020: 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38 32 20 se: NYSL 0.9982
0030: 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f http://www.kmono
0040: 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0a 20 2a 0a 20 s.net/nysl/. *.
0050: 2a 20 50 61 72 73 65 72 20 66 6f 72 20 50 6f 6c * Parser for Pol
0060: 65 6d 79 20 70 72 6f 67 72 61 6d 6d 69 6e 67 20 emy programming
0070: 6c 61 6e 67 75 61 67 65 0a 20 2a 2f 0a 6d 6f 64 language. */.mod
0080: 75 6c 65 20 70 6f 6c 65 6d 79 2e 70 61 72 73 65 ule polemy.parse
0090: 3b 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e ;.import polemy.
00a0: 5f 63 6f 6d 6d 6f 6e 3b 0a 69 6d 70 6f 72 74 20 _common;.import
00b0: 70 6f 6c 65 6d 79 2e 6c 65 78 3b 0a 69 6d 70 6f polemy.lex;.impo
00c0: 72 74 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0a 0d rt polemy.ast;..
00d0: 0a 2f 2f 2f 20 45 78 63 65 70 74 69 6f 6e 20 66 ./// Exception f
00e0: 72 6f 6d 20 74 68 69 73 20 6d 6f 64 75 6c 65 0d rom this module.
00f0: 0a 0a 63 6c 61 73 73 20 50 61 72 73 65 45 78 63 ..class ParseExc
0100: 65 70 74 69 6f 6e 20 3a 20 45 78 63 65 70 74 69 eption : Excepti
0110: 6f 6e 0a 7b 0a 09 63 6f 6e 73 74 20 4c 65 78 50 on.{..const LexP
0120: 6f 73 69 74 69 6f 6e 20 70 6f 73 3b 0d 0a 0d 0a osition pos;....
0130: 09 74 68 69 73 28 20 63 6f 6e 73 74 20 4c 65 78 .this( const Lex
0140: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 73 74 Position pos, st
0150: 72 69 6e 67 20 6d 73 67 2c 20 73 74 72 69 6e 67 ring msg, string
0160: 20 66 69 6c 65 3d 6e 75 6c 6c 2c 20 73 69 7a 65 file=null, size
0170: 5f 74 20 6c 69 6e 65 3d 30 2c 20 54 68 72 6f 77 _t line=0, Throw
0180: 61 62 6c 65 20 6e 65 78 74 3d 6e 75 6c 6c 20 29 able next=null )
0190: 0d 0a 09 09 7b 20 73 75 70 65 72 28 73 70 72 69 ....{ super(spri
01a0: 6e 74 66 21 22 5b 25 73 5d 20 25 73 22 28 70 6f ntf!"[%s] %s"(po
01b0: 73 2c 20 6d 73 67 29 2c 20 66 69 6c 65 2c 20 6c s, msg), file, l
01c0: 69 6e 65 2c 20 6e 65 78 74 29 3b 20 74 68 69 73 ine, next); this
01d0: 2e 70 6f 73 20 3d 20 70 6f 73 3b 20 7d 0d 0a 7d .pos = pos; }..}
01e0: 0a 0d 0a 70 72 69 76 61 74 65 20 61 75 74 6f 20 ...private auto
01f0: 63 72 65 61 74 65 45 78 63 65 70 74 69 6f 6e 28 createException(
0200: 4c 65 78 65 72 29 28 4c 65 78 65 72 20 6c 65 78 Lexer)(Lexer lex
0210: 2c 20 73 74 72 69 6e 67 20 6d 73 67 29 0d 0a 09 , string msg)...
0220: 7b 20 72 65 74 75 72 6e 20 6e 65 77 20 50 61 72 { return new Par
0230: 73 65 45 78 63 65 70 74 69 6f 6e 28 6c 65 78 2e seException(lex.
0240: 65 6d 70 74 79 3f 6e 75 6c 6c 3a 6c 65 78 2e 66 empty?null:lex.f
0250: 72 6f 6e 74 2e 70 6f 73 2c 20 6d 73 67 29 3b 20 ront.pos, msg);
0260: 7d 0d 0a 0a 2f 2f 2f 20 45 6e 74 72 79 20 70 6f }.../// Entry po
0270: 69 6e 74 73 20 6f 66 20 74 68 69 73 20 6d 6f 64 ints of this mod
0280: 75 6c 65 0d 0a 0d 0a 61 75 74 6f 20 70 61 72 73 ule....auto pars
0290: 65 53 74 72 69 6e 67 28 53 2c 20 54 2e 2e 2e 29 eString(S, T...)
02a0: 28 53 20 73 74 72 2c 20 54 20 66 6e 5f 6c 6e 5f (S str, T fn_ln_
02b0: 63 6e 29 0d 0a 09 7b 20 72 65 74 75 72 6e 20 70 cn)...{ return p
02c0: 61 72 73 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 arserFromString(
02d0: 73 74 72 2c 20 66 6e 5f 6c 6e 5f 63 6e 29 2e 70 str, fn_ln_cn).p
02e0: 61 72 73 65 28 29 3b 20 7d 0d 0a 0d 0a 61 75 74 arse(); }....aut
02f0: 6f 20 70 61 72 73 65 46 69 6c 65 28 53 2c 20 54 o parseFile(S, T
0300: 2e 2e 2e 29 28 53 20 66 69 6c 65 6e 61 6d 65 2c ...)(S filename,
0310: 20 54 20 6c 6e 5f 63 6e 29 0d 0a 09 7b 20 72 65 T ln_cn)...{ re
0320: 74 75 72 6e 20 70 61 72 73 65 72 46 72 6f 6d 46 turn parserFromF
0330: 69 6c 65 28 66 69 6c 65 6e 61 6d 65 2c 20 6c 6e ile(filename, ln
0340: 5f 63 6e 29 2e 70 61 72 73 65 28 29 3b 20 7d 0d _cn).parse(); }.
0350: 0a 0d 0a 2f 2f 2f 20 4e 61 6d 65 64 20 43 6f 6e .../// Named Con
0360: 73 74 72 75 63 74 6f 72 20 6f 66 20 50 61 72 73 structor of Pars
0370: 65 72 0a 0d 0a 70 72 69 76 61 74 65 20 61 75 74 er...private aut
0380: 6f 20 70 61 72 73 65 72 46 72 6f 6d 4c 65 78 65 o parserFromLexe
0390: 72 28 4c 65 78 65 72 29 28 4c 65 78 65 72 20 6c r(Lexer)(Lexer l
03a0: 65 78 29 0a 09 7b 20 72 65 74 75 72 6e 20 6e 65 ex)..{ return ne
03b0: 77 20 50 61 72 73 65 72 21 4c 65 78 65 72 28 6c w Parser!Lexer(l
03c0: 65 78 29 3b 20 7d 0a 0a 70 72 69 76 61 74 65 20 ex); }..private
03d0: 61 75 74 6f 20 70 61 72 73 65 72 46 72 6f 6d 53 auto parserFromS
03e0: 74 72 69 6e 67 28 54 2e 2e 2e 29 28 54 20 70 61 tring(T...)(T pa
03f0: 72 61 6d 73 29 0a 09 7b 20 72 65 74 75 72 6e 20 rams)..{ return
0400: 70 61 72 73 65 72 46 72 6f 6d 4c 65 78 65 72 28 parserFromLexer(
0410: 70 6f 6c 65 6d 79 2e 6c 65 78 2e 6c 65 78 65 72 polemy.lex.lexer
0420: 46 72 6f 6d 53 74 72 69 6e 67 28 70 61 72 61 6d FromString(param
0430: 73 29 29 3b 20 7d 0a 0a 70 72 69 76 61 74 65 20 s)); }..private
0440: 61 75 74 6f 20 70 61 72 73 65 72 46 72 6f 6d 46 auto parserFromF
0450: 69 6c 65 28 54 2e 2e 2e 29 28 54 20 70 61 72 61 ile(T...)(T para
0460: 6d 73 29 0a 09 7b 20 72 65 74 75 72 6e 20 70 61 ms)..{ return pa
0470: 72 73 65 72 46 72 6f 6d 4c 65 78 65 72 28 70 6f rserFromLexer(po
0480: 6c 65 6d 79 2e 6c 65 78 2e 6c 65 78 65 72 46 72 lemy.lex.lexerFr
0490: 6f 6d 46 69 6c 65 28 70 61 72 61 6d 73 29 29 3b omFile(params));
04a0: 20 7d 0d 0a 0d 0a 2f 2f 2f 20 50 61 72 73 65 72 }..../// Parser
04b0: 0a 0a 70 72 69 76 61 74 65 20 63 6c 61 73 73 20 ..private class
04c0: 50 61 72 73 65 72 28 4c 65 78 65 72 29 0d 0a 09 Parser(Lexer)...
04d0: 69 66 28 20 69 73 46 6f 72 77 61 72 64 52 61 6e if( isForwardRan
04e0: 67 65 21 28 4c 65 78 65 72 29 20 26 26 20 69 73 ge!(Lexer) && is
04f0: 28 45 6c 65 6d 65 6e 74 54 79 70 65 21 28 4c 65 (ElementType!(Le
0500: 78 65 72 29 20 3d 3d 20 54 6f 6b 65 6e 29 20 29 xer) == Token) )
0510: 0a 7b 0d 0a 09 41 53 54 20 70 61 72 73 65 28 29 .{...AST parse()
0520: 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 65 20 3d 20 ..{....auto e =
0530: 42 6f 64 79 28 29 3b 0d 0a 09 09 69 66 28 20 21 Body();....if( !
0540: 6c 65 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 lex.empty ).....
0550: 74 68 72 6f 77 20 63 72 65 61 74 65 45 78 63 65 throw createExce
0560: 70 74 69 6f 6e 28 6c 65 78 2c 20 22 69 6e 70 75 ption(lex, "inpu
0570: 74 20 69 73 20 6e 6f 74 20 65 6e 64 65 64 20 62 t is not ended b
0580: 75 74 20 70 61 72 73 65 72 20 63 61 6d 65 20 74 ut parser came t
0590: 6f 20 74 68 65 20 65 6e 64 22 29 3b 0d 0a 09 09 o the end");....
05a0: 72 65 74 75 72 6e 20 65 3b 0d 0a 09 7d 0d 0a 0d return e;...}...
05b0: 0a 09 41 53 54 20 42 6f 64 79 28 29 0d 0a 09 7b ..AST Body()...{
05c0: 0d 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 ....if( lex.empt
05d0: 79 20 7c 7c 20 21 6c 65 78 2e 66 72 6f 6e 74 2e y || !lex.front.
05e0: 71 75 6f 74 65 64 20 26 26 20 6c 65 78 2e 66 72 quoted && lex.fr
05f0: 6f 6e 74 2e 73 74 72 3d 3d 22 7d 22 20 29 0d 0a ont.str=="}" )..
0600: 09 09 09 72 65 74 75 72 6e 20 64 6f 4e 6f 74 68 ...return doNoth
0610: 69 6e 67 45 78 70 72 65 73 73 69 6f 6e 28 29 3b ingExpression();
0620: 0d 0a 0d 0a 09 09 61 75 74 6f 20 70 6f 73 20 3d ......auto pos =
0630: 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d lex.front.pos;.
0640: 0a 09 09 73 74 72 69 6e 67 20 6b 77 64 20 3d 20 ...string kwd =
0650: 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 3b 0d 0a lex.front.str;..
0660: 09 09 69 66 28 20 74 72 79 45 61 74 28 22 6c 65 ..if( tryEat("le
0670: 74 22 29 20 7c 7c 20 74 72 79 45 61 74 28 22 76 t") || tryEat("v
0680: 61 72 22 29 20 7c 7c 20 74 72 79 45 61 74 28 22 ar") || tryEat("
0690: 64 65 66 22 29 20 7c 7c 20 74 72 79 45 61 74 28 def") || tryEat(
06a0: 22 40 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 "@") )....{.....
06b0: 69 66 28 20 6b 77 64 20 3d 3d 20 22 40 22 20 29 if( kwd == "@" )
06c0: 0d 0a 09 09 09 09 6b 77 64 20 7e 3d 20 65 61 74 ......kwd ~= eat
06d0: 49 64 28 22 61 66 74 65 72 20 40 22 29 3b 0d 0a Id("after @");..
06e0: 09 09 09 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 ...immutable Lex
06f0: 50 6f 73 69 74 69 6f 6e 20 76 61 72 70 6f 73 20 Position varpos
0700: 3d 20 28 6c 65 78 2e 65 6d 70 74 79 20 3f 20 6e = (lex.empty ? n
0710: 75 6c 6c 20 3a 20 6c 65 78 2e 66 72 6f 6e 74 2e ull : lex.front.
0720: 70 6f 73 29 3b 0d 0a 09 09 09 73 74 72 69 6e 67 pos);.....string
0730: 20 76 61 72 20 3d 20 65 61 74 49 64 28 22 61 66 var = eatId("af
0740: 74 65 72 20 22 7e 6b 77 64 29 3b 0d 0a 09 09 09 ter "~kwd);.....
0750: 65 61 74 28 22 3d 22 2c 20 22 61 66 74 65 72 20 eat("=", "after
0760: 22 7e 6b 77 64 29 3b 0d 0a 09 09 09 6b 77 64 20 "~kwd);.....kwd
0770: 3d 20 28 6b 77 64 5b 30 5d 3d 3d 27 40 27 20 3f = (kwd[0]=='@' ?
0780: 20 6b 77 64 20 3a 20 22 40 76 61 6c 22 29 3b 0d kwd : "@val");.
0790: 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 45 28 30 ....auto e = E(0
07a0: 29 3b 0d 0a 09 09 09 69 66 28 20 74 72 79 45 61 );.....if( tryEa
07b0: 74 28 22 3b 22 29 20 26 26 20 21 6c 65 78 2e 65 t(";") && !lex.e
07c0: 6d 70 74 79 20 26 26 20 28 6c 65 78 2e 66 72 6f mpty && (lex.fro
07d0: 6e 74 2e 71 75 6f 74 65 64 20 7c 7c 20 28 6c 65 nt.quoted || (le
07e0: 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 22 7d 22 x.front.str!="}"
07f0: 20 26 26 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 && lex.front.st
0800: 72 21 3d 22 29 22 29 29 20 29 0d 0a 09 09 09 09 r!=")")) )......
0810: 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 45 78 return new LetEx
0820: 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 76 61 pression(pos, va
0830: 72 2c 20 6b 77 64 2c 20 65 2c 20 42 6f 64 79 28 r, kwd, e, Body(
0840: 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 ));.....else....
0850: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 ..return new Let
0860: 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 Expression(pos,
0870: 76 61 72 2c 20 6b 77 64 2c 20 65 2c 20 6e 65 77 var, kwd, e, new
0880: 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 76 VarExpression(v
0890: 61 72 70 6f 73 2c 20 76 61 72 29 29 3b 0d 0a 09 arpos, var));...
08a0: 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 7b 0d .}....else....{.
08b0: 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 45 28 30 ....auto e = E(0
08c0: 29 3b 0d 0a 09 09 09 69 66 28 20 74 72 79 45 61 );.....if( tryEa
08d0: 74 28 22 3b 22 29 20 26 26 20 21 6c 65 78 2e 65 t(";") && !lex.e
08e0: 6d 70 74 79 20 26 26 20 28 6c 65 78 2e 66 72 6f mpty && (lex.fro
08f0: 6e 74 2e 71 75 6f 74 65 64 20 7c 7c 20 28 6c 65 nt.quoted || (le
0900: 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 22 7d 22 x.front.str!="}"
0910: 20 26 26 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 && lex.front.st
0920: 72 21 3d 22 29 22 29 29 20 29 0d 0a 09 09 09 09 r!=")")) )......
0930: 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 45 78 return new LetEx
0940: 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 22 5f pression(pos, "_
0950: 22 2c 20 22 40 76 61 6c 22 2c 20 65 2c 20 42 6f ", "@val", e, Bo
0960: 64 79 28 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d dy());.....else.
0970: 0a 09 09 09 09 72 65 74 75 72 6e 20 65 3b 0d 0a .....return e;..
0980: 09 09 7d 0d 0a 09 7d 0a 0a 09 2f 2f 20 5b 54 4f ..}...}...// [TO
0990: 44 4f 5d 20 6d 61 6b 65 20 63 75 73 74 6f 6d 69 DO] make customi
09a0: 7a 61 62 6c 65 20 66 72 6f 6d 20 70 72 6f 67 72 zable from progr
09b0: 61 6d 0a 09 73 74 61 74 69 63 20 69 6d 6d 75 74 am..static immut
09c0: 61 62 6c 65 20 73 74 72 69 6e 67 5b 5d 5b 5d 20 able string[][]
09d0: 6f 70 65 72 61 74 6f 72 5f 70 65 72 66 65 72 65 operator_perfere
09e0: 6e 63 65 73 20 3d 20 5b 0a 09 09 5b 22 7c 7c 22 nces = [...["||"
09f0: 5d 2c 0a 09 09 5b 22 26 26 22 5d 2c 0a 09 09 5b ],...["&&"],...[
0a00: 22 21 3d 22 5d 2c 0a 09 09 5b 22 3d 3d 22 5d 2c "!="],...["=="],
0a10: 0a 09 09 5b 22 3c 22 2c 22 3c 3d 22 2c 22 3e 22 ...["<","<=",">"
0a20: 2c 22 3e 3d 22 5d 2c 0a 09 09 5b 22 7c 22 5d 2c ,">="],...["|"],
0a30: 0a 09 09 5b 22 5e 22 5d 2c 0a 09 09 5b 22 26 22 ...["^"],...["&"
0a40: 5d 2c 0a 09 09 5b 22 3c 3c 22 2c 20 22 3e 3e 22 ],...["<<", ">>"
0a50: 5d 2c 0a 09 09 5b 22 2b 22 2c 22 2d 22 5d 2c 0d ],...["+","-"],.
0a60: 0a 09 09 5b 22 7e 22 5d 2c 0d 0a 09 09 5b 22 2a ...["~"],....["*
0a70: 22 2c 22 2f 22 2c 22 25 22 5d 2c 0d 0a 09 09 5b ","/","%"],....[
0a80: 22 5e 5e 22 5d 0d 0a 09 5d 3b 0a 0a 09 41 53 54 "^^"]...];...AST
0a90: 20 45 28 69 6e 74 20 6c 65 76 65 6c 29 0a 09 7b E(int level)..{
0aa0: 0a 09 09 69 66 28 20 6f 70 65 72 61 74 6f 72 5f ...if( operator_
0ab0: 70 65 72 66 65 72 65 6e 63 65 73 2e 6c 65 6e 67 perferences.leng
0ac0: 74 68 20 3c 3d 20 6c 65 76 65 6c 20 29 0a 09 09 th <= level )...
0ad0: 09 72 65 74 75 72 6e 20 46 75 6e 63 61 6c 6c 28 .return Funcall(
0ae0: 29 3b 0a 09 09 65 6c 73 65 0a 09 09 7b 0a 09 09 );...else...{...
0af0: 09 61 75 74 6f 20 6f 70 73 20 3d 20 6f 70 65 72 .auto ops = oper
0b00: 61 74 6f 72 5f 70 65 72 66 65 72 65 6e 63 65 73 ator_perferences
0b10: 5b 6c 65 76 65 6c 5d 3b 0a 09 09 09 61 75 74 6f [level];....auto
0b20: 20 65 20 3d 20 45 28 6c 65 76 65 6c 2b 31 29 3b e = E(level+1);
0b30: 0a 09 09 73 65 71 3a 0a 09 09 09 77 68 69 6c 65 ...seq:....while
0b40: 28 20 21 6c 65 78 2e 65 6d 70 74 79 20 29 0a 09 ( !lex.empty )..
0b50: 09 09 7b 0a 09 09 09 09 61 75 74 6f 20 70 6f 73 ..{.....auto pos
0b60: 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 = lex.front.pos
0b70: 3b 0a 09 09 09 09 66 6f 72 65 61 63 68 28 6f 70 ;.....foreach(op
0b80: 3b 20 6f 70 73 29 0a 09 09 09 09 09 69 66 28 20 ; ops)......if(
0b90: 74 72 79 45 61 74 28 6f 70 29 20 29 0a 09 09 09 tryEat(op) )....
0ba0: 09 09 7b 0a 09 09 09 09 09 09 65 20 3d 20 6e 65 ..{.......e = ne
0bb0: 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 w FuncallExpress
0bc0: 69 6f 6e 28 65 2e 70 6f 73 2c 20 6e 65 77 20 56 ion(e.pos, new V
0bd0: 61 72 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 arExpression(pos
0be0: 2c 20 6f 70 29 2c 20 65 2c 20 45 28 6c 65 76 65 , op), e, E(leve
0bf0: 6c 2b 31 29 29 3b 0a 09 09 09 09 09 09 63 6f 6e l+1));.......con
0c00: 74 69 6e 75 65 20 73 65 71 3b 0a 09 09 09 09 09 tinue seq;......
0c10: 7d 0a 09 09 09 09 62 72 65 61 6b 3b 0a 09 09 09 }.....break;....
0c20: 7d 0a 09 09 09 72 65 74 75 72 6e 20 65 3b 0a 09 }....return e;..
0c30: 09 7d 0a 09 7d 0a 0a 09 41 53 54 20 46 75 6e 63 .}..}...AST Func
0c40: 61 6c 6c 28 29 0a 09 7b 0a 09 09 61 75 74 6f 20 all()..{...auto
0c50: 65 20 3d 20 42 61 73 65 45 78 70 72 65 73 73 69 e = BaseExpressi
0c60: 6f 6e 28 29 3b 0a 09 09 77 68 69 6c 65 28 20 74 on();...while( t
0c70: 72 79 45 61 74 28 22 28 22 29 20 29 0a 09 09 7b ryEat("(") )...{
0c80: 0d 0a 09 09 09 41 53 54 5b 5d 20 61 72 67 73 3b .....AST[] args;
0c90: 0a 09 09 09 77 68 69 6c 65 28 20 21 74 72 79 45 ....while( !tryE
0ca0: 61 74 28 22 29 22 29 20 29 20 7b 0a 09 09 09 09 at(")") ) {.....
0cb0: 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d if( lex.empty ).
0cc0: 0a 09 09 09 09 09 74 68 72 6f 77 20 63 72 65 61 ......throw crea
0cd0: 74 65 45 78 63 65 70 74 69 6f 6e 28 6c 65 78 2c teException(lex,
0ce0: 22 55 6e 65 78 70 65 63 74 65 64 20 45 4f 46 22 "Unexpected EOF"
0cf0: 29 3b 0a 09 09 09 09 61 72 67 73 20 7e 3d 20 45 );.....args ~= E
0d00: 28 30 29 3b 0d 0a 09 09 09 09 69 66 28 20 21 74 (0);......if( !t
0d10: 72 79 45 61 74 28 22 2c 22 29 20 29 20 7b 0a 09 ryEat(",") ) {..
0d20: 09 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 ....eat(")", "af
0d30: 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 ter function par
0d40: 61 6d 65 74 65 72 73 22 29 3b 0a 09 09 09 09 09 ameters");......
0d50: 62 72 65 61 6b 3b 0a 09 09 09 09 7d 0a 09 09 09 break;.....}....
0d60: 7d 0a 09 09 09 65 20 3d 20 6e 65 77 20 46 75 6e }....e = new Fun
0d70: 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 65 callExpression(e
0d80: 2e 70 6f 73 2c 20 65 2c 20 61 72 67 73 29 3b 0a .pos, e, args);.
0d90: 09 09 7d 0a 09 09 72 65 74 75 72 6e 20 65 3b 0a ..}...return e;.
0da0: 09 7d 0a 0a 09 41 53 54 20 42 61 73 65 45 78 70 .}...AST BaseExp
0db0: 72 65 73 73 69 6f 6e 28 29 0a 09 7b 0a 09 09 69 ression()..{...i
0dc0: 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d 0a f( lex.empty )..
0dd0: 09 09 09 74 68 72 6f 77 20 63 72 65 61 74 65 45 ...throw createE
0de0: 78 63 65 70 74 69 6f 6e 28 6c 65 78 2c 20 22 52 xception(lex, "R
0df0: 65 61 63 68 65 64 20 45 4f 46 20 77 68 65 6e 20 eached EOF when
0e00: 74 72 69 65 64 20 74 6f 20 70 61 72 73 65 20 61 tried to parse a
0e10: 6e 20 65 78 70 72 65 73 73 69 6f 6e 22 29 3b 0d n expression");.
0e20: 0a 0d 0a 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 .....auto pos =
0e30: 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0a 09 lex.front.pos;..
0e40: 09 69 66 28 20 6c 65 78 2e 66 72 6f 6e 74 2e 71 .if( lex.front.q
0e50: 75 6f 74 65 64 20 29 0a 09 09 7b 0a 09 09 09 73 uoted )...{....s
0e60: 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 cope(exit) lex.p
0e70: 6f 70 46 72 6f 6e 74 3b 0a 09 09 09 72 65 74 75 opFront;....retu
0e80: 72 6e 20 6e 65 77 20 53 74 72 4c 69 74 65 72 61 rn new StrLitera
0e90: 6c 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f 6e 74 l(pos, lex.front
0ea0: 2e 73 74 72 29 3b 0a 09 09 7d 0a 09 09 69 66 28 .str);...}...if(
0eb0: 20 69 73 4e 75 6d 62 65 72 28 6c 65 78 2e 66 72 isNumber(lex.fr
0ec0: 6f 6e 74 2e 73 74 72 29 20 29 0a 09 09 7b 0a 09 ont.str) )...{..
0ed0: 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 ..scope(exit) le
0ee0: 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09 09 09 72 x.popFront;....r
0ef0: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 4c 69 74 eturn new IntLit
0f00: 65 72 61 6c 28 70 6f 73 2c 20 42 69 67 49 6e 74 eral(pos, BigInt
0f10: 28 63 61 73 74 28 73 74 72 69 6e 67 29 6c 65 78 (cast(string)lex
0f20: 2e 66 72 6f 6e 74 2e 73 74 72 29 29 3b 0a 09 09 .front.str));...
0f30: 7d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 22 }...if( tryEat("
0f40: 28 22 29 20 29 0a 09 09 7b 0a 09 09 09 61 75 74 (") )...{....aut
0f50: 6f 20 65 20 3d 20 42 6f 64 79 28 29 3b 0a 09 09 o e = Body();...
0f60: 09 65 61 74 28 22 29 22 2c 20 22 61 66 74 65 72 .eat(")", "after
0f70: 20 70 61 72 65 6e 74 68 65 73 69 7a 65 64 20 65 parenthesized e
0f80: 78 70 72 65 73 73 69 6f 6e 22 29 3b 0a 09 09 09 xpression");....
0f90: 72 65 74 75 72 6e 20 65 3b 0a 09 09 7d 0a 09 09 return e;...}...
0fa0: 69 66 28 20 74 72 79 45 61 74 28 22 69 66 22 29 if( tryEat("if")
0fb0: 20 29 0a 09 09 7b 0a 09 09 09 65 61 74 28 22 28 )...{....eat("(
0fc0: 22 2c 20 22 61 66 74 65 72 20 69 66 22 29 3b 0a ", "after if");.
0fd0: 09 09 09 61 75 74 6f 20 63 6f 6e 64 20 3d 20 45 ...auto cond = E
0fe0: 28 30 29 3b 0a 09 09 09 65 61 74 28 22 29 22 2c (0);....eat(")",
0ff0: 20 22 61 66 74 65 72 20 69 66 20 63 6f 6e 64 69 "after if condi
1000: 74 69 6f 6e 22 29 3b 0a 09 09 09 61 75 74 6f 20 tion");....auto
1010: 74 68 65 6e 50 6f 73 20 3d 20 6c 65 78 2e 66 72 thenPos = lex.fr
1020: 6f 6e 74 2e 70 6f 73 3b 0a 09 09 09 65 61 74 28 ont.pos;....eat(
1030: 22 7b 22 2c 20 22 61 66 74 65 72 20 69 66 20 63 "{", "after if c
1040: 6f 6e 64 69 74 69 6f 6e 22 29 3b 0a 09 09 09 61 ondition");....a
1050: 75 74 6f 20 74 68 20 3d 20 42 6f 64 79 28 29 3b uto th = Body();
1060: 0a 09 09 09 65 61 74 28 22 7d 22 2c 20 22 61 66 ....eat("}", "af
1070: 74 65 72 20 69 66 2d 74 68 65 6e 20 62 6f 64 79 ter if-then body
1080: 22 29 3b 0a 09 09 09 61 75 74 6f 20 65 6c 20 3d ");....auto el =
1090: 20 64 6f 4e 6f 74 68 69 6e 67 45 78 70 72 65 73 doNothingExpres
10a0: 73 69 6f 6e 28 29 3b 0a 09 09 09 61 75 74 6f 20 sion();....auto
10b0: 65 6c 73 65 50 6f 73 20 3d 20 28 6c 65 78 2e 65 elsePos = (lex.e
10c0: 6d 70 74 79 20 3f 20 4c 65 78 50 6f 73 69 74 69 mpty ? LexPositi
10d0: 6f 6e 2e 64 75 6d 6d 79 20 3a 20 6c 65 78 2e 66 on.dummy : lex.f
10e0: 72 6f 6e 74 2e 70 6f 73 29 3b 0a 09 09 09 69 66 ront.pos);....if
10f0: 28 20 74 72 79 45 61 74 28 22 65 6c 73 65 22 29 ( tryEat("else")
1100: 20 29 20 7b 0a 09 09 09 09 65 61 74 28 22 7b 22 ) {.....eat("{"
1110: 2c 20 22 61 66 74 65 72 20 65 6c 73 65 22 29 3b , "after else");
1120: 0a 09 09 09 09 65 6c 20 3d 20 42 6f 64 79 28 29 .....el = Body()
1130: 3b 0a 09 09 09 09 65 61 74 28 22 7d 22 2c 20 22 ;.....eat("}", "
1140: 61 66 74 65 72 20 65 6c 73 65 20 62 6f 64 79 22 after else body"
1150: 29 3b 0a 09 09 09 7d 0a 09 09 09 72 65 74 75 72 );....}....retur
1160: 6e 20 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 n new FuncallExp
1170: 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 0a 09 09 ression(pos, ...
1180: 09 09 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 ..new VarExpress
1190: 69 6f 6e 28 70 6f 73 2c 20 22 69 66 22 29 2c 0a ion(pos, "if"),.
11a0: 09 09 09 09 63 6f 6e 64 2c 0a 09 09 09 09 6e 65 ....cond,.....ne
11b0: 77 20 46 75 6e 4c 69 74 65 72 61 6c 28 74 68 65 w FunLiteral(the
11c0: 6e 50 6f 73 2c 20 5b 5d 2c 20 74 68 29 2c 0a 09 nPos, [], th),..
11d0: 09 09 09 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 ...new FunLitera
11e0: 6c 28 65 6c 73 65 50 6f 73 2c 20 5b 5d 2c 20 65 l(elsePos, [], e
11f0: 6c 29 0a 09 09 09 29 3b 0a 09 09 7d 0a 09 09 69 l)....);...}...i
1200: 66 28 20 74 72 79 45 61 74 28 22 66 75 6e 22 29 f( tryEat("fun")
1210: 20 7c 7c 20 74 72 79 45 61 74 28 22 83 c9 22 29 || tryEat("..")
1220: 20 29 0a 09 09 7b 0a 09 09 09 65 61 74 28 22 28 )...{....eat("(
1230: 22 2c 20 22 61 66 74 65 72 20 66 75 6e 22 29 3b ", "after fun");
1240: 0a 09 09 09 73 74 72 69 6e 67 5b 5d 20 70 61 72 ....string[] par
1250: 61 6d 73 3b 0a 09 09 09 77 68 69 6c 65 28 20 21 ams;....while( !
1260: 74 72 79 45 61 74 28 22 29 22 29 20 29 0a 09 09 tryEat(")") )...
1270: 09 7b 0a 09 09 09 09 70 61 72 61 6d 73 20 7e 3d .{.....params ~=
1280: 20 65 61 74 49 64 28 22 66 6f 72 20 66 75 6e 63 eatId("for func
1290: 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 22 29 tion parameter")
12a0: 3b 0a 09 09 09 09 69 66 28 20 21 74 72 79 45 61 ;.....if( !tryEa
12b0: 74 28 22 2c 22 29 20 29 20 7b 0a 09 09 09 09 09 t(",") ) {......
12c0: 65 61 74 28 22 29 22 2c 20 22 61 66 74 65 72 20 eat(")", "after
12d0: 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 function paramet
12e0: 65 72 73 22 29 3b 0a 09 09 09 09 09 62 72 65 61 ers");......brea
12f0: 6b 3b 0a 09 09 09 09 7d 0a 09 09 09 7d 0a 09 09 k;.....}....}...
1300: 09 65 61 74 28 22 7b 22 2c 20 22 61 66 74 65 72 .eat("{", "after
1310: 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 function parame
1320: 74 65 72 73 22 29 3b 0d 0a 09 09 09 61 75 74 6f ters");.....auto
1330: 20 66 75 6e 62 6f 64 79 20 3d 20 42 6f 64 79 28 funbody = Body(
1340: 29 3b 0a 09 09 09 65 61 74 28 22 7d 22 2c 20 22 );....eat("}", "
1350: 61 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 62 after function b
1360: 6f 64 79 22 29 3b 0d 0a 09 09 09 72 65 74 75 72 ody");.....retur
1370: 6e 20 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 6c n new FunLiteral
1380: 28 70 6f 73 2c 20 70 61 72 61 6d 73 2c 20 66 75 (pos, params, fu
1390: 6e 62 6f 64 79 29 3b 0a 09 09 7d 0a 09 09 73 63 nbody);...}...sc
13a0: 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f ope(exit) lex.po
13b0: 70 46 72 6f 6e 74 3b 0a 09 09 72 65 74 75 72 6e pFront;...return
13c0: 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 new VarExpressi
13d0: 6f 6e 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f 6e on(pos, lex.fron
13e0: 74 2e 73 74 72 29 3b 0a 09 7d 0a 0a 70 72 69 76 t.str);..}..priv
13f0: 61 74 65 3a 0a 09 4c 65 78 65 72 20 6c 65 78 3b ate:..Lexer lex;
1400: 0d 0a 09 74 68 69 73 28 4c 65 78 65 72 20 6c 65 ...this(Lexer le
1410: 78 29 20 7b 20 74 68 69 73 2e 6c 65 78 20 3d 20 x) { this.lex =
1420: 6c 65 78 3b 20 7d 0d 0a 0a 09 76 6f 69 64 20 65 lex; }....void e
1430: 61 74 28 73 74 72 69 6e 67 20 6b 77 64 2c 20 6c at(string kwd, l
1440: 61 7a 79 20 73 74 72 69 6e 67 20 6d 73 67 29 0a azy string msg).
1450: 09 7b 0a 09 09 69 66 28 20 21 74 72 79 45 61 74 .{...if( !tryEat
1460: 28 6b 77 64 29 20 29 0a 09 09 09 74 68 72 6f 77 (kwd) )....throw
1470: 20 63 72 65 61 74 65 45 78 63 65 70 74 69 6f 6e createException
1480: 28 6c 65 78 2c 20 22 27 22 7e 6b 77 64 7e 22 27 (lex, "'"~kwd~"'
1490: 20 69 73 20 65 78 70 65 63 74 65 64 20 22 7e 6d is expected "~m
14a0: 73 67 7e 22 20 62 75 74 20 27 22 0a 09 09 09 09 sg~" but '".....
14b0: 7e 28 6c 65 78 2e 65 6d 70 74 79 20 3f 20 22 45 ~(lex.empty ? "E
14c0: 4f 46 22 20 3a 20 6c 65 78 2e 66 72 6f 6e 74 2e OF" : lex.front.
14d0: 73 74 72 29 7e 22 27 20 6f 63 63 75 72 65 64 22 str)~"' occured"
14e0: 29 3b 0a 09 7d 0a 0a 09 62 6f 6f 6c 20 74 72 79 );..}...bool try
14f0: 45 61 74 28 73 74 72 69 6e 67 20 6b 77 64 29 0a Eat(string kwd).
1500: 09 7b 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 .{...if( lex.emp
1510: 74 79 20 7c 7c 20 6c 65 78 2e 66 72 6f 6e 74 2e ty || lex.front.
1520: 71 75 6f 74 65 64 20 7c 7c 20 6c 65 78 2e 66 72 quoted || lex.fr
1530: 6f 6e 74 2e 73 74 72 21 3d 6b 77 64 20 29 0a 09 ont.str!=kwd )..
1540: 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0a ..return false;.
1550: 09 09 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a ..lex.popFront;.
1560: 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b 0a 09 ..return true;..
1570: 7d 0a 0d 0a 09 73 74 72 69 6e 67 20 65 61 74 49 }....string eatI
1580: 64 28 6c 61 7a 79 20 73 74 72 69 6e 67 20 6d 73 d(lazy string ms
1590: 67 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 g)...{....if( le
15a0: 78 2e 65 6d 70 74 79 20 7c 7c 20 6c 65 78 2e 66 x.empty || lex.f
15b0: 72 6f 6e 74 2e 71 75 6f 74 65 64 20 29 0d 0a 09 ront.quoted )...
15c0: 09 09 74 68 72 6f 77 20 63 72 65 61 74 65 45 78 ..throw createEx
15d0: 63 65 70 74 69 6f 6e 28 6c 65 78 2c 20 22 69 64 ception(lex, "id
15e0: 65 6e 74 69 66 69 65 72 20 69 73 20 65 78 70 65 entifier is expe
15f0: 63 74 65 64 20 62 75 74 20 6e 6f 74 20 66 6f 75 cted but not fou
1600: 6e 64 20 22 7e 6d 73 67 29 3b 0d 0a 09 09 73 74 nd "~msg);....st
1610: 72 69 6e 67 20 69 64 20 3d 20 6c 65 78 2e 66 72 ring id = lex.fr
1620: 6f 6e 74 2e 73 74 72 3b 0d 0a 09 09 6c 65 78 2e ont.str;....lex.
1630: 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 popFront;....ret
1640: 75 72 6e 20 69 64 3b 0d 0a 09 7d 0d 0a 0a 09 62 urn id;...}....b
1650: 6f 6f 6c 20 69 73 4e 75 6d 62 65 72 28 73 74 72 ool isNumber(str
1660: 69 6e 67 20 73 29 0a 09 7b 0a 09 09 72 65 74 75 ing s)..{...retu
1670: 72 6e 20 66 69 6e 64 21 28 60 61 3c 27 30 27 7c rn find!(`a<'0'|
1680: 7c 27 39 27 3c 61 60 29 28 73 29 2e 65 6d 70 74 |'9'<a`)(s).empt
1690: 79 3b 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 64 6f y;..}.....AST do
16a0: 4e 6f 74 68 69 6e 67 45 78 70 72 65 73 73 69 6f NothingExpressio
16b0: 6e 28 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 n()...{....retur
16c0: 6e 20 6e 65 77 20 49 6e 74 4c 69 74 65 72 61 6c n new IntLiteral
16d0: 28 6c 65 78 2e 65 6d 70 74 79 3f 6e 75 6c 6c 3a (lex.empty?null:
16e0: 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 2c 20 42 lex.front.pos, B
16f0: 69 67 49 6e 74 28 31 37 38 29 29 3b 0d 0a 09 7d igInt(178));...}
1700: 0a 7d 0a 0a 75 6e 69 74 74 65 73 74 0a 7b 0d 0a .}..unittest.{..
1710: 09 6d 69 78 69 6e 20 45 61 73 79 41 53 54 3b 0d .mixin EasyAST;.
1720: 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ....assert_eq(pa
1730: 72 73 65 53 74 72 69 6e 67 28 60 31 32 33 60 29 rseString(`123`)
1740: 2c 20 69 6e 74 6c 28 31 32 33 29 29 3b 0d 0a 09 , intl(123));...
1750: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
1760: 74 72 69 6e 67 28 60 22 66 6f 6f 22 60 29 2c 20 tring(`"foo"`),
1770: 73 74 72 6c 28 22 66 6f 6f 22 29 29 3b 0d 0a 09 strl("foo"));...
1780: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
1790: 74 72 69 6e 67 28 60 66 75 6e 28 29 7b 31 7d 60 tring(`fun(){1}`
17a0: 29 2c 20 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 31 ), fun([],intl(1
17b0: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
17c0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 66 75 (parseString(`fu
17d0: 6e 28 78 29 7b 31 7d 60 29 2c 20 66 75 6e 28 5b n(x){1}`), fun([
17e0: 22 78 22 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d "x"],intl(1)));.
17f0: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
1800: 65 53 74 72 69 6e 67 28 60 83 c9 28 29 7b 31 7d eString(`..(){1}
1810: 60 29 2c 20 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 `), fun([],intl(
1820: 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 1)));...assert_e
1830: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 83 q(parseString(`.
1840: c9 28 78 29 7b 31 7d 60 29 2c 20 66 75 6e 28 5b .(x){1}`), fun([
1850: 22 78 22 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d "x"],intl(1)));.
1860: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
1870: 65 53 74 72 69 6e 67 28 60 31 3b 32 60 29 2c 20 eString(`1;2`),
1880: 6c 65 74 28 22 5f 22 2c 22 40 76 61 6c 22 2c 69 let("_","@val",i
1890: 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 ntl(1),intl(2)))
18a0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
18b0: 72 73 65 53 74 72 69 6e 67 28 60 31 3b 32 3b 60 rseString(`1;2;`
18c0: 29 2c 20 6c 65 74 28 22 5f 22 2c 22 40 76 61 6c ), let("_","@val
18d0: 22 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 ",intl(1),intl(2
18e0: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
18f0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 6c 65 (parseString(`le
1900: 74 20 78 3d 31 3b 32 60 29 2c 20 6c 65 74 28 22 t x=1;2`), let("
1910: 78 22 2c 22 40 76 61 6c 22 2c 69 6e 74 6c 28 31 x","@val",intl(1
1920: 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 ),intl(2)));...a
1930: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
1940: 72 69 6e 67 28 60 76 61 72 20 78 3d 31 3b 32 3b ring(`var x=1;2;
1950: 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 40 76 61 `), let("x","@va
1960: 6c 22 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 l",intl(1),intl(
1970: 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 2)));...assert_e
1980: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 64 q(parseString(`d
1990: 65 66 20 78 3d 31 60 29 2c 20 6c 65 74 28 22 78 ef x=1`), let("x
19a0: 22 2c 22 40 76 61 6c 22 2c 69 6e 74 6c 28 31 29 ","@val",intl(1)
19b0: 2c 76 61 72 28 22 78 22 29 29 29 3b 0d 0a 09 61 ,var("x")));...a
19c0: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
19d0: 72 69 6e 67 28 60 40 76 61 6c 20 78 3d 31 3b 60 ring(`@val x=1;`
19e0: 29 2c 20 6c 65 74 28 22 78 22 2c 22 40 76 61 6c ), let("x","@val
19f0: 22 2c 69 6e 74 6c 28 31 29 2c 76 61 72 28 22 78 ",intl(1),var("x
1a00: 22 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 ")));...assert_e
1a10: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 40 q(parseString(`@
1a20: 74 79 70 20 78 3d 22 23 69 6e 74 22 3b 60 29 2c typ x="#int";`),
1a30: 20 6c 65 74 28 22 78 22 2c 22 40 74 79 70 22 2c let("x","@typ",
1a40: 73 74 72 6c 28 22 23 69 6e 74 22 29 2c 76 61 72 strl("#int"),var
1a50: 28 22 78 22 29 29 29 3b 0d 0a 09 61 73 73 65 72 ("x")));...asser
1a60: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
1a70: 28 60 66 28 31 2c 32 29 60 29 2c 20 63 61 6c 6c (`f(1,2)`), call
1a80: 28 76 61 72 28 22 66 22 29 2c 69 6e 74 6c 28 31 (var("f"),intl(1
1a90: 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 ),intl(2)));...a
1aa0: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
1ab0: 72 69 6e 67 28 60 69 66 28 31 29 7b 32 7d 60 29 ring(`if(1){2}`)
1ac0: 2c 20 63 61 6c 6c 28 76 61 72 28 22 69 66 22 29 , call(var("if")
1ad0: 2c 69 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c ,intl(1),fun([],
1ae0: 69 6e 74 6c 28 32 29 29 2c 66 75 6e 28 5b 5d 2c intl(2)),fun([],
1af0: 69 6e 74 6c 28 31 37 38 29 29 29 29 3b 0d 0a 09 intl(178))));...
1b00: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
1b10: 74 72 69 6e 67 28 60 69 66 28 31 29 7b 32 7d 65 tring(`if(1){2}e
1b20: 6c 73 65 7b 33 7d 60 29 2c 20 63 61 6c 6c 28 76 lse{3}`), call(v
1b30: 61 72 28 22 69 66 22 29 2c 69 6e 74 6c 28 31 29 ar("if"),intl(1)
1b40: 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 32 29 29 ,fun([],intl(2))
1b50: 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 33 29 29 ,fun([],intl(3))
1b60: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
1b70: 70 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 parseString(`if(
1b80: 31 29 7b 7d 65 6c 73 65 7b 33 7d 28 29 28 29 60 1){}else{3}()()`
1b90: 29 2c 0d 0a 09 09 63 61 6c 6c 28 63 61 6c 6c 28 ),....call(call(
1ba0: 63 61 6c 6c 28 76 61 72 28 22 69 66 22 29 2c 69 call(var("if"),i
1bb0: 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c 69 6e ntl(1),fun([],in
1bc0: 74 6c 28 31 37 38 29 29 2c 66 75 6e 28 5b 5d 2c tl(178)),fun([],
1bd0: 69 6e 74 6c 28 33 29 29 29 29 29 29 3b 0d 0a 09 intl(3))))));...
1be0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
1bf0: 74 72 69 6e 67 28 60 31 2b 32 2a 33 60 29 2c 20 tring(`1+2*3`),
1c00: 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 6e call(var("+"),in
1c10: 74 6c 28 31 29 2c 63 61 6c 6c 28 76 61 72 28 22 tl(1),call(var("
1c20: 2a 22 29 2c 69 6e 74 6c 28 32 29 2c 69 6e 74 6c *"),intl(2),intl
1c30: 28 33 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 (3))));...assert
1c40: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
1c50: 60 28 31 2b 32 29 2a 33 60 29 2c 20 63 61 6c 6c `(1+2)*3`), call
1c60: 28 76 61 72 28 22 2a 22 29 2c 63 61 6c 6c 28 76 (var("*"),call(v
1c70: 61 72 28 22 2b 22 29 2c 69 6e 74 6c 28 31 29 2c ar("+"),intl(1),
1c80: 69 6e 74 6c 28 32 29 29 2c 69 6e 74 6c 28 33 29 intl(2)),intl(3)
1c90: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
1ca0: 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2a 28 parseString(`1*(
1cb0: 32 2b 33 29 60 29 2c 20 63 61 6c 6c 28 76 61 72 2+3)`), call(var
1cc0: 28 22 2a 22 29 2c 69 6e 74 6c 28 31 29 2c 63 61 ("*"),intl(1),ca
1cd0: 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 6e 74 6c ll(var("+"),intl
1ce0: 28 32 29 2c 69 6e 74 6c 28 33 29 29 29 29 3b 0d (2),intl(3))));.
1cf0: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
1d00: 65 53 74 72 69 6e 67 28 60 31 2a 32 2b 33 60 29 eString(`1*2+3`)
1d10: 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c , call(var("+"),
1d20: 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c 69 6e call(var("*"),in
1d30: 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 2c 69 tl(1),intl(2)),i
1d40: 6e 74 6c 28 33 29 29 29 3b 0d 0a 0d 0a 09 61 73 ntl(3)));.....as
1d50: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
1d60: 69 6e 67 28 60 0d 0a 09 09 6c 65 74 20 78 20 3d ing(`....let x =
1d70: 20 31 30 30 3b 20 23 63 6f 6d 6d 65 6e 74 0d 0a 100; #comment..
1d80: 09 09 6c 65 74 20 79 20 3d 20 32 30 30 3b 20 23 ..let y = 200; #
1d90: 63 6f 6d 6d 65 6e 74 21 21 21 21 21 0d 0a 09 09 comment!!!!!....
1da0: 09 78 2b 79 0d 0a 09 60 29 2c 0d 0a 09 09 6c 65 .x+y...`),....le
1db0: 74 28 22 78 22 2c 20 22 40 76 61 6c 22 2c 20 69 t("x", "@val", i
1dc0: 6e 74 6c 28 31 30 30 29 2c 20 6c 65 74 28 22 79 ntl(100), let("y
1dd0: 22 2c 20 22 40 76 61 6c 22 2c 20 69 6e 74 6c 28 ", "@val", intl(
1de0: 32 30 30 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 200), call(var("
1df0: 2b 22 29 2c 20 76 61 72 28 22 78 22 29 2c 20 76 +"), var("x"), v
1e00: 61 72 28 22 79 22 29 29 29 29 0d 0a 09 29 3b 0a ar("y"))))...);.
1e10: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
1e20: 73 65 53 74 72 69 6e 67 28 60 0d 0a 09 09 76 61 seString(`....va
1e30: 72 20 66 61 63 20 3d 20 66 75 6e 28 78 29 7b 20 r fac = fun(x){
1e40: 69 66 28 78 20 3c 3d 20 31 29 20 7b 31 7d 20 65 if(x <= 1) {1} e
1e50: 6c 73 65 20 7b 78 2a 66 61 63 28 78 2d 31 29 7d lse {x*fac(x-1)}
1e60: 20 7d 3b 0d 0a 09 09 66 61 63 28 31 30 29 0a 09 };....fac(10)..
1e70: 60 29 2c 0d 0a 09 09 6c 65 74 28 22 66 61 63 22 `),....let("fac"
1e80: 2c 20 22 40 76 61 6c 22 2c 20 66 75 6e 28 5b 22 , "@val", fun(["
1e90: 78 22 5d 2c 0d 0a 09 09 09 63 61 6c 6c 28 76 61 x"],.....call(va
1ea0: 72 28 22 69 66 22 29 2c 0d 0a 09 09 09 09 63 61 r("if"),......ca
1eb0: 6c 6c 28 76 61 72 28 22 3c 3d 22 29 2c 20 76 61 ll(var("<="), va
1ec0: 72 28 22 78 22 29 2c 20 69 6e 74 6c 28 31 29 29 r("x"), intl(1))
1ed0: 2c 0d 0a 09 09 09 09 66 75 6e 28 5b 5d 2c 20 69 ,......fun([], i
1ee0: 6e 74 6c 28 31 29 29 2c 0d 0a 09 09 09 09 66 75 ntl(1)),......fu
1ef0: 6e 28 5b 5d 2c 20 63 61 6c 6c 28 76 61 72 28 22 n([], call(var("
1f00: 2a 22 29 2c 20 76 61 72 28 22 78 22 29 2c 20 63 *"), var("x"), c
1f10: 61 6c 6c 28 76 61 72 28 22 66 61 63 22 29 2c 63 all(var("fac"),c
1f20: 61 6c 6c 28 76 61 72 28 22 2d 22 29 2c 76 61 72 all(var("-"),var
1f30: 28 22 78 22 29 2c 69 6e 74 6c 28 31 29 29 29 29 ("x"),intl(1))))
1f40: 29 0d 0a 09 09 09 29 29 2c 0d 0a 09 09 09 63 61 ).....)),.....ca
1f50: 6c 6c 28 76 61 72 28 22 66 61 63 22 29 2c 69 6e ll(var("fac"),in
1f60: 74 6c 28 31 30 29 29 0d 0a 09 09 29 0d 0a 09 29 tl(10))....)...)
1f70: 3b 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d ;.}....unittest.
1f80: 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f .{...assert_thro
1f90: 77 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e w!ParseException
1fa0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2b (parseString(`1+
1fb0: 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 `));...assert_th
1fc0: 72 6f 77 21 50 61 72 73 65 45 78 63 65 70 74 69 row!ParseExcepti
1fd0: 6f 6e 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 on(parseString(`
1fe0: 31 2b 32 7d 60 29 29 3b 0d 0a 09 61 73 73 65 72 1+2}`));...asser
1ff0: 74 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 t_throw!ParseExc
2000: 65 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 eption(parseStri
2010: 6e 67 28 60 6c 65 74 20 22 78 22 60 29 29 3b 0d ng(`let "x"`));.
2020: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 50 ..assert_throw!P
2030: 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 61 arseException(pa
2040: 72 73 65 53 74 72 69 6e 67 28 60 76 61 72 60 29 rseString(`var`)
2050: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
2060: 77 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e w!ParseException
2070: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 40 76 (parseString(`@v
2080: 61 6c 20 78 20 3d 3d 60 29 29 3b 0d 0a 09 61 73 al x ==`));...as
2090: 73 65 72 74 5f 74 68 72 6f 77 21 50 61 72 73 65 sert_throw!Parse
20a0: 45 78 63 65 70 74 69 6f 6e 28 70 61 72 73 65 53 Exception(parseS
20b0: 74 72 69 6e 67 28 60 69 66 28 29 7b 31 7d 60 29 tring(`if(){1}`)
20c0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
20d0: 77 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e w!ParseException
20e0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 66 28 (parseString(`f(
20f0: 60 29 29 3b 0d 0a 7d 0d 0a `));..}..