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 22 29 3b 20 2f 2f 20 22 kwd : ""); // "
0790: 6c 65 74 2c 20 76 61 72 2c 20 64 65 66 20 3d 3d let, var, def ==
07a0: 3e 20 6e 65 75 74 72 61 6c 20 6c 61 79 65 72 22 > neutral layer"
07b0: 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 45 28 .....auto e = E(
07c0: 30 29 3b 0d 0a 09 09 09 69 66 28 20 74 72 79 45 0);.....if( tryE
07d0: 61 74 28 22 3b 22 29 20 26 26 20 21 6c 65 78 2e at(";") && !lex.
07e0: 65 6d 70 74 79 20 26 26 20 28 6c 65 78 2e 66 72 empty && (lex.fr
07f0: 6f 6e 74 2e 71 75 6f 74 65 64 20 7c 7c 20 28 6c ont.quoted || (l
0800: 65 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 22 7d ex.front.str!="}
0810: 22 20 26 26 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 " && lex.front.s
0820: 74 72 21 3d 22 29 22 29 29 20 29 0d 0a 09 09 09 tr!=")")) ).....
0830: 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 45 .return new LetE
0840: 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 76 xpression(pos, v
0850: 61 72 2c 20 6b 77 64 2c 20 65 2c 20 42 6f 64 79 ar, kwd, e, Body
0860: 28 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 ());.....else...
0870: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 ...return new Le
0880: 74 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c tExpression(pos,
0890: 20 76 61 72 2c 20 6b 77 64 2c 20 65 2c 20 6e 65 var, kwd, e, ne
08a0: 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 w VarExpression(
08b0: 76 61 72 70 6f 73 2c 20 76 61 72 29 29 3b 0d 0a varpos, var));..
08c0: 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 7b ..}....else....{
08d0: 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 45 28 .....auto e = E(
08e0: 30 29 3b 0d 0a 09 09 09 69 66 28 20 74 72 79 45 0);.....if( tryE
08f0: 61 74 28 22 3b 22 29 20 26 26 20 21 6c 65 78 2e at(";") && !lex.
0900: 65 6d 70 74 79 20 26 26 20 28 6c 65 78 2e 66 72 empty && (lex.fr
0910: 6f 6e 74 2e 71 75 6f 74 65 64 20 7c 7c 20 28 6c ont.quoted || (l
0920: 65 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 22 7d ex.front.str!="}
0930: 22 20 26 26 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 " && lex.front.s
0940: 74 72 21 3d 22 29 22 29 29 20 29 0d 0a 09 09 09 tr!=")")) ).....
0950: 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 45 .return new LetE
0960: 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 22 xpression(pos, "
0970: 5f 22 2c 20 22 40 76 61 6c 22 2c 20 65 2c 20 42 _", "@val", e, B
0980: 6f 64 79 28 29 29 3b 0d 0a 09 09 09 65 6c 73 65 ody());.....else
0990: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 65 3b 0d ......return e;.
09a0: 0a 09 09 7d 0d 0a 09 7d 0a 0a 09 2f 2f 20 5b 54 ...}...}...// [T
09b0: 4f 44 4f 5d 20 6d 61 6b 65 20 63 75 73 74 6f 6d ODO] make custom
09c0: 69 7a 61 62 6c 65 20 66 72 6f 6d 20 70 72 6f 67 izable from prog
09d0: 72 61 6d 0a 09 73 74 61 74 69 63 20 69 6d 6d 75 ram..static immu
09e0: 74 61 62 6c 65 20 73 74 72 69 6e 67 5b 5d 5b 5d table string[][]
09f0: 20 6f 70 65 72 61 74 6f 72 5f 70 65 72 66 65 72 operator_perfer
0a00: 65 6e 63 65 73 20 3d 20 5b 0a 09 09 5b 22 7c 7c ences = [...["||
0a10: 22 5d 2c 0a 09 09 5b 22 26 26 22 5d 2c 0a 09 09 "],...["&&"],...
0a20: 5b 22 21 3d 22 5d 2c 0a 09 09 5b 22 3d 3d 22 5d ["!="],...["=="]
0a30: 2c 0a 09 09 5b 22 3c 22 2c 22 3c 3d 22 2c 22 3e ,...["<","<=",">
0a40: 22 2c 22 3e 3d 22 5d 2c 0a 09 09 5b 22 7c 22 5d ",">="],...["|"]
0a50: 2c 0a 09 09 5b 22 5e 22 5d 2c 0a 09 09 5b 22 26 ,...["^"],...["&
0a60: 22 5d 2c 0a 09 09 5b 22 3c 3c 22 2c 20 22 3e 3e "],...["<<", ">>
0a70: 22 5d 2c 0a 09 09 5b 22 2b 22 2c 22 2d 22 5d 2c "],...["+","-"],
0a80: 0d 0a 09 09 5b 22 7e 22 5d 2c 0d 0a 09 09 5b 22 ....["~"],....["
0a90: 2a 22 2c 22 2f 22 2c 22 25 22 5d 2c 0d 0a 09 09 *","/","%"],....
0aa0: 5b 22 5e 5e 22 5d 0d 0a 09 5d 3b 0a 0a 09 41 53 ["^^"]...];...AS
0ab0: 54 20 45 28 69 6e 74 20 6c 65 76 65 6c 29 0a 09 T E(int level)..
0ac0: 7b 0a 09 09 69 66 28 20 6f 70 65 72 61 74 6f 72 {...if( operator
0ad0: 5f 70 65 72 66 65 72 65 6e 63 65 73 2e 6c 65 6e _perferences.len
0ae0: 67 74 68 20 3c 3d 20 6c 65 76 65 6c 20 29 0a 09 gth <= level )..
0af0: 09 09 72 65 74 75 72 6e 20 46 75 6e 63 61 6c 6c ..return Funcall
0b00: 28 29 3b 0a 09 09 65 6c 73 65 0a 09 09 7b 0a 09 ();...else...{..
0b10: 09 09 61 75 74 6f 20 6f 70 73 20 3d 20 6f 70 65 ..auto ops = ope
0b20: 72 61 74 6f 72 5f 70 65 72 66 65 72 65 6e 63 65 rator_perference
0b30: 73 5b 6c 65 76 65 6c 5d 3b 0a 09 09 09 61 75 74 s[level];....aut
0b40: 6f 20 65 20 3d 20 45 28 6c 65 76 65 6c 2b 31 29 o e = E(level+1)
0b50: 3b 0a 09 09 73 65 71 3a 0a 09 09 09 77 68 69 6c ;...seq:....whil
0b60: 65 28 20 21 6c 65 78 2e 65 6d 70 74 79 20 29 0a e( !lex.empty ).
0b70: 09 09 09 7b 0a 09 09 09 09 61 75 74 6f 20 70 6f ...{.....auto po
0b80: 73 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f s = lex.front.po
0b90: 73 3b 0a 09 09 09 09 66 6f 72 65 61 63 68 28 6f s;.....foreach(o
0ba0: 70 3b 20 6f 70 73 29 0a 09 09 09 09 09 69 66 28 p; ops)......if(
0bb0: 20 74 72 79 45 61 74 28 6f 70 29 20 29 0a 09 09 tryEat(op) )...
0bc0: 09 09 09 7b 0a 09 09 09 09 09 09 65 20 3d 20 6e ...{.......e = n
0bd0: 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 ew FuncallExpres
0be0: 73 69 6f 6e 28 65 2e 70 6f 73 2c 20 6e 65 77 20 sion(e.pos, new
0bf0: 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 70 6f VarExpression(po
0c00: 73 2c 20 6f 70 29 2c 20 65 2c 20 45 28 6c 65 76 s, op), e, E(lev
0c10: 65 6c 2b 31 29 29 3b 0a 09 09 09 09 09 09 63 6f el+1));.......co
0c20: 6e 74 69 6e 75 65 20 73 65 71 3b 0a 09 09 09 09 ntinue seq;.....
0c30: 09 7d 0a 09 09 09 09 62 72 65 61 6b 3b 0a 09 09 .}.....break;...
0c40: 09 7d 0a 09 09 09 72 65 74 75 72 6e 20 65 3b 0a .}....return e;.
0c50: 09 09 7d 0a 09 7d 0a 0a 09 41 53 54 20 46 75 6e ..}..}...AST Fun
0c60: 63 61 6c 6c 28 29 0a 09 7b 0a 09 09 61 75 74 6f call()..{...auto
0c70: 20 65 20 3d 20 42 61 73 65 45 78 70 72 65 73 73 e = BaseExpress
0c80: 69 6f 6e 28 29 3b 0a 09 09 77 68 69 6c 65 28 20 ion();...while(
0c90: 74 72 79 45 61 74 28 22 28 22 29 20 29 0a 09 09 tryEat("(") )...
0ca0: 7b 0d 0a 09 09 09 41 53 54 5b 5d 20 61 72 67 73 {.....AST[] args
0cb0: 3b 0a 09 09 09 77 68 69 6c 65 28 20 21 74 72 79 ;....while( !try
0cc0: 45 61 74 28 22 29 22 29 20 29 20 7b 0a 09 09 09 Eat(")") ) {....
0cd0: 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 .if( lex.empty )
0ce0: 0d 0a 09 09 09 09 09 74 68 72 6f 77 20 63 72 65 .......throw cre
0cf0: 61 74 65 45 78 63 65 70 74 69 6f 6e 28 6c 65 78 ateException(lex
0d00: 2c 22 55 6e 65 78 70 65 63 74 65 64 20 45 4f 46 ,"Unexpected EOF
0d10: 22 29 3b 0a 09 09 09 09 61 72 67 73 20 7e 3d 20 ");.....args ~=
0d20: 45 28 30 29 3b 0d 0a 09 09 09 09 69 66 28 20 21 E(0);......if( !
0d30: 74 72 79 45 61 74 28 22 2c 22 29 20 29 20 7b 0a tryEat(",") ) {.
0d40: 09 09 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 .....eat(")", "a
0d50: 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 fter function pa
0d60: 72 61 6d 65 74 65 72 73 22 29 3b 0a 09 09 09 09 rameters");.....
0d70: 09 62 72 65 61 6b 3b 0a 09 09 09 09 7d 0a 09 09 .break;.....}...
0d80: 09 7d 0a 09 09 09 65 20 3d 20 6e 65 77 20 46 75 .}....e = new Fu
0d90: 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 ncallExpression(
0da0: 65 2e 70 6f 73 2c 20 65 2c 20 61 72 67 73 29 3b e.pos, e, args);
0db0: 0a 09 09 7d 0a 09 09 72 65 74 75 72 6e 20 65 3b ...}...return e;
0dc0: 0a 09 7d 0a 0a 09 41 53 54 20 42 61 73 65 45 78 ..}...AST BaseEx
0dd0: 70 72 65 73 73 69 6f 6e 28 29 0a 09 7b 0a 09 09 pression()..{...
0de0: 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d if( lex.empty ).
0df0: 0a 09 09 09 74 68 72 6f 77 20 63 72 65 61 74 65 ....throw create
0e00: 45 78 63 65 70 74 69 6f 6e 28 6c 65 78 2c 20 22 Exception(lex, "
0e10: 52 65 61 63 68 65 64 20 45 4f 46 20 77 68 65 6e Reached EOF when
0e20: 20 74 72 69 65 64 20 74 6f 20 70 61 72 73 65 20 tried to parse
0e30: 61 6e 20 65 78 70 72 65 73 73 69 6f 6e 22 29 3b an expression");
0e40: 0d 0a 0d 0a 09 09 61 75 74 6f 20 70 6f 73 20 3d ......auto pos =
0e50: 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0a lex.front.pos;.
0e60: 09 09 69 66 28 20 6c 65 78 2e 66 72 6f 6e 74 2e ..if( lex.front.
0e70: 71 75 6f 74 65 64 20 29 0a 09 09 7b 0a 09 09 09 quoted )...{....
0e80: 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e scope(exit) lex.
0e90: 70 6f 70 46 72 6f 6e 74 3b 0a 09 09 09 72 65 74 popFront;....ret
0ea0: 75 72 6e 20 6e 65 77 20 53 74 72 4c 69 74 65 72 urn new StrLiter
0eb0: 61 6c 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f 6e al(pos, lex.fron
0ec0: 74 2e 73 74 72 29 3b 0a 09 09 7d 0a 09 09 69 66 t.str);...}...if
0ed0: 28 20 69 73 4e 75 6d 62 65 72 28 6c 65 78 2e 66 ( isNumber(lex.f
0ee0: 72 6f 6e 74 2e 73 74 72 29 20 29 0a 09 09 7b 0a ront.str) )...{.
0ef0: 09 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c ...scope(exit) l
0f00: 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09 09 09 ex.popFront;....
0f10: 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 4c 69 return new IntLi
0f20: 74 65 72 61 6c 28 70 6f 73 2c 20 42 69 67 49 6e teral(pos, BigIn
0f30: 74 28 63 61 73 74 28 73 74 72 69 6e 67 29 6c 65 t(cast(string)le
0f40: 78 2e 66 72 6f 6e 74 2e 73 74 72 29 29 3b 0a 09 x.front.str));..
0f50: 09 7d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 .}...if( tryEat(
0f60: 22 28 22 29 20 29 0a 09 09 7b 0a 09 09 09 61 75 "(") )...{....au
0f70: 74 6f 20 65 20 3d 20 42 6f 64 79 28 29 3b 0a 09 to e = Body();..
0f80: 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 74 65 ..eat(")", "afte
0f90: 72 20 70 61 72 65 6e 74 68 65 73 69 7a 65 64 20 r parenthesized
0fa0: 65 78 70 72 65 73 73 69 6f 6e 22 29 3b 0a 09 09 expression");...
0fb0: 09 72 65 74 75 72 6e 20 65 3b 0a 09 09 7d 0a 09 .return e;...}..
0fc0: 09 69 66 28 20 74 72 79 45 61 74 28 22 69 66 22 .if( tryEat("if"
0fd0: 29 20 29 0a 09 09 7b 0a 09 09 09 65 61 74 28 22 ) )...{....eat("
0fe0: 28 22 2c 20 22 61 66 74 65 72 20 69 66 22 29 3b (", "after if");
0ff0: 0a 09 09 09 61 75 74 6f 20 63 6f 6e 64 20 3d 20 ....auto cond =
1000: 45 28 30 29 3b 0a 09 09 09 65 61 74 28 22 29 22 E(0);....eat(")"
1010: 2c 20 22 61 66 74 65 72 20 69 66 20 63 6f 6e 64 , "after if cond
1020: 69 74 69 6f 6e 22 29 3b 0a 09 09 09 61 75 74 6f ition");....auto
1030: 20 74 68 65 6e 50 6f 73 20 3d 20 6c 65 78 2e 66 thenPos = lex.f
1040: 72 6f 6e 74 2e 70 6f 73 3b 0a 09 09 09 65 61 74 ront.pos;....eat
1050: 28 22 7b 22 2c 20 22 61 66 74 65 72 20 69 66 20 ("{", "after if
1060: 63 6f 6e 64 69 74 69 6f 6e 22 29 3b 0a 09 09 09 condition");....
1070: 61 75 74 6f 20 74 68 20 3d 20 42 6f 64 79 28 29 auto th = Body()
1080: 3b 0a 09 09 09 65 61 74 28 22 7d 22 2c 20 22 61 ;....eat("}", "a
1090: 66 74 65 72 20 69 66 2d 74 68 65 6e 20 62 6f 64 fter if-then bod
10a0: 79 22 29 3b 0a 09 09 09 61 75 74 6f 20 65 6c 20 y");....auto el
10b0: 3d 20 64 6f 4e 6f 74 68 69 6e 67 45 78 70 72 65 = doNothingExpre
10c0: 73 73 69 6f 6e 28 29 3b 0a 09 09 09 61 75 74 6f ssion();....auto
10d0: 20 65 6c 73 65 50 6f 73 20 3d 20 28 6c 65 78 2e elsePos = (lex.
10e0: 65 6d 70 74 79 20 3f 20 4c 65 78 50 6f 73 69 74 empty ? LexPosit
10f0: 69 6f 6e 2e 64 75 6d 6d 79 20 3a 20 6c 65 78 2e ion.dummy : lex.
1100: 66 72 6f 6e 74 2e 70 6f 73 29 3b 0a 09 09 09 69 front.pos);....i
1110: 66 28 20 74 72 79 45 61 74 28 22 65 6c 73 65 22 f( tryEat("else"
1120: 29 20 29 20 7b 0a 09 09 09 09 65 61 74 28 22 7b ) ) {.....eat("{
1130: 22 2c 20 22 61 66 74 65 72 20 65 6c 73 65 22 29 ", "after else")
1140: 3b 0a 09 09 09 09 65 6c 20 3d 20 42 6f 64 79 28 ;.....el = Body(
1150: 29 3b 0a 09 09 09 09 65 61 74 28 22 7d 22 2c 20 );.....eat("}",
1160: 22 61 66 74 65 72 20 65 6c 73 65 20 62 6f 64 79 "after else body
1170: 22 29 3b 0a 09 09 09 7d 0a 09 09 09 72 65 74 75 ");....}....retu
1180: 72 6e 20 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 rn new FuncallEx
1190: 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 0a 09 pression(pos, ..
11a0: 09 09 09 6e 65 77 20 56 61 72 45 78 70 72 65 73 ...new VarExpres
11b0: 73 69 6f 6e 28 70 6f 73 2c 20 22 69 66 22 29 2c sion(pos, "if"),
11c0: 0a 09 09 09 09 63 6f 6e 64 2c 0a 09 09 09 09 6e .....cond,.....n
11d0: 65 77 20 46 75 6e 4c 69 74 65 72 61 6c 28 74 68 ew FunLiteral(th
11e0: 65 6e 50 6f 73 2c 20 5b 5d 2c 20 74 68 29 2c 0a enPos, [], th),.
11f0: 09 09 09 09 6e 65 77 20 46 75 6e 4c 69 74 65 72 ....new FunLiter
1200: 61 6c 28 65 6c 73 65 50 6f 73 2c 20 5b 5d 2c 20 al(elsePos, [],
1210: 65 6c 29 0a 09 09 09 29 3b 0a 09 09 7d 0a 09 09 el)....);...}...
1220: 69 66 28 20 74 72 79 45 61 74 28 22 66 75 6e 22 if( tryEat("fun"
1230: 29 20 7c 7c 20 74 72 79 45 61 74 28 22 5c 75 30 ) || tryEat("\u0
1240: 33 42 42 22 29 20 29 0a 09 09 7b 0a 09 09 09 65 3BB") )...{....e
1250: 61 74 28 22 28 22 2c 20 22 61 66 74 65 72 20 66 at("(", "after f
1260: 75 6e 22 29 3b 0a 09 09 09 73 74 72 69 6e 67 5b un");....string[
1270: 5d 20 70 61 72 61 6d 73 3b 0a 09 09 09 77 68 69 ] params;....whi
1280: 6c 65 28 20 21 74 72 79 45 61 74 28 22 29 22 29 le( !tryEat(")")
1290: 20 29 0a 09 09 09 7b 0a 09 09 09 09 70 61 72 61 )....{.....para
12a0: 6d 73 20 7e 3d 20 65 61 74 49 64 28 22 66 6f 72 ms ~= eatId("for
12b0: 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 function parame
12c0: 74 65 72 22 29 3b 0a 09 09 09 09 69 66 28 20 21 ter");.....if( !
12d0: 74 72 79 45 61 74 28 22 2c 22 29 20 29 20 7b 0a tryEat(",") ) {.
12e0: 09 09 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 .....eat(")", "a
12f0: 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 fter function pa
1300: 72 61 6d 65 74 65 72 73 22 29 3b 0a 09 09 09 09 rameters");.....
1310: 09 62 72 65 61 6b 3b 0a 09 09 09 09 7d 0a 09 09 .break;.....}...
1320: 09 7d 0a 09 09 09 65 61 74 28 22 7b 22 2c 20 22 .}....eat("{", "
1330: 61 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 after function p
1340: 61 72 61 6d 65 74 65 72 73 22 29 3b 0d 0a 09 09 arameters");....
1350: 09 61 75 74 6f 20 66 75 6e 62 6f 64 79 20 3d 20 .auto funbody =
1360: 42 6f 64 79 28 29 3b 0a 09 09 09 65 61 74 28 22 Body();....eat("
1370: 7d 22 2c 20 22 61 66 74 65 72 20 66 75 6e 63 74 }", "after funct
1380: 69 6f 6e 20 62 6f 64 79 22 29 3b 0d 0a 09 09 09 ion body");.....
1390: 72 65 74 75 72 6e 20 6e 65 77 20 46 75 6e 4c 69 return new FunLi
13a0: 74 65 72 61 6c 28 70 6f 73 2c 20 70 61 72 61 6d teral(pos, param
13b0: 73 2c 20 66 75 6e 62 6f 64 79 29 3b 0a 09 09 7d s, funbody);...}
13c0: 0a 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c ...scope(exit) l
13d0: 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09 09 72 ex.popFront;...r
13e0: 65 74 75 72 6e 20 6e 65 77 20 56 61 72 45 78 70 eturn new VarExp
13f0: 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6c 65 78 ression(pos, lex
1400: 2e 66 72 6f 6e 74 2e 73 74 72 29 3b 0a 09 7d 0a .front.str);..}.
1410: 0a 70 72 69 76 61 74 65 3a 0a 09 4c 65 78 65 72 .private:..Lexer
1420: 20 6c 65 78 3b 0d 0a 09 74 68 69 73 28 4c 65 78 lex;...this(Lex
1430: 65 72 20 6c 65 78 29 20 7b 20 74 68 69 73 2e 6c er lex) { this.l
1440: 65 78 20 3d 20 6c 65 78 3b 20 7d 0d 0a 0a 09 76 ex = lex; }....v
1450: 6f 69 64 20 65 61 74 28 73 74 72 69 6e 67 20 6b oid eat(string k
1460: 77 64 2c 20 6c 61 7a 79 20 73 74 72 69 6e 67 20 wd, lazy string
1470: 6d 73 67 29 0a 09 7b 0a 09 09 69 66 28 20 21 74 msg)..{...if( !t
1480: 72 79 45 61 74 28 6b 77 64 29 20 29 0a 09 09 09 ryEat(kwd) )....
1490: 74 68 72 6f 77 20 63 72 65 61 74 65 45 78 63 65 throw createExce
14a0: 70 74 69 6f 6e 28 6c 65 78 2c 20 22 27 22 7e 6b ption(lex, "'"~k
14b0: 77 64 7e 22 27 20 69 73 20 65 78 70 65 63 74 65 wd~"' is expecte
14c0: 64 20 22 7e 6d 73 67 7e 22 20 62 75 74 20 27 22 d "~msg~" but '"
14d0: 0a 09 09 09 09 7e 28 6c 65 78 2e 65 6d 70 74 79 .....~(lex.empty
14e0: 20 3f 20 22 45 4f 46 22 20 3a 20 6c 65 78 2e 66 ? "EOF" : lex.f
14f0: 72 6f 6e 74 2e 73 74 72 29 7e 22 27 20 6f 63 63 ront.str)~"' occ
1500: 75 72 65 64 22 29 3b 0a 09 7d 0a 0a 09 62 6f 6f ured");..}...boo
1510: 6c 20 74 72 79 45 61 74 28 73 74 72 69 6e 67 20 l tryEat(string
1520: 6b 77 64 29 0a 09 7b 0a 09 09 69 66 28 20 6c 65 kwd)..{...if( le
1530: 78 2e 65 6d 70 74 79 20 7c 7c 20 6c 65 78 2e 66 x.empty || lex.f
1540: 72 6f 6e 74 2e 71 75 6f 74 65 64 20 7c 7c 20 6c ront.quoted || l
1550: 65 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 6b 77 ex.front.str!=kw
1560: 64 20 29 0a 09 09 09 72 65 74 75 72 6e 20 66 61 d )....return fa
1570: 6c 73 65 3b 0a 09 09 6c 65 78 2e 70 6f 70 46 72 lse;...lex.popFr
1580: 6f 6e 74 3b 0a 09 09 72 65 74 75 72 6e 20 74 72 ont;...return tr
1590: 75 65 3b 0a 09 7d 0a 0d 0a 09 73 74 72 69 6e 67 ue;..}....string
15a0: 20 65 61 74 49 64 28 6c 61 7a 79 20 73 74 72 69 eatId(lazy stri
15b0: 6e 67 20 6d 73 67 29 0d 0a 09 7b 0d 0a 09 09 69 ng msg)...{....i
15c0: 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 7c 7c 20 f( lex.empty ||
15d0: 6c 65 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 64 lex.front.quoted
15e0: 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 63 72 65 ).....throw cre
15f0: 61 74 65 45 78 63 65 70 74 69 6f 6e 28 6c 65 78 ateException(lex
1600: 2c 20 22 69 64 65 6e 74 69 66 69 65 72 20 69 73 , "identifier is
1610: 20 65 78 70 65 63 74 65 64 20 62 75 74 20 6e 6f expected but no
1620: 74 20 66 6f 75 6e 64 20 22 7e 6d 73 67 29 3b 0d t found "~msg);.
1630: 0a 09 09 73 74 72 69 6e 67 20 69 64 20 3d 20 6c ...string id = l
1640: 65 78 2e 66 72 6f 6e 74 2e 73 74 72 3b 0d 0a 09 ex.front.str;...
1650: 09 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a .lex.popFront;..
1660: 09 09 72 65 74 75 72 6e 20 69 64 3b 0d 0a 09 7d ..return id;...}
1670: 0d 0a 0a 09 62 6f 6f 6c 20 69 73 4e 75 6d 62 65 ....bool isNumbe
1680: 72 28 73 74 72 69 6e 67 20 73 29 0a 09 7b 0a 09 r(string s)..{..
1690: 09 72 65 74 75 72 6e 20 66 69 6e 64 21 28 60 61 .return find!(`a
16a0: 3c 27 30 27 7c 7c 27 39 27 3c 61 60 29 28 73 29 <'0'||'9'<a`)(s)
16b0: 2e 65 6d 70 74 79 3b 0a 09 7d 0d 0a 0d 0a 09 41 .empty;..}.....A
16c0: 53 54 20 64 6f 4e 6f 74 68 69 6e 67 45 78 70 72 ST doNothingExpr
16d0: 65 73 73 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 ession()...{....
16e0: 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 4c 69 return new IntLi
16f0: 74 65 72 61 6c 28 6c 65 78 2e 65 6d 70 74 79 3f teral(lex.empty?
1700: 6e 75 6c 6c 3a 6c 65 78 2e 66 72 6f 6e 74 2e 70 null:lex.front.p
1710: 6f 73 2c 20 42 69 67 49 6e 74 28 31 37 38 29 29 os, BigInt(178))
1720: 3b 0d 0a 09 7d 0a 7d 0a 0a 75 6e 69 74 74 65 73 ;...}.}..unittes
1730: 74 0a 7b 0d 0a 09 6d 69 78 69 6e 20 45 61 73 79 t.{...mixin Easy
1740: 41 53 54 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f AST;.....assert_
1750: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
1760: 31 32 33 60 29 2c 20 69 6e 74 6c 28 31 32 33 29 123`), intl(123)
1770: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
1780: 61 72 73 65 53 74 72 69 6e 67 28 60 22 66 6f 6f arseString(`"foo
1790: 22 60 29 2c 20 73 74 72 6c 28 22 66 6f 6f 22 29 "`), strl("foo")
17a0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
17b0: 61 72 73 65 53 74 72 69 6e 67 28 60 66 75 6e 28 arseString(`fun(
17c0: 29 7b 31 7d 60 29 2c 20 66 75 6e 28 5b 5d 2c 69 ){1}`), fun([],i
17d0: 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 ntl(1)));...asse
17e0: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
17f0: 67 28 60 66 75 6e 28 78 29 7b 31 7d 60 29 2c 20 g(`fun(x){1}`),
1800: 66 75 6e 28 5b 22 78 22 5d 2c 69 6e 74 6c 28 31 fun(["x"],intl(1
1810: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
1820: 28 70 61 72 73 65 53 74 72 69 6e 67 28 22 5c 75 (parseString("\u
1830: 30 33 42 42 28 29 7b 31 7d 22 29 2c 20 66 75 6e 03BB(){1}"), fun
1840: 28 5b 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a ([],intl(1)));..
1850: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
1860: 53 74 72 69 6e 67 28 22 5c 75 30 33 42 42 28 78 String("\u03BB(x
1870: 29 7b 31 7d 22 29 2c 20 66 75 6e 28 5b 22 78 22 ){1}"), fun(["x"
1880: 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 61 ],intl(1)));...a
1890: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
18a0: 72 69 6e 67 28 60 31 3b 32 60 29 2c 20 6c 65 74 ring(`1;2`), let
18b0: 28 22 5f 22 2c 22 40 76 61 6c 22 2c 69 6e 74 6c ("_","@val",intl
18c0: 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a (1),intl(2)));..
18d0: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
18e0: 53 74 72 69 6e 67 28 60 31 3b 32 3b 60 29 2c 20 String(`1;2;`),
18f0: 6c 65 74 28 22 5f 22 2c 22 40 76 61 6c 22 2c 69 let("_","@val",i
1900: 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 ntl(1),intl(2)))
1910: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
1920: 72 73 65 53 74 72 69 6e 67 28 60 6c 65 74 20 78 rseString(`let x
1930: 3d 31 3b 32 60 29 2c 20 6c 65 74 28 22 78 22 2c =1;2`), let("x",
1940: 22 22 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 "",intl(1),intl(
1950: 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 2)));...assert_e
1960: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 76 q(parseString(`v
1970: 61 72 20 78 3d 31 3b 32 3b 60 29 2c 20 6c 65 74 ar x=1;2;`), let
1980: 28 22 78 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c ("x","",intl(1),
1990: 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 intl(2)));...ass
19a0: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
19b0: 6e 67 28 60 64 65 66 20 78 3d 31 60 29 2c 20 6c ng(`def x=1`), l
19c0: 65 74 28 22 78 22 2c 22 22 2c 69 6e 74 6c 28 31 et("x","",intl(1
19d0: 29 2c 76 61 72 28 22 78 22 29 29 29 3b 0d 0a 09 ),var("x")));...
19e0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
19f0: 74 72 69 6e 67 28 60 40 76 61 6c 20 78 3d 31 3b tring(`@val x=1;
1a00: 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 40 76 61 `), let("x","@va
1a10: 6c 22 2c 69 6e 74 6c 28 31 29 2c 76 61 72 28 22 l",intl(1),var("
1a20: 78 22 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f x")));...assert_
1a30: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
1a40: 40 74 79 70 20 78 3d 22 23 69 6e 74 22 3b 60 29 @typ x="#int";`)
1a50: 2c 20 6c 65 74 28 22 78 22 2c 22 40 74 79 70 22 , let("x","@typ"
1a60: 2c 73 74 72 6c 28 22 23 69 6e 74 22 29 2c 76 61 ,strl("#int"),va
1a70: 72 28 22 78 22 29 29 29 3b 0d 0a 09 61 73 73 65 r("x")));...asse
1a80: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
1a90: 67 28 60 66 28 31 2c 32 29 60 29 2c 20 63 61 6c g(`f(1,2)`), cal
1aa0: 6c 28 76 61 72 28 22 66 22 29 2c 69 6e 74 6c 28 l(var("f"),intl(
1ab0: 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 1),intl(2)));...
1ac0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
1ad0: 74 72 69 6e 67 28 60 69 66 28 31 29 7b 32 7d 60 tring(`if(1){2}`
1ae0: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 69 66 22 ), call(var("if"
1af0: 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d ),intl(1),fun([]
1b00: 2c 69 6e 74 6c 28 32 29 29 2c 66 75 6e 28 5b 5d ,intl(2)),fun([]
1b10: 2c 69 6e 74 6c 28 31 37 38 29 29 29 29 3b 0d 0a ,intl(178))));..
1b20: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
1b30: 53 74 72 69 6e 67 28 60 69 66 28 31 29 7b 32 7d String(`if(1){2}
1b40: 65 6c 73 65 7b 33 7d 60 29 2c 20 63 61 6c 6c 28 else{3}`), call(
1b50: 76 61 72 28 22 69 66 22 29 2c 69 6e 74 6c 28 31 var("if"),intl(1
1b60: 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 32 29 ),fun([],intl(2)
1b70: 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 33 29 ),fun([],intl(3)
1b80: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
1b90: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 (parseString(`if
1ba0: 28 31 29 7b 7d 65 6c 73 65 7b 33 7d 28 29 28 29 (1){}else{3}()()
1bb0: 60 29 2c 0d 0a 09 09 63 61 6c 6c 28 63 61 6c 6c `),....call(call
1bc0: 28 63 61 6c 6c 28 76 61 72 28 22 69 66 22 29 2c (call(var("if"),
1bd0: 69 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c 69 intl(1),fun([],i
1be0: 6e 74 6c 28 31 37 38 29 29 2c 66 75 6e 28 5b 5d ntl(178)),fun([]
1bf0: 2c 69 6e 74 6c 28 33 29 29 29 29 29 29 3b 0d 0a ,intl(3))))));..
1c00: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
1c10: 53 74 72 69 6e 67 28 60 31 2b 32 2a 33 60 29 2c String(`1+2*3`),
1c20: 20 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 call(var("+"),i
1c30: 6e 74 6c 28 31 29 2c 63 61 6c 6c 28 76 61 72 28 ntl(1),call(var(
1c40: 22 2a 22 29 2c 69 6e 74 6c 28 32 29 2c 69 6e 74 "*"),intl(2),int
1c50: 6c 28 33 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 l(3))));...asser
1c60: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
1c70: 28 60 28 31 2b 32 29 2a 33 60 29 2c 20 63 61 6c (`(1+2)*3`), cal
1c80: 6c 28 76 61 72 28 22 2a 22 29 2c 63 61 6c 6c 28 l(var("*"),call(
1c90: 76 61 72 28 22 2b 22 29 2c 69 6e 74 6c 28 31 29 var("+"),intl(1)
1ca0: 2c 69 6e 74 6c 28 32 29 29 2c 69 6e 74 6c 28 33 ,intl(2)),intl(3
1cb0: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
1cc0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2a (parseString(`1*
1cd0: 28 32 2b 33 29 60 29 2c 20 63 61 6c 6c 28 76 61 (2+3)`), call(va
1ce0: 72 28 22 2a 22 29 2c 69 6e 74 6c 28 31 29 2c 63 r("*"),intl(1),c
1cf0: 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 6e 74 all(var("+"),int
1d00: 6c 28 32 29 2c 69 6e 74 6c 28 33 29 29 29 29 3b l(2),intl(3))));
1d10: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
1d20: 73 65 53 74 72 69 6e 67 28 60 31 2a 32 2b 33 60 seString(`1*2+3`
1d30: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 ), call(var("+")
1d40: 2c 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c 69 ,call(var("*"),i
1d50: 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 2c ntl(1),intl(2)),
1d60: 69 6e 74 6c 28 33 29 29 29 3b 0d 0a 0d 0a 09 61 intl(3)));.....a
1d70: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
1d80: 72 69 6e 67 28 60 0d 0a 09 09 6c 65 74 20 78 20 ring(`....let x
1d90: 3d 20 31 30 30 3b 20 23 63 6f 6d 6d 65 6e 74 0d = 100; #comment.
1da0: 0a 09 09 6c 65 74 20 79 20 3d 20 32 30 30 3b 20 ...let y = 200;
1db0: 23 63 6f 6d 6d 65 6e 74 21 21 21 21 21 0d 0a 09 #comment!!!!!...
1dc0: 09 09 78 2b 79 0d 0a 09 60 29 2c 0d 0a 09 09 6c ..x+y...`),....l
1dd0: 65 74 28 22 78 22 2c 20 22 22 2c 20 69 6e 74 6c et("x", "", intl
1de0: 28 31 30 30 29 2c 20 6c 65 74 28 22 79 22 2c 20 (100), let("y",
1df0: 22 22 2c 20 69 6e 74 6c 28 32 30 30 29 2c 20 63 "", intl(200), c
1e00: 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 20 76 61 all(var("+"), va
1e10: 72 28 22 78 22 29 2c 20 76 61 72 28 22 79 22 29 r("x"), var("y")
1e20: 29 29 29 0d 0a 09 29 3b 0a 0d 0a 09 61 73 73 65 )))...);....asse
1e30: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
1e40: 67 28 60 0d 0a 09 09 76 61 72 20 66 61 63 20 3d g(`....var fac =
1e50: 20 66 75 6e 28 78 29 7b 20 69 66 28 78 20 3c 3d fun(x){ if(x <=
1e60: 20 31 29 20 7b 31 7d 20 65 6c 73 65 20 7b 78 2a 1) {1} else {x*
1e70: 66 61 63 28 78 2d 31 29 7d 20 7d 3b 0d 0a 09 09 fac(x-1)} };....
1e80: 66 61 63 28 31 30 29 0a 09 60 29 2c 0d 0a 09 09 fac(10)..`),....
1e90: 6c 65 74 28 22 66 61 63 22 2c 20 22 22 2c 20 66 let("fac", "", f
1ea0: 75 6e 28 5b 22 78 22 5d 2c 0d 0a 09 09 09 63 61 un(["x"],.....ca
1eb0: 6c 6c 28 76 61 72 28 22 69 66 22 29 2c 0d 0a 09 ll(var("if"),...
1ec0: 09 09 09 63 61 6c 6c 28 76 61 72 28 22 3c 3d 22 ...call(var("<="
1ed0: 29 2c 20 76 61 72 28 22 78 22 29 2c 20 69 6e 74 ), var("x"), int
1ee0: 6c 28 31 29 29 2c 0d 0a 09 09 09 09 66 75 6e 28 l(1)),......fun(
1ef0: 5b 5d 2c 20 69 6e 74 6c 28 31 29 29 2c 0d 0a 09 [], intl(1)),...
1f00: 09 09 09 66 75 6e 28 5b 5d 2c 20 63 61 6c 6c 28 ...fun([], call(
1f10: 76 61 72 28 22 2a 22 29 2c 20 76 61 72 28 22 78 var("*"), var("x
1f20: 22 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 66 61 "), call(var("fa
1f30: 63 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 2d 22 c"),call(var("-"
1f40: 29 2c 76 61 72 28 22 78 22 29 2c 69 6e 74 6c 28 ),var("x"),intl(
1f50: 31 29 29 29 29 29 0d 0a 09 09 09 29 29 2c 0d 0a 1))))).....)),..
1f60: 09 09 09 63 61 6c 6c 28 76 61 72 28 22 66 61 63 ...call(var("fac
1f70: 22 29 2c 69 6e 74 6c 28 31 30 29 29 0d 0a 09 09 "),intl(10))....
1f80: 29 0d 0a 09 29 3b 0a 7d 0d 0a 0d 0a 75 6e 69 74 )...);.}....unit
1f90: 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 test..{...assert
1fa0: 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 _throw!ParseExce
1fb0: 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e ption(parseStrin
1fc0: 67 28 60 31 2b 60 29 29 3b 0d 0a 09 61 73 73 65 g(`1+`));...asse
1fd0: 72 74 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78 rt_throw!ParseEx
1fe0: 63 65 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72 ception(parseStr
1ff0: 69 6e 67 28 60 31 2b 32 7d 60 29 29 3b 0d 0a 09 ing(`1+2}`));...
2000: 61 73 73 65 72 74 5f 74 68 72 6f 77 21 50 61 72 assert_throw!Par
2010: 73 65 45 78 63 65 70 74 69 6f 6e 28 70 61 72 73 seException(pars
2020: 65 53 74 72 69 6e 67 28 60 6c 65 74 20 22 78 22 eString(`let "x"
2030: 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 `));...assert_th
2040: 72 6f 77 21 50 61 72 73 65 45 78 63 65 70 74 69 row!ParseExcepti
2050: 6f 6e 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 on(parseString(`
2060: 76 61 72 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 var`));...assert
2070: 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 _throw!ParseExce
2080: 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e ption(parseStrin
2090: 67 28 60 40 76 61 6c 20 78 20 3d 3d 60 29 29 3b g(`@val x ==`));
20a0: 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 ...assert_throw!
20b0: 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 ParseException(p
20c0: 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 29 arseString(`if()
20d0: 7b 31 7d 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 {1}`));...assert
20e0: 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 _throw!ParseExce
20f0: 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e ption(parseStrin
2100: 67 28 60 66 28 60 29 29 3b 0d 0a 7d 0d 0a g(`f(`));..}..