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 70 6f 73 29 20 20 2f 2f 20 6c 65 aren(pos) // le
0c20: 74 20 76 61 72 20 28 20 2e 2e 2e 0d 0a 09 09 09 t var ( ........
0c30: 09 3a 20 28 65 61 74 28 22 3d 22 2c 20 22 61 66 .: (eat("=", "af
0c40: 74 65 72 20 22 7e 6b 77 64 29 2c 20 45 28 30 29 ter "~kwd), E(0)
0c50: 29 3b 20 2f 2f 20 6c 65 74 20 76 61 72 20 3d 20 ); // let var =
0c60: 2e 2e 2e 0d 0a 09 09 09 69 66 28 20 6d 6f 72 65 ........if( more
0c70: 44 65 63 6c 61 72 61 74 69 6f 6e 45 78 69 73 74 DeclarationExist
0c80: 73 28 29 20 29 0d 0a 09 09 09 09 72 65 74 75 72 s() )......retur
0c90: 6e 20 6e 65 77 20 4c 65 74 28 70 6f 73 2c 20 76 n new Let(pos, v
0ca0: 61 72 2c 20 6c 61 79 65 72 2c 20 65 2c 20 42 6f ar, layer, e, Bo
0cb0: 64 79 28 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d dy());.....else.
0cc0: 0a 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
0cd0: 4c 65 74 28 70 6f 73 2c 20 76 61 72 2c 20 6c 61 Let(pos, var, la
0ce0: 79 65 72 2c 20 65 2c 20 6e 65 77 20 56 61 72 28 yer, e, new Var(
0cf0: 76 61 72 70 6f 73 2c 20 76 61 72 29 29 3b 0d 0a varpos, var));..
0d00: 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 ..}...}.....AST
0d10: 54 6f 70 4c 65 76 65 6c 45 78 70 72 65 73 73 69 TopLevelExpressi
0d20: 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 2f 20 on()...{....///
0d30: 54 6f 70 4c 65 76 65 6c 45 78 70 72 65 73 73 69 TopLevelExpressi
0d40: 6f 6e 20 3a 3a 3d 20 45 78 70 72 65 73 73 69 6f on ::= Expressio
0d50: 6e 20 28 5b 22 3b 22 7c 22 69 6e 22 5d 20 42 6f n ([";"|"in"] Bo
0d60: 64 79 3f 29 3f 0d 0a 0d 0a 09 09 61 75 74 6f 20 dy?)?......auto
0d70: 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 pos = currentPos
0d80: 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 61 75 74 6f ition();....auto
0d90: 20 65 20 3d 20 45 28 30 29 3b 0d 0a 09 09 69 66 e = E(0);....if
0da0: 28 20 6d 6f 72 65 44 65 63 6c 61 72 61 74 69 6f ( moreDeclaratio
0db0: 6e 45 78 69 73 74 73 28 29 20 29 0d 0a 09 09 09 nExists() ).....
0dc0: 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 28 70 return new Let(p
0dd0: 6f 73 2c 20 22 5f 22 2c 20 22 22 2c 20 65 2c 20 os, "_", "", e,
0de0: 42 6f 64 79 28 29 29 3b 0d 0a 09 09 65 6c 73 65 Body());....else
0df0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 3b 0d 0a .....return e;..
0e00: 09 7d 0d 0a 0d 0a 09 70 72 69 76 61 74 65 20 62 .}.....private b
0e10: 6f 6f 6c 20 6d 6f 72 65 44 65 63 6c 61 72 61 74 ool moreDeclarat
0e20: 69 6f 6e 45 78 69 73 74 73 28 29 0d 0a 09 7b 0d ionExists()...{.
0e30: 0a 09 09 72 65 74 75 72 6e 20 28 74 72 79 45 61 ...return (tryEa
0e40: 74 28 22 3b 22 29 20 7c 7c 20 74 72 79 45 61 74 t(";") || tryEat
0e50: 28 22 69 6e 22 29 29 20 26 26 20 21 63 6c 6f 73 ("in")) && !clos
0e60: 69 6e 67 42 72 61 63 6b 65 74 28 29 3b 0d 0a 09 ingBracket();...
0e70: 7d 0d 0a 0d 0a 09 70 72 69 76 61 74 65 20 62 6f }.....private bo
0e80: 6f 6c 20 63 6c 6f 73 69 6e 67 42 72 61 63 6b 65 ol closingBracke
0e90: 74 28 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 t()...{....retur
0ea0: 6e 20 6c 65 78 2e 65 6d 70 74 79 20 7c 7c 20 21 n lex.empty || !
0eb0: 6c 65 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 64 lex.front.quoted
0ec0: 20 26 26 20 5b 22 7d 22 2c 22 29 22 2c 22 5d 22 && ["}",")","]"
0ed0: 2c 22 2c 22 5d 2e 63 61 6e 46 69 6e 64 28 6c 65 ,","].canFind(le
0ee0: 78 2e 66 72 6f 6e 74 2e 73 74 72 29 3b 0d 0a 09 x.front.str);...
0ef0: 7d 0d 0a 0d 0a 09 2f 2f 20 5b 54 4f 44 4f 5d 20 }.....// [TODO]
0f00: 6d 61 6b 65 20 74 68 69 73 20 63 75 73 74 6f 6d make this custom
0f10: 69 7a 61 62 6c 65 20 66 72 6f 6d 20 70 72 6f 67 izable from prog
0f20: 72 61 6d 0d 0a 09 70 72 69 76 61 74 65 20 73 74 ram...private st
0f30: 61 74 69 63 20 73 74 72 69 6e 67 5b 5d 5b 5d 20 atic string[][]
0f40: 6f 70 65 72 61 74 6f 72 5f 70 65 72 66 65 72 65 operator_perfere
0f50: 6e 63 65 73 20 3d 20 5b 0d 0a 09 09 5b 22 7c 7c nces = [....["||
0f60: 22 5d 2c 0d 0a 09 09 5b 22 26 26 22 5d 2c 0d 0a "],....["&&"],..
0f70: 09 09 5b 22 21 3d 22 5d 2c 0d 0a 09 09 5b 22 3d ..["!="],....["=
0f80: 3d 22 5d 2c 0d 0a 09 09 5b 22 3c 22 2c 22 3c 3d ="],....["<","<=
0f90: 22 2c 22 3e 22 2c 22 3e 3d 22 5d 2c 0d 0a 09 09 ",">",">="],....
0fa0: 5b 22 7c 22 5d 2c 0d 0a 09 09 5b 22 5e 22 5d 2c ["|"],....["^"],
0fb0: 0d 0a 09 09 5b 22 26 22 5d 2c 0d 0a 09 09 5b 22 ....["&"],....["
0fc0: 3c 3c 22 2c 20 22 3e 3e 22 2c 20 22 3c 3c 3c 22 <<", ">>", "<<<"
0fd0: 2c 20 22 3e 3e 3e 22 5d 2c 0d 0a 09 09 5b 22 2b , ">>>"],....["+
0fe0: 22 2c 22 2d 22 5d 2c 0d 0a 09 09 5b 22 7e 22 5d ","-"],....["~"]
0ff0: 2c 0d 0a 09 09 5b 22 2a 22 2c 22 2f 22 2c 22 25 ,....["*","/","%
1000: 22 5d 2c 0d 0a 09 09 5b 22 5e 5e 22 2c 22 2a 2a "],....["^^","**
1010: 22 5d 2c 0d 0a 09 09 5b 22 2e 22 2c 22 2e 3f 22 "],....[".",".?"
1020: 5d 0d 0a 09 5d 3b 0d 0a 0d 0a 09 41 53 54 20 45 ]...];.....AST E
1030: 28 73 69 7a 65 5f 74 20 6c 65 76 65 6c 29 0d 0a (size_t level)..
1040: 09 7b 0d 0a 09 09 2f 2f 2f 20 45 78 70 72 65 73 .{..../// Expres
1050: 73 69 6f 6e 20 3a 3a 3d 20 28 42 69 6e 61 72 79 sion ::= (Binary
1060: 20 6c 65 66 74 2d 61 73 73 6f 63 69 61 74 69 76 left-associativ
1070: 65 20 6f 70 65 72 61 74 6f 72 73 20 6f 76 65 72 e operators over
1080: 29 20 46 75 6e 63 61 6c 6c 0d 0a 0d 0a 09 09 41 ) Funcall......A
1090: 53 54 20 72 65 63 28 41 53 54 20 6c 68 73 29 0d ST rec(AST lhs).
10a0: 0a 09 09 7b 0d 0a 09 09 09 69 66 28 20 63 6c 6f ...{.....if( clo
10b0: 73 69 6e 67 42 72 61 63 6b 65 74 28 29 20 29 0d singBracket() ).
10c0: 0a 09 09 09 09 72 65 74 75 72 6e 20 6c 68 73 3b .....return lhs;
10d0: 0d 0a 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 20 .......auto pos
10e0: 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f = currentPositio
10f0: 6e 28 29 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 n();.....foreach
1100: 28 6f 70 3b 20 6f 70 65 72 61 74 6f 72 5f 70 65 (op; operator_pe
1110: 72 66 65 72 65 6e 63 65 73 5b 6c 65 76 65 6c 5d rferences[level]
1120: 29 0d 0a 09 09 09 09 69 66 28 20 74 72 79 45 61 )......if( tryEa
1130: 74 28 6f 70 29 20 29 0d 0a 09 09 09 09 09 69 66 t(op) ).......if
1140: 28 20 6f 70 5b 30 5d 3d 3d 27 2e 27 20 29 0d 0a ( op[0]=='.' )..
1150: 09 09 09 09 09 09 72 65 74 75 72 6e 20 72 65 63 ......return rec
1160: 28 0d 0a 09 09 09 09 09 09 09 6e 65 77 20 41 70 (.........new Ap
1170: 70 28 6c 68 73 2e 70 6f 73 2c 20 6e 65 77 20 56 p(lhs.pos, new V
1180: 61 72 28 70 6f 73 2c 20 6f 70 29 2c 20 6c 68 73 ar(pos, op), lhs
1190: 2c 20 70 61 72 73 65 49 64 28 29 29 29 3b 0d 0a , parseId()));..
11a0: 09 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 .....else.......
11b0: 09 72 65 74 75 72 6e 20 72 65 63 28 0d 0a 09 09 .return rec(....
11c0: 09 09 09 09 09 6e 65 77 20 41 70 70 28 6c 68 73 .....new App(lhs
11d0: 2e 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 6f .pos, new Var(po
11e0: 73 2c 20 6f 70 29 2c 20 6c 68 73 2c 20 45 28 6c s, op), lhs, E(l
11f0: 65 76 65 6c 2b 31 29 29 29 3b 0d 0a 09 09 09 72 evel+1)));.....r
1200: 65 74 75 72 6e 20 6c 68 73 3b 0d 0a 09 09 7d 0d eturn lhs;....}.
1210: 0a 0d 0a 09 09 69 66 28 20 6f 70 65 72 61 74 6f .....if( operato
1220: 72 5f 70 65 72 66 65 72 65 6e 63 65 73 2e 6c 65 r_perferences.le
1230: 6e 67 74 68 20 3c 3d 20 6c 65 76 65 6c 20 29 0d ngth <= level ).
1240: 0a 09 09 09 72 65 74 75 72 6e 20 46 75 6e 63 61 ....return Funca
1250: 6c 6c 28 29 3b 0d 0a 09 09 65 6c 73 65 0d 0a 09 ll();....else...
1260: 09 09 72 65 74 75 72 6e 20 72 65 63 28 45 28 6c ..return rec(E(l
1270: 65 76 65 6c 2b 31 29 29 3b 0d 0a 09 7d 0d 0a 0d evel+1));...}...
1280: 0a 09 41 53 54 20 46 75 6e 63 61 6c 6c 28 29 0d ..AST Funcall().
1290: 0a 09 7b 0d 0a 09 09 2f 2f 2f 20 46 75 6e 63 61 ..{..../// Funca
12a0: 6c 6c 20 3a 3a 3d 20 42 61 73 65 45 78 70 72 65 ll ::= BaseExpre
12b0: 73 73 69 6f 6e 20 5b 22 28 22 20 45 78 70 72 65 ssion ["(" Expre
12c0: 73 73 69 6f 6e 25 22 2c 22 20 22 29 22 20 7c 20 ssion%"," ")" |
12d0: 22 7b 22 20 45 4e 54 52 49 45 53 20 22 7d 22 5d "{" ENTRIES "}"]
12e0: 2a 0d 0a 0d 0a 09 09 61 75 74 6f 20 65 20 3d 20 *......auto e =
12f0: 42 61 73 65 45 78 70 72 65 73 73 69 6f 6e 28 29 BaseExpression()
1300: 3b 0d 0a 09 09 66 6f 72 28 3b 3b 29 0d 0a 09 09 ;....for(;;)....
1310: 09 69 66 28 20 74 72 79 45 61 74 28 22 28 22 29 .if( tryEat("(")
1320: 20 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 61 75 ).....{......au
1330: 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 to pos = current
1340: 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 Position();.....
1350: 09 41 53 54 5b 5d 20 61 72 67 73 3b 0d 0a 09 09 .AST[] args;....
1360: 09 09 77 68 69 6c 65 28 20 21 74 72 79 45 61 74 ..while( !tryEat
1370: 28 22 29 22 29 20 29 20 7b 0d 0a 09 09 09 09 09 (")") ) {.......
1380: 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d if( lex.empty ).
1390: 0a 09 09 09 09 09 09 74 68 72 6f 77 20 67 65 6e .......throw gen
13a0: 65 78 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 ex!UnexpectedEOF
13b0: 28 70 6f 73 2c 20 22 63 6c 6f 73 69 6e 67 20 27 (pos, "closing '
13c0: 29 27 20 66 6f 72 20 61 72 67 75 6d 65 6e 74 73 )' for arguments
13d0: 20 6e 6f 74 20 66 6f 75 6e 64 22 29 3b 0d 0a 09 not found");...
13e0: 09 09 09 09 61 72 67 73 20 7e 3d 20 45 28 30 29 ....args ~= E(0)
13f0: 3b 0d 0a 09 09 09 09 09 69 66 28 20 21 74 72 79 ;.......if( !try
1400: 45 61 74 28 22 2c 22 29 20 29 20 7b 0d 0a 09 09 Eat(",") ) {....
1410: 09 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 ....eat(")", "af
1420: 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 ter function par
1430: 61 6d 65 74 65 72 73 22 29 3b 0d 0a 09 09 09 09 ameters");......
1440: 09 09 62 72 65 61 6b 3b 0d 0a 09 09 09 09 09 7d ..break;.......}
1450: 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 09 65 20 3d ......}......e =
1460: 20 6e 65 77 20 41 70 70 28 65 2e 70 6f 73 2c 20 new App(e.pos,
1470: 65 2c 20 61 72 67 73 29 3b 0d 0a 09 09 09 7d 0d e, args);.....}.
1480: 0a 09 09 09 65 6c 73 65 20 69 66 28 20 74 72 79 ....else if( try
1490: 45 61 74 28 22 7b 22 29 20 29 0d 0a 09 09 09 7b Eat("{") ).....{
14a0: 0d 0a 09 09 09 09 65 20 3d 20 70 61 72 73 65 54 ......e = parseT
14b0: 61 62 6c 65 53 65 74 41 66 74 65 72 42 72 61 63 ableSetAfterBrac
14c0: 65 28 65 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 e(e);.....}.....
14d0: 65 6c 73 65 0d 0a 09 09 09 09 62 72 65 61 6b 3b else......break;
14e0: 0d 0a 09 09 72 65 74 75 72 6e 20 65 3b 0d 0a 09 ....return e;...
14f0: 7d 0d 0a 0d 0a 09 41 53 54 20 70 61 72 73 65 54 }.....AST parseT
1500: 61 62 6c 65 53 65 74 41 66 74 65 72 42 72 61 63 ableSetAfterBrac
1510: 65 28 41 53 54 20 65 29 0d 0a 09 7b 0d 0a 09 09 e(AST e)...{....
1520: 2f 2f 2f 20 54 61 62 6c 65 53 65 74 20 3a 3a 3d /// TableSet ::=
1530: 20 22 7b 22 20 28 49 44 20 22 3a 22 20 45 29 20 "{" (ID ":" E)
1540: 25 20 22 2c 22 20 22 7d 22 0d 0a 09 09 0d 0a 09 % "," "}".......
1550: 09 69 66 28 20 74 72 79 45 61 74 28 22 7d 22 29 .if( tryEat("}")
1560: 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 3b ).....return e;
1570: 0d 0a 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 ....auto pos = c
1580: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 urrentPosition()
1590: 3b 0d 0a 09 09 66 6f 72 28 3b 3b 29 0d 0a 09 09 ;....for(;;)....
15a0: 7b 0d 0a 09 09 09 73 74 72 69 6e 67 20 6b 65 79 {.....string key
15b0: 20 3d 20 65 61 74 49 64 28 22 66 6f 72 20 74 61 = eatId("for ta
15c0: 62 6c 65 20 6b 65 79 22 2c 20 41 6c 6c 6f 77 51 ble key", AllowQ
15d0: 75 6f 74 65 64 29 3b 0d 0a 09 09 09 65 61 74 28 uoted);.....eat(
15e0: 22 3a 22 2c 20 22 61 66 74 65 72 20 74 61 62 6c ":", "after tabl
15f0: 65 20 6b 65 79 22 29 3b 0d 0a 09 09 09 41 53 54 e key");.....AST
1600: 20 76 61 6c 20 3d 20 45 28 30 29 3b 0d 0a 09 09 val = E(0);....
1610: 09 65 20 3d 20 6e 65 77 20 41 70 70 28 70 6f 73 .e = new App(pos
1620: 2c 20 6e 65 77 20 56 61 72 28 70 6f 73 2c 22 2e , new Var(pos,".
1630: 3d 22 29 2c 0d 0a 09 09 09 09 09 65 2c 20 6e 65 ="),.......e, ne
1640: 77 20 53 74 72 28 70 6f 73 2c 6b 65 79 29 2c 20 w Str(pos,key),
1650: 76 61 6c 29 3b 0d 0a 09 09 09 69 66 28 20 21 74 val);.....if( !t
1660: 72 79 45 61 74 28 22 2c 22 29 20 29 0d 0a 09 09 ryEat(",") )....
1670: 09 7b 0d 0a 09 09 09 09 65 61 74 28 22 7d 22 2c .{......eat("}",
1680: 20 22 66 6f 72 20 74 68 65 20 65 6e 64 20 6f 66 "for the end of
1690: 20 74 61 62 6c 65 20 6c 69 74 65 72 61 6c 22 29 table literal")
16a0: 3b 0d 0a 09 09 09 09 62 72 65 61 6b 3b 0d 0a 09 ;......break;...
16b0: 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 ..}....}....retu
16c0: 72 6e 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 rn e;...}.....AS
16d0: 54 20 42 61 73 65 45 78 70 72 65 73 73 69 6f 6e T BaseExpression
16e0: 28 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 ()...{....if( le
16f0: 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 x.empty ).....th
1700: 72 6f 77 20 67 65 6e 65 78 21 55 6e 65 78 70 65 row genex!Unexpe
1710: 63 74 65 64 45 4f 46 28 63 75 72 72 65 6e 74 50 ctedEOF(currentP
1720: 6f 73 69 74 69 6f 6e 28 29 2c 20 22 52 65 61 63 osition(), "Reac
1730: 68 65 64 20 45 4f 46 20 77 68 65 6e 20 74 72 69 hed EOF when tri
1740: 65 64 20 74 6f 20 70 61 72 73 65 20 61 6e 20 65 ed to parse an e
1750: 78 70 72 65 73 73 69 6f 6e 22 29 3b 0d 0a 0d 0a xpression");....
1760: 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 6c 65 78 ..auto pos = lex
1770: 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d 0a 09 09 69 .front.pos;....i
1780: 66 28 20 6c 65 78 2e 66 72 6f 6e 74 2e 71 75 6f f( lex.front.quo
1790: 74 65 64 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 73 ted )....{.....s
17a0: 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 cope(exit) lex.p
17b0: 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 09 72 65 74 opFront;.....ret
17c0: 75 72 6e 20 6e 65 77 20 53 74 72 28 70 6f 73 2c urn new Str(pos,
17d0: 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 3b lex.front.str);
17e0: 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 69 73 4e ....}....if( isN
17f0: 75 6d 62 65 72 28 6c 65 78 2e 66 72 6f 6e 74 2e umber(lex.front.
1800: 73 74 72 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 str) )....{.....
1810: 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e scope(exit) lex.
1820: 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 09 72 65 popFront;.....re
1830: 74 75 72 6e 20 6e 65 77 20 49 6e 74 28 70 6f 73 turn new Int(pos
1840: 2c 20 42 69 67 49 6e 74 28 63 61 73 74 28 73 74 , BigInt(cast(st
1850: 72 69 6e 67 29 6c 65 78 2e 66 72 6f 6e 74 2e 73 ring)lex.front.s
1860: 74 72 29 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 tr));....}....if
1870: 28 20 74 72 79 45 61 74 28 22 40 22 29 20 29 0d ( tryEat("@") ).
1880: 0a 09 09 7b 0d 0a 09 09 09 61 75 74 6f 20 6c 61 ...{.....auto la
1890: 79 20 3d 20 22 40 22 7e 65 61 74 49 64 28 22 66 y = "@"~eatId("f
18a0: 6f 72 20 6c 61 79 65 72 20 49 44 22 29 3b 0d 0a or layer ID");..
18b0: 09 09 09 65 61 74 28 22 28 22 2c 20 22 66 6f 72 ...eat("(", "for
18c0: 20 6c 61 79 65 72 65 64 20 65 78 65 63 75 74 69 layered executi
18d0: 6f 6e 22 29 3b 0d 0a 09 09 09 61 75 74 6f 20 65 on");.....auto e
18e0: 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 09 65 = Body();.....e
18f0: 61 74 28 22 29 22 2c 20 22 61 66 74 65 72 20 22 at(")", "after "
1900: 7e 6c 61 79 7e 22 28 2e 2e 2e 22 29 3b 0d 0a 09 ~lay~"(...");...
1910: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 61 79 ..return new Lay
1920: 28 70 6f 73 2c 20 6c 61 79 2c 20 65 29 3b 0d 0a (pos, lay, e);..
1930: 09 09 7d 0d 0a 09 09 69 66 28 20 74 72 79 45 61 ..}....if( tryEa
1940: 74 28 22 28 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 t("(") )....{...
1950: 09 09 61 75 74 6f 20 65 20 3d 20 42 6f 64 79 28 ..auto e = Body(
1960: 29 3b 0d 0a 09 09 09 65 61 74 28 22 29 22 2c 20 );.....eat(")",
1970: 22 61 66 74 65 72 20 70 61 72 65 6e 74 68 65 73 "after parenthes
1980: 69 7a 65 64 20 65 78 70 72 65 73 73 69 6f 6e 22 ized expression"
1990: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 3b );.....return e;
19a0: 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 74 72 79 ....}....if( try
19b0: 45 61 74 28 22 7b 22 29 20 29 0d 0a 09 09 7b 0d Eat("{") )....{.
19c0: 0a 09 09 09 41 53 54 20 65 20 3d 20 6e 65 77 20 ....AST e = new
19d0: 41 70 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 App(pos, new Var
19e0: 28 70 6f 73 2c 22 7b 7d 22 29 29 3b 0d 0a 09 09 (pos,"{}"));....
19f0: 09 72 65 74 75 72 6e 20 70 61 72 73 65 54 61 62 .return parseTab
1a00: 6c 65 53 65 74 41 66 74 65 72 42 72 61 63 65 28 leSetAfterBrace(
1a10: 65 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 e);....}....if(
1a20: 74 72 79 45 61 74 28 22 69 66 22 29 20 29 0d 0a tryEat("if") )..
1a30: 09 09 7b 0d 0a 09 09 09 72 65 74 75 72 6e 20 70 ..{.....return p
1a40: 61 72 73 65 49 66 41 66 74 65 72 49 66 28 70 6f arseIfAfterIf(po
1a50: 73 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 s);....}....if(
1a60: 74 72 79 45 61 74 28 22 63 61 73 65 22 29 20 29 tryEat("case") )
1a70: 0d 0a 09 09 7b 0d 0a 09 09 09 72 65 74 75 72 6e ....{.....return
1a80: 20 70 61 72 73 65 50 61 74 74 65 72 6e 4d 61 74 parsePatternMat
1a90: 63 68 28 70 6f 73 29 3b 0d 0a 09 09 7d 0d 0a 09 ch(pos);....}...
1aa0: 09 69 66 28 20 74 72 79 45 61 74 28 22 66 75 6e .if( tryEat("fun
1ab0: 22 29 20 7c 7c 20 74 72 79 45 61 74 28 22 5c 75 ") || tryEat("\u
1ac0: 30 33 42 42 22 29 20 29 20 2f 2f 20 6c 61 6d 62 03BB") ) // lamb
1ad0: 64 61 21 21 0d 0a 09 09 7b 0d 0a 09 09 09 65 61 da!!....{.....ea
1ae0: 74 28 22 28 22 2c 20 22 61 66 74 65 72 20 66 75 t("(", "after fu
1af0: 6e 22 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 n");.....return
1b00: 70 61 72 73 65 4c 61 6d 62 64 61 41 66 74 65 72 parseLambdaAfter
1b10: 4f 70 65 6e 50 61 72 65 6e 28 70 6f 73 29 3b 0d OpenParen(pos);.
1b20: 0a 09 09 7d 0d 0a 09 09 73 63 6f 70 65 28 65 78 ...}....scope(ex
1b30: 69 74 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 it) lex.popFront
1b40: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 ;....return new
1b50: 56 61 72 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f Var(pos, lex.fro
1b60: 6e 74 2e 73 74 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a nt.str);...}....
1b70: 09 41 53 54 20 70 61 72 73 65 49 66 41 66 74 65 .AST parseIfAfte
1b80: 72 49 66 28 4c 65 78 50 6f 73 69 74 69 6f 6e 20 rIf(LexPosition
1b90: 70 6f 73 29 0d 0a 09 7b 0d 0a 09 09 65 61 74 28 pos)...{....eat(
1ba0: 22 28 22 2c 20 22 61 66 74 65 72 20 69 66 22 29 "(", "after if")
1bb0: 3b 0d 0a 09 09 61 75 74 6f 20 63 6f 6e 64 20 3d ;....auto cond =
1bc0: 20 45 28 30 29 3b 0d 0a 09 09 65 61 74 28 22 29 E(0);....eat(")
1bd0: 22 2c 20 22 61 66 74 65 72 20 69 66 20 63 6f 6e ", "after if con
1be0: 64 69 74 69 6f 6e 22 29 3b 0d 0a 09 09 61 75 74 dition");....aut
1bf0: 6f 20 74 68 65 6e 50 6f 73 20 3d 20 6c 65 78 2e o thenPos = lex.
1c00: 66 72 6f 6e 74 2e 70 6f 73 3b 0d 0a 09 09 41 53 front.pos;....AS
1c10: 54 20 74 68 3b 0d 0a 09 09 69 66 28 20 74 72 79 T th;....if( try
1c20: 45 61 74 28 22 7b 22 29 20 29 20 7b 0d 0a 09 09 Eat("{") ) {....
1c30: 09 74 68 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 .th = Body();...
1c40: 09 09 65 61 74 28 22 7d 22 2c 20 22 61 66 74 65 ..eat("}", "afte
1c50: 72 20 69 66 2d 74 68 65 6e 20 62 6f 64 79 22 29 r if-then body")
1c60: 3b 0d 0a 09 09 7d 20 65 6c 73 65 20 7b 0d 0a 09 ;....} else {...
1c70: 09 09 74 68 20 3d 20 45 28 30 29 3b 0d 0a 09 09 ..th = E(0);....
1c80: 7d 0d 0a 09 09 61 75 74 6f 20 65 6c 20 3d 20 64 }....auto el = d
1c90: 6f 4e 6f 74 68 69 6e 67 45 78 70 72 65 73 73 69 oNothingExpressi
1ca0: 6f 6e 28 29 3b 0d 0a 09 09 61 75 74 6f 20 65 6c on();....auto el
1cb0: 73 65 50 6f 73 20 3d 20 28 6c 65 78 2e 65 6d 70 sePos = (lex.emp
1cc0: 74 79 20 3f 20 4c 65 78 50 6f 73 69 74 69 6f 6e ty ? LexPosition
1cd0: 2e 64 75 6d 6d 79 20 3a 20 6c 65 78 2e 66 72 6f .dummy : lex.fro
1ce0: 6e 74 2e 70 6f 73 29 3b 0d 0a 09 09 69 66 28 20 nt.pos);....if(
1cf0: 74 72 79 45 61 74 28 22 65 6c 73 65 22 29 20 29 tryEat("else") )
1d00: 0d 0a 09 09 09 69 66 28 20 74 72 79 45 61 74 28 .....if( tryEat(
1d10: 22 7b 22 29 20 29 20 7b 0d 0a 09 09 09 09 65 6c "{") ) {......el
1d20: 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 09 09 = Body();......
1d30: 65 61 74 28 22 7d 22 2c 20 22 61 66 74 65 72 20 eat("}", "after
1d40: 65 6c 73 65 20 62 6f 64 79 22 29 3b 0d 0a 09 09 else body");....
1d50: 09 7d 20 65 6c 73 65 20 7b 0d 0a 09 09 09 09 65 .} else {......e
1d60: 6c 20 3d 20 45 28 30 29 3b 0d 0a 09 09 09 7d 0d l = E(0);.....}.
1d70: 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 41 70 ...return new Ap
1d80: 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 p(pos, new Var(p
1d90: 6f 73 2c 22 69 66 22 29 2c 20 63 6f 6e 64 2c 20 os,"if"), cond,
1da0: 6e 65 77 20 46 75 6e 28 74 68 65 6e 50 6f 73 2c new Fun(thenPos,
1db0: 5b 5d 2c 74 68 29 2c 20 6e 65 77 20 46 75 6e 28 [],th), new Fun(
1dc0: 65 6c 73 65 50 6f 73 2c 5b 5d 2c 65 6c 29 29 3b elsePos,[],el));
1dd0: 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 70 61 72 ...}.....AST par
1de0: 73 65 50 61 74 74 65 72 6e 4d 61 74 63 68 28 4c sePatternMatch(L
1df0: 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 29 0d exPosition pos).
1e00: 0a 09 7b 0d 0a 09 09 2f 2f 20 20 20 63 61 73 65 ..{....// case
1e10: 20 70 6d 45 78 70 72 20 43 41 53 45 53 0d 0a 09 pmExpr CASES...
1e20: 09 2f 2f 3d 3d 3e 0d 0a 09 09 2f 2f 20 20 20 6c .//==>....// l
1e30: 65 74 20 70 6d 56 61 72 20 3d 20 70 6d 45 78 70 et pmVar = pmExp
1e40: 72 20 69 6e 20 28 2e 2e 2e 20 6c 65 74 20 70 6d r in (... let pm
1e50: 54 72 79 46 69 72 73 74 20 3d 20 2e 2e 2e 20 69 TryFirst = ... i
1e60: 6e 20 70 6d 54 72 79 46 69 72 73 74 28 29 29 0d n pmTryFirst()).
1e70: 0a 09 09 41 53 54 20 20 20 70 6d 45 78 70 72 20 ...AST pmExpr
1e80: 3d 20 45 28 30 29 3b 0d 0a 09 09 73 74 72 69 6e = E(0);....strin
1e90: 67 20 70 6d 56 61 72 20 3d 20 66 72 65 73 68 56 g pmVar = freshV
1ea0: 61 72 4e 61 6d 65 28 29 3b 0d 0a 09 09 73 74 72 arName();....str
1eb0: 69 6e 67 20 70 6d 54 72 79 46 69 72 73 74 20 3d ing pmTryFirst =
1ec0: 20 66 72 65 73 68 56 61 72 4e 61 6d 65 28 29 3b freshVarName();
1ed0: 0d 0a 09 09 41 53 54 20 20 20 70 6d 42 6f 64 79 ....AST pmBody
1ee0: 20 3d 20 70 61 72 73 65 50 61 74 74 65 72 6e 4d = parsePatternM
1ef0: 61 74 63 68 43 61 73 65 73 28 70 6d 56 61 72 2c atchCases(pmVar,
1f00: 20 70 6d 54 72 79 46 69 72 73 74 2c 0d 0a 09 09 pmTryFirst,....
1f10: 09 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 .new App(pos, ne
1f20: 77 20 56 61 72 28 70 6f 73 2c 20 70 6d 54 72 79 w Var(pos, pmTry
1f30: 46 69 72 73 74 29 29 29 3b 0d 0a 09 09 72 65 74 First)));....ret
1f40: 75 72 6e 20 6e 65 77 20 4c 65 74 28 70 6f 73 2c urn new Let(pos,
1f50: 20 70 6d 56 61 72 2c 20 5b 5d 2c 20 70 6d 45 78 pmVar, [], pmEx
1f60: 70 72 2c 20 70 6d 42 6f 64 79 29 3b 0d 0a 09 7d pr, pmBody);...}
1f70: 0d 0a 0d 0a 09 41 53 54 20 70 61 72 73 65 50 61 .....AST parsePa
1f80: 74 74 65 72 6e 4d 61 74 63 68 43 61 73 65 73 28 tternMatchCases(
1f90: 73 74 72 69 6e 67 20 70 6d 56 61 72 2c 20 73 74 string pmVar, st
1fa0: 72 69 6e 67 20 74 72 79 54 68 69 73 42 72 61 6e ring tryThisBran
1fb0: 63 68 56 61 72 2c 20 41 53 54 20 74 68 65 6e 44 chVar, AST thenD
1fc0: 6f 54 68 69 73 29 0d 0a 09 7b 0d 0a 09 09 2f 2f oThis)...{....//
1fd0: 20 20 20 20 77 68 65 6e 20 70 61 74 3a 20 63 42 when pat: cB
1fe0: 6f 64 79 0d 0a 09 09 2f 2f 3d 3d 3e 0d 0a 09 09 ody....//==>....
1ff0: 2f 2f 20 20 20 20 2e 2e 2e 20 6c 65 74 20 66 61 // ... let fa
2000: 69 6c 42 72 61 6e 63 68 56 61 72 20 3d 20 2e 2e ilBranchVar = ..
2010: 2e 20 69 6e 0d 0a 09 09 2f 2f 20 20 20 20 6c 65 . in....// le
2020: 74 20 74 72 79 54 68 69 73 42 72 61 6e 63 68 56 t tryThisBranchV
2030: 61 72 20 3d 20 66 75 6e 28 29 7b 20 69 66 28 74 ar = fun(){ if(t
2040: 65 73 74 29 7b 63 42 6f 64 79 7d 65 6c 73 65 7b est){cBody}else{
2050: 66 61 69 6c 42 72 61 6e 63 68 56 61 72 28 29 7d failBranchVar()}
2060: 20 7d 20 69 6e 20 74 68 65 6e 44 6f 54 68 69 73 } in thenDoThis
2070: 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 22 ....if( tryEat("
2080: 77 68 65 6e 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 when") )....{...
2090: 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 ..auto pos = cur
20a0: 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d rentPosition();.
20b0: 0a 09 09 09 73 74 72 69 6e 67 20 66 61 69 6c 42 ....string failB
20c0: 72 61 6e 63 68 56 61 72 20 3d 20 66 72 65 73 68 ranchVar = fresh
20d0: 56 61 72 4e 61 6d 65 28 29 3b 0d 0a 0d 0a 09 09 VarName();......
20e0: 09 61 75 74 6f 20 70 72 20 3d 20 70 61 72 73 65 .auto pr = parse
20f0: 50 61 74 74 65 72 6e 28 29 3b 0d 0a 09 09 09 65 Pattern();.....e
2100: 61 74 28 22 3a 22 2c 20 22 61 66 74 65 72 20 77 at(":", "after w
2110: 68 65 6e 20 70 61 74 74 65 72 6e 22 29 3b 0d 0a hen pattern");..
2120: 09 09 09 41 53 54 20 63 42 6f 64 79 20 3d 20 45 ...AST cBody = E
2130: 28 30 29 3b 0d 0a 09 09 09 41 53 54 20 6a 75 64 (0);.....AST jud
2140: 67 65 6d 65 6e 74 20 3d 20 6e 65 77 20 41 70 70 gement = new App
2150: 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 6f (pos, new Var(po
2160: 73 2c 20 22 69 66 22 29 2c 0d 0a 09 09 09 09 70 s, "if"),......p
2170: 70 54 65 73 74 28 70 6d 56 61 72 2c 20 70 72 29 pTest(pmVar, pr)
2180: 2c 20 6e 65 77 20 46 75 6e 28 70 6f 73 2c 5b 5d , new Fun(pos,[]
2190: 2c 70 70 42 69 6e 64 28 70 6d 56 61 72 2c 20 70 ,ppBind(pmVar, p
21a0: 72 2c 20 63 42 6f 64 79 29 29 2c 0d 0a 09 09 09 r, cBody)),.....
21b0: 09 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 66 61 .new Var(pos, fa
21c0: 69 6c 42 72 61 6e 63 68 56 61 72 29 29 3b 0d 0a ilBranchVar));..
21d0: 09 09 09 72 65 74 75 72 6e 20 70 61 72 73 65 50 ...return parseP
21e0: 61 74 74 65 72 6e 4d 61 74 63 68 43 61 73 65 73 atternMatchCases
21f0: 28 70 6d 56 61 72 2c 20 66 61 69 6c 42 72 61 6e (pmVar, failBran
2200: 63 68 56 61 72 2c 20 0d 0a 09 09 09 09 6e 65 77 chVar, ......new
2210: 20 4c 65 74 28 70 6f 73 2c 20 74 72 79 54 68 69 Let(pos, tryThi
2220: 73 42 72 61 6e 63 68 56 61 72 2c 20 5b 5d 2c 0d sBranchVar, [],.
2230: 0a 09 09 09 09 09 6e 65 77 20 46 75 6e 28 70 6f ......new Fun(po
2240: 73 2c 5b 5d 2c 6a 75 64 67 65 6d 65 6e 74 29 2c s,[],judgement),
2250: 20 74 68 65 6e 44 6f 54 68 69 73 29 0d 0a 09 09 thenDoThis)....
2260: 09 29 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 .);....}....else
2270: 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 74 6f 20 70 ....{.....auto p
2280: 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 os = currentPosi
2290: 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 41 53 54 20 tion();.....AST
22a0: 64 6f 4e 6f 74 68 69 6e 67 20 3d 20 6e 65 77 20 doNothing = new
22b0: 46 75 6e 28 70 6f 73 2c 5b 5d 2c 0d 0a 09 09 09 Fun(pos,[],.....
22c0: 09 6e 65 77 20 53 74 72 28 70 6f 73 2c 20 73 70 .new Str(pos, sp
22d0: 72 69 6e 74 66 21 22 28 70 61 74 74 65 72 6e 20 rintf!"(pattern
22e0: 6d 61 74 63 68 20 66 61 69 6c 75 72 65 3a 25 73 match failure:%s
22f0: 29 22 28 70 6f 73 29 29 29 3b 0d 0a 09 09 09 72 )"(pos)));.....r
2300: 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 28 63 75 eturn new Let(cu
2310: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c rrentPosition(),
2320: 20 74 72 79 54 68 69 73 42 72 61 6e 63 68 56 61 tryThisBranchVa
2330: 72 2c 20 5b 5d 2c 20 64 6f 4e 6f 74 68 69 6e 67 r, [], doNothing
2340: 2c 20 74 68 65 6e 44 6f 54 68 69 73 29 3b 0d 0a , thenDoThis);..
2350: 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 2f 2f 20 68 61 ..}...}....// ha
2360: 67 65 73 68 69 6b 75 20 74 65 6e 75 6b 69 0d 0a geshiku tenuki..
2370: 09 61 62 73 74 72 61 63 74 20 63 6c 61 73 73 20 .abstract class
2380: 53 69 6e 67 6c 65 50 61 74 74 65 72 6e 0d 0a 09 SinglePattern...
2390: 7b 0d 0a 09 09 73 74 72 69 6e 67 5b 5d 20 70 61 {....string[] pa
23a0: 74 68 3b 0d 0a 09 09 6d 69 78 69 6e 20 53 69 6d th;....mixin Sim
23b0: 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 09 70 72 69 pleClass;....pri
23c0: 76 61 74 65 20 41 53 54 20 61 63 63 65 73 73 28 vate AST access(
23d0: 73 74 72 69 6e 67 20 70 6d 56 61 72 2c 20 73 74 string pmVar, st
23e0: 72 69 6e 67 5b 5d 20 70 61 74 68 29 20 7b 0d 0a ring[] path) {..
23f0: 09 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 ...auto pos = cu
2400: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b rrentPosition();
2410: 0d 0a 09 09 09 41 53 54 20 65 20 3d 20 6e 65 77 .....AST e = new
2420: 20 56 61 72 28 70 6f 73 2c 20 70 6d 56 61 72 29 Var(pos, pmVar)
2430: 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 70 3b ;.....foreach(p;
2440: 20 70 61 74 68 29 0d 0a 09 09 09 09 65 20 3d 20 path)......e =
2450: 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 77 new App(pos, new
2460: 20 56 61 72 28 70 6f 73 2c 20 22 2e 22 29 2c 20 Var(pos, "."),
2470: 65 2c 20 6e 65 77 20 53 74 72 28 70 6f 73 2c 20 e, new Str(pos,
2480: 70 29 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 p));.....return
2490: 65 3b 0d 0a 09 09 7d 0d 0a 09 09 70 72 69 76 61 e;....}....priva
24a0: 74 65 20 41 53 54 20 68 61 73 28 41 53 54 20 65 te AST has(AST e
24b0: 2c 20 73 74 72 69 6e 67 20 6b 29 20 7b 0d 0a 09 , string k) {...
24c0: 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 ..auto pos = cur
24d0: 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d rentPosition();.
24e0: 0a 09 09 09 72 65 74 75 72 6e 20 6f 70 41 6e 64 ....return opAnd
24f0: 41 6e 64 28 0d 0a 09 09 09 09 6e 65 77 20 41 70 And(......new Ap
2500: 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 p(pos, new Var(p
2510: 6f 73 2c 20 22 5f 69 73 74 61 62 6c 65 22 29 2c os, "_istable"),
2520: 20 65 29 2c 0d 0a 09 09 09 09 6e 65 77 20 41 70 e),......new Ap
2530: 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 p(pos, new Var(p
2540: 6f 73 2c 20 22 2e 3f 22 29 2c 20 65 2c 20 6e 65 os, ".?"), e, ne
2550: 77 20 53 74 72 28 70 6f 73 2c 20 6b 29 29 0d 0a w Str(pos, k))..
2560: 09 09 09 29 3b 0d 0a 09 09 7d 0d 0a 09 09 70 72 ...);....}....pr
2570: 69 76 61 74 65 20 41 53 54 20 6f 70 41 6e 64 41 ivate AST opAndA
2580: 6e 64 28 41 53 54 20 61 2c 20 41 53 54 20 62 29 nd(AST a, AST b)
2590: 20 7b 0d 0a 09 09 09 69 66 28 20 61 20 69 73 20 {.....if( a is
25a0: 6e 75 6c 6c 20 29 20 72 65 74 75 72 6e 20 62 3b null ) return b;
25b0: 0d 0a 09 09 09 69 66 28 20 62 20 69 73 20 6e 75 .....if( b is nu
25c0: 6c 6c 20 29 20 72 65 74 75 72 6e 20 61 3b 0d 0a ll ) return a;..
25d0: 09 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 ...auto pos = cu
25e0: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b rrentPosition();
25f0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
2600: 41 70 70 28 70 6f 73 2c 0d 0a 09 09 09 09 6e 65 App(pos,......ne
2610: 77 20 56 61 72 28 70 6f 73 2c 20 22 69 66 22 29 w Var(pos, "if")
2620: 2c 0d 0a 09 09 09 09 61 2c 0d 0a 09 09 09 09 6e ,......a,......n
2630: 65 77 20 46 75 6e 28 70 6f 73 2c 20 5b 5d 2c 20 ew Fun(pos, [],
2640: 62 29 2c 0d 0a 09 09 09 09 6e 65 77 20 46 75 6e b),......new Fun
2650: 28 70 6f 73 2c 20 5b 5d 2c 20 6e 65 77 20 49 6e (pos, [], new In
2660: 74 28 70 6f 73 2c 20 30 29 29 0d 0a 09 09 09 29 t(pos, 0)).....)
2670: 3b 0d 0a 09 09 7d 0d 0a 09 09 41 53 54 20 70 70 ;....}....AST pp
2680: 54 65 73 74 28 73 74 72 69 6e 67 20 70 6d 56 61 Test(string pmVa
2690: 72 29 20 7b 0d 0a 09 09 09 41 53 54 20 63 20 3d r) {.....AST c =
26a0: 20 6e 75 6c 6c 3b 0d 0a 09 09 09 66 6f 72 28 69 null;.....for(i
26b0: 6e 74 20 69 3d 30 3b 20 69 3c 70 61 74 68 2e 6c nt i=0; i<path.l
26c0: 65 6e 67 74 68 3b 20 2b 2b 69 29 0d 0a 09 09 09 ength; ++i).....
26d0: 09 63 20 3d 20 6f 70 41 6e 64 41 6e 64 28 63 2c .c = opAndAnd(c,
26e0: 20 68 61 73 28 61 63 63 65 73 73 28 70 6d 56 61 has(access(pmVa
26f0: 72 2c 70 61 74 68 5b 30 2e 2e 69 5d 29 2c 20 70 r,path[0..i]), p
2700: 61 74 68 5b 69 5d 29 29 3b 0d 0a 09 09 09 72 65 ath[i]));.....re
2710: 74 75 72 6e 20 63 3b 0d 0a 09 09 7d 0d 0a 09 09 turn c;....}....
2720: 41 53 54 20 70 70 42 69 6e 64 28 73 74 72 69 6e AST ppBind(strin
2730: 67 20 70 6d 56 61 72 2c 20 41 53 54 20 74 68 65 g pmVar, AST the
2740: 6e 44 6f 54 68 69 73 29 20 7b 20 72 65 74 75 72 nDoThis) { retur
2750: 6e 20 74 68 65 6e 44 6f 54 68 69 73 3b 20 7d 0d n thenDoThis; }.
2760: 0a 09 7d 0d 0a 09 63 6c 61 73 73 20 57 69 6c 64 ..}...class Wild
2770: 50 61 74 74 65 72 6e 20 3a 20 53 69 6e 67 6c 65 Pattern : Single
2780: 50 61 74 74 65 72 6e 0d 0a 09 7b 0d 0a 09 09 6d Pattern...{....m
2790: 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 ixin SimpleClass
27a0: 3b 0d 0a 09 7d 0d 0a 09 63 6c 61 73 73 20 56 61 ;...}...class Va
27b0: 72 50 61 74 74 65 72 6e 20 3a 20 53 69 6e 67 6c rPattern : Singl
27c0: 65 50 61 74 74 65 72 6e 0d 0a 09 7b 0d 0a 09 09 ePattern...{....
27d0: 73 74 72 69 6e 67 20 6e 61 6d 65 3b 0d 0a 09 09 string name;....
27e0: 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 mixin SimpleClas
27f0: 73 3b 0d 0a 09 09 41 53 54 20 70 70 42 69 6e 64 s;....AST ppBind
2800: 28 73 74 72 69 6e 67 20 70 6d 56 61 72 2c 20 41 (string pmVar, A
2810: 53 54 20 74 68 65 6e 44 6f 54 68 69 73 29 20 7b ST thenDoThis) {
2820: 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 .....auto pos =
2830: 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 currentPosition(
2840: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 );.....return ne
2850: 77 20 4c 65 74 28 70 6f 73 2c 20 6e 61 6d 65 2c w Let(pos, name,
2860: 20 5b 5d 2c 20 61 63 63 65 73 73 28 70 6d 56 61 [], access(pmVa
2870: 72 2c 70 61 74 68 29 2c 20 74 68 65 6e 44 6f 54 r,path), thenDoT
2880: 68 69 73 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a his);....}...}..
2890: 09 63 6c 61 73 73 20 43 6f 6e 73 74 61 6e 74 50 .class ConstantP
28a0: 61 74 74 65 72 6e 20 3a 20 53 69 6e 67 6c 65 50 attern : SingleP
28b0: 61 74 74 65 72 6e 0d 0a 09 7b 0d 0a 09 09 41 53 attern...{....AS
28c0: 54 20 65 3b 0d 0a 09 09 6d 69 78 69 6e 20 53 69 T e;....mixin Si
28d0: 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 09 41 53 mpleClass;....AS
28e0: 54 20 70 70 54 65 73 74 28 73 74 72 69 6e 67 20 T ppTest(string
28f0: 70 6d 56 61 72 29 20 7b 0d 0a 09 09 09 61 75 74 pmVar) {.....aut
2900: 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 o pos = currentP
2910: 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 72 osition();.....r
2920: 65 74 75 72 6e 20 6f 70 41 6e 64 41 6e 64 28 20 eturn opAndAnd(
2930: 73 75 70 65 72 2e 70 70 54 65 73 74 28 70 6d 56 super.ppTest(pmV
2940: 61 72 29 2c 0d 0a 09 09 09 09 6e 65 77 20 41 70 ar),......new Ap
2950: 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 p(pos, new Var(p
2960: 6f 73 2c 22 3d 3d 22 29 2c 20 61 63 63 65 73 73 os,"=="), access
2970: 28 70 6d 56 61 72 2c 70 61 74 68 29 2c 20 65 29 (pmVar,path), e)
2980: 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d 0d 0a 09 7d .....);....}...}
2990: 0d 0a 0d 0a 09 53 69 6e 67 6c 65 50 61 74 74 65 .....SinglePatte
29a0: 72 6e 5b 5d 20 70 61 72 73 65 50 61 74 74 65 72 rn[] parsePatter
29b0: 6e 28 73 74 72 69 6e 67 5b 5d 20 70 61 74 68 20 n(string[] path
29c0: 3d 20 6e 75 6c 6c 29 0d 0a 09 7b 0d 0a 09 09 53 = null)...{....S
29d0: 69 6e 67 6c 65 50 61 74 74 65 72 6e 5b 5d 20 72 inglePattern[] r
29e0: 65 73 75 6c 74 3b 0d 0a 09 09 69 66 28 20 74 72 esult;....if( tr
29f0: 79 45 61 74 28 22 7b 22 29 20 29 0d 0a 09 09 7b yEat("{") )....{
2a00: 0d 0a 09 09 09 69 66 28 20 21 74 72 79 45 61 74 .....if( !tryEat
2a10: 28 22 7d 22 29 20 29 20 7b 0d 0a 09 09 09 09 64 ("}") ) {......d
2a20: 6f 20 7b 0d 0a 09 09 09 09 09 73 74 72 69 6e 67 o {.......string
2a30: 20 6b 65 79 20 3d 20 65 61 74 49 64 28 22 69 6e key = eatId("in
2a40: 20 74 61 62 6c 65 20 70 61 74 74 65 72 6e 22 2c table pattern",
2a50: 20 41 6c 6c 6f 77 51 75 6f 74 65 64 29 3b 0d 0a AllowQuoted);..
2a60: 09 09 09 09 09 65 61 74 28 22 3a 22 2c 20 22 61 .....eat(":", "a
2a70: 66 74 65 72 20 66 69 65 6c 64 2d 69 64 20 69 6e fter field-id in
2a80: 20 74 61 62 6c 65 20 70 61 74 74 65 72 6e 22 29 table pattern")
2a90: 3b 0d 0a 09 09 09 09 09 72 65 73 75 6c 74 20 7e ;.......result ~
2aa0: 3d 20 70 61 72 73 65 50 61 74 74 65 72 6e 28 70 = parsePattern(p
2ab0: 61 74 68 20 7e 20 6b 65 79 29 3b 0d 0a 09 09 09 ath ~ key);.....
2ac0: 09 7d 20 77 68 69 6c 65 28 20 74 72 79 45 61 74 .} while( tryEat
2ad0: 28 22 2c 22 29 20 29 3b 0d 0a 09 09 09 09 65 61 (",") );......ea
2ae0: 74 28 22 7d 22 2c 20 22 61 74 20 74 68 65 20 65 t("}", "at the e
2af0: 6e 64 20 6f 66 20 74 61 62 6c 65 20 70 61 74 74 nd of table patt
2b00: 65 72 6e 22 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 ern");.....}....
2b10: 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a }....else....{..
2b20: 09 09 09 41 53 54 20 65 20 3d 20 45 28 30 29 3b ...AST e = E(0);
2b30: 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 65 76 20 .....if(auto ev
2b40: 3d 20 63 61 73 74 28 56 61 72 29 65 29 0d 0a 09 = cast(Var)e)...
2b50: 09 09 09 69 66 28 65 76 2e 6e 61 6d 65 20 3d 3d ...if(ev.name ==
2b60: 20 22 5f 22 29 0d 0a 09 09 09 09 09 72 65 73 75 "_").......resu
2b70: 6c 74 20 7e 3d 20 6e 65 77 20 57 69 6c 64 50 61 lt ~= new WildPa
2b80: 74 74 65 72 6e 28 70 61 74 68 29 3b 0d 0a 09 09 ttern(path);....
2b90: 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 72 65 73 ..else.......res
2ba0: 75 6c 74 20 7e 3d 20 6e 65 77 20 56 61 72 50 61 ult ~= new VarPa
2bb0: 74 74 65 72 6e 28 70 61 74 68 2c 20 65 76 2e 6e ttern(path, ev.n
2bc0: 61 6d 65 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a ame);.....else..
2bd0: 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 6e 65 ....result ~= ne
2be0: 77 20 43 6f 6e 73 74 61 6e 74 50 61 74 74 65 72 w ConstantPatter
2bf0: 6e 28 70 61 74 68 2c 20 65 29 3b 0d 0a 09 09 7d n(path, e);....}
2c00: 0d 0a 09 09 72 65 74 75 72 6e 20 72 65 73 75 6c ....return resul
2c10: 74 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 70 t;...}.....AST p
2c20: 70 54 65 73 74 28 73 74 72 69 6e 67 20 70 6d 56 pTest(string pmV
2c30: 61 72 2c 20 53 69 6e 67 6c 65 50 61 74 74 65 72 ar, SinglePatter
2c40: 6e 5b 5d 20 70 61 74 73 29 0d 0a 09 7b 0d 0a 09 n[] pats)...{...
2c50: 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 .auto pos = curr
2c60: 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a entPosition();..
2c70: 09 09 41 53 54 20 63 6f 6e 64 20 3d 20 6e 75 6c ..AST cond = nul
2c80: 6c 3b 0d 0a 09 09 66 6f 72 65 61 63 68 28 70 3b l;....foreach(p;
2c90: 20 70 61 74 73 29 20 7b 0d 0a 09 09 09 41 53 54 pats) {.....AST
2ca0: 20 63 32 20 3d 20 70 2e 70 70 54 65 73 74 28 70 c2 = p.ppTest(p
2cb0: 6d 56 61 72 29 3b 0d 0a 09 09 09 69 66 28 20 63 mVar);.....if( c
2cc0: 32 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 2 !is null )....
2cd0: 09 09 63 6f 6e 64 20 3d 20 63 6f 6e 64 20 69 73 ..cond = cond is
2ce0: 20 6e 75 6c 6c 20 3f 20 63 32 0d 0a 09 09 09 09 null ? c2......
2cf0: 20 20 20 20 3a 20 6e 65 77 20 41 70 70 28 70 6f : new App(po
2d00: 73 2c 20 6e 65 77 20 56 61 72 28 70 6f 73 2c 22 s, new Var(pos,"
2d10: 26 26 22 29 2c 20 63 6f 6e 64 2c 20 63 32 29 3b &&"), cond, c2);
2d20: 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 ....}....return
2d30: 63 6f 6e 64 20 69 73 20 6e 75 6c 6c 20 3f 20 6e cond is null ? n
2d40: 65 77 20 49 6e 74 28 63 75 72 72 65 6e 74 50 6f ew Int(currentPo
2d50: 73 69 74 69 6f 6e 28 29 2c 20 31 29 20 3a 20 63 sition(), 1) : c
2d60: 6f 6e 64 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 ond;...}.....AST
2d70: 20 70 70 42 69 6e 64 28 73 74 72 69 6e 67 20 70 ppBind(string p
2d80: 6d 56 61 72 2c 20 53 69 6e 67 6c 65 50 61 74 74 mVar, SinglePatt
2d90: 65 72 6e 5b 5d 20 70 61 74 73 2c 20 41 53 54 20 ern[] pats, AST
2da0: 74 68 65 6e 44 6f 54 68 69 73 29 0d 0a 09 7b 0d thenDoThis)...{.
2db0: 0a 09 09 66 6f 72 65 61 63 68 28 70 3b 20 70 61 ...foreach(p; pa
2dc0: 74 73 29 0d 0a 09 09 09 74 68 65 6e 44 6f 54 68 ts).....thenDoTh
2dd0: 69 73 20 3d 20 70 2e 70 70 42 69 6e 64 28 70 6d is = p.ppBind(pm
2de0: 56 61 72 2c 20 74 68 65 6e 44 6f 54 68 69 73 29 Var, thenDoThis)
2df0: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 74 68 65 6e ;....return then
2e00: 44 6f 54 68 69 73 3b 0d 0a 09 7d 0d 0a 0d 0a 09 DoThis;...}.....
2e10: 41 53 54 20 70 61 72 73 65 49 64 28 29 0d 0a 09 AST parseId()...
2e20: 7b 0d 0a 09 09 73 63 6f 70 65 28 65 78 69 74 29 {....scope(exit)
2e30: 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a lex.popFront;..
2e40: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 53 74 72 ..return new Str
2e50: 28 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e (currentPosition
2e60: 28 29 2c 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 (), lex.front.st
2e70: 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 r);...}.....AST
2e80: 70 61 72 73 65 4c 61 6d 62 64 61 41 66 74 65 72 parseLambdaAfter
2e90: 4f 70 65 6e 50 61 72 65 6e 28 4c 65 78 50 6f 73 OpenParen(LexPos
2ea0: 69 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 7b 0d 0a ition pos)...{..
2eb0: 09 09 50 61 72 61 6d 65 74 65 72 5b 5d 20 70 61 ..Parameter[] pa
2ec0: 72 61 6d 73 3b 0d 0a 09 09 77 68 69 6c 65 28 20 rams;....while(
2ed0: 21 74 72 79 45 61 74 28 22 29 22 29 20 29 0d 0a !tryEat(")") )..
2ee0: 09 09 7b 0d 0a 09 09 09 70 61 72 61 6d 73 20 7e ..{.....params ~
2ef0: 3d 20 70 61 72 73 65 50 61 72 61 6d 28 29 3b 0d = parseParam();.
2f00: 0a 09 09 09 69 66 28 20 21 74 72 79 45 61 74 28 ....if( !tryEat(
2f10: 22 2c 22 29 20 29 20 7b 0d 0a 09 09 09 09 65 61 ",") ) {......ea
2f20: 74 28 22 29 22 2c 20 22 61 66 74 65 72 20 66 75 t(")", "after fu
2f30: 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 nction parameter
2f40: 73 22 29 3b 0d 0a 09 09 09 09 62 72 65 61 6b 3b s");......break;
2f50: 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 65 .....}....}....e
2f60: 61 74 28 22 7b 22 2c 20 22 61 66 74 65 72 20 66 at("{", "after f
2f70: 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 unction paramete
2f80: 72 73 22 29 3b 0d 0a 09 09 61 75 74 6f 20 66 75 rs");....auto fu
2f90: 6e 62 6f 64 79 20 3d 20 42 6f 64 79 28 29 3b 0d nbody = Body();.
2fa0: 0a 09 09 65 61 74 28 22 7d 22 2c 20 22 61 66 74 ...eat("}", "aft
2fb0: 65 72 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 er function body
2fc0: 22 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 ");....return ne
2fd0: 77 20 46 75 6e 28 70 6f 73 2c 20 70 61 72 61 6d w Fun(pos, param
2fe0: 73 2c 20 66 75 6e 62 6f 64 79 29 3b 0d 0a 09 7d s, funbody);...}
2ff0: 0d 0a 0d 0a 09 50 61 72 61 6d 65 74 65 72 20 70 .....Parameter p
3000: 61 72 73 65 50 61 72 61 6d 28 29 0d 0a 09 7b 0d arseParam()...{.
3010: 0a 09 09 73 74 72 69 6e 67 20 76 61 72 3b 0d 0a ...string var;..
3020: 09 09 73 74 72 69 6e 67 5b 5d 20 6c 61 79 3b 0d ..string[] lay;.
3030: 0a 09 09 77 68 69 6c 65 28 20 21 63 6c 6f 73 69 ...while( !closi
3040: 6e 67 42 72 61 63 6b 65 74 28 29 20 26 26 20 21 ngBracket() && !
3050: 6c 65 78 2e 65 6d 70 74 79 20 26 26 20 6c 65 78 lex.empty && lex
3060: 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 22 2c 22 20 .front.str!=","
3070: 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 74 6f 20 )....{.....auto
3080: 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 pos = currentPos
3090: 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 73 74 72 ition();.....str
30a0: 69 6e 67 20 70 20 3d 20 65 61 74 49 64 28 22 66 ing p = eatId("f
30b0: 6f 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 or function para
30c0: 6d 65 74 65 72 22 2c 20 41 6c 6c 6f 77 51 75 6f meter", AllowQuo
30d0: 74 65 64 29 3b 0d 0a 09 09 09 69 66 28 20 70 20 ted);.....if( p
30e0: 3d 3d 20 22 40 22 20 29 0d 0a 09 09 09 09 6c 61 == "@" )......la
30f0: 79 20 7e 3d 20 22 40 22 20 7e 20 65 61 74 49 64 y ~= "@" ~ eatId
3100: 28 22 61 66 74 65 72 20 40 22 2c 20 41 6c 6c 6f ("after @", Allo
3110: 77 51 75 6f 74 65 64 29 3b 0d 0a 09 09 09 65 6c wQuoted);.....el
3120: 73 65 20 69 66 28 20 76 61 72 2e 65 6d 70 74 79 se if( var.empty
3130: 20 29 0d 0a 09 09 09 09 76 61 72 20 3d 20 70 3b )......var = p;
3140: 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 74 .....else......t
3150: 68 72 6f 77 20 67 65 6e 65 78 21 50 61 72 73 65 hrow genex!Parse
3160: 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 Exception(pos, "
3170: 6f 6e 65 20 70 61 72 61 6d 65 74 65 72 20 68 61 one parameter ha
3180: 73 20 74 77 6f 20 6e 61 6d 65 73 22 29 3b 0d 0a s two names");..
3190: 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 ..}....return ne
31a0: 77 20 50 61 72 61 6d 65 74 65 72 28 76 61 72 2c w Parameter(var,
31b0: 20 6c 61 79 29 3b 0d 0a 09 7d 0d 0a 0d 0a 70 72 lay);...}....pr
31c0: 69 76 61 74 65 3a 0d 0a 09 4c 65 78 65 72 20 6c ivate:...Lexer l
31d0: 65 78 3b 0d 0a 09 74 68 69 73 28 4c 65 78 65 72 ex;...this(Lexer
31e0: 20 6c 65 78 29 20 7b 20 74 68 69 73 2e 6c 65 78 lex) { this.lex
31f0: 20 3d 20 6c 65 78 3b 20 7d 0d 0a 0d 0a 09 62 6f = lex; }.....bo
3200: 6f 6c 20 69 73 4e 75 6d 62 65 72 28 73 74 72 69 ol isNumber(stri
3210: 6e 67 20 73 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 ng s)...{....ret
3220: 75 72 6e 20 66 69 6e 64 21 28 60 61 3c 27 30 27 urn find!(`a<'0'
3230: 20 7c 7c 20 27 39 27 3c 61 60 29 28 73 29 2e 65 || '9'<a`)(s).e
3240: 6d 70 74 79 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 76 mpty;...}......v
3250: 6f 69 64 20 65 61 74 28 73 74 72 69 6e 67 20 6b oid eat(string k
3260: 77 64 2c 20 6c 61 7a 79 20 73 74 72 69 6e 67 20 wd, lazy string
3270: 6d 73 67 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 msg)...{....if(
3280: 21 74 72 79 45 61 74 28 6b 77 64 29 20 29 0d 0a !tryEat(kwd) )..
3290: 09 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 ...if( lex.empty
32a0: 20 29 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 )......throw ge
32b0: 6e 65 78 21 55 6e 65 78 70 65 63 74 65 64 45 4f nex!UnexpectedEO
32c0: 46 28 0d 0a 09 09 09 09 09 63 75 72 72 65 6e 74 F(.......current
32d0: 50 6f 73 69 74 69 6f 6e 28 29 2c 20 73 70 72 69 Position(), spri
32e0: 6e 74 66 21 22 25 73 20 69 73 20 65 78 70 65 63 ntf!"%s is expec
32f0: 74 65 64 20 25 73 20 62 75 74 20 6e 6f 74 20 66 ted %s but not f
3300: 6f 75 6e 64 22 28 6b 77 64 2c 6d 73 67 29 29 3b ound"(kwd,msg));
3310: 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 74 .....else......t
3320: 68 72 6f 77 20 67 65 6e 65 78 21 50 61 72 73 65 hrow genex!Parse
3330: 45 78 63 65 70 74 69 6f 6e 28 0d 0a 09 09 09 09 Exception(......
3340: 09 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e .currentPosition
3350: 28 29 2c 20 73 70 72 69 6e 74 66 21 22 25 73 20 (), sprintf!"%s
3360: 69 73 20 65 78 70 65 63 74 65 64 20 66 6f 72 20 is expected for
3370: 25 73 20 62 75 74 20 6e 6f 74 20 66 6f 75 6e 64 %s but not found
3380: 22 28 6b 77 64 2c 6d 73 67 29 29 3b 0d 0a 09 7d "(kwd,msg));...}
3390: 0d 0a 0d 0a 09 62 6f 6f 6c 20 74 72 79 45 61 74 .....bool tryEat
33a0: 28 73 74 72 69 6e 67 20 6b 77 64 29 0d 0a 09 7b (string kwd)...{
33b0: 0d 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 ....if( lex.empt
33c0: 79 20 7c 7c 20 6c 65 78 2e 66 72 6f 6e 74 2e 71 y || lex.front.q
33d0: 75 6f 74 65 64 20 7c 7c 20 6c 65 78 2e 66 72 6f uoted || lex.fro
33e0: 6e 74 2e 73 74 72 21 3d 6b 77 64 20 29 0d 0a 09 nt.str!=kwd )...
33f0: 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0d ..return false;.
3400: 0a 09 09 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b ...lex.popFront;
3410: 0d 0a 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b ....return true;
3420: 0d 0a 09 7d 0d 0a 0d 0a 09 65 6e 75 6d 20 7b 41 ...}.....enum {A
3430: 6c 6c 6f 77 51 75 6f 74 65 64 3d 74 72 75 65 2c llowQuoted=true,
3440: 20 44 69 73 61 6c 6c 6f 77 51 75 6f 74 65 64 3d DisallowQuoted=
3450: 66 61 6c 73 65 7d 3b 0d 0a 09 73 74 72 69 6e 67 false};...string
3460: 20 65 61 74 49 64 28 6c 61 7a 79 20 73 74 72 69 eatId(lazy stri
3470: 6e 67 20 6d 73 67 2c 20 62 6f 6f 6c 20 61 71 3d ng msg, bool aq=
3480: 44 69 73 61 6c 6c 6f 77 51 75 6f 74 65 64 29 0d DisallowQuoted).
3490: 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78 2e 65 ..{....if( lex.e
34a0: 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 72 6f 77 mpty ).....throw
34b0: 20 67 65 6e 65 78 21 55 6e 65 78 70 65 63 74 65 genex!Unexpecte
34c0: 64 45 4f 46 28 63 75 72 72 65 6e 74 50 6f 73 69 dEOF(currentPosi
34d0: 74 69 6f 6e 28 29 2c 20 22 69 64 65 6e 74 69 66 tion(), "identif
34e0: 69 65 72 20 69 73 20 65 78 70 65 63 74 65 64 20 ier is expected
34f0: 62 75 74 20 6e 6f 74 20 66 6f 75 6e 64 20 22 7e but not found "~
3500: 6d 73 67 29 3b 0d 0a 09 09 69 66 28 20 21 61 71 msg);....if( !aq
3510: 20 26 26 20 6c 65 78 2e 66 72 6f 6e 74 2e 71 75 && lex.front.qu
3520: 6f 74 65 64 20 29 0d 0a 09 09 09 74 68 72 6f 77 oted ).....throw
3530: 20 67 65 6e 65 78 21 50 61 72 73 65 45 78 63 65 genex!ParseExce
3540: 70 74 69 6f 6e 28 63 75 72 72 65 6e 74 50 6f 73 ption(currentPos
3550: 69 74 69 6f 6e 28 29 2c 20 22 69 64 65 6e 74 69 ition(), "identi
3560: 66 69 65 72 20 69 73 20 65 78 70 65 63 74 65 64 fier is expected
3570: 20 62 75 74 20 6e 6f 74 20 66 6f 75 6e 64 20 22 but not found "
3580: 7e 6d 73 67 29 3b 0d 0a 09 09 73 63 6f 70 65 28 ~msg);....scope(
3590: 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 46 72 6f exit) lex.popFro
35a0: 6e 74 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6c 65 nt;....return le
35b0: 78 2e 66 72 6f 6e 74 2e 73 74 72 3b 0d 0a 09 7d x.front.str;...}
35c0: 0d 0a 0d 0a 09 41 53 54 20 64 6f 4e 6f 74 68 69 .....AST doNothi
35d0: 6e 67 45 78 70 72 65 73 73 69 6f 6e 28 29 0d 0a ngExpression()..
35e0: 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 .{....return new
35f0: 20 53 74 72 28 63 75 72 72 65 6e 74 50 6f 73 69 Str(currentPosi
3600: 74 69 6f 6e 28 29 2c 20 22 28 65 6d 70 74 79 20 tion(), "(empty
3610: 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 29 22 29 function body)")
3620: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 4c 65 78 50 6f 73 ;...}.....LexPos
3630: 69 74 69 6f 6e 20 63 75 72 72 65 6e 74 50 6f 73 ition currentPos
3640: 69 74 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 72 ition()...{....r
3650: 65 74 75 72 6e 20 6c 65 78 2e 65 6d 70 74 79 20 eturn lex.empty
3660: 3f 20 6e 75 6c 6c 20 3a 20 6c 65 78 2e 66 72 6f ? null : lex.fro
3670: 6e 74 2e 70 6f 73 3b 0d 0a 09 7d 0d 0a 7d 0d 0a nt.pos;...}..}..
3680: 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 ..unittest..{...
3690: 6d 69 78 69 6e 20 45 61 73 79 41 53 54 3b 0d 0a mixin EasyAST;..
36a0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
36b0: 73 65 53 74 72 69 6e 67 28 60 31 32 33 60 29 2c seString(`123`),
36c0: 20 69 6e 74 6c 28 31 32 33 29 29 3b 0d 0a 09 61 intl(123));...a
36d0: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
36e0: 72 69 6e 67 28 60 22 66 6f 6f 22 60 29 2c 20 73 ring(`"foo"`), s
36f0: 74 72 6c 28 22 66 6f 6f 22 29 29 3b 0d 0a 09 61 trl("foo"));...a
3700: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
3710: 72 69 6e 67 28 60 66 75 6e 28 29 7b 31 7d 60 29 ring(`fun(){1}`)
3720: 2c 20 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 31 29 , fun([],intl(1)
3730: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
3740: 70 61 72 73 65 53 74 72 69 6e 67 28 60 66 75 6e parseString(`fun
3750: 28 78 29 7b 31 7d 60 29 2c 20 66 75 6e 28 5b 22 (x){1}`), fun(["
3760: 78 22 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a x"],intl(1)));..
3770: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
3780: 53 74 72 69 6e 67 28 22 5c 75 30 33 42 42 28 29 String("\u03BB()
3790: 7b 31 7d 22 29 2c 20 66 75 6e 28 5b 5d 2c 69 6e {1}"), fun([],in
37a0: 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(1)));...asser
37b0: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
37c0: 28 22 5c 75 30 33 42 42 28 78 29 7b 31 7d 22 29 ("\u03BB(x){1}")
37d0: 2c 20 66 75 6e 28 5b 22 78 22 5d 2c 69 6e 74 6c , fun(["x"],intl
37e0: 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f (1)));...assert_
37f0: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
3800: 31 3b 32 60 29 2c 20 6c 65 74 28 22 5f 22 2c 22 1;2`), let("_","
3810: 22 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 ",intl(1),intl(2
3820: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
3830: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 3b (parseString(`1;
3840: 32 3b 60 29 2c 20 6c 65 74 28 22 5f 22 2c 22 22 2;`), let("_",""
3850: 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 ,intl(1),intl(2)
3860: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
3870: 70 61 72 73 65 53 74 72 69 6e 67 28 60 6c 65 74 parseString(`let
3880: 20 78 3d 31 20 69 6e 20 32 60 29 2c 20 6c 65 74 x=1 in 2`), let
3890: 28 22 78 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c ("x","",intl(1),
38a0: 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 intl(2)));...ass
38b0: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
38c0: 6e 67 28 60 76 61 72 20 78 3d 31 3b 32 3b 60 29 ng(`var x=1;2;`)
38d0: 2c 20 6c 65 74 28 22 78 22 2c 22 22 2c 69 6e 74 , let("x","",int
38e0: 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d l(1),intl(2)));.
38f0: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
3900: 65 53 74 72 69 6e 67 28 60 64 65 66 20 78 3d 31 eString(`def x=1
3910: 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 22 2c 69 `), let("x","",i
3920: 6e 74 6c 28 31 29 2c 76 61 72 28 22 78 22 29 29 ntl(1),var("x"))
3930: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
3940: 61 72 73 65 53 74 72 69 6e 67 28 60 40 76 61 6c arseString(`@val
3950: 20 78 3d 31 3b 60 29 2c 20 6c 65 74 28 22 78 22 x=1;`), let("x"
3960: 2c 22 40 76 61 6c 22 2c 69 6e 74 6c 28 31 29 2c ,"@val",intl(1),
3970: 76 61 72 28 22 78 22 29 29 29 3b 0d 0a 09 61 73 var("x")));...as
3980: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
3990: 69 6e 67 28 60 40 74 79 70 20 78 3d 22 23 69 6e ing(`@typ x="#in
39a0: 74 22 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 t";`), let("x","
39b0: 40 74 79 70 22 2c 73 74 72 6c 28 22 23 69 6e 74 @typ",strl("#int
39c0: 22 29 2c 76 61 72 28 22 78 22 29 29 29 3b 0d 0a "),var("x")));..
39d0: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
39e0: 53 74 72 69 6e 67 28 60 66 28 31 2c 32 29 60 29 String(`f(1,2)`)
39f0: 2c 20 63 61 6c 6c 28 76 61 72 28 22 66 22 29 2c , call(var("f"),
3a00: 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 intl(1),intl(2))
3a10: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
3a20: 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 31 arseString(`if(1
3a30: 29 7b 32 7d 60 29 2c 20 63 61 6c 6c 28 76 61 72 ){2}`), call(var
3a40: 28 22 69 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 ("if"),intl(1),f
3a50: 75 6e 28 5b 5d 2c 69 6e 74 6c 28 32 29 29 2c 66 un([],intl(2)),f
3a60: 75 6e 28 5b 5d 2c 73 74 72 6c 28 22 28 65 6d 70 un([],strl("(emp
3a70: 74 79 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 ty function body
3a80: 29 22 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 )"))));...assert
3a90: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
3aa0: 60 69 66 28 31 29 7b 32 7d 65 6c 73 65 7b 33 7d `if(1){2}else{3}
3ab0: 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 69 66 `), call(var("if
3ac0: 22 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e 28 5b "),intl(1),fun([
3ad0: 5d 2c 69 6e 74 6c 28 32 29 29 2c 66 75 6e 28 5b ],intl(2)),fun([
3ae0: 5d 2c 69 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 09 ],intl(3))));...
3af0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
3b00: 74 72 69 6e 67 28 60 69 66 28 31 29 7b 7d 65 6c tring(`if(1){}el
3b10: 73 65 7b 33 7d 28 29 28 29 60 29 2c 0d 0a 09 09 se{3}()()`),....
3b20: 63 61 6c 6c 28 63 61 6c 6c 28 63 61 6c 6c 28 76 call(call(call(v
3b30: 61 72 28 22 69 66 22 29 2c 69 6e 74 6c 28 31 29 ar("if"),intl(1)
3b40: 2c 66 75 6e 28 5b 5d 2c 73 74 72 6c 28 22 28 65 ,fun([],strl("(e
3b50: 6d 70 74 79 20 66 75 6e 63 74 69 6f 6e 20 62 6f mpty function bo
3b60: 64 79 29 22 29 29 2c 66 75 6e 28 5b 5d 2c 69 6e dy)")),fun([],in
3b70: 74 6c 28 33 29 29 29 29 29 29 3b 0d 0a 09 61 73 tl(3))))));...as
3b80: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
3b90: 69 6e 67 28 60 31 2b 32 2a 33 60 29 2c 20 63 61 ing(`1+2*3`), ca
3ba0: 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 6e 74 6c ll(var("+"),intl
3bb0: 28 31 29 2c 63 61 6c 6c 28 76 61 72 28 22 2a 22 (1),call(var("*"
3bc0: 29 2c 69 6e 74 6c 28 32 29 2c 69 6e 74 6c 28 33 ),intl(2),intl(3
3bd0: 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 ))));...assert_e
3be0: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 28 q(parseString(`(
3bf0: 31 2b 32 29 2a 33 60 29 2c 20 63 61 6c 6c 28 76 1+2)*3`), call(v
3c00: 61 72 28 22 2a 22 29 2c 63 61 6c 6c 28 76 61 72 ar("*"),call(var
3c10: 28 22 2b 22 29 2c 69 6e 74 6c 28 31 29 2c 69 6e ("+"),intl(1),in
3c20: 74 6c 28 32 29 29 2c 69 6e 74 6c 28 33 29 29 29 tl(2)),intl(3)))
3c30: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
3c40: 72 73 65 53 74 72 69 6e 67 28 60 31 2a 28 32 2b rseString(`1*(2+
3c50: 33 29 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 3)`), call(var("
3c60: 2a 22 29 2c 69 6e 74 6c 28 31 29 2c 63 61 6c 6c *"),intl(1),call
3c70: 28 76 61 72 28 22 2b 22 29 2c 69 6e 74 6c 28 32 (var("+"),intl(2
3c80: 29 2c 69 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 09 ),intl(3))));...
3c90: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
3ca0: 74 72 69 6e 67 28 60 31 2a 32 2b 33 60 29 2c 20 tring(`1*2+3`),
3cb0: 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 63 61 call(var("+"),ca
3cc0: 6c 6c 28 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c ll(var("*"),intl
3cd0: 28 31 29 2c 69 6e 74 6c 28 32 29 29 2c 69 6e 74 (1),intl(2)),int
3ce0: 6c 28 33 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 l(3)));...assert
3cf0: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
3d00: 60 40 78 28 31 29 60 29 2c 20 6c 61 79 28 22 40 `@x(1)`), lay("@
3d10: 78 22 2c 20 69 6e 74 6c 28 31 29 29 29 3b 0d 0a x", intl(1)));..
3d20: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
3d30: 53 74 72 69 6e 67 28 60 66 75 6e 28 78 20 40 76 String(`fun(x @v
3d40: 20 40 74 2c 20 79 2c 20 7a 20 40 74 29 7b 7d 60 @t, y, z @t){}`
3d50: 29 2c 0d 0a 09 09 66 75 6e 70 28 5b 70 61 72 61 ),....funp([para
3d60: 6d 28 22 78 22 2c 5b 22 40 76 22 2c 22 40 74 22 m("x",["@v","@t"
3d70: 5d 29 2c 20 70 61 72 61 6d 28 22 79 22 2c 5b 5d ]), param("y",[]
3d80: 29 2c 20 70 61 72 61 6d 28 22 7a 22 2c 5b 22 40 ), param("z",["@
3d90: 74 22 5d 29 5d 2c 20 73 74 72 6c 28 22 28 65 6d t"])], strl("(em
3da0: 70 74 79 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 pty function bod
3db0: 79 29 22 29 29 29 3b 0d 0a 0d 0a 09 61 73 73 65 y)")));.....asse
3dc0: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
3dd0: 67 28 60 0d 0a 09 09 6c 65 74 20 78 20 3d 20 31 g(`....let x = 1
3de0: 30 30 3b 20 23 63 6f 6d 6d 65 6e 74 0d 0a 09 09 00; #comment....
3df0: 6c 65 74 20 79 20 3d 20 32 30 30 3b 20 23 63 6f let y = 200; #co
3e00: 6d 6d 65 6e 74 21 21 21 21 21 0d 0a 09 09 09 78 mment!!!!!.....x
3e10: 2b 79 0d 0a 09 60 29 2c 0d 0a 09 09 6c 65 74 28 +y...`),....let(
3e20: 22 78 22 2c 20 22 22 2c 20 69 6e 74 6c 28 31 30 "x", "", intl(10
3e30: 30 29 2c 20 6c 65 74 28 22 79 22 2c 20 22 22 2c 0), let("y", "",
3e40: 20 69 6e 74 6c 28 32 30 30 29 2c 20 63 61 6c 6c intl(200), call
3e50: 28 76 61 72 28 22 2b 22 29 2c 20 76 61 72 28 22 (var("+"), var("
3e60: 78 22 29 2c 20 76 61 72 28 22 79 22 29 29 29 29 x"), var("y"))))
3e70: 0d 0a 09 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 ...);.....assert
3e80: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
3e90: 60 0d 0a 09 09 76 61 72 20 66 61 63 20 3d 20 66 `....var fac = f
3ea0: 75 6e 28 78 29 7b 20 69 66 28 78 20 3c 3d 20 31 un(x){ if(x <= 1
3eb0: 29 20 7b 31 7d 20 65 6c 73 65 20 7b 78 2a 66 61 ) {1} else {x*fa
3ec0: 63 28 78 2d 31 29 7d 20 7d 3b 0d 0a 09 09 66 61 c(x-1)} };....fa
3ed0: 63 28 31 30 29 0d 0a 09 60 29 2c 0d 0a 09 09 6c c(10)...`),....l
3ee0: 65 74 28 22 66 61 63 22 2c 20 22 22 2c 20 66 75 et("fac", "", fu
3ef0: 6e 28 5b 22 78 22 5d 2c 0d 0a 09 09 09 63 61 6c n(["x"],.....cal
3f00: 6c 28 76 61 72 28 22 69 66 22 29 2c 0d 0a 09 09 l(var("if"),....
3f10: 09 09 63 61 6c 6c 28 76 61 72 28 22 3c 3d 22 29 ..call(var("<=")
3f20: 2c 20 76 61 72 28 22 78 22 29 2c 20 69 6e 74 6c , var("x"), intl
3f30: 28 31 29 29 2c 0d 0a 09 09 09 09 66 75 6e 28 5b (1)),......fun([
3f40: 5d 2c 20 69 6e 74 6c 28 31 29 29 2c 0d 0a 09 09 ], intl(1)),....
3f50: 09 09 66 75 6e 28 5b 5d 2c 20 63 61 6c 6c 28 76 ..fun([], call(v
3f60: 61 72 28 22 2a 22 29 2c 20 76 61 72 28 22 78 22 ar("*"), var("x"
3f70: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 66 61 63 ), call(var("fac
3f80: 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 2d 22 29 "),call(var("-")
3f90: 2c 76 61 72 28 22 78 22 29 2c 69 6e 74 6c 28 31 ,var("x"),intl(1
3fa0: 29 29 29 29 29 0d 0a 09 09 09 29 29 2c 0d 0a 09 ))))).....)),...
3fb0: 09 09 63 61 6c 6c 28 76 61 72 28 22 66 61 63 22 ..call(var("fac"
3fc0: 29 2c 69 6e 74 6c 28 31 30 29 29 0d 0a 09 09 29 ),intl(10))....)
3fd0: 0d 0a 09 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 ...);..}....unit
3fe0: 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 test..{...assert
3ff0: 5f 74 68 72 6f 77 21 55 6e 65 78 70 65 63 74 65 _throw!Unexpecte
4000: 64 45 4f 46 28 70 61 72 73 65 53 74 72 69 6e 67 dEOF(parseString
4010: 28 60 31 2b 60 29 29 3b 0d 0a 09 61 73 73 65 72 (`1+`));...asser
4020: 74 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 t_throw!ParseExc
4030: 65 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 eption(parseStri
4040: 6e 67 28 60 31 2b 32 7d 60 29 29 3b 0d 0a 09 61 ng(`1+2}`));...a
4050: 73 73 65 72 74 5f 74 68 72 6f 77 21 55 6e 65 78 ssert_throw!Unex
4060: 70 65 63 74 65 64 45 4f 46 28 70 61 72 73 65 53 pectedEOF(parseS
4070: 74 72 69 6e 67 28 60 6c 65 74 20 22 78 22 60 29 tring(`let "x"`)
4080: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
4090: 77 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 28 w!UnexpectedEOF(
40a0: 70 61 72 73 65 53 74 72 69 6e 67 28 60 76 61 72 parseString(`var
40b0: 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 `));...assert_th
40c0: 72 6f 77 21 50 61 72 73 65 45 78 63 65 70 74 69 row!ParseExcepti
40d0: 6f 6e 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 on(parseString(`
40e0: 40 76 61 6c 20 78 20 3d 3d 60 29 29 3b 0d 0a 09 @val x ==`));...
40f0: 61 73 73 65 72 74 5f 74 68 72 6f 77 21 50 61 72 assert_throw!Par
4100: 73 65 45 78 63 65 70 74 69 6f 6e 28 70 61 72 73 seException(pars
4110: 65 53 74 72 69 6e 67 28 60 69 66 28 29 7b 31 7d eString(`if(){1}
4120: 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 `));...assert_th
4130: 72 6f 77 21 55 6e 65 78 70 65 63 74 65 64 45 4f row!UnexpectedEO
4140: 46 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 66 F(parseString(`f
4150: 28 60 29 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 (`));..}....unit
4160: 74 65 73 74 0d 0a 7b 0d 0a 09 6d 69 78 69 6e 20 test..{...mixin
4170: 45 61 73 79 41 53 54 3b 0d 0a 09 61 73 73 65 72 EasyAST;...asser
4180: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
4190: 28 60 64 65 66 20 66 6f 6f 28 78 29 20 7b 20 78 (`def foo(x) { x
41a0: 2b 31 20 7d 3b 20 66 6f 6f 60 29 2c 0d 0a 09 09 +1 }; foo`),....
41b0: 6c 65 74 28 22 66 6f 6f 22 2c 20 22 22 2c 0d 0a let("foo", "",..
41c0: 09 09 09 66 75 6e 28 5b 22 78 22 5d 2c 20 63 61 ...fun(["x"], ca
41d0: 6c 6c 28 76 61 72 28 22 2b 22 29 2c 20 76 61 72 ll(var("+"), var
41e0: 28 22 78 22 29 2c 20 69 6e 74 6c 28 31 29 29 29 ("x"), intl(1)))
41f0: 2c 0d 0a 09 09 09 76 61 72 28 22 66 6f 6f 22 29 ,.....var("foo")
4200: 29 0d 0a 09 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 )...);.....asser
4210: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
4220: 28 60 40 40 74 79 70 65 20 28 20 78 20 29 20 7b (`@@type ( x ) {
4230: 20 78 20 7d 60 29 2c 0d 0a 09 09 6c 65 74 28 22 x }`),....let("
4240: 40 74 79 70 65 22 2c 20 53 79 73 74 65 6d 4c 61 @type", SystemLa
4250: 79 65 72 2c 20 66 75 6e 28 5b 22 78 22 5d 2c 20 yer, fun(["x"],
4260: 76 61 72 28 22 78 22 29 29 2c 20 6c 61 79 28 53 var("x")), lay(S
4270: 79 73 74 65 6d 4c 61 79 65 72 2c 20 76 61 72 28 ystemLayer, var(
4280: 22 40 74 79 70 65 22 29 29 29 20 29 3b 0d 0a 0d "@type"))) );...
4290: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
42a0: 65 53 74 72 69 6e 67 28 60 7b 7d 60 29 2c 20 63 eString(`{}`), c
42b0: 61 6c 6c 28 76 61 72 28 22 7b 7d 22 29 29 29 3b all(var("{}")));
42c0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
42d0: 73 65 53 74 72 69 6e 67 28 60 7b 66 6f 6f 3a 31 seString(`{foo:1
42e0: 2c 22 62 61 72 22 3a 32 7d 60 29 2c 0d 0a 09 09 ,"bar":2}`),....
42f0: 63 61 6c 6c 28 76 61 72 28 22 2e 3d 22 29 2c 20 call(var(".="),
4300: 63 61 6c 6c 28 76 61 72 28 22 2e 3d 22 29 2c 20 call(var(".="),
4310: 63 61 6c 6c 28 76 61 72 28 22 7b 7d 22 29 29 2c call(var("{}")),
4320: 20 73 74 72 6c 28 22 66 6f 6f 22 29 2c 20 69 6e strl("foo"), in
4330: 74 6c 28 31 29 29 2c 20 73 74 72 6c 28 22 62 61 tl(1)), strl("ba
4340: 72 22 29 2c 20 69 6e 74 6c 28 32 29 29 29 3b 0d r"), intl(2)));.
4350: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
4360: 65 53 74 72 69 6e 67 28 60 7b 7d 2e 66 6f 6f 60 eString(`{}.foo`
4370: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2e 22 29 ), call(var(".")
4380: 2c 63 61 6c 6c 28 76 61 72 28 22 7b 7d 22 29 29 ,call(var("{}"))
4390: 2c 73 74 72 6c 28 22 66 6f 6f 22 29 29 29 3b 0d ,strl("foo")));.
43a0: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
43b0: 65 53 74 72 69 6e 67 28 60 7b 7d 2e 3f 66 6f 6f eString(`{}.?foo
43c0: 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2e 3f `), call(var(".?
43d0: 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 7b 7d 22 "),call(var("{}"
43e0: 29 29 2c 73 74 72 6c 28 22 66 6f 6f 22 29 29 29 )),strl("foo")))
43f0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
4400: 72 73 65 53 74 72 69 6e 67 28 60 78 7b 79 3a 31 rseString(`x{y:1
4410: 7d 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2e }`), call(var(".
4420: 3d 22 29 2c 76 61 72 28 22 78 22 29 2c 73 74 72 ="),var("x"),str
4430: 6c 28 22 79 22 29 2c 69 6e 74 6c 28 31 29 29 29 l("y"),intl(1)))
4440: 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 ;..}....unittest
4450: 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 ..{...assert_not
4460: 68 72 6f 77 28 70 61 72 73 65 53 74 72 69 6e 67 hrow(parseString
4470: 28 60 0d 0a 09 09 63 61 73 65 28 20 31 20 29 0d (`....case( 1 ).
4480: 0a 09 09 09 77 68 65 6e 28 78 29 3a 20 31 0d 0a ....when(x): 1..
4490: 09 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e .`));...assert_n
44a0: 6f 74 68 72 6f 77 28 70 61 72 73 65 53 74 72 69 othrow(parseStri
44b0: 6e 67 28 60 0d 0a 09 09 63 61 73 65 20 31 0d 0a ng(`....case 1..
44c0: 09 09 09 77 68 65 6e 20 7b 61 61 61 61 3a 5f 7d ...when {aaaa:_}
44d0: 3a 20 31 0d 0a 09 60 29 29 3b 0d 0a 09 61 73 73 : 1...`));...ass
44e0: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 70 61 72 73 ert_nothrow(pars
44f0: 65 53 74 72 69 6e 67 28 60 0d 0a 09 09 63 61 73 eString(`....cas
4500: 65 20 31 0d 0a 09 09 09 77 68 65 6e 20 7b 61 61 e 1.....when {aa
4510: 61 61 3a 40 76 61 6c 75 65 28 78 29 7d 3a 20 31 aa:@value(x)}: 1
4520: 0d 0a 09 09 09 77 68 65 6e 20 7b 61 61 61 61 3a .....when {aaaa:
4530: 7b 62 62 62 3a 5f 7d 2c 20 63 63 63 3a 31 32 33 {bbb:_}, ccc:123
4540: 7d 3a 20 31 0d 0a 09 60 29 29 3b 0d 0a 7d 0d 0a }: 1...`));..}..
4550: 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 ..unittest..{...
4560: 2f 2f 20 74 65 73 74 20 66 6f 72 20 6f 6d 69 74 // test for omit
4570: 74 69 6e 67 20 7b 20 2e 2e 20 7d 0d 0a 09 61 73 ting { .. }...as
4580: 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 70 61 72 sert_nothrow(par
4590: 73 65 53 74 72 69 6e 67 28 60 0d 0a 09 09 69 66 seString(`....if
45a0: 28 31 29 20 32 20 65 6c 73 65 20 33 0d 0a 09 60 (1) 2 else 3...`
45b0: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 ));...assert_not
45c0: 68 72 6f 77 28 70 61 72 73 65 53 74 72 69 6e 67 hrow(parseString
45d0: 28 60 0d 0a 09 09 69 66 28 31 29 20 78 7b 79 3a (`....if(1) x{y:
45e0: 7a 7d 20 65 6c 73 65 20 33 0d 0a 09 60 29 29 3b z} else 3...`));
45f0: 0d 0a 7d 0d 0a ..}..