0000: 2f 2a 2a 0d 0a 20 2a 20 41 75 74 68 6f 72 73 3a /**.. * Authors:
0010: 20 6b 2e 69 6e 61 62 61 0d 0a 20 2a 20 4c 69 63 k.inaba.. * Lic
0020: 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38 ense: NYSL 0.998
0030: 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 2 http://www.kmo
0040: 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0d 0a 20 nos.net/nysl/..
0050: 2a 0d 0a 20 2a 20 50 61 72 73 65 72 20 66 6f 72 *.. * Parser for
0060: 20 50 6f 6c 65 6d 79 20 70 72 6f 67 72 61 6d 6d Polemy programm
0070: 69 6e 67 20 6c 61 6e 67 75 61 67 65 0d 0a 20 2a ing language.. *
0080: 2f 0d 0a 6d 6f 64 75 6c 65 20 70 6f 6c 65 6d 79 /..module polemy
0090: 2e 70 61 72 73 65 3b 0d 0a 69 6d 70 6f 72 74 20 .parse;..import
00a0: 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f 6e 3b 0d polemy._common;.
00b0: 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 66 .import polemy.f
00c0: 61 69 6c 75 72 65 3b 0d 0a 69 6d 70 6f 72 74 20 ailure;..import
00d0: 70 6f 6c 65 6d 79 2e 6c 65 78 3b 0d 0a 69 6d 70 polemy.lex;..imp
00e0: 6f 72 74 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0d ort polemy.ast;.
00f0: 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 6c .import polemy.l
0100: 61 79 65 72 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f ayer;..import po
0110: 6c 65 6d 79 2e 66 72 65 73 68 3b 0a 0d 0a 2f 2f lemy.fresh;...//
0120: 2f 20 50 61 72 73 65 20 61 20 73 74 72 69 6e 67 / Parse a string
0130: 20 61 6e 64 20 72 65 74 75 72 6e 20 69 74 73 20 and return its
0140: 41 53 54 0d 0a 0d 0a 41 53 54 20 70 61 72 73 65 AST....AST parse
0150: 53 74 72 69 6e 67 28 53 2c 20 54 2e 2e 2e 29 28 String(S, T...)(
0160: 53 20 73 74 72 2c 20 54 20 66 6e 5f 6c 6e 5f 63 S str, T fn_ln_c
0170: 6e 29 0d 0a 7b 0d 0a 09 72 65 74 75 72 6e 20 70 n)..{...return p
0180: 61 72 73 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 arserFromString(
0190: 73 74 72 2c 20 66 6e 5f 6c 6e 5f 63 6e 29 2e 70 str, fn_ln_cn).p
01a0: 61 72 73 65 28 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f arse();..}....//
01b0: 2f 20 50 61 72 73 65 20 74 68 65 20 63 6f 6e 74 / Parse the cont
01c0: 65 6e 74 20 6f 66 20 61 20 66 69 6c 65 20 61 6e ent of a file an
01d0: 64 20 72 65 74 75 72 6e 20 69 74 73 20 41 53 54 d return its AST
01e0: 0d 0a 0d 0a 41 53 54 20 70 61 72 73 65 46 69 6c ....AST parseFil
01f0: 65 28 53 2c 20 54 2e 2e 2e 29 28 53 20 66 69 6c e(S, T...)(S fil
0200: 65 6e 61 6d 65 2c 20 54 20 6c 6e 5f 63 6e 29 0d ename, T ln_cn).
0210: 0a 7b 0d 0a 09 72 65 74 75 72 6e 20 70 61 72 73 .{...return pars
0220: 65 72 46 72 6f 6d 46 69 6c 65 28 66 69 6c 65 6e erFromFile(filen
0230: 61 6d 65 2c 20 6c 6e 5f 63 6e 29 2e 70 61 72 73 ame, ln_cn).pars
0240: 65 28 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 20 4e 61 e();..}....// Na
0250: 6d 65 64 20 43 6f 6e 73 74 72 75 63 74 6f 72 73 med Constructors
0260: 20 6f 66 20 50 61 72 73 65 72 0d 0a 0d 0a 70 72 of Parser....pr
0270: 69 76 61 74 65 20 61 75 74 6f 20 70 61 72 73 65 ivate auto parse
0280: 72 46 72 6f 6d 4c 65 78 65 72 28 4c 65 78 65 72 rFromLexer(Lexer
0290: 29 28 4c 65 78 65 72 20 6c 65 78 29 0d 0a 09 7b )(Lexer lex)...{
02a0: 20 72 65 74 75 72 6e 20 6e 65 77 20 50 61 72 73 return new Pars
02b0: 65 72 21 4c 65 78 65 72 28 6c 65 78 29 3b 20 7d er!Lexer(lex); }
02c0: 0d 0a 0d 0a 70 72 69 76 61 74 65 20 61 75 74 6f ....private auto
02d0: 20 70 61 72 73 65 72 46 72 6f 6d 53 74 72 69 6e parserFromStrin
02e0: 67 28 54 2e 2e 2e 29 28 54 20 70 61 72 61 6d 73 g(T...)(T params
02f0: 29 0d 0a 09 7b 20 72 65 74 75 72 6e 20 70 61 72 )...{ return par
0300: 73 65 72 46 72 6f 6d 4c 65 78 65 72 28 6c 65 78 serFromLexer(lex
0310: 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 70 61 72 erFromString(par
0320: 61 6d 73 29 29 3b 20 7d 0d 0a 0d 0a 70 72 69 76 ams)); }....priv
0330: 61 74 65 20 61 75 74 6f 20 70 61 72 73 65 72 46 ate auto parserF
0340: 72 6f 6d 46 69 6c 65 28 54 2e 2e 2e 29 28 54 20 romFile(T...)(T
0350: 70 61 72 61 6d 73 29 0d 0a 09 7b 20 72 65 74 75 params)...{ retu
0360: 72 6e 20 70 61 72 73 65 72 46 72 6f 6d 4c 65 78 rn parserFromLex
0370: 65 72 28 6c 65 78 65 72 46 72 6f 6d 46 69 6c 65 er(lexerFromFile
0380: 28 70 61 72 61 6d 73 29 29 3b 20 7d 0d 0a 0d 0a (params)); }....
0390: 2f 2f 20 50 61 72 73 65 72 0d 0a 0d 0a 70 72 69 // Parser....pri
03a0: 76 61 74 65 20 63 6c 61 73 73 20 50 61 72 73 65 vate class Parse
03b0: 72 28 4c 65 78 65 72 29 0d 0a 09 69 66 28 20 69 r(Lexer)...if( i
03c0: 73 46 6f 72 77 61 72 64 52 61 6e 67 65 21 28 4c sForwardRange!(L
03d0: 65 78 65 72 29 20 26 26 20 69 73 28 45 6c 65 6d exer) && is(Elem
03e0: 65 6e 74 54 79 70 65 21 28 4c 65 78 65 72 29 20 entType!(Lexer)
03f0: 3d 3d 20 54 6f 6b 65 6e 29 20 29 0d 0a 7b 0d 0a == Token) )..{..
0400: 09 41 53 54 20 70 61 72 73 65 28 29 0d 0a 09 7b .AST parse()...{
0410: 0d 0a 09 09 61 75 74 6f 20 65 20 3d 20 42 6f 64 ....auto e = Bod
0420: 79 28 29 3b 0d 0a 09 09 69 66 28 20 21 6c 65 78 y();....if( !lex
0430: 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 72 .empty ).....thr
0440: 6f 77 20 67 65 6e 65 78 21 50 61 72 73 65 45 78 ow genex!ParseEx
0450: 63 65 70 74 69 6f 6e 28 63 75 72 72 65 6e 74 50 ception(currentP
0460: 6f 73 69 74 69 6f 6e 28 29 2c 20 22 70 61 72 73 osition(), "pars
0470: 69 6e 67 20 65 6e 64 65 64 20 62 75 74 20 73 6f ing ended but so
0480: 6d 65 20 74 6f 6b 65 6e 73 20 6c 65 66 74 22 29 me tokens left")
0490: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 65 3b 0d 0a ;....return e;..
04a0: 09 7d 0d 0a 0d 0a 09 41 53 54 20 42 6f 64 79 28 .}.....AST Body(
04b0: 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 2f 20 42 6f 64 )...{..../// Bod
04c0: 79 20 3a 3a 3d 20 44 65 63 6c 61 72 61 74 69 6f y ::= Declaratio
04d0: 6e 0d 0a 09 09 2f 2f 2f 20 20 20 20 20 20 20 20 n....///
04e0: 7c 20 54 6f 70 4c 65 76 65 6c 45 78 70 72 65 73 | TopLevelExpres
04f0: 73 69 6f 6e 0d 0a 0d 0a 09 09 69 66 28 20 63 6c sion......if( cl
0500: 6f 73 69 6e 67 42 72 61 63 6b 65 74 28 29 20 29 osingBracket() )
0510: 0d 0a 09 09 09 72 65 74 75 72 6e 20 64 6f 4e 6f .....return doNo
0520: 74 68 69 6e 67 45 78 70 72 65 73 73 69 6f 6e 28 thingExpression(
0530: 29 3b 0d 0a 0d 0a 09 09 61 75 74 6f 20 73 61 76 );......auto sav
0540: 65 64 20 3d 20 6c 65 78 2e 73 61 76 65 3b 0d 0a ed = lex.save;..
0550: 09 09 69 66 28 20 61 75 74 6f 20 65 20 3d 20 44 ..if( auto e = D
0560: 65 63 6c 61 72 61 74 69 6f 6e 28 29 20 29 0d 0a eclaration() )..
0570: 09 09 09 72 65 74 75 72 6e 20 65 3b 0d 0a 09 09 ...return e;....
0580: 6c 65 78 20 3d 20 73 61 76 65 64 3b 0d 0a 09 09 lex = saved;....
0590: 72 65 74 75 72 6e 20 54 6f 70 4c 65 76 65 6c 45 return TopLevelE
05a0: 78 70 72 65 73 73 69 6f 6e 28 29 3b 0d 0a 09 7d xpression();...}
05b0: 0d 0a 0d 0a 09 41 53 54 20 44 65 63 6c 61 72 61 .....AST Declara
05c0: 74 69 6f 6e 28 29 20 2f 2f 20 72 65 74 75 72 6e tion() // return
05d0: 73 20 6e 75 6c 6c 20 69 66 20 69 74 20 69 73 20 s null if it is
05e0: 6e 6f 74 20 61 20 64 65 63 6c 61 72 61 74 69 6f not a declaratio
05f0: 6e 0d 0a 09 7b 0d 0a 09 09 2f 2f 2f 20 44 65 63 n...{..../// Dec
0600: 6c 61 72 61 74 69 6f 6e 20 3a 3a 3d 0d 0a 09 09 laration ::=....
0610: 2f 2f 2f 20 20 20 20 5b 22 40 22 20 4c 61 79 65 /// ["@" Laye
0620: 72 7c 22 6c 65 74 22 7c 22 76 61 72 22 7c 22 64 r|"let"|"var"|"d
0630: 65 66 22 5d 20 56 61 72 20 22 3d 22 20 45 78 70 ef"] Var "=" Exp
0640: 72 65 73 73 69 6f 6e 20 28 5b 22 3b 22 7c 22 69 ression ([";"|"i
0650: 6e 22 5d 20 42 6f 64 79 3f 29 3f 0d 0a 09 09 2f n"] Body?)?..../
0660: 2f 2f 20 20 7c 20 5b 22 40 22 20 4c 61 79 65 72 // | ["@" Layer
0670: 7c 22 6c 65 74 22 7c 22 76 61 72 22 7c 22 64 65 |"let"|"var"|"de
0680: 66 22 5d 20 56 61 72 20 22 28 22 20 50 61 72 61 f"] Var "(" Para
0690: 6d 25 22 2c 22 20 22 29 22 20 22 7b 22 20 42 6f m%"," ")" "{" Bo
06a0: 64 79 20 22 7d 22 20 28 5b 22 3b 22 7c 22 69 6e dy "}" ([";"|"in
06b0: 22 5d 20 42 6f 64 79 3f 29 3f 0d 0a 09 09 2f 2f "] Body?)?....//
06c0: 2f 20 20 7c 20 5b 22 40 22 20 22 40 22 20 4c 61 / | ["@" "@" La
06d0: 79 65 72 20 22 3d 22 20 45 78 70 72 65 73 73 69 yer "=" Expressi
06e0: 6f 6e 20 28 5b 22 3b 22 7c 22 69 6e 22 5d 20 42 on ([";"|"in"] B
06f0: 6f 64 79 3f 29 3f 0d 0a 09 09 2f 2f 2f 20 20 7c ody?)?..../// |
0700: 20 5b 22 40 22 20 22 40 22 20 4c 61 79 65 72 20 ["@" "@" Layer
0710: 22 28 22 20 50 61 72 61 6d 25 22 2c 22 20 22 29 "(" Param%"," ")
0720: 22 20 22 7b 22 20 42 6f 64 79 20 22 7d 22 20 28 " "{" Body "}" (
0730: 5b 22 3b 22 7c 22 69 6e 22 5d 20 42 6f 64 79 3f [";"|"in"] Body?
0740: 29 3f 0d 0a 0d 0a 09 09 61 75 74 6f 20 70 6f 73 )?......auto pos
0750: 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 = currentPositi
0760: 6f 6e 28 29 3b 0d 0a 09 09 4c 61 79 65 72 20 6c on();....Layer l
0770: 61 79 65 72 20 3d 20 22 22 3b 0d 0a 09 09 62 6f ayer = "";....bo
0780: 6f 6c 20 6c 61 79 65 72 4c 69 66 74 44 65 63 6c ol layerLiftDecl
0790: 20 3d 20 66 61 6c 73 65 3b 0d 0a 0d 0a 09 09 69 = false;......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 6c oted);.....if( l
07f0: 61 79 65 72 20 3d 3d 20 22 40 40 22 20 29 0d 0a ayer == "@@" )..
0800: 09 09 09 7b 0d 0a 09 09 09 09 6c 61 79 65 72 20 ...{......layer
0810: 3d 20 22 40 22 20 7e 20 65 61 74 49 64 28 22 61 = "@" ~ eatId("a
0820: 66 74 65 72 20 40 40 22 2c 20 41 6c 6c 6f 77 51 fter @@", AllowQ
0830: 75 6f 74 65 64 29 3b 0d 0a 09 09 09 09 6c 61 79 uoted);......lay
0840: 65 72 4c 69 66 74 44 65 63 6c 20 3d 20 74 72 75 erLiftDecl = tru
0850: 65 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 65 6c 73 e;.....}.....els
0860: 65 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 69 66 28 e.....{......if(
0870: 20 74 72 79 45 61 74 28 22 28 22 29 20 29 0d 0a tryEat("(") )..
0880: 09 09 09 09 09 72 65 74 75 72 6e 20 6e 75 6c 6c .....return null
0890: 3b 20 2f 2f 20 40 6c 61 79 28 2e 2e 2e 29 20 65 ; // @lay(...) e
08a0: 78 70 72 65 73 73 69 6f 6e 2c 20 6e 6f 74 20 61 xpression, not a
08b0: 20 64 65 63 6c 61 72 61 74 69 6f 6e 0d 0a 09 09 declaration....
08c0: 09 7d 0d 0a 09 09 7d 0d 0a 0d 0a 09 09 2f 2f 20 .}....}......//
08d0: 5b 54 4f 44 4f 5d 20 52 65 66 61 63 74 6f 72 0d [TODO] Refactor.
08e0: 0a 09 09 69 66 28 20 6c 61 79 65 72 4c 69 66 74 ...if( layerLift
08f0: 44 65 63 6c 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 Decl )....{.....
0900: 73 74 72 69 6e 67 20 6b 77 64 20 3d 20 22 40 22 string kwd = "@"
0910: 20 7e 20 6c 61 79 65 72 3b 0d 0a 09 09 09 73 74 ~ layer;.....st
0920: 72 69 6e 67 20 76 61 72 20 3d 20 6c 61 79 65 72 ring var = layer
0930: 3b 0d 0a 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d ;.......auto e =
0940: 20 74 72 79 45 61 74 28 22 28 22 29 0d 0a 09 09 tryEat("(")....
0950: 09 09 3f 20 70 61 72 73 65 4c 61 6d 62 64 61 41 ..? parseLambdaA
0960: 66 74 65 72 4f 70 65 6e 50 61 72 65 6e 28 70 6f fterOpenParen(po
0970: 73 29 20 20 2f 2f 20 6c 65 74 20 76 61 72 20 28 s) // let var (
0980: 20 2e 2e 2e 0d 0a 09 09 09 09 3a 20 28 65 61 74 .........: (eat
0990: 28 22 3d 22 2c 20 22 61 66 74 65 72 20 22 7e 6b ("=", "after "~k
09a0: 77 64 29 2c 20 45 28 30 29 29 3b 20 2f 2f 20 6c wd), E(0)); // l
09b0: 65 74 20 76 61 72 20 3d 20 2e 2e 2e 0d 0a 09 09 et var = .......
09c0: 09 69 66 28 20 6d 6f 72 65 44 65 63 6c 61 72 61 .if( moreDeclara
09d0: 74 69 6f 6e 45 78 69 73 74 73 28 29 20 29 0d 0a tionExists() )..
09e0: 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c ....return new L
09f0: 65 74 28 70 6f 73 2c 20 76 61 72 2c 20 53 79 73 et(pos, var, Sys
0a00: 74 65 6d 4c 61 79 65 72 2c 20 65 2c 20 42 6f 64 temLayer, e, Bod
0a10: 79 28 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a y());.....else..
0a20: 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c ....return new L
0a30: 65 74 28 70 6f 73 2c 20 76 61 72 2c 20 53 79 73 et(pos, var, Sys
0a40: 74 65 6d 4c 61 79 65 72 2c 20 65 2c 0d 0a 09 09 temLayer, e,....
0a50: 09 09 09 6e 65 77 20 4c 61 79 28 70 6f 73 2c 20 ...new Lay(pos,
0a60: 53 79 73 74 65 6d 4c 61 79 65 72 2c 20 6e 65 77 SystemLayer, new
0a70: 20 56 61 72 28 70 6f 73 2c 20 76 61 72 29 29 0d Var(pos, var)).
0a80: 0a 09 09 09 09 29 3b 0d 0a 09 09 7d 0d 0a 09 09 .....);....}....
0a90: 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 73 74 else....{.....st
0aa0: 72 69 6e 67 20 6b 77 64 20 3d 20 6c 61 79 65 72 ring kwd = layer
0ab0: 3b 0d 0a 09 09 09 69 66 28 20 6c 61 79 65 72 2e ;.....if( layer.
0ac0: 65 6d 70 74 79 20 26 26 20 21 74 72 79 45 61 74 empty && !tryEat
0ad0: 28 6b 77 64 3d 22 6c 65 74 22 29 20 26 26 20 21 (kwd="let") && !
0ae0: 74 72 79 45 61 74 28 6b 77 64 3d 22 76 61 72 22 tryEat(kwd="var"
0af0: 29 20 26 26 20 21 74 72 79 45 61 74 28 6b 77 64 ) && !tryEat(kwd
0b00: 3d 22 64 65 66 22 29 20 29 0d 0a 09 09 09 09 72 ="def") )......r
0b10: 65 74 75 72 6e 20 6e 75 6c 6c 3b 20 2f 2f 20 6e eturn null; // n
0b20: 6f 6e 65 20 6f 66 20 7b 40 6c 61 79 2c 20 6c 65 one of {@lay, le
0b30: 74 2c 20 76 61 72 2c 20 64 65 66 7d 20 6f 63 63 t, var, def} occ
0b40: 75 72 72 65 64 2c 20 69 74 27 73 20 6e 6f 74 20 urred, it's not
0b50: 61 20 64 65 63 6c 61 72 61 74 69 6f 6e 0d 0a 0d a declaration...
0b60: 0a 09 09 09 61 75 74 6f 20 76 61 72 70 6f 73 20 ....auto varpos
0b70: 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f = currentPositio
0b80: 6e 28 29 3b 0d 0a 09 09 09 73 74 72 69 6e 67 20 n();.....string
0b90: 76 61 72 20 3d 20 65 61 74 49 64 28 22 61 66 74 var = eatId("aft
0ba0: 65 72 20 22 7e 6b 77 64 2c 20 41 6c 6c 6f 77 51 er "~kwd, AllowQ
0bb0: 75 6f 74 65 64 29 3b 20 2f 2f 20 6e 61 6d 65 20 uoted); // name
0bc0: 6f 66 20 74 68 65 20 64 65 63 6c 61 72 65 64 20 of the declared
0bd0: 76 61 72 69 61 62 6c 65 0d 0a 0d 0a 09 09 09 61 variable.......a
0be0: 75 74 6f 20 65 20 3d 20 74 72 79 45 61 74 28 22 uto e = tryEat("
0bf0: 28 22 29 0d 0a 09 09 09 09 3f 20 70 61 72 73 65 (")......? parse
0c00: 4c 61 6d 62 64 61 41 66 74 65 72 4f 70 65 6e 50 LambdaAfterOpenP
0c10: 61 72 65 6e 28 76 61 72 70 6f 73 29 20 20 2f 2f aren(varpos) //
0c20: 20 6c 65 74 20 76 61 72 20 28 20 2e 2e 2e 0d 0a let var ( .....
0c30: 09 09 09 09 3a 20 28 65 61 74 28 22 3d 22 2c 20 ....: (eat("=",
0c40: 22 61 66 74 65 72 20 22 7e 6b 77 64 29 2c 20 45 "after "~kwd), E
0c50: 28 30 29 29 3b 20 20 20 20 2f 2f 20 6c 65 74 20 (0)); // let
0c60: 76 61 72 20 3d 20 2e 2e 2e 0d 0a 09 09 09 69 66 var = ........if
0c70: 28 20 6d 6f 72 65 44 65 63 6c 61 72 61 74 69 6f ( moreDeclaratio
0c80: 6e 45 78 69 73 74 73 28 29 20 29 0d 0a 09 09 09 nExists() ).....
0c90: 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 28 .return new Let(
0ca0: 70 6f 73 2c 20 76 61 72 2c 20 6c 61 79 65 72 2c pos, var, layer,
0cb0: 20 65 2c 20 42 6f 64 79 28 29 29 3b 0d 0a 09 09 e, Body());....
0cc0: 09 65 6c 73 65 0d 0a 09 09 09 09 72 65 74 75 72 .else......retur
0cd0: 6e 20 6e 65 77 20 4c 65 74 28 70 6f 73 2c 20 76 n new Let(pos, v
0ce0: 61 72 2c 20 6c 61 79 65 72 2c 20 65 2c 20 6e 65 ar, layer, e, ne
0cf0: 77 20 56 61 72 28 76 61 72 70 6f 73 2c 20 76 61 w Var(varpos, va
0d00: 72 29 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d r));....}...}...
0d10: 0a 09 41 53 54 20 54 6f 70 4c 65 76 65 6c 45 78 ..AST TopLevelEx
0d20: 70 72 65 73 73 69 6f 6e 28 29 0d 0a 09 7b 0d 0a pression()...{..
0d30: 09 09 2f 2f 2f 20 54 6f 70 4c 65 76 65 6c 45 78 ../// TopLevelEx
0d40: 70 72 65 73 73 69 6f 6e 20 3a 3a 3d 20 45 78 70 pression ::= Exp
0d50: 72 65 73 73 69 6f 6e 20 28 5b 22 3b 22 7c 22 69 ression ([";"|"i
0d60: 6e 22 5d 20 42 6f 64 79 3f 29 3f 0d 0a 0d 0a 09 n"] Body?)?.....
0d70: 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 .auto pos = curr
0d80: 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a entPosition();..
0d90: 09 09 61 75 74 6f 20 65 20 3d 20 45 28 30 29 3b ..auto e = E(0);
0da0: 0d 0a 09 09 69 66 28 20 6d 6f 72 65 44 65 63 6c ....if( moreDecl
0db0: 61 72 61 74 69 6f 6e 45 78 69 73 74 73 28 29 20 arationExists()
0dc0: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 ).....return new
0dd0: 20 4c 65 74 28 70 6f 73 2c 20 22 5f 22 2c 20 22 Let(pos, "_", "
0de0: 22 2c 20 65 2c 20 42 6f 64 79 28 29 29 3b 0d 0a ", e, Body());..
0df0: 09 09 65 6c 73 65 0d 0a 09 09 09 72 65 74 75 72 ..else.....retur
0e00: 6e 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 70 72 69 n e;...}.....pri
0e10: 76 61 74 65 20 62 6f 6f 6c 20 6d 6f 72 65 44 65 vate bool moreDe
0e20: 63 6c 61 72 61 74 69 6f 6e 45 78 69 73 74 73 28 clarationExists(
0e30: 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 )...{....return
0e40: 28 74 72 79 45 61 74 28 22 3b 22 29 20 7c 7c 20 (tryEat(";") ||
0e50: 74 72 79 45 61 74 28 22 69 6e 22 29 29 20 26 26 tryEat("in")) &&
0e60: 20 21 63 6c 6f 73 69 6e 67 42 72 61 63 6b 65 74 !closingBracket
0e70: 28 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 70 72 69 76 ();...}.....priv
0e80: 61 74 65 20 62 6f 6f 6c 20 63 6c 6f 73 69 6e 67 ate bool closing
0e90: 42 72 61 63 6b 65 74 28 29 0d 0a 09 7b 0d 0a 09 Bracket()...{...
0ea0: 09 72 65 74 75 72 6e 20 6c 65 78 2e 65 6d 70 74 .return lex.empt
0eb0: 79 20 7c 7c 20 21 6c 65 78 2e 66 72 6f 6e 74 2e y || !lex.front.
0ec0: 71 75 6f 74 65 64 20 26 26 20 5b 22 7d 22 2c 22 quoted && ["}","
0ed0: 29 22 2c 22 5d 22 2c 22 2c 22 5d 2e 63 61 6e 46 )","]",","].canF
0ee0: 69 6e 64 28 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 ind(lex.front.st
0ef0: 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 20 5b r);...}.....// [
0f00: 54 4f 44 4f 5d 20 6d 61 6b 65 20 74 68 69 73 20 TODO] make this
0f10: 63 75 73 74 6f 6d 69 7a 61 62 6c 65 20 66 72 6f customizable fro
0f20: 6d 20 70 72 6f 67 72 61 6d 0d 0a 09 70 72 69 76 m program...priv
0f30: 61 74 65 20 73 74 61 74 69 63 20 73 74 72 69 6e ate static strin
0f40: 67 5b 5d 5b 5d 20 6f 70 65 72 61 74 6f 72 5f 70 g[][] operator_p
0f50: 65 72 66 65 72 65 6e 63 65 73 20 3d 20 5b 0d 0a erferences = [..
0f60: 09 09 5b 22 7c 7c 22 5d 2c 0d 0a 09 09 5b 22 26 ..["||"],....["&
0f70: 26 22 5d 2c 0d 0a 09 09 5b 22 21 3d 22 5d 2c 0d &"],....["!="],.
0f80: 0a 09 09 5b 22 3d 3d 22 5d 2c 0d 0a 09 09 5b 22 ...["=="],....["
0f90: 3c 22 2c 22 3c 3d 22 2c 22 3e 22 2c 22 3e 3d 22 <","<=",">",">="
0fa0: 5d 2c 0d 0a 09 09 5b 22 7c 22 5d 2c 0d 0a 09 09 ],....["|"],....
0fb0: 5b 22 5e 22 5d 2c 0d 0a 09 09 5b 22 26 22 5d 2c ["^"],....["&"],
0fc0: 0d 0a 09 09 5b 22 3c 3c 22 2c 20 22 3e 3e 22 5d ....["<<", ">>"]
0fd0: 2c 0d 0a 09 09 5b 22 2b 22 2c 22 2d 22 5d 2c 0d ,....["+","-"],.
0fe0: 0a 09 09 5b 22 7e 22 5d 2c 0d 0a 09 09 5b 22 2a ...["~"],....["*
0ff0: 22 2c 22 2f 22 2c 22 25 22 5d 2c 0d 0a 09 09 5b ","/","%"],....[
1000: 22 5e 5e 22 2c 22 2a 2a 22 5d 2c 0d 0a 09 09 5b "^^","**"],....[
1010: 22 2e 22 2c 22 2e 3f 22 5d 0d 0a 09 5d 3b 0d 0a ".",".?"]...];..
1020: 0d 0a 09 41 53 54 20 45 28 73 69 7a 65 5f 74 20 ...AST E(size_t
1030: 6c 65 76 65 6c 29 0d 0a 09 7b 0d 0a 09 09 2f 2f level)...{....//
1040: 2f 20 45 78 70 72 65 73 73 69 6f 6e 20 3a 3a 3d / Expression ::=
1050: 20 28 42 69 6e 61 72 79 20 6c 65 66 74 2d 61 73 (Binary left-as
1060: 73 6f 63 69 61 74 69 76 65 20 6f 70 65 72 61 74 sociative operat
1070: 6f 72 73 20 6f 76 65 72 29 20 46 75 6e 63 61 6c ors over) Funcal
1080: 6c 0d 0a 0d 0a 09 09 41 53 54 20 72 65 63 28 41 l......AST rec(A
1090: 53 54 20 6c 68 73 29 0d 0a 09 09 7b 0d 0a 09 09 ST lhs)....{....
10a0: 09 69 66 28 20 63 6c 6f 73 69 6e 67 42 72 61 63 .if( closingBrac
10b0: 6b 65 74 28 29 20 29 0d 0a 09 09 09 09 72 65 74 ket() )......ret
10c0: 75 72 6e 20 6c 68 73 3b 0d 0a 0d 0a 09 09 09 61 urn lhs;.......a
10d0: 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e uto pos = curren
10e0: 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 tPosition();....
10f0: 09 66 6f 72 65 61 63 68 28 6f 70 3b 20 6f 70 65 .foreach(op; ope
1100: 72 61 74 6f 72 5f 70 65 72 66 65 72 65 6e 63 65 rator_perference
1110: 73 5b 6c 65 76 65 6c 5d 29 0d 0a 09 09 09 09 69 s[level])......i
1120: 66 28 20 74 72 79 45 61 74 28 6f 70 29 20 29 0d f( tryEat(op) ).
1130: 0a 09 09 09 09 09 69 66 28 20 6f 70 5b 30 5d 3d ......if( op[0]=
1140: 3d 27 2e 27 20 29 0d 0a 09 09 09 09 09 09 72 65 ='.' )........re
1150: 74 75 72 6e 20 72 65 63 28 0d 0a 09 09 09 09 09 turn rec(.......
1160: 09 09 6e 65 77 20 41 70 70 28 6c 68 73 2e 70 6f ..new App(lhs.po
1170: 73 2c 20 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 s, new Var(pos,
1180: 6f 70 29 2c 20 6c 68 73 2c 20 70 61 72 73 65 49 op), lhs, parseI
1190: 64 28 29 29 29 3b 0d 0a 09 09 09 09 09 65 6c 73 d()));.......els
11a0: 65 0d 0a 09 09 09 09 09 09 72 65 74 75 72 6e 20 e........return
11b0: 72 65 63 28 0d 0a 09 09 09 09 09 09 09 6e 65 77 rec(.........new
11c0: 20 41 70 70 28 6c 68 73 2e 70 6f 73 2c 20 6e 65 App(lhs.pos, ne
11d0: 77 20 56 61 72 28 70 6f 73 2c 20 6f 70 29 2c 20 w Var(pos, op),
11e0: 6c 68 73 2c 20 45 28 6c 65 76 65 6c 2b 31 29 29 lhs, E(level+1))
11f0: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6c 68 );.....return lh
1200: 73 3b 0d 0a 09 09 7d 0d 0a 0d 0a 09 09 69 66 28 s;....}......if(
1210: 20 6f 70 65 72 61 74 6f 72 5f 70 65 72 66 65 72 operator_perfer
1220: 65 6e 63 65 73 2e 6c 65 6e 67 74 68 20 3c 3d 20 ences.length <=
1230: 6c 65 76 65 6c 20 29 0d 0a 09 09 09 72 65 74 75 level ).....retu
1240: 72 6e 20 46 75 6e 63 61 6c 6c 28 29 3b 0d 0a 09 rn Funcall();...
1250: 09 65 6c 73 65 0d 0a 09 09 09 72 65 74 75 72 6e .else.....return
1260: 20 72 65 63 28 45 28 6c 65 76 65 6c 2b 31 29 29 rec(E(level+1))
1270: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 46 75 ;...}.....AST Fu
1280: 6e 63 61 6c 6c 28 29 0d 0a 09 7b 0d 0a 09 09 2f ncall()...{..../
1290: 2f 2f 20 46 75 6e 63 61 6c 6c 20 3a 3a 3d 20 42 // Funcall ::= B
12a0: 61 73 65 45 78 70 72 65 73 73 69 6f 6e 20 5b 22 aseExpression ["
12b0: 28 22 20 45 78 70 72 65 73 73 69 6f 6e 25 22 2c (" Expression%",
12c0: 22 20 22 29 22 5d 2a 0d 0a 0d 0a 09 09 61 75 74 " ")"]*......aut
12d0: 6f 20 65 20 3d 20 42 61 73 65 45 78 70 72 65 73 o e = BaseExpres
12e0: 73 69 6f 6e 28 29 3b 0d 0a 09 09 66 6f 72 28 3b sion();....for(;
12f0: 3b 29 0d 0a 09 09 09 69 66 28 20 74 72 79 45 61 ;).....if( tryEa
1300: 74 28 22 28 22 29 20 29 0d 0a 09 09 09 7b 0d 0a t("(") ).....{..
1310: 09 09 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 ....auto pos = c
1320: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 urrentPosition()
1330: 3b 0d 0a 09 09 09 09 41 53 54 5b 5d 20 61 72 67 ;......AST[] arg
1340: 73 3b 0d 0a 09 09 09 09 77 68 69 6c 65 28 20 21 s;......while( !
1350: 74 72 79 45 61 74 28 22 29 22 29 20 29 20 7b 0d tryEat(")") ) {.
1360: 0a 09 09 09 09 09 69 66 28 20 6c 65 78 2e 65 6d ......if( lex.em
1370: 70 74 79 20 29 0d 0a 09 09 09 09 09 09 74 68 72 pty )........thr
1380: 6f 77 20 67 65 6e 65 78 21 55 6e 65 78 70 65 63 ow genex!Unexpec
1390: 74 65 64 45 4f 46 28 70 6f 73 2c 20 22 63 6c 6f tedEOF(pos, "clo
13a0: 73 69 6e 67 20 27 29 27 20 66 6f 72 20 61 72 67 sing ')' for arg
13b0: 75 6d 65 6e 74 73 20 6e 6f 74 20 66 6f 75 6e 64 uments not found
13c0: 22 29 3b 0d 0a 09 09 09 09 09 61 72 67 73 20 7e ");.......args ~
13d0: 3d 20 45 28 30 29 3b 0d 0a 09 09 09 09 09 69 66 = E(0);.......if
13e0: 28 20 21 74 72 79 45 61 74 28 22 2c 22 29 20 29 ( !tryEat(",") )
13f0: 20 7b 0d 0a 09 09 09 09 09 09 65 61 74 28 22 29 {........eat(")
1400: 22 2c 20 22 61 66 74 65 72 20 66 75 6e 63 74 69 ", "after functi
1410: 6f 6e 20 70 61 72 61 6d 65 74 65 72 73 22 29 3b on parameters");
1420: 0d 0a 09 09 09 09 09 09 62 72 65 61 6b 3b 0d 0a ........break;..
1430: 09 09 09 09 09 7d 0d 0a 09 09 09 09 7d 0d 0a 09 .....}......}...
1440: 09 09 09 65 20 3d 20 6e 65 77 20 41 70 70 28 65 ...e = new App(e
1450: 2e 70 6f 73 2c 20 65 2c 20 61 72 67 73 29 3b 0d .pos, e, args);.
1460: 0a 09 09 09 7d 0d 0a 09 09 09 65 6c 73 65 20 69 ....}.....else i
1470: 66 28 20 74 72 79 45 61 74 28 22 7b 22 29 20 29 f( tryEat("{") )
1480: 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 65 20 3d 20 .....{......e =
1490: 70 61 72 73 65 54 61 62 6c 65 53 65 74 41 66 74 parseTableSetAft
14a0: 65 72 42 72 61 63 65 28 65 29 3b 0d 0a 09 09 09 erBrace(e);.....
14b0: 7d 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 }.....else......
14c0: 62 72 65 61 6b 3b 0d 0a 09 09 72 65 74 75 72 6e break;....return
14d0: 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 e;...}.....AST
14e0: 70 61 72 73 65 54 61 62 6c 65 53 65 74 41 66 74 parseTableSetAft
14f0: 65 72 42 72 61 63 65 28 41 53 54 20 65 29 0d 0a erBrace(AST e)..
1500: 09 7b 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 .{....if( tryEat
1510: 28 22 7d 22 29 20 29 0d 0a 09 09 09 72 65 74 75 ("}") ).....retu
1520: 72 6e 20 65 3b 0d 0a 09 09 61 75 74 6f 20 70 6f rn e;....auto po
1530: 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 s = currentPosit
1540: 69 6f 6e 28 29 3b 0d 0a 09 09 66 6f 72 28 3b 3b ion();....for(;;
1550: 29 0d 0a 09 09 7b 0d 0a 09 09 09 73 74 72 69 6e )....{.....strin
1560: 67 20 6b 65 79 20 3d 20 65 61 74 49 64 28 22 66 g key = eatId("f
1570: 6f 72 20 74 61 62 6c 65 20 6b 65 79 22 2c 20 41 or table key", A
1580: 6c 6c 6f 77 51 75 6f 74 65 64 29 3b 0d 0a 09 09 llowQuoted);....
1590: 09 65 61 74 28 22 3a 22 2c 20 22 61 66 74 65 72 .eat(":", "after
15a0: 20 74 61 62 6c 65 20 6b 65 79 22 29 3b 0d 0a 09 table key");...
15b0: 09 09 41 53 54 20 76 61 6c 20 3d 20 45 28 30 29 ..AST val = E(0)
15c0: 3b 0d 0a 09 09 09 65 20 3d 20 6e 65 77 20 41 70 ;.....e = new Ap
15d0: 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 p(pos, new Var(p
15e0: 6f 73 2c 22 2e 3d 22 29 2c 0d 0a 09 09 09 09 09 os,".="),.......
15f0: 65 2c 20 6e 65 77 20 53 74 72 28 70 6f 73 2c 6b e, new Str(pos,k
1600: 65 79 29 2c 20 76 61 6c 29 3b 0d 0a 09 09 09 69 ey), val);.....i
1610: 66 28 20 21 74 72 79 45 61 74 28 22 2c 22 29 20 f( !tryEat(",")
1620: 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 65 61 74 ).....{......eat
1630: 28 22 7d 22 2c 20 22 66 6f 72 20 74 68 65 20 65 ("}", "for the e
1640: 6e 64 20 6f 66 20 74 61 62 6c 65 20 6c 69 74 65 nd of table lite
1650: 72 61 6c 22 29 3b 0d 0a 09 09 09 09 62 72 65 61 ral");......brea
1660: 6b 3b 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a 09 k;.....}....}...
1670: 09 72 65 74 75 72 6e 20 65 3b 0d 0a 09 7d 0d 0a .return e;...}..
1680: 0d 0a 09 41 53 54 20 42 61 73 65 45 78 70 72 65 ...AST BaseExpre
1690: 73 73 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 69 ssion()...{....i
16a0: 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d 0a f( lex.empty )..
16b0: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 55 ...throw genex!U
16c0: 6e 65 78 70 65 63 74 65 64 45 4f 46 28 63 75 72 nexpectedEOF(cur
16d0: 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 rentPosition(),
16e0: 22 52 65 61 63 68 65 64 20 45 4f 46 20 77 68 65 "Reached EOF whe
16f0: 6e 20 74 72 69 65 64 20 74 6f 20 70 61 72 73 65 n tried to parse
1700: 20 61 6e 20 65 78 70 72 65 73 73 69 6f 6e 22 29 an expression")
1710: 3b 0d 0a 0d 0a 09 09 61 75 74 6f 20 70 6f 73 20 ;......auto pos
1720: 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b = lex.front.pos;
1730: 0d 0a 09 09 69 66 28 20 6c 65 78 2e 66 72 6f 6e ....if( lex.fron
1740: 74 2e 71 75 6f 74 65 64 20 29 0d 0a 09 09 7b 0d t.quoted )....{.
1750: 0a 09 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 ....scope(exit)
1760: 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 lex.popFront;...
1770: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 53 74 72 ..return new Str
1780: 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f 6e 74 2e (pos, lex.front.
1790: 73 74 72 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 str);....}....if
17a0: 28 20 69 73 4e 75 6d 62 65 72 28 6c 65 78 2e 66 ( isNumber(lex.f
17b0: 72 6f 6e 74 2e 73 74 72 29 20 29 0d 0a 09 09 7b ront.str) )....{
17c0: 0d 0a 09 09 09 73 63 6f 70 65 28 65 78 69 74 29 .....scope(exit)
17d0: 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a lex.popFront;..
17e0: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 6e ...return new In
17f0: 74 28 70 6f 73 2c 20 42 69 67 49 6e 74 28 63 61 t(pos, BigInt(ca
1800: 73 74 28 73 74 72 69 6e 67 29 6c 65 78 2e 66 72 st(string)lex.fr
1810: 6f 6e 74 2e 73 74 72 29 29 3b 0d 0a 09 09 7d 0d ont.str));....}.
1820: 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 22 40 ...if( tryEat("@
1830: 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 ") )....{.....au
1840: 74 6f 20 6c 61 79 20 3d 20 22 40 22 7e 65 61 74 to lay = "@"~eat
1850: 49 64 28 22 66 6f 72 20 6c 61 79 65 72 20 49 44 Id("for layer ID
1860: 22 29 3b 0d 0a 09 09 09 65 61 74 28 22 28 22 2c ");.....eat("(",
1870: 20 22 66 6f 72 20 6c 61 79 65 72 65 64 20 65 78 "for layered ex
1880: 65 63 75 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 61 ecution");.....a
1890: 75 74 6f 20 65 20 3d 20 42 6f 64 79 28 29 3b 0d uto e = Body();.
18a0: 0a 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 ....eat(")", "af
18b0: 74 65 72 20 22 7e 6c 61 79 7e 22 28 2e 2e 2e 22 ter "~lay~"(..."
18c0: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 );.....return ne
18d0: 77 20 4c 61 79 28 70 6f 73 2c 20 6c 61 79 2c 20 w Lay(pos, lay,
18e0: 65 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 e);....}....if(
18f0: 74 72 79 45 61 74 28 22 28 22 29 20 29 0d 0a 09 tryEat("(") )...
1900: 09 7b 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 .{.....auto e =
1910: 42 6f 64 79 28 29 3b 0d 0a 09 09 09 65 61 74 28 Body();.....eat(
1920: 22 29 22 2c 20 22 61 66 74 65 72 20 70 61 72 65 ")", "after pare
1930: 6e 74 68 65 73 69 7a 65 64 20 65 78 70 72 65 73 nthesized expres
1940: 73 69 6f 6e 22 29 3b 0d 0a 09 09 09 72 65 74 75 sion");.....retu
1950: 72 6e 20 65 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 rn e;....}....if
1960: 28 20 74 72 79 45 61 74 28 22 7b 22 29 20 29 0d ( tryEat("{") ).
1970: 0a 09 09 7b 0d 0a 09 09 09 41 53 54 20 65 20 3d ...{.....AST e =
1980: 20 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 new App(pos, ne
1990: 77 20 56 61 72 28 70 6f 73 2c 22 7b 7d 22 29 29 w Var(pos,"{}"))
19a0: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 70 61 72 ;.....return par
19b0: 73 65 54 61 62 6c 65 53 65 74 41 66 74 65 72 42 seTableSetAfterB
19c0: 72 61 63 65 28 65 29 3b 0d 0a 09 09 7d 0d 0a 09 race(e);....}...
19d0: 09 69 66 28 20 74 72 79 45 61 74 28 22 69 66 22 .if( tryEat("if"
19e0: 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 65 61 74 ) )....{.....eat
19f0: 28 22 28 22 2c 20 22 61 66 74 65 72 20 69 66 22 ("(", "after if"
1a00: 29 3b 0d 0a 09 09 09 61 75 74 6f 20 63 6f 6e 64 );.....auto cond
1a10: 20 3d 20 45 28 30 29 3b 0d 0a 09 09 09 65 61 74 = E(0);.....eat
1a20: 28 22 29 22 2c 20 22 61 66 74 65 72 20 69 66 20 (")", "after if
1a30: 63 6f 6e 64 69 74 69 6f 6e 22 29 3b 0d 0a 09 09 condition");....
1a40: 09 61 75 74 6f 20 74 68 65 6e 50 6f 73 20 3d 20 .auto thenPos =
1a50: 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d 0a lex.front.pos;..
1a60: 09 09 09 65 61 74 28 22 7b 22 2c 20 22 61 66 74 ...eat("{", "aft
1a70: 65 72 20 69 66 20 63 6f 6e 64 69 74 69 6f 6e 22 er if condition"
1a80: 29 3b 0d 0a 09 09 09 61 75 74 6f 20 74 68 20 3d );.....auto th =
1a90: 20 42 6f 64 79 28 29 3b 0d 0a 09 09 09 65 61 74 Body();.....eat
1aa0: 28 22 7d 22 2c 20 22 61 66 74 65 72 20 69 66 2d ("}", "after if-
1ab0: 74 68 65 6e 20 62 6f 64 79 22 29 3b 0d 0a 09 09 then body");....
1ac0: 09 61 75 74 6f 20 65 6c 20 3d 20 64 6f 4e 6f 74 .auto el = doNot
1ad0: 68 69 6e 67 45 78 70 72 65 73 73 69 6f 6e 28 29 hingExpression()
1ae0: 3b 0d 0a 09 09 09 61 75 74 6f 20 65 6c 73 65 50 ;.....auto elseP
1af0: 6f 73 20 3d 20 28 6c 65 78 2e 65 6d 70 74 79 20 os = (lex.empty
1b00: 3f 20 4c 65 78 50 6f 73 69 74 69 6f 6e 2e 64 75 ? LexPosition.du
1b10: 6d 6d 79 20 3a 20 6c 65 78 2e 66 72 6f 6e 74 2e mmy : lex.front.
1b20: 70 6f 73 29 3b 0d 0a 09 09 09 69 66 28 20 74 72 pos);.....if( tr
1b30: 79 45 61 74 28 22 65 6c 73 65 22 29 20 29 20 7b yEat("else") ) {
1b40: 0d 0a 09 09 09 09 65 61 74 28 22 7b 22 2c 20 22 ......eat("{", "
1b50: 61 66 74 65 72 20 65 6c 73 65 22 29 3b 0d 0a 09 after else");...
1b60: 09 09 09 65 6c 20 3d 20 42 6f 64 79 28 29 3b 0d ...el = Body();.
1b70: 0a 09 09 09 09 65 61 74 28 22 7d 22 2c 20 22 61 .....eat("}", "a
1b80: 66 74 65 72 20 65 6c 73 65 20 62 6f 64 79 22 29 fter else body")
1b90: 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 72 65 74 75 ;.....}.....retu
1ba0: 72 6e 20 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 rn new App(pos,
1bb0: 0d 0a 09 09 09 09 6e 65 77 20 56 61 72 28 70 6f ......new Var(po
1bc0: 73 2c 20 22 69 66 22 29 2c 0d 0a 09 09 09 09 63 s, "if"),......c
1bd0: 6f 6e 64 2c 0d 0a 09 09 09 09 6e 65 77 20 46 75 ond,......new Fu
1be0: 6e 28 74 68 65 6e 50 6f 73 2c 20 5b 5d 2c 20 74 n(thenPos, [], t
1bf0: 68 29 2c 0d 0a 09 09 09 09 6e 65 77 20 46 75 6e h),......new Fun
1c00: 28 65 6c 73 65 50 6f 73 2c 20 5b 5d 2c 20 65 6c (elsePos, [], el
1c10: 29 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d 0d 0a 09 ).....);....}...
1c20: 09 69 66 28 20 74 72 79 45 61 74 28 22 63 61 73 .if( tryEat("cas
1c30: 65 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 72 e") )....{.....r
1c40: 65 74 75 72 6e 20 70 61 72 73 65 50 61 74 74 65 eturn parsePatte
1c50: 72 6e 4d 61 74 63 68 28 70 6f 73 29 3b 0d 0a 09 rnMatch(pos);...
1c60: 09 7d 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 .}....if( tryEat
1c70: 28 22 66 75 6e 22 29 20 7c 7c 20 74 72 79 45 61 ("fun") || tryEa
1c80: 74 28 22 5c 75 30 33 42 42 22 29 20 29 20 2f 2f t("\u03BB") ) //
1c90: 20 6c 61 6d 62 64 61 21 21 0d 0a 09 09 7b 0d 0a lambda!!....{..
1ca0: 09 09 09 65 61 74 28 22 28 22 2c 20 22 61 66 74 ...eat("(", "aft
1cb0: 65 72 20 66 75 6e 22 29 3b 0d 0a 09 09 09 72 65 er fun");.....re
1cc0: 74 75 72 6e 20 70 61 72 73 65 4c 61 6d 62 64 61 turn parseLambda
1cd0: 41 66 74 65 72 4f 70 65 6e 50 61 72 65 6e 28 70 AfterOpenParen(p
1ce0: 6f 73 29 3b 0d 0a 09 09 7d 0d 0a 09 09 73 63 6f os);....}....sco
1cf0: 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 pe(exit) lex.pop
1d00: 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 72 6e Front;....return
1d10: 20 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 6c 65 new Var(pos, le
1d20: 78 2e 66 72 6f 6e 74 2e 73 74 72 29 3b 0d 0a 09 x.front.str);...
1d30: 7d 0d 0a 0d 0a 09 41 53 54 20 70 61 72 73 65 50 }.....AST parseP
1d40: 61 74 74 65 72 6e 4d 61 74 63 68 28 4c 65 78 50 atternMatch(LexP
1d50: 6f 73 69 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 7b osition pos)...{
1d60: 0d 0a 09 09 2f 2f 20 20 20 63 61 73 65 28 20 70 ....// case( p
1d70: 6d 45 78 70 72 20 29 63 61 73 65 73 0d 0a 09 09 mExpr )cases....
1d80: 2f 2f 3d 3d 3e 0d 0a 09 09 2f 2f 20 20 20 6c 65 //==>....// le
1d90: 74 20 70 6d 56 61 72 20 3d 20 70 6d 45 78 70 72 t pmVar = pmExpr
1da0: 20 69 6e 20 28 2e 2e 2e 20 6c 65 74 20 70 6d 54 in (... let pmT
1db0: 72 79 46 69 72 73 74 20 3d 20 2e 2e 2e 20 69 6e ryFirst = ... in
1dc0: 20 70 6d 54 72 79 46 69 72 73 74 28 29 29 0d 0a pmTryFirst())..
1dd0: 09 09 65 61 74 28 22 28 22 2c 20 22 61 66 74 65 ..eat("(", "afte
1de0: 72 20 63 61 73 65 22 29 3b 0d 0a 09 09 41 53 54 r case");....AST
1df0: 20 20 20 70 6d 45 78 70 72 20 3d 20 45 28 30 29 pmExpr = E(0)
1e00: 3b 0d 0a 09 09 65 61 74 28 22 29 22 2c 20 22 61 ;....eat(")", "a
1e10: 66 74 65 72 20 63 61 73 65 22 29 3b 0d 0a 09 09 fter case");....
1e20: 73 74 72 69 6e 67 20 70 6d 56 61 72 20 3d 20 66 string pmVar = f
1e30: 72 65 73 68 56 61 72 4e 61 6d 65 28 29 3b 0d 0a reshVarName();..
1e40: 09 09 73 74 72 69 6e 67 20 70 6d 54 72 79 46 69 ..string pmTryFi
1e50: 72 73 74 20 3d 20 66 72 65 73 68 56 61 72 4e 61 rst = freshVarNa
1e60: 6d 65 28 29 3b 0d 0a 09 09 41 53 54 20 20 20 70 me();....AST p
1e70: 6d 42 6f 64 79 20 3d 20 70 61 72 73 65 50 61 74 mBody = parsePat
1e80: 74 65 72 6e 4d 61 74 63 68 43 61 73 65 73 28 70 ternMatchCases(p
1e90: 6d 56 61 72 2c 20 70 6d 54 72 79 46 69 72 73 74 mVar, pmTryFirst
1ea0: 2c 0d 0a 09 09 09 6e 65 77 20 41 70 70 28 70 6f ,.....new App(po
1eb0: 73 2c 20 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 s, new Var(pos,
1ec0: 70 6d 54 72 79 46 69 72 73 74 29 29 29 3b 0d 0a pmTryFirst)));..
1ed0: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 ..return new Let
1ee0: 28 70 6f 73 2c 20 70 6d 56 61 72 2c 20 5b 5d 2c (pos, pmVar, [],
1ef0: 20 70 6d 45 78 70 72 2c 20 70 6d 42 6f 64 79 29 pmExpr, pmBody)
1f00: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 70 61 ;...}.....AST pa
1f10: 72 73 65 50 61 74 74 65 72 6e 4d 61 74 63 68 43 rsePatternMatchC
1f20: 61 73 65 73 28 73 74 72 69 6e 67 20 70 6d 56 61 ases(string pmVa
1f30: 72 2c 20 73 74 72 69 6e 67 20 74 72 79 54 68 69 r, string tryThi
1f40: 73 42 72 61 6e 63 68 56 61 72 2c 20 41 53 54 20 sBranchVar, AST
1f50: 74 68 65 6e 44 6f 54 68 69 73 29 0d 0a 09 7b 0d thenDoThis)...{.
1f60: 0a 09 09 2f 2f 20 20 20 20 77 68 65 6e 28 20 70 ...// when( p
1f70: 61 74 20 29 20 7b 20 63 42 6f 64 79 20 7d 0d 0a at ) { cBody }..
1f80: 09 09 2f 2f 3d 3d 3e 0d 0a 09 09 2f 2f 20 20 20 ..//==>....//
1f90: 20 2e 2e 2e 20 6c 65 74 20 66 61 69 6c 42 72 61 ... let failBra
1fa0: 6e 63 68 56 61 72 20 3d 20 2e 2e 2e 20 69 6e 0d nchVar = ... in.
1fb0: 0a 09 09 2f 2f 20 20 20 20 6c 65 74 20 74 72 79 ...// let try
1fc0: 54 68 69 73 42 72 61 6e 63 68 56 61 72 20 3d 20 ThisBranchVar =
1fd0: 66 75 6e 28 29 7b 20 69 66 28 74 65 73 74 29 7b fun(){ if(test){
1fe0: 63 42 6f 64 79 7d 65 6c 73 65 7b 66 61 69 6c 42 cBody}else{failB
1ff0: 72 61 6e 63 68 56 61 72 28 29 7d 20 7d 20 69 6e ranchVar()} } in
2000: 20 74 68 65 6e 44 6f 54 68 69 73 0d 0a 09 09 69 thenDoThis....i
2010: 66 28 20 74 72 79 45 61 74 28 22 77 68 65 6e 22 f( tryEat("when"
2020: 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 74 ) )....{.....aut
2030: 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 o pos = currentP
2040: 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 73 osition();.....s
2050: 74 72 69 6e 67 20 66 61 69 6c 42 72 61 6e 63 68 tring failBranch
2060: 56 61 72 20 3d 20 66 72 65 73 68 56 61 72 4e 61 Var = freshVarNa
2070: 6d 65 28 29 3b 0d 0a 0d 0a 09 09 09 65 61 74 28 me();.......eat(
2080: 22 28 22 2c 20 22 61 66 74 65 72 20 77 68 65 6e "(", "after when
2090: 22 29 3b 0d 0a 09 09 09 61 75 74 6f 20 70 72 20 ");.....auto pr
20a0: 3d 20 70 61 72 73 65 50 61 74 74 65 72 6e 28 29 = parsePattern()
20b0: 3b 0d 0a 09 09 09 65 61 74 28 22 29 22 2c 20 22 ;.....eat(")", "
20c0: 61 66 74 65 72 20 77 68 65 6e 22 29 3b 0d 0a 09 after when");...
20d0: 09 09 65 61 74 28 22 7b 22 2c 20 22 61 66 74 65 ..eat("{", "afte
20e0: 72 20 70 61 74 74 65 72 6e 22 29 3b 0d 0a 09 09 r pattern");....
20f0: 09 41 53 54 20 63 42 6f 64 79 20 3d 20 42 6f 64 .AST cBody = Bod
2100: 79 28 29 3b 0d 0a 09 09 09 41 53 54 20 6a 75 64 y();.....AST jud
2110: 67 65 6d 65 6e 74 20 3d 20 6e 65 77 20 41 70 70 gement = new App
2120: 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 6f (pos, new Var(po
2130: 73 2c 20 22 69 66 22 29 2c 0d 0a 09 09 09 09 70 s, "if"),......p
2140: 70 54 65 73 74 28 70 6d 56 61 72 2c 20 70 72 29 pTest(pmVar, pr)
2150: 2c 20 6e 65 77 20 46 75 6e 28 70 6f 73 2c 5b 5d , new Fun(pos,[]
2160: 2c 70 70 42 69 6e 64 28 70 6d 56 61 72 2c 20 70 ,ppBind(pmVar, p
2170: 72 2c 20 63 42 6f 64 79 29 29 2c 0d 0a 09 09 09 r, cBody)),.....
2180: 09 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 66 61 .new Var(pos, fa
2190: 69 6c 42 72 61 6e 63 68 56 61 72 29 29 3b 0d 0a ilBranchVar));..
21a0: 09 09 09 65 61 74 28 22 7d 22 2c 20 22 61 66 74 ...eat("}", "aft
21b0: 65 72 20 70 61 74 74 65 72 6e 20 63 6c 61 75 73 er pattern claus
21c0: 65 22 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 e");.....return
21d0: 70 61 72 73 65 50 61 74 74 65 72 6e 4d 61 74 63 parsePatternMatc
21e0: 68 43 61 73 65 73 28 70 6d 56 61 72 2c 20 66 61 hCases(pmVar, fa
21f0: 69 6c 42 72 61 6e 63 68 56 61 72 2c 20 0d 0a 09 ilBranchVar, ...
2200: 09 09 09 6e 65 77 20 4c 65 74 28 70 6f 73 2c 20 ...new Let(pos,
2210: 74 72 79 54 68 69 73 42 72 61 6e 63 68 56 61 72 tryThisBranchVar
2220: 2c 20 5b 5d 2c 0d 0a 09 09 09 09 09 6e 65 77 20 , [],.......new
2230: 46 75 6e 28 70 6f 73 2c 5b 5d 2c 6a 75 64 67 65 Fun(pos,[],judge
2240: 6d 65 6e 74 29 2c 20 74 68 65 6e 44 6f 54 68 69 ment), thenDoThi
2250: 73 29 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d 0d 0a s).....);....}..
2260: 09 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 ..else....{.....
2270: 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 auto pos = curre
2280: 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 ntPosition();...
2290: 09 09 41 53 54 20 64 6f 4e 6f 74 68 69 6e 67 20 ..AST doNothing
22a0: 3d 20 6e 65 77 20 46 75 6e 28 70 6f 73 2c 5b 5d = new Fun(pos,[]
22b0: 2c 0d 0a 09 09 09 09 6e 65 77 20 53 74 72 28 70 ,......new Str(p
22c0: 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 28 70 61 os, sprintf!"(pa
22d0: 74 74 65 72 6e 20 6d 61 74 63 68 20 66 61 69 6c ttern match fail
22e0: 75 72 65 3a 25 73 29 22 28 70 6f 73 29 29 29 3b ure:%s)"(pos)));
22f0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
2300: 4c 65 74 28 63 75 72 72 65 6e 74 50 6f 73 69 74 Let(currentPosit
2310: 69 6f 6e 28 29 2c 20 74 72 79 54 68 69 73 42 72 ion(), tryThisBr
2320: 61 6e 63 68 56 61 72 2c 20 5b 5d 2c 20 64 6f 4e anchVar, [], doN
2330: 6f 74 68 69 6e 67 2c 20 74 68 65 6e 44 6f 54 68 othing, thenDoTh
2340: 69 73 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d is);....}...}...
2350: 0a 2f 2f 20 68 61 67 65 73 68 69 6b 75 20 74 65 .// hageshiku te
2360: 6e 75 6b 69 0d 0a 09 61 62 73 74 72 61 63 74 20 nuki...abstract
2370: 63 6c 61 73 73 20 53 69 6e 67 6c 65 50 61 74 74 class SinglePatt
2380: 65 72 6e 0d 0a 09 7b 0d 0a 09 09 73 74 72 69 6e ern...{....strin
2390: 67 5b 5d 20 70 61 74 68 3b 0d 0a 09 09 6d 69 78 g[] path;....mix
23a0: 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d in SimpleClass;.
23b0: 0a 09 09 70 72 69 76 61 74 65 20 41 53 54 20 61 ...private AST a
23c0: 63 63 65 73 73 28 73 74 72 69 6e 67 20 70 6d 56 ccess(string pmV
23d0: 61 72 2c 20 73 74 72 69 6e 67 5b 5d 20 70 61 74 ar, string[] pat
23e0: 68 29 20 7b 0d 0a 09 09 09 61 75 74 6f 20 70 6f h) {.....auto po
23f0: 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 s = currentPosit
2400: 69 6f 6e 28 29 3b 0d 0a 09 09 09 41 53 54 20 65 ion();.....AST e
2410: 20 3d 20 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 = new Var(pos,
2420: 70 6d 56 61 72 29 3b 0d 0a 09 09 09 66 6f 72 65 pmVar);.....fore
2430: 61 63 68 28 70 3b 20 70 61 74 68 29 0d 0a 09 09 ach(p; path)....
2440: 09 09 65 20 3d 20 6e 65 77 20 41 70 70 28 70 6f ..e = new App(po
2450: 73 2c 20 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 s, new Var(pos,
2460: 22 2e 22 29 2c 20 65 2c 20 6e 65 77 20 53 74 72 "."), e, new Str
2470: 28 70 6f 73 2c 20 70 29 29 3b 0d 0a 09 09 09 72 (pos, p));.....r
2480: 65 74 75 72 6e 20 65 3b 0d 0a 09 09 7d 0d 0a 09 eturn e;....}...
2490: 09 70 72 69 76 61 74 65 20 41 53 54 20 68 61 73 .private AST has
24a0: 28 41 53 54 20 65 2c 20 73 74 72 69 6e 67 20 6b (AST e, string k
24b0: 29 20 7b 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 ) {.....auto pos
24c0: 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 = currentPositi
24d0: 6f 6e 28 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e on();.....return
24e0: 20 6f 70 41 6e 64 41 6e 64 28 0d 0a 09 09 09 09 opAndAnd(......
24f0: 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 77 new App(pos, new
2500: 20 56 61 72 28 70 6f 73 2c 20 22 5f 69 73 74 61 Var(pos, "_ista
2510: 62 6c 65 22 29 2c 20 65 29 2c 0d 0a 09 09 09 09 ble"), e),......
2520: 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 77 new App(pos, new
2530: 20 56 61 72 28 70 6f 73 2c 20 22 2e 3f 22 29 2c Var(pos, ".?"),
2540: 20 65 2c 20 6e 65 77 20 53 74 72 28 70 6f 73 2c e, new Str(pos,
2550: 20 6b 29 29 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d k)).....);....}
2560: 0d 0a 09 09 70 72 69 76 61 74 65 20 41 53 54 20 ....private AST
2570: 6f 70 41 6e 64 41 6e 64 28 41 53 54 20 61 2c 20 opAndAnd(AST a,
2580: 41 53 54 20 62 29 20 7b 0d 0a 09 09 09 69 66 28 AST b) {.....if(
2590: 20 61 20 69 73 20 6e 75 6c 6c 20 29 20 72 65 74 a is null ) ret
25a0: 75 72 6e 20 62 3b 0d 0a 09 09 09 69 66 28 20 62 urn b;.....if( b
25b0: 20 69 73 20 6e 75 6c 6c 20 29 20 72 65 74 75 72 is null ) retur
25c0: 6e 20 61 3b 0d 0a 09 09 09 61 75 74 6f 20 70 6f n a;.....auto po
25d0: 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 s = currentPosit
25e0: 69 6f 6e 28 29 3b 0d 0a 09 09 09 72 65 74 75 72 ion();.....retur
25f0: 6e 20 6e 65 77 20 41 70 70 28 70 6f 73 2c 0d 0a n new App(pos,..
2600: 09 09 09 09 6e 65 77 20 56 61 72 28 70 6f 73 2c ....new Var(pos,
2610: 20 22 69 66 22 29 2c 0d 0a 09 09 09 09 61 2c 0d "if"),......a,.
2620: 0a 09 09 09 09 6e 65 77 20 46 75 6e 28 70 6f 73 .....new Fun(pos
2630: 2c 20 5b 5d 2c 20 62 29 2c 0d 0a 09 09 09 09 6e , [], b),......n
2640: 65 77 20 46 75 6e 28 70 6f 73 2c 20 5b 5d 2c 20 ew Fun(pos, [],
2650: 6e 65 77 20 49 6e 74 28 70 6f 73 2c 20 30 29 29 new Int(pos, 0))
2660: 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d 0d 0a 09 09 .....);....}....
2670: 41 53 54 20 70 70 54 65 73 74 28 73 74 72 69 6e AST ppTest(strin
2680: 67 20 70 6d 56 61 72 29 20 7b 0d 0a 09 09 09 41 g pmVar) {.....A
2690: 53 54 20 63 20 3d 20 6e 75 6c 6c 3b 0d 0a 09 09 ST c = null;....
26a0: 09 66 6f 72 28 69 6e 74 20 69 3d 30 3b 20 69 3c .for(int i=0; i<
26b0: 70 61 74 68 2e 6c 65 6e 67 74 68 3b 20 2b 2b 69 path.length; ++i
26c0: 29 0d 0a 09 09 09 09 63 20 3d 20 6f 70 41 6e 64 )......c = opAnd
26d0: 41 6e 64 28 63 2c 20 68 61 73 28 61 63 63 65 73 And(c, has(acces
26e0: 73 28 70 6d 56 61 72 2c 70 61 74 68 5b 30 2e 2e s(pmVar,path[0..
26f0: 69 5d 29 2c 20 70 61 74 68 5b 69 5d 29 29 3b 0d i]), path[i]));.
2700: 0a 09 09 09 72 65 74 75 72 6e 20 63 3b 0d 0a 09 ....return c;...
2710: 09 7d 0d 0a 09 09 41 53 54 20 70 70 42 69 6e 64 .}....AST ppBind
2720: 28 73 74 72 69 6e 67 20 70 6d 56 61 72 2c 20 41 (string pmVar, A
2730: 53 54 20 74 68 65 6e 44 6f 54 68 69 73 29 20 7b ST thenDoThis) {
2740: 20 72 65 74 75 72 6e 20 74 68 65 6e 44 6f 54 68 return thenDoTh
2750: 69 73 3b 20 7d 0d 0a 09 7d 0d 0a 09 63 6c 61 73 is; }...}...clas
2760: 73 20 57 69 6c 64 50 61 74 74 65 72 6e 20 3a 20 s WildPattern :
2770: 53 69 6e 67 6c 65 50 61 74 74 65 72 6e 0d 0a 09 SinglePattern...
2780: 7b 0d 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c {....mixin Simpl
2790: 65 43 6c 61 73 73 3b 0d 0a 09 7d 0d 0a 09 63 6c eClass;...}...cl
27a0: 61 73 73 20 56 61 72 50 61 74 74 65 72 6e 20 3a ass VarPattern :
27b0: 20 53 69 6e 67 6c 65 50 61 74 74 65 72 6e 0d 0a SinglePattern..
27c0: 09 7b 0d 0a 09 09 73 74 72 69 6e 67 20 6e 61 6d .{....string nam
27d0: 65 3b 0d 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 e;....mixin Simp
27e0: 6c 65 43 6c 61 73 73 3b 0d 0a 09 09 41 53 54 20 leClass;....AST
27f0: 70 70 42 69 6e 64 28 73 74 72 69 6e 67 20 70 6d ppBind(string pm
2800: 56 61 72 2c 20 41 53 54 20 74 68 65 6e 44 6f 54 Var, AST thenDoT
2810: 68 69 73 29 20 7b 0d 0a 09 09 09 61 75 74 6f 20 his) {.....auto
2820: 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 pos = currentPos
2830: 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 72 65 74 ition();.....ret
2840: 75 72 6e 20 6e 65 77 20 4c 65 74 28 70 6f 73 2c urn new Let(pos,
2850: 20 6e 61 6d 65 2c 20 5b 5d 2c 20 61 63 63 65 73 name, [], acces
2860: 73 28 70 6d 56 61 72 2c 70 61 74 68 29 2c 20 74 s(pmVar,path), t
2870: 68 65 6e 44 6f 54 68 69 73 29 3b 0d 0a 09 09 7d henDoThis);....}
2880: 0d 0a 09 7d 0d 0a 09 63 6c 61 73 73 20 43 6f 6e ...}...class Con
2890: 73 74 61 6e 74 50 61 74 74 65 72 6e 20 3a 20 53 stantPattern : S
28a0: 69 6e 67 6c 65 50 61 74 74 65 72 6e 0d 0a 09 7b inglePattern...{
28b0: 0d 0a 09 09 41 53 54 20 65 3b 0d 0a 09 09 6d 69 ....AST e;....mi
28c0: 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b xin SimpleClass;
28d0: 0d 0a 09 09 41 53 54 20 70 70 54 65 73 74 28 73 ....AST ppTest(s
28e0: 74 72 69 6e 67 20 70 6d 56 61 72 29 20 7b 0d 0a tring pmVar) {..
28f0: 09 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 ...auto pos = cu
2900: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b rrentPosition();
2910: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6f 70 41 6e .....return opAn
2920: 64 41 6e 64 28 20 73 75 70 65 72 2e 70 70 54 65 dAnd( super.ppTe
2930: 73 74 28 70 6d 56 61 72 29 2c 0d 0a 09 09 09 09 st(pmVar),......
2940: 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 77 new App(pos, new
2950: 20 56 61 72 28 70 6f 73 2c 22 3d 3d 22 29 2c 20 Var(pos,"=="),
2960: 61 63 63 65 73 73 28 70 6d 56 61 72 2c 70 61 74 access(pmVar,pat
2970: 68 29 2c 20 65 29 0d 0a 09 09 09 29 3b 0d 0a 09 h), e).....);...
2980: 09 7d 0d 0a 09 7d 0d 0a 0d 0a 09 53 69 6e 67 6c .}...}.....Singl
2990: 65 50 61 74 74 65 72 6e 5b 5d 20 70 61 72 73 65 ePattern[] parse
29a0: 50 61 74 74 65 72 6e 28 73 74 72 69 6e 67 5b 5d Pattern(string[]
29b0: 20 70 61 74 68 20 3d 20 6e 75 6c 6c 29 0d 0a 09 path = null)...
29c0: 7b 0d 0a 09 09 53 69 6e 67 6c 65 50 61 74 74 65 {....SinglePatte
29d0: 72 6e 5b 5d 20 72 65 73 75 6c 74 3b 0d 0a 09 09 rn[] result;....
29e0: 69 66 28 20 74 72 79 45 61 74 28 22 7b 22 29 20 if( tryEat("{")
29f0: 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 28 20 21 )....{.....if( !
2a00: 74 72 79 45 61 74 28 22 7d 22 29 20 29 20 7b 0d tryEat("}") ) {.
2a10: 0a 09 09 09 09 64 6f 20 7b 0d 0a 09 09 09 09 09 .....do {.......
2a20: 73 74 72 69 6e 67 20 6b 65 79 20 3d 20 65 61 74 string key = eat
2a30: 49 64 28 22 69 6e 20 74 61 62 6c 65 20 70 61 74 Id("in table pat
2a40: 74 65 72 6e 22 29 3b 0d 0a 09 09 09 09 09 65 61 tern");.......ea
2a50: 74 28 22 3a 22 2c 20 22 61 66 74 65 72 20 66 69 t(":", "after fi
2a60: 65 6c 64 2d 69 64 20 69 6e 20 74 61 62 6c 65 20 eld-id in table
2a70: 70 61 74 74 65 72 6e 22 29 3b 0d 0a 09 09 09 09 pattern");......
2a80: 09 72 65 73 75 6c 74 20 7e 3d 20 70 61 72 73 65 .result ~= parse
2a90: 50 61 74 74 65 72 6e 28 70 61 74 68 20 7e 20 6b Pattern(path ~ k
2aa0: 65 79 29 3b 0d 0a 09 09 09 09 7d 20 77 68 69 6c ey);......} whil
2ab0: 65 28 20 74 72 79 45 61 74 28 22 2c 22 29 20 29 e( tryEat(",") )
2ac0: 3b 0d 0a 09 09 09 09 65 61 74 28 22 7d 22 2c 20 ;......eat("}",
2ad0: 22 61 74 20 74 68 65 20 65 6e 64 20 6f 66 20 74 "at the end of t
2ae0: 61 62 6c 65 20 70 61 74 74 65 72 6e 22 29 3b 0d able pattern");.
2af0: 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 65 6c ....}....}....el
2b00: 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 41 53 54 20 se....{.....AST
2b10: 65 20 3d 20 45 28 30 29 3b 0d 0a 09 09 09 69 66 e = E(0);.....if
2b20: 28 61 75 74 6f 20 65 76 20 3d 20 63 61 73 74 28 (auto ev = cast(
2b30: 56 61 72 29 65 29 0d 0a 09 09 09 09 69 66 28 65 Var)e)......if(e
2b40: 76 2e 6e 61 6d 65 20 3d 3d 20 22 5f 22 29 0d 0a v.name == "_")..
2b50: 09 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 6e .....result ~= n
2b60: 65 77 20 57 69 6c 64 50 61 74 74 65 72 6e 28 70 ew WildPattern(p
2b70: 61 74 68 29 3b 0d 0a 09 09 09 09 65 6c 73 65 0d ath);......else.
2b80: 0a 09 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 ......result ~=
2b90: 6e 65 77 20 56 61 72 50 61 74 74 65 72 6e 28 70 new VarPattern(p
2ba0: 61 74 68 2c 20 65 76 2e 6e 61 6d 65 29 3b 0d 0a ath, ev.name);..
2bb0: 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 72 65 73 ...else......res
2bc0: 75 6c 74 20 7e 3d 20 6e 65 77 20 43 6f 6e 73 74 ult ~= new Const
2bd0: 61 6e 74 50 61 74 74 65 72 6e 28 70 61 74 68 2c antPattern(path,
2be0: 20 65 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 e);....}....ret
2bf0: 75 72 6e 20 72 65 73 75 6c 74 3b 0d 0a 09 7d 0d urn result;...}.
2c00: 0a 0d 0a 09 41 53 54 20 70 70 54 65 73 74 28 73 ....AST ppTest(s
2c10: 74 72 69 6e 67 20 70 6d 56 61 72 2c 20 53 69 6e tring pmVar, Sin
2c20: 67 6c 65 50 61 74 74 65 72 6e 5b 5d 20 70 61 74 glePattern[] pat
2c30: 73 29 0d 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 70 s)...{....auto p
2c40: 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 os = currentPosi
2c50: 74 69 6f 6e 28 29 3b 0d 0a 09 09 41 53 54 20 63 tion();....AST c
2c60: 6f 6e 64 20 3d 20 6e 75 6c 6c 3b 0d 0a 09 09 66 ond = null;....f
2c70: 6f 72 65 61 63 68 28 70 3b 20 70 61 74 73 29 20 oreach(p; pats)
2c80: 7b 0d 0a 09 09 09 41 53 54 20 63 32 20 3d 20 70 {.....AST c2 = p
2c90: 2e 70 70 54 65 73 74 28 70 6d 56 61 72 29 3b 0d .ppTest(pmVar);.
2ca0: 0a 09 09 09 69 66 28 20 63 32 20 21 69 73 20 6e ....if( c2 !is n
2cb0: 75 6c 6c 20 29 0d 0a 09 09 09 09 63 6f 6e 64 20 ull )......cond
2cc0: 3d 20 63 6f 6e 64 20 69 73 20 6e 75 6c 6c 20 3f = cond is null ?
2cd0: 20 63 32 0d 0a 09 09 09 09 20 20 20 20 3a 20 6e c2...... : n
2ce0: 65 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 77 20 ew App(pos, new
2cf0: 56 61 72 28 70 6f 73 2c 22 26 26 22 29 2c 20 63 Var(pos,"&&"), c
2d00: 6f 6e 64 2c 20 63 32 29 3b 0d 0a 09 09 7d 0d 0a ond, c2);....}..
2d10: 09 09 72 65 74 75 72 6e 20 63 6f 6e 64 20 69 73 ..return cond is
2d20: 20 6e 75 6c 6c 20 3f 20 6e 65 77 20 49 6e 74 28 null ? new Int(
2d30: 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 currentPosition(
2d40: 29 2c 20 31 29 20 3a 20 63 6f 6e 64 3b 0d 0a 09 ), 1) : cond;...
2d50: 7d 0d 0a 0d 0a 09 41 53 54 20 70 70 42 69 6e 64 }.....AST ppBind
2d60: 28 73 74 72 69 6e 67 20 70 6d 56 61 72 2c 20 53 (string pmVar, S
2d70: 69 6e 67 6c 65 50 61 74 74 65 72 6e 5b 5d 20 70 inglePattern[] p
2d80: 61 74 73 2c 20 41 53 54 20 74 68 65 6e 44 6f 54 ats, AST thenDoT
2d90: 68 69 73 29 0d 0a 09 7b 0d 0a 09 09 66 6f 72 65 his)...{....fore
2da0: 61 63 68 28 70 3b 20 70 61 74 73 29 0d 0a 09 09 ach(p; pats)....
2db0: 09 74 68 65 6e 44 6f 54 68 69 73 20 3d 20 70 2e .thenDoThis = p.
2dc0: 70 70 42 69 6e 64 28 70 6d 56 61 72 2c 20 74 68 ppBind(pmVar, th
2dd0: 65 6e 44 6f 54 68 69 73 29 3b 0d 0a 09 09 72 65 enDoThis);....re
2de0: 74 75 72 6e 20 74 68 65 6e 44 6f 54 68 69 73 3b turn thenDoThis;
2df0: 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 70 61 72 ...}.....AST par
2e00: 73 65 49 64 28 29 0d 0a 09 7b 0d 0a 09 09 73 63 seId()...{....sc
2e10: 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f ope(exit) lex.po
2e20: 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 72 pFront;....retur
2e30: 6e 20 6e 65 77 20 53 74 72 28 63 75 72 72 65 6e n new Str(curren
2e40: 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 6c 65 78 tPosition(), lex
2e50: 2e 66 72 6f 6e 74 2e 73 74 72 29 3b 0d 0a 09 7d .front.str);...}
2e60: 0d 0a 0d 0a 09 41 53 54 20 70 61 72 73 65 4c 61 .....AST parseLa
2e70: 6d 62 64 61 41 66 74 65 72 4f 70 65 6e 50 61 72 mbdaAfterOpenPar
2e80: 65 6e 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 en(immutable Lex
2e90: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 Position pos)...
2ea0: 7b 0d 0a 09 09 50 61 72 61 6d 65 74 65 72 5b 5d {....Parameter[]
2eb0: 20 70 61 72 61 6d 73 3b 0d 0a 09 09 77 68 69 6c params;....whil
2ec0: 65 28 20 21 74 72 79 45 61 74 28 22 29 22 29 20 e( !tryEat(")")
2ed0: 29 0d 0a 09 09 7b 0d 0a 09 09 09 70 61 72 61 6d )....{.....param
2ee0: 73 20 7e 3d 20 70 61 72 73 65 50 61 72 61 6d 28 s ~= parseParam(
2ef0: 29 3b 0d 0a 09 09 09 69 66 28 20 21 74 72 79 45 );.....if( !tryE
2f00: 61 74 28 22 2c 22 29 20 29 20 7b 0d 0a 09 09 09 at(",") ) {.....
2f10: 09 65 61 74 28 22 29 22 2c 20 22 61 66 74 65 72 .eat(")", "after
2f20: 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 function parame
2f30: 74 65 72 73 22 29 3b 0d 0a 09 09 09 09 62 72 65 ters");......bre
2f40: 61 6b 3b 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a ak;.....}....}..
2f50: 09 09 65 61 74 28 22 7b 22 2c 20 22 61 66 74 65 ..eat("{", "afte
2f60: 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d r function param
2f70: 65 74 65 72 73 22 29 3b 0d 0a 09 09 61 75 74 6f eters");....auto
2f80: 20 66 75 6e 62 6f 64 79 20 3d 20 42 6f 64 79 28 funbody = Body(
2f90: 29 3b 0d 0a 09 09 65 61 74 28 22 7d 22 2c 20 22 );....eat("}", "
2fa0: 61 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 62 after function b
2fb0: 6f 64 79 22 29 3b 0d 0a 09 09 72 65 74 75 72 6e ody");....return
2fc0: 20 6e 65 77 20 46 75 6e 28 70 6f 73 2c 20 70 61 new Fun(pos, pa
2fd0: 72 61 6d 73 2c 20 66 75 6e 62 6f 64 79 29 3b 0d rams, funbody);.
2fe0: 0a 09 7d 0d 0a 0d 0a 09 50 61 72 61 6d 65 74 65 ..}.....Paramete
2ff0: 72 20 70 61 72 73 65 50 61 72 61 6d 28 29 0d 0a r parseParam()..
3000: 09 7b 0d 0a 09 09 73 74 72 69 6e 67 20 76 61 72 .{....string var
3010: 3b 0d 0a 09 09 73 74 72 69 6e 67 5b 5d 20 6c 61 ;....string[] la
3020: 79 3b 0d 0a 09 09 77 68 69 6c 65 28 20 21 63 6c y;....while( !cl
3030: 6f 73 69 6e 67 42 72 61 63 6b 65 74 28 29 20 26 osingBracket() &
3040: 26 20 21 6c 65 78 2e 65 6d 70 74 79 20 26 26 20 & !lex.empty &&
3050: 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 22 lex.front.str!="
3060: 2c 22 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 ," )....{.....au
3070: 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 to pos = current
3080: 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 Position();.....
3090: 73 74 72 69 6e 67 20 70 20 3d 20 65 61 74 49 64 string p = eatId
30a0: 28 22 66 6f 72 20 66 75 6e 63 74 69 6f 6e 20 70 ("for function p
30b0: 61 72 61 6d 65 74 65 72 22 2c 20 41 6c 6c 6f 77 arameter", Allow
30c0: 51 75 6f 74 65 64 29 3b 0d 0a 09 09 09 69 66 28 Quoted);.....if(
30d0: 20 70 20 3d 3d 20 22 40 22 20 29 0d 0a 09 09 09 p == "@" ).....
30e0: 09 6c 61 79 20 7e 3d 20 22 40 22 20 7e 20 65 61 .lay ~= "@" ~ ea
30f0: 74 49 64 28 22 61 66 74 65 72 20 40 22 2c 20 41 tId("after @", A
3100: 6c 6c 6f 77 51 75 6f 74 65 64 29 3b 0d 0a 09 09 llowQuoted);....
3110: 09 65 6c 73 65 20 69 66 28 20 76 61 72 2e 65 6d .else if( var.em
3120: 70 74 79 20 29 0d 0a 09 09 09 09 76 61 72 20 3d pty )......var =
3130: 20 70 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 p;.....else....
3140: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 50 61 ..throw genex!Pa
3150: 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 rseException(pos
3160: 2c 20 22 6f 6e 65 20 70 61 72 61 6d 65 74 65 72 , "one parameter
3170: 20 68 61 73 20 74 77 6f 20 6e 61 6d 65 73 22 29 has two names")
3180: 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e ;....}....return
3190: 20 6e 65 77 20 50 61 72 61 6d 65 74 65 72 28 76 new Parameter(v
31a0: 61 72 2c 20 6c 61 79 29 3b 0d 0a 09 7d 0d 0a 0d ar, lay);...}...
31b0: 0a 70 72 69 76 61 74 65 3a 0d 0a 09 4c 65 78 65 .private:...Lexe
31c0: 72 20 6c 65 78 3b 0d 0a 09 74 68 69 73 28 4c 65 r lex;...this(Le
31d0: 78 65 72 20 6c 65 78 29 20 7b 20 74 68 69 73 2e xer lex) { this.
31e0: 6c 65 78 20 3d 20 6c 65 78 3b 20 7d 0d 0a 0d 0a lex = lex; }....
31f0: 09 62 6f 6f 6c 20 69 73 4e 75 6d 62 65 72 28 73 .bool isNumber(s
3200: 74 72 69 6e 67 20 73 29 0d 0a 09 7b 0d 0a 09 09 tring s)...{....
3210: 72 65 74 75 72 6e 20 66 69 6e 64 21 28 60 61 3c return find!(`a<
3220: 27 30 27 20 7c 7c 20 27 39 27 3c 61 60 29 28 73 '0' || '9'<a`)(s
3230: 29 2e 65 6d 70 74 79 3b 0d 0a 09 7d 0d 0a 09 0d ).empty;...}....
3240: 0a 09 76 6f 69 64 20 65 61 74 28 73 74 72 69 6e ..void eat(strin
3250: 67 20 6b 77 64 2c 20 6c 61 7a 79 20 73 74 72 69 g kwd, lazy stri
3260: 6e 67 20 6d 73 67 29 0d 0a 09 7b 0d 0a 09 09 69 ng msg)...{....i
3270: 66 28 20 21 74 72 79 45 61 74 28 6b 77 64 29 20 f( !tryEat(kwd)
3280: 29 0d 0a 09 09 09 69 66 28 20 6c 65 78 2e 65 6d ).....if( lex.em
3290: 70 74 79 20 29 0d 0a 09 09 09 09 74 68 72 6f 77 pty )......throw
32a0: 20 67 65 6e 65 78 21 55 6e 65 78 70 65 63 74 65 genex!Unexpecte
32b0: 64 45 4f 46 28 0d 0a 09 09 09 09 09 63 75 72 72 dEOF(.......curr
32c0: 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 73 entPosition(), s
32d0: 70 72 69 6e 74 66 21 22 25 73 20 69 73 20 65 78 printf!"%s is ex
32e0: 70 65 63 74 65 64 20 25 73 20 62 75 74 20 6e 6f pected %s but no
32f0: 74 20 66 6f 75 6e 64 22 28 6b 77 64 2c 6d 73 67 t found"(kwd,msg
3300: 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 ));.....else....
3310: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 50 61 ..throw genex!Pa
3320: 72 73 65 45 78 63 65 70 74 69 6f 6e 28 0d 0a 09 rseException(...
3330: 09 09 09 09 63 75 72 72 65 6e 74 50 6f 73 69 74 ....currentPosit
3340: 69 6f 6e 28 29 2c 20 73 70 72 69 6e 74 66 21 22 ion(), sprintf!"
3350: 25 73 20 69 73 20 65 78 70 65 63 74 65 64 20 66 %s is expected f
3360: 6f 72 20 25 73 20 62 75 74 20 6e 6f 74 20 66 6f or %s but not fo
3370: 75 6e 64 22 28 6b 77 64 2c 6d 73 67 29 29 3b 0d und"(kwd,msg));.
3380: 0a 09 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 74 72 79 ..}.....bool try
3390: 45 61 74 28 73 74 72 69 6e 67 20 6b 77 64 29 0d Eat(string kwd).
33a0: 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78 2e 65 ..{....if( lex.e
33b0: 6d 70 74 79 20 7c 7c 20 6c 65 78 2e 66 72 6f 6e mpty || lex.fron
33c0: 74 2e 71 75 6f 74 65 64 20 7c 7c 20 6c 65 78 2e t.quoted || lex.
33d0: 66 72 6f 6e 74 2e 73 74 72 21 3d 6b 77 64 20 29 front.str!=kwd )
33e0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73 .....return fals
33f0: 65 3b 0d 0a 09 09 6c 65 78 2e 70 6f 70 46 72 6f e;....lex.popFro
3400: 6e 74 3b 0d 0a 09 09 72 65 74 75 72 6e 20 74 72 nt;....return tr
3410: 75 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 65 6e 75 6d ue;...}.....enum
3420: 20 7b 41 6c 6c 6f 77 51 75 6f 74 65 64 3d 74 72 {AllowQuoted=tr
3430: 75 65 2c 20 44 69 73 61 6c 6c 6f 77 51 75 6f 74 ue, DisallowQuot
3440: 65 64 3d 66 61 6c 73 65 7d 3b 0d 0a 09 73 74 72 ed=false};...str
3450: 69 6e 67 20 65 61 74 49 64 28 6c 61 7a 79 20 73 ing eatId(lazy s
3460: 74 72 69 6e 67 20 6d 73 67 2c 20 62 6f 6f 6c 20 tring msg, bool
3470: 61 71 3d 44 69 73 61 6c 6c 6f 77 51 75 6f 74 65 aq=DisallowQuote
3480: 64 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 d)...{....if( le
3490: 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 x.empty ).....th
34a0: 72 6f 77 20 67 65 6e 65 78 21 55 6e 65 78 70 65 row genex!Unexpe
34b0: 63 74 65 64 45 4f 46 28 63 75 72 72 65 6e 74 50 ctedEOF(currentP
34c0: 6f 73 69 74 69 6f 6e 28 29 2c 20 22 69 64 65 6e osition(), "iden
34d0: 74 69 66 69 65 72 20 69 73 20 65 78 70 65 63 74 tifier is expect
34e0: 65 64 20 62 75 74 20 6e 6f 74 20 66 6f 75 6e 64 ed but not found
34f0: 20 22 7e 6d 73 67 29 3b 0d 0a 09 09 69 66 28 20 "~msg);....if(
3500: 21 61 71 20 26 26 20 6c 65 78 2e 66 72 6f 6e 74 !aq && lex.front
3510: 2e 71 75 6f 74 65 64 20 29 0d 0a 09 09 09 74 68 .quoted ).....th
3520: 72 6f 77 20 67 65 6e 65 78 21 50 61 72 73 65 45 row genex!ParseE
3530: 78 63 65 70 74 69 6f 6e 28 63 75 72 72 65 6e 74 xception(current
3540: 50 6f 73 69 74 69 6f 6e 28 29 2c 20 22 69 64 65 Position(), "ide
3550: 6e 74 69 66 69 65 72 20 69 73 20 65 78 70 65 63 ntifier is expec
3560: 74 65 64 20 62 75 74 20 6e 6f 74 20 66 6f 75 6e ted but not foun
3570: 64 20 22 7e 6d 73 67 29 3b 0d 0a 09 09 73 63 6f d "~msg);....sco
3580: 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 pe(exit) lex.pop
3590: 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 72 6e Front;....return
35a0: 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 3b 0d lex.front.str;.
35b0: 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 64 6f 4e 6f ..}.....AST doNo
35c0: 74 68 69 6e 67 45 78 70 72 65 73 73 69 6f 6e 28 thingExpression(
35d0: 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 )...{....return
35e0: 6e 65 77 20 53 74 72 28 63 75 72 72 65 6e 74 50 new Str(currentP
35f0: 6f 73 69 74 69 6f 6e 28 29 2c 20 22 28 65 6d 70 osition(), "(emp
3600: 74 79 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 ty function body
3610: 29 22 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 69 6d 6d )");...}.....imm
3620: 75 74 61 62 6c 65 28 4c 65 78 50 6f 73 69 74 69 utable(LexPositi
3630: 6f 6e 29 20 63 75 72 72 65 6e 74 50 6f 73 69 74 on) currentPosit
3640: 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 ion()...{....ret
3650: 75 72 6e 20 6c 65 78 2e 65 6d 70 74 79 20 3f 20 urn lex.empty ?
3660: 6e 75 6c 6c 20 3a 20 6c 65 78 2e 66 72 6f 6e 74 null : lex.front
3670: 2e 70 6f 73 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a .pos;...}..}....
3680: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 6d 69 unittest..{...mi
3690: 78 69 6e 20 45 61 73 79 41 53 54 3b 0d 0a 0d 0a xin EasyAST;....
36a0: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
36b0: 53 74 72 69 6e 67 28 60 31 32 33 60 29 2c 20 69 String(`123`), i
36c0: 6e 74 6c 28 31 32 33 29 29 3b 0d 0a 09 61 73 73 ntl(123));...ass
36d0: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
36e0: 6e 67 28 60 22 66 6f 6f 22 60 29 2c 20 73 74 72 ng(`"foo"`), str
36f0: 6c 28 22 66 6f 6f 22 29 29 3b 0d 0a 09 61 73 73 l("foo"));...ass
3700: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
3710: 6e 67 28 60 66 75 6e 28 29 7b 31 7d 60 29 2c 20 ng(`fun(){1}`),
3720: 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 31 29 29 29 fun([],intl(1)))
3730: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
3740: 72 73 65 53 74 72 69 6e 67 28 60 66 75 6e 28 78 rseString(`fun(x
3750: 29 7b 31 7d 60 29 2c 20 66 75 6e 28 5b 22 78 22 ){1}`), fun(["x"
3760: 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 61 ],intl(1)));...a
3770: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
3780: 72 69 6e 67 28 22 5c 75 30 33 42 42 28 29 7b 31 ring("\u03BB(){1
3790: 7d 22 29 2c 20 66 75 6e 28 5b 5d 2c 69 6e 74 6c }"), fun([],intl
37a0: 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f (1)));...assert_
37b0: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 22 eq(parseString("
37c0: 5c 75 30 33 42 42 28 78 29 7b 31 7d 22 29 2c 20 \u03BB(x){1}"),
37d0: 66 75 6e 28 5b 22 78 22 5d 2c 69 6e 74 6c 28 31 fun(["x"],intl(1
37e0: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
37f0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 3b (parseString(`1;
3800: 32 60 29 2c 20 6c 65 74 28 22 5f 22 2c 22 22 2c 2`), let("_","",
3810: 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 intl(1),intl(2))
3820: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
3830: 61 72 73 65 53 74 72 69 6e 67 28 60 31 3b 32 3b arseString(`1;2;
3840: 60 29 2c 20 6c 65 74 28 22 5f 22 2c 22 22 2c 69 `), let("_","",i
3850: 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 ntl(1),intl(2)))
3860: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
3870: 72 73 65 53 74 72 69 6e 67 28 60 6c 65 74 20 78 rseString(`let x
3880: 3d 31 20 69 6e 20 32 60 29 2c 20 6c 65 74 28 22 =1 in 2`), let("
3890: 78 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 69 6e x","",intl(1),in
38a0: 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(2)));...asser
38b0: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
38c0: 28 60 76 61 72 20 78 3d 31 3b 32 3b 60 29 2c 20 (`var x=1;2;`),
38d0: 6c 65 74 28 22 78 22 2c 22 22 2c 69 6e 74 6c 28 let("x","",intl(
38e0: 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 1),intl(2)));...
38f0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
3900: 74 72 69 6e 67 28 60 64 65 66 20 78 3d 31 60 29 tring(`def x=1`)
3910: 2c 20 6c 65 74 28 22 78 22 2c 22 22 2c 69 6e 74 , let("x","",int
3920: 6c 28 31 29 2c 76 61 72 28 22 78 22 29 29 29 3b l(1),var("x")));
3930: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
3940: 73 65 53 74 72 69 6e 67 28 60 40 76 61 6c 20 78 seString(`@val x
3950: 3d 31 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 =1;`), let("x","
3960: 40 76 61 6c 22 2c 69 6e 74 6c 28 31 29 2c 76 61 @val",intl(1),va
3970: 72 28 22 78 22 29 29 29 3b 0d 0a 09 61 73 73 65 r("x")));...asse
3980: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
3990: 67 28 60 40 74 79 70 20 78 3d 22 23 69 6e 74 22 g(`@typ x="#int"
39a0: 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 40 74 ;`), let("x","@t
39b0: 79 70 22 2c 73 74 72 6c 28 22 23 69 6e 74 22 29 yp",strl("#int")
39c0: 2c 76 61 72 28 22 78 22 29 29 29 3b 0d 0a 09 61 ,var("x")));...a
39d0: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
39e0: 72 69 6e 67 28 60 66 28 31 2c 32 29 60 29 2c 20 ring(`f(1,2)`),
39f0: 63 61 6c 6c 28 76 61 72 28 22 66 22 29 2c 69 6e call(var("f"),in
3a00: 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b tl(1),intl(2)));
3a10: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
3a20: 73 65 53 74 72 69 6e 67 28 60 69 66 28 31 29 7b seString(`if(1){
3a30: 32 7d 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2}`), call(var("
3a40: 69 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e if"),intl(1),fun
3a50: 28 5b 5d 2c 69 6e 74 6c 28 32 29 29 2c 66 75 6e ([],intl(2)),fun
3a60: 28 5b 5d 2c 73 74 72 6c 28 22 28 65 6d 70 74 79 ([],strl("(empty
3a70: 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 29 22 function body)"
3a80: 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 ))));...assert_e
3a90: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 69 q(parseString(`i
3aa0: 66 28 31 29 7b 32 7d 65 6c 73 65 7b 33 7d 60 29 f(1){2}else{3}`)
3ab0: 2c 20 63 61 6c 6c 28 76 61 72 28 22 69 66 22 29 , call(var("if")
3ac0: 2c 69 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c ,intl(1),fun([],
3ad0: 69 6e 74 6c 28 32 29 29 2c 66 75 6e 28 5b 5d 2c intl(2)),fun([],
3ae0: 69 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 09 61 73 intl(3))));...as
3af0: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
3b00: 69 6e 67 28 60 69 66 28 31 29 7b 7d 65 6c 73 65 ing(`if(1){}else
3b10: 7b 33 7d 28 29 28 29 60 29 2c 0d 0a 09 09 63 61 {3}()()`),....ca
3b20: 6c 6c 28 63 61 6c 6c 28 63 61 6c 6c 28 76 61 72 ll(call(call(var
3b30: 28 22 69 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 ("if"),intl(1),f
3b40: 75 6e 28 5b 5d 2c 73 74 72 6c 28 22 28 65 6d 70 un([],strl("(emp
3b50: 74 79 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 ty function body
3b60: 29 22 29 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c )")),fun([],intl
3b70: 28 33 29 29 29 29 29 29 3b 0d 0a 09 61 73 73 65 (3))))));...asse
3b80: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
3b90: 67 28 60 31 2b 32 2a 33 60 29 2c 20 63 61 6c 6c g(`1+2*3`), call
3ba0: 28 76 61 72 28 22 2b 22 29 2c 69 6e 74 6c 28 31 (var("+"),intl(1
3bb0: 29 2c 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c ),call(var("*"),
3bc0: 69 6e 74 6c 28 32 29 2c 69 6e 74 6c 28 33 29 29 intl(2),intl(3))
3bd0: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
3be0: 70 61 72 73 65 53 74 72 69 6e 67 28 60 28 31 2b parseString(`(1+
3bf0: 32 29 2a 33 60 29 2c 20 63 61 6c 6c 28 76 61 72 2)*3`), call(var
3c00: 28 22 2a 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 ("*"),call(var("
3c10: 2b 22 29 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c +"),intl(1),intl
3c20: 28 32 29 29 2c 69 6e 74 6c 28 33 29 29 29 3b 0d (2)),intl(3)));.
3c30: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
3c40: 65 53 74 72 69 6e 67 28 60 31 2a 28 32 2b 33 29 eString(`1*(2+3)
3c50: 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2a 22 `), call(var("*"
3c60: 29 2c 69 6e 74 6c 28 31 29 2c 63 61 6c 6c 28 76 ),intl(1),call(v
3c70: 61 72 28 22 2b 22 29 2c 69 6e 74 6c 28 32 29 2c ar("+"),intl(2),
3c80: 69 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 09 61 73 intl(3))));...as
3c90: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
3ca0: 69 6e 67 28 60 31 2a 32 2b 33 60 29 2c 20 63 61 ing(`1*2+3`), ca
3cb0: 6c 6c 28 76 61 72 28 22 2b 22 29 2c 63 61 6c 6c ll(var("+"),call
3cc0: 28 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c 28 31 (var("*"),intl(1
3cd0: 29 2c 69 6e 74 6c 28 32 29 29 2c 69 6e 74 6c 28 ),intl(2)),intl(
3ce0: 33 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 3)));...assert_e
3cf0: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 40 q(parseString(`@
3d00: 78 28 31 29 60 29 2c 20 6c 61 79 28 22 40 78 22 x(1)`), lay("@x"
3d10: 2c 20 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 61 , intl(1)));...a
3d20: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
3d30: 72 69 6e 67 28 60 66 75 6e 28 78 20 40 76 20 40 ring(`fun(x @v @
3d40: 74 2c 20 79 2c 20 7a 20 40 74 29 7b 7d 60 29 2c t, y, z @t){}`),
3d50: 0d 0a 09 09 66 75 6e 70 28 5b 70 61 72 61 6d 28 ....funp([param(
3d60: 22 78 22 2c 5b 22 40 76 22 2c 22 40 74 22 5d 29 "x",["@v","@t"])
3d70: 2c 20 70 61 72 61 6d 28 22 79 22 2c 5b 5d 29 2c , param("y",[]),
3d80: 20 70 61 72 61 6d 28 22 7a 22 2c 5b 22 40 74 22 param("z",["@t"
3d90: 5d 29 5d 2c 20 73 74 72 6c 28 22 28 65 6d 70 74 ])], strl("(empt
3da0: 79 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 29 y function body)
3db0: 22 29 29 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 ")));.....assert
3dc0: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
3dd0: 60 0d 0a 09 09 6c 65 74 20 78 20 3d 20 31 30 30 `....let x = 100
3de0: 3b 20 23 63 6f 6d 6d 65 6e 74 0d 0a 09 09 6c 65 ; #comment....le
3df0: 74 20 79 20 3d 20 32 30 30 3b 20 23 63 6f 6d 6d t y = 200; #comm
3e00: 65 6e 74 21 21 21 21 21 0d 0a 09 09 09 78 2b 79 ent!!!!!.....x+y
3e10: 0d 0a 09 60 29 2c 0d 0a 09 09 6c 65 74 28 22 78 ...`),....let("x
3e20: 22 2c 20 22 22 2c 20 69 6e 74 6c 28 31 30 30 29 ", "", intl(100)
3e30: 2c 20 6c 65 74 28 22 79 22 2c 20 22 22 2c 20 69 , let("y", "", i
3e40: 6e 74 6c 28 32 30 30 29 2c 20 63 61 6c 6c 28 76 ntl(200), call(v
3e50: 61 72 28 22 2b 22 29 2c 20 76 61 72 28 22 78 22 ar("+"), var("x"
3e60: 29 2c 20 76 61 72 28 22 79 22 29 29 29 29 0d 0a ), var("y"))))..
3e70: 09 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 .);.....assert_e
3e80: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 0d q(parseString(`.
3e90: 0a 09 09 76 61 72 20 66 61 63 20 3d 20 66 75 6e ...var fac = fun
3ea0: 28 78 29 7b 20 69 66 28 78 20 3c 3d 20 31 29 20 (x){ if(x <= 1)
3eb0: 7b 31 7d 20 65 6c 73 65 20 7b 78 2a 66 61 63 28 {1} else {x*fac(
3ec0: 78 2d 31 29 7d 20 7d 3b 0d 0a 09 09 66 61 63 28 x-1)} };....fac(
3ed0: 31 30 29 0d 0a 09 60 29 2c 0d 0a 09 09 6c 65 74 10)...`),....let
3ee0: 28 22 66 61 63 22 2c 20 22 22 2c 20 66 75 6e 28 ("fac", "", fun(
3ef0: 5b 22 78 22 5d 2c 0d 0a 09 09 09 63 61 6c 6c 28 ["x"],.....call(
3f00: 76 61 72 28 22 69 66 22 29 2c 0d 0a 09 09 09 09 var("if"),......
3f10: 63 61 6c 6c 28 76 61 72 28 22 3c 3d 22 29 2c 20 call(var("<="),
3f20: 76 61 72 28 22 78 22 29 2c 20 69 6e 74 6c 28 31 var("x"), intl(1
3f30: 29 29 2c 0d 0a 09 09 09 09 66 75 6e 28 5b 5d 2c )),......fun([],
3f40: 20 69 6e 74 6c 28 31 29 29 2c 0d 0a 09 09 09 09 intl(1)),......
3f50: 66 75 6e 28 5b 5d 2c 20 63 61 6c 6c 28 76 61 72 fun([], call(var
3f60: 28 22 2a 22 29 2c 20 76 61 72 28 22 78 22 29 2c ("*"), var("x"),
3f70: 20 63 61 6c 6c 28 76 61 72 28 22 66 61 63 22 29 call(var("fac")
3f80: 2c 63 61 6c 6c 28 76 61 72 28 22 2d 22 29 2c 76 ,call(var("-"),v
3f90: 61 72 28 22 78 22 29 2c 69 6e 74 6c 28 31 29 29 ar("x"),intl(1))
3fa0: 29 29 29 0d 0a 09 09 09 29 29 2c 0d 0a 09 09 09 ))).....)),.....
3fb0: 63 61 6c 6c 28 76 61 72 28 22 66 61 63 22 29 2c call(var("fac"),
3fc0: 69 6e 74 6c 28 31 30 29 29 0d 0a 09 09 29 0d 0a intl(10))....)..
3fd0: 09 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 .);..}....unitte
3fe0: 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 74 st..{...assert_t
3ff0: 68 72 6f 77 21 55 6e 65 78 70 65 63 74 65 64 45 hrow!UnexpectedE
4000: 4f 46 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 OF(parseString(`
4010: 31 2b 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 1+`));...assert_
4020: 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 70 throw!ParseExcep
4030: 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e 67 tion(parseString
4040: 28 60 31 2b 32 7d 60 29 29 3b 0d 0a 09 61 73 73 (`1+2}`));...ass
4050: 65 72 74 5f 74 68 72 6f 77 21 55 6e 65 78 70 65 ert_throw!Unexpe
4060: 63 74 65 64 45 4f 46 28 70 61 72 73 65 53 74 72 ctedEOF(parseStr
4070: 69 6e 67 28 60 6c 65 74 20 22 78 22 60 29 29 3b ing(`let "x"`));
4080: 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 ...assert_throw!
4090: 55 6e 65 78 70 65 63 74 65 64 45 4f 46 28 70 61 UnexpectedEOF(pa
40a0: 72 73 65 53 74 72 69 6e 67 28 60 76 61 72 60 29 rseString(`var`)
40b0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
40c0: 77 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e w!ParseException
40d0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 40 76 (parseString(`@v
40e0: 61 6c 20 78 20 3d 3d 60 29 29 3b 0d 0a 09 61 73 al x ==`));...as
40f0: 73 65 72 74 5f 74 68 72 6f 77 21 50 61 72 73 65 sert_throw!Parse
4100: 45 78 63 65 70 74 69 6f 6e 28 70 61 72 73 65 53 Exception(parseS
4110: 74 72 69 6e 67 28 60 69 66 28 29 7b 31 7d 60 29 tring(`if(){1}`)
4120: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
4130: 77 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 28 w!UnexpectedEOF(
4140: 70 61 72 73 65 53 74 72 69 6e 67 28 60 66 28 60 parseString(`f(`
4150: 29 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 ));..}....unitte
4160: 73 74 0d 0a 7b 0d 0a 09 6d 69 78 69 6e 20 45 61 st..{...mixin Ea
4170: 73 79 41 53 54 3b 0d 0a 09 61 73 73 65 72 74 5f syAST;...assert_
4180: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
4190: 64 65 66 20 66 6f 6f 28 78 29 20 7b 20 78 2b 31 def foo(x) { x+1
41a0: 20 7d 3b 20 66 6f 6f 60 29 2c 0d 0a 09 09 6c 65 }; foo`),....le
41b0: 74 28 22 66 6f 6f 22 2c 20 22 22 2c 0d 0a 09 09 t("foo", "",....
41c0: 09 66 75 6e 28 5b 22 78 22 5d 2c 20 63 61 6c 6c .fun(["x"], call
41d0: 28 76 61 72 28 22 2b 22 29 2c 20 76 61 72 28 22 (var("+"), var("
41e0: 78 22 29 2c 20 69 6e 74 6c 28 31 29 29 29 2c 0d x"), intl(1))),.
41f0: 0a 09 09 09 76 61 72 28 22 66 6f 6f 22 29 29 0d ....var("foo")).
4200: 0a 09 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f ..);.....assert_
4210: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
4220: 40 40 74 79 70 65 20 28 20 78 20 29 20 7b 20 78 @@type ( x ) { x
4230: 20 7d 60 29 2c 0d 0a 09 09 6c 65 74 28 22 40 74 }`),....let("@t
4240: 79 70 65 22 2c 20 53 79 73 74 65 6d 4c 61 79 65 ype", SystemLaye
4250: 72 2c 20 66 75 6e 28 5b 22 78 22 5d 2c 20 76 61 r, fun(["x"], va
4260: 72 28 22 78 22 29 29 2c 20 6c 61 79 28 53 79 73 r("x")), lay(Sys
4270: 74 65 6d 4c 61 79 65 72 2c 20 76 61 72 28 22 40 temLayer, var("@
4280: 74 79 70 65 22 29 29 29 20 29 3b 0d 0a 0d 0a 09 type"))) );.....
4290: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
42a0: 74 72 69 6e 67 28 60 7b 7d 60 29 2c 20 63 61 6c tring(`{}`), cal
42b0: 6c 28 76 61 72 28 22 7b 7d 22 29 29 29 3b 0d 0a l(var("{}")));..
42c0: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
42d0: 53 74 72 69 6e 67 28 60 7b 66 6f 6f 3a 31 2c 22 String(`{foo:1,"
42e0: 62 61 72 22 3a 32 7d 60 29 2c 0d 0a 09 09 63 61 bar":2}`),....ca
42f0: 6c 6c 28 76 61 72 28 22 2e 3d 22 29 2c 20 63 61 ll(var(".="), ca
4300: 6c 6c 28 76 61 72 28 22 2e 3d 22 29 2c 20 63 61 ll(var(".="), ca
4310: 6c 6c 28 76 61 72 28 22 7b 7d 22 29 29 2c 20 73 ll(var("{}")), s
4320: 74 72 6c 28 22 66 6f 6f 22 29 2c 20 69 6e 74 6c trl("foo"), intl
4330: 28 31 29 29 2c 20 73 74 72 6c 28 22 62 61 72 22 (1)), strl("bar"
4340: 29 2c 20 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 ), intl(2)));...
4350: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
4360: 74 72 69 6e 67 28 60 7b 7d 2e 66 6f 6f 60 29 2c tring(`{}.foo`),
4370: 20 63 61 6c 6c 28 76 61 72 28 22 2e 22 29 2c 63 call(var("."),c
4380: 61 6c 6c 28 76 61 72 28 22 7b 7d 22 29 29 2c 73 all(var("{}")),s
4390: 74 72 6c 28 22 66 6f 6f 22 29 29 29 3b 0d 0a 09 trl("foo")));...
43a0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
43b0: 74 72 69 6e 67 28 60 7b 7d 2e 3f 66 6f 6f 60 29 tring(`{}.?foo`)
43c0: 2c 20 63 61 6c 6c 28 76 61 72 28 22 2e 3f 22 29 , call(var(".?")
43d0: 2c 63 61 6c 6c 28 76 61 72 28 22 7b 7d 22 29 29 ,call(var("{}"))
43e0: 2c 73 74 72 6c 28 22 66 6f 6f 22 29 29 29 3b 0d ,strl("foo")));.
43f0: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
4400: 65 53 74 72 69 6e 67 28 60 78 7b 79 3a 31 7d 60 eString(`x{y:1}`
4410: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2e 3d 22 ), call(var(".="
4420: 29 2c 76 61 72 28 22 78 22 29 2c 73 74 72 6c 28 ),var("x"),strl(
4430: 22 79 22 29 2c 69 6e 74 6c 28 31 29 29 29 3b 0d "y"),intl(1)));.
4440: 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a .}....unittest..
4450: 7b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 {...assert_nothr
4460: 6f 77 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 ow(parseString(`
4470: 0d 0a 09 09 63 61 73 65 28 20 31 20 29 0d 0a 09 ....case( 1 )...
4480: 09 09 77 68 65 6e 28 78 29 7b 31 7d 0d 0a 09 60 ..when(x){1}...`
4490: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 ));...assert_not
44a0: 68 72 6f 77 28 70 61 72 73 65 53 74 72 69 6e 67 hrow(parseString
44b0: 28 60 0d 0a 09 09 63 61 73 65 28 20 31 20 29 0d (`....case( 1 ).
44c0: 0a 09 09 09 77 68 65 6e 28 7b 61 61 61 61 3a 5f ....when({aaaa:_
44d0: 7d 29 7b 31 7d 0d 0a 09 60 29 29 3b 0d 0a 7d }){1}...`));..}