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 73 61 76 65 64 ......auto saved
0630: 20 3d 20 6c 65 78 2e 73 61 76 65 3b 0d 0a 09 09 = lex.save;....
0640: 61 75 74 6f 20 70 6f 73 20 3d 20 6c 65 78 2e 66 auto pos = lex.f
0650: 72 6f 6e 74 2e 70 6f 73 3b 0d 0a 09 09 73 74 72 ront.pos;....str
0660: 69 6e 67 20 6b 77 64 20 3d 20 6c 65 78 2e 66 72 ing kwd = lex.fr
0670: 6f 6e 74 2e 73 74 72 3b 0d 0a 09 09 69 66 28 20 ont.str;....if(
0680: 74 72 79 45 61 74 28 22 6c 65 74 22 29 20 7c 7c tryEat("let") ||
0690: 20 74 72 79 45 61 74 28 22 76 61 72 22 29 20 7c tryEat("var") |
06a0: 7c 20 74 72 79 45 61 74 28 22 64 65 66 22 29 20 | tryEat("def")
06b0: 7c 7c 20 74 72 79 45 61 74 28 22 40 22 29 20 29 || tryEat("@") )
06c0: 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 28 20 6b 77 ....{.....if( kw
06d0: 64 20 3d 3d 20 22 40 22 20 29 20 7b 0d 0a 09 09 d == "@" ) {....
06e0: 09 09 6b 77 64 20 7e 3d 20 65 61 74 49 64 28 22 ..kwd ~= eatId("
06f0: 61 66 74 65 72 20 40 22 29 3b 0d 0a 09 09 09 09 after @");......
0700: 69 66 28 20 74 72 79 45 61 74 28 22 28 22 29 20 if( tryEat("(")
0710: 29 20 7b 0d 0a 09 09 09 09 09 6c 65 78 20 3d 20 ) {.......lex =
0720: 73 61 76 65 64 3b 0d 0a 09 09 09 09 09 67 6f 74 saved;.......got
0730: 6f 20 61 73 45 78 70 72 65 73 73 69 6f 6e 3b 0d o asExpression;.
0740: 0a 09 09 09 09 7d 0d 0a 09 09 09 7d 0d 0a 09 09 .....}.....}....
0750: 09 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f .immutable LexPo
0760: 73 69 74 69 6f 6e 20 76 61 72 70 6f 73 20 3d 20 sition varpos =
0770: 28 6c 65 78 2e 65 6d 70 74 79 20 3f 20 6e 75 6c (lex.empty ? nul
0780: 6c 20 3a 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f l : lex.front.po
0790: 73 29 3b 0d 0a 09 09 09 73 74 72 69 6e 67 20 76 s);.....string v
07a0: 61 72 20 3d 20 65 61 74 49 64 28 22 61 66 74 65 ar = eatId("afte
07b0: 72 20 22 7e 6b 77 64 29 3b 0d 0a 09 09 09 65 61 r "~kwd);.....ea
07c0: 74 28 22 3d 22 2c 20 22 61 66 74 65 72 20 22 7e t("=", "after "~
07d0: 6b 77 64 29 3b 0d 0a 09 09 09 6b 77 64 20 3d 20 kwd);.....kwd =
07e0: 28 6b 77 64 5b 30 5d 3d 3d 27 40 27 20 3f 20 6b (kwd[0]=='@' ? k
07f0: 77 64 20 3a 20 22 22 29 3b 20 2f 2f 20 22 6c 65 wd : ""); // "le
0800: 74 2c 20 76 61 72 2c 20 64 65 66 20 3d 3d 3e 20 t, var, def ==>
0810: 6e 65 75 74 72 61 6c 20 6c 61 79 65 72 22 0d 0a neutral layer"..
0820: 09 09 09 61 75 74 6f 20 65 20 3d 20 45 28 30 29 ...auto e = E(0)
0830: 3b 0d 0a 09 09 09 69 66 28 20 74 72 79 45 61 74 ;.....if( tryEat
0840: 28 22 3b 22 29 20 26 26 20 21 6c 65 78 2e 65 6d (";") && !lex.em
0850: 70 74 79 20 26 26 20 28 6c 65 78 2e 66 72 6f 6e pty && (lex.fron
0860: 74 2e 71 75 6f 74 65 64 20 7c 7c 20 28 6c 65 78 t.quoted || (lex
0870: 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 22 7d 22 20 .front.str!="}"
0880: 26 26 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 && lex.front.str
0890: 21 3d 22 29 22 29 29 20 29 0d 0a 09 09 09 09 72 !=")")) )......r
08a0: 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 45 78 70 eturn new LetExp
08b0: 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 76 61 72 ression(pos, var
08c0: 2c 20 6b 77 64 2c 20 65 2c 20 42 6f 64 79 28 29 , kwd, e, Body()
08d0: 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 );.....else.....
08e0: 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 45 .return new LetE
08f0: 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 76 xpression(pos, v
0900: 61 72 2c 20 6b 77 64 2c 20 65 2c 20 6e 65 77 20 ar, kwd, e, new
0910: 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 76 61 VarExpression(va
0920: 72 70 6f 73 2c 20 76 61 72 29 29 3b 0d 0a 09 09 rpos, var));....
0930: 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a }....else....{..
0940: 09 09 61 73 45 78 70 72 65 73 73 69 6f 6e 3a 0d ..asExpression:.
0950: 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 45 28 30 ....auto e = E(0
0960: 29 3b 0d 0a 09 09 09 69 66 28 20 74 72 79 45 61 );.....if( tryEa
0970: 74 28 22 3b 22 29 20 26 26 20 21 6c 65 78 2e 65 t(";") && !lex.e
0980: 6d 70 74 79 20 26 26 20 28 6c 65 78 2e 66 72 6f mpty && (lex.fro
0990: 6e 74 2e 71 75 6f 74 65 64 20 7c 7c 20 28 6c 65 nt.quoted || (le
09a0: 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 22 7d 22 x.front.str!="}"
09b0: 20 26 26 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 && lex.front.st
09c0: 72 21 3d 22 29 22 29 29 20 29 0d 0a 09 09 09 09 r!=")")) )......
09d0: 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 45 78 return new LetEx
09e0: 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 22 5f pression(pos, "_
09f0: 22 2c 20 22 40 76 61 6c 22 2c 20 65 2c 20 42 6f ", "@val", e, Bo
0a00: 64 79 28 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d dy());.....else.
0a10: 0a 09 09 09 09 72 65 74 75 72 6e 20 65 3b 0d 0a .....return e;..
0a20: 09 09 7d 0d 0a 09 7d 0a 0a 09 2f 2f 20 5b 54 4f ..}...}...// [TO
0a30: 44 4f 5d 20 6d 61 6b 65 20 63 75 73 74 6f 6d 69 DO] make customi
0a40: 7a 61 62 6c 65 20 66 72 6f 6d 20 70 72 6f 67 72 zable from progr
0a50: 61 6d 0a 09 73 74 61 74 69 63 20 69 6d 6d 75 74 am..static immut
0a60: 61 62 6c 65 20 73 74 72 69 6e 67 5b 5d 5b 5d 20 able string[][]
0a70: 6f 70 65 72 61 74 6f 72 5f 70 65 72 66 65 72 65 operator_perfere
0a80: 6e 63 65 73 20 3d 20 5b 0a 09 09 5b 22 7c 7c 22 nces = [...["||"
0a90: 5d 2c 0a 09 09 5b 22 26 26 22 5d 2c 0a 09 09 5b ],...["&&"],...[
0aa0: 22 21 3d 22 5d 2c 0a 09 09 5b 22 3d 3d 22 5d 2c "!="],...["=="],
0ab0: 0a 09 09 5b 22 3c 22 2c 22 3c 3d 22 2c 22 3e 22 ...["<","<=",">"
0ac0: 2c 22 3e 3d 22 5d 2c 0a 09 09 5b 22 7c 22 5d 2c ,">="],...["|"],
0ad0: 0a 09 09 5b 22 5e 22 5d 2c 0a 09 09 5b 22 26 22 ...["^"],...["&"
0ae0: 5d 2c 0a 09 09 5b 22 3c 3c 22 2c 20 22 3e 3e 22 ],...["<<", ">>"
0af0: 5d 2c 0a 09 09 5b 22 2b 22 2c 22 2d 22 5d 2c 0d ],...["+","-"],.
0b00: 0a 09 09 5b 22 7e 22 5d 2c 0d 0a 09 09 5b 22 2a ...["~"],....["*
0b10: 22 2c 22 2f 22 2c 22 25 22 5d 2c 0d 0a 09 09 5b ","/","%"],....[
0b20: 22 5e 5e 22 5d 0d 0a 09 5d 3b 0a 0a 09 41 53 54 "^^"]...];...AST
0b30: 20 45 28 69 6e 74 20 6c 65 76 65 6c 29 0a 09 7b E(int level)..{
0b40: 0a 09 09 69 66 28 20 6f 70 65 72 61 74 6f 72 5f ...if( operator_
0b50: 70 65 72 66 65 72 65 6e 63 65 73 2e 6c 65 6e 67 perferences.leng
0b60: 74 68 20 3c 3d 20 6c 65 76 65 6c 20 29 0a 09 09 th <= level )...
0b70: 09 72 65 74 75 72 6e 20 46 75 6e 63 61 6c 6c 28 .return Funcall(
0b80: 29 3b 0a 09 09 65 6c 73 65 0a 09 09 7b 0a 09 09 );...else...{...
0b90: 09 61 75 74 6f 20 6f 70 73 20 3d 20 6f 70 65 72 .auto ops = oper
0ba0: 61 74 6f 72 5f 70 65 72 66 65 72 65 6e 63 65 73 ator_perferences
0bb0: 5b 6c 65 76 65 6c 5d 3b 0a 09 09 09 61 75 74 6f [level];....auto
0bc0: 20 65 20 3d 20 45 28 6c 65 76 65 6c 2b 31 29 3b e = E(level+1);
0bd0: 0a 09 09 73 65 71 3a 0a 09 09 09 77 68 69 6c 65 ...seq:....while
0be0: 28 20 21 6c 65 78 2e 65 6d 70 74 79 20 29 0a 09 ( !lex.empty )..
0bf0: 09 09 7b 0a 09 09 09 09 61 75 74 6f 20 70 6f 73 ..{.....auto pos
0c00: 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 = lex.front.pos
0c10: 3b 0a 09 09 09 09 66 6f 72 65 61 63 68 28 6f 70 ;.....foreach(op
0c20: 3b 20 6f 70 73 29 0a 09 09 09 09 09 69 66 28 20 ; ops)......if(
0c30: 74 72 79 45 61 74 28 6f 70 29 20 29 0a 09 09 09 tryEat(op) )....
0c40: 09 09 7b 0a 09 09 09 09 09 09 65 20 3d 20 6e 65 ..{.......e = ne
0c50: 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 w FuncallExpress
0c60: 69 6f 6e 28 65 2e 70 6f 73 2c 20 6e 65 77 20 56 ion(e.pos, new V
0c70: 61 72 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 arExpression(pos
0c80: 2c 20 6f 70 29 2c 20 65 2c 20 45 28 6c 65 76 65 , op), e, E(leve
0c90: 6c 2b 31 29 29 3b 0a 09 09 09 09 09 09 63 6f 6e l+1));.......con
0ca0: 74 69 6e 75 65 20 73 65 71 3b 0a 09 09 09 09 09 tinue seq;......
0cb0: 7d 0a 09 09 09 09 62 72 65 61 6b 3b 0a 09 09 09 }.....break;....
0cc0: 7d 0a 09 09 09 72 65 74 75 72 6e 20 65 3b 0a 09 }....return e;..
0cd0: 09 7d 0a 09 7d 0a 0a 09 41 53 54 20 46 75 6e 63 .}..}...AST Func
0ce0: 61 6c 6c 28 29 0a 09 7b 0a 09 09 61 75 74 6f 20 all()..{...auto
0cf0: 65 20 3d 20 42 61 73 65 45 78 70 72 65 73 73 69 e = BaseExpressi
0d00: 6f 6e 28 29 3b 0a 09 09 77 68 69 6c 65 28 20 74 on();...while( t
0d10: 72 79 45 61 74 28 22 28 22 29 20 29 0a 09 09 7b ryEat("(") )...{
0d20: 0d 0a 09 09 09 41 53 54 5b 5d 20 61 72 67 73 3b .....AST[] args;
0d30: 0a 09 09 09 77 68 69 6c 65 28 20 21 74 72 79 45 ....while( !tryE
0d40: 61 74 28 22 29 22 29 20 29 20 7b 0a 09 09 09 09 at(")") ) {.....
0d50: 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d if( lex.empty ).
0d60: 0a 09 09 09 09 09 74 68 72 6f 77 20 63 72 65 61 ......throw crea
0d70: 74 65 45 78 63 65 70 74 69 6f 6e 28 6c 65 78 2c teException(lex,
0d80: 22 55 6e 65 78 70 65 63 74 65 64 20 45 4f 46 22 "Unexpected EOF"
0d90: 29 3b 0a 09 09 09 09 61 72 67 73 20 7e 3d 20 45 );.....args ~= E
0da0: 28 30 29 3b 0d 0a 09 09 09 09 69 66 28 20 21 74 (0);......if( !t
0db0: 72 79 45 61 74 28 22 2c 22 29 20 29 20 7b 0a 09 ryEat(",") ) {..
0dc0: 09 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 ....eat(")", "af
0dd0: 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 ter function par
0de0: 61 6d 65 74 65 72 73 22 29 3b 0a 09 09 09 09 09 ameters");......
0df0: 62 72 65 61 6b 3b 0a 09 09 09 09 7d 0a 09 09 09 break;.....}....
0e00: 7d 0a 09 09 09 65 20 3d 20 6e 65 77 20 46 75 6e }....e = new Fun
0e10: 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 65 callExpression(e
0e20: 2e 70 6f 73 2c 20 65 2c 20 61 72 67 73 29 3b 0a .pos, e, args);.
0e30: 09 09 7d 0a 09 09 72 65 74 75 72 6e 20 65 3b 0a ..}...return e;.
0e40: 09 7d 0a 0a 09 41 53 54 20 42 61 73 65 45 78 70 .}...AST BaseExp
0e50: 72 65 73 73 69 6f 6e 28 29 0a 09 7b 0a 09 09 69 ression()..{...i
0e60: 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d 0a f( lex.empty )..
0e70: 09 09 09 74 68 72 6f 77 20 63 72 65 61 74 65 45 ...throw createE
0e80: 78 63 65 70 74 69 6f 6e 28 6c 65 78 2c 20 22 52 xception(lex, "R
0e90: 65 61 63 68 65 64 20 45 4f 46 20 77 68 65 6e 20 eached EOF when
0ea0: 74 72 69 65 64 20 74 6f 20 70 61 72 73 65 20 61 tried to parse a
0eb0: 6e 20 65 78 70 72 65 73 73 69 6f 6e 22 29 3b 0d n expression");.
0ec0: 0a 0d 0a 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 .....auto pos =
0ed0: 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0a 09 lex.front.pos;..
0ee0: 09 69 66 28 20 6c 65 78 2e 66 72 6f 6e 74 2e 71 .if( lex.front.q
0ef0: 75 6f 74 65 64 20 29 0a 09 09 7b 0a 09 09 09 73 uoted )...{....s
0f00: 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 cope(exit) lex.p
0f10: 6f 70 46 72 6f 6e 74 3b 0a 09 09 09 72 65 74 75 opFront;....retu
0f20: 72 6e 20 6e 65 77 20 53 74 72 4c 69 74 65 72 61 rn new StrLitera
0f30: 6c 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f 6e 74 l(pos, lex.front
0f40: 2e 73 74 72 29 3b 0a 09 09 7d 0a 09 09 69 66 28 .str);...}...if(
0f50: 20 69 73 4e 75 6d 62 65 72 28 6c 65 78 2e 66 72 isNumber(lex.fr
0f60: 6f 6e 74 2e 73 74 72 29 20 29 0a 09 09 7b 0a 09 ont.str) )...{..
0f70: 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 ..scope(exit) le
0f80: 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09 09 09 72 x.popFront;....r
0f90: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 4c 69 74 eturn new IntLit
0fa0: 65 72 61 6c 28 70 6f 73 2c 20 42 69 67 49 6e 74 eral(pos, BigInt
0fb0: 28 63 61 73 74 28 73 74 72 69 6e 67 29 6c 65 78 (cast(string)lex
0fc0: 2e 66 72 6f 6e 74 2e 73 74 72 29 29 3b 0a 09 09 .front.str));...
0fd0: 7d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 22 }...if( tryEat("
0fe0: 40 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 @") )....{.....a
0ff0: 75 74 6f 20 6c 61 79 20 3d 20 22 40 22 7e 65 61 uto lay = "@"~ea
1000: 74 49 64 28 22 66 6f 72 20 6c 61 79 65 72 20 49 tId("for layer I
1010: 44 22 29 3b 0d 0a 09 09 09 65 61 74 28 22 28 22 D");.....eat("("
1020: 2c 20 22 66 6f 72 20 6c 61 79 65 72 65 64 20 65 , "for layered e
1030: 78 65 63 75 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 xecution");.....
1040: 61 75 74 6f 20 65 20 3d 20 45 28 30 29 3b 0d 0a auto e = E(0);..
1050: 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 74 ...eat(")", "aft
1060: 65 72 20 22 7e 6c 61 79 7e 22 28 2e 2e 2e 22 29 er "~lay~"(...")
1070: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 ;.....return new
1080: 20 4c 61 79 65 72 65 64 45 78 70 72 65 73 73 69 LayeredExpressi
1090: 6f 6e 28 70 6f 73 2c 20 6c 61 79 2c 20 65 29 3b on(pos, lay, e);
10a0: 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 74 72 79 ....}....if( try
10b0: 45 61 74 28 22 28 22 29 20 29 0a 09 09 7b 0a 09 Eat("(") )...{..
10c0: 09 09 61 75 74 6f 20 65 20 3d 20 42 6f 64 79 28 ..auto e = Body(
10d0: 29 3b 0a 09 09 09 65 61 74 28 22 29 22 2c 20 22 );....eat(")", "
10e0: 61 66 74 65 72 20 70 61 72 65 6e 74 68 65 73 69 after parenthesi
10f0: 7a 65 64 20 65 78 70 72 65 73 73 69 6f 6e 22 29 zed expression")
1100: 3b 0a 09 09 09 72 65 74 75 72 6e 20 65 3b 0a 09 ;....return e;..
1110: 09 7d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 .}...if( tryEat(
1120: 22 69 66 22 29 20 29 0a 09 09 7b 0a 09 09 09 65 "if") )...{....e
1130: 61 74 28 22 28 22 2c 20 22 61 66 74 65 72 20 69 at("(", "after i
1140: 66 22 29 3b 0a 09 09 09 61 75 74 6f 20 63 6f 6e f");....auto con
1150: 64 20 3d 20 45 28 30 29 3b 0a 09 09 09 65 61 74 d = E(0);....eat
1160: 28 22 29 22 2c 20 22 61 66 74 65 72 20 69 66 20 (")", "after if
1170: 63 6f 6e 64 69 74 69 6f 6e 22 29 3b 0a 09 09 09 condition");....
1180: 61 75 74 6f 20 74 68 65 6e 50 6f 73 20 3d 20 6c auto thenPos = l
1190: 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0a 09 09 ex.front.pos;...
11a0: 09 65 61 74 28 22 7b 22 2c 20 22 61 66 74 65 72 .eat("{", "after
11b0: 20 69 66 20 63 6f 6e 64 69 74 69 6f 6e 22 29 3b if condition");
11c0: 0a 09 09 09 61 75 74 6f 20 74 68 20 3d 20 42 6f ....auto th = Bo
11d0: 64 79 28 29 3b 0a 09 09 09 65 61 74 28 22 7d 22 dy();....eat("}"
11e0: 2c 20 22 61 66 74 65 72 20 69 66 2d 74 68 65 6e , "after if-then
11f0: 20 62 6f 64 79 22 29 3b 0a 09 09 09 61 75 74 6f body");....auto
1200: 20 65 6c 20 3d 20 64 6f 4e 6f 74 68 69 6e 67 45 el = doNothingE
1210: 78 70 72 65 73 73 69 6f 6e 28 29 3b 0a 09 09 09 xpression();....
1220: 61 75 74 6f 20 65 6c 73 65 50 6f 73 20 3d 20 28 auto elsePos = (
1230: 6c 65 78 2e 65 6d 70 74 79 20 3f 20 4c 65 78 50 lex.empty ? LexP
1240: 6f 73 69 74 69 6f 6e 2e 64 75 6d 6d 79 20 3a 20 osition.dummy :
1250: 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 29 3b 0a lex.front.pos);.
1260: 09 09 09 69 66 28 20 74 72 79 45 61 74 28 22 65 ...if( tryEat("e
1270: 6c 73 65 22 29 20 29 20 7b 0a 09 09 09 09 65 61 lse") ) {.....ea
1280: 74 28 22 7b 22 2c 20 22 61 66 74 65 72 20 65 6c t("{", "after el
1290: 73 65 22 29 3b 0a 09 09 09 09 65 6c 20 3d 20 42 se");.....el = B
12a0: 6f 64 79 28 29 3b 0a 09 09 09 09 65 61 74 28 22 ody();.....eat("
12b0: 7d 22 2c 20 22 61 66 74 65 72 20 65 6c 73 65 20 }", "after else
12c0: 62 6f 64 79 22 29 3b 0a 09 09 09 7d 0a 09 09 09 body");....}....
12d0: 72 65 74 75 72 6e 20 6e 65 77 20 46 75 6e 63 61 return new Funca
12e0: 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 llExpression(pos
12f0: 2c 20 0a 09 09 09 09 6e 65 77 20 56 61 72 45 78 , .....new VarEx
1300: 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 22 69 pression(pos, "i
1310: 66 22 29 2c 0a 09 09 09 09 63 6f 6e 64 2c 0a 09 f"),.....cond,..
1320: 09 09 09 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 ...new FunLitera
1330: 6c 28 74 68 65 6e 50 6f 73 2c 20 5b 5d 2c 20 74 l(thenPos, [], t
1340: 68 29 2c 0a 09 09 09 09 6e 65 77 20 46 75 6e 4c h),.....new FunL
1350: 69 74 65 72 61 6c 28 65 6c 73 65 50 6f 73 2c 20 iteral(elsePos,
1360: 5b 5d 2c 20 65 6c 29 0a 09 09 09 29 3b 0a 09 09 [], el)....);...
1370: 7d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 22 }...if( tryEat("
1380: 66 75 6e 22 29 20 7c 7c 20 74 72 79 45 61 74 28 fun") || tryEat(
1390: 22 5c 75 30 33 42 42 22 29 20 29 0a 09 09 7b 0a "\u03BB") )...{.
13a0: 09 09 09 65 61 74 28 22 28 22 2c 20 22 61 66 74 ...eat("(", "aft
13b0: 65 72 20 66 75 6e 22 29 3b 0a 09 09 09 73 74 72 er fun");....str
13c0: 69 6e 67 5b 5d 20 70 61 72 61 6d 73 3b 0a 09 09 ing[] params;...
13d0: 09 77 68 69 6c 65 28 20 21 74 72 79 45 61 74 28 .while( !tryEat(
13e0: 22 29 22 29 20 29 0a 09 09 09 7b 0a 09 09 09 09 ")") )....{.....
13f0: 70 61 72 61 6d 73 20 7e 3d 20 65 61 74 49 64 28 params ~= eatId(
1400: 22 66 6f 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 "for function pa
1410: 72 61 6d 65 74 65 72 22 29 3b 0a 09 09 09 09 69 rameter");.....i
1420: 66 28 20 21 74 72 79 45 61 74 28 22 2c 22 29 20 f( !tryEat(",")
1430: 29 20 7b 0a 09 09 09 09 09 65 61 74 28 22 29 22 ) {......eat(")"
1440: 2c 20 22 61 66 74 65 72 20 66 75 6e 63 74 69 6f , "after functio
1450: 6e 20 70 61 72 61 6d 65 74 65 72 73 22 29 3b 0a n parameters");.
1460: 09 09 09 09 09 62 72 65 61 6b 3b 0a 09 09 09 09 .....break;.....
1470: 7d 0a 09 09 09 7d 0a 09 09 09 65 61 74 28 22 7b }....}....eat("{
1480: 22 2c 20 22 61 66 74 65 72 20 66 75 6e 63 74 69 ", "after functi
1490: 6f 6e 20 70 61 72 61 6d 65 74 65 72 73 22 29 3b on parameters");
14a0: 0d 0a 09 09 09 61 75 74 6f 20 66 75 6e 62 6f 64 .....auto funbod
14b0: 79 20 3d 20 42 6f 64 79 28 29 3b 0a 09 09 09 65 y = Body();....e
14c0: 61 74 28 22 7d 22 2c 20 22 61 66 74 65 72 20 66 at("}", "after f
14d0: 75 6e 63 74 69 6f 6e 20 62 6f 64 79 22 29 3b 0d unction body");.
14e0: 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 46 ....return new F
14f0: 75 6e 4c 69 74 65 72 61 6c 28 70 6f 73 2c 20 70 unLiteral(pos, p
1500: 61 72 61 6d 73 2c 20 66 75 6e 62 6f 64 79 29 3b arams, funbody);
1510: 0a 09 09 7d 0a 09 09 73 63 6f 70 65 28 65 78 69 ...}...scope(exi
1520: 74 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b t) lex.popFront;
1530: 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 56 61 ...return new Va
1540: 72 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c rExpression(pos,
1550: 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 3b lex.front.str);
1560: 0a 09 7d 0a 0a 70 72 69 76 61 74 65 3a 0a 09 4c ..}..private:..L
1570: 65 78 65 72 20 6c 65 78 3b 0d 0a 09 74 68 69 73 exer lex;...this
1580: 28 4c 65 78 65 72 20 6c 65 78 29 20 7b 20 74 68 (Lexer lex) { th
1590: 69 73 2e 6c 65 78 20 3d 20 6c 65 78 3b 20 7d 0d is.lex = lex; }.
15a0: 0a 0a 09 76 6f 69 64 20 65 61 74 28 73 74 72 69 ...void eat(stri
15b0: 6e 67 20 6b 77 64 2c 20 6c 61 7a 79 20 73 74 72 ng kwd, lazy str
15c0: 69 6e 67 20 6d 73 67 29 0a 09 7b 0a 09 09 69 66 ing msg)..{...if
15d0: 28 20 21 74 72 79 45 61 74 28 6b 77 64 29 20 29 ( !tryEat(kwd) )
15e0: 0a 09 09 09 74 68 72 6f 77 20 63 72 65 61 74 65 ....throw create
15f0: 45 78 63 65 70 74 69 6f 6e 28 6c 65 78 2c 20 22 Exception(lex, "
1600: 27 22 7e 6b 77 64 7e 22 27 20 69 73 20 65 78 70 '"~kwd~"' is exp
1610: 65 63 74 65 64 20 22 7e 6d 73 67 7e 22 20 62 75 ected "~msg~" bu
1620: 74 20 27 22 0a 09 09 09 09 7e 28 6c 65 78 2e 65 t '".....~(lex.e
1630: 6d 70 74 79 20 3f 20 22 45 4f 46 22 20 3a 20 6c mpty ? "EOF" : l
1640: 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 7e 22 27 ex.front.str)~"'
1650: 20 6f 63 63 75 72 65 64 22 29 3b 0a 09 7d 0a 0a occured");..}..
1660: 09 62 6f 6f 6c 20 74 72 79 45 61 74 28 73 74 72 .bool tryEat(str
1670: 69 6e 67 20 6b 77 64 29 0a 09 7b 0a 09 09 69 66 ing kwd)..{...if
1680: 28 20 6c 65 78 2e 65 6d 70 74 79 20 7c 7c 20 6c ( lex.empty || l
1690: 65 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 ex.front.quoted
16a0: 7c 7c 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 || lex.front.str
16b0: 21 3d 6b 77 64 20 29 0a 09 09 09 72 65 74 75 72 !=kwd )....retur
16c0: 6e 20 66 61 6c 73 65 3b 0a 09 09 6c 65 78 2e 70 n false;...lex.p
16d0: 6f 70 46 72 6f 6e 74 3b 0a 09 09 72 65 74 75 72 opFront;...retur
16e0: 6e 20 74 72 75 65 3b 0a 09 7d 0a 0d 0a 09 73 74 n true;..}....st
16f0: 72 69 6e 67 20 65 61 74 49 64 28 6c 61 7a 79 20 ring eatId(lazy
1700: 73 74 72 69 6e 67 20 6d 73 67 29 0d 0a 09 7b 0d string msg)...{.
1710: 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 ...if( lex.empty
1720: 20 7c 7c 20 6c 65 78 2e 66 72 6f 6e 74 2e 71 75 || lex.front.qu
1730: 6f 74 65 64 20 29 0d 0a 09 09 09 74 68 72 6f 77 oted ).....throw
1740: 20 63 72 65 61 74 65 45 78 63 65 70 74 69 6f 6e createException
1750: 28 6c 65 78 2c 20 22 69 64 65 6e 74 69 66 69 65 (lex, "identifie
1760: 72 20 69 73 20 65 78 70 65 63 74 65 64 20 62 75 r is expected bu
1770: 74 20 6e 6f 74 20 66 6f 75 6e 64 20 22 7e 6d 73 t not found "~ms
1780: 67 29 3b 0d 0a 09 09 73 74 72 69 6e 67 20 69 64 g);....string id
1790: 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 = lex.front.str
17a0: 3b 0d 0a 09 09 6c 65 78 2e 70 6f 70 46 72 6f 6e ;....lex.popFron
17b0: 74 3b 0d 0a 09 09 72 65 74 75 72 6e 20 69 64 3b t;....return id;
17c0: 0d 0a 09 7d 0d 0a 0a 09 62 6f 6f 6c 20 69 73 4e ...}....bool isN
17d0: 75 6d 62 65 72 28 73 74 72 69 6e 67 20 73 29 0a umber(string s).
17e0: 09 7b 0a 09 09 72 65 74 75 72 6e 20 66 69 6e 64 .{...return find
17f0: 21 28 60 61 3c 27 30 27 7c 7c 27 39 27 3c 61 60 !(`a<'0'||'9'<a`
1800: 29 28 73 29 2e 65 6d 70 74 79 3b 0a 09 7d 0d 0a )(s).empty;..}..
1810: 0d 0a 09 41 53 54 20 64 6f 4e 6f 74 68 69 6e 67 ...AST doNothing
1820: 45 78 70 72 65 73 73 69 6f 6e 28 29 0d 0a 09 7b Expression()...{
1830: 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 ....return new I
1840: 6e 74 4c 69 74 65 72 61 6c 28 6c 65 78 2e 65 6d ntLiteral(lex.em
1850: 70 74 79 3f 6e 75 6c 6c 3a 6c 65 78 2e 66 72 6f pty?null:lex.fro
1860: 6e 74 2e 70 6f 73 2c 20 42 69 67 49 6e 74 28 31 nt.pos, BigInt(1
1870: 37 38 29 29 3b 0d 0a 09 7d 0a 7d 0a 0a 75 6e 69 78));...}.}..uni
1880: 74 74 65 73 74 0a 7b 0d 0a 09 6d 69 78 69 6e 20 ttest.{...mixin
1890: 45 61 73 79 41 53 54 3b 0d 0a 0d 0a 09 61 73 73 EasyAST;.....ass
18a0: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
18b0: 6e 67 28 60 31 32 33 60 29 2c 20 69 6e 74 6c 28 ng(`123`), intl(
18c0: 31 32 33 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 123));...assert_
18d0: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
18e0: 22 66 6f 6f 22 60 29 2c 20 73 74 72 6c 28 22 66 "foo"`), strl("f
18f0: 6f 6f 22 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f oo"));...assert_
1900: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
1910: 66 75 6e 28 29 7b 31 7d 60 29 2c 20 66 75 6e 28 fun(){1}`), fun(
1920: 5b 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 [],intl(1)));...
1930: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
1940: 74 72 69 6e 67 28 60 66 75 6e 28 78 29 7b 31 7d tring(`fun(x){1}
1950: 60 29 2c 20 66 75 6e 28 5b 22 78 22 5d 2c 69 6e `), fun(["x"],in
1960: 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(1)));...asser
1970: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
1980: 28 22 5c 75 30 33 42 42 28 29 7b 31 7d 22 29 2c ("\u03BB(){1}"),
1990: 20 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 31 29 29 fun([],intl(1))
19a0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
19b0: 61 72 73 65 53 74 72 69 6e 67 28 22 5c 75 30 33 arseString("\u03
19c0: 42 42 28 78 29 7b 31 7d 22 29 2c 20 66 75 6e 28 BB(x){1}"), fun(
19d0: 5b 22 78 22 5d 2c 69 6e 74 6c 28 31 29 29 29 3b ["x"],intl(1)));
19e0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
19f0: 73 65 53 74 72 69 6e 67 28 60 31 3b 32 60 29 2c seString(`1;2`),
1a00: 20 6c 65 74 28 22 5f 22 2c 22 40 76 61 6c 22 2c let("_","@val",
1a10: 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 intl(1),intl(2))
1a20: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
1a30: 61 72 73 65 53 74 72 69 6e 67 28 60 31 3b 32 3b arseString(`1;2;
1a40: 60 29 2c 20 6c 65 74 28 22 5f 22 2c 22 40 76 61 `), let("_","@va
1a50: 6c 22 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 l",intl(1),intl(
1a60: 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 2)));...assert_e
1a70: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 6c q(parseString(`l
1a80: 65 74 20 78 3d 31 3b 32 60 29 2c 20 6c 65 74 28 et x=1;2`), let(
1a90: 22 78 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 69 "x","",intl(1),i
1aa0: 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 ntl(2)));...asse
1ab0: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
1ac0: 67 28 60 76 61 72 20 78 3d 31 3b 32 3b 60 29 2c g(`var x=1;2;`),
1ad0: 20 6c 65 74 28 22 78 22 2c 22 22 2c 69 6e 74 6c let("x","",intl
1ae0: 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a (1),intl(2)));..
1af0: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
1b00: 53 74 72 69 6e 67 28 60 64 65 66 20 78 3d 31 60 String(`def x=1`
1b10: 29 2c 20 6c 65 74 28 22 78 22 2c 22 22 2c 69 6e ), let("x","",in
1b20: 74 6c 28 31 29 2c 76 61 72 28 22 78 22 29 29 29 tl(1),var("x")))
1b30: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
1b40: 72 73 65 53 74 72 69 6e 67 28 60 40 76 61 6c 20 rseString(`@val
1b50: 78 3d 31 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c x=1;`), let("x",
1b60: 22 40 76 61 6c 22 2c 69 6e 74 6c 28 31 29 2c 76 "@val",intl(1),v
1b70: 61 72 28 22 78 22 29 29 29 3b 0d 0a 09 61 73 73 ar("x")));...ass
1b80: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
1b90: 6e 67 28 60 40 74 79 70 20 78 3d 22 23 69 6e 74 ng(`@typ x="#int
1ba0: 22 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 40 ";`), let("x","@
1bb0: 74 79 70 22 2c 73 74 72 6c 28 22 23 69 6e 74 22 typ",strl("#int"
1bc0: 29 2c 76 61 72 28 22 78 22 29 29 29 3b 0d 0a 09 ),var("x")));...
1bd0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
1be0: 74 72 69 6e 67 28 60 66 28 31 2c 32 29 60 29 2c tring(`f(1,2)`),
1bf0: 20 63 61 6c 6c 28 76 61 72 28 22 66 22 29 2c 69 call(var("f"),i
1c00: 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 ntl(1),intl(2)))
1c10: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
1c20: 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 31 29 rseString(`if(1)
1c30: 7b 32 7d 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 {2}`), call(var(
1c40: 22 69 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 75 "if"),intl(1),fu
1c50: 6e 28 5b 5d 2c 69 6e 74 6c 28 32 29 29 2c 66 75 n([],intl(2)),fu
1c60: 6e 28 5b 5d 2c 69 6e 74 6c 28 31 37 38 29 29 29 n([],intl(178)))
1c70: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
1c80: 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 31 arseString(`if(1
1c90: 29 7b 32 7d 65 6c 73 65 7b 33 7d 60 29 2c 20 63 ){2}else{3}`), c
1ca0: 61 6c 6c 28 76 61 72 28 22 69 66 22 29 2c 69 6e all(var("if"),in
1cb0: 74 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 tl(1),fun([],int
1cc0: 6c 28 32 29 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 l(2)),fun([],int
1cd0: 6c 28 33 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 l(3))));...asser
1ce0: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
1cf0: 28 60 69 66 28 31 29 7b 7d 65 6c 73 65 7b 33 7d (`if(1){}else{3}
1d00: 28 29 28 29 60 29 2c 0d 0a 09 09 63 61 6c 6c 28 ()()`),....call(
1d10: 63 61 6c 6c 28 63 61 6c 6c 28 76 61 72 28 22 69 call(call(var("i
1d20: 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e 28 f"),intl(1),fun(
1d30: 5b 5d 2c 69 6e 74 6c 28 31 37 38 29 29 2c 66 75 [],intl(178)),fu
1d40: 6e 28 5b 5d 2c 69 6e 74 6c 28 33 29 29 29 29 29 n([],intl(3)))))
1d50: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
1d60: 61 72 73 65 53 74 72 69 6e 67 28 60 31 2b 32 2a arseString(`1+2*
1d70: 33 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b 3`), call(var("+
1d80: 22 29 2c 69 6e 74 6c 28 31 29 2c 63 61 6c 6c 28 "),intl(1),call(
1d90: 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c 28 32 29 var("*"),intl(2)
1da0: 2c 69 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 09 61 ,intl(3))));...a
1db0: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
1dc0: 72 69 6e 67 28 60 28 31 2b 32 29 2a 33 60 29 2c ring(`(1+2)*3`),
1dd0: 20 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c 63 call(var("*"),c
1de0: 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 6e 74 all(var("+"),int
1df0: 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 2c 69 6e l(1),intl(2)),in
1e00: 74 6c 28 33 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(3)));...asser
1e10: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
1e20: 28 60 31 2a 28 32 2b 33 29 60 29 2c 20 63 61 6c (`1*(2+3)`), cal
1e30: 6c 28 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c 28 l(var("*"),intl(
1e40: 31 29 2c 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 1),call(var("+")
1e50: 2c 69 6e 74 6c 28 32 29 2c 69 6e 74 6c 28 33 29 ,intl(2),intl(3)
1e60: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
1e70: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2a (parseString(`1*
1e80: 32 2b 33 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 2+3`), call(var(
1e90: 22 2b 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 2a "+"),call(var("*
1ea0: 22 29 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 "),intl(1),intl(
1eb0: 32 29 29 2c 69 6e 74 6c 28 33 29 29 29 3b 0d 0a 2)),intl(3)));..
1ec0: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
1ed0: 53 74 72 69 6e 67 28 60 40 78 28 31 29 60 29 2c String(`@x(1)`),
1ee0: 20 6c 61 79 28 22 40 78 22 2c 20 69 6e 74 6c 28 lay("@x", intl(
1ef0: 31 29 29 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 1)));.....assert
1f00: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
1f10: 60 0d 0a 09 09 6c 65 74 20 78 20 3d 20 31 30 30 `....let x = 100
1f20: 3b 20 23 63 6f 6d 6d 65 6e 74 0d 0a 09 09 6c 65 ; #comment....le
1f30: 74 20 79 20 3d 20 32 30 30 3b 20 23 63 6f 6d 6d t y = 200; #comm
1f40: 65 6e 74 21 21 21 21 21 0d 0a 09 09 09 78 2b 79 ent!!!!!.....x+y
1f50: 0d 0a 09 60 29 2c 0d 0a 09 09 6c 65 74 28 22 78 ...`),....let("x
1f60: 22 2c 20 22 22 2c 20 69 6e 74 6c 28 31 30 30 29 ", "", intl(100)
1f70: 2c 20 6c 65 74 28 22 79 22 2c 20 22 22 2c 20 69 , let("y", "", i
1f80: 6e 74 6c 28 32 30 30 29 2c 20 63 61 6c 6c 28 76 ntl(200), call(v
1f90: 61 72 28 22 2b 22 29 2c 20 76 61 72 28 22 78 22 ar("+"), var("x"
1fa0: 29 2c 20 76 61 72 28 22 79 22 29 29 29 29 0d 0a ), var("y"))))..
1fb0: 09 29 3b 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 .);....assert_eq
1fc0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 0d 0a (parseString(`..
1fd0: 09 09 76 61 72 20 66 61 63 20 3d 20 66 75 6e 28 ..var fac = fun(
1fe0: 78 29 7b 20 69 66 28 78 20 3c 3d 20 31 29 20 7b x){ if(x <= 1) {
1ff0: 31 7d 20 65 6c 73 65 20 7b 78 2a 66 61 63 28 78 1} else {x*fac(x
2000: 2d 31 29 7d 20 7d 3b 0d 0a 09 09 66 61 63 28 31 -1)} };....fac(1
2010: 30 29 0a 09 60 29 2c 0d 0a 09 09 6c 65 74 28 22 0)..`),....let("
2020: 66 61 63 22 2c 20 22 22 2c 20 66 75 6e 28 5b 22 fac", "", fun(["
2030: 78 22 5d 2c 0d 0a 09 09 09 63 61 6c 6c 28 76 61 x"],.....call(va
2040: 72 28 22 69 66 22 29 2c 0d 0a 09 09 09 09 63 61 r("if"),......ca
2050: 6c 6c 28 76 61 72 28 22 3c 3d 22 29 2c 20 76 61 ll(var("<="), va
2060: 72 28 22 78 22 29 2c 20 69 6e 74 6c 28 31 29 29 r("x"), intl(1))
2070: 2c 0d 0a 09 09 09 09 66 75 6e 28 5b 5d 2c 20 69 ,......fun([], i
2080: 6e 74 6c 28 31 29 29 2c 0d 0a 09 09 09 09 66 75 ntl(1)),......fu
2090: 6e 28 5b 5d 2c 20 63 61 6c 6c 28 76 61 72 28 22 n([], call(var("
20a0: 2a 22 29 2c 20 76 61 72 28 22 78 22 29 2c 20 63 *"), var("x"), c
20b0: 61 6c 6c 28 76 61 72 28 22 66 61 63 22 29 2c 63 all(var("fac"),c
20c0: 61 6c 6c 28 76 61 72 28 22 2d 22 29 2c 76 61 72 all(var("-"),var
20d0: 28 22 78 22 29 2c 69 6e 74 6c 28 31 29 29 29 29 ("x"),intl(1))))
20e0: 29 0d 0a 09 09 09 29 29 2c 0d 0a 09 09 09 63 61 ).....)),.....ca
20f0: 6c 6c 28 76 61 72 28 22 66 61 63 22 29 2c 69 6e ll(var("fac"),in
2100: 74 6c 28 31 30 29 29 0d 0a 09 09 29 0d 0a 09 29 tl(10))....)...)
2110: 3b 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d ;.}....unittest.
2120: 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f .{...assert_thro
2130: 77 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e w!ParseException
2140: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2b (parseString(`1+
2150: 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 `));...assert_th
2160: 72 6f 77 21 50 61 72 73 65 45 78 63 65 70 74 69 row!ParseExcepti
2170: 6f 6e 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 on(parseString(`
2180: 31 2b 32 7d 60 29 29 3b 0d 0a 09 61 73 73 65 72 1+2}`));...asser
2190: 74 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 t_throw!ParseExc
21a0: 65 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 eption(parseStri
21b0: 6e 67 28 60 6c 65 74 20 22 78 22 60 29 29 3b 0d ng(`let "x"`));.
21c0: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 50 ..assert_throw!P
21d0: 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 61 arseException(pa
21e0: 72 73 65 53 74 72 69 6e 67 28 60 76 61 72 60 29 rseString(`var`)
21f0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
2200: 77 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e w!ParseException
2210: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 40 76 (parseString(`@v
2220: 61 6c 20 78 20 3d 3d 60 29 29 3b 0d 0a 09 61 73 al x ==`));...as
2230: 73 65 72 74 5f 74 68 72 6f 77 21 50 61 72 73 65 sert_throw!Parse
2240: 45 78 63 65 70 74 69 6f 6e 28 70 61 72 73 65 53 Exception(parseS
2250: 74 72 69 6e 67 28 60 69 66 28 29 7b 31 7d 60 29 tring(`if(){1}`)
2260: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
2270: 77 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e w!ParseException
2280: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 66 28 (parseString(`f(
2290: 60 29 29 3b 0d 0a 7d 0d 0a `));..}..