0000: 2f 2a 2a 0d 0a 20 2a 20 41 75 74 68 6f 72 73 3a /**.. * Authors:
0010: 20 6b 2e 69 6e 61 62 61 0d 0a 20 2a 20 4c 69 63 k.inaba.. * Lic
0020: 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38 ense: NYSL 0.998
0030: 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 2 http://www.kmo
0040: 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0d 0a 20 nos.net/nysl/..
0050: 2a 0d 0a 20 2a 20 50 61 72 73 65 72 20 66 6f 72 *.. * Parser for
0060: 20 50 6f 6c 65 6d 79 20 70 72 6f 67 72 61 6d 6d Polemy programm
0070: 69 6e 67 20 6c 61 6e 67 75 61 67 65 0d 0a 20 2a ing language.. *
0080: 2f 0d 0a 6d 6f 64 75 6c 65 20 70 6f 6c 65 6d 79 /..module polemy
0090: 2e 70 61 72 73 65 3b 0d 0a 69 6d 70 6f 72 74 20 .parse;..import
00a0: 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f 6e 3b 0d polemy._common;.
00b0: 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 66 .import polemy.f
00c0: 61 69 6c 75 72 65 3b 0d 0a 69 6d 70 6f 72 74 20 ailure;..import
00d0: 70 6f 6c 65 6d 79 2e 6c 65 78 3b 0d 0a 69 6d 70 polemy.lex;..imp
00e0: 6f 72 74 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0d ort polemy.ast;.
00f0: 0a 0d 0a 2f 2f 2f 20 50 61 72 73 65 20 61 20 73 .../// Parse a s
0100: 74 72 69 6e 67 20 61 6e 64 20 72 65 74 75 72 6e tring and return
0110: 20 69 74 73 20 41 53 54 0d 0a 2f 2f 2f 20 54 68 its AST../// Th
0120: 72 6f 77 73 3a 20 50 61 72 73 65 45 78 63 65 70 rows: ParseExcep
0130: 74 69 6f 6e 2c 20 4c 65 78 45 78 63 65 70 74 69 tion, LexExcepti
0140: 6f 6e 2c 20 55 6e 65 78 70 65 63 74 65 64 45 4f on, UnexpectedEO
0150: 46 0d 0a 0d 0a 41 53 54 20 70 61 72 73 65 53 74 F....AST parseSt
0160: 72 69 6e 67 28 53 2c 20 54 2e 2e 2e 29 28 53 20 ring(S, T...)(S
0170: 73 74 72 2c 20 54 20 66 6e 5f 6c 6e 5f 63 6e 29 str, T fn_ln_cn)
0180: 0d 0a 7b 0d 0a 09 72 65 74 75 72 6e 20 70 61 72 ..{...return par
0190: 73 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 73 74 serFromString(st
01a0: 72 2c 20 66 6e 5f 6c 6e 5f 63 6e 29 2e 70 61 72 r, fn_ln_cn).par
01b0: 73 65 28 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 se();..}....///
01c0: 50 61 72 73 65 20 74 68 65 20 63 6f 6e 74 65 6e Parse the conten
01d0: 74 20 6f 66 20 61 20 66 69 6c 65 20 61 6e 64 20 t of a file and
01e0: 72 65 74 75 72 6e 20 69 74 73 20 41 53 54 0d 0a return its AST..
01f0: 2f 2f 2f 20 54 68 72 6f 77 73 3a 20 50 61 72 73 /// Throws: Pars
0200: 65 45 78 63 65 70 74 69 6f 6e 2c 20 4c 65 78 45 eException, LexE
0210: 78 63 65 70 74 69 6f 6e 2c 20 55 6e 65 78 70 65 xception, Unexpe
0220: 63 74 65 64 45 4f 46 0d 0a 0d 0a 41 53 54 20 70 ctedEOF....AST p
0230: 61 72 73 65 46 69 6c 65 28 53 2c 20 54 2e 2e 2e arseFile(S, T...
0240: 29 28 53 20 66 69 6c 65 6e 61 6d 65 2c 20 54 20 )(S filename, T
0250: 6c 6e 5f 63 6e 29 0d 0a 7b 0d 0a 09 72 65 74 75 ln_cn)..{...retu
0260: 72 6e 20 70 61 72 73 65 72 46 72 6f 6d 46 69 6c rn parserFromFil
0270: 65 28 66 69 6c 65 6e 61 6d 65 2c 20 6c 6e 5f 63 e(filename, ln_c
0280: 6e 29 2e 70 61 72 73 65 28 29 3b 0d 0a 7d 0d 0a n).parse();..}..
0290: 0d 0a 2f 2f 20 4e 61 6d 65 64 20 43 6f 6e 73 74 ..// Named Const
02a0: 72 75 63 74 6f 72 73 20 6f 66 20 50 61 72 73 65 ructors of Parse
02b0: 72 0d 0a 0d 0a 70 72 69 76 61 74 65 20 61 75 74 r....private aut
02c0: 6f 20 70 61 72 73 65 72 46 72 6f 6d 4c 65 78 65 o parserFromLexe
02d0: 72 28 4c 65 78 65 72 29 28 4c 65 78 65 72 20 6c r(Lexer)(Lexer l
02e0: 65 78 29 0d 0a 09 7b 20 72 65 74 75 72 6e 20 6e ex)...{ return n
02f0: 65 77 20 50 61 72 73 65 72 21 4c 65 78 65 72 28 ew Parser!Lexer(
0300: 6c 65 78 29 3b 20 7d 0d 0a 0d 0a 70 72 69 76 61 lex); }....priva
0310: 74 65 20 61 75 74 6f 20 70 61 72 73 65 72 46 72 te auto parserFr
0320: 6f 6d 53 74 72 69 6e 67 28 54 2e 2e 2e 29 28 54 omString(T...)(T
0330: 20 70 61 72 61 6d 73 29 0d 0a 09 7b 20 72 65 74 params)...{ ret
0340: 75 72 6e 20 70 61 72 73 65 72 46 72 6f 6d 4c 65 urn parserFromLe
0350: 78 65 72 28 6c 65 78 65 72 46 72 6f 6d 53 74 72 xer(lexerFromStr
0360: 69 6e 67 28 70 61 72 61 6d 73 29 29 3b 20 7d 0d ing(params)); }.
0370: 0a 0d 0a 70 72 69 76 61 74 65 20 61 75 74 6f 20 ...private auto
0380: 70 61 72 73 65 72 46 72 6f 6d 46 69 6c 65 28 54 parserFromFile(T
0390: 2e 2e 2e 29 28 54 20 70 61 72 61 6d 73 29 0d 0a ...)(T params)..
03a0: 09 7b 20 72 65 74 75 72 6e 20 70 61 72 73 65 72 .{ return parser
03b0: 46 72 6f 6d 4c 65 78 65 72 28 6c 65 78 65 72 46 FromLexer(lexerF
03c0: 72 6f 6d 46 69 6c 65 28 70 61 72 61 6d 73 29 29 romFile(params))
03d0: 3b 20 7d 0d 0a 0d 0a 2f 2f 20 50 61 72 73 65 72 ; }....// Parser
03e0: 0d 0a 0d 0a 70 72 69 76 61 74 65 20 63 6c 61 73 ....private clas
03f0: 73 20 50 61 72 73 65 72 28 4c 65 78 65 72 29 0d s Parser(Lexer).
0400: 0a 09 69 66 28 20 69 73 46 6f 72 77 61 72 64 52 ..if( isForwardR
0410: 61 6e 67 65 21 28 4c 65 78 65 72 29 20 26 26 20 ange!(Lexer) &&
0420: 69 73 28 45 6c 65 6d 65 6e 74 54 79 70 65 21 28 is(ElementType!(
0430: 4c 65 78 65 72 29 20 3d 3d 20 54 6f 6b 65 6e 29 Lexer) == Token)
0440: 20 29 0d 0a 7b 0d 0a 09 41 53 54 20 70 61 72 73 )..{...AST pars
0450: 65 28 29 0d 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 e()...{....auto
0460: 65 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 69 e = Body();....i
0470: 66 28 20 21 6c 65 78 2e 65 6d 70 74 79 20 29 0d f( !lex.empty ).
0480: 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
0490: 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 63 ParseException(c
04a0: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 urrentPosition()
04b0: 2c 20 22 70 61 72 73 69 6e 67 20 65 6e 64 65 64 , "parsing ended
04c0: 20 62 75 74 20 73 6f 6d 65 20 74 6f 6b 65 6e 73 but some tokens
04d0: 20 6c 65 66 74 22 29 3b 0d 0a 09 09 72 65 74 75 left");....retu
04e0: 72 6e 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 rn e;...}.....AS
04f0: 54 20 42 6f 64 79 28 29 0d 0a 09 7b 0d 0a 09 09 T Body()...{....
0500: 2f 2f 2f 20 42 6f 64 79 20 3a 3a 3d 20 44 65 63 /// Body ::= Dec
0510: 6c 61 72 61 74 69 6f 6e 0d 0a 09 09 2f 2f 2f 20 laration....///
0520: 20 20 20 20 20 20 20 7c 20 54 6f 70 4c 65 76 65 | TopLeve
0530: 6c 45 78 70 72 65 73 73 69 6f 6e 0d 0a 0d 0a 09 lExpression.....
0540: 09 69 66 28 20 63 6c 6f 73 69 6e 67 42 72 61 63 .if( closingBrac
0550: 6b 65 74 28 29 20 29 0d 0a 09 09 09 72 65 74 75 ket() ).....retu
0560: 72 6e 20 64 6f 4e 6f 74 68 69 6e 67 45 78 70 72 rn doNothingExpr
0570: 65 73 73 69 6f 6e 28 29 3b 0d 0a 0d 0a 09 09 61 ession();......a
0580: 75 74 6f 20 73 61 76 65 64 20 3d 20 6c 65 78 2e uto saved = lex.
0590: 73 61 76 65 3b 0d 0a 09 09 69 66 28 20 61 75 74 save;....if( aut
05a0: 6f 20 65 20 3d 20 44 65 63 6c 61 72 61 74 69 6f o e = Declaratio
05b0: 6e 28 29 20 29 0d 0a 09 09 09 72 65 74 75 72 6e n() ).....return
05c0: 20 65 3b 0d 0a 09 09 6c 65 78 20 3d 20 73 61 76 e;....lex = sav
05d0: 65 64 3b 0d 0a 09 09 72 65 74 75 72 6e 20 54 6f ed;....return To
05e0: 70 4c 65 76 65 6c 45 78 70 72 65 73 73 69 6f 6e pLevelExpression
05f0: 28 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 ();...}.....AST
0600: 44 65 63 6c 61 72 61 74 69 6f 6e 28 29 20 2f 2f Declaration() //
0610: 20 72 65 74 75 72 6e 73 20 6e 75 6c 6c 20 69 66 returns null if
0620: 20 69 74 20 69 73 20 6e 6f 74 20 61 20 64 65 63 it is not a dec
0630: 6c 61 72 61 74 69 6f 6e 0d 0a 09 7b 0d 0a 09 09 laration...{....
0640: 2f 2f 2f 20 44 65 63 6c 61 72 61 74 69 6f 6e 20 /// Declaration
0650: 3a 3a 3d 0d 0a 09 09 2f 2f 2f 20 20 20 20 5b 22 ::=..../// ["
0660: 40 22 20 4c 61 79 65 72 7c 22 6c 65 74 22 7c 22 @" Layer|"let"|"
0670: 76 61 72 22 7c 22 64 65 66 22 5d 20 56 61 72 20 var"|"def"] Var
0680: 22 3d 22 20 45 78 70 72 65 73 73 69 6f 6e 20 28 "=" Expression (
0690: 5b 22 3b 22 7c 22 69 6e 22 5d 20 42 6f 64 79 3f [";"|"in"] Body?
06a0: 29 3f 0d 0a 09 09 2f 2f 2f 20 20 7c 20 5b 22 40 )?..../// | ["@
06b0: 22 20 4c 61 79 65 72 7c 22 6c 65 74 22 7c 22 76 " Layer|"let"|"v
06c0: 61 72 22 7c 22 64 65 66 22 5d 20 56 61 72 20 22 ar"|"def"] Var "
06d0: 28 22 20 50 61 72 61 6d 25 22 2c 22 20 22 29 22 (" Param%"," ")"
06e0: 20 22 7b 22 20 42 6f 64 79 20 22 7d 22 20 28 5b "{" Body "}" ([
06f0: 22 3b 22 7c 22 69 6e 22 5d 20 42 6f 64 79 3f 29 ";"|"in"] Body?)
0700: 3f 0d 0a 09 09 2f 2f 2f 20 20 7c 20 5b 22 40 22 ?..../// | ["@"
0710: 20 22 40 22 20 4c 61 79 65 72 20 22 3d 22 20 45 "@" Layer "=" E
0720: 78 70 72 65 73 73 69 6f 6e 20 28 5b 22 3b 22 7c xpression ([";"|
0730: 22 69 6e 22 5d 20 42 6f 64 79 3f 29 3f 0d 0a 09 "in"] Body?)?...
0740: 09 2f 2f 2f 20 20 7c 20 5b 22 40 22 20 22 40 22 ./// | ["@" "@"
0750: 20 4c 61 79 65 72 20 22 28 22 20 50 61 72 61 6d Layer "(" Param
0760: 25 22 2c 22 20 22 29 22 20 22 7b 22 20 42 6f 64 %"," ")" "{" Bod
0770: 79 20 22 7d 22 20 28 5b 22 3b 22 7c 22 69 6e 22 y "}" ([";"|"in"
0780: 5d 20 42 6f 64 79 3f 29 3f 0d 0a 0d 0a 09 09 61 ] Body?)?......a
0790: 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e uto pos = curren
07a0: 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 tPosition();....
07b0: 73 74 72 69 6e 67 20 6c 61 79 65 72 20 3d 20 22 string layer = "
07c0: 22 3b 0d 0a 09 09 62 6f 6f 6c 20 6c 61 79 65 72 ";....bool layer
07d0: 52 69 73 65 44 65 63 6c 20 3d 20 66 61 6c 73 65 RiseDecl = false
07e0: 3b 0d 0a 0d 0a 09 09 69 66 28 20 74 72 79 45 61 ;......if( tryEa
07f0: 74 28 22 40 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 t("@") )....{...
0800: 09 09 6c 61 79 65 72 20 3d 20 22 40 22 20 7e 20 ..layer = "@" ~
0810: 65 61 74 49 64 28 22 61 66 74 65 72 20 40 22 2c eatId("after @",
0820: 20 41 6c 6c 6f 77 51 75 6f 74 65 64 29 3b 0d 0a AllowQuoted);..
0830: 09 09 09 69 66 28 20 6c 61 79 65 72 20 3d 3d 20 ...if( layer ==
0840: 22 40 40 22 20 29 0d 0a 09 09 09 7b 0d 0a 09 09 "@@" ).....{....
0850: 09 09 6c 61 79 65 72 20 3d 20 22 40 22 20 7e 20 ..layer = "@" ~
0860: 65 61 74 49 64 28 22 61 66 74 65 72 20 40 40 22 eatId("after @@"
0870: 2c 20 41 6c 6c 6f 77 51 75 6f 74 65 64 29 3b 0d , AllowQuoted);.
0880: 0a 09 09 09 09 6c 61 79 65 72 52 69 73 65 44 65 .....layerRiseDe
0890: 63 6c 20 3d 20 74 72 75 65 3b 0d 0a 09 09 09 7d cl = true;.....}
08a0: 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 7b 0d .....else.....{.
08b0: 0a 09 09 09 09 69 66 28 20 74 72 79 45 61 74 28 .....if( tryEat(
08c0: 22 28 22 29 20 29 0d 0a 09 09 09 09 09 72 65 74 "(") ).......ret
08d0: 75 72 6e 20 6e 75 6c 6c 3b 20 2f 2f 20 40 6c 61 urn null; // @la
08e0: 79 28 2e 2e 2e 29 20 65 78 70 72 65 73 73 69 6f y(...) expressio
08f0: 6e 2c 20 6e 6f 74 20 61 20 64 65 63 6c 61 72 61 n, not a declara
0900: 74 69 6f 6e 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d tion.....}....}.
0910: 0a 0d 0a 09 09 2f 2f 20 5b 54 4f 44 4f 5d 20 52 .....// [TODO] R
0920: 65 66 61 63 74 6f 72 0d 0a 09 09 69 66 28 20 6c efactor....if( l
0930: 61 79 65 72 52 69 73 65 44 65 63 6c 20 29 0d 0a ayerRiseDecl )..
0940: 09 09 7b 0d 0a 09 09 09 73 74 72 69 6e 67 20 6b ..{.....string k
0950: 77 64 20 3d 20 22 40 22 20 7e 20 6c 61 79 65 72 wd = "@" ~ layer
0960: 3b 0d 0a 09 09 09 73 74 72 69 6e 67 20 76 61 72 ;.....string var
0970: 20 3d 20 6c 61 79 65 72 3b 0d 0a 0d 0a 09 09 09 = layer;.......
0980: 61 75 74 6f 20 65 20 3d 20 74 72 79 45 61 74 28 auto e = tryEat(
0990: 22 28 22 29 0d 0a 09 09 09 09 3f 20 70 61 72 73 "(")......? pars
09a0: 65 4c 61 6d 62 64 61 41 66 74 65 72 4f 70 65 6e eLambdaAfterOpen
09b0: 50 61 72 65 6e 28 70 6f 73 29 20 20 2f 2f 20 6c Paren(pos) // l
09c0: 65 74 20 76 61 72 20 28 20 2e 2e 2e 0d 0a 09 09 et var ( .......
09d0: 09 09 3a 20 28 65 61 74 28 22 3d 22 2c 20 22 61 ..: (eat("=", "a
09e0: 66 74 65 72 20 22 7e 6b 77 64 29 2c 20 45 28 30 fter "~kwd), E(0
09f0: 29 29 3b 20 2f 2f 20 6c 65 74 20 76 61 72 20 3d )); // let var =
0a00: 20 2e 2e 2e 0d 0a 09 09 09 69 66 28 20 6d 6f 72 ........if( mor
0a10: 65 44 65 63 6c 61 72 61 74 69 6f 6e 45 78 69 73 eDeclarationExis
0a20: 74 73 28 29 20 29 0d 0a 09 09 09 09 72 65 74 75 ts() )......retu
0a30: 72 6e 20 6e 65 77 20 4c 65 74 45 78 70 72 65 73 rn new LetExpres
0a40: 73 69 6f 6e 28 70 6f 73 2c 20 76 61 72 2c 20 22 sion(pos, var, "
0a50: 28 73 79 73 74 65 6d 29 22 2c 20 65 2c 20 42 6f (system)", e, Bo
0a60: 64 79 28 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d dy());.....else.
0a70: 0a 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
0a80: 4c 65 74 45 78 70 72 65 73 73 69 6f 6e 28 70 6f LetExpression(po
0a90: 73 2c 20 76 61 72 2c 20 22 28 73 79 73 74 65 6d s, var, "(system
0aa0: 29 22 2c 20 65 2c 20 6e 65 77 20 56 61 72 45 78 )", e, new VarEx
0ab0: 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 76 61 pression(pos, va
0ac0: 72 29 29 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 r));....}....els
0ad0: 65 0d 0a 09 09 7b 0d 0a 09 09 09 73 74 72 69 6e e....{.....strin
0ae0: 67 20 6b 77 64 20 3d 20 6c 61 79 65 72 3b 0d 0a g kwd = layer;..
0af0: 09 09 09 69 66 28 20 6c 61 79 65 72 2e 65 6d 70 ...if( layer.emp
0b00: 74 79 20 26 26 20 21 74 72 79 45 61 74 28 6b 77 ty && !tryEat(kw
0b10: 64 3d 22 6c 65 74 22 29 20 26 26 20 21 74 72 79 d="let") && !try
0b20: 45 61 74 28 6b 77 64 3d 22 76 61 72 22 29 20 26 Eat(kwd="var") &
0b30: 26 20 21 74 72 79 45 61 74 28 6b 77 64 3d 22 64 & !tryEat(kwd="d
0b40: 65 66 22 29 20 29 0d 0a 09 09 09 09 72 65 74 75 ef") )......retu
0b50: 72 6e 20 6e 75 6c 6c 3b 20 2f 2f 20 6e 6f 6e 65 rn null; // none
0b60: 20 6f 66 20 7b 40 6c 61 79 2c 20 6c 65 74 2c 20 of {@lay, let,
0b70: 76 61 72 2c 20 64 65 66 7d 20 6f 63 63 75 72 72 var, def} occurr
0b80: 65 64 2c 20 69 74 27 73 20 6e 6f 74 20 61 20 64 ed, it's not a d
0b90: 65 63 6c 61 72 61 74 69 6f 6e 0d 0a 0d 0a 09 09 eclaration......
0ba0: 09 61 75 74 6f 20 76 61 72 70 6f 73 20 3d 20 63 .auto varpos = c
0bb0: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 urrentPosition()
0bc0: 3b 0d 0a 09 09 09 73 74 72 69 6e 67 20 76 61 72 ;.....string var
0bd0: 20 3d 20 65 61 74 49 64 28 22 61 66 74 65 72 20 = eatId("after
0be0: 22 7e 6b 77 64 2c 20 41 6c 6c 6f 77 51 75 6f 74 "~kwd, AllowQuot
0bf0: 65 64 29 3b 20 2f 2f 20 6e 61 6d 65 20 6f 66 20 ed); // name of
0c00: 74 68 65 20 64 65 63 6c 61 72 65 64 20 76 61 72 the declared var
0c10: 69 61 62 6c 65 0d 0a 0d 0a 09 09 09 61 75 74 6f iable.......auto
0c20: 20 65 20 3d 20 74 72 79 45 61 74 28 22 28 22 29 e = tryEat("(")
0c30: 0d 0a 09 09 09 09 3f 20 70 61 72 73 65 4c 61 6d ......? parseLam
0c40: 62 64 61 41 66 74 65 72 4f 70 65 6e 50 61 72 65 bdaAfterOpenPare
0c50: 6e 28 76 61 72 70 6f 73 29 20 20 2f 2f 20 6c 65 n(varpos) // le
0c60: 74 20 76 61 72 20 28 20 2e 2e 2e 0d 0a 09 09 09 t var ( ........
0c70: 09 3a 20 28 65 61 74 28 22 3d 22 2c 20 22 61 66 .: (eat("=", "af
0c80: 74 65 72 20 22 7e 6b 77 64 29 2c 20 45 28 30 29 ter "~kwd), E(0)
0c90: 29 3b 20 20 20 20 2f 2f 20 6c 65 74 20 76 61 72 ); // let var
0ca0: 20 3d 20 2e 2e 2e 0d 0a 09 09 09 69 66 28 20 6d = ........if( m
0cb0: 6f 72 65 44 65 63 6c 61 72 61 74 69 6f 6e 45 78 oreDeclarationEx
0cc0: 69 73 74 73 28 29 20 29 0d 0a 09 09 09 09 72 65 ists() )......re
0cd0: 74 75 72 6e 20 6e 65 77 20 4c 65 74 45 78 70 72 turn new LetExpr
0ce0: 65 73 73 69 6f 6e 28 70 6f 73 2c 20 76 61 72 2c ession(pos, var,
0cf0: 20 6c 61 79 65 72 2c 20 65 2c 20 42 6f 64 79 28 layer, e, Body(
0d00: 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 ));.....else....
0d10: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 ..return new Let
0d20: 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 Expression(pos,
0d30: 76 61 72 2c 20 6c 61 79 65 72 2c 20 65 2c 20 6e var, layer, e, n
0d40: 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e ew VarExpression
0d50: 28 76 61 72 70 6f 73 2c 20 76 61 72 29 29 3b 0d (varpos, var));.
0d60: 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 ...}...}.....AST
0d70: 20 54 6f 70 4c 65 76 65 6c 45 78 70 72 65 73 73 TopLevelExpress
0d80: 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 2f ion()...{....///
0d90: 20 54 6f 70 4c 65 76 65 6c 45 78 70 72 65 73 73 TopLevelExpress
0da0: 69 6f 6e 20 3a 3a 3d 20 45 78 70 72 65 73 73 69 ion ::= Expressi
0db0: 6f 6e 20 28 5b 22 3b 22 7c 22 69 6e 22 5d 20 42 on ([";"|"in"] B
0dc0: 6f 64 79 3f 29 3f 0d 0a 0d 0a 09 09 61 75 74 6f ody?)?......auto
0dd0: 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f pos = currentPo
0de0: 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 61 75 74 sition();....aut
0df0: 6f 20 65 20 3d 20 45 28 30 29 3b 0d 0a 09 09 69 o e = E(0);....i
0e00: 66 28 20 6d 6f 72 65 44 65 63 6c 61 72 61 74 69 f( moreDeclarati
0e10: 6f 6e 45 78 69 73 74 73 28 29 20 29 0d 0a 09 09 onExists() )....
0e20: 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 45 .return new LetE
0e30: 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 22 xpression(pos, "
0e40: 5f 22 2c 20 22 22 2c 20 65 2c 20 42 6f 64 79 28 _", "", e, Body(
0e50: 29 29 3b 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 09 ));....else.....
0e60: 72 65 74 75 72 6e 20 65 3b 0d 0a 09 7d 0d 0a 0d return e;...}...
0e70: 0a 09 70 72 69 76 61 74 65 20 62 6f 6f 6c 20 6d ..private bool m
0e80: 6f 72 65 44 65 63 6c 61 72 61 74 69 6f 6e 45 78 oreDeclarationEx
0e90: 69 73 74 73 28 29 0d 0a 09 7b 0d 0a 09 09 72 65 ists()...{....re
0ea0: 74 75 72 6e 20 28 74 72 79 45 61 74 28 22 3b 22 turn (tryEat(";"
0eb0: 29 20 7c 7c 20 74 72 79 45 61 74 28 22 69 6e 22 ) || tryEat("in"
0ec0: 29 29 20 26 26 20 21 63 6c 6f 73 69 6e 67 42 72 )) && !closingBr
0ed0: 61 63 6b 65 74 28 29 3b 0d 0a 09 7d 0d 0a 0d 0a acket();...}....
0ee0: 09 70 72 69 76 61 74 65 20 62 6f 6f 6c 20 63 6c .private bool cl
0ef0: 6f 73 69 6e 67 42 72 61 63 6b 65 74 28 29 0d 0a osingBracket()..
0f00: 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6c 65 78 .{....return lex
0f10: 2e 65 6d 70 74 79 20 7c 7c 20 21 6c 65 78 2e 66 .empty || !lex.f
0f20: 72 6f 6e 74 2e 71 75 6f 74 65 64 20 26 26 20 5b ront.quoted && [
0f30: 22 7d 22 2c 22 29 22 2c 22 5d 22 5d 2e 63 61 6e "}",")","]"].can
0f40: 46 69 6e 64 28 6c 65 78 2e 66 72 6f 6e 74 2e 73 Find(lex.front.s
0f50: 74 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 20 tr);...}.....//
0f60: 5b 54 4f 44 4f 5d 20 6d 61 6b 65 20 74 68 69 73 [TODO] make this
0f70: 20 63 75 73 74 6f 6d 69 7a 61 62 6c 65 20 66 72 customizable fr
0f80: 6f 6d 20 70 72 6f 67 72 61 6d 0d 0a 09 70 72 69 om program...pri
0f90: 76 61 74 65 20 73 74 61 74 69 63 20 73 74 72 69 vate static stri
0fa0: 6e 67 5b 5d 5b 5d 20 6f 70 65 72 61 74 6f 72 5f ng[][] operator_
0fb0: 70 65 72 66 65 72 65 6e 63 65 73 20 3d 20 5b 0d perferences = [.
0fc0: 0a 09 09 5b 22 7c 7c 22 5d 2c 0d 0a 09 09 5b 22 ...["||"],....["
0fd0: 26 26 22 5d 2c 0d 0a 09 09 5b 22 21 3d 22 5d 2c &&"],....["!="],
0fe0: 0d 0a 09 09 5b 22 3d 3d 22 5d 2c 0d 0a 09 09 5b ....["=="],....[
0ff0: 22 3c 22 2c 22 3c 3d 22 2c 22 3e 22 2c 22 3e 3d "<","<=",">",">=
1000: 22 5d 2c 0d 0a 09 09 5b 22 7c 22 5d 2c 0d 0a 09 "],....["|"],...
1010: 09 5b 22 5e 22 5d 2c 0d 0a 09 09 5b 22 26 22 5d .["^"],....["&"]
1020: 2c 0d 0a 09 09 5b 22 3c 3c 22 2c 20 22 3e 3e 22 ,....["<<", ">>"
1030: 5d 2c 0d 0a 09 09 5b 22 2b 22 2c 22 2d 22 5d 2c ],....["+","-"],
1040: 0d 0a 09 09 5b 22 7e 22 5d 2c 0d 0a 09 09 5b 22 ....["~"],....["
1050: 2a 22 2c 22 2f 22 2c 22 25 22 5d 2c 0d 0a 09 09 *","/","%"],....
1060: 5b 22 5e 5e 22 2c 22 2a 2a 22 5d 2c 0d 0a 09 09 ["^^","**"],....
1070: 5b 22 2e 22 2c 22 2e 3f 22 5d 0d 0a 09 5d 3b 0d [".",".?"]...];.
1080: 0a 0d 0a 09 41 53 54 20 45 28 73 69 7a 65 5f 74 ....AST E(size_t
1090: 20 6c 65 76 65 6c 29 0d 0a 09 7b 0d 0a 09 09 2f level)...{..../
10a0: 2f 2f 20 45 78 70 72 65 73 73 69 6f 6e 20 3a 3a // Expression ::
10b0: 3d 20 28 42 69 6e 61 72 79 20 6c 65 66 74 2d 61 = (Binary left-a
10c0: 73 73 6f 63 69 61 74 69 76 65 20 6f 70 65 72 61 ssociative opera
10d0: 74 6f 72 73 20 6f 76 65 72 29 20 46 75 6e 63 61 tors over) Funca
10e0: 6c 6c 0d 0a 0d 0a 09 09 41 53 54 20 72 65 63 28 ll......AST rec(
10f0: 41 53 54 20 6c 68 73 29 0d 0a 09 09 7b 0d 0a 09 AST lhs)....{...
1100: 09 09 69 66 28 20 63 6c 6f 73 69 6e 67 42 72 61 ..if( closingBra
1110: 63 6b 65 74 28 29 20 29 0d 0a 09 09 09 09 72 65 cket() )......re
1120: 74 75 72 6e 20 6c 68 73 3b 0d 0a 0d 0a 09 09 09 turn lhs;.......
1130: 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 auto pos = curre
1140: 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 ntPosition();...
1150: 09 09 66 6f 72 65 61 63 68 28 6f 70 3b 20 6f 70 ..foreach(op; op
1160: 65 72 61 74 6f 72 5f 70 65 72 66 65 72 65 6e 63 erator_perferenc
1170: 65 73 5b 6c 65 76 65 6c 5d 29 0d 0a 09 09 09 09 es[level])......
1180: 69 66 28 20 74 72 79 45 61 74 28 6f 70 29 20 29 if( tryEat(op) )
1190: 0d 0a 09 09 09 09 09 69 66 28 20 6f 70 5b 30 5d .......if( op[0]
11a0: 3d 3d 27 2e 27 20 29 0d 0a 09 09 09 09 09 09 72 =='.' )........r
11b0: 65 74 75 72 6e 20 72 65 63 28 0d 0a 09 09 09 09 eturn rec(......
11c0: 09 09 09 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 ...new FuncallEx
11d0: 70 72 65 73 73 69 6f 6e 28 6c 68 73 2e 70 6f 73 pression(lhs.pos
11e0: 2c 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 , new VarExpress
11f0: 69 6f 6e 28 70 6f 73 2c 20 6f 70 29 2c 20 6c 68 ion(pos, op), lh
1200: 73 2c 20 70 61 72 73 65 49 64 28 29 29 29 3b 0d s, parseId()));.
1210: 0a 09 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 ......else......
1220: 09 72 65 74 75 72 6e 20 72 65 63 28 0d 0a 09 09 .return rec(....
1230: 09 09 09 09 6e 65 77 20 46 75 6e 63 61 6c 6c 45 ....new FuncallE
1240: 78 70 72 65 73 73 69 6f 6e 28 6c 68 73 2e 70 6f xpression(lhs.po
1250: 73 2c 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 s, new VarExpres
1260: 73 69 6f 6e 28 70 6f 73 2c 20 6f 70 29 2c 20 6c sion(pos, op), l
1270: 68 73 2c 20 45 28 6c 65 76 65 6c 2b 31 29 29 29 hs, E(level+1)))
1280: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6c 68 73 ;.....return lhs
1290: 3b 0d 0a 09 09 7d 0d 0a 0d 0a 09 09 69 66 28 20 ;....}......if(
12a0: 6f 70 65 72 61 74 6f 72 5f 70 65 72 66 65 72 65 operator_perfere
12b0: 6e 63 65 73 2e 6c 65 6e 67 74 68 20 3c 3d 20 6c nces.length <= l
12c0: 65 76 65 6c 20 29 0d 0a 09 09 09 72 65 74 75 72 evel ).....retur
12d0: 6e 20 46 75 6e 63 61 6c 6c 28 29 3b 0d 0a 09 09 n Funcall();....
12e0: 65 6c 73 65 0d 0a 09 09 09 72 65 74 75 72 6e 20 else.....return
12f0: 72 65 63 28 45 28 6c 65 76 65 6c 2b 31 29 29 3b rec(E(level+1));
1300: 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 46 75 6e ...}.....AST Fun
1310: 63 61 6c 6c 28 29 0d 0a 09 7b 0d 0a 09 09 2f 2f call()...{....//
1320: 2f 20 46 75 6e 63 61 6c 6c 20 3a 3a 3d 20 42 61 / Funcall ::= Ba
1330: 73 65 45 78 70 72 65 73 73 69 6f 6e 20 5b 22 28 seExpression ["(
1340: 22 20 45 78 70 72 65 73 73 69 6f 6e 25 22 2c 22 " Expression%","
1350: 20 22 29 22 5d 2a 0d 0a 0d 0a 09 09 61 75 74 6f ")"]*......auto
1360: 20 65 20 3d 20 42 61 73 65 45 78 70 72 65 73 73 e = BaseExpress
1370: 69 6f 6e 28 29 3b 0d 0a 09 09 77 68 69 6c 65 28 ion();....while(
1380: 20 74 72 79 45 61 74 28 22 28 22 29 20 29 0d 0a tryEat("(") )..
1390: 09 09 7b 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 ..{.....auto pos
13a0: 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 = currentPositi
13b0: 6f 6e 28 29 3b 0d 0a 09 09 09 41 53 54 5b 5d 20 on();.....AST[]
13c0: 61 72 67 73 3b 0d 0a 09 09 09 77 68 69 6c 65 28 args;.....while(
13d0: 20 21 74 72 79 45 61 74 28 22 29 22 29 20 29 20 !tryEat(")") )
13e0: 7b 0d 0a 09 09 09 09 69 66 28 20 6c 65 78 2e 65 {......if( lex.e
13f0: 6d 70 74 79 20 29 0d 0a 09 09 09 09 09 74 68 72 mpty ).......thr
1400: 6f 77 20 67 65 6e 65 78 21 55 6e 65 78 70 65 63 ow genex!Unexpec
1410: 74 65 64 45 4f 46 28 70 6f 73 2c 20 22 63 6c 6f tedEOF(pos, "clo
1420: 73 69 6e 67 20 27 29 27 20 66 6f 72 20 61 72 67 sing ')' for arg
1430: 75 6d 65 6e 74 73 20 6e 6f 74 20 66 6f 75 6e 64 uments not found
1440: 22 29 3b 0d 0a 09 09 09 09 61 72 67 73 20 7e 3d ");......args ~=
1450: 20 45 28 30 29 3b 0d 0a 09 09 09 09 69 66 28 20 E(0);......if(
1460: 21 74 72 79 45 61 74 28 22 2c 22 29 20 29 20 7b !tryEat(",") ) {
1470: 0d 0a 09 09 09 09 09 65 61 74 28 22 29 22 2c 20 .......eat(")",
1480: 22 61 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 "after function
1490: 70 61 72 61 6d 65 74 65 72 73 22 29 3b 0d 0a 09 parameters");...
14a0: 09 09 09 09 62 72 65 61 6b 3b 0d 0a 09 09 09 09 ....break;......
14b0: 7d 0d 0a 09 09 09 7d 0d 0a 09 09 09 65 20 3d 20 }.....}.....e =
14c0: 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 new FuncallExpre
14d0: 73 73 69 6f 6e 28 65 2e 70 6f 73 2c 20 65 2c 20 ssion(e.pos, e,
14e0: 61 72 67 73 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 args);....}....r
14f0: 65 74 75 72 6e 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a eturn e;...}....
1500: 09 41 53 54 20 42 61 73 65 45 78 70 72 65 73 73 .AST BaseExpress
1510: 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 ion()...{....if(
1520: 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 lex.empty )....
1530: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 55 6e 65 .throw genex!Une
1540: 78 70 65 63 74 65 64 45 4f 46 28 63 75 72 72 65 xpectedEOF(curre
1550: 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 22 52 ntPosition(), "R
1560: 65 61 63 68 65 64 20 45 4f 46 20 77 68 65 6e 20 eached EOF when
1570: 74 72 69 65 64 20 74 6f 20 70 61 72 73 65 20 61 tried to parse a
1580: 6e 20 65 78 70 72 65 73 73 69 6f 6e 22 29 3b 0d n expression");.
1590: 0a 0d 0a 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 .....auto pos =
15a0: 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d 0a lex.front.pos;..
15b0: 09 09 69 66 28 20 6c 65 78 2e 66 72 6f 6e 74 2e ..if( lex.front.
15c0: 71 75 6f 74 65 64 20 29 0d 0a 09 09 7b 0d 0a 09 quoted )....{...
15d0: 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 ..scope(exit) le
15e0: 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 09 x.popFront;.....
15f0: 72 65 74 75 72 6e 20 6e 65 77 20 53 74 72 4c 69 return new StrLi
1600: 74 65 72 61 6c 28 70 6f 73 2c 20 6c 65 78 2e 66 teral(pos, lex.f
1610: 72 6f 6e 74 2e 73 74 72 29 3b 0d 0a 09 09 7d 0d ront.str);....}.
1620: 0a 09 09 69 66 28 20 69 73 4e 75 6d 62 65 72 28 ...if( isNumber(
1630: 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 20 29 lex.front.str) )
1640: 0d 0a 09 09 7b 0d 0a 09 09 09 73 63 6f 70 65 28 ....{.....scope(
1650: 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 46 72 6f exit) lex.popFro
1660: 6e 74 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e nt;.....return n
1670: 65 77 20 49 6e 74 4c 69 74 65 72 61 6c 28 70 6f ew IntLiteral(po
1680: 73 2c 20 42 69 67 49 6e 74 28 63 61 73 74 28 73 s, BigInt(cast(s
1690: 74 72 69 6e 67 29 6c 65 78 2e 66 72 6f 6e 74 2e tring)lex.front.
16a0: 73 74 72 29 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 str));....}....i
16b0: 66 28 20 74 72 79 45 61 74 28 22 40 22 29 20 29 f( tryEat("@") )
16c0: 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 74 6f 20 6c ....{.....auto l
16d0: 61 79 20 3d 20 22 40 22 7e 65 61 74 49 64 28 22 ay = "@"~eatId("
16e0: 66 6f 72 20 6c 61 79 65 72 20 49 44 22 29 3b 0d for layer ID");.
16f0: 0a 09 09 09 65 61 74 28 22 28 22 2c 20 22 66 6f ....eat("(", "fo
1700: 72 20 6c 61 79 65 72 65 64 20 65 78 65 63 75 74 r layered execut
1710: 69 6f 6e 22 29 3b 0d 0a 09 09 09 61 75 74 6f 20 ion");.....auto
1720: 65 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 09 e = Body();.....
1730: 65 61 74 28 22 29 22 2c 20 22 61 66 74 65 72 20 eat(")", "after
1740: 22 7e 6c 61 79 7e 22 28 2e 2e 2e 22 29 3b 0d 0a "~lay~"(...");..
1750: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 61 ...return new La
1760: 79 65 72 65 64 45 78 70 72 65 73 73 69 6f 6e 28 yeredExpression(
1770: 70 6f 73 2c 20 6c 61 79 2c 20 65 29 3b 0d 0a 09 pos, lay, e);...
1780: 09 7d 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 .}....if( tryEat
1790: 28 22 28 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 ("(") )....{....
17a0: 09 61 75 74 6f 20 65 20 3d 20 42 6f 64 79 28 29 .auto e = Body()
17b0: 3b 0d 0a 09 09 09 65 61 74 28 22 29 22 2c 20 22 ;.....eat(")", "
17c0: 61 66 74 65 72 20 70 61 72 65 6e 74 68 65 73 69 after parenthesi
17d0: 7a 65 64 20 65 78 70 72 65 73 73 69 6f 6e 22 29 zed expression")
17e0: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 3b 0d ;.....return e;.
17f0: 0a 09 09 7d 0d 0a 09 09 69 66 28 20 74 72 79 45 ...}....if( tryE
1800: 61 74 28 22 7b 22 29 20 29 0d 0a 09 09 7b 0d 0a at("{") )....{..
1810: 09 09 09 41 53 54 20 65 20 3d 20 6e 65 77 20 46 ...AST e = new F
1820: 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e uncallExpression
1830: 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 45 78 70 (pos, new VarExp
1840: 72 65 73 73 69 6f 6e 28 70 6f 73 2c 22 7b 7d 22 ression(pos,"{}"
1850: 29 29 3b 0d 0a 09 09 09 69 66 28 20 74 72 79 45 ));.....if( tryE
1860: 61 74 28 22 7d 22 29 20 29 0d 0a 09 09 09 09 72 at("}") )......r
1870: 65 74 75 72 6e 20 65 3b 0d 0a 09 09 09 66 6f 72 eturn e;.....for
1880: 28 3b 3b 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 (;;).....{......
1890: 73 74 72 69 6e 67 20 6b 65 79 20 3d 20 65 61 74 string key = eat
18a0: 49 64 28 22 66 6f 72 20 74 61 62 6c 65 20 6b 65 Id("for table ke
18b0: 79 22 2c 20 41 6c 6c 6f 77 51 75 6f 74 65 64 29 y", AllowQuoted)
18c0: 3b 0d 0a 09 09 09 09 65 61 74 28 22 3a 22 2c 20 ;......eat(":",
18d0: 22 61 66 74 65 72 20 74 61 62 6c 65 20 6b 65 79 "after table key
18e0: 22 29 3b 0d 0a 09 09 09 09 41 53 54 20 76 61 6c ");......AST val
18f0: 20 3d 20 45 28 30 29 3b 0d 0a 09 09 09 09 65 20 = E(0);......e
1900: 3d 20 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 = new FuncallExp
1910: 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6e 65 77 ression(pos, new
1920: 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 70 VarExpression(p
1930: 6f 73 2c 22 2e 3d 22 29 2c 0d 0a 09 09 09 09 09 os,".="),.......
1940: 09 65 2c 20 6e 65 77 20 53 74 72 4c 69 74 65 72 .e, new StrLiter
1950: 61 6c 28 70 6f 73 2c 6b 65 79 29 2c 20 76 61 6c al(pos,key), val
1960: 29 3b 0d 0a 09 09 09 09 69 66 28 20 21 74 72 79 );......if( !try
1970: 45 61 74 28 22 2c 22 29 20 29 0d 0a 09 09 09 09 Eat(",") )......
1980: 7b 0d 0a 09 09 09 09 09 65 61 74 28 22 7d 22 2c {.......eat("}",
1990: 20 22 66 6f 72 20 74 68 65 20 65 6e 64 20 6f 66 "for the end of
19a0: 20 74 61 62 6c 65 20 6c 69 74 65 72 61 6c 22 29 table literal")
19b0: 3b 0d 0a 09 09 09 09 09 62 72 65 61 6b 3b 0d 0a ;.......break;..
19c0: 09 09 09 09 7d 0d 0a 09 09 09 7d 0d 0a 09 09 09 ....}.....}.....
19d0: 72 65 74 75 72 6e 20 65 3b 0d 0a 09 09 7d 0d 0a return e;....}..
19e0: 09 09 69 66 28 20 74 72 79 45 61 74 28 22 69 66 ..if( tryEat("if
19f0: 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 65 61 ") )....{.....ea
1a00: 74 28 22 28 22 2c 20 22 61 66 74 65 72 20 69 66 t("(", "after if
1a10: 22 29 3b 0d 0a 09 09 09 61 75 74 6f 20 63 6f 6e ");.....auto con
1a20: 64 20 3d 20 45 28 30 29 3b 0d 0a 09 09 09 65 61 d = E(0);.....ea
1a30: 74 28 22 29 22 2c 20 22 61 66 74 65 72 20 69 66 t(")", "after if
1a40: 20 63 6f 6e 64 69 74 69 6f 6e 22 29 3b 0d 0a 09 condition");...
1a50: 09 09 61 75 74 6f 20 74 68 65 6e 50 6f 73 20 3d ..auto thenPos =
1a60: 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d lex.front.pos;.
1a70: 0a 09 09 09 65 61 74 28 22 7b 22 2c 20 22 61 66 ....eat("{", "af
1a80: 74 65 72 20 69 66 20 63 6f 6e 64 69 74 69 6f 6e ter if condition
1a90: 22 29 3b 0d 0a 09 09 09 61 75 74 6f 20 74 68 20 ");.....auto th
1aa0: 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 09 65 61 = Body();.....ea
1ab0: 74 28 22 7d 22 2c 20 22 61 66 74 65 72 20 69 66 t("}", "after if
1ac0: 2d 74 68 65 6e 20 62 6f 64 79 22 29 3b 0d 0a 09 -then body");...
1ad0: 09 09 61 75 74 6f 20 65 6c 20 3d 20 64 6f 4e 6f ..auto el = doNo
1ae0: 74 68 69 6e 67 45 78 70 72 65 73 73 69 6f 6e 28 thingExpression(
1af0: 29 3b 0d 0a 09 09 09 61 75 74 6f 20 65 6c 73 65 );.....auto else
1b00: 50 6f 73 20 3d 20 28 6c 65 78 2e 65 6d 70 74 79 Pos = (lex.empty
1b10: 20 3f 20 4c 65 78 50 6f 73 69 74 69 6f 6e 2e 64 ? LexPosition.d
1b20: 75 6d 6d 79 20 3a 20 6c 65 78 2e 66 72 6f 6e 74 ummy : lex.front
1b30: 2e 70 6f 73 29 3b 0d 0a 09 09 09 69 66 28 20 74 .pos);.....if( t
1b40: 72 79 45 61 74 28 22 65 6c 73 65 22 29 20 29 20 ryEat("else") )
1b50: 7b 0d 0a 09 09 09 09 65 61 74 28 22 7b 22 2c 20 {......eat("{",
1b60: 22 61 66 74 65 72 20 65 6c 73 65 22 29 3b 0d 0a "after else");..
1b70: 09 09 09 09 65 6c 20 3d 20 42 6f 64 79 28 29 3b ....el = Body();
1b80: 0d 0a 09 09 09 09 65 61 74 28 22 7d 22 2c 20 22 ......eat("}", "
1b90: 61 66 74 65 72 20 65 6c 73 65 20 62 6f 64 79 22 after else body"
1ba0: 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 72 65 74 );.....}.....ret
1bb0: 75 72 6e 20 6e 65 77 20 46 75 6e 63 61 6c 6c 45 urn new FuncallE
1bc0: 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 0d xpression(pos, .
1bd0: 0a 09 09 09 09 6e 65 77 20 56 61 72 45 78 70 72 .....new VarExpr
1be0: 65 73 73 69 6f 6e 28 70 6f 73 2c 20 22 69 66 22 ession(pos, "if"
1bf0: 29 2c 0d 0a 09 09 09 09 63 6f 6e 64 2c 0d 0a 09 ),......cond,...
1c00: 09 09 09 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 ...new FunLitera
1c10: 6c 28 74 68 65 6e 50 6f 73 2c 20 5b 5d 2c 20 74 l(thenPos, [], t
1c20: 68 29 2c 0d 0a 09 09 09 09 6e 65 77 20 46 75 6e h),......new Fun
1c30: 4c 69 74 65 72 61 6c 28 65 6c 73 65 50 6f 73 2c Literal(elsePos,
1c40: 20 5b 5d 2c 20 65 6c 29 0d 0a 09 09 09 29 3b 0d [], el).....);.
1c50: 0a 09 09 7d 0d 0a 09 09 69 66 28 20 74 72 79 45 ...}....if( tryE
1c60: 61 74 28 22 66 75 6e 22 29 20 7c 7c 20 74 72 79 at("fun") || try
1c70: 45 61 74 28 22 5c 75 30 33 42 42 22 29 20 29 20 Eat("\u03BB") )
1c80: 2f 2f 20 6c 61 6d 62 64 61 21 21 0d 0a 09 09 7b // lambda!!....{
1c90: 0d 0a 09 09 09 65 61 74 28 22 28 22 2c 20 22 61 .....eat("(", "a
1ca0: 66 74 65 72 20 66 75 6e 22 29 3b 0d 0a 09 09 09 fter fun");.....
1cb0: 72 65 74 75 72 6e 20 70 61 72 73 65 4c 61 6d 62 return parseLamb
1cc0: 64 61 41 66 74 65 72 4f 70 65 6e 50 61 72 65 6e daAfterOpenParen
1cd0: 28 70 6f 73 29 3b 0d 0a 09 09 7d 0d 0a 09 09 73 (pos);....}....s
1ce0: 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 cope(exit) lex.p
1cf0: 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 opFront;....retu
1d00: 72 6e 20 6e 65 77 20 56 61 72 45 78 70 72 65 73 rn new VarExpres
1d10: 73 69 6f 6e 28 70 6f 73 2c 20 6c 65 78 2e 66 72 sion(pos, lex.fr
1d20: 6f 6e 74 2e 73 74 72 29 3b 0d 0a 09 7d 0d 0a 0d ont.str);...}...
1d30: 0a 09 41 53 54 20 70 61 72 73 65 49 64 28 29 0d ..AST parseId().
1d40: 0a 09 7b 0d 0a 09 09 73 63 6f 70 65 28 65 78 69 ..{....scope(exi
1d50: 74 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b t) lex.popFront;
1d60: 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 53 ....return new S
1d70: 74 72 4c 69 74 65 72 61 6c 28 63 75 72 72 65 6e trLiteral(curren
1d80: 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 6c 65 78 tPosition(), lex
1d90: 2e 66 72 6f 6e 74 2e 73 74 72 29 3b 0d 0a 09 7d .front.str);...}
1da0: 0d 0a 0d 0a 09 41 53 54 20 70 61 72 73 65 4c 61 .....AST parseLa
1db0: 6d 62 64 61 41 66 74 65 72 4f 70 65 6e 50 61 72 mbdaAfterOpenPar
1dc0: 65 6e 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 en(immutable Lex
1dd0: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 Position pos)...
1de0: 7b 0d 0a 09 09 50 61 72 61 6d 65 74 65 72 5b 5d {....Parameter[]
1df0: 20 70 61 72 61 6d 73 3b 0d 0a 09 09 77 68 69 6c params;....whil
1e00: 65 28 20 21 74 72 79 45 61 74 28 22 29 22 29 20 e( !tryEat(")")
1e10: 29 0d 0a 09 09 7b 0d 0a 09 09 09 70 61 72 61 6d )....{.....param
1e20: 73 20 7e 3d 20 70 61 72 73 65 50 61 72 61 6d 28 s ~= parseParam(
1e30: 29 3b 0d 0a 09 09 09 69 66 28 20 21 74 72 79 45 );.....if( !tryE
1e40: 61 74 28 22 2c 22 29 20 29 20 7b 0d 0a 09 09 09 at(",") ) {.....
1e50: 09 65 61 74 28 22 29 22 2c 20 22 61 66 74 65 72 .eat(")", "after
1e60: 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 function parame
1e70: 74 65 72 73 22 29 3b 0d 0a 09 09 09 09 62 72 65 ters");......bre
1e80: 61 6b 3b 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a ak;.....}....}..
1e90: 09 09 65 61 74 28 22 7b 22 2c 20 22 61 66 74 65 ..eat("{", "afte
1ea0: 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d r function param
1eb0: 65 74 65 72 73 22 29 3b 0d 0a 09 09 61 75 74 6f eters");....auto
1ec0: 20 66 75 6e 62 6f 64 79 20 3d 20 42 6f 64 79 28 funbody = Body(
1ed0: 29 3b 0d 0a 09 09 65 61 74 28 22 7d 22 2c 20 22 );....eat("}", "
1ee0: 61 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 62 after function b
1ef0: 6f 64 79 22 29 3b 0d 0a 09 09 72 65 74 75 72 6e ody");....return
1f00: 20 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 6c 28 new FunLiteral(
1f10: 70 6f 73 2c 20 70 61 72 61 6d 73 2c 20 66 75 6e pos, params, fun
1f20: 62 6f 64 79 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 50 body);...}.....P
1f30: 61 72 61 6d 65 74 65 72 20 70 61 72 73 65 50 61 arameter parsePa
1f40: 72 61 6d 28 29 0d 0a 09 7b 0d 0a 09 09 73 74 72 ram()...{....str
1f50: 69 6e 67 20 76 61 72 3b 0d 0a 09 09 73 74 72 69 ing var;....stri
1f60: 6e 67 5b 5d 20 6c 61 79 3b 0d 0a 09 09 77 68 69 ng[] lay;....whi
1f70: 6c 65 28 20 21 63 6c 6f 73 69 6e 67 42 72 61 63 le( !closingBrac
1f80: 6b 65 74 28 29 20 26 26 20 21 6c 65 78 2e 65 6d ket() && !lex.em
1f90: 70 74 79 20 26 26 20 6c 65 78 2e 66 72 6f 6e 74 pty && lex.front
1fa0: 2e 73 74 72 21 3d 22 2c 22 20 29 0d 0a 09 09 7b .str!="," )....{
1fb0: 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 .....auto pos =
1fc0: 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 currentPosition(
1fd0: 29 3b 0d 0a 09 09 09 73 74 72 69 6e 67 20 70 20 );.....string p
1fe0: 3d 20 65 61 74 49 64 28 22 66 6f 72 20 66 75 6e = eatId("for fun
1ff0: 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 22 ction parameter"
2000: 2c 20 41 6c 6c 6f 77 51 75 6f 74 65 64 29 3b 0d , AllowQuoted);.
2010: 0a 09 09 09 69 66 28 20 70 20 3d 3d 20 22 40 22 ....if( p == "@"
2020: 20 29 0d 0a 09 09 09 09 6c 61 79 20 7e 3d 20 22 )......lay ~= "
2030: 40 22 20 7e 20 65 61 74 49 64 28 22 61 66 74 65 @" ~ eatId("afte
2040: 72 20 40 22 2c 20 41 6c 6c 6f 77 51 75 6f 74 65 r @", AllowQuote
2050: 64 29 3b 0d 0a 09 09 09 65 6c 73 65 20 69 66 28 d);.....else if(
2060: 20 76 61 72 2e 65 6d 70 74 79 20 29 0d 0a 09 09 var.empty )....
2070: 09 09 76 61 72 20 3d 20 70 3b 0d 0a 09 09 09 65 ..var = p;.....e
2080: 6c 73 65 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 lse......throw g
2090: 65 6e 65 78 21 50 61 72 73 65 45 78 63 65 70 74 enex!ParseExcept
20a0: 69 6f 6e 28 70 6f 73 2c 20 22 6f 6e 65 20 70 61 ion(pos, "one pa
20b0: 72 61 6d 65 74 65 72 20 68 61 73 20 74 77 6f 20 rameter has two
20c0: 6e 61 6d 65 73 22 29 3b 0d 0a 09 09 7d 0d 0a 09 names");....}...
20d0: 09 72 65 74 75 72 6e 20 6e 65 77 20 50 61 72 61 .return new Para
20e0: 6d 65 74 65 72 28 76 61 72 2c 20 6c 61 79 29 3b meter(var, lay);
20f0: 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a ...}....private:
2100: 0d 0a 09 4c 65 78 65 72 20 6c 65 78 3b 0d 0a 09 ...Lexer lex;...
2110: 74 68 69 73 28 4c 65 78 65 72 20 6c 65 78 29 20 this(Lexer lex)
2120: 7b 20 74 68 69 73 2e 6c 65 78 20 3d 20 6c 65 78 { this.lex = lex
2130: 3b 20 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 69 73 4e ; }.....bool isN
2140: 75 6d 62 65 72 28 73 74 72 69 6e 67 20 73 29 0d umber(string s).
2150: 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 66 69 ..{....return fi
2160: 6e 64 21 28 60 61 3c 27 30 27 20 7c 7c 20 27 39 nd!(`a<'0' || '9
2170: 27 3c 61 60 29 28 73 29 2e 65 6d 70 74 79 3b 0d '<a`)(s).empty;.
2180: 0a 09 7d 0d 0a 09 0d 0a 09 76 6f 69 64 20 65 61 ..}......void ea
2190: 74 28 73 74 72 69 6e 67 20 6b 77 64 2c 20 6c 61 t(string kwd, la
21a0: 7a 79 20 73 74 72 69 6e 67 20 6d 73 67 29 0d 0a zy string msg)..
21b0: 09 7b 0d 0a 09 09 69 66 28 20 21 74 72 79 45 61 .{....if( !tryEa
21c0: 74 28 6b 77 64 29 20 29 0d 0a 09 09 09 69 66 28 t(kwd) ).....if(
21d0: 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 lex.empty )....
21e0: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 55 6e ..throw genex!Un
21f0: 65 78 70 65 63 74 65 64 45 4f 46 28 0d 0a 09 09 expectedEOF(....
2200: 09 09 09 63 75 72 72 65 6e 74 50 6f 73 69 74 69 ...currentPositi
2210: 6f 6e 28 29 2c 20 73 70 72 69 6e 74 66 21 22 25 on(), sprintf!"%
2220: 73 20 69 73 20 65 78 70 65 63 74 65 64 20 25 73 s is expected %s
2230: 20 62 75 74 20 6e 6f 74 20 66 6f 75 6e 64 22 28 but not found"(
2240: 6b 77 64 2c 6d 73 67 29 29 3b 0d 0a 09 09 09 65 kwd,msg));.....e
2250: 6c 73 65 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 lse......throw g
2260: 65 6e 65 78 21 50 61 72 73 65 45 78 63 65 70 74 enex!ParseExcept
2270: 69 6f 6e 28 0d 0a 09 09 09 09 09 63 75 72 72 65 ion(.......curre
2280: 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 73 70 ntPosition(), sp
2290: 72 69 6e 74 66 21 22 25 73 20 69 73 20 65 78 70 rintf!"%s is exp
22a0: 65 63 74 65 64 20 66 6f 72 20 25 73 20 62 75 74 ected for %s but
22b0: 20 6e 6f 74 20 66 6f 75 6e 64 22 28 6b 77 64 2c not found"(kwd,
22c0: 6d 73 67 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 62 msg));...}.....b
22d0: 6f 6f 6c 20 74 72 79 45 61 74 28 73 74 72 69 6e ool tryEat(strin
22e0: 67 20 6b 77 64 29 0d 0a 09 7b 0d 0a 09 09 69 66 g kwd)...{....if
22f0: 28 20 6c 65 78 2e 65 6d 70 74 79 20 7c 7c 20 6c ( lex.empty || l
2300: 65 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 ex.front.quoted
2310: 7c 7c 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 || lex.front.str
2320: 21 3d 6b 77 64 20 29 0d 0a 09 09 09 72 65 74 75 !=kwd ).....retu
2330: 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 09 6c 65 78 rn false;....lex
2340: 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 .popFront;....re
2350: 74 75 72 6e 20 74 72 75 65 3b 0d 0a 09 7d 0d 0a turn true;...}..
2360: 0d 0a 09 65 6e 75 6d 20 7b 41 6c 6c 6f 77 51 75 ...enum {AllowQu
2370: 6f 74 65 64 3d 74 72 75 65 2c 20 44 69 73 61 6c oted=true, Disal
2380: 6c 6f 77 51 75 6f 74 65 64 3d 66 61 6c 73 65 7d lowQuoted=false}
2390: 3b 0d 0a 09 73 74 72 69 6e 67 20 65 61 74 49 64 ;...string eatId
23a0: 28 6c 61 7a 79 20 73 74 72 69 6e 67 20 6d 73 67 (lazy string msg
23b0: 2c 20 62 6f 6f 6c 20 61 71 3d 44 69 73 61 6c 6c , bool aq=Disall
23c0: 6f 77 51 75 6f 74 65 64 29 0d 0a 09 7b 0d 0a 09 owQuoted)...{...
23d0: 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 .if( lex.empty )
23e0: 0d 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 .....throw genex
23f0: 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 28 63 !UnexpectedEOF(c
2400: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 urrentPosition()
2410: 2c 20 22 69 64 65 6e 74 69 66 69 65 72 20 69 73 , "identifier is
2420: 20 65 78 70 65 63 74 65 64 20 62 75 74 20 6e 6f expected but no
2430: 74 20 66 6f 75 6e 64 20 22 7e 6d 73 67 29 3b 0d t found "~msg);.
2440: 0a 09 09 69 66 28 20 21 61 71 20 26 26 20 6c 65 ...if( !aq && le
2450: 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 29 x.front.quoted )
2460: 0d 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 .....throw genex
2470: 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 !ParseException(
2480: 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 currentPosition(
2490: 29 2c 20 22 69 64 65 6e 74 69 66 69 65 72 20 69 ), "identifier i
24a0: 73 20 65 78 70 65 63 74 65 64 20 62 75 74 20 6e s expected but n
24b0: 6f 74 20 66 6f 75 6e 64 20 22 7e 6d 73 67 29 3b ot found "~msg);
24c0: 0d 0a 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 ....scope(exit)
24d0: 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 lex.popFront;...
24e0: 09 72 65 74 75 72 6e 20 6c 65 78 2e 66 72 6f 6e .return lex.fron
24f0: 74 2e 73 74 72 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 t.str;...}.....A
2500: 53 54 20 64 6f 4e 6f 74 68 69 6e 67 45 78 70 72 ST doNothingExpr
2510: 65 73 73 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 ession()...{....
2520: 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 4c 69 return new IntLi
2530: 74 65 72 61 6c 28 63 75 72 72 65 6e 74 50 6f 73 teral(currentPos
2540: 69 74 69 6f 6e 28 29 2c 20 42 69 67 49 6e 74 28 ition(), BigInt(
2550: 31 37 38 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 69 178));...}.....i
2560: 6d 6d 75 74 61 62 6c 65 28 4c 65 78 50 6f 73 69 mmutable(LexPosi
2570: 74 69 6f 6e 29 20 63 75 72 72 65 6e 74 50 6f 73 tion) currentPos
2580: 69 74 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 72 ition()...{....r
2590: 65 74 75 72 6e 20 6c 65 78 2e 65 6d 70 74 79 20 eturn lex.empty
25a0: 3f 20 6e 75 6c 6c 20 3a 20 6c 65 78 2e 66 72 6f ? null : lex.fro
25b0: 6e 74 2e 70 6f 73 3b 0d 0a 09 7d 0d 0a 7d 0d 0a nt.pos;...}..}..
25c0: 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 ..unittest..{...
25d0: 6d 69 78 69 6e 20 45 61 73 79 41 53 54 3b 0d 0a mixin EasyAST;..
25e0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
25f0: 73 65 53 74 72 69 6e 67 28 60 31 32 33 60 29 2c seString(`123`),
2600: 20 69 6e 74 6c 28 31 32 33 29 29 3b 0d 0a 09 61 intl(123));...a
2610: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
2620: 72 69 6e 67 28 60 22 66 6f 6f 22 60 29 2c 20 73 ring(`"foo"`), s
2630: 74 72 6c 28 22 66 6f 6f 22 29 29 3b 0d 0a 09 61 trl("foo"));...a
2640: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
2650: 72 69 6e 67 28 60 66 75 6e 28 29 7b 31 7d 60 29 ring(`fun(){1}`)
2660: 2c 20 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 31 29 , fun([],intl(1)
2670: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
2680: 70 61 72 73 65 53 74 72 69 6e 67 28 60 66 75 6e parseString(`fun
2690: 28 78 29 7b 31 7d 60 29 2c 20 66 75 6e 28 5b 22 (x){1}`), fun(["
26a0: 78 22 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a x"],intl(1)));..
26b0: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
26c0: 53 74 72 69 6e 67 28 22 5c 75 30 33 42 42 28 29 String("\u03BB()
26d0: 7b 31 7d 22 29 2c 20 66 75 6e 28 5b 5d 2c 69 6e {1}"), fun([],in
26e0: 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(1)));...asser
26f0: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
2700: 28 22 5c 75 30 33 42 42 28 78 29 7b 31 7d 22 29 ("\u03BB(x){1}")
2710: 2c 20 66 75 6e 28 5b 22 78 22 5d 2c 69 6e 74 6c , fun(["x"],intl
2720: 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f (1)));...assert_
2730: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
2740: 31 3b 32 60 29 2c 20 6c 65 74 28 22 5f 22 2c 22 1;2`), let("_","
2750: 22 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 ",intl(1),intl(2
2760: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
2770: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 3b (parseString(`1;
2780: 32 3b 60 29 2c 20 6c 65 74 28 22 5f 22 2c 22 22 2;`), let("_",""
2790: 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 ,intl(1),intl(2)
27a0: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
27b0: 70 61 72 73 65 53 74 72 69 6e 67 28 60 6c 65 74 parseString(`let
27c0: 20 78 3d 31 20 69 6e 20 32 60 29 2c 20 6c 65 74 x=1 in 2`), let
27d0: 28 22 78 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c ("x","",intl(1),
27e0: 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 intl(2)));...ass
27f0: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
2800: 6e 67 28 60 76 61 72 20 78 3d 31 3b 32 3b 60 29 ng(`var x=1;2;`)
2810: 2c 20 6c 65 74 28 22 78 22 2c 22 22 2c 69 6e 74 , let("x","",int
2820: 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d l(1),intl(2)));.
2830: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
2840: 65 53 74 72 69 6e 67 28 60 64 65 66 20 78 3d 31 eString(`def x=1
2850: 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 22 2c 69 `), let("x","",i
2860: 6e 74 6c 28 31 29 2c 76 61 72 28 22 78 22 29 29 ntl(1),var("x"))
2870: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
2880: 61 72 73 65 53 74 72 69 6e 67 28 60 40 76 61 6c arseString(`@val
2890: 20 78 3d 31 3b 60 29 2c 20 6c 65 74 28 22 78 22 x=1;`), let("x"
28a0: 2c 22 40 76 61 6c 22 2c 69 6e 74 6c 28 31 29 2c ,"@val",intl(1),
28b0: 76 61 72 28 22 78 22 29 29 29 3b 0d 0a 09 61 73 var("x")));...as
28c0: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
28d0: 69 6e 67 28 60 40 74 79 70 20 78 3d 22 23 69 6e ing(`@typ x="#in
28e0: 74 22 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 t";`), let("x","
28f0: 40 74 79 70 22 2c 73 74 72 6c 28 22 23 69 6e 74 @typ",strl("#int
2900: 22 29 2c 76 61 72 28 22 78 22 29 29 29 3b 0d 0a "),var("x")));..
2910: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
2920: 53 74 72 69 6e 67 28 60 66 28 31 2c 32 29 60 29 String(`f(1,2)`)
2930: 2c 20 63 61 6c 6c 28 76 61 72 28 22 66 22 29 2c , call(var("f"),
2940: 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 intl(1),intl(2))
2950: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
2960: 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 31 arseString(`if(1
2970: 29 7b 32 7d 60 29 2c 20 63 61 6c 6c 28 76 61 72 ){2}`), call(var
2980: 28 22 69 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 ("if"),intl(1),f
2990: 75 6e 28 5b 5d 2c 69 6e 74 6c 28 32 29 29 2c 66 un([],intl(2)),f
29a0: 75 6e 28 5b 5d 2c 69 6e 74 6c 28 31 37 38 29 29 un([],intl(178))
29b0: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
29c0: 70 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 parseString(`if(
29d0: 31 29 7b 32 7d 65 6c 73 65 7b 33 7d 60 29 2c 20 1){2}else{3}`),
29e0: 63 61 6c 6c 28 76 61 72 28 22 69 66 22 29 2c 69 call(var("if"),i
29f0: 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c 69 6e ntl(1),fun([],in
2a00: 74 6c 28 32 29 29 2c 66 75 6e 28 5b 5d 2c 69 6e tl(2)),fun([],in
2a10: 74 6c 28 33 29 29 29 29 3b 0d 0a 09 61 73 73 65 tl(3))));...asse
2a20: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
2a30: 67 28 60 69 66 28 31 29 7b 7d 65 6c 73 65 7b 33 g(`if(1){}else{3
2a40: 7d 28 29 28 29 60 29 2c 0d 0a 09 09 63 61 6c 6c }()()`),....call
2a50: 28 63 61 6c 6c 28 63 61 6c 6c 28 76 61 72 28 22 (call(call(var("
2a60: 69 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e if"),intl(1),fun
2a70: 28 5b 5d 2c 69 6e 74 6c 28 31 37 38 29 29 2c 66 ([],intl(178)),f
2a80: 75 6e 28 5b 5d 2c 69 6e 74 6c 28 33 29 29 29 29 un([],intl(3))))
2a90: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
2aa0: 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2b 32 parseString(`1+2
2ab0: 2a 33 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 *3`), call(var("
2ac0: 2b 22 29 2c 69 6e 74 6c 28 31 29 2c 63 61 6c 6c +"),intl(1),call
2ad0: 28 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c 28 32 (var("*"),intl(2
2ae0: 29 2c 69 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 09 ),intl(3))));...
2af0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
2b00: 74 72 69 6e 67 28 60 28 31 2b 32 29 2a 33 60 29 tring(`(1+2)*3`)
2b10: 2c 20 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c , call(var("*"),
2b20: 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 6e call(var("+"),in
2b30: 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 2c 69 tl(1),intl(2)),i
2b40: 6e 74 6c 28 33 29 29 29 3b 0d 0a 09 61 73 73 65 ntl(3)));...asse
2b50: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
2b60: 67 28 60 31 2a 28 32 2b 33 29 60 29 2c 20 63 61 g(`1*(2+3)`), ca
2b70: 6c 6c 28 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c ll(var("*"),intl
2b80: 28 31 29 2c 63 61 6c 6c 28 76 61 72 28 22 2b 22 (1),call(var("+"
2b90: 29 2c 69 6e 74 6c 28 32 29 2c 69 6e 74 6c 28 33 ),intl(2),intl(3
2ba0: 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 ))));...assert_e
2bb0: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 q(parseString(`1
2bc0: 2a 32 2b 33 60 29 2c 20 63 61 6c 6c 28 76 61 72 *2+3`), call(var
2bd0: 28 22 2b 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 ("+"),call(var("
2be0: 2a 22 29 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c *"),intl(1),intl
2bf0: 28 32 29 29 2c 69 6e 74 6c 28 33 29 29 29 3b 0d (2)),intl(3)));.
2c00: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
2c10: 65 53 74 72 69 6e 67 28 60 40 78 28 31 29 60 29 eString(`@x(1)`)
2c20: 2c 20 6c 61 79 28 22 40 78 22 2c 20 69 6e 74 6c , lay("@x", intl
2c30: 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f (1)));...assert_
2c40: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
2c50: 66 75 6e 28 78 20 40 76 20 40 74 2c 20 79 2c 20 fun(x @v @t, y,
2c60: 7a 20 40 74 29 7b 7d 60 29 2c 0d 0a 09 09 66 75 z @t){}`),....fu
2c70: 6e 70 28 5b 70 61 72 61 6d 28 22 78 22 2c 5b 22 np([param("x",["
2c80: 40 76 22 2c 22 40 74 22 5d 29 2c 20 70 61 72 61 @v","@t"]), para
2c90: 6d 28 22 79 22 2c 5b 5d 29 2c 20 70 61 72 61 6d m("y",[]), param
2ca0: 28 22 7a 22 2c 5b 22 40 74 22 5d 29 5d 2c 20 69 ("z",["@t"])], i
2cb0: 6e 74 6c 28 31 37 38 29 29 29 3b 0d 0a 0d 0a 09 ntl(178)));.....
2cc0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
2cd0: 74 72 69 6e 67 28 60 0d 0a 09 09 6c 65 74 20 78 tring(`....let x
2ce0: 20 3d 20 31 30 30 3b 20 23 63 6f 6d 6d 65 6e 74 = 100; #comment
2cf0: 0d 0a 09 09 6c 65 74 20 79 20 3d 20 32 30 30 3b ....let y = 200;
2d00: 20 23 63 6f 6d 6d 65 6e 74 21 21 21 21 21 0d 0a #comment!!!!!..
2d10: 09 09 09 78 2b 79 0d 0a 09 60 29 2c 0d 0a 09 09 ...x+y...`),....
2d20: 6c 65 74 28 22 78 22 2c 20 22 22 2c 20 69 6e 74 let("x", "", int
2d30: 6c 28 31 30 30 29 2c 20 6c 65 74 28 22 79 22 2c l(100), let("y",
2d40: 20 22 22 2c 20 69 6e 74 6c 28 32 30 30 29 2c 20 "", intl(200),
2d50: 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 20 76 call(var("+"), v
2d60: 61 72 28 22 78 22 29 2c 20 76 61 72 28 22 79 22 ar("x"), var("y"
2d70: 29 29 29 29 0d 0a 09 29 3b 0d 0a 0d 0a 09 61 73 ))))...);.....as
2d80: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
2d90: 69 6e 67 28 60 0d 0a 09 09 76 61 72 20 66 61 63 ing(`....var fac
2da0: 20 3d 20 66 75 6e 28 78 29 7b 20 69 66 28 78 20 = fun(x){ if(x
2db0: 3c 3d 20 31 29 20 7b 31 7d 20 65 6c 73 65 20 7b <= 1) {1} else {
2dc0: 78 2a 66 61 63 28 78 2d 31 29 7d 20 7d 3b 0d 0a x*fac(x-1)} };..
2dd0: 09 09 66 61 63 28 31 30 29 0d 0a 09 60 29 2c 0d ..fac(10)...`),.
2de0: 0a 09 09 6c 65 74 28 22 66 61 63 22 2c 20 22 22 ...let("fac", ""
2df0: 2c 20 66 75 6e 28 5b 22 78 22 5d 2c 0d 0a 09 09 , fun(["x"],....
2e00: 09 63 61 6c 6c 28 76 61 72 28 22 69 66 22 29 2c .call(var("if"),
2e10: 0d 0a 09 09 09 09 63 61 6c 6c 28 76 61 72 28 22 ......call(var("
2e20: 3c 3d 22 29 2c 20 76 61 72 28 22 78 22 29 2c 20 <="), var("x"),
2e30: 69 6e 74 6c 28 31 29 29 2c 0d 0a 09 09 09 09 66 intl(1)),......f
2e40: 75 6e 28 5b 5d 2c 20 69 6e 74 6c 28 31 29 29 2c un([], intl(1)),
2e50: 0d 0a 09 09 09 09 66 75 6e 28 5b 5d 2c 20 63 61 ......fun([], ca
2e60: 6c 6c 28 76 61 72 28 22 2a 22 29 2c 20 76 61 72 ll(var("*"), var
2e70: 28 22 78 22 29 2c 20 63 61 6c 6c 28 76 61 72 28 ("x"), call(var(
2e80: 22 66 61 63 22 29 2c 63 61 6c 6c 28 76 61 72 28 "fac"),call(var(
2e90: 22 2d 22 29 2c 76 61 72 28 22 78 22 29 2c 69 6e "-"),var("x"),in
2ea0: 74 6c 28 31 29 29 29 29 29 0d 0a 09 09 09 29 29 tl(1))))).....))
2eb0: 2c 0d 0a 09 09 09 63 61 6c 6c 28 76 61 72 28 22 ,.....call(var("
2ec0: 66 61 63 22 29 2c 69 6e 74 6c 28 31 30 29 29 0d fac"),intl(10)).
2ed0: 0a 09 09 29 0d 0a 09 29 3b 0d 0a 7d 0d 0a 0d 0a ...)...);..}....
2ee0: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 unittest..{...as
2ef0: 73 65 72 74 5f 74 68 72 6f 77 21 55 6e 65 78 70 sert_throw!Unexp
2f00: 65 63 74 65 64 45 4f 46 28 70 61 72 73 65 53 74 ectedEOF(parseSt
2f10: 72 69 6e 67 28 60 31 2b 60 29 29 3b 0d 0a 09 61 ring(`1+`));...a
2f20: 73 73 65 72 74 5f 74 68 72 6f 77 21 50 61 72 73 ssert_throw!Pars
2f30: 65 45 78 63 65 70 74 69 6f 6e 28 70 61 72 73 65 eException(parse
2f40: 53 74 72 69 6e 67 28 60 31 2b 32 7d 60 29 29 3b String(`1+2}`));
2f50: 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 ...assert_throw!
2f60: 55 6e 65 78 70 65 63 74 65 64 45 4f 46 28 70 61 UnexpectedEOF(pa
2f70: 72 73 65 53 74 72 69 6e 67 28 60 6c 65 74 20 22 rseString(`let "
2f80: 78 22 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f x"`));...assert_
2f90: 74 68 72 6f 77 21 55 6e 65 78 70 65 63 74 65 64 throw!Unexpected
2fa0: 45 4f 46 28 70 61 72 73 65 53 74 72 69 6e 67 28 EOF(parseString(
2fb0: 60 76 61 72 60 29 29 3b 0d 0a 09 61 73 73 65 72 `var`));...asser
2fc0: 74 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 t_throw!ParseExc
2fd0: 65 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 eption(parseStri
2fe0: 6e 67 28 60 40 76 61 6c 20 78 20 3d 3d 60 29 29 ng(`@val x ==`))
2ff0: 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 ;...assert_throw
3000: 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 !ParseException(
3010: 70 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 parseString(`if(
3020: 29 7b 31 7d 60 29 29 3b 0d 0a 09 61 73 73 65 72 ){1}`));...asser
3030: 74 5f 74 68 72 6f 77 21 55 6e 65 78 70 65 63 74 t_throw!Unexpect
3040: 65 64 45 4f 46 28 70 61 72 73 65 53 74 72 69 6e edEOF(parseStrin
3050: 67 28 60 66 28 60 29 29 3b 0d 0a 7d 0d 0a 0d 0a g(`f(`));..}....
3060: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 6d 69 unittest..{...mi
3070: 78 69 6e 20 45 61 73 79 41 53 54 3b 0d 0a 09 61 xin EasyAST;...a
3080: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
3090: 72 69 6e 67 28 60 64 65 66 20 66 6f 6f 28 78 29 ring(`def foo(x)
30a0: 20 7b 20 78 2b 31 20 7d 3b 20 66 6f 6f 60 29 2c { x+1 }; foo`),
30b0: 0d 0a 09 09 6c 65 74 28 22 66 6f 6f 22 2c 20 22 ....let("foo", "
30c0: 22 2c 0d 0a 09 09 09 66 75 6e 28 5b 22 78 22 5d ",.....fun(["x"]
30d0: 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c , call(var("+"),
30e0: 20 76 61 72 28 22 78 22 29 2c 20 69 6e 74 6c 28 var("x"), intl(
30f0: 31 29 29 29 2c 0d 0a 09 09 09 76 61 72 28 22 66 1))),.....var("f
3100: 6f 6f 22 29 29 0d 0a 09 29 3b 0d 0a 0d 0a 09 61 oo"))...);.....a
3110: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
3120: 72 69 6e 67 28 60 40 40 74 79 70 65 20 28 20 78 ring(`@@type ( x
3130: 20 29 20 7b 20 78 20 7d 60 29 2c 0d 0a 09 09 6c ) { x }`),....l
3140: 65 74 28 22 40 74 79 70 65 22 2c 20 22 28 73 79 et("@type", "(sy
3150: 73 74 65 6d 29 22 2c 20 66 75 6e 28 5b 22 78 22 stem)", fun(["x"
3160: 5d 2c 20 76 61 72 28 22 78 22 29 29 2c 20 76 61 ], var("x")), va
3170: 72 28 22 40 74 79 70 65 22 29 29 20 29 3b 0d 0a r("@type")) );..
3180: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
3190: 73 65 53 74 72 69 6e 67 28 60 7b 7d 60 29 2c 20 seString(`{}`),
31a0: 63 61 6c 6c 28 76 61 72 28 22 7b 7d 22 29 29 29 call(var("{}")))
31b0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
31c0: 72 73 65 53 74 72 69 6e 67 28 60 7b 66 6f 6f 3a rseString(`{foo:
31d0: 31 2c 22 62 61 72 22 3a 32 7d 60 29 2c 0d 0a 09 1,"bar":2}`),...
31e0: 09 63 61 6c 6c 28 76 61 72 28 22 2e 3d 22 29 2c .call(var(".="),
31f0: 20 63 61 6c 6c 28 76 61 72 28 22 2e 3d 22 29 2c call(var(".="),
3200: 20 63 61 6c 6c 28 76 61 72 28 22 7b 7d 22 29 29 call(var("{}"))
3210: 2c 20 73 74 72 6c 28 22 66 6f 6f 22 29 2c 20 69 , strl("foo"), i
3220: 6e 74 6c 28 31 29 29 2c 20 73 74 72 6c 28 22 62 ntl(1)), strl("b
3230: 61 72 22 29 2c 20 69 6e 74 6c 28 32 29 29 29 3b ar"), intl(2)));
3240: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
3250: 73 65 53 74 72 69 6e 67 28 60 7b 7d 2e 66 6f 6f seString(`{}.foo
3260: 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2e 22 `), call(var("."
3270: 29 2c 63 61 6c 6c 28 76 61 72 28 22 7b 7d 22 29 ),call(var("{}")
3280: 29 2c 73 74 72 6c 28 22 66 6f 6f 22 29 29 29 3b ),strl("foo")));
3290: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
32a0: 73 65 53 74 72 69 6e 67 28 60 7b 7d 2e 3f 66 6f seString(`{}.?fo
32b0: 6f 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2e o`), call(var(".
32c0: 3f 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 7b 7d ?"),call(var("{}
32d0: 22 29 29 2c 73 74 72 6c 28 22 66 6f 6f 22 29 29 ")),strl("foo"))
32e0: 29 3b 0d 0a 7d 0d 0a );..}..