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 2c ....["<<", ">>",
0fd0: 20 22 3c 3c 3c 22 2c 20 22 3e 3e 3e 22 5d 2c 0d "<<<", ">>>"],.
0fe0: 0a 09 09 5b 22 2b 22 2c 22 2d 22 5d 2c 0d 0a 09 ...["+","-"],...
0ff0: 09 5b 22 7e 22 5d 2c 0d 0a 09 09 5b 22 2a 22 2c .["~"],....["*",
1000: 22 2f 22 2c 22 25 22 5d 2c 0d 0a 09 09 5b 22 5e "/","%"],....["^
1010: 5e 22 2c 22 2a 2a 22 5d 2c 0d 0a 09 09 5b 22 2e ^","**"],....[".
1020: 22 2c 22 2e 3f 22 5d 0d 0a 09 5d 3b 0d 0a 0d 0a ",".?"]...];....
1030: 09 41 53 54 20 45 28 73 69 7a 65 5f 74 20 6c 65 .AST E(size_t le
1040: 76 65 6c 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 2f 20 vel)...{....///
1050: 45 78 70 72 65 73 73 69 6f 6e 20 3a 3a 3d 20 28 Expression ::= (
1060: 42 69 6e 61 72 79 20 6c 65 66 74 2d 61 73 73 6f Binary left-asso
1070: 63 69 61 74 69 76 65 20 6f 70 65 72 61 74 6f 72 ciative operator
1080: 73 20 6f 76 65 72 29 20 46 75 6e 63 61 6c 6c 0d s over) Funcall.
1090: 0a 0d 0a 09 09 41 53 54 20 72 65 63 28 41 53 54 .....AST rec(AST
10a0: 20 6c 68 73 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 lhs)....{.....i
10b0: 66 28 20 63 6c 6f 73 69 6e 67 42 72 61 63 6b 65 f( closingBracke
10c0: 74 28 29 20 29 0d 0a 09 09 09 09 72 65 74 75 72 t() )......retur
10d0: 6e 20 6c 68 73 3b 0d 0a 0d 0a 09 09 09 61 75 74 n lhs;.......aut
10e0: 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 o pos = currentP
10f0: 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 66 osition();.....f
1100: 6f 72 65 61 63 68 28 6f 70 3b 20 6f 70 65 72 61 oreach(op; opera
1110: 74 6f 72 5f 70 65 72 66 65 72 65 6e 63 65 73 5b tor_perferences[
1120: 6c 65 76 65 6c 5d 29 0d 0a 09 09 09 09 69 66 28 level])......if(
1130: 20 74 72 79 45 61 74 28 6f 70 29 20 29 0d 0a 09 tryEat(op) )...
1140: 09 09 09 09 69 66 28 20 6f 70 5b 30 5d 3d 3d 27 ....if( op[0]=='
1150: 2e 27 20 29 0d 0a 09 09 09 09 09 09 72 65 74 75 .' )........retu
1160: 72 6e 20 72 65 63 28 0d 0a 09 09 09 09 09 09 09 rn rec(.........
1170: 6e 65 77 20 41 70 70 28 6c 68 73 2e 70 6f 73 2c new App(lhs.pos,
1180: 20 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 6f 70 new Var(pos, op
1190: 29 2c 20 6c 68 73 2c 20 70 61 72 73 65 49 64 28 ), lhs, parseId(
11a0: 29 29 29 3b 0d 0a 09 09 09 09 09 65 6c 73 65 0d )));.......else.
11b0: 0a 09 09 09 09 09 09 72 65 74 75 72 6e 20 72 65 .......return re
11c0: 63 28 0d 0a 09 09 09 09 09 09 09 6e 65 77 20 41 c(.........new A
11d0: 70 70 28 6c 68 73 2e 70 6f 73 2c 20 6e 65 77 20 pp(lhs.pos, new
11e0: 56 61 72 28 70 6f 73 2c 20 6f 70 29 2c 20 6c 68 Var(pos, op), lh
11f0: 73 2c 20 45 28 6c 65 76 65 6c 2b 31 29 29 29 3b s, E(level+1)));
1200: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6c 68 73 3b .....return lhs;
1210: 0d 0a 09 09 7d 0d 0a 0d 0a 09 09 69 66 28 20 6f ....}......if( o
1220: 70 65 72 61 74 6f 72 5f 70 65 72 66 65 72 65 6e perator_perferen
1230: 63 65 73 2e 6c 65 6e 67 74 68 20 3c 3d 20 6c 65 ces.length <= le
1240: 76 65 6c 20 29 0d 0a 09 09 09 72 65 74 75 72 6e vel ).....return
1250: 20 46 75 6e 63 61 6c 6c 28 29 3b 0d 0a 09 09 65 Funcall();....e
1260: 6c 73 65 0d 0a 09 09 09 72 65 74 75 72 6e 20 72 lse.....return r
1270: 65 63 28 45 28 6c 65 76 65 6c 2b 31 29 29 3b 0d ec(E(level+1));.
1280: 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 46 75 6e 63 ..}.....AST Func
1290: 61 6c 6c 28 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 2f all()...{....///
12a0: 20 46 75 6e 63 61 6c 6c 20 3a 3a 3d 20 42 61 73 Funcall ::= Bas
12b0: 65 45 78 70 72 65 73 73 69 6f 6e 20 5b 22 28 22 eExpression ["("
12c0: 20 45 78 70 72 65 73 73 69 6f 6e 25 22 2c 22 20 Expression%","
12d0: 22 29 22 20 7c 20 22 7b 22 20 45 4e 54 52 49 45 ")" | "{" ENTRIE
12e0: 53 20 22 7d 22 5d 2a 0d 0a 0d 0a 09 09 61 75 74 S "}"]*......aut
12f0: 6f 20 65 20 3d 20 42 61 73 65 45 78 70 72 65 73 o e = BaseExpres
1300: 73 69 6f 6e 28 29 3b 0d 0a 09 09 66 6f 72 28 3b sion();....for(;
1310: 3b 29 0d 0a 09 09 09 69 66 28 20 74 72 79 45 61 ;).....if( tryEa
1320: 74 28 22 28 22 29 20 29 0d 0a 09 09 09 7b 0d 0a t("(") ).....{..
1330: 09 09 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 ....auto pos = c
1340: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 urrentPosition()
1350: 3b 0d 0a 09 09 09 09 41 53 54 5b 5d 20 61 72 67 ;......AST[] arg
1360: 73 3b 0d 0a 09 09 09 09 77 68 69 6c 65 28 20 21 s;......while( !
1370: 74 72 79 45 61 74 28 22 29 22 29 20 29 20 7b 0d tryEat(")") ) {.
1380: 0a 09 09 09 09 09 69 66 28 20 6c 65 78 2e 65 6d ......if( lex.em
1390: 70 74 79 20 29 0d 0a 09 09 09 09 09 09 74 68 72 pty )........thr
13a0: 6f 77 20 67 65 6e 65 78 21 55 6e 65 78 70 65 63 ow genex!Unexpec
13b0: 74 65 64 45 4f 46 28 70 6f 73 2c 20 22 63 6c 6f tedEOF(pos, "clo
13c0: 73 69 6e 67 20 27 29 27 20 66 6f 72 20 61 72 67 sing ')' for arg
13d0: 75 6d 65 6e 74 73 20 6e 6f 74 20 66 6f 75 6e 64 uments not found
13e0: 22 29 3b 0d 0a 09 09 09 09 09 61 72 67 73 20 7e ");.......args ~
13f0: 3d 20 45 28 30 29 3b 0d 0a 09 09 09 09 09 69 66 = E(0);.......if
1400: 28 20 21 74 72 79 45 61 74 28 22 2c 22 29 20 29 ( !tryEat(",") )
1410: 20 7b 0d 0a 09 09 09 09 09 09 65 61 74 28 22 29 {........eat(")
1420: 22 2c 20 22 61 66 74 65 72 20 66 75 6e 63 74 69 ", "after functi
1430: 6f 6e 20 70 61 72 61 6d 65 74 65 72 73 22 29 3b on parameters");
1440: 0d 0a 09 09 09 09 09 09 62 72 65 61 6b 3b 0d 0a ........break;..
1450: 09 09 09 09 09 7d 0d 0a 09 09 09 09 7d 0d 0a 09 .....}......}...
1460: 09 09 09 65 20 3d 20 6e 65 77 20 41 70 70 28 65 ...e = new App(e
1470: 2e 70 6f 73 2c 20 65 2c 20 61 72 67 73 29 3b 0d .pos, e, args);.
1480: 0a 09 09 09 7d 0d 0a 09 09 09 65 6c 73 65 20 69 ....}.....else i
1490: 66 28 20 74 72 79 45 61 74 28 22 7b 22 29 20 29 f( tryEat("{") )
14a0: 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 65 20 3d 20 .....{......e =
14b0: 70 61 72 73 65 54 61 62 6c 65 53 65 74 41 66 74 parseTableSetAft
14c0: 65 72 42 72 61 63 65 28 65 29 3b 0d 0a 09 09 09 erBrace(e);.....
14d0: 7d 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 }.....else......
14e0: 62 72 65 61 6b 3b 0d 0a 09 09 72 65 74 75 72 6e break;....return
14f0: 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 e;...}.....AST
1500: 70 61 72 73 65 54 61 62 6c 65 53 65 74 41 66 74 parseTableSetAft
1510: 65 72 42 72 61 63 65 28 41 53 54 20 65 29 0d 0a erBrace(AST e)..
1520: 09 7b 0d 0a 09 09 2f 2f 2f 20 54 61 62 6c 65 53 .{..../// TableS
1530: 65 74 20 3a 3a 3d 20 22 7b 22 20 28 49 44 20 22 et ::= "{" (ID "
1540: 3a 22 20 45 29 20 25 20 22 2c 22 20 22 7d 22 0d :" E) % "," "}".
1550: 0a 09 09 0d 0a 09 09 69 66 28 20 74 72 79 45 61 .......if( tryEa
1560: 74 28 22 7d 22 29 20 29 0d 0a 09 09 09 72 65 74 t("}") ).....ret
1570: 75 72 6e 20 65 3b 0d 0a 09 09 61 75 74 6f 20 70 urn e;....auto p
1580: 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 os = currentPosi
1590: 74 69 6f 6e 28 29 3b 0d 0a 09 09 66 6f 72 28 3b tion();....for(;
15a0: 3b 29 0d 0a 09 09 7b 0d 0a 09 09 09 73 74 72 69 ;)....{.....stri
15b0: 6e 67 20 6b 65 79 20 3d 20 65 61 74 49 64 28 22 ng key = eatId("
15c0: 66 6f 72 20 74 61 62 6c 65 20 6b 65 79 22 2c 20 for table key",
15d0: 41 6c 6c 6f 77 51 75 6f 74 65 64 29 3b 0d 0a 09 AllowQuoted);...
15e0: 09 09 65 61 74 28 22 3a 22 2c 20 22 61 66 74 65 ..eat(":", "afte
15f0: 72 20 74 61 62 6c 65 20 6b 65 79 22 29 3b 0d 0a r table key");..
1600: 09 09 09 41 53 54 20 76 61 6c 20 3d 20 45 28 30 ...AST val = E(0
1610: 29 3b 0d 0a 09 09 09 65 20 3d 20 6e 65 77 20 41 );.....e = new A
1620: 70 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 pp(pos, new Var(
1630: 70 6f 73 2c 22 2e 3d 22 29 2c 0d 0a 09 09 09 09 pos,".="),......
1640: 09 65 2c 20 6e 65 77 20 53 74 72 28 70 6f 73 2c .e, new Str(pos,
1650: 6b 65 79 29 2c 20 76 61 6c 29 3b 0d 0a 09 09 09 key), val);.....
1660: 69 66 28 20 21 74 72 79 45 61 74 28 22 2c 22 29 if( !tryEat(",")
1670: 20 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 65 61 ).....{......ea
1680: 74 28 22 7d 22 2c 20 22 66 6f 72 20 74 68 65 20 t("}", "for the
1690: 65 6e 64 20 6f 66 20 74 61 62 6c 65 20 6c 69 74 end of table lit
16a0: 65 72 61 6c 22 29 3b 0d 0a 09 09 09 09 62 72 65 eral");......bre
16b0: 61 6b 3b 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a ak;.....}....}..
16c0: 09 09 72 65 74 75 72 6e 20 65 3b 0d 0a 09 7d 0d ..return e;...}.
16d0: 0a 0d 0a 09 41 53 54 20 42 61 73 65 45 78 70 72 ....AST BaseExpr
16e0: 65 73 73 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 ession()...{....
16f0: 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d if( lex.empty ).
1700: 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
1710: 55 6e 65 78 70 65 63 74 65 64 45 4f 46 28 63 75 UnexpectedEOF(cu
1720: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c rrentPosition(),
1730: 20 22 52 65 61 63 68 65 64 20 45 4f 46 20 77 68 "Reached EOF wh
1740: 65 6e 20 74 72 69 65 64 20 74 6f 20 70 61 72 73 en tried to pars
1750: 65 20 61 6e 20 65 78 70 72 65 73 73 69 6f 6e 22 e an expression"
1760: 29 3b 0d 0a 0d 0a 09 09 61 75 74 6f 20 70 6f 73 );......auto pos
1770: 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 = lex.front.pos
1780: 3b 0d 0a 09 09 69 66 28 20 6c 65 78 2e 66 72 6f ;....if( lex.fro
1790: 6e 74 2e 71 75 6f 74 65 64 20 29 0d 0a 09 09 7b nt.quoted )....{
17a0: 0d 0a 09 09 09 73 63 6f 70 65 28 65 78 69 74 29 .....scope(exit)
17b0: 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a lex.popFront;..
17c0: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 53 74 ...return new St
17d0: 72 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f 6e 74 r(pos, lex.front
17e0: 2e 73 74 72 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 .str);....}....i
17f0: 66 28 20 69 73 4e 75 6d 62 65 72 28 6c 65 78 2e f( isNumber(lex.
1800: 66 72 6f 6e 74 2e 73 74 72 29 20 29 0d 0a 09 09 front.str) )....
1810: 7b 0d 0a 09 09 09 73 63 6f 70 65 28 65 78 69 74 {.....scope(exit
1820: 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d ) lex.popFront;.
1830: 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 ....return new I
1840: 6e 74 28 70 6f 73 2c 20 42 69 67 49 6e 74 28 63 nt(pos, BigInt(c
1850: 61 73 74 28 73 74 72 69 6e 67 29 6c 65 78 2e 66 ast(string)lex.f
1860: 72 6f 6e 74 2e 73 74 72 29 29 3b 0d 0a 09 09 7d ront.str));....}
1870: 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 22 ....if( tryEat("
1880: 40 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 @") )....{.....a
1890: 75 74 6f 20 6c 61 79 20 3d 20 22 40 22 7e 65 61 uto lay = "@"~ea
18a0: 74 49 64 28 22 66 6f 72 20 6c 61 79 65 72 20 49 tId("for layer I
18b0: 44 22 29 3b 0d 0a 09 09 09 65 61 74 28 22 28 22 D");.....eat("("
18c0: 2c 20 22 66 6f 72 20 6c 61 79 65 72 65 64 20 65 , "for layered e
18d0: 78 65 63 75 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 xecution");.....
18e0: 61 75 74 6f 20 65 20 3d 20 42 6f 64 79 28 29 3b auto e = Body();
18f0: 0d 0a 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 .....eat(")", "a
1900: 66 74 65 72 20 22 7e 6c 61 79 7e 22 28 2e 2e 2e fter "~lay~"(...
1910: 22 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e ");.....return n
1920: 65 77 20 4c 61 79 28 70 6f 73 2c 20 6c 61 79 2c ew Lay(pos, lay,
1930: 20 65 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 e);....}....if(
1940: 20 74 72 79 45 61 74 28 22 28 22 29 20 29 0d 0a tryEat("(") )..
1950: 09 09 7b 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d ..{.....auto e =
1960: 20 42 6f 64 79 28 29 3b 0d 0a 09 09 09 65 61 74 Body();.....eat
1970: 28 22 29 22 2c 20 22 61 66 74 65 72 20 70 61 72 (")", "after par
1980: 65 6e 74 68 65 73 69 7a 65 64 20 65 78 70 72 65 enthesized expre
1990: 73 73 69 6f 6e 22 29 3b 0d 0a 09 09 09 72 65 74 ssion");.....ret
19a0: 75 72 6e 20 65 3b 0d 0a 09 09 7d 0d 0a 09 09 69 urn e;....}....i
19b0: 66 28 20 74 72 79 45 61 74 28 22 7b 22 29 20 29 f( tryEat("{") )
19c0: 0d 0a 09 09 7b 0d 0a 09 09 09 41 53 54 20 65 20 ....{.....AST e
19d0: 3d 20 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 6e = new App(pos, n
19e0: 65 77 20 56 61 72 28 70 6f 73 2c 22 7b 7d 22 29 ew Var(pos,"{}")
19f0: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 70 61 );.....return pa
1a00: 72 73 65 54 61 62 6c 65 53 65 74 41 66 74 65 72 rseTableSetAfter
1a10: 42 72 61 63 65 28 65 29 3b 0d 0a 09 09 7d 0d 0a Brace(e);....}..
1a20: 09 09 69 66 28 20 74 72 79 45 61 74 28 22 69 66 ..if( tryEat("if
1a30: 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 65 61 ") )....{.....ea
1a40: 74 28 22 28 22 2c 20 22 61 66 74 65 72 20 69 66 t("(", "after if
1a50: 22 29 3b 0d 0a 09 09 09 61 75 74 6f 20 63 6f 6e ");.....auto con
1a60: 64 20 3d 20 45 28 30 29 3b 0d 0a 09 09 09 65 61 d = E(0);.....ea
1a70: 74 28 22 29 22 2c 20 22 61 66 74 65 72 20 69 66 t(")", "after if
1a80: 20 63 6f 6e 64 69 74 69 6f 6e 22 29 3b 0d 0a 09 condition");...
1a90: 09 09 61 75 74 6f 20 74 68 65 6e 50 6f 73 20 3d ..auto thenPos =
1aa0: 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d lex.front.pos;.
1ab0: 0a 09 09 09 65 61 74 28 22 7b 22 2c 20 22 61 66 ....eat("{", "af
1ac0: 74 65 72 20 69 66 20 63 6f 6e 64 69 74 69 6f 6e ter if condition
1ad0: 22 29 3b 0d 0a 09 09 09 61 75 74 6f 20 74 68 20 ");.....auto th
1ae0: 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 09 65 61 = Body();.....ea
1af0: 74 28 22 7d 22 2c 20 22 61 66 74 65 72 20 69 66 t("}", "after if
1b00: 2d 74 68 65 6e 20 62 6f 64 79 22 29 3b 0d 0a 09 -then body");...
1b10: 09 09 61 75 74 6f 20 65 6c 20 3d 20 64 6f 4e 6f ..auto el = doNo
1b20: 74 68 69 6e 67 45 78 70 72 65 73 73 69 6f 6e 28 thingExpression(
1b30: 29 3b 0d 0a 09 09 09 61 75 74 6f 20 65 6c 73 65 );.....auto else
1b40: 50 6f 73 20 3d 20 28 6c 65 78 2e 65 6d 70 74 79 Pos = (lex.empty
1b50: 20 3f 20 4c 65 78 50 6f 73 69 74 69 6f 6e 2e 64 ? LexPosition.d
1b60: 75 6d 6d 79 20 3a 20 6c 65 78 2e 66 72 6f 6e 74 ummy : lex.front
1b70: 2e 70 6f 73 29 3b 0d 0a 09 09 09 69 66 28 20 74 .pos);.....if( t
1b80: 72 79 45 61 74 28 22 65 6c 73 65 22 29 20 29 20 ryEat("else") )
1b90: 7b 0d 0a 09 09 09 09 65 61 74 28 22 7b 22 2c 20 {......eat("{",
1ba0: 22 61 66 74 65 72 20 65 6c 73 65 22 29 3b 0d 0a "after else");..
1bb0: 09 09 09 09 65 6c 20 3d 20 42 6f 64 79 28 29 3b ....el = Body();
1bc0: 0d 0a 09 09 09 09 65 61 74 28 22 7d 22 2c 20 22 ......eat("}", "
1bd0: 61 66 74 65 72 20 65 6c 73 65 20 62 6f 64 79 22 after else body"
1be0: 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 72 65 74 );.....}.....ret
1bf0: 75 72 6e 20 6e 65 77 20 41 70 70 28 70 6f 73 2c urn new App(pos,
1c00: 20 0d 0a 09 09 09 09 6e 65 77 20 56 61 72 28 70 ......new Var(p
1c10: 6f 73 2c 20 22 69 66 22 29 2c 0d 0a 09 09 09 09 os, "if"),......
1c20: 63 6f 6e 64 2c 0d 0a 09 09 09 09 6e 65 77 20 46 cond,......new F
1c30: 75 6e 28 74 68 65 6e 50 6f 73 2c 20 5b 5d 2c 20 un(thenPos, [],
1c40: 74 68 29 2c 0d 0a 09 09 09 09 6e 65 77 20 46 75 th),......new Fu
1c50: 6e 28 65 6c 73 65 50 6f 73 2c 20 5b 5d 2c 20 65 n(elsePos, [], e
1c60: 6c 29 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d 0d 0a l).....);....}..
1c70: 09 09 69 66 28 20 74 72 79 45 61 74 28 22 63 61 ..if( tryEat("ca
1c80: 73 65 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 se") )....{.....
1c90: 72 65 74 75 72 6e 20 70 61 72 73 65 50 61 74 74 return parsePatt
1ca0: 65 72 6e 4d 61 74 63 68 28 70 6f 73 29 3b 0d 0a ernMatch(pos);..
1cb0: 09 09 7d 0d 0a 09 09 69 66 28 20 74 72 79 45 61 ..}....if( tryEa
1cc0: 74 28 22 66 75 6e 22 29 20 7c 7c 20 74 72 79 45 t("fun") || tryE
1cd0: 61 74 28 22 5c 75 30 33 42 42 22 29 20 29 20 2f at("\u03BB") ) /
1ce0: 2f 20 6c 61 6d 62 64 61 21 21 0d 0a 09 09 7b 0d / lambda!!....{.
1cf0: 0a 09 09 09 65 61 74 28 22 28 22 2c 20 22 61 66 ....eat("(", "af
1d00: 74 65 72 20 66 75 6e 22 29 3b 0d 0a 09 09 09 72 ter fun");.....r
1d10: 65 74 75 72 6e 20 70 61 72 73 65 4c 61 6d 62 64 eturn parseLambd
1d20: 61 41 66 74 65 72 4f 70 65 6e 50 61 72 65 6e 28 aAfterOpenParen(
1d30: 70 6f 73 29 3b 0d 0a 09 09 7d 0d 0a 09 09 73 63 pos);....}....sc
1d40: 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f ope(exit) lex.po
1d50: 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 72 pFront;....retur
1d60: 6e 20 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 6c n new Var(pos, l
1d70: 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 3b 0d 0a ex.front.str);..
1d80: 09 7d 0d 0a 0d 0a 09 41 53 54 20 70 61 72 73 65 .}.....AST parse
1d90: 50 61 74 74 65 72 6e 4d 61 74 63 68 28 4c 65 78 PatternMatch(Lex
1da0: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 Position pos)...
1db0: 7b 0d 0a 09 09 2f 2f 20 20 20 63 61 73 65 20 22 {....// case "
1dc0: 28 22 20 70 6d 45 78 70 72 20 22 29 22 20 43 41 (" pmExpr ")" CA
1dd0: 53 45 53 0d 0a 09 09 2f 2f 3d 3d 3e 0d 0a 09 09 SES....//==>....
1de0: 2f 2f 20 20 20 6c 65 74 20 70 6d 56 61 72 20 3d // let pmVar =
1df0: 20 70 6d 45 78 70 72 20 69 6e 20 28 2e 2e 2e 20 pmExpr in (...
1e00: 6c 65 74 20 70 6d 54 72 79 46 69 72 73 74 20 3d let pmTryFirst =
1e10: 20 2e 2e 2e 20 69 6e 20 70 6d 54 72 79 46 69 72 ... in pmTryFir
1e20: 73 74 28 29 29 0d 0a 09 09 65 61 74 28 22 28 22 st())....eat("("
1e30: 2c 20 22 61 66 74 65 72 20 63 61 73 65 22 29 3b , "after case");
1e40: 0d 0a 09 09 41 53 54 20 20 20 70 6d 45 78 70 72 ....AST pmExpr
1e50: 20 3d 20 45 28 30 29 3b 0d 0a 09 09 65 61 74 28 = E(0);....eat(
1e60: 22 29 22 2c 20 22 61 66 74 65 72 20 63 61 73 65 ")", "after case
1e70: 22 29 3b 0d 0a 09 09 73 74 72 69 6e 67 20 70 6d ");....string pm
1e80: 56 61 72 20 3d 20 66 72 65 73 68 56 61 72 4e 61 Var = freshVarNa
1e90: 6d 65 28 29 3b 0d 0a 09 09 73 74 72 69 6e 67 20 me();....string
1ea0: 70 6d 54 72 79 46 69 72 73 74 20 3d 20 66 72 65 pmTryFirst = fre
1eb0: 73 68 56 61 72 4e 61 6d 65 28 29 3b 0d 0a 09 09 shVarName();....
1ec0: 41 53 54 20 20 20 70 6d 42 6f 64 79 20 3d 20 70 AST pmBody = p
1ed0: 61 72 73 65 50 61 74 74 65 72 6e 4d 61 74 63 68 arsePatternMatch
1ee0: 43 61 73 65 73 28 70 6d 56 61 72 2c 20 70 6d 54 Cases(pmVar, pmT
1ef0: 72 79 46 69 72 73 74 2c 0d 0a 09 09 09 6e 65 77 ryFirst,.....new
1f00: 20 41 70 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 App(pos, new Va
1f10: 72 28 70 6f 73 2c 20 70 6d 54 72 79 46 69 72 73 r(pos, pmTryFirs
1f20: 74 29 29 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 t)));....return
1f30: 6e 65 77 20 4c 65 74 28 70 6f 73 2c 20 70 6d 56 new Let(pos, pmV
1f40: 61 72 2c 20 5b 5d 2c 20 70 6d 45 78 70 72 2c 20 ar, [], pmExpr,
1f50: 70 6d 42 6f 64 79 29 3b 0d 0a 09 7d 0d 0a 0d 0a pmBody);...}....
1f60: 09 41 53 54 20 70 61 72 73 65 50 61 74 74 65 72 .AST parsePatter
1f70: 6e 4d 61 74 63 68 43 61 73 65 73 28 73 74 72 69 nMatchCases(stri
1f80: 6e 67 20 70 6d 56 61 72 2c 20 73 74 72 69 6e 67 ng pmVar, string
1f90: 20 74 72 79 54 68 69 73 42 72 61 6e 63 68 56 61 tryThisBranchVa
1fa0: 72 2c 20 41 53 54 20 74 68 65 6e 44 6f 54 68 69 r, AST thenDoThi
1fb0: 73 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 20 20 20 20 s)...{....//
1fc0: 77 68 65 6e 28 20 70 61 74 20 29 20 7b 20 63 42 when( pat ) { cB
1fd0: 6f 64 79 20 7d 0d 0a 09 09 2f 2f 3d 3d 3e 0d 0a ody }....//==>..
1fe0: 09 09 2f 2f 20 20 20 20 2e 2e 2e 20 6c 65 74 20 ..// ... let
1ff0: 66 61 69 6c 42 72 61 6e 63 68 56 61 72 20 3d 20 failBranchVar =
2000: 2e 2e 2e 20 69 6e 0d 0a 09 09 2f 2f 20 20 20 20 ... in....//
2010: 6c 65 74 20 74 72 79 54 68 69 73 42 72 61 6e 63 let tryThisBranc
2020: 68 56 61 72 20 3d 20 66 75 6e 28 29 7b 20 69 66 hVar = fun(){ if
2030: 28 74 65 73 74 29 7b 63 42 6f 64 79 7d 65 6c 73 (test){cBody}els
2040: 65 7b 66 61 69 6c 42 72 61 6e 63 68 56 61 72 28 e{failBranchVar(
2050: 29 7d 20 7d 20 69 6e 20 74 68 65 6e 44 6f 54 68 )} } in thenDoTh
2060: 69 73 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 is....if( tryEat
2070: 28 22 77 68 65 6e 22 29 20 29 0d 0a 09 09 7b 0d ("when") )....{.
2080: 0a 09 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 ....auto pos = c
2090: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 urrentPosition()
20a0: 3b 0d 0a 09 09 09 73 74 72 69 6e 67 20 66 61 69 ;.....string fai
20b0: 6c 42 72 61 6e 63 68 56 61 72 20 3d 20 66 72 65 lBranchVar = fre
20c0: 73 68 56 61 72 4e 61 6d 65 28 29 3b 0d 0a 0d 0a shVarName();....
20d0: 09 09 09 65 61 74 28 22 28 22 2c 20 22 61 66 74 ...eat("(", "aft
20e0: 65 72 20 77 68 65 6e 22 29 3b 0d 0a 09 09 09 61 er when");.....a
20f0: 75 74 6f 20 70 72 20 3d 20 70 61 72 73 65 50 61 uto pr = parsePa
2100: 74 74 65 72 6e 28 29 3b 0d 0a 09 09 09 65 61 74 ttern();.....eat
2110: 28 22 29 22 2c 20 22 61 66 74 65 72 20 77 68 65 (")", "after whe
2120: 6e 22 29 3b 0d 0a 09 09 09 65 61 74 28 22 7b 22 n");.....eat("{"
2130: 2c 20 22 61 66 74 65 72 20 70 61 74 74 65 72 6e , "after pattern
2140: 22 29 3b 0d 0a 09 09 09 41 53 54 20 63 42 6f 64 ");.....AST cBod
2150: 79 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 09 y = Body();.....
2160: 41 53 54 20 6a 75 64 67 65 6d 65 6e 74 20 3d 20 AST judgement =
2170: 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 77 new App(pos, new
2180: 20 56 61 72 28 70 6f 73 2c 20 22 69 66 22 29 2c Var(pos, "if"),
2190: 0d 0a 09 09 09 09 70 70 54 65 73 74 28 70 6d 56 ......ppTest(pmV
21a0: 61 72 2c 20 70 72 29 2c 20 6e 65 77 20 46 75 6e ar, pr), new Fun
21b0: 28 70 6f 73 2c 5b 5d 2c 70 70 42 69 6e 64 28 70 (pos,[],ppBind(p
21c0: 6d 56 61 72 2c 20 70 72 2c 20 63 42 6f 64 79 29 mVar, pr, cBody)
21d0: 29 2c 0d 0a 09 09 09 09 6e 65 77 20 56 61 72 28 ),......new Var(
21e0: 70 6f 73 2c 20 66 61 69 6c 42 72 61 6e 63 68 56 pos, failBranchV
21f0: 61 72 29 29 3b 0d 0a 09 09 09 65 61 74 28 22 7d ar));.....eat("}
2200: 22 2c 20 22 61 66 74 65 72 20 70 61 74 74 65 72 ", "after patter
2210: 6e 20 63 6c 61 75 73 65 22 29 3b 0d 0a 09 09 09 n clause");.....
2220: 72 65 74 75 72 6e 20 70 61 72 73 65 50 61 74 74 return parsePatt
2230: 65 72 6e 4d 61 74 63 68 43 61 73 65 73 28 70 6d ernMatchCases(pm
2240: 56 61 72 2c 20 66 61 69 6c 42 72 61 6e 63 68 56 Var, failBranchV
2250: 61 72 2c 20 0d 0a 09 09 09 09 6e 65 77 20 4c 65 ar, ......new Le
2260: 74 28 70 6f 73 2c 20 74 72 79 54 68 69 73 42 72 t(pos, tryThisBr
2270: 61 6e 63 68 56 61 72 2c 20 5b 5d 2c 0d 0a 09 09 anchVar, [],....
2280: 09 09 09 6e 65 77 20 46 75 6e 28 70 6f 73 2c 5b ...new Fun(pos,[
2290: 5d 2c 6a 75 64 67 65 6d 65 6e 74 29 2c 20 74 68 ],judgement), th
22a0: 65 6e 44 6f 54 68 69 73 29 0d 0a 09 09 09 29 3b enDoThis).....);
22b0: 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 ....}....else...
22c0: 09 7b 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 20 .{.....auto pos
22d0: 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f = currentPositio
22e0: 6e 28 29 3b 0d 0a 09 09 09 41 53 54 20 64 6f 4e n();.....AST doN
22f0: 6f 74 68 69 6e 67 20 3d 20 6e 65 77 20 46 75 6e othing = new Fun
2300: 28 70 6f 73 2c 5b 5d 2c 0d 0a 09 09 09 09 6e 65 (pos,[],......ne
2310: 77 20 53 74 72 28 70 6f 73 2c 20 73 70 72 69 6e w Str(pos, sprin
2320: 74 66 21 22 28 70 61 74 74 65 72 6e 20 6d 61 74 tf!"(pattern mat
2330: 63 68 20 66 61 69 6c 75 72 65 3a 25 73 29 22 28 ch failure:%s)"(
2340: 70 6f 73 29 29 29 3b 0d 0a 09 09 09 72 65 74 75 pos)));.....retu
2350: 72 6e 20 6e 65 77 20 4c 65 74 28 63 75 72 72 65 rn new Let(curre
2360: 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 74 72 ntPosition(), tr
2370: 79 54 68 69 73 42 72 61 6e 63 68 56 61 72 2c 20 yThisBranchVar,
2380: 5b 5d 2c 20 64 6f 4e 6f 74 68 69 6e 67 2c 20 74 [], doNothing, t
2390: 68 65 6e 44 6f 54 68 69 73 29 3b 0d 0a 09 09 7d henDoThis);....}
23a0: 0d 0a 09 7d 0d 0a 0d 0a 2f 2f 20 68 61 67 65 73 ...}....// hages
23b0: 68 69 6b 75 20 74 65 6e 75 6b 69 0d 0a 09 61 62 hiku tenuki...ab
23c0: 73 74 72 61 63 74 20 63 6c 61 73 73 20 53 69 6e stract class Sin
23d0: 67 6c 65 50 61 74 74 65 72 6e 0d 0a 09 7b 0d 0a glePattern...{..
23e0: 09 09 73 74 72 69 6e 67 5b 5d 20 70 61 74 68 3b ..string[] path;
23f0: 0d 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 ....mixin Simple
2400: 43 6c 61 73 73 3b 0d 0a 09 09 70 72 69 76 61 74 Class;....privat
2410: 65 20 41 53 54 20 61 63 63 65 73 73 28 73 74 72 e AST access(str
2420: 69 6e 67 20 70 6d 56 61 72 2c 20 73 74 72 69 6e ing pmVar, strin
2430: 67 5b 5d 20 70 61 74 68 29 20 7b 0d 0a 09 09 09 g[] path) {.....
2440: 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 auto pos = curre
2450: 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 ntPosition();...
2460: 09 09 41 53 54 20 65 20 3d 20 6e 65 77 20 56 61 ..AST e = new Va
2470: 72 28 70 6f 73 2c 20 70 6d 56 61 72 29 3b 0d 0a r(pos, pmVar);..
2480: 09 09 09 66 6f 72 65 61 63 68 28 70 3b 20 70 61 ...foreach(p; pa
2490: 74 68 29 0d 0a 09 09 09 09 65 20 3d 20 6e 65 77 th)......e = new
24a0: 20 41 70 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 App(pos, new Va
24b0: 72 28 70 6f 73 2c 20 22 2e 22 29 2c 20 65 2c 20 r(pos, "."), e,
24c0: 6e 65 77 20 53 74 72 28 70 6f 73 2c 20 70 29 29 new Str(pos, p))
24d0: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 3b 0d ;.....return e;.
24e0: 0a 09 09 7d 0d 0a 09 09 70 72 69 76 61 74 65 20 ...}....private
24f0: 41 53 54 20 68 61 73 28 41 53 54 20 65 2c 20 73 AST has(AST e, s
2500: 74 72 69 6e 67 20 6b 29 20 7b 0d 0a 09 09 09 61 tring k) {.....a
2510: 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e uto pos = curren
2520: 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 tPosition();....
2530: 09 72 65 74 75 72 6e 20 6f 70 41 6e 64 41 6e 64 .return opAndAnd
2540: 28 0d 0a 09 09 09 09 6e 65 77 20 41 70 70 28 70 (......new App(p
2550: 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 6f 73 2c os, new Var(pos,
2560: 20 22 5f 69 73 74 61 62 6c 65 22 29 2c 20 65 29 "_istable"), e)
2570: 2c 0d 0a 09 09 09 09 6e 65 77 20 41 70 70 28 70 ,......new App(p
2580: 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 6f 73 2c os, new Var(pos,
2590: 20 22 2e 3f 22 29 2c 20 65 2c 20 6e 65 77 20 53 ".?"), e, new S
25a0: 74 72 28 70 6f 73 2c 20 6b 29 29 0d 0a 09 09 09 tr(pos, k)).....
25b0: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 70 72 69 76 61 );....}....priva
25c0: 74 65 20 41 53 54 20 6f 70 41 6e 64 41 6e 64 28 te AST opAndAnd(
25d0: 41 53 54 20 61 2c 20 41 53 54 20 62 29 20 7b 0d AST a, AST b) {.
25e0: 0a 09 09 09 69 66 28 20 61 20 69 73 20 6e 75 6c ....if( a is nul
25f0: 6c 20 29 20 72 65 74 75 72 6e 20 62 3b 0d 0a 09 l ) return b;...
2600: 09 09 69 66 28 20 62 20 69 73 20 6e 75 6c 6c 20 ..if( b is null
2610: 29 20 72 65 74 75 72 6e 20 61 3b 0d 0a 09 09 09 ) return a;.....
2620: 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 auto pos = curre
2630: 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 ntPosition();...
2640: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 41 70 70 ..return new App
2650: 28 70 6f 73 2c 0d 0a 09 09 09 09 6e 65 77 20 56 (pos,......new V
2660: 61 72 28 70 6f 73 2c 20 22 69 66 22 29 2c 0d 0a ar(pos, "if"),..
2670: 09 09 09 09 61 2c 0d 0a 09 09 09 09 6e 65 77 20 ....a,......new
2680: 46 75 6e 28 70 6f 73 2c 20 5b 5d 2c 20 62 29 2c Fun(pos, [], b),
2690: 0d 0a 09 09 09 09 6e 65 77 20 46 75 6e 28 70 6f ......new Fun(po
26a0: 73 2c 20 5b 5d 2c 20 6e 65 77 20 49 6e 74 28 70 s, [], new Int(p
26b0: 6f 73 2c 20 30 29 29 0d 0a 09 09 09 29 3b 0d 0a os, 0)).....);..
26c0: 09 09 7d 0d 0a 09 09 41 53 54 20 70 70 54 65 73 ..}....AST ppTes
26d0: 74 28 73 74 72 69 6e 67 20 70 6d 56 61 72 29 20 t(string pmVar)
26e0: 7b 0d 0a 09 09 09 41 53 54 20 63 20 3d 20 6e 75 {.....AST c = nu
26f0: 6c 6c 3b 0d 0a 09 09 09 66 6f 72 28 69 6e 74 20 ll;.....for(int
2700: 69 3d 30 3b 20 69 3c 70 61 74 68 2e 6c 65 6e 67 i=0; i<path.leng
2710: 74 68 3b 20 2b 2b 69 29 0d 0a 09 09 09 09 63 20 th; ++i)......c
2720: 3d 20 6f 70 41 6e 64 41 6e 64 28 63 2c 20 68 61 = opAndAnd(c, ha
2730: 73 28 61 63 63 65 73 73 28 70 6d 56 61 72 2c 70 s(access(pmVar,p
2740: 61 74 68 5b 30 2e 2e 69 5d 29 2c 20 70 61 74 68 ath[0..i]), path
2750: 5b 69 5d 29 29 3b 0d 0a 09 09 09 72 65 74 75 72 [i]));.....retur
2760: 6e 20 63 3b 0d 0a 09 09 7d 0d 0a 09 09 41 53 54 n c;....}....AST
2770: 20 70 70 42 69 6e 64 28 73 74 72 69 6e 67 20 70 ppBind(string p
2780: 6d 56 61 72 2c 20 41 53 54 20 74 68 65 6e 44 6f mVar, AST thenDo
2790: 54 68 69 73 29 20 7b 20 72 65 74 75 72 6e 20 74 This) { return t
27a0: 68 65 6e 44 6f 54 68 69 73 3b 20 7d 0d 0a 09 7d henDoThis; }...}
27b0: 0d 0a 09 63 6c 61 73 73 20 57 69 6c 64 50 61 74 ...class WildPat
27c0: 74 65 72 6e 20 3a 20 53 69 6e 67 6c 65 50 61 74 tern : SinglePat
27d0: 74 65 72 6e 0d 0a 09 7b 0d 0a 09 09 6d 69 78 69 tern...{....mixi
27e0: 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a n SimpleClass;..
27f0: 09 7d 0d 0a 09 63 6c 61 73 73 20 56 61 72 50 61 .}...class VarPa
2800: 74 74 65 72 6e 20 3a 20 53 69 6e 67 6c 65 50 61 ttern : SinglePa
2810: 74 74 65 72 6e 0d 0a 09 7b 0d 0a 09 09 73 74 72 ttern...{....str
2820: 69 6e 67 20 6e 61 6d 65 3b 0d 0a 09 09 6d 69 78 ing name;....mix
2830: 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d in SimpleClass;.
2840: 0a 09 09 41 53 54 20 70 70 42 69 6e 64 28 73 74 ...AST ppBind(st
2850: 72 69 6e 67 20 70 6d 56 61 72 2c 20 41 53 54 20 ring pmVar, AST
2860: 74 68 65 6e 44 6f 54 68 69 73 29 20 7b 0d 0a 09 thenDoThis) {...
2870: 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 ..auto pos = cur
2880: 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d rentPosition();.
2890: 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c ....return new L
28a0: 65 74 28 70 6f 73 2c 20 6e 61 6d 65 2c 20 5b 5d et(pos, name, []
28b0: 2c 20 61 63 63 65 73 73 28 70 6d 56 61 72 2c 70 , access(pmVar,p
28c0: 61 74 68 29 2c 20 74 68 65 6e 44 6f 54 68 69 73 ath), thenDoThis
28d0: 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 09 63 6c );....}...}...cl
28e0: 61 73 73 20 43 6f 6e 73 74 61 6e 74 50 61 74 74 ass ConstantPatt
28f0: 65 72 6e 20 3a 20 53 69 6e 67 6c 65 50 61 74 74 ern : SinglePatt
2900: 65 72 6e 0d 0a 09 7b 0d 0a 09 09 41 53 54 20 65 ern...{....AST e
2910: 3b 0d 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c ;....mixin Simpl
2920: 65 43 6c 61 73 73 3b 0d 0a 09 09 41 53 54 20 70 eClass;....AST p
2930: 70 54 65 73 74 28 73 74 72 69 6e 67 20 70 6d 56 pTest(string pmV
2940: 61 72 29 20 7b 0d 0a 09 09 09 61 75 74 6f 20 70 ar) {.....auto p
2950: 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 os = currentPosi
2960: 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 72 65 74 75 tion();.....retu
2970: 72 6e 20 6f 70 41 6e 64 41 6e 64 28 20 73 75 70 rn opAndAnd( sup
2980: 65 72 2e 70 70 54 65 73 74 28 70 6d 56 61 72 29 er.ppTest(pmVar)
2990: 2c 0d 0a 09 09 09 09 6e 65 77 20 41 70 70 28 70 ,......new App(p
29a0: 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 6f 73 2c os, new Var(pos,
29b0: 22 3d 3d 22 29 2c 20 61 63 63 65 73 73 28 70 6d "=="), access(pm
29c0: 56 61 72 2c 70 61 74 68 29 2c 20 65 29 0d 0a 09 Var,path), e)...
29d0: 09 09 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d ..);....}...}...
29e0: 0a 09 53 69 6e 67 6c 65 50 61 74 74 65 72 6e 5b ..SinglePattern[
29f0: 5d 20 70 61 72 73 65 50 61 74 74 65 72 6e 28 73 ] parsePattern(s
2a00: 74 72 69 6e 67 5b 5d 20 70 61 74 68 20 3d 20 6e tring[] path = n
2a10: 75 6c 6c 29 0d 0a 09 7b 0d 0a 09 09 53 69 6e 67 ull)...{....Sing
2a20: 6c 65 50 61 74 74 65 72 6e 5b 5d 20 72 65 73 75 lePattern[] resu
2a30: 6c 74 3b 0d 0a 09 09 69 66 28 20 74 72 79 45 61 lt;....if( tryEa
2a40: 74 28 22 7b 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 t("{") )....{...
2a50: 09 09 69 66 28 20 21 74 72 79 45 61 74 28 22 7d ..if( !tryEat("}
2a60: 22 29 20 29 20 7b 0d 0a 09 09 09 09 64 6f 20 7b ") ) {......do {
2a70: 0d 0a 09 09 09 09 09 73 74 72 69 6e 67 20 6b 65 .......string ke
2a80: 79 20 3d 20 65 61 74 49 64 28 22 69 6e 20 74 61 y = eatId("in ta
2a90: 62 6c 65 20 70 61 74 74 65 72 6e 22 29 3b 0d 0a ble pattern");..
2aa0: 09 09 09 09 09 65 61 74 28 22 3a 22 2c 20 22 61 .....eat(":", "a
2ab0: 66 74 65 72 20 66 69 65 6c 64 2d 69 64 20 69 6e fter field-id in
2ac0: 20 74 61 62 6c 65 20 70 61 74 74 65 72 6e 22 29 table pattern")
2ad0: 3b 0d 0a 09 09 09 09 09 72 65 73 75 6c 74 20 7e ;.......result ~
2ae0: 3d 20 70 61 72 73 65 50 61 74 74 65 72 6e 28 70 = parsePattern(p
2af0: 61 74 68 20 7e 20 6b 65 79 29 3b 0d 0a 09 09 09 ath ~ key);.....
2b00: 09 7d 20 77 68 69 6c 65 28 20 74 72 79 45 61 74 .} while( tryEat
2b10: 28 22 2c 22 29 20 29 3b 0d 0a 09 09 09 09 65 61 (",") );......ea
2b20: 74 28 22 7d 22 2c 20 22 61 74 20 74 68 65 20 65 t("}", "at the e
2b30: 6e 64 20 6f 66 20 74 61 62 6c 65 20 70 61 74 74 nd of table patt
2b40: 65 72 6e 22 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 ern");.....}....
2b50: 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a }....else....{..
2b60: 09 09 09 41 53 54 20 65 20 3d 20 45 28 30 29 3b ...AST e = E(0);
2b70: 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 65 76 20 .....if(auto ev
2b80: 3d 20 63 61 73 74 28 56 61 72 29 65 29 0d 0a 09 = cast(Var)e)...
2b90: 09 09 09 69 66 28 65 76 2e 6e 61 6d 65 20 3d 3d ...if(ev.name ==
2ba0: 20 22 5f 22 29 0d 0a 09 09 09 09 09 72 65 73 75 "_").......resu
2bb0: 6c 74 20 7e 3d 20 6e 65 77 20 57 69 6c 64 50 61 lt ~= new WildPa
2bc0: 74 74 65 72 6e 28 70 61 74 68 29 3b 0d 0a 09 09 ttern(path);....
2bd0: 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 72 65 73 ..else.......res
2be0: 75 6c 74 20 7e 3d 20 6e 65 77 20 56 61 72 50 61 ult ~= new VarPa
2bf0: 74 74 65 72 6e 28 70 61 74 68 2c 20 65 76 2e 6e ttern(path, ev.n
2c00: 61 6d 65 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a ame);.....else..
2c10: 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 6e 65 ....result ~= ne
2c20: 77 20 43 6f 6e 73 74 61 6e 74 50 61 74 74 65 72 w ConstantPatter
2c30: 6e 28 70 61 74 68 2c 20 65 29 3b 0d 0a 09 09 7d n(path, e);....}
2c40: 0d 0a 09 09 72 65 74 75 72 6e 20 72 65 73 75 6c ....return resul
2c50: 74 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 70 t;...}.....AST p
2c60: 70 54 65 73 74 28 73 74 72 69 6e 67 20 70 6d 56 pTest(string pmV
2c70: 61 72 2c 20 53 69 6e 67 6c 65 50 61 74 74 65 72 ar, SinglePatter
2c80: 6e 5b 5d 20 70 61 74 73 29 0d 0a 09 7b 0d 0a 09 n[] pats)...{...
2c90: 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 .auto pos = curr
2ca0: 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a entPosition();..
2cb0: 09 09 41 53 54 20 63 6f 6e 64 20 3d 20 6e 75 6c ..AST cond = nul
2cc0: 6c 3b 0d 0a 09 09 66 6f 72 65 61 63 68 28 70 3b l;....foreach(p;
2cd0: 20 70 61 74 73 29 20 7b 0d 0a 09 09 09 41 53 54 pats) {.....AST
2ce0: 20 63 32 20 3d 20 70 2e 70 70 54 65 73 74 28 70 c2 = p.ppTest(p
2cf0: 6d 56 61 72 29 3b 0d 0a 09 09 09 69 66 28 20 63 mVar);.....if( c
2d00: 32 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 2 !is null )....
2d10: 09 09 63 6f 6e 64 20 3d 20 63 6f 6e 64 20 69 73 ..cond = cond is
2d20: 20 6e 75 6c 6c 20 3f 20 63 32 0d 0a 09 09 09 09 null ? c2......
2d30: 20 20 20 20 3a 20 6e 65 77 20 41 70 70 28 70 6f : new App(po
2d40: 73 2c 20 6e 65 77 20 56 61 72 28 70 6f 73 2c 22 s, new Var(pos,"
2d50: 26 26 22 29 2c 20 63 6f 6e 64 2c 20 63 32 29 3b &&"), cond, c2);
2d60: 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 ....}....return
2d70: 63 6f 6e 64 20 69 73 20 6e 75 6c 6c 20 3f 20 6e cond is null ? n
2d80: 65 77 20 49 6e 74 28 63 75 72 72 65 6e 74 50 6f ew Int(currentPo
2d90: 73 69 74 69 6f 6e 28 29 2c 20 31 29 20 3a 20 63 sition(), 1) : c
2da0: 6f 6e 64 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 ond;...}.....AST
2db0: 20 70 70 42 69 6e 64 28 73 74 72 69 6e 67 20 70 ppBind(string p
2dc0: 6d 56 61 72 2c 20 53 69 6e 67 6c 65 50 61 74 74 mVar, SinglePatt
2dd0: 65 72 6e 5b 5d 20 70 61 74 73 2c 20 41 53 54 20 ern[] pats, AST
2de0: 74 68 65 6e 44 6f 54 68 69 73 29 0d 0a 09 7b 0d thenDoThis)...{.
2df0: 0a 09 09 66 6f 72 65 61 63 68 28 70 3b 20 70 61 ...foreach(p; pa
2e00: 74 73 29 0d 0a 09 09 09 74 68 65 6e 44 6f 54 68 ts).....thenDoTh
2e10: 69 73 20 3d 20 70 2e 70 70 42 69 6e 64 28 70 6d is = p.ppBind(pm
2e20: 56 61 72 2c 20 74 68 65 6e 44 6f 54 68 69 73 29 Var, thenDoThis)
2e30: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 74 68 65 6e ;....return then
2e40: 44 6f 54 68 69 73 3b 0d 0a 09 7d 0d 0a 0d 0a 09 DoThis;...}.....
2e50: 41 53 54 20 70 61 72 73 65 49 64 28 29 0d 0a 09 AST parseId()...
2e60: 7b 0d 0a 09 09 73 63 6f 70 65 28 65 78 69 74 29 {....scope(exit)
2e70: 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a lex.popFront;..
2e80: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 53 74 72 ..return new Str
2e90: 28 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e (currentPosition
2ea0: 28 29 2c 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 (), lex.front.st
2eb0: 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 r);...}.....AST
2ec0: 70 61 72 73 65 4c 61 6d 62 64 61 41 66 74 65 72 parseLambdaAfter
2ed0: 4f 70 65 6e 50 61 72 65 6e 28 69 6d 6d 75 74 61 OpenParen(immuta
2ee0: 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 ble LexPosition
2ef0: 70 6f 73 29 0d 0a 09 7b 0d 0a 09 09 50 61 72 61 pos)...{....Para
2f00: 6d 65 74 65 72 5b 5d 20 70 61 72 61 6d 73 3b 0d meter[] params;.
2f10: 0a 09 09 77 68 69 6c 65 28 20 21 74 72 79 45 61 ...while( !tryEa
2f20: 74 28 22 29 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 t(")") )....{...
2f30: 09 09 70 61 72 61 6d 73 20 7e 3d 20 70 61 72 73 ..params ~= pars
2f40: 65 50 61 72 61 6d 28 29 3b 0d 0a 09 09 09 69 66 eParam();.....if
2f50: 28 20 21 74 72 79 45 61 74 28 22 2c 22 29 20 29 ( !tryEat(",") )
2f60: 20 7b 0d 0a 09 09 09 09 65 61 74 28 22 29 22 2c {......eat(")",
2f70: 20 22 61 66 74 65 72 20 66 75 6e 63 74 69 6f 6e "after function
2f80: 20 70 61 72 61 6d 65 74 65 72 73 22 29 3b 0d 0a parameters");..
2f90: 09 09 09 09 62 72 65 61 6b 3b 0d 0a 09 09 09 7d ....break;.....}
2fa0: 0d 0a 09 09 7d 0d 0a 09 09 65 61 74 28 22 7b 22 ....}....eat("{"
2fb0: 2c 20 22 61 66 74 65 72 20 66 75 6e 63 74 69 6f , "after functio
2fc0: 6e 20 70 61 72 61 6d 65 74 65 72 73 22 29 3b 0d n parameters");.
2fd0: 0a 09 09 61 75 74 6f 20 66 75 6e 62 6f 64 79 20 ...auto funbody
2fe0: 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 65 61 74 = Body();....eat
2ff0: 28 22 7d 22 2c 20 22 61 66 74 65 72 20 66 75 6e ("}", "after fun
3000: 63 74 69 6f 6e 20 62 6f 64 79 22 29 3b 0d 0a 09 ction body");...
3010: 09 72 65 74 75 72 6e 20 6e 65 77 20 46 75 6e 28 .return new Fun(
3020: 70 6f 73 2c 20 70 61 72 61 6d 73 2c 20 66 75 6e pos, params, fun
3030: 62 6f 64 79 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 50 body);...}.....P
3040: 61 72 61 6d 65 74 65 72 20 70 61 72 73 65 50 61 arameter parsePa
3050: 72 61 6d 28 29 0d 0a 09 7b 0d 0a 09 09 73 74 72 ram()...{....str
3060: 69 6e 67 20 76 61 72 3b 0d 0a 09 09 73 74 72 69 ing var;....stri
3070: 6e 67 5b 5d 20 6c 61 79 3b 0d 0a 09 09 77 68 69 ng[] lay;....whi
3080: 6c 65 28 20 21 63 6c 6f 73 69 6e 67 42 72 61 63 le( !closingBrac
3090: 6b 65 74 28 29 20 26 26 20 21 6c 65 78 2e 65 6d ket() && !lex.em
30a0: 70 74 79 20 26 26 20 6c 65 78 2e 66 72 6f 6e 74 pty && lex.front
30b0: 2e 73 74 72 21 3d 22 2c 22 20 29 0d 0a 09 09 7b .str!="," )....{
30c0: 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 .....auto pos =
30d0: 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 currentPosition(
30e0: 29 3b 0d 0a 09 09 09 73 74 72 69 6e 67 20 70 20 );.....string p
30f0: 3d 20 65 61 74 49 64 28 22 66 6f 72 20 66 75 6e = eatId("for fun
3100: 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 22 ction parameter"
3110: 2c 20 41 6c 6c 6f 77 51 75 6f 74 65 64 29 3b 0d , AllowQuoted);.
3120: 0a 09 09 09 69 66 28 20 70 20 3d 3d 20 22 40 22 ....if( p == "@"
3130: 20 29 0d 0a 09 09 09 09 6c 61 79 20 7e 3d 20 22 )......lay ~= "
3140: 40 22 20 7e 20 65 61 74 49 64 28 22 61 66 74 65 @" ~ eatId("afte
3150: 72 20 40 22 2c 20 41 6c 6c 6f 77 51 75 6f 74 65 r @", AllowQuote
3160: 64 29 3b 0d 0a 09 09 09 65 6c 73 65 20 69 66 28 d);.....else if(
3170: 20 76 61 72 2e 65 6d 70 74 79 20 29 0d 0a 09 09 var.empty )....
3180: 09 09 76 61 72 20 3d 20 70 3b 0d 0a 09 09 09 65 ..var = p;.....e
3190: 6c 73 65 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 lse......throw g
31a0: 65 6e 65 78 21 50 61 72 73 65 45 78 63 65 70 74 enex!ParseExcept
31b0: 69 6f 6e 28 70 6f 73 2c 20 22 6f 6e 65 20 70 61 ion(pos, "one pa
31c0: 72 61 6d 65 74 65 72 20 68 61 73 20 74 77 6f 20 rameter has two
31d0: 6e 61 6d 65 73 22 29 3b 0d 0a 09 09 7d 0d 0a 09 names");....}...
31e0: 09 72 65 74 75 72 6e 20 6e 65 77 20 50 61 72 61 .return new Para
31f0: 6d 65 74 65 72 28 76 61 72 2c 20 6c 61 79 29 3b meter(var, lay);
3200: 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a ...}....private:
3210: 0d 0a 09 4c 65 78 65 72 20 6c 65 78 3b 0d 0a 09 ...Lexer lex;...
3220: 74 68 69 73 28 4c 65 78 65 72 20 6c 65 78 29 20 this(Lexer lex)
3230: 7b 20 74 68 69 73 2e 6c 65 78 20 3d 20 6c 65 78 { this.lex = lex
3240: 3b 20 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 69 73 4e ; }.....bool isN
3250: 75 6d 62 65 72 28 73 74 72 69 6e 67 20 73 29 0d umber(string s).
3260: 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 66 69 ..{....return fi
3270: 6e 64 21 28 60 61 3c 27 30 27 20 7c 7c 20 27 39 nd!(`a<'0' || '9
3280: 27 3c 61 60 29 28 73 29 2e 65 6d 70 74 79 3b 0d '<a`)(s).empty;.
3290: 0a 09 7d 0d 0a 09 0d 0a 09 76 6f 69 64 20 65 61 ..}......void ea
32a0: 74 28 73 74 72 69 6e 67 20 6b 77 64 2c 20 6c 61 t(string kwd, la
32b0: 7a 79 20 73 74 72 69 6e 67 20 6d 73 67 29 0d 0a zy string msg)..
32c0: 09 7b 0d 0a 09 09 69 66 28 20 21 74 72 79 45 61 .{....if( !tryEa
32d0: 74 28 6b 77 64 29 20 29 0d 0a 09 09 09 69 66 28 t(kwd) ).....if(
32e0: 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 lex.empty )....
32f0: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 55 6e ..throw genex!Un
3300: 65 78 70 65 63 74 65 64 45 4f 46 28 0d 0a 09 09 expectedEOF(....
3310: 09 09 09 63 75 72 72 65 6e 74 50 6f 73 69 74 69 ...currentPositi
3320: 6f 6e 28 29 2c 20 73 70 72 69 6e 74 66 21 22 25 on(), sprintf!"%
3330: 73 20 69 73 20 65 78 70 65 63 74 65 64 20 25 73 s is expected %s
3340: 20 62 75 74 20 6e 6f 74 20 66 6f 75 6e 64 22 28 but not found"(
3350: 6b 77 64 2c 6d 73 67 29 29 3b 0d 0a 09 09 09 65 kwd,msg));.....e
3360: 6c 73 65 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 lse......throw g
3370: 65 6e 65 78 21 50 61 72 73 65 45 78 63 65 70 74 enex!ParseExcept
3380: 69 6f 6e 28 0d 0a 09 09 09 09 09 63 75 72 72 65 ion(.......curre
3390: 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 73 70 ntPosition(), sp
33a0: 72 69 6e 74 66 21 22 25 73 20 69 73 20 65 78 70 rintf!"%s is exp
33b0: 65 63 74 65 64 20 66 6f 72 20 25 73 20 62 75 74 ected for %s but
33c0: 20 6e 6f 74 20 66 6f 75 6e 64 22 28 6b 77 64 2c not found"(kwd,
33d0: 6d 73 67 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 62 msg));...}.....b
33e0: 6f 6f 6c 20 74 72 79 45 61 74 28 73 74 72 69 6e ool tryEat(strin
33f0: 67 20 6b 77 64 29 0d 0a 09 7b 0d 0a 09 09 69 66 g kwd)...{....if
3400: 28 20 6c 65 78 2e 65 6d 70 74 79 20 7c 7c 20 6c ( lex.empty || l
3410: 65 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 ex.front.quoted
3420: 7c 7c 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 || lex.front.str
3430: 21 3d 6b 77 64 20 29 0d 0a 09 09 09 72 65 74 75 !=kwd ).....retu
3440: 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 09 6c 65 78 rn false;....lex
3450: 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 .popFront;....re
3460: 74 75 72 6e 20 74 72 75 65 3b 0d 0a 09 7d 0d 0a turn true;...}..
3470: 0d 0a 09 65 6e 75 6d 20 7b 41 6c 6c 6f 77 51 75 ...enum {AllowQu
3480: 6f 74 65 64 3d 74 72 75 65 2c 20 44 69 73 61 6c oted=true, Disal
3490: 6c 6f 77 51 75 6f 74 65 64 3d 66 61 6c 73 65 7d lowQuoted=false}
34a0: 3b 0d 0a 09 73 74 72 69 6e 67 20 65 61 74 49 64 ;...string eatId
34b0: 28 6c 61 7a 79 20 73 74 72 69 6e 67 20 6d 73 67 (lazy string msg
34c0: 2c 20 62 6f 6f 6c 20 61 71 3d 44 69 73 61 6c 6c , bool aq=Disall
34d0: 6f 77 51 75 6f 74 65 64 29 0d 0a 09 7b 0d 0a 09 owQuoted)...{...
34e0: 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 .if( lex.empty )
34f0: 0d 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 .....throw genex
3500: 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 28 63 !UnexpectedEOF(c
3510: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 urrentPosition()
3520: 2c 20 22 69 64 65 6e 74 69 66 69 65 72 20 69 73 , "identifier is
3530: 20 65 78 70 65 63 74 65 64 20 62 75 74 20 6e 6f expected but no
3540: 74 20 66 6f 75 6e 64 20 22 7e 6d 73 67 29 3b 0d t found "~msg);.
3550: 0a 09 09 69 66 28 20 21 61 71 20 26 26 20 6c 65 ...if( !aq && le
3560: 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 29 x.front.quoted )
3570: 0d 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 .....throw genex
3580: 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 !ParseException(
3590: 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 currentPosition(
35a0: 29 2c 20 22 69 64 65 6e 74 69 66 69 65 72 20 69 ), "identifier i
35b0: 73 20 65 78 70 65 63 74 65 64 20 62 75 74 20 6e s expected but n
35c0: 6f 74 20 66 6f 75 6e 64 20 22 7e 6d 73 67 29 3b ot found "~msg);
35d0: 0d 0a 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 ....scope(exit)
35e0: 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 lex.popFront;...
35f0: 09 72 65 74 75 72 6e 20 6c 65 78 2e 66 72 6f 6e .return lex.fron
3600: 74 2e 73 74 72 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 t.str;...}.....A
3610: 53 54 20 64 6f 4e 6f 74 68 69 6e 67 45 78 70 72 ST doNothingExpr
3620: 65 73 73 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 ession()...{....
3630: 72 65 74 75 72 6e 20 6e 65 77 20 53 74 72 28 63 return new Str(c
3640: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 urrentPosition()
3650: 2c 20 22 28 65 6d 70 74 79 20 66 75 6e 63 74 69 , "(empty functi
3660: 6f 6e 20 62 6f 64 79 29 22 29 3b 0d 0a 09 7d 0d on body)");...}.
3670: 0a 0d 0a 09 69 6d 6d 75 74 61 62 6c 65 28 4c 65 ....immutable(Le
3680: 78 50 6f 73 69 74 69 6f 6e 29 20 63 75 72 72 65 xPosition) curre
3690: 6e 74 50 6f 73 69 74 69 6f 6e 28 29 0d 0a 09 7b ntPosition()...{
36a0: 0d 0a 09 09 72 65 74 75 72 6e 20 6c 65 78 2e 65 ....return lex.e
36b0: 6d 70 74 79 20 3f 20 6e 75 6c 6c 20 3a 20 6c 65 mpty ? null : le
36c0: 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d 0a 09 7d x.front.pos;...}
36d0: 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d ..}....unittest.
36e0: 0a 7b 0d 0a 09 6d 69 78 69 6e 20 45 61 73 79 41 .{...mixin EasyA
36f0: 53 54 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 ST;.....assert_e
3700: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 q(parseString(`1
3710: 32 33 60 29 2c 20 69 6e 74 6c 28 31 32 33 29 29 23`), intl(123))
3720: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
3730: 72 73 65 53 74 72 69 6e 67 28 60 22 66 6f 6f 22 rseString(`"foo"
3740: 60 29 2c 20 73 74 72 6c 28 22 66 6f 6f 22 29 29 `), strl("foo"))
3750: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
3760: 72 73 65 53 74 72 69 6e 67 28 60 66 75 6e 28 29 rseString(`fun()
3770: 7b 31 7d 60 29 2c 20 66 75 6e 28 5b 5d 2c 69 6e {1}`), fun([],in
3780: 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(1)));...asser
3790: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
37a0: 28 60 66 75 6e 28 78 29 7b 31 7d 60 29 2c 20 66 (`fun(x){1}`), f
37b0: 75 6e 28 5b 22 78 22 5d 2c 69 6e 74 6c 28 31 29 un(["x"],intl(1)
37c0: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
37d0: 70 61 72 73 65 53 74 72 69 6e 67 28 22 5c 75 30 parseString("\u0
37e0: 33 42 42 28 29 7b 31 7d 22 29 2c 20 66 75 6e 28 3BB(){1}"), fun(
37f0: 5b 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 [],intl(1)));...
3800: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
3810: 74 72 69 6e 67 28 22 5c 75 30 33 42 42 28 78 29 tring("\u03BB(x)
3820: 7b 31 7d 22 29 2c 20 66 75 6e 28 5b 22 78 22 5d {1}"), fun(["x"]
3830: 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 ,intl(1)));...as
3840: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
3850: 69 6e 67 28 60 31 3b 32 60 29 2c 20 6c 65 74 28 ing(`1;2`), let(
3860: 22 5f 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 69 "_","",intl(1),i
3870: 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 ntl(2)));...asse
3880: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
3890: 67 28 60 31 3b 32 3b 60 29 2c 20 6c 65 74 28 22 g(`1;2;`), let("
38a0: 5f 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 69 6e _","",intl(1),in
38b0: 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(2)));...asser
38c0: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
38d0: 28 60 6c 65 74 20 78 3d 31 20 69 6e 20 32 60 29 (`let x=1 in 2`)
38e0: 2c 20 6c 65 74 28 22 78 22 2c 22 22 2c 69 6e 74 , let("x","",int
38f0: 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d l(1),intl(2)));.
3900: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
3910: 65 53 74 72 69 6e 67 28 60 76 61 72 20 78 3d 31 eString(`var x=1
3920: 3b 32 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 ;2;`), let("x","
3930: 22 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 ",intl(1),intl(2
3940: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
3950: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 64 65 (parseString(`de
3960: 66 20 78 3d 31 60 29 2c 20 6c 65 74 28 22 78 22 f x=1`), let("x"
3970: 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 76 61 72 28 ,"",intl(1),var(
3980: 22 78 22 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 "x")));...assert
3990: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
39a0: 60 40 76 61 6c 20 78 3d 31 3b 60 29 2c 20 6c 65 `@val x=1;`), le
39b0: 74 28 22 78 22 2c 22 40 76 61 6c 22 2c 69 6e 74 t("x","@val",int
39c0: 6c 28 31 29 2c 76 61 72 28 22 78 22 29 29 29 3b l(1),var("x")));
39d0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
39e0: 73 65 53 74 72 69 6e 67 28 60 40 74 79 70 20 78 seString(`@typ x
39f0: 3d 22 23 69 6e 74 22 3b 60 29 2c 20 6c 65 74 28 ="#int";`), let(
3a00: 22 78 22 2c 22 40 74 79 70 22 2c 73 74 72 6c 28 "x","@typ",strl(
3a10: 22 23 69 6e 74 22 29 2c 76 61 72 28 22 78 22 29 "#int"),var("x")
3a20: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
3a30: 70 61 72 73 65 53 74 72 69 6e 67 28 60 66 28 31 parseString(`f(1
3a40: 2c 32 29 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 ,2)`), call(var(
3a50: 22 66 22 29 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 "f"),intl(1),int
3a60: 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 l(2)));...assert
3a70: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
3a80: 60 69 66 28 31 29 7b 32 7d 60 29 2c 20 63 61 6c `if(1){2}`), cal
3a90: 6c 28 76 61 72 28 22 69 66 22 29 2c 69 6e 74 6c l(var("if"),intl
3aa0: 28 31 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 (1),fun([],intl(
3ab0: 32 29 29 2c 66 75 6e 28 5b 5d 2c 73 74 72 6c 28 2)),fun([],strl(
3ac0: 22 28 65 6d 70 74 79 20 66 75 6e 63 74 69 6f 6e "(empty function
3ad0: 20 62 6f 64 79 29 22 29 29 29 29 3b 0d 0a 09 61 body)"))));...a
3ae0: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
3af0: 72 69 6e 67 28 60 69 66 28 31 29 7b 32 7d 65 6c ring(`if(1){2}el
3b00: 73 65 7b 33 7d 60 29 2c 20 63 61 6c 6c 28 76 61 se{3}`), call(va
3b10: 72 28 22 69 66 22 29 2c 69 6e 74 6c 28 31 29 2c r("if"),intl(1),
3b20: 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 32 29 29 2c fun([],intl(2)),
3b30: 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 33 29 29 29 fun([],intl(3)))
3b40: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
3b50: 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 31 arseString(`if(1
3b60: 29 7b 7d 65 6c 73 65 7b 33 7d 28 29 28 29 60 29 ){}else{3}()()`)
3b70: 2c 0d 0a 09 09 63 61 6c 6c 28 63 61 6c 6c 28 63 ,....call(call(c
3b80: 61 6c 6c 28 76 61 72 28 22 69 66 22 29 2c 69 6e all(var("if"),in
3b90: 74 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c 73 74 72 tl(1),fun([],str
3ba0: 6c 28 22 28 65 6d 70 74 79 20 66 75 6e 63 74 69 l("(empty functi
3bb0: 6f 6e 20 62 6f 64 79 29 22 29 29 2c 66 75 6e 28 on body)")),fun(
3bc0: 5b 5d 2c 69 6e 74 6c 28 33 29 29 29 29 29 29 3b [],intl(3))))));
3bd0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
3be0: 73 65 53 74 72 69 6e 67 28 60 31 2b 32 2a 33 60 seString(`1+2*3`
3bf0: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 ), call(var("+")
3c00: 2c 69 6e 74 6c 28 31 29 2c 63 61 6c 6c 28 76 61 ,intl(1),call(va
3c10: 72 28 22 2a 22 29 2c 69 6e 74 6c 28 32 29 2c 69 r("*"),intl(2),i
3c20: 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 09 61 73 73 ntl(3))));...ass
3c30: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
3c40: 6e 67 28 60 28 31 2b 32 29 2a 33 60 29 2c 20 63 ng(`(1+2)*3`), c
3c50: 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c 63 61 6c all(var("*"),cal
3c60: 6c 28 76 61 72 28 22 2b 22 29 2c 69 6e 74 6c 28 l(var("+"),intl(
3c70: 31 29 2c 69 6e 74 6c 28 32 29 29 2c 69 6e 74 6c 1),intl(2)),intl
3c80: 28 33 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f (3)));...assert_
3c90: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
3ca0: 31 2a 28 32 2b 33 29 60 29 2c 20 63 61 6c 6c 28 1*(2+3)`), call(
3cb0: 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c 28 31 29 var("*"),intl(1)
3cc0: 2c 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 ,call(var("+"),i
3cd0: 6e 74 6c 28 32 29 2c 69 6e 74 6c 28 33 29 29 29 ntl(2),intl(3)))
3ce0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
3cf0: 61 72 73 65 53 74 72 69 6e 67 28 60 31 2a 32 2b arseString(`1*2+
3d00: 33 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b 3`), call(var("+
3d10: 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 "),call(var("*")
3d20: 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 ,intl(1),intl(2)
3d30: 29 2c 69 6e 74 6c 28 33 29 29 29 3b 0d 0a 09 61 ),intl(3)));...a
3d40: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
3d50: 72 69 6e 67 28 60 40 78 28 31 29 60 29 2c 20 6c ring(`@x(1)`), l
3d60: 61 79 28 22 40 78 22 2c 20 69 6e 74 6c 28 31 29 ay("@x", intl(1)
3d70: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
3d80: 70 61 72 73 65 53 74 72 69 6e 67 28 60 66 75 6e parseString(`fun
3d90: 28 78 20 40 76 20 40 74 2c 20 79 2c 20 7a 20 40 (x @v @t, y, z @
3da0: 74 29 7b 7d 60 29 2c 0d 0a 09 09 66 75 6e 70 28 t){}`),....funp(
3db0: 5b 70 61 72 61 6d 28 22 78 22 2c 5b 22 40 76 22 [param("x",["@v"
3dc0: 2c 22 40 74 22 5d 29 2c 20 70 61 72 61 6d 28 22 ,"@t"]), param("
3dd0: 79 22 2c 5b 5d 29 2c 20 70 61 72 61 6d 28 22 7a y",[]), param("z
3de0: 22 2c 5b 22 40 74 22 5d 29 5d 2c 20 73 74 72 6c ",["@t"])], strl
3df0: 28 22 28 65 6d 70 74 79 20 66 75 6e 63 74 69 6f ("(empty functio
3e00: 6e 20 62 6f 64 79 29 22 29 29 29 3b 0d 0a 0d 0a n body)")));....
3e10: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
3e20: 53 74 72 69 6e 67 28 60 0d 0a 09 09 6c 65 74 20 String(`....let
3e30: 78 20 3d 20 31 30 30 3b 20 23 63 6f 6d 6d 65 6e x = 100; #commen
3e40: 74 0d 0a 09 09 6c 65 74 20 79 20 3d 20 32 30 30 t....let y = 200
3e50: 3b 20 23 63 6f 6d 6d 65 6e 74 21 21 21 21 21 0d ; #comment!!!!!.
3e60: 0a 09 09 09 78 2b 79 0d 0a 09 60 29 2c 0d 0a 09 ....x+y...`),...
3e70: 09 6c 65 74 28 22 78 22 2c 20 22 22 2c 20 69 6e .let("x", "", in
3e80: 74 6c 28 31 30 30 29 2c 20 6c 65 74 28 22 79 22 tl(100), let("y"
3e90: 2c 20 22 22 2c 20 69 6e 74 6c 28 32 30 30 29 2c , "", intl(200),
3ea0: 20 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 20 call(var("+"),
3eb0: 76 61 72 28 22 78 22 29 2c 20 76 61 72 28 22 79 var("x"), var("y
3ec0: 22 29 29 29 29 0d 0a 09 29 3b 0d 0a 0d 0a 09 61 "))))...);.....a
3ed0: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
3ee0: 72 69 6e 67 28 60 0d 0a 09 09 76 61 72 20 66 61 ring(`....var fa
3ef0: 63 20 3d 20 66 75 6e 28 78 29 7b 20 69 66 28 78 c = fun(x){ if(x
3f00: 20 3c 3d 20 31 29 20 7b 31 7d 20 65 6c 73 65 20 <= 1) {1} else
3f10: 7b 78 2a 66 61 63 28 78 2d 31 29 7d 20 7d 3b 0d {x*fac(x-1)} };.
3f20: 0a 09 09 66 61 63 28 31 30 29 0d 0a 09 60 29 2c ...fac(10)...`),
3f30: 0d 0a 09 09 6c 65 74 28 22 66 61 63 22 2c 20 22 ....let("fac", "
3f40: 22 2c 20 66 75 6e 28 5b 22 78 22 5d 2c 0d 0a 09 ", fun(["x"],...
3f50: 09 09 63 61 6c 6c 28 76 61 72 28 22 69 66 22 29 ..call(var("if")
3f60: 2c 0d 0a 09 09 09 09 63 61 6c 6c 28 76 61 72 28 ,......call(var(
3f70: 22 3c 3d 22 29 2c 20 76 61 72 28 22 78 22 29 2c "<="), var("x"),
3f80: 20 69 6e 74 6c 28 31 29 29 2c 0d 0a 09 09 09 09 intl(1)),......
3f90: 66 75 6e 28 5b 5d 2c 20 69 6e 74 6c 28 31 29 29 fun([], intl(1))
3fa0: 2c 0d 0a 09 09 09 09 66 75 6e 28 5b 5d 2c 20 63 ,......fun([], c
3fb0: 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c 20 76 61 all(var("*"), va
3fc0: 72 28 22 78 22 29 2c 20 63 61 6c 6c 28 76 61 72 r("x"), call(var
3fd0: 28 22 66 61 63 22 29 2c 63 61 6c 6c 28 76 61 72 ("fac"),call(var
3fe0: 28 22 2d 22 29 2c 76 61 72 28 22 78 22 29 2c 69 ("-"),var("x"),i
3ff0: 6e 74 6c 28 31 29 29 29 29 29 0d 0a 09 09 09 29 ntl(1))))).....)
4000: 29 2c 0d 0a 09 09 09 63 61 6c 6c 28 76 61 72 28 ),.....call(var(
4010: 22 66 61 63 22 29 2c 69 6e 74 6c 28 31 30 29 29 "fac"),intl(10))
4020: 0d 0a 09 09 29 0d 0a 09 29 3b 0d 0a 7d 0d 0a 0d ....)...);..}...
4030: 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 .unittest..{...a
4040: 73 73 65 72 74 5f 74 68 72 6f 77 21 55 6e 65 78 ssert_throw!Unex
4050: 70 65 63 74 65 64 45 4f 46 28 70 61 72 73 65 53 pectedEOF(parseS
4060: 74 72 69 6e 67 28 60 31 2b 60 29 29 3b 0d 0a 09 tring(`1+`));...
4070: 61 73 73 65 72 74 5f 74 68 72 6f 77 21 50 61 72 assert_throw!Par
4080: 73 65 45 78 63 65 70 74 69 6f 6e 28 70 61 72 73 seException(pars
4090: 65 53 74 72 69 6e 67 28 60 31 2b 32 7d 60 29 29 eString(`1+2}`))
40a0: 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 ;...assert_throw
40b0: 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 28 70 !UnexpectedEOF(p
40c0: 61 72 73 65 53 74 72 69 6e 67 28 60 6c 65 74 20 arseString(`let
40d0: 22 78 22 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 "x"`));...assert
40e0: 5f 74 68 72 6f 77 21 55 6e 65 78 70 65 63 74 65 _throw!Unexpecte
40f0: 64 45 4f 46 28 70 61 72 73 65 53 74 72 69 6e 67 dEOF(parseString
4100: 28 60 76 61 72 60 29 29 3b 0d 0a 09 61 73 73 65 (`var`));...asse
4110: 72 74 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78 rt_throw!ParseEx
4120: 63 65 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72 ception(parseStr
4130: 69 6e 67 28 60 40 76 61 6c 20 78 20 3d 3d 60 29 ing(`@val x ==`)
4140: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
4150: 77 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e w!ParseException
4160: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 (parseString(`if
4170: 28 29 7b 31 7d 60 29 29 3b 0d 0a 09 61 73 73 65 (){1}`));...asse
4180: 72 74 5f 74 68 72 6f 77 21 55 6e 65 78 70 65 63 rt_throw!Unexpec
4190: 74 65 64 45 4f 46 28 70 61 72 73 65 53 74 72 69 tedEOF(parseStri
41a0: 6e 67 28 60 66 28 60 29 29 3b 0d 0a 7d 0d 0a 0d ng(`f(`));..}...
41b0: 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 6d .unittest..{...m
41c0: 69 78 69 6e 20 45 61 73 79 41 53 54 3b 0d 0a 09 ixin EasyAST;...
41d0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
41e0: 74 72 69 6e 67 28 60 64 65 66 20 66 6f 6f 28 78 tring(`def foo(x
41f0: 29 20 7b 20 78 2b 31 20 7d 3b 20 66 6f 6f 60 29 ) { x+1 }; foo`)
4200: 2c 0d 0a 09 09 6c 65 74 28 22 66 6f 6f 22 2c 20 ,....let("foo",
4210: 22 22 2c 0d 0a 09 09 09 66 75 6e 28 5b 22 78 22 "",.....fun(["x"
4220: 5d 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 ], call(var("+")
4230: 2c 20 76 61 72 28 22 78 22 29 2c 20 69 6e 74 6c , var("x"), intl
4240: 28 31 29 29 29 2c 0d 0a 09 09 09 76 61 72 28 22 (1))),.....var("
4250: 66 6f 6f 22 29 29 0d 0a 09 29 3b 0d 0a 0d 0a 09 foo"))...);.....
4260: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
4270: 74 72 69 6e 67 28 60 40 40 74 79 70 65 20 28 20 tring(`@@type (
4280: 78 20 29 20 7b 20 78 20 7d 60 29 2c 0d 0a 09 09 x ) { x }`),....
4290: 6c 65 74 28 22 40 74 79 70 65 22 2c 20 53 79 73 let("@type", Sys
42a0: 74 65 6d 4c 61 79 65 72 2c 20 66 75 6e 28 5b 22 temLayer, fun(["
42b0: 78 22 5d 2c 20 76 61 72 28 22 78 22 29 29 2c 20 x"], var("x")),
42c0: 6c 61 79 28 53 79 73 74 65 6d 4c 61 79 65 72 2c lay(SystemLayer,
42d0: 20 76 61 72 28 22 40 74 79 70 65 22 29 29 29 20 var("@type")))
42e0: 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 );.....assert_eq
42f0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 7b 7d (parseString(`{}
4300: 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 7b 7d `), call(var("{}
4310: 22 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 ")));...assert_e
4320: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 7b q(parseString(`{
4330: 66 6f 6f 3a 31 2c 22 62 61 72 22 3a 32 7d 60 29 foo:1,"bar":2}`)
4340: 2c 0d 0a 09 09 63 61 6c 6c 28 76 61 72 28 22 2e ,....call(var(".
4350: 3d 22 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2e ="), call(var(".
4360: 3d 22 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 7b ="), call(var("{
4370: 7d 22 29 29 2c 20 73 74 72 6c 28 22 66 6f 6f 22 }")), strl("foo"
4380: 29 2c 20 69 6e 74 6c 28 31 29 29 2c 20 73 74 72 ), intl(1)), str
4390: 6c 28 22 62 61 72 22 29 2c 20 69 6e 74 6c 28 32 l("bar"), intl(2
43a0: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
43b0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 7b 7d (parseString(`{}
43c0: 2e 66 6f 6f 60 29 2c 20 63 61 6c 6c 28 76 61 72 .foo`), call(var
43d0: 28 22 2e 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 ("."),call(var("
43e0: 7b 7d 22 29 29 2c 73 74 72 6c 28 22 66 6f 6f 22 {}")),strl("foo"
43f0: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
4400: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 7b 7d (parseString(`{}
4410: 2e 3f 66 6f 6f 60 29 2c 20 63 61 6c 6c 28 76 61 .?foo`), call(va
4420: 72 28 22 2e 3f 22 29 2c 63 61 6c 6c 28 76 61 72 r(".?"),call(var
4430: 28 22 7b 7d 22 29 29 2c 73 74 72 6c 28 22 66 6f ("{}")),strl("fo
4440: 6f 22 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f o")));...assert_
4450: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
4460: 78 7b 79 3a 31 7d 60 29 2c 20 63 61 6c 6c 28 76 x{y:1}`), call(v
4470: 61 72 28 22 2e 3d 22 29 2c 76 61 72 28 22 78 22 ar(".="),var("x"
4480: 29 2c 73 74 72 6c 28 22 79 22 29 2c 69 6e 74 6c ),strl("y"),intl
4490: 28 31 29 29 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 (1)));..}....uni
44a0: 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 ttest..{...asser
44b0: 74 5f 6e 6f 74 68 72 6f 77 28 70 61 72 73 65 53 t_nothrow(parseS
44c0: 74 72 69 6e 67 28 60 0d 0a 09 09 63 61 73 65 28 tring(`....case(
44d0: 20 31 20 29 0d 0a 09 09 09 77 68 65 6e 28 78 29 1 ).....when(x)
44e0: 7b 31 7d 0d 0a 09 60 29 29 3b 0d 0a 09 61 73 73 {1}...`));...ass
44f0: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 70 61 72 73 ert_nothrow(pars
4500: 65 53 74 72 69 6e 67 28 60 0d 0a 09 09 63 61 73 eString(`....cas
4510: 65 28 20 31 20 29 0d 0a 09 09 09 77 68 65 6e 28 e( 1 ).....when(
4520: 7b 61 61 61 61 3a 5f 7d 29 7b 31 7d 0d 0a 09 60 {aaaa:_}){1}...`
4530: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 ));...assert_not
4540: 68 72 6f 77 28 70 61 72 73 65 53 74 72 69 6e 67 hrow(parseString
4550: 28 60 0d 0a 09 09 63 61 73 65 28 20 31 20 29 0d (`....case( 1 ).
4560: 0a 09 09 09 77 68 65 6e 28 7b 61 61 61 61 3a 40 ....when({aaaa:@
4570: 76 61 6c 75 65 28 78 29 7d 29 7b 31 7d 0d 0a 09 value(x)}){1}...
4580: 09 09 77 68 65 6e 28 7b 61 61 61 61 3a 7b 62 62 ..when({aaaa:{bb
4590: 62 3a 5f 7d 2c 20 63 63 63 3a 31 32 33 7d 29 7b b:_}, ccc:123}){
45a0: 31 7d 0d 0a 09 60 29 29 3b 0d 0a 7d 1}...`));..}