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 0d 0a 09 09 61 75 74 6f 20 70 6f 73 20 3d ......auto pos =
0770: 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e currentPosition
0780: 28 29 3b 0d 0a 09 09 73 74 72 69 6e 67 20 6c 61 ();....string la
0790: 79 65 72 20 3d 20 22 22 3b 0d 0a 0d 0a 09 09 69 yer = "";......i
07a0: 66 28 20 74 72 79 45 61 74 28 22 40 22 29 20 29 f( tryEat("@") )
07b0: 0d 0a 09 09 7b 0d 0a 09 09 09 6c 61 79 65 72 20 ....{.....layer
07c0: 3d 20 22 40 22 20 7e 20 65 61 74 49 64 28 22 61 = "@" ~ eatId("a
07d0: 66 74 65 72 20 40 22 2c 20 41 6c 6c 6f 77 51 75 fter @", AllowQu
07e0: 6f 74 65 64 29 3b 0d 0a 09 09 09 69 66 28 20 74 oted);.....if( t
07f0: 72 79 45 61 74 28 22 28 22 29 20 29 0d 0a 09 09 ryEat("(") )....
0800: 09 09 72 65 74 75 72 6e 20 6e 75 6c 6c 3b 20 2f ..return null; /
0810: 2f 20 40 6c 61 79 28 2e 2e 2e 29 20 65 78 70 72 / @lay(...) expr
0820: 65 73 73 69 6f 6e 2c 20 6e 6f 74 20 61 20 64 65 ession, not a de
0830: 63 6c 61 72 61 74 69 6f 6e 0d 0a 09 09 7d 0d 0a claration....}..
0840: 0d 0a 09 09 73 74 72 69 6e 67 20 6b 77 64 20 3d ....string kwd =
0850: 20 6c 61 79 65 72 3b 0d 0a 09 09 69 66 28 20 6c layer;....if( l
0860: 61 79 65 72 2e 65 6d 70 74 79 20 26 26 20 21 74 ayer.empty && !t
0870: 72 79 45 61 74 28 6b 77 64 3d 22 6c 65 74 22 29 ryEat(kwd="let")
0880: 20 26 26 20 21 74 72 79 45 61 74 28 6b 77 64 3d && !tryEat(kwd=
0890: 22 76 61 72 22 29 20 26 26 20 21 74 72 79 45 61 "var") && !tryEa
08a0: 74 28 6b 77 64 3d 22 64 65 66 22 29 20 29 0d 0a t(kwd="def") )..
08b0: 09 09 09 72 65 74 75 72 6e 20 6e 75 6c 6c 3b 20 ...return null;
08c0: 2f 2f 20 6e 6f 6e 65 20 6f 66 20 7b 40 6c 61 79 // none of {@lay
08d0: 2c 20 6c 65 74 2c 20 76 61 72 2c 20 64 65 66 7d , let, var, def}
08e0: 20 6f 63 63 75 72 72 65 64 2c 20 69 74 27 73 20 occurred, it's
08f0: 6e 6f 74 20 61 20 64 65 63 6c 61 72 61 74 69 6f not a declaratio
0900: 6e 0d 0a 0d 0a 09 09 61 75 74 6f 20 76 61 72 70 n......auto varp
0910: 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 os = currentPosi
0920: 74 69 6f 6e 28 29 3b 0d 0a 09 09 73 74 72 69 6e tion();....strin
0930: 67 20 76 61 72 20 3d 20 65 61 74 49 64 28 22 61 g var = eatId("a
0940: 66 74 65 72 20 22 7e 6b 77 64 2c 20 41 6c 6c 6f fter "~kwd, Allo
0950: 77 51 75 6f 74 65 64 29 3b 20 2f 2f 20 6e 61 6d wQuoted); // nam
0960: 65 20 6f 66 20 74 68 65 20 64 65 63 6c 61 72 65 e of the declare
0970: 64 20 76 61 72 69 61 62 6c 65 0d 0a 0d 0a 09 09 d variable......
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 3f 20 70 61 72 73 65 "(").....? parse
09a0: 4c 61 6d 62 64 61 41 66 74 65 72 4f 70 65 6e 50 LambdaAfterOpenP
09b0: 61 72 65 6e 28 76 61 72 70 6f 73 29 20 20 2f 2f aren(varpos) //
09c0: 20 6c 65 74 20 76 61 72 20 28 20 2e 2e 2e 0d 0a let var ( .....
09d0: 09 09 09 3a 20 28 65 61 74 28 22 3d 22 2c 20 22 ...: (eat("=", "
09e0: 61 66 74 65 72 20 22 7e 6b 77 64 29 2c 20 45 28 after "~kwd), E(
09f0: 30 29 29 3b 20 20 20 20 2f 2f 20 6c 65 74 20 76 0)); // let v
0a00: 61 72 20 3d 20 2e 2e 2e 0d 0a 0d 0a 09 09 69 66 ar = .........if
0a10: 28 20 6d 6f 72 65 44 65 63 6c 61 72 61 74 69 6f ( moreDeclaratio
0a20: 6e 45 78 69 73 74 73 28 29 20 29 0d 0a 09 09 09 nExists() ).....
0a30: 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 45 78 return new LetEx
0a40: 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 76 61 pression(pos, va
0a50: 72 2c 20 6c 61 79 65 72 2c 20 65 2c 20 42 6f 64 r, layer, e, Bod
0a60: 79 28 29 29 3b 0d 0a 09 09 65 6c 73 65 0d 0a 09 y());....else...
0a70: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 ..return new Let
0a80: 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 Expression(pos,
0a90: 76 61 72 2c 20 6c 61 79 65 72 2c 20 65 2c 20 6e var, layer, e, n
0aa0: 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e ew VarExpression
0ab0: 28 76 61 72 70 6f 73 2c 20 76 61 72 29 29 3b 0d (varpos, var));.
0ac0: 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 54 6f 70 4c ..}.....AST TopL
0ad0: 65 76 65 6c 45 78 70 72 65 73 73 69 6f 6e 28 29 evelExpression()
0ae0: 0d 0a 09 7b 0d 0a 09 09 2f 2f 2f 20 54 6f 70 4c ...{..../// TopL
0af0: 65 76 65 6c 45 78 70 72 65 73 73 69 6f 6e 20 3a evelExpression :
0b00: 3a 3d 20 45 78 70 72 65 73 73 69 6f 6e 20 28 5b := Expression ([
0b10: 22 3b 22 7c 22 69 6e 22 5d 20 42 6f 64 79 3f 29 ";"|"in"] Body?)
0b20: 3f 0d 0a 0d 0a 09 09 61 75 74 6f 20 70 6f 73 20 ?......auto pos
0b30: 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f = currentPositio
0b40: 6e 28 29 3b 0d 0a 09 09 61 75 74 6f 20 65 20 3d n();....auto e =
0b50: 20 45 28 30 29 3b 0d 0a 09 09 69 66 28 20 6d 6f E(0);....if( mo
0b60: 72 65 44 65 63 6c 61 72 61 74 69 6f 6e 45 78 69 reDeclarationExi
0b70: 73 74 73 28 29 20 29 0d 0a 09 09 09 72 65 74 75 sts() ).....retu
0b80: 72 6e 20 6e 65 77 20 4c 65 74 45 78 70 72 65 73 rn new LetExpres
0b90: 73 69 6f 6e 28 70 6f 73 2c 20 22 5f 22 2c 20 22 sion(pos, "_", "
0ba0: 22 2c 20 65 2c 20 42 6f 64 79 28 29 29 3b 0d 0a ", e, Body());..
0bb0: 09 09 65 6c 73 65 0d 0a 09 09 09 72 65 74 75 72 ..else.....retur
0bc0: 6e 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 70 72 69 n e;...}.....pri
0bd0: 76 61 74 65 20 62 6f 6f 6c 20 6d 6f 72 65 44 65 vate bool moreDe
0be0: 63 6c 61 72 61 74 69 6f 6e 45 78 69 73 74 73 28 clarationExists(
0bf0: 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 )...{....return
0c00: 28 74 72 79 45 61 74 28 22 3b 22 29 20 7c 7c 20 (tryEat(";") ||
0c10: 74 72 79 45 61 74 28 22 69 6e 22 29 29 20 26 26 tryEat("in")) &&
0c20: 20 21 63 6c 6f 73 69 6e 67 42 72 61 63 6b 65 74 !closingBracket
0c30: 28 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 70 72 69 76 ();...}.....priv
0c40: 61 74 65 20 62 6f 6f 6c 20 63 6c 6f 73 69 6e 67 ate bool closing
0c50: 42 72 61 63 6b 65 74 28 29 0d 0a 09 7b 0d 0a 09 Bracket()...{...
0c60: 09 72 65 74 75 72 6e 20 6c 65 78 2e 65 6d 70 74 .return lex.empt
0c70: 79 20 7c 7c 20 21 6c 65 78 2e 66 72 6f 6e 74 2e y || !lex.front.
0c80: 71 75 6f 74 65 64 20 26 26 20 5b 22 7d 22 2c 22 quoted && ["}","
0c90: 29 22 2c 22 5d 22 5d 2e 63 61 6e 46 69 6e 64 28 )","]"].canFind(
0ca0: 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 3b 0d lex.front.str);.
0cb0: 0a 09 7d 0d 0a 0d 0a 09 2f 2f 20 5b 54 4f 44 4f ..}.....// [TODO
0cc0: 5d 20 6d 61 6b 65 20 74 68 69 73 20 63 75 73 74 ] make this cust
0cd0: 6f 6d 69 7a 61 62 6c 65 20 66 72 6f 6d 20 70 72 omizable from pr
0ce0: 6f 67 72 61 6d 0d 0a 09 70 72 69 76 61 74 65 20 ogram...private
0cf0: 73 74 61 74 69 63 20 73 74 72 69 6e 67 5b 5d 5b static string[][
0d00: 5d 20 6f 70 65 72 61 74 6f 72 5f 70 65 72 66 65 ] operator_perfe
0d10: 72 65 6e 63 65 73 20 3d 20 5b 0d 0a 09 09 5b 22 rences = [....["
0d20: 7c 7c 22 5d 2c 0d 0a 09 09 5b 22 26 26 22 5d 2c ||"],....["&&"],
0d30: 0d 0a 09 09 5b 22 21 3d 22 5d 2c 0d 0a 09 09 5b ....["!="],....[
0d40: 22 3d 3d 22 5d 2c 0d 0a 09 09 5b 22 3c 22 2c 22 "=="],....["<","
0d50: 3c 3d 22 2c 22 3e 22 2c 22 3e 3d 22 5d 2c 0d 0a <=",">",">="],..
0d60: 09 09 5b 22 7c 22 5d 2c 0d 0a 09 09 5b 22 5e 22 ..["|"],....["^"
0d70: 5d 2c 0d 0a 09 09 5b 22 26 22 5d 2c 0d 0a 09 09 ],....["&"],....
0d80: 5b 22 3c 3c 22 2c 20 22 3e 3e 22 5d 2c 0d 0a 09 ["<<", ">>"],...
0d90: 09 5b 22 2b 22 2c 22 2d 22 5d 2c 0d 0a 09 09 5b .["+","-"],....[
0da0: 22 7e 22 5d 2c 0d 0a 09 09 5b 22 2a 22 2c 22 2f "~"],....["*","/
0db0: 22 2c 22 25 22 5d 2c 0d 0a 09 09 5b 22 5e 5e 22 ","%"],....["^^"
0dc0: 2c 22 2a 2a 22 5d 0d 0a 09 5d 3b 0d 0a 0d 0a 09 ,"**"]...];.....
0dd0: 41 53 54 20 45 28 73 69 7a 65 5f 74 20 6c 65 76 AST E(size_t lev
0de0: 65 6c 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 2f 20 45 el)...{..../// E
0df0: 78 70 72 65 73 73 69 6f 6e 20 3a 3a 3d 20 28 42 xpression ::= (B
0e00: 69 6e 61 72 79 20 6c 65 66 74 2d 61 73 73 6f 63 inary left-assoc
0e10: 69 61 74 69 76 65 20 6f 70 65 72 61 74 6f 72 73 iative operators
0e20: 20 6f 76 65 72 29 20 46 75 6e 63 61 6c 6c 0d 0a over) Funcall..
0e30: 0d 0a 09 09 41 53 54 20 72 65 63 28 41 53 54 20 ....AST rec(AST
0e40: 6c 68 73 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 lhs)....{.....if
0e50: 28 20 63 6c 6f 73 69 6e 67 42 72 61 63 6b 65 74 ( closingBracket
0e60: 28 29 20 29 0d 0a 09 09 09 09 72 65 74 75 72 6e () )......return
0e70: 20 6c 68 73 3b 0d 0a 0d 0a 09 09 09 61 75 74 6f lhs;.......auto
0e80: 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f pos = currentPo
0e90: 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 66 6f sition();.....fo
0ea0: 72 65 61 63 68 28 6f 70 3b 20 6f 70 65 72 61 74 reach(op; operat
0eb0: 6f 72 5f 70 65 72 66 65 72 65 6e 63 65 73 5b 6c or_perferences[l
0ec0: 65 76 65 6c 5d 29 0d 0a 09 09 09 09 69 66 28 20 evel])......if(
0ed0: 74 72 79 45 61 74 28 6f 70 29 20 29 0d 0a 09 09 tryEat(op) )....
0ee0: 09 09 09 72 65 74 75 72 6e 20 72 65 63 28 0d 0a ...return rec(..
0ef0: 09 09 09 09 09 09 6e 65 77 20 46 75 6e 63 61 6c ......new Funcal
0f00: 6c 45 78 70 72 65 73 73 69 6f 6e 28 6c 68 73 2e lExpression(lhs.
0f10: 70 6f 73 2c 20 6e 65 77 20 56 61 72 45 78 70 72 pos, new VarExpr
0f20: 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6f 70 29 2c ession(pos, op),
0f30: 20 6c 68 73 2c 20 45 28 6c 65 76 65 6c 2b 31 29 lhs, E(level+1)
0f40: 29 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6c ));.....return l
0f50: 68 73 3b 0d 0a 09 09 7d 0d 0a 0d 0a 09 09 69 66 hs;....}......if
0f60: 28 20 6f 70 65 72 61 74 6f 72 5f 70 65 72 66 65 ( operator_perfe
0f70: 72 65 6e 63 65 73 2e 6c 65 6e 67 74 68 20 3c 3d rences.length <=
0f80: 20 6c 65 76 65 6c 20 29 0d 0a 09 09 09 72 65 74 level ).....ret
0f90: 75 72 6e 20 46 75 6e 63 61 6c 6c 28 29 3b 0d 0a urn Funcall();..
0fa0: 09 09 65 6c 73 65 0d 0a 09 09 09 72 65 74 75 72 ..else.....retur
0fb0: 6e 20 72 65 63 28 45 28 6c 65 76 65 6c 2b 31 29 n rec(E(level+1)
0fc0: 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 46 );...}.....AST F
0fd0: 75 6e 63 61 6c 6c 28 29 0d 0a 09 7b 0d 0a 09 09 uncall()...{....
0fe0: 2f 2f 2f 20 46 75 6e 63 61 6c 6c 20 3a 3a 3d 20 /// Funcall ::=
0ff0: 42 61 73 65 45 78 70 72 65 73 73 69 6f 6e 20 5b BaseExpression [
1000: 22 28 22 20 45 78 70 72 65 73 73 69 6f 6e 25 22 "(" Expression%"
1010: 2c 22 20 22 29 22 5d 2a 0d 0a 0d 0a 09 09 61 75 ," ")"]*......au
1020: 74 6f 20 65 20 3d 20 42 61 73 65 45 78 70 72 65 to e = BaseExpre
1030: 73 73 69 6f 6e 28 29 3b 0d 0a 09 09 77 68 69 6c ssion();....whil
1040: 65 28 20 74 72 79 45 61 74 28 22 28 22 29 20 29 e( tryEat("(") )
1050: 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 74 6f 20 70 ....{.....auto p
1060: 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 os = currentPosi
1070: 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 41 53 54 5b tion();.....AST[
1080: 5d 20 61 72 67 73 3b 0d 0a 09 09 09 77 68 69 6c ] args;.....whil
1090: 65 28 20 21 74 72 79 45 61 74 28 22 29 22 29 20 e( !tryEat(")")
10a0: 29 20 7b 0d 0a 09 09 09 09 69 66 28 20 6c 65 78 ) {......if( lex
10b0: 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 09 09 74 .empty ).......t
10c0: 68 72 6f 77 20 67 65 6e 65 78 21 55 6e 65 78 70 hrow genex!Unexp
10d0: 65 63 74 65 64 45 4f 46 28 70 6f 73 2c 20 22 63 ectedEOF(pos, "c
10e0: 6c 6f 73 69 6e 67 20 27 29 27 20 66 6f 72 20 61 losing ')' for a
10f0: 72 67 75 6d 65 6e 74 73 20 6e 6f 74 20 66 6f 75 rguments not fou
1100: 6e 64 22 29 3b 0d 0a 09 09 09 09 61 72 67 73 20 nd");......args
1110: 7e 3d 20 45 28 30 29 3b 0d 0a 09 09 09 09 69 66 ~= E(0);......if
1120: 28 20 21 74 72 79 45 61 74 28 22 2c 22 29 20 29 ( !tryEat(",") )
1130: 20 7b 0d 0a 09 09 09 09 09 65 61 74 28 22 29 22 {.......eat(")"
1140: 2c 20 22 61 66 74 65 72 20 66 75 6e 63 74 69 6f , "after functio
1150: 6e 20 70 61 72 61 6d 65 74 65 72 73 22 29 3b 0d n parameters");.
1160: 0a 09 09 09 09 09 62 72 65 61 6b 3b 0d 0a 09 09 ......break;....
1170: 09 09 7d 0d 0a 09 09 09 7d 0d 0a 09 09 09 65 20 ..}.....}.....e
1180: 3d 20 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 = new FuncallExp
1190: 72 65 73 73 69 6f 6e 28 65 2e 70 6f 73 2c 20 65 ression(e.pos, e
11a0: 2c 20 61 72 67 73 29 3b 0d 0a 09 09 7d 0d 0a 09 , args);....}...
11b0: 09 72 65 74 75 72 6e 20 65 3b 0d 0a 09 7d 0d 0a .return e;...}..
11c0: 0d 0a 09 41 53 54 20 42 61 73 65 45 78 70 72 65 ...AST BaseExpre
11d0: 73 73 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 69 ssion()...{....i
11e0: 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d 0a f( lex.empty )..
11f0: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 55 ...throw genex!U
1200: 6e 65 78 70 65 63 74 65 64 45 4f 46 28 63 75 72 nexpectedEOF(cur
1210: 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 rentPosition(),
1220: 22 52 65 61 63 68 65 64 20 45 4f 46 20 77 68 65 "Reached EOF whe
1230: 6e 20 74 72 69 65 64 20 74 6f 20 70 61 72 73 65 n tried to parse
1240: 20 61 6e 20 65 78 70 72 65 73 73 69 6f 6e 22 29 an expression")
1250: 3b 0d 0a 0d 0a 09 09 61 75 74 6f 20 70 6f 73 20 ;......auto pos
1260: 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b = lex.front.pos;
1270: 0d 0a 09 09 69 66 28 20 6c 65 78 2e 66 72 6f 6e ....if( lex.fron
1280: 74 2e 71 75 6f 74 65 64 20 29 0d 0a 09 09 7b 0d t.quoted )....{.
1290: 0a 09 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 ....scope(exit)
12a0: 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 lex.popFront;...
12b0: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 53 74 72 ..return new Str
12c0: 4c 69 74 65 72 61 6c 28 70 6f 73 2c 20 6c 65 78 Literal(pos, lex
12d0: 2e 66 72 6f 6e 74 2e 73 74 72 29 3b 0d 0a 09 09 .front.str);....
12e0: 7d 0d 0a 09 09 69 66 28 20 69 73 4e 75 6d 62 65 }....if( isNumbe
12f0: 72 28 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 r(lex.front.str)
1300: 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 73 63 6f 70 )....{.....scop
1310: 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 46 e(exit) lex.popF
1320: 72 6f 6e 74 3b 0d 0a 09 09 09 72 65 74 75 72 6e ront;.....return
1330: 20 6e 65 77 20 49 6e 74 4c 69 74 65 72 61 6c 28 new IntLiteral(
1340: 70 6f 73 2c 20 42 69 67 49 6e 74 28 63 61 73 74 pos, BigInt(cast
1350: 28 73 74 72 69 6e 67 29 6c 65 78 2e 66 72 6f 6e (string)lex.fron
1360: 74 2e 73 74 72 29 29 3b 0d 0a 09 09 7d 0d 0a 09 t.str));....}...
1370: 09 69 66 28 20 74 72 79 45 61 74 28 22 40 22 29 .if( tryEat("@")
1380: 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 74 6f )....{.....auto
1390: 20 6c 61 79 20 3d 20 22 40 22 7e 65 61 74 49 64 lay = "@"~eatId
13a0: 28 22 66 6f 72 20 6c 61 79 65 72 20 49 44 22 29 ("for layer ID")
13b0: 3b 0d 0a 09 09 09 65 61 74 28 22 28 22 2c 20 22 ;.....eat("(", "
13c0: 66 6f 72 20 6c 61 79 65 72 65 64 20 65 78 65 63 for layered exec
13d0: 75 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 61 75 74 ution");.....aut
13e0: 6f 20 65 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 o e = Body();...
13f0: 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 74 65 ..eat(")", "afte
1400: 72 20 22 7e 6c 61 79 7e 22 28 2e 2e 2e 22 29 3b r "~lay~"(...");
1410: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
1420: 4c 61 79 65 72 65 64 45 78 70 72 65 73 73 69 6f LayeredExpressio
1430: 6e 28 70 6f 73 2c 20 6c 61 79 2c 20 65 29 3b 0d n(pos, lay, e);.
1440: 0a 09 09 7d 0d 0a 09 09 69 66 28 20 74 72 79 45 ...}....if( tryE
1450: 61 74 28 22 28 22 29 20 29 0d 0a 09 09 7b 0d 0a at("(") )....{..
1460: 09 09 09 61 75 74 6f 20 65 20 3d 20 42 6f 64 79 ...auto e = Body
1470: 28 29 3b 0d 0a 09 09 09 65 61 74 28 22 29 22 2c ();.....eat(")",
1480: 20 22 61 66 74 65 72 20 70 61 72 65 6e 74 68 65 "after parenthe
1490: 73 69 7a 65 64 20 65 78 70 72 65 73 73 69 6f 6e sized expression
14a0: 22 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 ");.....return e
14b0: 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 74 72 ;....}....if( tr
14c0: 79 45 61 74 28 22 69 66 22 29 20 29 0d 0a 09 09 yEat("if") )....
14d0: 7b 0d 0a 09 09 09 65 61 74 28 22 28 22 2c 20 22 {.....eat("(", "
14e0: 61 66 74 65 72 20 69 66 22 29 3b 0d 0a 09 09 09 after if");.....
14f0: 61 75 74 6f 20 63 6f 6e 64 20 3d 20 45 28 30 29 auto cond = E(0)
1500: 3b 0d 0a 09 09 09 65 61 74 28 22 29 22 2c 20 22 ;.....eat(")", "
1510: 61 66 74 65 72 20 69 66 20 63 6f 6e 64 69 74 69 after if conditi
1520: 6f 6e 22 29 3b 0d 0a 09 09 09 61 75 74 6f 20 74 on");.....auto t
1530: 68 65 6e 50 6f 73 20 3d 20 6c 65 78 2e 66 72 6f henPos = lex.fro
1540: 6e 74 2e 70 6f 73 3b 0d 0a 09 09 09 65 61 74 28 nt.pos;.....eat(
1550: 22 7b 22 2c 20 22 61 66 74 65 72 20 69 66 20 63 "{", "after if c
1560: 6f 6e 64 69 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 ondition");.....
1570: 61 75 74 6f 20 74 68 20 3d 20 42 6f 64 79 28 29 auto th = Body()
1580: 3b 0d 0a 09 09 09 65 61 74 28 22 7d 22 2c 20 22 ;.....eat("}", "
1590: 61 66 74 65 72 20 69 66 2d 74 68 65 6e 20 62 6f after if-then bo
15a0: 64 79 22 29 3b 0d 0a 09 09 09 61 75 74 6f 20 65 dy");.....auto e
15b0: 6c 20 3d 20 64 6f 4e 6f 74 68 69 6e 67 45 78 70 l = doNothingExp
15c0: 72 65 73 73 69 6f 6e 28 29 3b 0d 0a 09 09 09 61 ression();.....a
15d0: 75 74 6f 20 65 6c 73 65 50 6f 73 20 3d 20 28 6c uto elsePos = (l
15e0: 65 78 2e 65 6d 70 74 79 20 3f 20 4c 65 78 50 6f ex.empty ? LexPo
15f0: 73 69 74 69 6f 6e 2e 64 75 6d 6d 79 20 3a 20 6c sition.dummy : l
1600: 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 29 3b 0d 0a ex.front.pos);..
1610: 09 09 09 69 66 28 20 74 72 79 45 61 74 28 22 65 ...if( tryEat("e
1620: 6c 73 65 22 29 20 29 20 7b 0d 0a 09 09 09 09 65 lse") ) {......e
1630: 61 74 28 22 7b 22 2c 20 22 61 66 74 65 72 20 65 at("{", "after e
1640: 6c 73 65 22 29 3b 0d 0a 09 09 09 09 65 6c 20 3d lse");......el =
1650: 20 42 6f 64 79 28 29 3b 0d 0a 09 09 09 09 65 61 Body();......ea
1660: 74 28 22 7d 22 2c 20 22 61 66 74 65 72 20 65 6c t("}", "after el
1670: 73 65 20 62 6f 64 79 22 29 3b 0d 0a 09 09 09 7d se body");.....}
1680: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
1690: 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f FuncallExpressio
16a0: 6e 28 70 6f 73 2c 20 0d 0a 09 09 09 09 6e 65 77 n(pos, ......new
16b0: 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 70 VarExpression(p
16c0: 6f 73 2c 20 22 69 66 22 29 2c 0d 0a 09 09 09 09 os, "if"),......
16d0: 63 6f 6e 64 2c 0d 0a 09 09 09 09 6e 65 77 20 46 cond,......new F
16e0: 75 6e 4c 69 74 65 72 61 6c 28 74 68 65 6e 50 6f unLiteral(thenPo
16f0: 73 2c 20 5b 5d 2c 20 74 68 29 2c 0d 0a 09 09 09 s, [], th),.....
1700: 09 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 6c 28 .new FunLiteral(
1710: 65 6c 73 65 50 6f 73 2c 20 5b 5d 2c 20 65 6c 29 elsePos, [], el)
1720: 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d 0d 0a 09 09 .....);....}....
1730: 69 66 28 20 74 72 79 45 61 74 28 22 66 75 6e 22 if( tryEat("fun"
1740: 29 20 7c 7c 20 74 72 79 45 61 74 28 22 5c 75 30 ) || tryEat("\u0
1750: 33 42 42 22 29 20 29 20 2f 2f 20 6c 61 6d 62 64 3BB") ) // lambd
1760: 61 21 21 0d 0a 09 09 7b 0d 0a 09 09 09 65 61 74 a!!....{.....eat
1770: 28 22 28 22 2c 20 22 61 66 74 65 72 20 66 75 6e ("(", "after fun
1780: 22 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 70 ");.....return p
1790: 61 72 73 65 4c 61 6d 62 64 61 41 66 74 65 72 4f arseLambdaAfterO
17a0: 70 65 6e 50 61 72 65 6e 28 70 6f 73 29 3b 0d 0a penParen(pos);..
17b0: 09 09 7d 0d 0a 09 09 73 63 6f 70 65 28 65 78 69 ..}....scope(exi
17c0: 74 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b t) lex.popFront;
17d0: 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 56 ....return new V
17e0: 61 72 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 arExpression(pos
17f0: 2c 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 , lex.front.str)
1800: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 70 61 ;...}.....AST pa
1810: 72 73 65 4c 61 6d 62 64 61 41 66 74 65 72 4f 70 rseLambdaAfterOp
1820: 65 6e 50 61 72 65 6e 28 69 6d 6d 75 74 61 62 6c enParen(immutabl
1830: 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f e LexPosition po
1840: 73 29 0d 0a 09 7b 0d 0a 09 09 50 61 72 61 6d 65 s)...{....Parame
1850: 74 65 72 5b 5d 20 70 61 72 61 6d 73 3b 0d 0a 09 ter[] params;...
1860: 09 77 68 69 6c 65 28 20 21 74 72 79 45 61 74 28 .while( !tryEat(
1870: 22 29 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 ")") )....{.....
1880: 70 61 72 61 6d 73 20 7e 3d 20 70 61 72 73 65 50 params ~= parseP
1890: 61 72 61 6d 28 29 3b 0d 0a 09 09 09 69 66 28 20 aram();.....if(
18a0: 21 74 72 79 45 61 74 28 22 2c 22 29 20 29 20 7b !tryEat(",") ) {
18b0: 0d 0a 09 09 09 09 65 61 74 28 22 29 22 2c 20 22 ......eat(")", "
18c0: 61 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 after function p
18d0: 61 72 61 6d 65 74 65 72 73 22 29 3b 0d 0a 09 09 arameters");....
18e0: 09 09 62 72 65 61 6b 3b 0d 0a 09 09 09 7d 0d 0a ..break;.....}..
18f0: 09 09 7d 0d 0a 09 09 65 61 74 28 22 7b 22 2c 20 ..}....eat("{",
1900: 22 61 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 "after function
1910: 70 61 72 61 6d 65 74 65 72 73 22 29 3b 0d 0a 09 parameters");...
1920: 09 61 75 74 6f 20 66 75 6e 62 6f 64 79 20 3d 20 .auto funbody =
1930: 42 6f 64 79 28 29 3b 0d 0a 09 09 65 61 74 28 22 Body();....eat("
1940: 7d 22 2c 20 22 61 66 74 65 72 20 66 75 6e 63 74 }", "after funct
1950: 69 6f 6e 20 62 6f 64 79 22 29 3b 0d 0a 09 09 72 ion body");....r
1960: 65 74 75 72 6e 20 6e 65 77 20 46 75 6e 4c 69 74 eturn new FunLit
1970: 65 72 61 6c 28 70 6f 73 2c 20 70 61 72 61 6d 73 eral(pos, params
1980: 2c 20 66 75 6e 62 6f 64 79 29 3b 0d 0a 09 7d 0d , funbody);...}.
1990: 0a 0d 0a 09 50 61 72 61 6d 65 74 65 72 20 70 61 ....Parameter pa
19a0: 72 73 65 50 61 72 61 6d 28 29 0d 0a 09 7b 0d 0a rseParam()...{..
19b0: 09 09 73 74 72 69 6e 67 20 76 61 72 3b 0d 0a 09 ..string var;...
19c0: 09 73 74 72 69 6e 67 5b 5d 20 6c 61 79 3b 0d 0a .string[] lay;..
19d0: 09 09 77 68 69 6c 65 28 20 21 63 6c 6f 73 69 6e ..while( !closin
19e0: 67 42 72 61 63 6b 65 74 28 29 20 26 26 20 21 6c gBracket() && !l
19f0: 65 78 2e 65 6d 70 74 79 20 26 26 20 6c 65 78 2e ex.empty && lex.
1a00: 66 72 6f 6e 74 2e 73 74 72 21 3d 22 2c 22 20 29 front.str!="," )
1a10: 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 74 6f 20 70 ....{.....auto p
1a20: 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 os = currentPosi
1a30: 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 73 74 72 69 tion();.....stri
1a40: 6e 67 20 70 20 3d 20 65 61 74 49 64 28 22 66 6f ng p = eatId("fo
1a50: 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d r function param
1a60: 65 74 65 72 22 2c 20 41 6c 6c 6f 77 51 75 6f 74 eter", AllowQuot
1a70: 65 64 29 3b 0d 0a 09 09 09 69 66 28 20 70 20 3d ed);.....if( p =
1a80: 3d 20 22 40 22 20 29 0d 0a 09 09 09 09 6c 61 79 = "@" )......lay
1a90: 20 7e 3d 20 22 40 22 20 7e 20 65 61 74 49 64 28 ~= "@" ~ eatId(
1aa0: 22 61 66 74 65 72 20 40 22 2c 20 41 6c 6c 6f 77 "after @", Allow
1ab0: 51 75 6f 74 65 64 29 3b 0d 0a 09 09 09 65 6c 73 Quoted);.....els
1ac0: 65 20 69 66 28 20 76 61 72 2e 65 6d 70 74 79 20 e if( var.empty
1ad0: 29 0d 0a 09 09 09 09 76 61 72 20 3d 20 70 3b 0d )......var = p;.
1ae0: 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 74 68 ....else......th
1af0: 72 6f 77 20 67 65 6e 65 78 21 50 61 72 73 65 45 row genex!ParseE
1b00: 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 6f xception(pos, "o
1b10: 6e 65 20 70 61 72 61 6d 65 74 65 72 20 68 61 73 ne parameter has
1b20: 20 74 77 6f 20 6e 61 6d 65 73 22 29 3b 0d 0a 09 two names");...
1b30: 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 .}....return new
1b40: 20 50 61 72 61 6d 65 74 65 72 28 76 61 72 2c 20 Parameter(var,
1b50: 6c 61 79 29 3b 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 lay);...}....pri
1b60: 76 61 74 65 3a 0d 0a 09 4c 65 78 65 72 20 6c 65 vate:...Lexer le
1b70: 78 3b 0d 0a 09 74 68 69 73 28 4c 65 78 65 72 20 x;...this(Lexer
1b80: 6c 65 78 29 20 7b 20 74 68 69 73 2e 6c 65 78 20 lex) { this.lex
1b90: 3d 20 6c 65 78 3b 20 7d 0d 0a 0d 0a 09 62 6f 6f = lex; }.....boo
1ba0: 6c 20 69 73 4e 75 6d 62 65 72 28 73 74 72 69 6e l isNumber(strin
1bb0: 67 20 73 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 g s)...{....retu
1bc0: 72 6e 20 66 69 6e 64 21 28 60 61 3c 27 30 27 20 rn find!(`a<'0'
1bd0: 7c 7c 20 27 39 27 3c 61 60 29 28 73 29 2e 65 6d || '9'<a`)(s).em
1be0: 70 74 79 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 76 6f pty;...}......vo
1bf0: 69 64 20 65 61 74 28 73 74 72 69 6e 67 20 6b 77 id eat(string kw
1c00: 64 2c 20 6c 61 7a 79 20 73 74 72 69 6e 67 20 6d d, lazy string m
1c10: 73 67 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 21 sg)...{....if( !
1c20: 74 72 79 45 61 74 28 6b 77 64 29 20 29 0d 0a 09 tryEat(kwd) )...
1c30: 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 ..if( lex.empty
1c40: 29 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e )......throw gen
1c50: 65 78 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 ex!UnexpectedEOF
1c60: 28 0d 0a 09 09 09 09 09 63 75 72 72 65 6e 74 50 (.......currentP
1c70: 6f 73 69 74 69 6f 6e 28 29 2c 20 73 70 72 69 6e osition(), sprin
1c80: 74 66 21 22 25 73 20 69 73 20 65 78 70 65 63 74 tf!"%s is expect
1c90: 65 64 20 25 73 20 62 75 74 20 6e 6f 74 20 66 6f ed %s but not fo
1ca0: 75 6e 64 22 28 6b 77 64 2c 6d 73 67 29 29 3b 0d und"(kwd,msg));.
1cb0: 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 74 68 ....else......th
1cc0: 72 6f 77 20 67 65 6e 65 78 21 50 61 72 73 65 45 row genex!ParseE
1cd0: 78 63 65 70 74 69 6f 6e 28 0d 0a 09 09 09 09 09 xception(.......
1ce0: 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 currentPosition(
1cf0: 29 2c 20 73 70 72 69 6e 74 66 21 22 25 73 20 69 ), sprintf!"%s i
1d00: 73 20 65 78 70 65 63 74 65 64 20 66 6f 72 20 25 s expected for %
1d10: 73 20 62 75 74 20 6e 6f 74 20 66 6f 75 6e 64 22 s but not found"
1d20: 28 6b 77 64 2c 6d 73 67 29 29 3b 0d 0a 09 7d 0d (kwd,msg));...}.
1d30: 0a 0d 0a 09 62 6f 6f 6c 20 74 72 79 45 61 74 28 ....bool tryEat(
1d40: 73 74 72 69 6e 67 20 6b 77 64 29 0d 0a 09 7b 0d string kwd)...{.
1d50: 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 ...if( lex.empty
1d60: 20 7c 7c 20 6c 65 78 2e 66 72 6f 6e 74 2e 71 75 || lex.front.qu
1d70: 6f 74 65 64 20 7c 7c 20 6c 65 78 2e 66 72 6f 6e oted || lex.fron
1d80: 74 2e 73 74 72 21 3d 6b 77 64 20 29 0d 0a 09 09 t.str!=kwd )....
1d90: 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0d 0a .return false;..
1da0: 09 09 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d ..lex.popFront;.
1db0: 0a 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b 0d ...return true;.
1dc0: 0a 09 7d 0d 0a 0d 0a 09 65 6e 75 6d 20 7b 41 6c ..}.....enum {Al
1dd0: 6c 6f 77 51 75 6f 74 65 64 3d 74 72 75 65 2c 20 lowQuoted=true,
1de0: 44 69 73 61 6c 6c 6f 77 51 75 6f 74 65 64 3d 66 DisallowQuoted=f
1df0: 61 6c 73 65 7d 3b 0d 0a 09 73 74 72 69 6e 67 20 alse};...string
1e00: 65 61 74 49 64 28 6c 61 7a 79 20 73 74 72 69 6e eatId(lazy strin
1e10: 67 20 6d 73 67 2c 20 62 6f 6f 6c 20 61 71 3d 44 g msg, bool aq=D
1e20: 69 73 61 6c 6c 6f 77 51 75 6f 74 65 64 29 0d 0a isallowQuoted)..
1e30: 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d .{....if( lex.em
1e40: 70 74 79 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 pty ).....throw
1e50: 67 65 6e 65 78 21 55 6e 65 78 70 65 63 74 65 64 genex!Unexpected
1e60: 45 4f 46 28 63 75 72 72 65 6e 74 50 6f 73 69 74 EOF(currentPosit
1e70: 69 6f 6e 28 29 2c 20 22 69 64 65 6e 74 69 66 69 ion(), "identifi
1e80: 65 72 20 69 73 20 65 78 70 65 63 74 65 64 20 62 er is expected b
1e90: 75 74 20 6e 6f 74 20 66 6f 75 6e 64 20 22 7e 6d ut not found "~m
1ea0: 73 67 29 3b 0d 0a 09 09 69 66 28 20 21 61 71 20 sg);....if( !aq
1eb0: 26 26 20 6c 65 78 2e 66 72 6f 6e 74 2e 71 75 6f && lex.front.quo
1ec0: 74 65 64 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 ted ).....throw
1ed0: 67 65 6e 65 78 21 50 61 72 73 65 45 78 63 65 70 genex!ParseExcep
1ee0: 74 69 6f 6e 28 63 75 72 72 65 6e 74 50 6f 73 69 tion(currentPosi
1ef0: 74 69 6f 6e 28 29 2c 20 22 69 64 65 6e 74 69 66 tion(), "identif
1f00: 69 65 72 20 69 73 20 65 78 70 65 63 74 65 64 20 ier is expected
1f10: 62 75 74 20 6e 6f 74 20 66 6f 75 6e 64 20 22 7e but not found "~
1f20: 6d 73 67 29 3b 0d 0a 09 09 73 63 6f 70 65 28 65 msg);....scope(e
1f30: 78 69 74 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e xit) lex.popFron
1f40: 74 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6c 65 78 t;....return lex
1f50: 2e 66 72 6f 6e 74 2e 73 74 72 3b 0d 0a 09 7d 0d .front.str;...}.
1f60: 0a 0d 0a 09 41 53 54 20 64 6f 4e 6f 74 68 69 6e ....AST doNothin
1f70: 67 45 78 70 72 65 73 73 69 6f 6e 28 29 0d 0a 09 gExpression()...
1f80: 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 {....return new
1f90: 49 6e 74 4c 69 74 65 72 61 6c 28 63 75 72 72 65 IntLiteral(curre
1fa0: 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 42 69 ntPosition(), Bi
1fb0: 67 49 6e 74 28 31 37 38 29 29 3b 0d 0a 09 7d 0d gInt(178));...}.
1fc0: 0a 0d 0a 09 69 6d 6d 75 74 61 62 6c 65 28 4c 65 ....immutable(Le
1fd0: 78 50 6f 73 69 74 69 6f 6e 29 20 63 75 72 72 65 xPosition) curre
1fe0: 6e 74 50 6f 73 69 74 69 6f 6e 28 29 0d 0a 09 7b ntPosition()...{
1ff0: 0d 0a 09 09 72 65 74 75 72 6e 20 6c 65 78 2e 65 ....return lex.e
2000: 6d 70 74 79 20 3f 20 6e 75 6c 6c 20 3a 20 6c 65 mpty ? null : le
2010: 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d 0a 09 7d x.front.pos;...}
2020: 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d ..}....unittest.
2030: 0a 7b 0d 0a 09 6d 69 78 69 6e 20 45 61 73 79 41 .{...mixin EasyA
2040: 53 54 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 ST;.....assert_e
2050: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 q(parseString(`1
2060: 32 33 60 29 2c 20 69 6e 74 6c 28 31 32 33 29 29 23`), intl(123))
2070: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
2080: 72 73 65 53 74 72 69 6e 67 28 60 22 66 6f 6f 22 rseString(`"foo"
2090: 60 29 2c 20 73 74 72 6c 28 22 66 6f 6f 22 29 29 `), strl("foo"))
20a0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
20b0: 72 73 65 53 74 72 69 6e 67 28 60 66 75 6e 28 29 rseString(`fun()
20c0: 7b 31 7d 60 29 2c 20 66 75 6e 28 5b 5d 2c 69 6e {1}`), fun([],in
20d0: 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(1)));...asser
20e0: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
20f0: 28 60 66 75 6e 28 78 29 7b 31 7d 60 29 2c 20 66 (`fun(x){1}`), f
2100: 75 6e 28 5b 22 78 22 5d 2c 69 6e 74 6c 28 31 29 un(["x"],intl(1)
2110: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
2120: 70 61 72 73 65 53 74 72 69 6e 67 28 22 5c 75 30 parseString("\u0
2130: 33 42 42 28 29 7b 31 7d 22 29 2c 20 66 75 6e 28 3BB(){1}"), fun(
2140: 5b 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 [],intl(1)));...
2150: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
2160: 74 72 69 6e 67 28 22 5c 75 30 33 42 42 28 78 29 tring("\u03BB(x)
2170: 7b 31 7d 22 29 2c 20 66 75 6e 28 5b 22 78 22 5d {1}"), fun(["x"]
2180: 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 ,intl(1)));...as
2190: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
21a0: 69 6e 67 28 60 31 3b 32 60 29 2c 20 6c 65 74 28 ing(`1;2`), let(
21b0: 22 5f 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 69 "_","",intl(1),i
21c0: 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 ntl(2)));...asse
21d0: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
21e0: 67 28 60 31 3b 32 3b 60 29 2c 20 6c 65 74 28 22 g(`1;2;`), let("
21f0: 5f 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 69 6e _","",intl(1),in
2200: 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(2)));...asser
2210: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
2220: 28 60 6c 65 74 20 78 3d 31 20 69 6e 20 32 60 29 (`let x=1 in 2`)
2230: 2c 20 6c 65 74 28 22 78 22 2c 22 22 2c 69 6e 74 , let("x","",int
2240: 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d l(1),intl(2)));.
2250: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
2260: 65 53 74 72 69 6e 67 28 60 76 61 72 20 78 3d 31 eString(`var x=1
2270: 3b 32 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 ;2;`), let("x","
2280: 22 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 ",intl(1),intl(2
2290: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
22a0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 64 65 (parseString(`de
22b0: 66 20 78 3d 31 60 29 2c 20 6c 65 74 28 22 78 22 f x=1`), let("x"
22c0: 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 76 61 72 28 ,"",intl(1),var(
22d0: 22 78 22 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 "x")));...assert
22e0: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
22f0: 60 40 76 61 6c 20 78 3d 31 3b 60 29 2c 20 6c 65 `@val x=1;`), le
2300: 74 28 22 78 22 2c 22 40 76 61 6c 22 2c 69 6e 74 t("x","@val",int
2310: 6c 28 31 29 2c 76 61 72 28 22 78 22 29 29 29 3b l(1),var("x")));
2320: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
2330: 73 65 53 74 72 69 6e 67 28 60 40 74 79 70 20 78 seString(`@typ x
2340: 3d 22 23 69 6e 74 22 3b 60 29 2c 20 6c 65 74 28 ="#int";`), let(
2350: 22 78 22 2c 22 40 74 79 70 22 2c 73 74 72 6c 28 "x","@typ",strl(
2360: 22 23 69 6e 74 22 29 2c 76 61 72 28 22 78 22 29 "#int"),var("x")
2370: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
2380: 70 61 72 73 65 53 74 72 69 6e 67 28 60 66 28 31 parseString(`f(1
2390: 2c 32 29 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 ,2)`), call(var(
23a0: 22 66 22 29 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 "f"),intl(1),int
23b0: 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 l(2)));...assert
23c0: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
23d0: 60 69 66 28 31 29 7b 32 7d 60 29 2c 20 63 61 6c `if(1){2}`), cal
23e0: 6c 28 76 61 72 28 22 69 66 22 29 2c 69 6e 74 6c l(var("if"),intl
23f0: 28 31 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 (1),fun([],intl(
2400: 32 29 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 2)),fun([],intl(
2410: 31 37 38 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 178))));...asser
2420: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
2430: 28 60 69 66 28 31 29 7b 32 7d 65 6c 73 65 7b 33 (`if(1){2}else{3
2440: 7d 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 69 }`), call(var("i
2450: 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e 28 f"),intl(1),fun(
2460: 5b 5d 2c 69 6e 74 6c 28 32 29 29 2c 66 75 6e 28 [],intl(2)),fun(
2470: 5b 5d 2c 69 6e 74 6c 28 33 29 29 29 29 3b 0d 0a [],intl(3))));..
2480: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
2490: 53 74 72 69 6e 67 28 60 69 66 28 31 29 7b 7d 65 String(`if(1){}e
24a0: 6c 73 65 7b 33 7d 28 29 28 29 60 29 2c 0d 0a 09 lse{3}()()`),...
24b0: 09 63 61 6c 6c 28 63 61 6c 6c 28 63 61 6c 6c 28 .call(call(call(
24c0: 76 61 72 28 22 69 66 22 29 2c 69 6e 74 6c 28 31 var("if"),intl(1
24d0: 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 31 37 ),fun([],intl(17
24e0: 38 29 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 8)),fun([],intl(
24f0: 33 29 29 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 3))))));...asser
2500: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
2510: 28 60 31 2b 32 2a 33 60 29 2c 20 63 61 6c 6c 28 (`1+2*3`), call(
2520: 76 61 72 28 22 2b 22 29 2c 69 6e 74 6c 28 31 29 var("+"),intl(1)
2530: 2c 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c 69 ,call(var("*"),i
2540: 6e 74 6c 28 32 29 2c 69 6e 74 6c 28 33 29 29 29 ntl(2),intl(3)))
2550: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
2560: 61 72 73 65 53 74 72 69 6e 67 28 60 28 31 2b 32 arseString(`(1+2
2570: 29 2a 33 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 )*3`), call(var(
2580: 22 2a 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 2b "*"),call(var("+
2590: 22 29 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 "),intl(1),intl(
25a0: 32 29 29 2c 69 6e 74 6c 28 33 29 29 29 3b 0d 0a 2)),intl(3)));..
25b0: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
25c0: 53 74 72 69 6e 67 28 60 31 2a 28 32 2b 33 29 60 String(`1*(2+3)`
25d0: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 ), call(var("*")
25e0: 2c 69 6e 74 6c 28 31 29 2c 63 61 6c 6c 28 76 61 ,intl(1),call(va
25f0: 72 28 22 2b 22 29 2c 69 6e 74 6c 28 32 29 2c 69 r("+"),intl(2),i
2600: 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 09 61 73 73 ntl(3))));...ass
2610: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
2620: 6e 67 28 60 31 2a 32 2b 33 60 29 2c 20 63 61 6c ng(`1*2+3`), cal
2630: 6c 28 76 61 72 28 22 2b 22 29 2c 63 61 6c 6c 28 l(var("+"),call(
2640: 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c 28 31 29 var("*"),intl(1)
2650: 2c 69 6e 74 6c 28 32 29 29 2c 69 6e 74 6c 28 33 ,intl(2)),intl(3
2660: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
2670: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 40 78 (parseString(`@x
2680: 28 31 29 60 29 2c 20 6c 61 79 28 22 40 78 22 2c (1)`), lay("@x",
2690: 20 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 intl(1)));...as
26a0: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
26b0: 69 6e 67 28 60 66 75 6e 28 78 20 40 76 20 40 74 ing(`fun(x @v @t
26c0: 2c 20 79 2c 20 7a 20 40 74 29 7b 7d 60 29 2c 0d , y, z @t){}`),.
26d0: 0a 09 09 66 75 6e 70 28 5b 70 61 72 61 6d 28 22 ...funp([param("
26e0: 78 22 2c 5b 22 40 76 22 2c 22 40 74 22 5d 29 2c x",["@v","@t"]),
26f0: 20 70 61 72 61 6d 28 22 79 22 2c 5b 5d 29 2c 20 param("y",[]),
2700: 70 61 72 61 6d 28 22 7a 22 2c 5b 22 40 74 22 5d param("z",["@t"]
2710: 29 5d 2c 20 69 6e 74 6c 28 31 37 38 29 29 29 3b )], intl(178)));
2720: 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 .....assert_eq(p
2730: 61 72 73 65 53 74 72 69 6e 67 28 60 0d 0a 09 09 arseString(`....
2740: 6c 65 74 20 78 20 3d 20 31 30 30 3b 20 23 63 6f let x = 100; #co
2750: 6d 6d 65 6e 74 0d 0a 09 09 6c 65 74 20 79 20 3d mment....let y =
2760: 20 32 30 30 3b 20 23 63 6f 6d 6d 65 6e 74 21 21 200; #comment!!
2770: 21 21 21 0d 0a 09 09 09 78 2b 79 0d 0a 09 60 29 !!!.....x+y...`)
2780: 2c 0d 0a 09 09 6c 65 74 28 22 78 22 2c 20 22 22 ,....let("x", ""
2790: 2c 20 69 6e 74 6c 28 31 30 30 29 2c 20 6c 65 74 , intl(100), let
27a0: 28 22 79 22 2c 20 22 22 2c 20 69 6e 74 6c 28 32 ("y", "", intl(2
27b0: 30 30 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b 00), call(var("+
27c0: 22 29 2c 20 76 61 72 28 22 78 22 29 2c 20 76 61 "), var("x"), va
27d0: 72 28 22 79 22 29 29 29 29 0d 0a 09 29 3b 0d 0a r("y"))))...);..
27e0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
27f0: 73 65 53 74 72 69 6e 67 28 60 0d 0a 09 09 76 61 seString(`....va
2800: 72 20 66 61 63 20 3d 20 66 75 6e 28 78 29 7b 20 r fac = fun(x){
2810: 69 66 28 78 20 3c 3d 20 31 29 20 7b 31 7d 20 65 if(x <= 1) {1} e
2820: 6c 73 65 20 7b 78 2a 66 61 63 28 78 2d 31 29 7d lse {x*fac(x-1)}
2830: 20 7d 3b 0d 0a 09 09 66 61 63 28 31 30 29 0d 0a };....fac(10)..
2840: 09 60 29 2c 0d 0a 09 09 6c 65 74 28 22 66 61 63 .`),....let("fac
2850: 22 2c 20 22 22 2c 20 66 75 6e 28 5b 22 78 22 5d ", "", fun(["x"]
2860: 2c 0d 0a 09 09 09 63 61 6c 6c 28 76 61 72 28 22 ,.....call(var("
2870: 69 66 22 29 2c 0d 0a 09 09 09 09 63 61 6c 6c 28 if"),......call(
2880: 76 61 72 28 22 3c 3d 22 29 2c 20 76 61 72 28 22 var("<="), var("
2890: 78 22 29 2c 20 69 6e 74 6c 28 31 29 29 2c 0d 0a x"), intl(1)),..
28a0: 09 09 09 09 66 75 6e 28 5b 5d 2c 20 69 6e 74 6c ....fun([], intl
28b0: 28 31 29 29 2c 0d 0a 09 09 09 09 66 75 6e 28 5b (1)),......fun([
28c0: 5d 2c 20 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 ], call(var("*")
28d0: 2c 20 76 61 72 28 22 78 22 29 2c 20 63 61 6c 6c , var("x"), call
28e0: 28 76 61 72 28 22 66 61 63 22 29 2c 63 61 6c 6c (var("fac"),call
28f0: 28 76 61 72 28 22 2d 22 29 2c 76 61 72 28 22 78 (var("-"),var("x
2900: 22 29 2c 69 6e 74 6c 28 31 29 29 29 29 29 0d 0a "),intl(1)))))..
2910: 09 09 09 29 29 2c 0d 0a 09 09 09 63 61 6c 6c 28 ...)),.....call(
2920: 76 61 72 28 22 66 61 63 22 29 2c 69 6e 74 6c 28 var("fac"),intl(
2930: 31 30 29 29 0d 0a 09 09 29 0d 0a 09 29 3b 0d 0a 10))....)...);..
2940: 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b }....unittest..{
2950: 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 ...assert_throw!
2960: 55 6e 65 78 70 65 63 74 65 64 45 4f 46 28 70 61 UnexpectedEOF(pa
2970: 72 73 65 53 74 72 69 6e 67 28 60 31 2b 60 29 29 rseString(`1+`))
2980: 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 ;...assert_throw
2990: 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 !ParseException(
29a0: 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2b 32 parseString(`1+2
29b0: 7d 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 }`));...assert_t
29c0: 68 72 6f 77 21 55 6e 65 78 70 65 63 74 65 64 45 hrow!UnexpectedE
29d0: 4f 46 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 OF(parseString(`
29e0: 6c 65 74 20 22 78 22 60 29 29 3b 0d 0a 09 61 73 let "x"`));...as
29f0: 73 65 72 74 5f 74 68 72 6f 77 21 55 6e 65 78 70 sert_throw!Unexp
2a00: 65 63 74 65 64 45 4f 46 28 70 61 72 73 65 53 74 ectedEOF(parseSt
2a10: 72 69 6e 67 28 60 76 61 72 60 29 29 3b 0d 0a 09 ring(`var`));...
2a20: 61 73 73 65 72 74 5f 74 68 72 6f 77 21 50 61 72 assert_throw!Par
2a30: 73 65 45 78 63 65 70 74 69 6f 6e 28 70 61 72 73 seException(pars
2a40: 65 53 74 72 69 6e 67 28 60 40 76 61 6c 20 78 20 eString(`@val x
2a50: 3d 3d 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f ==`));...assert_
2a60: 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 70 throw!ParseExcep
2a70: 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e 67 tion(parseString
2a80: 28 60 69 66 28 29 7b 31 7d 60 29 29 3b 0d 0a 09 (`if(){1}`));...
2a90: 61 73 73 65 72 74 5f 74 68 72 6f 77 21 55 6e 65 assert_throw!Une
2aa0: 78 70 65 63 74 65 64 45 4f 46 28 70 61 72 73 65 xpectedEOF(parse
2ab0: 53 74 72 69 6e 67 28 60 66 28 60 29 29 3b 0d 0a String(`f(`));..
2ac0: 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b }....unittest..{
2ad0: 0d 0a 09 6d 69 78 69 6e 20 45 61 73 79 41 53 54 ...mixin EasyAST
2ae0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
2af0: 72 73 65 53 74 72 69 6e 67 28 60 64 65 66 20 66 rseString(`def f
2b00: 6f 6f 28 78 29 20 7b 20 78 2b 31 20 7d 3b 20 66 oo(x) { x+1 }; f
2b10: 6f 6f 60 29 2c 0d 0a 09 09 6c 65 74 28 22 66 6f oo`),....let("fo
2b20: 6f 22 2c 20 22 22 2c 0d 0a 09 09 09 66 75 6e 28 o", "",.....fun(
2b30: 5b 22 78 22 5d 2c 20 63 61 6c 6c 28 76 61 72 28 ["x"], call(var(
2b40: 22 2b 22 29 2c 20 76 61 72 28 22 78 22 29 2c 20 "+"), var("x"),
2b50: 69 6e 74 6c 28 31 29 29 29 2c 0d 0a 09 09 09 76 intl(1))),.....v
2b60: 61 72 28 22 66 6f 6f 22 29 29 0d 0a 09 29 3b 0d ar("foo"))...);.
2b70: 0a 7d 0d 0a .}..