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 6c .import polemy.l
00c0: 65 78 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 ex;..import pole
00d0: 6d 79 2e 61 73 74 3b 0d 0a 0d 0a 2f 2f 2f 20 54 my.ast;..../// T
00e0: 68 72 6f 77 6e 20 77 68 65 6e 20 65 6e 63 6f 75 hrown when encou
00f0: 6e 74 65 72 65 64 20 61 20 73 79 6e 74 61 78 20 ntered a syntax
0100: 65 72 72 6f 72 0d 0a 0d 0a 63 6c 61 73 73 20 50 error....class P
0110: 61 72 73 65 45 78 63 65 70 74 69 6f 6e 20 3a 20 arseException :
0120: 45 78 63 65 70 74 69 6f 6e 0d 0a 7b 0d 0a 09 6d Exception..{...m
0130: 69 78 69 6e 20 45 78 63 65 70 74 69 6f 6e 57 69 ixin ExceptionWi
0140: 74 68 50 6f 73 69 74 69 6f 6e 3b 0d 0a 7d 0d 0a thPosition;..}..
0150: 0d 0a 2f 2f 2f 20 50 61 72 73 65 20 61 20 73 74 ../// Parse a st
0160: 72 69 6e 67 20 61 6e 64 20 72 65 74 75 72 6e 20 ring and return
0170: 69 74 73 20 41 53 54 0d 0a 2f 2f 2f 20 54 68 72 its AST../// Thr
0180: 6f 77 73 3a 20 50 61 72 73 65 45 78 63 65 70 74 ows: ParseExcept
0190: 69 6f 6e 2c 20 4c 65 78 45 78 63 65 70 74 69 6f ion, LexExceptio
01a0: 6e 2c 20 55 6e 65 78 70 65 63 74 65 64 45 4f 46 n, UnexpectedEOF
01b0: 0d 0a 0d 0a 41 53 54 20 70 61 72 73 65 53 74 72 ....AST parseStr
01c0: 69 6e 67 28 53 2c 20 54 2e 2e 2e 29 28 53 20 73 ing(S, T...)(S s
01d0: 74 72 2c 20 54 20 66 6e 5f 6c 6e 5f 63 6e 29 0d tr, T fn_ln_cn).
01e0: 0a 7b 0d 0a 09 72 65 74 75 72 6e 20 70 61 72 73 .{...return pars
01f0: 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 73 74 72 erFromString(str
0200: 2c 20 66 6e 5f 6c 6e 5f 63 6e 29 2e 70 61 72 73 , fn_ln_cn).pars
0210: 65 28 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 50 e();..}..../// P
0220: 61 72 73 65 20 74 68 65 20 63 6f 6e 74 65 6e 74 arse the content
0230: 20 6f 66 20 61 20 66 69 6c 65 20 61 6e 64 20 72 of a file and r
0240: 65 74 75 72 6e 20 69 74 73 20 41 53 54 0d 0a 2f eturn its AST../
0250: 2f 2f 20 54 68 72 6f 77 73 3a 20 50 61 72 73 65 // Throws: Parse
0260: 45 78 63 65 70 74 69 6f 6e 2c 20 4c 65 78 45 78 Exception, LexEx
0270: 63 65 70 74 69 6f 6e 2c 20 55 6e 65 78 70 65 63 ception, Unexpec
0280: 74 65 64 45 4f 46 0d 0a 0d 0a 41 53 54 20 70 61 tedEOF....AST pa
0290: 72 73 65 46 69 6c 65 28 53 2c 20 54 2e 2e 2e 29 rseFile(S, T...)
02a0: 28 53 20 66 69 6c 65 6e 61 6d 65 2c 20 54 20 6c (S filename, T l
02b0: 6e 5f 63 6e 29 0d 0a 7b 0d 0a 09 72 65 74 75 72 n_cn)..{...retur
02c0: 6e 20 70 61 72 73 65 72 46 72 6f 6d 46 69 6c 65 n parserFromFile
02d0: 28 66 69 6c 65 6e 61 6d 65 2c 20 6c 6e 5f 63 6e (filename, ln_cn
02e0: 29 2e 70 61 72 73 65 28 29 3b 0d 0a 7d 0d 0a 0d ).parse();..}...
02f0: 0a 2f 2f 20 4e 61 6d 65 64 20 43 6f 6e 73 74 72 .// Named Constr
0300: 75 63 74 6f 72 73 20 6f 66 20 50 61 72 73 65 72 uctors of Parser
0310: 0d 0a 0d 0a 70 72 69 76 61 74 65 20 61 75 74 6f ....private auto
0320: 20 70 61 72 73 65 72 46 72 6f 6d 4c 65 78 65 72 parserFromLexer
0330: 28 4c 65 78 65 72 29 28 4c 65 78 65 72 20 6c 65 (Lexer)(Lexer le
0340: 78 29 0d 0a 09 7b 20 72 65 74 75 72 6e 20 6e 65 x)...{ return ne
0350: 77 20 50 61 72 73 65 72 21 4c 65 78 65 72 28 6c w Parser!Lexer(l
0360: 65 78 29 3b 20 7d 0d 0a 0d 0a 70 72 69 76 61 74 ex); }....privat
0370: 65 20 61 75 74 6f 20 70 61 72 73 65 72 46 72 6f e auto parserFro
0380: 6d 53 74 72 69 6e 67 28 54 2e 2e 2e 29 28 54 20 mString(T...)(T
0390: 70 61 72 61 6d 73 29 0d 0a 09 7b 20 72 65 74 75 params)...{ retu
03a0: 72 6e 20 70 61 72 73 65 72 46 72 6f 6d 4c 65 78 rn parserFromLex
03b0: 65 72 28 6c 65 78 65 72 46 72 6f 6d 53 74 72 69 er(lexerFromStri
03c0: 6e 67 28 70 61 72 61 6d 73 29 29 3b 20 7d 0d 0a ng(params)); }..
03d0: 0d 0a 70 72 69 76 61 74 65 20 61 75 74 6f 20 70 ..private auto p
03e0: 61 72 73 65 72 46 72 6f 6d 46 69 6c 65 28 54 2e arserFromFile(T.
03f0: 2e 2e 29 28 54 20 70 61 72 61 6d 73 29 0d 0a 09 ..)(T params)...
0400: 7b 20 72 65 74 75 72 6e 20 70 61 72 73 65 72 46 { return parserF
0410: 72 6f 6d 4c 65 78 65 72 28 6c 65 78 65 72 46 72 romLexer(lexerFr
0420: 6f 6d 46 69 6c 65 28 70 61 72 61 6d 73 29 29 3b omFile(params));
0430: 20 7d 0d 0a 0d 0a 2f 2f 20 50 61 72 73 65 72 0d }....// Parser.
0440: 0a 0d 0a 70 72 69 76 61 74 65 20 63 6c 61 73 73 ...private class
0450: 20 50 61 72 73 65 72 28 4c 65 78 65 72 29 0d 0a Parser(Lexer)..
0460: 09 69 66 28 20 69 73 46 6f 72 77 61 72 64 52 61 .if( isForwardRa
0470: 6e 67 65 21 28 4c 65 78 65 72 29 20 26 26 20 69 nge!(Lexer) && i
0480: 73 28 45 6c 65 6d 65 6e 74 54 79 70 65 21 28 4c s(ElementType!(L
0490: 65 78 65 72 29 20 3d 3d 20 54 6f 6b 65 6e 29 20 exer) == Token)
04a0: 29 0d 0a 7b 0d 0a 09 41 53 54 20 70 61 72 73 65 )..{...AST parse
04b0: 28 29 0d 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 65 ()...{....auto e
04c0: 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 69 66 = Body();....if
04d0: 28 20 21 6c 65 78 2e 65 6d 70 74 79 20 29 0d 0a ( !lex.empty )..
04e0: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 50 ...throw genex!P
04f0: 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 63 75 arseException(cu
0500: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c rrentPosition(),
0510: 20 22 70 61 72 73 69 6e 67 20 65 6e 64 65 64 20 "parsing ended
0520: 62 75 74 20 73 6f 6d 65 20 74 6f 6b 65 6e 73 20 but some tokens
0530: 6c 65 66 74 22 29 3b 0d 0a 09 09 72 65 74 75 72 left");....retur
0540: 6e 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 n e;...}.....AST
0550: 20 42 6f 64 79 28 29 0d 0a 09 7b 0d 0a 09 09 2f Body()...{..../
0560: 2f 2f 20 42 6f 64 79 20 3a 3a 3d 20 44 65 63 6c // Body ::= Decl
0570: 61 72 61 74 69 6f 6e 0d 0a 09 09 2f 2f 2f 20 20 aration....///
0580: 20 20 20 20 20 20 7c 20 54 6f 70 4c 65 76 65 6c | TopLevel
0590: 45 78 70 72 65 73 73 69 6f 6e 0d 0a 0d 0a 09 09 Expression......
05a0: 69 66 28 20 63 6c 6f 73 69 6e 67 42 72 61 63 6b if( closingBrack
05b0: 65 74 28 29 20 29 0d 0a 09 09 09 72 65 74 75 72 et() ).....retur
05c0: 6e 20 64 6f 4e 6f 74 68 69 6e 67 45 78 70 72 65 n doNothingExpre
05d0: 73 73 69 6f 6e 28 29 3b 0d 0a 0d 0a 09 09 61 75 ssion();......au
05e0: 74 6f 20 73 61 76 65 64 20 3d 20 6c 65 78 2e 73 to saved = lex.s
05f0: 61 76 65 3b 0d 0a 09 09 69 66 28 20 61 75 74 6f ave;....if( auto
0600: 20 65 20 3d 20 44 65 63 6c 61 72 61 74 69 6f 6e e = Declaration
0610: 28 29 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 () ).....return
0620: 65 3b 0d 0a 09 09 6c 65 78 20 3d 20 73 61 76 65 e;....lex = save
0630: 64 3b 0d 0a 09 09 72 65 74 75 72 6e 20 54 6f 70 d;....return Top
0640: 4c 65 76 65 6c 45 78 70 72 65 73 73 69 6f 6e 28 LevelExpression(
0650: 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 44 );...}.....AST D
0660: 65 63 6c 61 72 61 74 69 6f 6e 28 29 20 2f 2f 20 eclaration() //
0670: 72 65 74 75 72 6e 73 20 6e 75 6c 6c 20 69 66 20 returns null if
0680: 69 74 20 69 73 20 6e 6f 74 20 61 20 64 65 63 6c it is not a decl
0690: 61 72 61 74 69 6f 6e 0d 0a 09 7b 0d 0a 09 09 2f aration...{..../
06a0: 2f 2f 20 44 65 63 6c 61 72 61 74 69 6f 6e 20 3a // Declaration :
06b0: 3a 3d 0d 0a 09 09 2f 2f 2f 20 20 20 20 5b 22 40 :=..../// ["@
06c0: 22 20 4c 61 79 65 72 7c 22 6c 65 74 22 7c 22 76 " Layer|"let"|"v
06d0: 61 72 22 7c 22 64 65 66 22 5d 20 56 61 72 20 22 ar"|"def"] Var "
06e0: 3d 22 20 45 78 70 72 65 73 73 69 6f 6e 20 28 5b =" Expression ([
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 4c 61 79 65 72 7c 22 6c 65 74 22 7c 22 76 61 Layer|"let"|"va
0720: 72 22 7c 22 64 65 66 22 5d 20 56 61 72 20 22 28 r"|"def"] Var "(
0730: 22 20 50 61 72 61 6d 25 22 2c 22 20 22 29 22 20 " Param%"," ")"
0740: 22 7b 22 20 42 6f 64 79 20 22 7d 22 20 28 5b 22 "{" Body "}" (["
0750: 3b 22 7c 22 69 6e 22 5d 20 42 6f 64 79 3f 29 3f ;"|"in"] Body?)?
0760: 0d 0a 09 09 2f 2f 2f 20 20 7c 20 5b 22 40 22 20 ..../// | ["@"
0770: 22 40 22 20 4c 61 79 65 72 20 22 3d 22 20 45 78 "@" Layer "=" Ex
0780: 70 72 65 73 73 69 6f 6e 20 28 5b 22 3b 22 7c 22 pression ([";"|"
0790: 69 6e 22 5d 20 42 6f 64 79 3f 29 3f 0d 0a 09 09 in"] Body?)?....
07a0: 2f 2f 2f 20 20 7c 20 5b 22 40 22 20 22 40 22 20 /// | ["@" "@"
07b0: 4c 61 79 65 72 20 22 28 22 20 50 61 72 61 6d 25 Layer "(" Param%
07c0: 22 2c 22 20 22 29 22 20 22 7b 22 20 42 6f 64 79 "," ")" "{" Body
07d0: 20 22 7d 22 20 28 5b 22 3b 22 7c 22 69 6e 22 5d "}" ([";"|"in"]
07e0: 20 42 6f 64 79 3f 29 3f 0d 0a 0d 0a 09 09 61 75 Body?)?......au
07f0: 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 to pos = current
0800: 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 73 Position();....s
0810: 74 72 69 6e 67 20 6c 61 79 65 72 20 3d 20 22 22 tring layer = ""
0820: 3b 0d 0a 09 09 62 6f 6f 6c 20 6c 61 79 65 72 52 ;....bool layerR
0830: 69 73 65 44 65 63 6c 20 3d 20 66 61 6c 73 65 3b iseDecl = false;
0840: 0d 0a 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 ......if( tryEat
0850: 28 22 40 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 ("@") )....{....
0860: 09 6c 61 79 65 72 20 3d 20 22 40 22 20 7e 20 65 .layer = "@" ~ e
0870: 61 74 49 64 28 22 61 66 74 65 72 20 40 22 2c 20 atId("after @",
0880: 41 6c 6c 6f 77 51 75 6f 74 65 64 29 3b 0d 0a 09 AllowQuoted);...
0890: 09 09 69 66 28 20 6c 61 79 65 72 20 3d 3d 20 22 ..if( layer == "
08a0: 40 40 22 20 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 @@" ).....{.....
08b0: 09 6c 61 79 65 72 20 3d 20 22 40 22 20 7e 20 65 .layer = "@" ~ e
08c0: 61 74 49 64 28 22 61 66 74 65 72 20 40 40 22 2c atId("after @@",
08d0: 20 41 6c 6c 6f 77 51 75 6f 74 65 64 29 3b 0d 0a AllowQuoted);..
08e0: 09 09 09 09 6c 61 79 65 72 52 69 73 65 44 65 63 ....layerRiseDec
08f0: 6c 20 3d 20 74 72 75 65 3b 0d 0a 09 09 09 7d 0d l = true;.....}.
0900: 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 7b 0d 0a ....else.....{..
0910: 09 09 09 09 69 66 28 20 74 72 79 45 61 74 28 22 ....if( tryEat("
0920: 28 22 29 20 29 0d 0a 09 09 09 09 09 72 65 74 75 (") ).......retu
0930: 72 6e 20 6e 75 6c 6c 3b 20 2f 2f 20 40 6c 61 79 rn null; // @lay
0940: 28 2e 2e 2e 29 20 65 78 70 72 65 73 73 69 6f 6e (...) expression
0950: 2c 20 6e 6f 74 20 61 20 64 65 63 6c 61 72 61 74 , not a declarat
0960: 69 6f 6e 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a ion.....}....}..
0970: 0d 0a 09 09 2f 2f 20 5b 54 4f 44 4f 5d 20 52 65 ....// [TODO] Re
0980: 66 61 63 74 6f 72 0d 0a 09 09 69 66 28 20 6c 61 factor....if( la
0990: 79 65 72 52 69 73 65 44 65 63 6c 20 29 0d 0a 09 yerRiseDecl )...
09a0: 09 7b 0d 0a 09 09 09 73 74 72 69 6e 67 20 6b 77 .{.....string kw
09b0: 64 20 3d 20 22 40 22 20 7e 20 6c 61 79 65 72 3b d = "@" ~ layer;
09c0: 0d 0a 09 09 09 73 74 72 69 6e 67 20 76 61 72 20 .....string var
09d0: 3d 20 6c 61 79 65 72 3b 0d 0a 0d 0a 09 09 09 61 = layer;.......a
09e0: 75 74 6f 20 65 20 3d 20 74 72 79 45 61 74 28 22 uto e = tryEat("
09f0: 28 22 29 0d 0a 09 09 09 09 3f 20 70 61 72 73 65 (")......? parse
0a00: 4c 61 6d 62 64 61 41 66 74 65 72 4f 70 65 6e 50 LambdaAfterOpenP
0a10: 61 72 65 6e 28 70 6f 73 29 20 20 2f 2f 20 6c 65 aren(pos) // le
0a20: 74 20 76 61 72 20 28 20 2e 2e 2e 0d 0a 09 09 09 t var ( ........
0a30: 09 3a 20 28 65 61 74 28 22 3d 22 2c 20 22 61 66 .: (eat("=", "af
0a40: 74 65 72 20 22 7e 6b 77 64 29 2c 20 45 28 30 29 ter "~kwd), E(0)
0a50: 29 3b 20 2f 2f 20 6c 65 74 20 76 61 72 20 3d 20 ); // let var =
0a60: 2e 2e 2e 0d 0a 09 09 09 69 66 28 20 6d 6f 72 65 ........if( more
0a70: 44 65 63 6c 61 72 61 74 69 6f 6e 45 78 69 73 74 DeclarationExist
0a80: 73 28 29 20 29 0d 0a 09 09 09 09 72 65 74 75 72 s() )......retur
0a90: 6e 20 6e 65 77 20 4c 65 74 45 78 70 72 65 73 73 n new LetExpress
0aa0: 69 6f 6e 28 70 6f 73 2c 20 76 61 72 2c 20 22 28 ion(pos, var, "(
0ab0: 73 79 73 74 65 6d 29 22 2c 20 65 2c 20 42 6f 64 system)", e, Bod
0ac0: 79 28 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a y());.....else..
0ad0: 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c ....return new L
0ae0: 65 74 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 etExpression(pos
0af0: 2c 20 76 61 72 2c 20 22 28 73 79 73 74 65 6d 29 , var, "(system)
0b00: 22 2c 20 65 2c 20 6e 65 77 20 56 61 72 45 78 70 ", e, new VarExp
0b10: 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 76 61 72 ression(pos, var
0b20: 29 29 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 ));....}....else
0b30: 0d 0a 09 09 7b 0d 0a 09 09 09 73 74 72 69 6e 67 ....{.....string
0b40: 20 6b 77 64 20 3d 20 6c 61 79 65 72 3b 0d 0a 09 kwd = layer;...
0b50: 09 09 69 66 28 20 6c 61 79 65 72 2e 65 6d 70 74 ..if( layer.empt
0b60: 79 20 26 26 20 21 74 72 79 45 61 74 28 6b 77 64 y && !tryEat(kwd
0b70: 3d 22 6c 65 74 22 29 20 26 26 20 21 74 72 79 45 ="let") && !tryE
0b80: 61 74 28 6b 77 64 3d 22 76 61 72 22 29 20 26 26 at(kwd="var") &&
0b90: 20 21 74 72 79 45 61 74 28 6b 77 64 3d 22 64 65 !tryEat(kwd="de
0ba0: 66 22 29 20 29 0d 0a 09 09 09 09 72 65 74 75 72 f") )......retur
0bb0: 6e 20 6e 75 6c 6c 3b 20 2f 2f 20 6e 6f 6e 65 20 n null; // none
0bc0: 6f 66 20 7b 40 6c 61 79 2c 20 6c 65 74 2c 20 76 of {@lay, let, v
0bd0: 61 72 2c 20 64 65 66 7d 20 6f 63 63 75 72 72 65 ar, def} occurre
0be0: 64 2c 20 69 74 27 73 20 6e 6f 74 20 61 20 64 65 d, it's not a de
0bf0: 63 6c 61 72 61 74 69 6f 6e 0d 0a 0d 0a 09 09 09 claration.......
0c00: 61 75 74 6f 20 76 61 72 70 6f 73 20 3d 20 63 75 auto varpos = cu
0c10: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b rrentPosition();
0c20: 0d 0a 09 09 09 73 74 72 69 6e 67 20 76 61 72 20 .....string var
0c30: 3d 20 65 61 74 49 64 28 22 61 66 74 65 72 20 22 = eatId("after "
0c40: 7e 6b 77 64 2c 20 41 6c 6c 6f 77 51 75 6f 74 65 ~kwd, AllowQuote
0c50: 64 29 3b 20 2f 2f 20 6e 61 6d 65 20 6f 66 20 74 d); // name of t
0c60: 68 65 20 64 65 63 6c 61 72 65 64 20 76 61 72 69 he declared vari
0c70: 61 62 6c 65 0d 0a 0d 0a 09 09 09 61 75 74 6f 20 able.......auto
0c80: 65 20 3d 20 74 72 79 45 61 74 28 22 28 22 29 0d e = tryEat("(").
0c90: 0a 09 09 09 09 3f 20 70 61 72 73 65 4c 61 6d 62 .....? parseLamb
0ca0: 64 61 41 66 74 65 72 4f 70 65 6e 50 61 72 65 6e daAfterOpenParen
0cb0: 28 76 61 72 70 6f 73 29 20 20 2f 2f 20 6c 65 74 (varpos) // let
0cc0: 20 76 61 72 20 28 20 2e 2e 2e 0d 0a 09 09 09 09 var ( .........
0cd0: 3a 20 28 65 61 74 28 22 3d 22 2c 20 22 61 66 74 : (eat("=", "aft
0ce0: 65 72 20 22 7e 6b 77 64 29 2c 20 45 28 30 29 29 er "~kwd), E(0))
0cf0: 3b 20 20 20 20 2f 2f 20 6c 65 74 20 76 61 72 20 ; // let var
0d00: 3d 20 2e 2e 2e 0d 0a 09 09 09 69 66 28 20 6d 6f = ........if( mo
0d10: 72 65 44 65 63 6c 61 72 61 74 69 6f 6e 45 78 69 reDeclarationExi
0d20: 73 74 73 28 29 20 29 0d 0a 09 09 09 09 72 65 74 sts() )......ret
0d30: 75 72 6e 20 6e 65 77 20 4c 65 74 45 78 70 72 65 urn new LetExpre
0d40: 73 73 69 6f 6e 28 70 6f 73 2c 20 76 61 72 2c 20 ssion(pos, var,
0d50: 6c 61 79 65 72 2c 20 65 2c 20 42 6f 64 79 28 29 layer, e, Body()
0d60: 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 );.....else.....
0d70: 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 45 .return new LetE
0d80: 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 76 xpression(pos, v
0d90: 61 72 2c 20 6c 61 79 65 72 2c 20 65 2c 20 6e 65 ar, layer, e, ne
0da0: 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 w VarExpression(
0db0: 76 61 72 70 6f 73 2c 20 76 61 72 29 29 3b 0d 0a varpos, var));..
0dc0: 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 ..}...}.....AST
0dd0: 54 6f 70 4c 65 76 65 6c 45 78 70 72 65 73 73 69 TopLevelExpressi
0de0: 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 2f 20 on()...{....///
0df0: 54 6f 70 4c 65 76 65 6c 45 78 70 72 65 73 73 69 TopLevelExpressi
0e00: 6f 6e 20 3a 3a 3d 20 45 78 70 72 65 73 73 69 6f on ::= Expressio
0e10: 6e 20 28 5b 22 3b 22 7c 22 69 6e 22 5d 20 42 6f n ([";"|"in"] Bo
0e20: 64 79 3f 29 3f 0d 0a 0d 0a 09 09 61 75 74 6f 20 dy?)?......auto
0e30: 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 pos = currentPos
0e40: 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 61 75 74 6f ition();....auto
0e50: 20 65 20 3d 20 45 28 30 29 3b 0d 0a 09 09 69 66 e = E(0);....if
0e60: 28 20 6d 6f 72 65 44 65 63 6c 61 72 61 74 69 6f ( moreDeclaratio
0e70: 6e 45 78 69 73 74 73 28 29 20 29 0d 0a 09 09 09 nExists() ).....
0e80: 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 45 78 return new LetEx
0e90: 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 22 5f pression(pos, "_
0ea0: 22 2c 20 22 22 2c 20 65 2c 20 42 6f 64 79 28 29 ", "", e, Body()
0eb0: 29 3b 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 09 72 );....else.....r
0ec0: 65 74 75 72 6e 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a eturn e;...}....
0ed0: 09 70 72 69 76 61 74 65 20 62 6f 6f 6c 20 6d 6f .private bool mo
0ee0: 72 65 44 65 63 6c 61 72 61 74 69 6f 6e 45 78 69 reDeclarationExi
0ef0: 73 74 73 28 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 sts()...{....ret
0f00: 75 72 6e 20 28 74 72 79 45 61 74 28 22 3b 22 29 urn (tryEat(";")
0f10: 20 7c 7c 20 74 72 79 45 61 74 28 22 69 6e 22 29 || tryEat("in")
0f20: 29 20 26 26 20 21 63 6c 6f 73 69 6e 67 42 72 61 ) && !closingBra
0f30: 63 6b 65 74 28 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 cket();...}.....
0f40: 70 72 69 76 61 74 65 20 62 6f 6f 6c 20 63 6c 6f private bool clo
0f50: 73 69 6e 67 42 72 61 63 6b 65 74 28 29 0d 0a 09 singBracket()...
0f60: 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6c 65 78 2e {....return lex.
0f70: 65 6d 70 74 79 20 7c 7c 20 21 6c 65 78 2e 66 72 empty || !lex.fr
0f80: 6f 6e 74 2e 71 75 6f 74 65 64 20 26 26 20 5b 22 ont.quoted && ["
0f90: 7d 22 2c 22 29 22 2c 22 5d 22 5d 2e 63 61 6e 46 }",")","]"].canF
0fa0: 69 6e 64 28 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 ind(lex.front.st
0fb0: 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 20 5b r);...}.....// [
0fc0: 54 4f 44 4f 5d 20 6d 61 6b 65 20 74 68 69 73 20 TODO] make this
0fd0: 63 75 73 74 6f 6d 69 7a 61 62 6c 65 20 66 72 6f customizable fro
0fe0: 6d 20 70 72 6f 67 72 61 6d 0d 0a 09 70 72 69 76 m program...priv
0ff0: 61 74 65 20 73 74 61 74 69 63 20 73 74 72 69 6e ate static strin
1000: 67 5b 5d 5b 5d 20 6f 70 65 72 61 74 6f 72 5f 70 g[][] operator_p
1010: 65 72 66 65 72 65 6e 63 65 73 20 3d 20 5b 0d 0a erferences = [..
1020: 09 09 5b 22 7c 7c 22 5d 2c 0d 0a 09 09 5b 22 26 ..["||"],....["&
1030: 26 22 5d 2c 0d 0a 09 09 5b 22 21 3d 22 5d 2c 0d &"],....["!="],.
1040: 0a 09 09 5b 22 3d 3d 22 5d 2c 0d 0a 09 09 5b 22 ...["=="],....["
1050: 3c 22 2c 22 3c 3d 22 2c 22 3e 22 2c 22 3e 3d 22 <","<=",">",">="
1060: 5d 2c 0d 0a 09 09 5b 22 7c 22 5d 2c 0d 0a 09 09 ],....["|"],....
1070: 5b 22 5e 22 5d 2c 0d 0a 09 09 5b 22 26 22 5d 2c ["^"],....["&"],
1080: 0d 0a 09 09 5b 22 3c 3c 22 2c 20 22 3e 3e 22 5d ....["<<", ">>"]
1090: 2c 0d 0a 09 09 5b 22 2b 22 2c 22 2d 22 5d 2c 0d ,....["+","-"],.
10a0: 0a 09 09 5b 22 7e 22 5d 2c 0d 0a 09 09 5b 22 2a ...["~"],....["*
10b0: 22 2c 22 2f 22 2c 22 25 22 5d 2c 0d 0a 09 09 5b ","/","%"],....[
10c0: 22 5e 5e 22 2c 22 2a 2a 22 5d 0d 0a 09 5d 3b 0d "^^","**"]...];.
10d0: 0a 0d 0a 09 41 53 54 20 45 28 73 69 7a 65 5f 74 ....AST E(size_t
10e0: 20 6c 65 76 65 6c 29 0d 0a 09 7b 0d 0a 09 09 2f level)...{..../
10f0: 2f 2f 20 45 78 70 72 65 73 73 69 6f 6e 20 3a 3a // Expression ::
1100: 3d 20 28 42 69 6e 61 72 79 20 6c 65 66 74 2d 61 = (Binary left-a
1110: 73 73 6f 63 69 61 74 69 76 65 20 6f 70 65 72 61 ssociative opera
1120: 74 6f 72 73 20 6f 76 65 72 29 20 46 75 6e 63 61 tors over) Funca
1130: 6c 6c 0d 0a 0d 0a 09 09 41 53 54 20 72 65 63 28 ll......AST rec(
1140: 41 53 54 20 6c 68 73 29 0d 0a 09 09 7b 0d 0a 09 AST lhs)....{...
1150: 09 09 69 66 28 20 63 6c 6f 73 69 6e 67 42 72 61 ..if( closingBra
1160: 63 6b 65 74 28 29 20 29 0d 0a 09 09 09 09 72 65 cket() )......re
1170: 74 75 72 6e 20 6c 68 73 3b 0d 0a 0d 0a 09 09 09 turn lhs;.......
1180: 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 auto pos = curre
1190: 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 ntPosition();...
11a0: 09 09 66 6f 72 65 61 63 68 28 6f 70 3b 20 6f 70 ..foreach(op; op
11b0: 65 72 61 74 6f 72 5f 70 65 72 66 65 72 65 6e 63 erator_perferenc
11c0: 65 73 5b 6c 65 76 65 6c 5d 29 0d 0a 09 09 09 09 es[level])......
11d0: 69 66 28 20 74 72 79 45 61 74 28 6f 70 29 20 29 if( tryEat(op) )
11e0: 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 72 65 .......return re
11f0: 63 28 0d 0a 09 09 09 09 09 09 6e 65 77 20 46 75 c(........new Fu
1200: 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 ncallExpression(
1210: 6c 68 73 2e 70 6f 73 2c 20 6e 65 77 20 56 61 72 lhs.pos, new Var
1220: 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 Expression(pos,
1230: 6f 70 29 2c 20 6c 68 73 2c 20 45 28 6c 65 76 65 op), lhs, E(leve
1240: 6c 2b 31 29 29 29 3b 0d 0a 09 09 09 72 65 74 75 l+1)));.....retu
1250: 72 6e 20 6c 68 73 3b 0d 0a 09 09 7d 0d 0a 0d 0a rn lhs;....}....
1260: 09 09 69 66 28 20 6f 70 65 72 61 74 6f 72 5f 70 ..if( operator_p
1270: 65 72 66 65 72 65 6e 63 65 73 2e 6c 65 6e 67 74 erferences.lengt
1280: 68 20 3c 3d 20 6c 65 76 65 6c 20 29 0d 0a 09 09 h <= level )....
1290: 09 72 65 74 75 72 6e 20 46 75 6e 63 61 6c 6c 28 .return Funcall(
12a0: 29 3b 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 09 72 );....else.....r
12b0: 65 74 75 72 6e 20 72 65 63 28 45 28 6c 65 76 65 eturn rec(E(leve
12c0: 6c 2b 31 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 l+1));...}.....A
12d0: 53 54 20 46 75 6e 63 61 6c 6c 28 29 0d 0a 09 7b ST Funcall()...{
12e0: 0d 0a 09 09 2f 2f 2f 20 46 75 6e 63 61 6c 6c 20 ..../// Funcall
12f0: 3a 3a 3d 20 42 61 73 65 45 78 70 72 65 73 73 69 ::= BaseExpressi
1300: 6f 6e 20 5b 22 28 22 20 45 78 70 72 65 73 73 69 on ["(" Expressi
1310: 6f 6e 25 22 2c 22 20 22 29 22 5d 2a 0d 0a 0d 0a on%"," ")"]*....
1320: 09 09 61 75 74 6f 20 65 20 3d 20 42 61 73 65 45 ..auto e = BaseE
1330: 78 70 72 65 73 73 69 6f 6e 28 29 3b 0d 0a 09 09 xpression();....
1340: 77 68 69 6c 65 28 20 74 72 79 45 61 74 28 22 28 while( tryEat("(
1350: 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 ") )....{.....au
1360: 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 to pos = current
1370: 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 Position();.....
1380: 41 53 54 5b 5d 20 61 72 67 73 3b 0d 0a 09 09 09 AST[] args;.....
1390: 77 68 69 6c 65 28 20 21 74 72 79 45 61 74 28 22 while( !tryEat("
13a0: 29 22 29 20 29 20 7b 0d 0a 09 09 09 09 69 66 28 )") ) {......if(
13b0: 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 lex.empty )....
13c0: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 55 ...throw genex!U
13d0: 6e 65 78 70 65 63 74 65 64 45 4f 46 28 70 6f 73 nexpectedEOF(pos
13e0: 2c 20 22 63 6c 6f 73 69 6e 67 20 27 29 27 20 66 , "closing ')' f
13f0: 6f 72 20 61 72 67 75 6d 65 6e 74 73 20 6e 6f 74 or arguments not
1400: 20 66 6f 75 6e 64 22 29 3b 0d 0a 09 09 09 09 61 found");......a
1410: 72 67 73 20 7e 3d 20 45 28 30 29 3b 0d 0a 09 09 rgs ~= E(0);....
1420: 09 09 69 66 28 20 21 74 72 79 45 61 74 28 22 2c ..if( !tryEat(",
1430: 22 29 20 29 20 7b 0d 0a 09 09 09 09 09 65 61 74 ") ) {.......eat
1440: 28 22 29 22 2c 20 22 61 66 74 65 72 20 66 75 6e (")", "after fun
1450: 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 73 ction parameters
1460: 22 29 3b 0d 0a 09 09 09 09 09 62 72 65 61 6b 3b ");.......break;
1470: 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 7d 0d 0a 09 ......}.....}...
1480: 09 09 65 20 3d 20 6e 65 77 20 46 75 6e 63 61 6c ..e = new Funcal
1490: 6c 45 78 70 72 65 73 73 69 6f 6e 28 65 2e 70 6f lExpression(e.po
14a0: 73 2c 20 65 2c 20 61 72 67 73 29 3b 0d 0a 09 09 s, e, args);....
14b0: 7d 0d 0a 09 09 72 65 74 75 72 6e 20 65 3b 0d 0a }....return e;..
14c0: 09 7d 0d 0a 0d 0a 09 41 53 54 20 42 61 73 65 45 .}.....AST BaseE
14d0: 78 70 72 65 73 73 69 6f 6e 28 29 0d 0a 09 7b 0d xpression()...{.
14e0: 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 ...if( lex.empty
14f0: 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 67 65 6e ).....throw gen
1500: 65 78 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 ex!UnexpectedEOF
1510: 28 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e (currentPosition
1520: 28 29 2c 20 22 52 65 61 63 68 65 64 20 45 4f 46 (), "Reached EOF
1530: 20 77 68 65 6e 20 74 72 69 65 64 20 74 6f 20 70 when tried to p
1540: 61 72 73 65 20 61 6e 20 65 78 70 72 65 73 73 69 arse an expressi
1550: 6f 6e 22 29 3b 0d 0a 0d 0a 09 09 61 75 74 6f 20 on");......auto
1560: 70 6f 73 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e pos = lex.front.
1570: 70 6f 73 3b 0d 0a 09 09 69 66 28 20 6c 65 78 2e pos;....if( lex.
1580: 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 29 0d 0a front.quoted )..
1590: 09 09 7b 0d 0a 09 09 09 73 63 6f 70 65 28 65 78 ..{.....scope(ex
15a0: 69 74 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 it) lex.popFront
15b0: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 ;.....return new
15c0: 20 53 74 72 4c 69 74 65 72 61 6c 28 70 6f 73 2c StrLiteral(pos,
15d0: 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 3b lex.front.str);
15e0: 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 69 73 4e ....}....if( isN
15f0: 75 6d 62 65 72 28 6c 65 78 2e 66 72 6f 6e 74 2e umber(lex.front.
1600: 73 74 72 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 str) )....{.....
1610: 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e scope(exit) lex.
1620: 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 09 72 65 popFront;.....re
1630: 74 75 72 6e 20 6e 65 77 20 49 6e 74 4c 69 74 65 turn new IntLite
1640: 72 61 6c 28 70 6f 73 2c 20 42 69 67 49 6e 74 28 ral(pos, BigInt(
1650: 63 61 73 74 28 73 74 72 69 6e 67 29 6c 65 78 2e cast(string)lex.
1660: 66 72 6f 6e 74 2e 73 74 72 29 29 3b 0d 0a 09 09 front.str));....
1670: 7d 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 }....if( tryEat(
1680: 22 40 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 "@") )....{.....
1690: 61 75 74 6f 20 6c 61 79 20 3d 20 22 40 22 7e 65 auto lay = "@"~e
16a0: 61 74 49 64 28 22 66 6f 72 20 6c 61 79 65 72 20 atId("for layer
16b0: 49 44 22 29 3b 0d 0a 09 09 09 65 61 74 28 22 28 ID");.....eat("(
16c0: 22 2c 20 22 66 6f 72 20 6c 61 79 65 72 65 64 20 ", "for layered
16d0: 65 78 65 63 75 74 69 6f 6e 22 29 3b 0d 0a 09 09 execution");....
16e0: 09 61 75 74 6f 20 65 20 3d 20 42 6f 64 79 28 29 .auto e = Body()
16f0: 3b 0d 0a 09 09 09 65 61 74 28 22 29 22 2c 20 22 ;.....eat(")", "
1700: 61 66 74 65 72 20 22 7e 6c 61 79 7e 22 28 2e 2e after "~lay~"(..
1710: 2e 22 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 .");.....return
1720: 6e 65 77 20 4c 61 79 65 72 65 64 45 78 70 72 65 new LayeredExpre
1730: 73 73 69 6f 6e 28 70 6f 73 2c 20 6c 61 79 2c 20 ssion(pos, lay,
1740: 65 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 e);....}....if(
1750: 74 72 79 45 61 74 28 22 28 22 29 20 29 0d 0a 09 tryEat("(") )...
1760: 09 7b 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 .{.....auto e =
1770: 42 6f 64 79 28 29 3b 0d 0a 09 09 09 65 61 74 28 Body();.....eat(
1780: 22 29 22 2c 20 22 61 66 74 65 72 20 70 61 72 65 ")", "after pare
1790: 6e 74 68 65 73 69 7a 65 64 20 65 78 70 72 65 73 nthesized expres
17a0: 73 69 6f 6e 22 29 3b 0d 0a 09 09 09 72 65 74 75 sion");.....retu
17b0: 72 6e 20 65 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 rn e;....}....if
17c0: 28 20 74 72 79 45 61 74 28 22 69 66 22 29 20 29 ( tryEat("if") )
17d0: 0d 0a 09 09 7b 0d 0a 09 09 09 65 61 74 28 22 28 ....{.....eat("(
17e0: 22 2c 20 22 61 66 74 65 72 20 69 66 22 29 3b 0d ", "after if");.
17f0: 0a 09 09 09 61 75 74 6f 20 63 6f 6e 64 20 3d 20 ....auto cond =
1800: 45 28 30 29 3b 0d 0a 09 09 09 65 61 74 28 22 29 E(0);.....eat(")
1810: 22 2c 20 22 61 66 74 65 72 20 69 66 20 63 6f 6e ", "after if con
1820: 64 69 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 61 75 dition");.....au
1830: 74 6f 20 74 68 65 6e 50 6f 73 20 3d 20 6c 65 78 to thenPos = lex
1840: 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d 0a 09 09 09 .front.pos;.....
1850: 65 61 74 28 22 7b 22 2c 20 22 61 66 74 65 72 20 eat("{", "after
1860: 69 66 20 63 6f 6e 64 69 74 69 6f 6e 22 29 3b 0d if condition");.
1870: 0a 09 09 09 61 75 74 6f 20 74 68 20 3d 20 42 6f ....auto th = Bo
1880: 64 79 28 29 3b 0d 0a 09 09 09 65 61 74 28 22 7d dy();.....eat("}
1890: 22 2c 20 22 61 66 74 65 72 20 69 66 2d 74 68 65 ", "after if-the
18a0: 6e 20 62 6f 64 79 22 29 3b 0d 0a 09 09 09 61 75 n body");.....au
18b0: 74 6f 20 65 6c 20 3d 20 64 6f 4e 6f 74 68 69 6e to el = doNothin
18c0: 67 45 78 70 72 65 73 73 69 6f 6e 28 29 3b 0d 0a gExpression();..
18d0: 09 09 09 61 75 74 6f 20 65 6c 73 65 50 6f 73 20 ...auto elsePos
18e0: 3d 20 28 6c 65 78 2e 65 6d 70 74 79 20 3f 20 4c = (lex.empty ? L
18f0: 65 78 50 6f 73 69 74 69 6f 6e 2e 64 75 6d 6d 79 exPosition.dummy
1900: 20 3a 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 : lex.front.pos
1910: 29 3b 0d 0a 09 09 09 69 66 28 20 74 72 79 45 61 );.....if( tryEa
1920: 74 28 22 65 6c 73 65 22 29 20 29 20 7b 0d 0a 09 t("else") ) {...
1930: 09 09 09 65 61 74 28 22 7b 22 2c 20 22 61 66 74 ...eat("{", "aft
1940: 65 72 20 65 6c 73 65 22 29 3b 0d 0a 09 09 09 09 er else");......
1950: 65 6c 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 el = Body();....
1960: 09 09 65 61 74 28 22 7d 22 2c 20 22 61 66 74 65 ..eat("}", "afte
1970: 72 20 65 6c 73 65 20 62 6f 64 79 22 29 3b 0d 0a r else body");..
1980: 09 09 09 7d 0d 0a 09 09 09 72 65 74 75 72 6e 20 ...}.....return
1990: 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 new FuncallExpre
19a0: 73 73 69 6f 6e 28 70 6f 73 2c 20 0d 0a 09 09 09 ssion(pos, .....
19b0: 09 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 .new VarExpressi
19c0: 6f 6e 28 70 6f 73 2c 20 22 69 66 22 29 2c 0d 0a on(pos, "if"),..
19d0: 09 09 09 09 63 6f 6e 64 2c 0d 0a 09 09 09 09 6e ....cond,......n
19e0: 65 77 20 46 75 6e 4c 69 74 65 72 61 6c 28 74 68 ew FunLiteral(th
19f0: 65 6e 50 6f 73 2c 20 5b 5d 2c 20 74 68 29 2c 0d enPos, [], th),.
1a00: 0a 09 09 09 09 6e 65 77 20 46 75 6e 4c 69 74 65 .....new FunLite
1a10: 72 61 6c 28 65 6c 73 65 50 6f 73 2c 20 5b 5d 2c ral(elsePos, [],
1a20: 20 65 6c 29 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d el).....);....}
1a30: 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 22 ....if( tryEat("
1a40: 66 75 6e 22 29 20 7c 7c 20 74 72 79 45 61 74 28 fun") || tryEat(
1a50: 22 5c 75 30 33 42 42 22 29 20 29 20 2f 2f 20 6c "\u03BB") ) // l
1a60: 61 6d 62 64 61 21 21 0d 0a 09 09 7b 0d 0a 09 09 ambda!!....{....
1a70: 09 65 61 74 28 22 28 22 2c 20 22 61 66 74 65 72 .eat("(", "after
1a80: 20 66 75 6e 22 29 3b 0d 0a 09 09 09 72 65 74 75 fun");.....retu
1a90: 72 6e 20 70 61 72 73 65 4c 61 6d 62 64 61 41 66 rn parseLambdaAf
1aa0: 74 65 72 4f 70 65 6e 50 61 72 65 6e 28 70 6f 73 terOpenParen(pos
1ab0: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 73 63 6f 70 65 );....}....scope
1ac0: 28 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 46 72 (exit) lex.popFr
1ad0: 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6e ont;....return n
1ae0: 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e ew VarExpression
1af0: 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f 6e 74 2e (pos, lex.front.
1b00: 73 74 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 str);...}.....AS
1b10: 54 20 70 61 72 73 65 4c 61 6d 62 64 61 41 66 74 T parseLambdaAft
1b20: 65 72 4f 70 65 6e 50 61 72 65 6e 28 69 6d 6d 75 erOpenParen(immu
1b30: 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f table LexPositio
1b40: 6e 20 70 6f 73 29 0d 0a 09 7b 0d 0a 09 09 50 61 n pos)...{....Pa
1b50: 72 61 6d 65 74 65 72 5b 5d 20 70 61 72 61 6d 73 rameter[] params
1b60: 3b 0d 0a 09 09 77 68 69 6c 65 28 20 21 74 72 79 ;....while( !try
1b70: 45 61 74 28 22 29 22 29 20 29 0d 0a 09 09 7b 0d Eat(")") )....{.
1b80: 0a 09 09 09 70 61 72 61 6d 73 20 7e 3d 20 70 61 ....params ~= pa
1b90: 72 73 65 50 61 72 61 6d 28 29 3b 0d 0a 09 09 09 rseParam();.....
1ba0: 69 66 28 20 21 74 72 79 45 61 74 28 22 2c 22 29 if( !tryEat(",")
1bb0: 20 29 20 7b 0d 0a 09 09 09 09 65 61 74 28 22 29 ) {......eat(")
1bc0: 22 2c 20 22 61 66 74 65 72 20 66 75 6e 63 74 69 ", "after functi
1bd0: 6f 6e 20 70 61 72 61 6d 65 74 65 72 73 22 29 3b on parameters");
1be0: 0d 0a 09 09 09 09 62 72 65 61 6b 3b 0d 0a 09 09 ......break;....
1bf0: 09 7d 0d 0a 09 09 7d 0d 0a 09 09 65 61 74 28 22 .}....}....eat("
1c00: 7b 22 2c 20 22 61 66 74 65 72 20 66 75 6e 63 74 {", "after funct
1c10: 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 73 22 29 ion parameters")
1c20: 3b 0d 0a 09 09 61 75 74 6f 20 66 75 6e 62 6f 64 ;....auto funbod
1c30: 79 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 65 y = Body();....e
1c40: 61 74 28 22 7d 22 2c 20 22 61 66 74 65 72 20 66 at("}", "after f
1c50: 75 6e 63 74 69 6f 6e 20 62 6f 64 79 22 29 3b 0d unction body");.
1c60: 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 46 75 ...return new Fu
1c70: 6e 4c 69 74 65 72 61 6c 28 70 6f 73 2c 20 70 61 nLiteral(pos, pa
1c80: 72 61 6d 73 2c 20 66 75 6e 62 6f 64 79 29 3b 0d rams, funbody);.
1c90: 0a 09 7d 0d 0a 0d 0a 09 50 61 72 61 6d 65 74 65 ..}.....Paramete
1ca0: 72 20 70 61 72 73 65 50 61 72 61 6d 28 29 0d 0a r parseParam()..
1cb0: 09 7b 0d 0a 09 09 73 74 72 69 6e 67 20 76 61 72 .{....string var
1cc0: 3b 0d 0a 09 09 73 74 72 69 6e 67 5b 5d 20 6c 61 ;....string[] la
1cd0: 79 3b 0d 0a 09 09 77 68 69 6c 65 28 20 21 63 6c y;....while( !cl
1ce0: 6f 73 69 6e 67 42 72 61 63 6b 65 74 28 29 20 26 osingBracket() &
1cf0: 26 20 21 6c 65 78 2e 65 6d 70 74 79 20 26 26 20 & !lex.empty &&
1d00: 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 22 lex.front.str!="
1d10: 2c 22 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 ," )....{.....au
1d20: 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 to pos = current
1d30: 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 Position();.....
1d40: 73 74 72 69 6e 67 20 70 20 3d 20 65 61 74 49 64 string p = eatId
1d50: 28 22 66 6f 72 20 66 75 6e 63 74 69 6f 6e 20 70 ("for function p
1d60: 61 72 61 6d 65 74 65 72 22 2c 20 41 6c 6c 6f 77 arameter", Allow
1d70: 51 75 6f 74 65 64 29 3b 0d 0a 09 09 09 69 66 28 Quoted);.....if(
1d80: 20 70 20 3d 3d 20 22 40 22 20 29 0d 0a 09 09 09 p == "@" ).....
1d90: 09 6c 61 79 20 7e 3d 20 22 40 22 20 7e 20 65 61 .lay ~= "@" ~ ea
1da0: 74 49 64 28 22 61 66 74 65 72 20 40 22 2c 20 41 tId("after @", A
1db0: 6c 6c 6f 77 51 75 6f 74 65 64 29 3b 0d 0a 09 09 llowQuoted);....
1dc0: 09 65 6c 73 65 20 69 66 28 20 76 61 72 2e 65 6d .else if( var.em
1dd0: 70 74 79 20 29 0d 0a 09 09 09 09 76 61 72 20 3d pty )......var =
1de0: 20 70 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 p;.....else....
1df0: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 50 61 ..throw genex!Pa
1e00: 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 rseException(pos
1e10: 2c 20 22 6f 6e 65 20 70 61 72 61 6d 65 74 65 72 , "one parameter
1e20: 20 68 61 73 20 74 77 6f 20 6e 61 6d 65 73 22 29 has two names")
1e30: 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e ;....}....return
1e40: 20 6e 65 77 20 50 61 72 61 6d 65 74 65 72 28 76 new Parameter(v
1e50: 61 72 2c 20 6c 61 79 29 3b 0d 0a 09 7d 0d 0a 0d ar, lay);...}...
1e60: 0a 70 72 69 76 61 74 65 3a 0d 0a 09 4c 65 78 65 .private:...Lexe
1e70: 72 20 6c 65 78 3b 0d 0a 09 74 68 69 73 28 4c 65 r lex;...this(Le
1e80: 78 65 72 20 6c 65 78 29 20 7b 20 74 68 69 73 2e xer lex) { this.
1e90: 6c 65 78 20 3d 20 6c 65 78 3b 20 7d 0d 0a 0d 0a lex = lex; }....
1ea0: 09 62 6f 6f 6c 20 69 73 4e 75 6d 62 65 72 28 73 .bool isNumber(s
1eb0: 74 72 69 6e 67 20 73 29 0d 0a 09 7b 0d 0a 09 09 tring s)...{....
1ec0: 72 65 74 75 72 6e 20 66 69 6e 64 21 28 60 61 3c return find!(`a<
1ed0: 27 30 27 20 7c 7c 20 27 39 27 3c 61 60 29 28 73 '0' || '9'<a`)(s
1ee0: 29 2e 65 6d 70 74 79 3b 0d 0a 09 7d 0d 0a 09 0d ).empty;...}....
1ef0: 0a 09 76 6f 69 64 20 65 61 74 28 73 74 72 69 6e ..void eat(strin
1f00: 67 20 6b 77 64 2c 20 6c 61 7a 79 20 73 74 72 69 g kwd, lazy stri
1f10: 6e 67 20 6d 73 67 29 0d 0a 09 7b 0d 0a 09 09 69 ng msg)...{....i
1f20: 66 28 20 21 74 72 79 45 61 74 28 6b 77 64 29 20 f( !tryEat(kwd)
1f30: 29 0d 0a 09 09 09 69 66 28 20 6c 65 78 2e 65 6d ).....if( lex.em
1f40: 70 74 79 20 29 0d 0a 09 09 09 09 74 68 72 6f 77 pty )......throw
1f50: 20 67 65 6e 65 78 21 55 6e 65 78 70 65 63 74 65 genex!Unexpecte
1f60: 64 45 4f 46 28 0d 0a 09 09 09 09 09 63 75 72 72 dEOF(.......curr
1f70: 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 73 entPosition(), s
1f80: 70 72 69 6e 74 66 21 22 25 73 20 69 73 20 65 78 printf!"%s is ex
1f90: 70 65 63 74 65 64 20 25 73 20 62 75 74 20 6e 6f pected %s but no
1fa0: 74 20 66 6f 75 6e 64 22 28 6b 77 64 2c 6d 73 67 t found"(kwd,msg
1fb0: 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 ));.....else....
1fc0: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 50 61 ..throw genex!Pa
1fd0: 72 73 65 45 78 63 65 70 74 69 6f 6e 28 0d 0a 09 rseException(...
1fe0: 09 09 09 09 63 75 72 72 65 6e 74 50 6f 73 69 74 ....currentPosit
1ff0: 69 6f 6e 28 29 2c 20 73 70 72 69 6e 74 66 21 22 ion(), sprintf!"
2000: 25 73 20 69 73 20 65 78 70 65 63 74 65 64 20 66 %s is expected f
2010: 6f 72 20 25 73 20 62 75 74 20 6e 6f 74 20 66 6f or %s but not fo
2020: 75 6e 64 22 28 6b 77 64 2c 6d 73 67 29 29 3b 0d und"(kwd,msg));.
2030: 0a 09 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 74 72 79 ..}.....bool try
2040: 45 61 74 28 73 74 72 69 6e 67 20 6b 77 64 29 0d Eat(string kwd).
2050: 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78 2e 65 ..{....if( lex.e
2060: 6d 70 74 79 20 7c 7c 20 6c 65 78 2e 66 72 6f 6e mpty || lex.fron
2070: 74 2e 71 75 6f 74 65 64 20 7c 7c 20 6c 65 78 2e t.quoted || lex.
2080: 66 72 6f 6e 74 2e 73 74 72 21 3d 6b 77 64 20 29 front.str!=kwd )
2090: 0d 0a 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73 .....return fals
20a0: 65 3b 0d 0a 09 09 6c 65 78 2e 70 6f 70 46 72 6f e;....lex.popFro
20b0: 6e 74 3b 0d 0a 09 09 72 65 74 75 72 6e 20 74 72 nt;....return tr
20c0: 75 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 65 6e 75 6d ue;...}.....enum
20d0: 20 7b 41 6c 6c 6f 77 51 75 6f 74 65 64 3d 74 72 {AllowQuoted=tr
20e0: 75 65 2c 20 44 69 73 61 6c 6c 6f 77 51 75 6f 74 ue, DisallowQuot
20f0: 65 64 3d 66 61 6c 73 65 7d 3b 0d 0a 09 73 74 72 ed=false};...str
2100: 69 6e 67 20 65 61 74 49 64 28 6c 61 7a 79 20 73 ing eatId(lazy s
2110: 74 72 69 6e 67 20 6d 73 67 2c 20 62 6f 6f 6c 20 tring msg, bool
2120: 61 71 3d 44 69 73 61 6c 6c 6f 77 51 75 6f 74 65 aq=DisallowQuote
2130: 64 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 d)...{....if( le
2140: 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 x.empty ).....th
2150: 72 6f 77 20 67 65 6e 65 78 21 55 6e 65 78 70 65 row genex!Unexpe
2160: 63 74 65 64 45 4f 46 28 63 75 72 72 65 6e 74 50 ctedEOF(currentP
2170: 6f 73 69 74 69 6f 6e 28 29 2c 20 22 69 64 65 6e osition(), "iden
2180: 74 69 66 69 65 72 20 69 73 20 65 78 70 65 63 74 tifier is expect
2190: 65 64 20 62 75 74 20 6e 6f 74 20 66 6f 75 6e 64 ed but not found
21a0: 20 22 7e 6d 73 67 29 3b 0d 0a 09 09 69 66 28 20 "~msg);....if(
21b0: 21 61 71 20 26 26 20 6c 65 78 2e 66 72 6f 6e 74 !aq && lex.front
21c0: 2e 71 75 6f 74 65 64 20 29 0d 0a 09 09 09 74 68 .quoted ).....th
21d0: 72 6f 77 20 67 65 6e 65 78 21 50 61 72 73 65 45 row genex!ParseE
21e0: 78 63 65 70 74 69 6f 6e 28 63 75 72 72 65 6e 74 xception(current
21f0: 50 6f 73 69 74 69 6f 6e 28 29 2c 20 22 69 64 65 Position(), "ide
2200: 6e 74 69 66 69 65 72 20 69 73 20 65 78 70 65 63 ntifier is expec
2210: 74 65 64 20 62 75 74 20 6e 6f 74 20 66 6f 75 6e ted but not foun
2220: 64 20 22 7e 6d 73 67 29 3b 0d 0a 09 09 73 63 6f d "~msg);....sco
2230: 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 pe(exit) lex.pop
2240: 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 72 6e Front;....return
2250: 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 3b 0d lex.front.str;.
2260: 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 64 6f 4e 6f ..}.....AST doNo
2270: 74 68 69 6e 67 45 78 70 72 65 73 73 69 6f 6e 28 thingExpression(
2280: 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 )...{....return
2290: 6e 65 77 20 49 6e 74 4c 69 74 65 72 61 6c 28 63 new IntLiteral(c
22a0: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 urrentPosition()
22b0: 2c 20 42 69 67 49 6e 74 28 31 37 38 29 29 3b 0d , BigInt(178));.
22c0: 0a 09 7d 0d 0a 0d 0a 09 69 6d 6d 75 74 61 62 6c ..}.....immutabl
22d0: 65 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 20 63 e(LexPosition) c
22e0: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 urrentPosition()
22f0: 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6c ...{....return l
2300: 65 78 2e 65 6d 70 74 79 20 3f 20 6e 75 6c 6c 20 ex.empty ? null
2310: 3a 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b : lex.front.pos;
2320: 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 ...}..}....unitt
2330: 65 73 74 0d 0a 7b 0d 0a 09 6d 69 78 69 6e 20 45 est..{...mixin E
2340: 61 73 79 41 53 54 3b 0d 0a 0d 0a 09 61 73 73 65 asyAST;.....asse
2350: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
2360: 67 28 60 31 32 33 60 29 2c 20 69 6e 74 6c 28 31 g(`123`), intl(1
2370: 32 33 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 23));...assert_e
2380: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 22 q(parseString(`"
2390: 66 6f 6f 22 60 29 2c 20 73 74 72 6c 28 22 66 6f foo"`), strl("fo
23a0: 6f 22 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 o"));...assert_e
23b0: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 66 q(parseString(`f
23c0: 75 6e 28 29 7b 31 7d 60 29 2c 20 66 75 6e 28 5b un(){1}`), fun([
23d0: 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 61 ],intl(1)));...a
23e0: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
23f0: 72 69 6e 67 28 60 66 75 6e 28 78 29 7b 31 7d 60 ring(`fun(x){1}`
2400: 29 2c 20 66 75 6e 28 5b 22 78 22 5d 2c 69 6e 74 ), fun(["x"],int
2410: 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 l(1)));...assert
2420: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
2430: 22 5c 75 30 33 42 42 28 29 7b 31 7d 22 29 2c 20 "\u03BB(){1}"),
2440: 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 31 29 29 29 fun([],intl(1)))
2450: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
2460: 72 73 65 53 74 72 69 6e 67 28 22 5c 75 30 33 42 rseString("\u03B
2470: 42 28 78 29 7b 31 7d 22 29 2c 20 66 75 6e 28 5b B(x){1}"), fun([
2480: 22 78 22 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d "x"],intl(1)));.
2490: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
24a0: 65 53 74 72 69 6e 67 28 60 31 3b 32 60 29 2c 20 eString(`1;2`),
24b0: 6c 65 74 28 22 5f 22 2c 22 22 2c 69 6e 74 6c 28 let("_","",intl(
24c0: 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 1),intl(2)));...
24d0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
24e0: 74 72 69 6e 67 28 60 31 3b 32 3b 60 29 2c 20 6c tring(`1;2;`), l
24f0: 65 74 28 22 5f 22 2c 22 22 2c 69 6e 74 6c 28 31 et("_","",intl(1
2500: 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 ),intl(2)));...a
2510: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
2520: 72 69 6e 67 28 60 6c 65 74 20 78 3d 31 20 69 6e ring(`let x=1 in
2530: 20 32 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 22 2`), let("x",""
2540: 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 ,intl(1),intl(2)
2550: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
2560: 70 61 72 73 65 53 74 72 69 6e 67 28 60 76 61 72 parseString(`var
2570: 20 78 3d 31 3b 32 3b 60 29 2c 20 6c 65 74 28 22 x=1;2;`), let("
2580: 78 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 69 6e x","",intl(1),in
2590: 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(2)));...asser
25a0: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
25b0: 28 60 64 65 66 20 78 3d 31 60 29 2c 20 6c 65 74 (`def x=1`), let
25c0: 28 22 78 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c ("x","",intl(1),
25d0: 76 61 72 28 22 78 22 29 29 29 3b 0d 0a 09 61 73 var("x")));...as
25e0: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
25f0: 69 6e 67 28 60 40 76 61 6c 20 78 3d 31 3b 60 29 ing(`@val x=1;`)
2600: 2c 20 6c 65 74 28 22 78 22 2c 22 40 76 61 6c 22 , let("x","@val"
2610: 2c 69 6e 74 6c 28 31 29 2c 76 61 72 28 22 78 22 ,intl(1),var("x"
2620: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
2630: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 40 74 (parseString(`@t
2640: 79 70 20 78 3d 22 23 69 6e 74 22 3b 60 29 2c 20 yp x="#int";`),
2650: 6c 65 74 28 22 78 22 2c 22 40 74 79 70 22 2c 73 let("x","@typ",s
2660: 74 72 6c 28 22 23 69 6e 74 22 29 2c 76 61 72 28 trl("#int"),var(
2670: 22 78 22 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 "x")));...assert
2680: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
2690: 60 66 28 31 2c 32 29 60 29 2c 20 63 61 6c 6c 28 `f(1,2)`), call(
26a0: 76 61 72 28 22 66 22 29 2c 69 6e 74 6c 28 31 29 var("f"),intl(1)
26b0: 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 ,intl(2)));...as
26c0: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
26d0: 69 6e 67 28 60 69 66 28 31 29 7b 32 7d 60 29 2c ing(`if(1){2}`),
26e0: 20 63 61 6c 6c 28 76 61 72 28 22 69 66 22 29 2c call(var("if"),
26f0: 69 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c 69 intl(1),fun([],i
2700: 6e 74 6c 28 32 29 29 2c 66 75 6e 28 5b 5d 2c 69 ntl(2)),fun([],i
2710: 6e 74 6c 28 31 37 38 29 29 29 29 3b 0d 0a 09 61 ntl(178))));...a
2720: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
2730: 72 69 6e 67 28 60 69 66 28 31 29 7b 32 7d 65 6c ring(`if(1){2}el
2740: 73 65 7b 33 7d 60 29 2c 20 63 61 6c 6c 28 76 61 se{3}`), call(va
2750: 72 28 22 69 66 22 29 2c 69 6e 74 6c 28 31 29 2c r("if"),intl(1),
2760: 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 32 29 29 2c fun([],intl(2)),
2770: 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 33 29 29 29 fun([],intl(3)))
2780: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
2790: 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 31 arseString(`if(1
27a0: 29 7b 7d 65 6c 73 65 7b 33 7d 28 29 28 29 60 29 ){}else{3}()()`)
27b0: 2c 0d 0a 09 09 63 61 6c 6c 28 63 61 6c 6c 28 63 ,....call(call(c
27c0: 61 6c 6c 28 76 61 72 28 22 69 66 22 29 2c 69 6e all(var("if"),in
27d0: 74 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 tl(1),fun([],int
27e0: 6c 28 31 37 38 29 29 2c 66 75 6e 28 5b 5d 2c 69 l(178)),fun([],i
27f0: 6e 74 6c 28 33 29 29 29 29 29 29 3b 0d 0a 09 61 ntl(3))))));...a
2800: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
2810: 72 69 6e 67 28 60 31 2b 32 2a 33 60 29 2c 20 63 ring(`1+2*3`), c
2820: 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 6e 74 all(var("+"),int
2830: 6c 28 31 29 2c 63 61 6c 6c 28 76 61 72 28 22 2a l(1),call(var("*
2840: 22 29 2c 69 6e 74 6c 28 32 29 2c 69 6e 74 6c 28 "),intl(2),intl(
2850: 33 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 3))));...assert_
2860: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
2870: 28 31 2b 32 29 2a 33 60 29 2c 20 63 61 6c 6c 28 (1+2)*3`), call(
2880: 76 61 72 28 22 2a 22 29 2c 63 61 6c 6c 28 76 61 var("*"),call(va
2890: 72 28 22 2b 22 29 2c 69 6e 74 6c 28 31 29 2c 69 r("+"),intl(1),i
28a0: 6e 74 6c 28 32 29 29 2c 69 6e 74 6c 28 33 29 29 ntl(2)),intl(3))
28b0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
28c0: 61 72 73 65 53 74 72 69 6e 67 28 60 31 2a 28 32 arseString(`1*(2
28d0: 2b 33 29 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 +3)`), call(var(
28e0: 22 2a 22 29 2c 69 6e 74 6c 28 31 29 2c 63 61 6c "*"),intl(1),cal
28f0: 6c 28 76 61 72 28 22 2b 22 29 2c 69 6e 74 6c 28 l(var("+"),intl(
2900: 32 29 2c 69 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 2),intl(3))));..
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 31 2a 32 2b 33 60 29 2c String(`1*2+3`),
2930: 20 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 63 call(var("+"),c
2940: 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c 69 6e 74 all(var("*"),int
2950: 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 2c 69 6e l(1),intl(2)),in
2960: 74 6c 28 33 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(3)));...asser
2970: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
2980: 28 60 40 78 28 31 29 60 29 2c 20 6c 61 79 28 22 (`@x(1)`), lay("
2990: 40 78 22 2c 20 69 6e 74 6c 28 31 29 29 29 3b 0d @x", intl(1)));.
29a0: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
29b0: 65 53 74 72 69 6e 67 28 60 66 75 6e 28 78 20 40 eString(`fun(x @
29c0: 76 20 40 74 2c 20 79 2c 20 7a 20 40 74 29 7b 7d v @t, y, z @t){}
29d0: 60 29 2c 0d 0a 09 09 66 75 6e 70 28 5b 70 61 72 `),....funp([par
29e0: 61 6d 28 22 78 22 2c 5b 22 40 76 22 2c 22 40 74 am("x",["@v","@t
29f0: 22 5d 29 2c 20 70 61 72 61 6d 28 22 79 22 2c 5b "]), param("y",[
2a00: 5d 29 2c 20 70 61 72 61 6d 28 22 7a 22 2c 5b 22 ]), param("z",["
2a10: 40 74 22 5d 29 5d 2c 20 69 6e 74 6c 28 31 37 38 @t"])], intl(178
2a20: 29 29 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f )));.....assert_
2a30: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
2a40: 0d 0a 09 09 6c 65 74 20 78 20 3d 20 31 30 30 3b ....let x = 100;
2a50: 20 23 63 6f 6d 6d 65 6e 74 0d 0a 09 09 6c 65 74 #comment....let
2a60: 20 79 20 3d 20 32 30 30 3b 20 23 63 6f 6d 6d 65 y = 200; #comme
2a70: 6e 74 21 21 21 21 21 0d 0a 09 09 09 78 2b 79 0d nt!!!!!.....x+y.
2a80: 0a 09 60 29 2c 0d 0a 09 09 6c 65 74 28 22 78 22 ..`),....let("x"
2a90: 2c 20 22 22 2c 20 69 6e 74 6c 28 31 30 30 29 2c , "", intl(100),
2aa0: 20 6c 65 74 28 22 79 22 2c 20 22 22 2c 20 69 6e let("y", "", in
2ab0: 74 6c 28 32 30 30 29 2c 20 63 61 6c 6c 28 76 61 tl(200), call(va
2ac0: 72 28 22 2b 22 29 2c 20 76 61 72 28 22 78 22 29 r("+"), var("x")
2ad0: 2c 20 76 61 72 28 22 79 22 29 29 29 29 0d 0a 09 , var("y"))))...
2ae0: 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 );.....assert_eq
2af0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 0d 0a (parseString(`..
2b00: 09 09 76 61 72 20 66 61 63 20 3d 20 66 75 6e 28 ..var fac = fun(
2b10: 78 29 7b 20 69 66 28 78 20 3c 3d 20 31 29 20 7b x){ if(x <= 1) {
2b20: 31 7d 20 65 6c 73 65 20 7b 78 2a 66 61 63 28 78 1} else {x*fac(x
2b30: 2d 31 29 7d 20 7d 3b 0d 0a 09 09 66 61 63 28 31 -1)} };....fac(1
2b40: 30 29 0d 0a 09 60 29 2c 0d 0a 09 09 6c 65 74 28 0)...`),....let(
2b50: 22 66 61 63 22 2c 20 22 22 2c 20 66 75 6e 28 5b "fac", "", fun([
2b60: 22 78 22 5d 2c 0d 0a 09 09 09 63 61 6c 6c 28 76 "x"],.....call(v
2b70: 61 72 28 22 69 66 22 29 2c 0d 0a 09 09 09 09 63 ar("if"),......c
2b80: 61 6c 6c 28 76 61 72 28 22 3c 3d 22 29 2c 20 76 all(var("<="), v
2b90: 61 72 28 22 78 22 29 2c 20 69 6e 74 6c 28 31 29 ar("x"), intl(1)
2ba0: 29 2c 0d 0a 09 09 09 09 66 75 6e 28 5b 5d 2c 20 ),......fun([],
2bb0: 69 6e 74 6c 28 31 29 29 2c 0d 0a 09 09 09 09 66 intl(1)),......f
2bc0: 75 6e 28 5b 5d 2c 20 63 61 6c 6c 28 76 61 72 28 un([], call(var(
2bd0: 22 2a 22 29 2c 20 76 61 72 28 22 78 22 29 2c 20 "*"), var("x"),
2be0: 63 61 6c 6c 28 76 61 72 28 22 66 61 63 22 29 2c call(var("fac"),
2bf0: 63 61 6c 6c 28 76 61 72 28 22 2d 22 29 2c 76 61 call(var("-"),va
2c00: 72 28 22 78 22 29 2c 69 6e 74 6c 28 31 29 29 29 r("x"),intl(1)))
2c10: 29 29 0d 0a 09 09 09 29 29 2c 0d 0a 09 09 09 63 )).....)),.....c
2c20: 61 6c 6c 28 76 61 72 28 22 66 61 63 22 29 2c 69 all(var("fac"),i
2c30: 6e 74 6c 28 31 30 29 29 0d 0a 09 09 29 0d 0a 09 ntl(10))....)...
2c40: 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 );..}....unittes
2c50: 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 74 68 t..{...assert_th
2c60: 72 6f 77 21 55 6e 65 78 70 65 63 74 65 64 45 4f row!UnexpectedEO
2c70: 46 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 F(parseString(`1
2c80: 2b 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 +`));...assert_t
2c90: 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 70 74 hrow!ParseExcept
2ca0: 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e 67 28 ion(parseString(
2cb0: 60 31 2b 32 7d 60 29 29 3b 0d 0a 09 61 73 73 65 `1+2}`));...asse
2cc0: 72 74 5f 74 68 72 6f 77 21 55 6e 65 78 70 65 63 rt_throw!Unexpec
2cd0: 74 65 64 45 4f 46 28 70 61 72 73 65 53 74 72 69 tedEOF(parseStri
2ce0: 6e 67 28 60 6c 65 74 20 22 78 22 60 29 29 3b 0d ng(`let "x"`));.
2cf0: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 55 ..assert_throw!U
2d00: 6e 65 78 70 65 63 74 65 64 45 4f 46 28 70 61 72 nexpectedEOF(par
2d10: 73 65 53 74 72 69 6e 67 28 60 76 61 72 60 29 29 seString(`var`))
2d20: 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 ;...assert_throw
2d30: 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 !ParseException(
2d40: 70 61 72 73 65 53 74 72 69 6e 67 28 60 40 76 61 parseString(`@va
2d50: 6c 20 78 20 3d 3d 60 29 29 3b 0d 0a 09 61 73 73 l x ==`));...ass
2d60: 65 72 74 5f 74 68 72 6f 77 21 50 61 72 73 65 45 ert_throw!ParseE
2d70: 78 63 65 70 74 69 6f 6e 28 70 61 72 73 65 53 74 xception(parseSt
2d80: 72 69 6e 67 28 60 69 66 28 29 7b 31 7d 60 29 29 ring(`if(){1}`))
2d90: 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 ;...assert_throw
2da0: 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 28 70 !UnexpectedEOF(p
2db0: 61 72 73 65 53 74 72 69 6e 67 28 60 66 28 60 29 arseString(`f(`)
2dc0: 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 );..}....unittes
2dd0: 74 0d 0a 7b 0d 0a 09 6d 69 78 69 6e 20 45 61 73 t..{...mixin Eas
2de0: 79 41 53 54 3b 0d 0a 09 61 73 73 65 72 74 5f 65 yAST;...assert_e
2df0: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 64 q(parseString(`d
2e00: 65 66 20 66 6f 6f 28 78 29 20 7b 20 78 2b 31 20 ef foo(x) { x+1
2e10: 7d 3b 20 66 6f 6f 60 29 2c 0d 0a 09 09 6c 65 74 }; foo`),....let
2e20: 28 22 66 6f 6f 22 2c 20 22 22 2c 0d 0a 09 09 09 ("foo", "",.....
2e30: 66 75 6e 28 5b 22 78 22 5d 2c 20 63 61 6c 6c 28 fun(["x"], call(
2e40: 76 61 72 28 22 2b 22 29 2c 20 76 61 72 28 22 78 var("+"), var("x
2e50: 22 29 2c 20 69 6e 74 6c 28 31 29 29 29 2c 0d 0a "), intl(1))),..
2e60: 09 09 09 76 61 72 28 22 66 6f 6f 22 29 29 0d 0a ...var("foo"))..
2e70: 09 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 .);.....assert_e
2e80: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 40 q(parseString(`@
2e90: 40 74 79 70 65 20 28 20 78 20 29 20 7b 20 78 20 @type ( x ) { x
2ea0: 7d 60 29 2c 0d 0a 09 09 6c 65 74 28 22 40 74 79 }`),....let("@ty
2eb0: 70 65 22 2c 20 22 28 73 79 73 74 65 6d 29 22 2c pe", "(system)",
2ec0: 20 66 75 6e 28 5b 22 78 22 5d 2c 20 76 61 72 28 fun(["x"], var(
2ed0: 22 78 22 29 29 2c 20 76 61 72 28 22 40 74 79 70 "x")), var("@typ
2ee0: 65 22 29 29 20 29 3b 0d 0a 7d 0d 0a e")) );..}..