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 5c 75 30 33 || tryEat("\u03
1220: 42 42 22 29 20 29 0a 09 09 7b 0a 09 09 09 65 61 BB") )...{....ea
1230: 74 28 22 28 22 2c 20 22 61 66 74 65 72 20 66 75 t("(", "after fu
1240: 6e 22 29 3b 0a 09 09 09 73 74 72 69 6e 67 5b 5d n");....string[]
1250: 20 70 61 72 61 6d 73 3b 0a 09 09 09 77 68 69 6c params;....whil
1260: 65 28 20 21 74 72 79 45 61 74 28 22 29 22 29 20 e( !tryEat(")")
1270: 29 0a 09 09 09 7b 0a 09 09 09 09 70 61 72 61 6d )....{.....param
1280: 73 20 7e 3d 20 65 61 74 49 64 28 22 66 6f 72 20 s ~= eatId("for
1290: 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 function paramet
12a0: 65 72 22 29 3b 0a 09 09 09 09 69 66 28 20 21 74 er");.....if( !t
12b0: 72 79 45 61 74 28 22 2c 22 29 20 29 20 7b 0a 09 ryEat(",") ) {..
12c0: 09 09 09 09 65 61 74 28 22 29 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 0a 09 09 09 09 09 ameters");......
12f0: 62 72 65 61 6b 3b 0a 09 09 09 09 7d 0a 09 09 09 break;.....}....
1300: 7d 0a 09 09 09 65 61 74 28 22 7b 22 2c 20 22 61 }....eat("{", "a
1310: 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 fter function pa
1320: 72 61 6d 65 74 65 72 73 22 29 3b 0d 0a 09 09 09 rameters");.....
1330: 61 75 74 6f 20 66 75 6e 62 6f 64 79 20 3d 20 42 auto funbody = B
1340: 6f 64 79 28 29 3b 0a 09 09 09 65 61 74 28 22 7d ody();....eat("}
1350: 22 2c 20 22 61 66 74 65 72 20 66 75 6e 63 74 69 ", "after functi
1360: 6f 6e 20 62 6f 64 79 22 29 3b 0d 0a 09 09 09 72 on body");.....r
1370: 65 74 75 72 6e 20 6e 65 77 20 46 75 6e 4c 69 74 eturn new FunLit
1380: 65 72 61 6c 28 70 6f 73 2c 20 70 61 72 61 6d 73 eral(pos, params
1390: 2c 20 66 75 6e 62 6f 64 79 29 3b 0a 09 09 7d 0a , funbody);...}.
13a0: 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 ..scope(exit) le
13b0: 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09 09 72 65 x.popFront;...re
13c0: 74 75 72 6e 20 6e 65 77 20 56 61 72 45 78 70 72 turn new VarExpr
13d0: 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6c 65 78 2e ession(pos, lex.
13e0: 66 72 6f 6e 74 2e 73 74 72 29 3b 0a 09 7d 0a 0a front.str);..}..
13f0: 70 72 69 76 61 74 65 3a 0a 09 4c 65 78 65 72 20 private:..Lexer
1400: 6c 65 78 3b 0d 0a 09 74 68 69 73 28 4c 65 78 65 lex;...this(Lexe
1410: 72 20 6c 65 78 29 20 7b 20 74 68 69 73 2e 6c 65 r lex) { this.le
1420: 78 20 3d 20 6c 65 78 3b 20 7d 0d 0a 0a 09 76 6f x = lex; }....vo
1430: 69 64 20 65 61 74 28 73 74 72 69 6e 67 20 6b 77 id eat(string kw
1440: 64 2c 20 6c 61 7a 79 20 73 74 72 69 6e 67 20 6d d, lazy string m
1450: 73 67 29 0a 09 7b 0a 09 09 69 66 28 20 21 74 72 sg)..{...if( !tr
1460: 79 45 61 74 28 6b 77 64 29 20 29 0a 09 09 09 74 yEat(kwd) )....t
1470: 68 72 6f 77 20 63 72 65 61 74 65 45 78 63 65 70 hrow createExcep
1480: 74 69 6f 6e 28 6c 65 78 2c 20 22 27 22 7e 6b 77 tion(lex, "'"~kw
1490: 64 7e 22 27 20 69 73 20 65 78 70 65 63 74 65 64 d~"' is expected
14a0: 20 22 7e 6d 73 67 7e 22 20 62 75 74 20 27 22 0a "~msg~" but '".
14b0: 09 09 09 09 7e 28 6c 65 78 2e 65 6d 70 74 79 20 ....~(lex.empty
14c0: 3f 20 22 45 4f 46 22 20 3a 20 6c 65 78 2e 66 72 ? "EOF" : lex.fr
14d0: 6f 6e 74 2e 73 74 72 29 7e 22 27 20 6f 63 63 75 ont.str)~"' occu
14e0: 72 65 64 22 29 3b 0a 09 7d 0a 0a 09 62 6f 6f 6c red");..}...bool
14f0: 20 74 72 79 45 61 74 28 73 74 72 69 6e 67 20 6b tryEat(string k
1500: 77 64 29 0a 09 7b 0a 09 09 69 66 28 20 6c 65 78 wd)..{...if( lex
1510: 2e 65 6d 70 74 79 20 7c 7c 20 6c 65 78 2e 66 72 .empty || lex.fr
1520: 6f 6e 74 2e 71 75 6f 74 65 64 20 7c 7c 20 6c 65 ont.quoted || le
1530: 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 6b 77 64 x.front.str!=kwd
1540: 20 29 0a 09 09 09 72 65 74 75 72 6e 20 66 61 6c )....return fal
1550: 73 65 3b 0a 09 09 6c 65 78 2e 70 6f 70 46 72 6f se;...lex.popFro
1560: 6e 74 3b 0a 09 09 72 65 74 75 72 6e 20 74 72 75 nt;...return tru
1570: 65 3b 0a 09 7d 0a 0d 0a 09 73 74 72 69 6e 67 20 e;..}....string
1580: 65 61 74 49 64 28 6c 61 7a 79 20 73 74 72 69 6e eatId(lazy strin
1590: 67 20 6d 73 67 29 0d 0a 09 7b 0d 0a 09 09 69 66 g msg)...{....if
15a0: 28 20 6c 65 78 2e 65 6d 70 74 79 20 7c 7c 20 6c ( lex.empty || l
15b0: 65 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 ex.front.quoted
15c0: 29 0d 0a 09 09 09 74 68 72 6f 77 20 63 72 65 61 ).....throw crea
15d0: 74 65 45 78 63 65 70 74 69 6f 6e 28 6c 65 78 2c teException(lex,
15e0: 20 22 69 64 65 6e 74 69 66 69 65 72 20 69 73 20 "identifier is
15f0: 65 78 70 65 63 74 65 64 20 62 75 74 20 6e 6f 74 expected but not
1600: 20 66 6f 75 6e 64 20 22 7e 6d 73 67 29 3b 0d 0a found "~msg);..
1610: 09 09 73 74 72 69 6e 67 20 69 64 20 3d 20 6c 65 ..string id = le
1620: 78 2e 66 72 6f 6e 74 2e 73 74 72 3b 0d 0a 09 09 x.front.str;....
1630: 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 lex.popFront;...
1640: 09 72 65 74 75 72 6e 20 69 64 3b 0d 0a 09 7d 0d .return id;...}.
1650: 0a 0a 09 62 6f 6f 6c 20 69 73 4e 75 6d 62 65 72 ...bool isNumber
1660: 28 73 74 72 69 6e 67 20 73 29 0a 09 7b 0a 09 09 (string s)..{...
1670: 72 65 74 75 72 6e 20 66 69 6e 64 21 28 60 61 3c return find!(`a<
1680: 27 30 27 7c 7c 27 39 27 3c 61 60 29 28 73 29 2e '0'||'9'<a`)(s).
1690: 65 6d 70 74 79 3b 0a 09 7d 0d 0a 0d 0a 09 41 53 empty;..}.....AS
16a0: 54 20 64 6f 4e 6f 74 68 69 6e 67 45 78 70 72 65 T doNothingExpre
16b0: 73 73 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 72 ssion()...{....r
16c0: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 4c 69 74 eturn new IntLit
16d0: 65 72 61 6c 28 6c 65 78 2e 65 6d 70 74 79 3f 6e eral(lex.empty?n
16e0: 75 6c 6c 3a 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f ull:lex.front.po
16f0: 73 2c 20 42 69 67 49 6e 74 28 31 37 38 29 29 3b s, BigInt(178));
1700: 0d 0a 09 7d 0a 7d 0a 0a 75 6e 69 74 74 65 73 74 ...}.}..unittest
1710: 0a 7b 0d 0a 09 6d 69 78 69 6e 20 45 61 73 79 41 .{...mixin EasyA
1720: 53 54 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 ST;.....assert_e
1730: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 q(parseString(`1
1740: 32 33 60 29 2c 20 69 6e 74 6c 28 31 32 33 29 29 23`), intl(123))
1750: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
1760: 72 73 65 53 74 72 69 6e 67 28 60 22 66 6f 6f 22 rseString(`"foo"
1770: 60 29 2c 20 73 74 72 6c 28 22 66 6f 6f 22 29 29 `), strl("foo"))
1780: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
1790: 72 73 65 53 74 72 69 6e 67 28 60 66 75 6e 28 29 rseString(`fun()
17a0: 7b 31 7d 60 29 2c 20 66 75 6e 28 5b 5d 2c 69 6e {1}`), fun([],in
17b0: 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(1)));...asser
17c0: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
17d0: 28 60 66 75 6e 28 78 29 7b 31 7d 60 29 2c 20 66 (`fun(x){1}`), f
17e0: 75 6e 28 5b 22 78 22 5d 2c 69 6e 74 6c 28 31 29 un(["x"],intl(1)
17f0: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
1800: 70 61 72 73 65 53 74 72 69 6e 67 28 22 5c 75 30 parseString("\u0
1810: 33 42 42 28 29 7b 31 7d 22 29 2c 20 66 75 6e 28 3BB(){1}"), fun(
1820: 5b 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 [],intl(1)));...
1830: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
1840: 74 72 69 6e 67 28 22 5c 75 30 33 42 42 28 78 29 tring("\u03BB(x)
1850: 7b 31 7d 22 29 2c 20 66 75 6e 28 5b 22 78 22 5d {1}"), fun(["x"]
1860: 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 ,intl(1)));...as
1870: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
1880: 69 6e 67 28 60 31 3b 32 60 29 2c 20 6c 65 74 28 ing(`1;2`), let(
1890: 22 5f 22 2c 22 40 76 61 6c 22 2c 69 6e 74 6c 28 "_","@val",intl(
18a0: 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 1),intl(2)));...
18b0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
18c0: 74 72 69 6e 67 28 60 31 3b 32 3b 60 29 2c 20 6c tring(`1;2;`), l
18d0: 65 74 28 22 5f 22 2c 22 40 76 61 6c 22 2c 69 6e et("_","@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 6c 65 74 20 78 3d seString(`let x=
1910: 31 3b 32 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 1;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 76 61 72 20 78 3d 31 3b 32 3b 60 29 2c 20 (`var x=1;2;`),
1960: 6c 65 74 28 22 78 22 2c 22 40 76 61 6c 22 2c 69 let("x","@val",i
1970: 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 ntl(1),intl(2)))
1980: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
1990: 72 73 65 53 74 72 69 6e 67 28 60 64 65 66 20 78 rseString(`def x
19a0: 3d 31 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 76 61 6c 20 78 3d 31 3b 60 29 2c 20 6c (`@val x=1;`), l
19f0: 65 74 28 22 78 22 2c 22 40 76 61 6c 22 2c 69 6e et("x","@val",in
1a00: 74 6c 28 31 29 2c 76 61 72 28 22 78 22 29 29 29 tl(1),var("x")))
1a10: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
1a20: 72 73 65 53 74 72 69 6e 67 28 60 40 74 79 70 20 rseString(`@typ
1a30: 78 3d 22 23 69 6e 74 22 3b 60 29 2c 20 6c 65 74 x="#int";`), let
1a40: 28 22 78 22 2c 22 40 74 79 70 22 2c 73 74 72 6c ("x","@typ",strl
1a50: 28 22 23 69 6e 74 22 29 2c 76 61 72 28 22 78 22 ("#int"),var("x"
1a60: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
1a70: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 66 28 (parseString(`f(
1a80: 31 2c 32 29 60 29 2c 20 63 61 6c 6c 28 76 61 72 1,2)`), call(var
1a90: 28 22 66 22 29 2c 69 6e 74 6c 28 31 29 2c 69 6e ("f"),intl(1),in
1aa0: 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(2)));...asser
1ab0: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
1ac0: 28 60 69 66 28 31 29 7b 32 7d 60 29 2c 20 63 61 (`if(1){2}`), ca
1ad0: 6c 6c 28 76 61 72 28 22 69 66 22 29 2c 69 6e 74 ll(var("if"),int
1ae0: 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c l(1),fun([],intl
1af0: 28 32 29 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c (2)),fun([],intl
1b00: 28 31 37 38 29 29 29 29 3b 0d 0a 09 61 73 73 65 (178))));...asse
1b10: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
1b20: 67 28 60 69 66 28 31 29 7b 32 7d 65 6c 73 65 7b g(`if(1){2}else{
1b30: 33 7d 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 3}`), call(var("
1b40: 69 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e if"),intl(1),fun
1b50: 28 5b 5d 2c 69 6e 74 6c 28 32 29 29 2c 66 75 6e ([],intl(2)),fun
1b60: 28 5b 5d 2c 69 6e 74 6c 28 33 29 29 29 29 3b 0d ([],intl(3))));.
1b70: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
1b80: 65 53 74 72 69 6e 67 28 60 69 66 28 31 29 7b 7d eString(`if(1){}
1b90: 65 6c 73 65 7b 33 7d 28 29 28 29 60 29 2c 0d 0a else{3}()()`),..
1ba0: 09 09 63 61 6c 6c 28 63 61 6c 6c 28 63 61 6c 6c ..call(call(call
1bb0: 28 76 61 72 28 22 69 66 22 29 2c 69 6e 74 6c 28 (var("if"),intl(
1bc0: 31 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 31 1),fun([],intl(1
1bd0: 37 38 29 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c 78)),fun([],intl
1be0: 28 33 29 29 29 29 29 29 3b 0d 0a 09 61 73 73 65 (3))))));...asse
1bf0: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
1c00: 67 28 60 31 2b 32 2a 33 60 29 2c 20 63 61 6c 6c g(`1+2*3`), call
1c10: 28 76 61 72 28 22 2b 22 29 2c 69 6e 74 6c 28 31 (var("+"),intl(1
1c20: 29 2c 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c ),call(var("*"),
1c30: 69 6e 74 6c 28 32 29 2c 69 6e 74 6c 28 33 29 29 intl(2),intl(3))
1c40: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
1c50: 70 61 72 73 65 53 74 72 69 6e 67 28 60 28 31 2b parseString(`(1+
1c60: 32 29 2a 33 60 29 2c 20 63 61 6c 6c 28 76 61 72 2)*3`), call(var
1c70: 28 22 2a 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 ("*"),call(var("
1c80: 2b 22 29 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c +"),intl(1),intl
1c90: 28 32 29 29 2c 69 6e 74 6c 28 33 29 29 29 3b 0d (2)),intl(3)));.
1ca0: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
1cb0: 65 53 74 72 69 6e 67 28 60 31 2a 28 32 2b 33 29 eString(`1*(2+3)
1cc0: 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2a 22 `), call(var("*"
1cd0: 29 2c 69 6e 74 6c 28 31 29 2c 63 61 6c 6c 28 76 ),intl(1),call(v
1ce0: 61 72 28 22 2b 22 29 2c 69 6e 74 6c 28 32 29 2c ar("+"),intl(2),
1cf0: 69 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 09 61 73 intl(3))));...as
1d00: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
1d10: 69 6e 67 28 60 31 2a 32 2b 33 60 29 2c 20 63 61 ing(`1*2+3`), ca
1d20: 6c 6c 28 76 61 72 28 22 2b 22 29 2c 63 61 6c 6c ll(var("+"),call
1d30: 28 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c 28 31 (var("*"),intl(1
1d40: 29 2c 69 6e 74 6c 28 32 29 29 2c 69 6e 74 6c 28 ),intl(2)),intl(
1d50: 33 29 29 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 3)));.....assert
1d60: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
1d70: 60 0d 0a 09 09 6c 65 74 20 78 20 3d 20 31 30 30 `....let x = 100
1d80: 3b 20 23 63 6f 6d 6d 65 6e 74 0d 0a 09 09 6c 65 ; #comment....le
1d90: 74 20 79 20 3d 20 32 30 30 3b 20 23 63 6f 6d 6d t y = 200; #comm
1da0: 65 6e 74 21 21 21 21 21 0d 0a 09 09 09 78 2b 79 ent!!!!!.....x+y
1db0: 0d 0a 09 60 29 2c 0d 0a 09 09 6c 65 74 28 22 78 ...`),....let("x
1dc0: 22 2c 20 22 40 76 61 6c 22 2c 20 69 6e 74 6c 28 ", "@val", intl(
1dd0: 31 30 30 29 2c 20 6c 65 74 28 22 79 22 2c 20 22 100), let("y", "
1de0: 40 76 61 6c 22 2c 20 69 6e 74 6c 28 32 30 30 29 @val", intl(200)
1df0: 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c , call(var("+"),
1e00: 20 76 61 72 28 22 78 22 29 2c 20 76 61 72 28 22 var("x"), var("
1e10: 79 22 29 29 29 29 0d 0a 09 29 3b 0a 0d 0a 09 61 y"))))...);....a
1e20: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
1e30: 72 69 6e 67 28 60 0d 0a 09 09 76 61 72 20 66 61 ring(`....var fa
1e40: 63 20 3d 20 66 75 6e 28 78 29 7b 20 69 66 28 78 c = fun(x){ if(x
1e50: 20 3c 3d 20 31 29 20 7b 31 7d 20 65 6c 73 65 20 <= 1) {1} else
1e60: 7b 78 2a 66 61 63 28 78 2d 31 29 7d 20 7d 3b 0d {x*fac(x-1)} };.
1e70: 0a 09 09 66 61 63 28 31 30 29 0a 09 60 29 2c 0d ...fac(10)..`),.
1e80: 0a 09 09 6c 65 74 28 22 66 61 63 22 2c 20 22 40 ...let("fac", "@
1e90: 76 61 6c 22 2c 20 66 75 6e 28 5b 22 78 22 5d 2c val", fun(["x"],
1ea0: 0d 0a 09 09 09 63 61 6c 6c 28 76 61 72 28 22 69 .....call(var("i
1eb0: 66 22 29 2c 0d 0a 09 09 09 09 63 61 6c 6c 28 76 f"),......call(v
1ec0: 61 72 28 22 3c 3d 22 29 2c 20 76 61 72 28 22 78 ar("<="), var("x
1ed0: 22 29 2c 20 69 6e 74 6c 28 31 29 29 2c 0d 0a 09 "), intl(1)),...
1ee0: 09 09 09 66 75 6e 28 5b 5d 2c 20 69 6e 74 6c 28 ...fun([], intl(
1ef0: 31 29 29 2c 0d 0a 09 09 09 09 66 75 6e 28 5b 5d 1)),......fun([]
1f00: 2c 20 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c , call(var("*"),
1f10: 20 76 61 72 28 22 78 22 29 2c 20 63 61 6c 6c 28 var("x"), call(
1f20: 76 61 72 28 22 66 61 63 22 29 2c 63 61 6c 6c 28 var("fac"),call(
1f30: 76 61 72 28 22 2d 22 29 2c 76 61 72 28 22 78 22 var("-"),var("x"
1f40: 29 2c 69 6e 74 6c 28 31 29 29 29 29 29 0d 0a 09 ),intl(1)))))...
1f50: 09 09 29 29 2c 0d 0a 09 09 09 63 61 6c 6c 28 76 ..)),.....call(v
1f60: 61 72 28 22 66 61 63 22 29 2c 69 6e 74 6c 28 31 ar("fac"),intl(1
1f70: 30 29 29 0d 0a 09 09 29 0d 0a 09 29 3b 0a 7d 0d 0))....)...);.}.
1f80: 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a ...unittest..{..
1f90: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 50 61 .assert_throw!Pa
1fa0: 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 61 72 rseException(par
1fb0: 73 65 53 74 72 69 6e 67 28 60 31 2b 60 29 29 3b seString(`1+`));
1fc0: 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 ...assert_throw!
1fd0: 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 ParseException(p
1fe0: 61 72 73 65 53 74 72 69 6e 67 28 60 31 2b 32 7d arseString(`1+2}
1ff0: 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 `));...assert_th
2000: 72 6f 77 21 50 61 72 73 65 45 78 63 65 70 74 69 row!ParseExcepti
2010: 6f 6e 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 on(parseString(`
2020: 6c 65 74 20 22 78 22 60 29 29 3b 0d 0a 09 61 73 let "x"`));...as
2030: 73 65 72 74 5f 74 68 72 6f 77 21 50 61 72 73 65 sert_throw!Parse
2040: 45 78 63 65 70 74 69 6f 6e 28 70 61 72 73 65 53 Exception(parseS
2050: 74 72 69 6e 67 28 60 76 61 72 60 29 29 3b 0d 0a tring(`var`));..
2060: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 50 61 .assert_throw!Pa
2070: 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 61 72 rseException(par
2080: 73 65 53 74 72 69 6e 67 28 60 40 76 61 6c 20 78 seString(`@val x
2090: 20 3d 3d 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 ==`));...assert
20a0: 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 _throw!ParseExce
20b0: 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e ption(parseStrin
20c0: 67 28 60 69 66 28 29 7b 31 7d 60 29 29 3b 0d 0a g(`if(){1}`));..
20d0: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 50 61 .assert_throw!Pa
20e0: 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 61 72 rseException(par
20f0: 73 65 53 74 72 69 6e 67 28 60 66 28 60 29 29 3b seString(`f(`));
2100: 0d 0a 7d 0d 0a ..}..