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 2f 2f 09 09 5b 22 7c 22 5d 2c 0d 0a ],..//..["|"],..
0fb0: 2f 2f 09 09 5b 22 5e 22 5d 2c 0d 0a 2f 2f 09 09 //..["^"],..//..
0fc0: 5b 22 26 22 5d 2c 0d 0a 2f 2f 09 09 5b 22 3c 3c ["&"],..//..["<<
0fd0: 22 2c 20 22 3e 3e 22 2c 20 22 3c 3c 3c 22 2c 20 ", ">>", "<<<",
0fe0: 22 3e 3e 3e 22 5d 2c 0d 0a 09 09 5b 22 2b 22 2c ">>>"],....["+",
0ff0: 22 2d 22 5d 2c 0d 0a 09 09 5b 22 7e 22 5d 2c 0d "-"],....["~"],.
1000: 0a 09 09 5b 22 2a 22 2c 22 2f 22 2c 22 25 22 5d ...["*","/","%"]
1010: 2c 0d 0a 2f 2f 09 09 5b 22 5e 5e 22 2c 22 2a 2a ,..//..["^^","**
1020: 22 5d 2c 0d 0a 09 09 5b 22 2e 22 2c 22 2e 3f 22 "],....[".",".?"
1030: 5d 0d 0a 09 5d 3b 0d 0a 0d 0a 09 41 53 54 20 45 ]...];.....AST E
1040: 28 73 69 7a 65 5f 74 20 6c 65 76 65 6c 29 0d 0a (size_t level)..
1050: 09 7b 0d 0a 09 09 2f 2f 2f 20 45 78 70 72 65 73 .{..../// Expres
1060: 73 69 6f 6e 20 3a 3a 3d 20 28 42 69 6e 61 72 79 sion ::= (Binary
1070: 20 6c 65 66 74 2d 61 73 73 6f 63 69 61 74 69 76 left-associativ
1080: 65 20 6f 70 65 72 61 74 6f 72 73 20 6f 76 65 72 e operators over
1090: 29 20 46 75 6e 63 61 6c 6c 0d 0a 0d 0a 09 09 41 ) Funcall......A
10a0: 53 54 20 72 65 63 28 41 53 54 20 6c 68 73 29 0d ST rec(AST lhs).
10b0: 0a 09 09 7b 0d 0a 09 09 09 69 66 28 20 63 6c 6f ...{.....if( clo
10c0: 73 69 6e 67 42 72 61 63 6b 65 74 28 29 20 29 0d singBracket() ).
10d0: 0a 09 09 09 09 72 65 74 75 72 6e 20 6c 68 73 3b .....return lhs;
10e0: 0d 0a 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 20 .......auto pos
10f0: 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f = currentPositio
1100: 6e 28 29 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 n();.....foreach
1110: 28 6f 70 3b 20 6f 70 65 72 61 74 6f 72 5f 70 65 (op; operator_pe
1120: 72 66 65 72 65 6e 63 65 73 5b 6c 65 76 65 6c 5d rferences[level]
1130: 29 0d 0a 09 09 09 09 69 66 28 20 74 72 79 45 61 )......if( tryEa
1140: 74 28 6f 70 29 20 29 0d 0a 09 09 09 09 09 69 66 t(op) ).......if
1150: 28 20 6f 70 5b 30 5d 3d 3d 27 2e 27 20 29 0d 0a ( op[0]=='.' )..
1160: 09 09 09 09 09 09 72 65 74 75 72 6e 20 72 65 63 ......return rec
1170: 28 0d 0a 09 09 09 09 09 09 09 6e 65 77 20 41 70 (.........new Ap
1180: 70 28 6c 68 73 2e 70 6f 73 2c 20 6e 65 77 20 56 p(lhs.pos, new V
1190: 61 72 28 70 6f 73 2c 20 6f 70 29 2c 20 6c 68 73 ar(pos, op), lhs
11a0: 2c 20 70 61 72 73 65 49 64 28 29 29 29 3b 0d 0a , parseId()));..
11b0: 09 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 .....else.......
11c0: 09 72 65 74 75 72 6e 20 72 65 63 28 0d 0a 09 09 .return rec(....
11d0: 09 09 09 09 09 6e 65 77 20 41 70 70 28 6c 68 73 .....new App(lhs
11e0: 2e 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 6f .pos, new Var(po
11f0: 73 2c 20 6f 70 29 2c 20 6c 68 73 2c 20 45 28 6c s, op), lhs, E(l
1200: 65 76 65 6c 2b 31 29 29 29 3b 0d 0a 09 09 09 72 evel+1)));.....r
1210: 65 74 75 72 6e 20 6c 68 73 3b 0d 0a 09 09 7d 0d eturn lhs;....}.
1220: 0a 0d 0a 09 09 69 66 28 20 6f 70 65 72 61 74 6f .....if( operato
1230: 72 5f 70 65 72 66 65 72 65 6e 63 65 73 2e 6c 65 r_perferences.le
1240: 6e 67 74 68 20 3c 3d 20 6c 65 76 65 6c 20 29 0d ngth <= level ).
1250: 0a 09 09 09 72 65 74 75 72 6e 20 46 75 6e 63 61 ....return Funca
1260: 6c 6c 28 29 3b 0d 0a 09 09 65 6c 73 65 0d 0a 09 ll();....else...
1270: 09 09 72 65 74 75 72 6e 20 72 65 63 28 45 28 6c ..return rec(E(l
1280: 65 76 65 6c 2b 31 29 29 3b 0d 0a 09 7d 0d 0a 0d evel+1));...}...
1290: 0a 09 41 53 54 20 46 75 6e 63 61 6c 6c 28 29 0d ..AST Funcall().
12a0: 0a 09 7b 0d 0a 09 09 2f 2f 2f 20 46 75 6e 63 61 ..{..../// Funca
12b0: 6c 6c 20 3a 3a 3d 20 42 61 73 65 45 78 70 72 65 ll ::= BaseExpre
12c0: 73 73 69 6f 6e 20 5b 22 28 22 20 45 78 70 72 65 ssion ["(" Expre
12d0: 73 73 69 6f 6e 25 22 2c 22 20 22 29 22 20 7c 20 ssion%"," ")" |
12e0: 22 7b 22 20 45 4e 54 52 49 45 53 20 22 7d 22 5d "{" ENTRIES "}"]
12f0: 2a 0d 0a 0d 0a 09 09 61 75 74 6f 20 65 20 3d 20 *......auto e =
1300: 42 61 73 65 45 78 70 72 65 73 73 69 6f 6e 28 29 BaseExpression()
1310: 3b 0d 0a 09 09 66 6f 72 28 3b 3b 29 0d 0a 09 09 ;....for(;;)....
1320: 09 69 66 28 20 74 72 79 45 61 74 28 22 28 22 29 .if( tryEat("(")
1330: 20 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 61 75 ).....{......au
1340: 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 to pos = current
1350: 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 Position();.....
1360: 09 41 53 54 5b 5d 20 61 72 67 73 3b 0d 0a 09 09 .AST[] args;....
1370: 09 09 77 68 69 6c 65 28 20 21 74 72 79 45 61 74 ..while( !tryEat
1380: 28 22 29 22 29 20 29 20 7b 0d 0a 09 09 09 09 09 (")") ) {.......
1390: 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d if( lex.empty ).
13a0: 0a 09 09 09 09 09 09 74 68 72 6f 77 20 67 65 6e .......throw gen
13b0: 65 78 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 ex!UnexpectedEOF
13c0: 28 70 6f 73 2c 20 22 63 6c 6f 73 69 6e 67 20 27 (pos, "closing '
13d0: 29 27 20 66 6f 72 20 61 72 67 75 6d 65 6e 74 73 )' for arguments
13e0: 20 6e 6f 74 20 66 6f 75 6e 64 22 29 3b 0d 0a 09 not found");...
13f0: 09 09 09 09 61 72 67 73 20 7e 3d 20 45 28 30 29 ....args ~= E(0)
1400: 3b 0d 0a 09 09 09 09 09 69 66 28 20 21 74 72 79 ;.......if( !try
1410: 45 61 74 28 22 2c 22 29 20 29 20 7b 0d 0a 09 09 Eat(",") ) {....
1420: 09 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 ....eat(")", "af
1430: 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 ter function par
1440: 61 6d 65 74 65 72 73 22 29 3b 0d 0a 09 09 09 09 ameters");......
1450: 09 09 62 72 65 61 6b 3b 0d 0a 09 09 09 09 09 7d ..break;.......}
1460: 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 09 65 20 3d ......}......e =
1470: 20 6e 65 77 20 41 70 70 28 65 2e 70 6f 73 2c 20 new App(e.pos,
1480: 65 2c 20 61 72 67 73 29 3b 0d 0a 09 09 09 7d 0d e, args);.....}.
1490: 0a 09 09 09 65 6c 73 65 20 69 66 28 20 74 72 79 ....else if( try
14a0: 45 61 74 28 22 7b 22 29 20 29 0d 0a 09 09 09 7b Eat("{") ).....{
14b0: 0d 0a 09 09 09 09 65 20 3d 20 70 61 72 73 65 54 ......e = parseT
14c0: 61 62 6c 65 53 65 74 41 66 74 65 72 42 72 61 63 ableSetAfterBrac
14d0: 65 28 65 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 e(e);.....}.....
14e0: 65 6c 73 65 0d 0a 09 09 09 09 62 72 65 61 6b 3b else......break;
14f0: 0d 0a 09 09 72 65 74 75 72 6e 20 65 3b 0d 0a 09 ....return e;...
1500: 7d 0d 0a 0d 0a 09 41 53 54 20 70 61 72 73 65 54 }.....AST parseT
1510: 61 62 6c 65 53 65 74 41 66 74 65 72 42 72 61 63 ableSetAfterBrac
1520: 65 28 41 53 54 20 65 29 0d 0a 09 7b 0d 0a 09 09 e(AST e)...{....
1530: 2f 2f 2f 20 54 61 62 6c 65 53 65 74 20 3a 3a 3d /// TableSet ::=
1540: 20 22 7b 22 20 28 49 44 20 22 3a 22 20 45 29 20 "{" (ID ":" E)
1550: 25 20 22 2c 22 20 22 7d 22 0d 0a 09 09 0d 0a 09 % "," "}".......
1560: 09 69 66 28 20 74 72 79 45 61 74 28 22 7d 22 29 .if( tryEat("}")
1570: 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 3b ).....return e;
1580: 0d 0a 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 ....auto pos = c
1590: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 urrentPosition()
15a0: 3b 0d 0a 09 09 66 6f 72 28 3b 3b 29 0d 0a 09 09 ;....for(;;)....
15b0: 7b 0d 0a 09 09 09 73 74 72 69 6e 67 20 6b 65 79 {.....string key
15c0: 20 3d 20 65 61 74 49 64 28 22 66 6f 72 20 74 61 = eatId("for ta
15d0: 62 6c 65 20 6b 65 79 22 2c 20 41 6c 6c 6f 77 51 ble key", AllowQ
15e0: 75 6f 74 65 64 29 3b 0d 0a 09 09 09 65 61 74 28 uoted);.....eat(
15f0: 22 3a 22 2c 20 22 61 66 74 65 72 20 74 61 62 6c ":", "after tabl
1600: 65 20 6b 65 79 22 29 3b 0d 0a 09 09 09 41 53 54 e key");.....AST
1610: 20 76 61 6c 20 3d 20 45 28 30 29 3b 0d 0a 09 09 val = E(0);....
1620: 09 65 20 3d 20 6e 65 77 20 41 70 70 28 70 6f 73 .e = new App(pos
1630: 2c 20 6e 65 77 20 56 61 72 28 70 6f 73 2c 22 2e , new Var(pos,".
1640: 3d 22 29 2c 0d 0a 09 09 09 09 09 65 2c 20 6e 65 ="),.......e, ne
1650: 77 20 53 74 72 28 70 6f 73 2c 6b 65 79 29 2c 20 w Str(pos,key),
1660: 76 61 6c 29 3b 0d 0a 09 09 09 69 66 28 20 21 74 val);.....if( !t
1670: 72 79 45 61 74 28 22 2c 22 29 20 29 0d 0a 09 09 ryEat(",") )....
1680: 09 7b 0d 0a 09 09 09 09 65 61 74 28 22 7d 22 2c .{......eat("}",
1690: 20 22 66 6f 72 20 74 68 65 20 65 6e 64 20 6f 66 "for the end of
16a0: 20 74 61 62 6c 65 20 6c 69 74 65 72 61 6c 22 29 table literal")
16b0: 3b 0d 0a 09 09 09 09 62 72 65 61 6b 3b 0d 0a 09 ;......break;...
16c0: 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 ..}....}....retu
16d0: 72 6e 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 rn e;...}.....AS
16e0: 54 20 42 61 73 65 45 78 70 72 65 73 73 69 6f 6e T BaseExpression
16f0: 28 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 ()...{....if( le
1700: 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 x.empty ).....th
1710: 72 6f 77 20 67 65 6e 65 78 21 55 6e 65 78 70 65 row genex!Unexpe
1720: 63 74 65 64 45 4f 46 28 63 75 72 72 65 6e 74 50 ctedEOF(currentP
1730: 6f 73 69 74 69 6f 6e 28 29 2c 20 22 52 65 61 63 osition(), "Reac
1740: 68 65 64 20 45 4f 46 20 77 68 65 6e 20 74 72 69 hed EOF when tri
1750: 65 64 20 74 6f 20 70 61 72 73 65 20 61 6e 20 65 ed to parse an e
1760: 78 70 72 65 73 73 69 6f 6e 22 29 3b 0d 0a 0d 0a xpression");....
1770: 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 6c 65 78 ..auto pos = lex
1780: 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d 0a 09 09 69 .front.pos;....i
1790: 66 28 20 6c 65 78 2e 66 72 6f 6e 74 2e 71 75 6f f( lex.front.quo
17a0: 74 65 64 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 73 ted )....{.....s
17b0: 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 cope(exit) lex.p
17c0: 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 09 72 65 74 opFront;.....ret
17d0: 75 72 6e 20 6e 65 77 20 53 74 72 28 70 6f 73 2c urn new Str(pos,
17e0: 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 3b lex.front.str);
17f0: 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 69 73 4e ....}....if( isN
1800: 75 6d 62 65 72 28 6c 65 78 2e 66 72 6f 6e 74 2e umber(lex.front.
1810: 73 74 72 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 str) )....{.....
1820: 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e scope(exit) lex.
1830: 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 09 72 65 popFront;.....re
1840: 74 75 72 6e 20 6e 65 77 20 49 6e 74 28 70 6f 73 turn new Int(pos
1850: 2c 20 42 69 67 49 6e 74 28 63 61 73 74 28 73 74 , BigInt(cast(st
1860: 72 69 6e 67 29 6c 65 78 2e 66 72 6f 6e 74 2e 73 ring)lex.front.s
1870: 74 72 29 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 tr));....}....if
1880: 28 20 74 72 79 45 61 74 28 22 40 22 29 20 29 0d ( tryEat("@") ).
1890: 0a 09 09 7b 0d 0a 09 09 09 61 75 74 6f 20 6c 61 ...{.....auto la
18a0: 79 20 3d 20 22 40 22 7e 65 61 74 49 64 28 22 66 y = "@"~eatId("f
18b0: 6f 72 20 6c 61 79 65 72 20 49 44 22 29 3b 0d 0a or layer ID");..
18c0: 09 09 09 65 61 74 28 22 28 22 2c 20 22 66 6f 72 ...eat("(", "for
18d0: 20 6c 61 79 65 72 65 64 20 65 78 65 63 75 74 69 layered executi
18e0: 6f 6e 22 29 3b 0d 0a 09 09 09 61 75 74 6f 20 65 on");.....auto e
18f0: 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 09 65 = Body();.....e
1900: 61 74 28 22 29 22 2c 20 22 61 66 74 65 72 20 22 at(")", "after "
1910: 7e 6c 61 79 7e 22 28 2e 2e 2e 22 29 3b 0d 0a 09 ~lay~"(...");...
1920: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 61 79 ..return new Lay
1930: 28 70 6f 73 2c 20 6c 61 79 2c 20 65 29 3b 0d 0a (pos, lay, e);..
1940: 09 09 7d 0d 0a 09 09 69 66 28 20 74 72 79 45 61 ..}....if( tryEa
1950: 74 28 22 28 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 t("(") )....{...
1960: 09 09 61 75 74 6f 20 65 20 3d 20 42 6f 64 79 28 ..auto e = Body(
1970: 29 3b 0d 0a 09 09 09 65 61 74 28 22 29 22 2c 20 );.....eat(")",
1980: 22 61 66 74 65 72 20 70 61 72 65 6e 74 68 65 73 "after parenthes
1990: 69 7a 65 64 20 65 78 70 72 65 73 73 69 6f 6e 22 ized expression"
19a0: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 3b );.....return e;
19b0: 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 74 72 79 ....}....if( try
19c0: 45 61 74 28 22 7b 22 29 20 29 0d 0a 09 09 7b 0d Eat("{") )....{.
19d0: 0a 09 09 09 41 53 54 20 65 20 3d 20 6e 65 77 20 ....AST e = new
19e0: 41 70 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 App(pos, new Var
19f0: 28 70 6f 73 2c 22 7b 7d 22 29 29 3b 0d 0a 09 09 (pos,"{}"));....
1a00: 09 72 65 74 75 72 6e 20 70 61 72 73 65 54 61 62 .return parseTab
1a10: 6c 65 53 65 74 41 66 74 65 72 42 72 61 63 65 28 leSetAfterBrace(
1a20: 65 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 e);....}....if(
1a30: 74 72 79 45 61 74 28 22 69 66 22 29 20 29 0d 0a tryEat("if") )..
1a40: 09 09 7b 0d 0a 09 09 09 65 61 74 28 22 28 22 2c ..{.....eat("(",
1a50: 20 22 61 66 74 65 72 20 69 66 22 29 3b 0d 0a 09 "after if");...
1a60: 09 09 61 75 74 6f 20 63 6f 6e 64 20 3d 20 45 28 ..auto cond = E(
1a70: 30 29 3b 0d 0a 09 09 09 65 61 74 28 22 29 22 2c 0);.....eat(")",
1a80: 20 22 61 66 74 65 72 20 69 66 20 63 6f 6e 64 69 "after if condi
1a90: 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 61 75 74 6f tion");.....auto
1aa0: 20 74 68 65 6e 50 6f 73 20 3d 20 6c 65 78 2e 66 thenPos = lex.f
1ab0: 72 6f 6e 74 2e 70 6f 73 3b 0d 0a 09 09 09 65 61 ront.pos;.....ea
1ac0: 74 28 22 7b 22 2c 20 22 61 66 74 65 72 20 69 66 t("{", "after if
1ad0: 20 63 6f 6e 64 69 74 69 6f 6e 22 29 3b 0d 0a 09 condition");...
1ae0: 09 09 61 75 74 6f 20 74 68 20 3d 20 42 6f 64 79 ..auto th = Body
1af0: 28 29 3b 0d 0a 09 09 09 65 61 74 28 22 7d 22 2c ();.....eat("}",
1b00: 20 22 61 66 74 65 72 20 69 66 2d 74 68 65 6e 20 "after if-then
1b10: 62 6f 64 79 22 29 3b 0d 0a 09 09 09 61 75 74 6f body");.....auto
1b20: 20 65 6c 20 3d 20 64 6f 4e 6f 74 68 69 6e 67 45 el = doNothingE
1b30: 78 70 72 65 73 73 69 6f 6e 28 29 3b 0d 0a 09 09 xpression();....
1b40: 09 61 75 74 6f 20 65 6c 73 65 50 6f 73 20 3d 20 .auto elsePos =
1b50: 28 6c 65 78 2e 65 6d 70 74 79 20 3f 20 4c 65 78 (lex.empty ? Lex
1b60: 50 6f 73 69 74 69 6f 6e 2e 64 75 6d 6d 79 20 3a Position.dummy :
1b70: 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 29 3b lex.front.pos);
1b80: 0d 0a 09 09 09 69 66 28 20 74 72 79 45 61 74 28 .....if( tryEat(
1b90: 22 65 6c 73 65 22 29 20 29 20 7b 0d 0a 09 09 09 "else") ) {.....
1ba0: 09 65 61 74 28 22 7b 22 2c 20 22 61 66 74 65 72 .eat("{", "after
1bb0: 20 65 6c 73 65 22 29 3b 0d 0a 09 09 09 09 65 6c else");......el
1bc0: 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 09 09 = Body();......
1bd0: 65 61 74 28 22 7d 22 2c 20 22 61 66 74 65 72 20 eat("}", "after
1be0: 65 6c 73 65 20 62 6f 64 79 22 29 3b 0d 0a 09 09 else body");....
1bf0: 09 7d 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 .}.....return ne
1c00: 77 20 41 70 70 28 70 6f 73 2c 20 0d 0a 09 09 09 w App(pos, .....
1c10: 09 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 22 69 .new Var(pos, "i
1c20: 66 22 29 2c 0d 0a 09 09 09 09 63 6f 6e 64 2c 0d f"),......cond,.
1c30: 0a 09 09 09 09 6e 65 77 20 46 75 6e 28 74 68 65 .....new Fun(the
1c40: 6e 50 6f 73 2c 20 5b 5d 2c 20 74 68 29 2c 0d 0a nPos, [], th),..
1c50: 09 09 09 09 6e 65 77 20 46 75 6e 28 65 6c 73 65 ....new Fun(else
1c60: 50 6f 73 2c 20 5b 5d 2c 20 65 6c 29 0d 0a 09 09 Pos, [], el)....
1c70: 09 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 .);....}....if(
1c80: 74 72 79 45 61 74 28 22 63 61 73 65 22 29 20 29 tryEat("case") )
1c90: 0d 0a 09 09 7b 0d 0a 09 09 09 72 65 74 75 72 6e ....{.....return
1ca0: 20 70 61 72 73 65 50 61 74 74 65 72 6e 4d 61 74 parsePatternMat
1cb0: 63 68 28 70 6f 73 29 3b 0d 0a 09 09 7d 0d 0a 09 ch(pos);....}...
1cc0: 09 69 66 28 20 74 72 79 45 61 74 28 22 66 75 6e .if( tryEat("fun
1cd0: 22 29 20 7c 7c 20 74 72 79 45 61 74 28 22 5c 75 ") || tryEat("\u
1ce0: 30 33 42 42 22 29 20 29 20 2f 2f 20 6c 61 6d 62 03BB") ) // lamb
1cf0: 64 61 21 21 0d 0a 09 09 7b 0d 0a 09 09 09 65 61 da!!....{.....ea
1d00: 74 28 22 28 22 2c 20 22 61 66 74 65 72 20 66 75 t("(", "after fu
1d10: 6e 22 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 n");.....return
1d20: 70 61 72 73 65 4c 61 6d 62 64 61 41 66 74 65 72 parseLambdaAfter
1d30: 4f 70 65 6e 50 61 72 65 6e 28 70 6f 73 29 3b 0d OpenParen(pos);.
1d40: 0a 09 09 7d 0d 0a 09 09 73 63 6f 70 65 28 65 78 ...}....scope(ex
1d50: 69 74 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 it) lex.popFront
1d60: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 ;....return new
1d70: 56 61 72 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f Var(pos, lex.fro
1d80: 6e 74 2e 73 74 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a nt.str);...}....
1d90: 09 41 53 54 20 70 61 72 73 65 50 61 74 74 65 72 .AST parsePatter
1da0: 6e 4d 61 74 63 68 28 4c 65 78 50 6f 73 69 74 69 nMatch(LexPositi
1db0: 6f 6e 20 70 6f 73 29 0d 0a 09 7b 0d 0a 09 09 2f on pos)...{..../
1dc0: 2f 20 20 20 63 61 73 65 20 22 28 22 20 70 6d 45 / case "(" pmE
1dd0: 78 70 72 20 22 29 22 20 43 41 53 45 53 0d 0a 09 xpr ")" CASES...
1de0: 09 2f 2f 3d 3d 3e 0d 0a 09 09 2f 2f 20 20 20 6c .//==>....// l
1df0: 65 74 20 70 6d 56 61 72 20 3d 20 70 6d 45 78 70 et pmVar = pmExp
1e00: 72 20 69 6e 20 28 2e 2e 2e 20 6c 65 74 20 70 6d r in (... let pm
1e10: 54 72 79 46 69 72 73 74 20 3d 20 2e 2e 2e 20 69 TryFirst = ... i
1e20: 6e 20 70 6d 54 72 79 46 69 72 73 74 28 29 29 0d n pmTryFirst()).
1e30: 0a 09 09 65 61 74 28 22 28 22 2c 20 22 61 66 74 ...eat("(", "aft
1e40: 65 72 20 63 61 73 65 22 29 3b 0d 0a 09 09 41 53 er case");....AS
1e50: 54 20 20 20 70 6d 45 78 70 72 20 3d 20 45 28 30 T pmExpr = E(0
1e60: 29 3b 0d 0a 09 09 65 61 74 28 22 29 22 2c 20 22 );....eat(")", "
1e70: 61 66 74 65 72 20 63 61 73 65 22 29 3b 0d 0a 09 after case");...
1e80: 09 73 74 72 69 6e 67 20 70 6d 56 61 72 20 3d 20 .string pmVar =
1e90: 66 72 65 73 68 56 61 72 4e 61 6d 65 28 29 3b 0d freshVarName();.
1ea0: 0a 09 09 73 74 72 69 6e 67 20 70 6d 54 72 79 46 ...string pmTryF
1eb0: 69 72 73 74 20 3d 20 66 72 65 73 68 56 61 72 4e irst = freshVarN
1ec0: 61 6d 65 28 29 3b 0d 0a 09 09 41 53 54 20 20 20 ame();....AST
1ed0: 70 6d 42 6f 64 79 20 3d 20 70 61 72 73 65 50 61 pmBody = parsePa
1ee0: 74 74 65 72 6e 4d 61 74 63 68 43 61 73 65 73 28 tternMatchCases(
1ef0: 70 6d 56 61 72 2c 20 70 6d 54 72 79 46 69 72 73 pmVar, pmTryFirs
1f00: 74 2c 0d 0a 09 09 09 6e 65 77 20 41 70 70 28 70 t,.....new App(p
1f10: 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 6f 73 2c os, new Var(pos,
1f20: 20 70 6d 54 72 79 46 69 72 73 74 29 29 29 3b 0d pmTryFirst)));.
1f30: 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 ...return new Le
1f40: 74 28 70 6f 73 2c 20 70 6d 56 61 72 2c 20 5b 5d t(pos, pmVar, []
1f50: 2c 20 70 6d 45 78 70 72 2c 20 70 6d 42 6f 64 79 , pmExpr, pmBody
1f60: 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 70 );...}.....AST p
1f70: 61 72 73 65 50 61 74 74 65 72 6e 4d 61 74 63 68 arsePatternMatch
1f80: 43 61 73 65 73 28 73 74 72 69 6e 67 20 70 6d 56 Cases(string pmV
1f90: 61 72 2c 20 73 74 72 69 6e 67 20 74 72 79 54 68 ar, string tryTh
1fa0: 69 73 42 72 61 6e 63 68 56 61 72 2c 20 41 53 54 isBranchVar, AST
1fb0: 20 74 68 65 6e 44 6f 54 68 69 73 29 0d 0a 09 7b thenDoThis)...{
1fc0: 0d 0a 09 09 2f 2f 20 20 20 20 77 68 65 6e 28 20 ....// when(
1fd0: 70 61 74 20 29 20 7b 20 63 42 6f 64 79 20 7d 0d pat ) { cBody }.
1fe0: 0a 09 09 2f 2f 3d 3d 3e 0d 0a 09 09 2f 2f 20 20 ...//==>....//
1ff0: 20 20 2e 2e 2e 20 6c 65 74 20 66 61 69 6c 42 72 ... let failBr
2000: 61 6e 63 68 56 61 72 20 3d 20 2e 2e 2e 20 69 6e anchVar = ... in
2010: 0d 0a 09 09 2f 2f 20 20 20 20 6c 65 74 20 74 72 ....// let tr
2020: 79 54 68 69 73 42 72 61 6e 63 68 56 61 72 20 3d yThisBranchVar =
2030: 20 66 75 6e 28 29 7b 20 69 66 28 74 65 73 74 29 fun(){ if(test)
2040: 7b 63 42 6f 64 79 7d 65 6c 73 65 7b 66 61 69 6c {cBody}else{fail
2050: 42 72 61 6e 63 68 56 61 72 28 29 7d 20 7d 20 69 BranchVar()} } i
2060: 6e 20 74 68 65 6e 44 6f 54 68 69 73 0d 0a 09 09 n thenDoThis....
2070: 69 66 28 20 74 72 79 45 61 74 28 22 77 68 65 6e if( tryEat("when
2080: 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 ") )....{.....au
2090: 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 to pos = current
20a0: 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 Position();.....
20b0: 73 74 72 69 6e 67 20 66 61 69 6c 42 72 61 6e 63 string failBranc
20c0: 68 56 61 72 20 3d 20 66 72 65 73 68 56 61 72 4e hVar = freshVarN
20d0: 61 6d 65 28 29 3b 0d 0a 0d 0a 09 09 09 65 61 74 ame();.......eat
20e0: 28 22 28 22 2c 20 22 61 66 74 65 72 20 77 68 65 ("(", "after whe
20f0: 6e 22 29 3b 0d 0a 09 09 09 61 75 74 6f 20 70 72 n");.....auto pr
2100: 20 3d 20 70 61 72 73 65 50 61 74 74 65 72 6e 28 = parsePattern(
2110: 29 3b 0d 0a 09 09 09 65 61 74 28 22 29 22 2c 20 );.....eat(")",
2120: 22 61 66 74 65 72 20 77 68 65 6e 22 29 3b 0d 0a "after when");..
2130: 09 09 09 65 61 74 28 22 7b 22 2c 20 22 61 66 74 ...eat("{", "aft
2140: 65 72 20 70 61 74 74 65 72 6e 22 29 3b 0d 0a 09 er pattern");...
2150: 09 09 41 53 54 20 63 42 6f 64 79 20 3d 20 42 6f ..AST cBody = Bo
2160: 64 79 28 29 3b 0d 0a 09 09 09 41 53 54 20 6a 75 dy();.....AST ju
2170: 64 67 65 6d 65 6e 74 20 3d 20 6e 65 77 20 41 70 dgement = new Ap
2180: 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 p(pos, new Var(p
2190: 6f 73 2c 20 22 69 66 22 29 2c 0d 0a 09 09 09 09 os, "if"),......
21a0: 70 70 54 65 73 74 28 70 6d 56 61 72 2c 20 70 72 ppTest(pmVar, pr
21b0: 29 2c 20 6e 65 77 20 46 75 6e 28 70 6f 73 2c 5b ), new Fun(pos,[
21c0: 5d 2c 70 70 42 69 6e 64 28 70 6d 56 61 72 2c 20 ],ppBind(pmVar,
21d0: 70 72 2c 20 63 42 6f 64 79 29 29 2c 0d 0a 09 09 pr, cBody)),....
21e0: 09 09 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 66 ..new Var(pos, f
21f0: 61 69 6c 42 72 61 6e 63 68 56 61 72 29 29 3b 0d ailBranchVar));.
2200: 0a 09 09 09 65 61 74 28 22 7d 22 2c 20 22 61 66 ....eat("}", "af
2210: 74 65 72 20 70 61 74 74 65 72 6e 20 63 6c 61 75 ter pattern clau
2220: 73 65 22 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e se");.....return
2230: 20 70 61 72 73 65 50 61 74 74 65 72 6e 4d 61 74 parsePatternMat
2240: 63 68 43 61 73 65 73 28 70 6d 56 61 72 2c 20 66 chCases(pmVar, f
2250: 61 69 6c 42 72 61 6e 63 68 56 61 72 2c 20 0d 0a ailBranchVar, ..
2260: 09 09 09 09 6e 65 77 20 4c 65 74 28 70 6f 73 2c ....new Let(pos,
2270: 20 74 72 79 54 68 69 73 42 72 61 6e 63 68 56 61 tryThisBranchVa
2280: 72 2c 20 5b 5d 2c 0d 0a 09 09 09 09 09 6e 65 77 r, [],.......new
2290: 20 46 75 6e 28 70 6f 73 2c 5b 5d 2c 6a 75 64 67 Fun(pos,[],judg
22a0: 65 6d 65 6e 74 29 2c 20 74 68 65 6e 44 6f 54 68 ement), thenDoTh
22b0: 69 73 29 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d 0d is).....);....}.
22c0: 0a 09 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 ...else....{....
22d0: 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 .auto pos = curr
22e0: 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a entPosition();..
22f0: 09 09 09 41 53 54 20 64 6f 4e 6f 74 68 69 6e 67 ...AST doNothing
2300: 20 3d 20 6e 65 77 20 46 75 6e 28 70 6f 73 2c 5b = new Fun(pos,[
2310: 5d 2c 0d 0a 09 09 09 09 6e 65 77 20 53 74 72 28 ],......new Str(
2320: 70 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 28 70 pos, sprintf!"(p
2330: 61 74 74 65 72 6e 20 6d 61 74 63 68 20 66 61 69 attern match fai
2340: 6c 75 72 65 3a 25 73 29 22 28 70 6f 73 29 29 29 lure:%s)"(pos)))
2350: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 ;.....return new
2360: 20 4c 65 74 28 63 75 72 72 65 6e 74 50 6f 73 69 Let(currentPosi
2370: 74 69 6f 6e 28 29 2c 20 74 72 79 54 68 69 73 42 tion(), tryThisB
2380: 72 61 6e 63 68 56 61 72 2c 20 5b 5d 2c 20 64 6f ranchVar, [], do
2390: 4e 6f 74 68 69 6e 67 2c 20 74 68 65 6e 44 6f 54 Nothing, thenDoT
23a0: 68 69 73 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a his);....}...}..
23b0: 0d 0a 2f 2f 20 68 61 67 65 73 68 69 6b 75 20 74 ..// hageshiku t
23c0: 65 6e 75 6b 69 0d 0a 09 61 62 73 74 72 61 63 74 enuki...abstract
23d0: 20 63 6c 61 73 73 20 53 69 6e 67 6c 65 50 61 74 class SinglePat
23e0: 74 65 72 6e 0d 0a 09 7b 0d 0a 09 09 73 74 72 69 tern...{....stri
23f0: 6e 67 5b 5d 20 70 61 74 68 3b 0d 0a 09 09 6d 69 ng[] path;....mi
2400: 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b xin SimpleClass;
2410: 0d 0a 09 09 70 72 69 76 61 74 65 20 41 53 54 20 ....private AST
2420: 61 63 63 65 73 73 28 73 74 72 69 6e 67 20 70 6d access(string pm
2430: 56 61 72 2c 20 73 74 72 69 6e 67 5b 5d 20 70 61 Var, string[] pa
2440: 74 68 29 20 7b 0d 0a 09 09 09 61 75 74 6f 20 70 th) {.....auto p
2450: 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 os = currentPosi
2460: 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 41 53 54 20 tion();.....AST
2470: 65 20 3d 20 6e 65 77 20 56 61 72 28 70 6f 73 2c e = new Var(pos,
2480: 20 70 6d 56 61 72 29 3b 0d 0a 09 09 09 66 6f 72 pmVar);.....for
2490: 65 61 63 68 28 70 3b 20 70 61 74 68 29 0d 0a 09 each(p; path)...
24a0: 09 09 09 65 20 3d 20 6e 65 77 20 41 70 70 28 70 ...e = new App(p
24b0: 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 6f 73 2c os, new Var(pos,
24c0: 20 22 2e 22 29 2c 20 65 2c 20 6e 65 77 20 53 74 "."), e, new St
24d0: 72 28 70 6f 73 2c 20 70 29 29 3b 0d 0a 09 09 09 r(pos, p));.....
24e0: 72 65 74 75 72 6e 20 65 3b 0d 0a 09 09 7d 0d 0a return e;....}..
24f0: 09 09 70 72 69 76 61 74 65 20 41 53 54 20 68 61 ..private AST ha
2500: 73 28 41 53 54 20 65 2c 20 73 74 72 69 6e 67 20 s(AST e, string
2510: 6b 29 20 7b 0d 0a 09 09 09 61 75 74 6f 20 70 6f k) {.....auto po
2520: 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 s = currentPosit
2530: 69 6f 6e 28 29 3b 0d 0a 09 09 09 72 65 74 75 72 ion();.....retur
2540: 6e 20 6f 70 41 6e 64 41 6e 64 28 0d 0a 09 09 09 n opAndAnd(.....
2550: 09 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 .new App(pos, ne
2560: 77 20 56 61 72 28 70 6f 73 2c 20 22 5f 69 73 74 w Var(pos, "_ist
2570: 61 62 6c 65 22 29 2c 20 65 29 2c 0d 0a 09 09 09 able"), e),.....
2580: 09 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 .new App(pos, ne
2590: 77 20 56 61 72 28 70 6f 73 2c 20 22 2e 3f 22 29 w Var(pos, ".?")
25a0: 2c 20 65 2c 20 6e 65 77 20 53 74 72 28 70 6f 73 , e, new Str(pos
25b0: 2c 20 6b 29 29 0d 0a 09 09 09 29 3b 0d 0a 09 09 , k)).....);....
25c0: 7d 0d 0a 09 09 70 72 69 76 61 74 65 20 41 53 54 }....private AST
25d0: 20 6f 70 41 6e 64 41 6e 64 28 41 53 54 20 61 2c opAndAnd(AST a,
25e0: 20 41 53 54 20 62 29 20 7b 0d 0a 09 09 09 69 66 AST b) {.....if
25f0: 28 20 61 20 69 73 20 6e 75 6c 6c 20 29 20 72 65 ( a is null ) re
2600: 74 75 72 6e 20 62 3b 0d 0a 09 09 09 69 66 28 20 turn b;.....if(
2610: 62 20 69 73 20 6e 75 6c 6c 20 29 20 72 65 74 75 b is null ) retu
2620: 72 6e 20 61 3b 0d 0a 09 09 09 61 75 74 6f 20 70 rn a;.....auto p
2630: 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 os = currentPosi
2640: 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 72 65 74 75 tion();.....retu
2650: 72 6e 20 6e 65 77 20 41 70 70 28 70 6f 73 2c 0d rn new App(pos,.
2660: 0a 09 09 09 09 6e 65 77 20 56 61 72 28 70 6f 73 .....new Var(pos
2670: 2c 20 22 69 66 22 29 2c 0d 0a 09 09 09 09 61 2c , "if"),......a,
2680: 0d 0a 09 09 09 09 6e 65 77 20 46 75 6e 28 70 6f ......new Fun(po
2690: 73 2c 20 5b 5d 2c 20 62 29 2c 0d 0a 09 09 09 09 s, [], b),......
26a0: 6e 65 77 20 46 75 6e 28 70 6f 73 2c 20 5b 5d 2c new Fun(pos, [],
26b0: 20 6e 65 77 20 49 6e 74 28 70 6f 73 2c 20 30 29 new Int(pos, 0)
26c0: 29 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d 0d 0a 09 ).....);....}...
26d0: 09 41 53 54 20 70 70 54 65 73 74 28 73 74 72 69 .AST ppTest(stri
26e0: 6e 67 20 70 6d 56 61 72 29 20 7b 0d 0a 09 09 09 ng pmVar) {.....
26f0: 41 53 54 20 63 20 3d 20 6e 75 6c 6c 3b 0d 0a 09 AST c = null;...
2700: 09 09 66 6f 72 28 69 6e 74 20 69 3d 30 3b 20 69 ..for(int i=0; i
2710: 3c 70 61 74 68 2e 6c 65 6e 67 74 68 3b 20 2b 2b <path.length; ++
2720: 69 29 0d 0a 09 09 09 09 63 20 3d 20 6f 70 41 6e i)......c = opAn
2730: 64 41 6e 64 28 63 2c 20 68 61 73 28 61 63 63 65 dAnd(c, has(acce
2740: 73 73 28 70 6d 56 61 72 2c 70 61 74 68 5b 30 2e ss(pmVar,path[0.
2750: 2e 69 5d 29 2c 20 70 61 74 68 5b 69 5d 29 29 3b .i]), path[i]));
2760: 0d 0a 09 09 09 72 65 74 75 72 6e 20 63 3b 0d 0a .....return c;..
2770: 09 09 7d 0d 0a 09 09 41 53 54 20 70 70 42 69 6e ..}....AST ppBin
2780: 64 28 73 74 72 69 6e 67 20 70 6d 56 61 72 2c 20 d(string pmVar,
2790: 41 53 54 20 74 68 65 6e 44 6f 54 68 69 73 29 20 AST thenDoThis)
27a0: 7b 20 72 65 74 75 72 6e 20 74 68 65 6e 44 6f 54 { return thenDoT
27b0: 68 69 73 3b 20 7d 0d 0a 09 7d 0d 0a 09 63 6c 61 his; }...}...cla
27c0: 73 73 20 57 69 6c 64 50 61 74 74 65 72 6e 20 3a ss WildPattern :
27d0: 20 53 69 6e 67 6c 65 50 61 74 74 65 72 6e 0d 0a SinglePattern..
27e0: 09 7b 0d 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 .{....mixin Simp
27f0: 6c 65 43 6c 61 73 73 3b 0d 0a 09 7d 0d 0a 09 63 leClass;...}...c
2800: 6c 61 73 73 20 56 61 72 50 61 74 74 65 72 6e 20 lass VarPattern
2810: 3a 20 53 69 6e 67 6c 65 50 61 74 74 65 72 6e 0d : SinglePattern.
2820: 0a 09 7b 0d 0a 09 09 73 74 72 69 6e 67 20 6e 61 ..{....string na
2830: 6d 65 3b 0d 0a 09 09 6d 69 78 69 6e 20 53 69 6d me;....mixin Sim
2840: 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 09 41 53 54 pleClass;....AST
2850: 20 70 70 42 69 6e 64 28 73 74 72 69 6e 67 20 70 ppBind(string p
2860: 6d 56 61 72 2c 20 41 53 54 20 74 68 65 6e 44 6f mVar, AST thenDo
2870: 54 68 69 73 29 20 7b 0d 0a 09 09 09 61 75 74 6f This) {.....auto
2880: 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f pos = currentPo
2890: 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 72 65 sition();.....re
28a0: 74 75 72 6e 20 6e 65 77 20 4c 65 74 28 70 6f 73 turn new Let(pos
28b0: 2c 20 6e 61 6d 65 2c 20 5b 5d 2c 20 61 63 63 65 , name, [], acce
28c0: 73 73 28 70 6d 56 61 72 2c 70 61 74 68 29 2c 20 ss(pmVar,path),
28d0: 74 68 65 6e 44 6f 54 68 69 73 29 3b 0d 0a 09 09 thenDoThis);....
28e0: 7d 0d 0a 09 7d 0d 0a 09 63 6c 61 73 73 20 43 6f }...}...class Co
28f0: 6e 73 74 61 6e 74 50 61 74 74 65 72 6e 20 3a 20 nstantPattern :
2900: 53 69 6e 67 6c 65 50 61 74 74 65 72 6e 0d 0a 09 SinglePattern...
2910: 7b 0d 0a 09 09 41 53 54 20 65 3b 0d 0a 09 09 6d {....AST e;....m
2920: 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 ixin SimpleClass
2930: 3b 0d 0a 09 09 41 53 54 20 70 70 54 65 73 74 28 ;....AST ppTest(
2940: 73 74 72 69 6e 67 20 70 6d 56 61 72 29 20 7b 0d string pmVar) {.
2950: 0a 09 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 ....auto pos = c
2960: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 urrentPosition()
2970: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6f 70 41 ;.....return opA
2980: 6e 64 41 6e 64 28 20 73 75 70 65 72 2e 70 70 54 ndAnd( super.ppT
2990: 65 73 74 28 70 6d 56 61 72 29 2c 0d 0a 09 09 09 est(pmVar),.....
29a0: 09 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 .new App(pos, ne
29b0: 77 20 56 61 72 28 70 6f 73 2c 22 3d 3d 22 29 2c w Var(pos,"=="),
29c0: 20 61 63 63 65 73 73 28 70 6d 56 61 72 2c 70 61 access(pmVar,pa
29d0: 74 68 29 2c 20 65 29 0d 0a 09 09 09 29 3b 0d 0a th), e).....);..
29e0: 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 09 53 69 6e 67 ..}...}.....Sing
29f0: 6c 65 50 61 74 74 65 72 6e 5b 5d 20 70 61 72 73 lePattern[] pars
2a00: 65 50 61 74 74 65 72 6e 28 73 74 72 69 6e 67 5b ePattern(string[
2a10: 5d 20 70 61 74 68 20 3d 20 6e 75 6c 6c 29 0d 0a ] path = null)..
2a20: 09 7b 0d 0a 09 09 53 69 6e 67 6c 65 50 61 74 74 .{....SinglePatt
2a30: 65 72 6e 5b 5d 20 72 65 73 75 6c 74 3b 0d 0a 09 ern[] result;...
2a40: 09 69 66 28 20 74 72 79 45 61 74 28 22 7b 22 29 .if( tryEat("{")
2a50: 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 28 20 )....{.....if(
2a60: 21 74 72 79 45 61 74 28 22 7d 22 29 20 29 20 7b !tryEat("}") ) {
2a70: 0d 0a 09 09 09 09 64 6f 20 7b 0d 0a 09 09 09 09 ......do {......
2a80: 09 73 74 72 69 6e 67 20 6b 65 79 20 3d 20 65 61 .string key = ea
2a90: 74 49 64 28 22 69 6e 20 74 61 62 6c 65 20 70 61 tId("in table pa
2aa0: 74 74 65 72 6e 22 29 3b 0d 0a 09 09 09 09 09 65 ttern");.......e
2ab0: 61 74 28 22 3a 22 2c 20 22 61 66 74 65 72 20 66 at(":", "after f
2ac0: 69 65 6c 64 2d 69 64 20 69 6e 20 74 61 62 6c 65 ield-id in table
2ad0: 20 70 61 74 74 65 72 6e 22 29 3b 0d 0a 09 09 09 pattern");.....
2ae0: 09 09 72 65 73 75 6c 74 20 7e 3d 20 70 61 72 73 ..result ~= pars
2af0: 65 50 61 74 74 65 72 6e 28 70 61 74 68 20 7e 20 ePattern(path ~
2b00: 6b 65 79 29 3b 0d 0a 09 09 09 09 7d 20 77 68 69 key);......} whi
2b10: 6c 65 28 20 74 72 79 45 61 74 28 22 2c 22 29 20 le( tryEat(",")
2b20: 29 3b 0d 0a 09 09 09 09 65 61 74 28 22 7d 22 2c );......eat("}",
2b30: 20 22 61 74 20 74 68 65 20 65 6e 64 20 6f 66 20 "at the end of
2b40: 74 61 62 6c 65 20 70 61 74 74 65 72 6e 22 29 3b table pattern");
2b50: 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 65 .....}....}....e
2b60: 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 41 53 54 lse....{.....AST
2b70: 20 65 20 3d 20 45 28 30 29 3b 0d 0a 09 09 09 69 e = E(0);.....i
2b80: 66 28 61 75 74 6f 20 65 76 20 3d 20 63 61 73 74 f(auto ev = cast
2b90: 28 56 61 72 29 65 29 0d 0a 09 09 09 09 69 66 28 (Var)e)......if(
2ba0: 65 76 2e 6e 61 6d 65 20 3d 3d 20 22 5f 22 29 0d ev.name == "_").
2bb0: 0a 09 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 ......result ~=
2bc0: 6e 65 77 20 57 69 6c 64 50 61 74 74 65 72 6e 28 new WildPattern(
2bd0: 70 61 74 68 29 3b 0d 0a 09 09 09 09 65 6c 73 65 path);......else
2be0: 0d 0a 09 09 09 09 09 72 65 73 75 6c 74 20 7e 3d .......result ~=
2bf0: 20 6e 65 77 20 56 61 72 50 61 74 74 65 72 6e 28 new VarPattern(
2c00: 70 61 74 68 2c 20 65 76 2e 6e 61 6d 65 29 3b 0d path, ev.name);.
2c10: 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 72 65 ....else......re
2c20: 73 75 6c 74 20 7e 3d 20 6e 65 77 20 43 6f 6e 73 sult ~= new Cons
2c30: 74 61 6e 74 50 61 74 74 65 72 6e 28 70 61 74 68 tantPattern(path
2c40: 2c 20 65 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 , e);....}....re
2c50: 74 75 72 6e 20 72 65 73 75 6c 74 3b 0d 0a 09 7d turn result;...}
2c60: 0d 0a 0d 0a 09 41 53 54 20 70 70 54 65 73 74 28 .....AST ppTest(
2c70: 73 74 72 69 6e 67 20 70 6d 56 61 72 2c 20 53 69 string pmVar, Si
2c80: 6e 67 6c 65 50 61 74 74 65 72 6e 5b 5d 20 70 61 nglePattern[] pa
2c90: 74 73 29 0d 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 ts)...{....auto
2ca0: 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 pos = currentPos
2cb0: 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 41 53 54 20 ition();....AST
2cc0: 63 6f 6e 64 20 3d 20 6e 75 6c 6c 3b 0d 0a 09 09 cond = null;....
2cd0: 66 6f 72 65 61 63 68 28 70 3b 20 70 61 74 73 29 foreach(p; pats)
2ce0: 20 7b 0d 0a 09 09 09 41 53 54 20 63 32 20 3d 20 {.....AST c2 =
2cf0: 70 2e 70 70 54 65 73 74 28 70 6d 56 61 72 29 3b p.ppTest(pmVar);
2d00: 0d 0a 09 09 09 69 66 28 20 63 32 20 21 69 73 20 .....if( c2 !is
2d10: 6e 75 6c 6c 20 29 0d 0a 09 09 09 09 63 6f 6e 64 null )......cond
2d20: 20 3d 20 63 6f 6e 64 20 69 73 20 6e 75 6c 6c 20 = cond is null
2d30: 3f 20 63 32 0d 0a 09 09 09 09 20 20 20 20 3a 20 ? c2...... :
2d40: 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 77 new App(pos, new
2d50: 20 56 61 72 28 70 6f 73 2c 22 26 26 22 29 2c 20 Var(pos,"&&"),
2d60: 63 6f 6e 64 2c 20 63 32 29 3b 0d 0a 09 09 7d 0d cond, c2);....}.
2d70: 0a 09 09 72 65 74 75 72 6e 20 63 6f 6e 64 20 69 ...return cond i
2d80: 73 20 6e 75 6c 6c 20 3f 20 6e 65 77 20 49 6e 74 s null ? new Int
2d90: 28 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e (currentPosition
2da0: 28 29 2c 20 31 29 20 3a 20 63 6f 6e 64 3b 0d 0a (), 1) : cond;..
2db0: 09 7d 0d 0a 0d 0a 09 41 53 54 20 70 70 42 69 6e .}.....AST ppBin
2dc0: 64 28 73 74 72 69 6e 67 20 70 6d 56 61 72 2c 20 d(string pmVar,
2dd0: 53 69 6e 67 6c 65 50 61 74 74 65 72 6e 5b 5d 20 SinglePattern[]
2de0: 70 61 74 73 2c 20 41 53 54 20 74 68 65 6e 44 6f pats, AST thenDo
2df0: 54 68 69 73 29 0d 0a 09 7b 0d 0a 09 09 66 6f 72 This)...{....for
2e00: 65 61 63 68 28 70 3b 20 70 61 74 73 29 0d 0a 09 each(p; pats)...
2e10: 09 09 74 68 65 6e 44 6f 54 68 69 73 20 3d 20 70 ..thenDoThis = p
2e20: 2e 70 70 42 69 6e 64 28 70 6d 56 61 72 2c 20 74 .ppBind(pmVar, t
2e30: 68 65 6e 44 6f 54 68 69 73 29 3b 0d 0a 09 09 72 henDoThis);....r
2e40: 65 74 75 72 6e 20 74 68 65 6e 44 6f 54 68 69 73 eturn thenDoThis
2e50: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 70 61 ;...}.....AST pa
2e60: 72 73 65 49 64 28 29 0d 0a 09 7b 0d 0a 09 09 73 rseId()...{....s
2e70: 63 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 cope(exit) lex.p
2e80: 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 opFront;....retu
2e90: 72 6e 20 6e 65 77 20 53 74 72 28 63 75 72 72 65 rn new Str(curre
2ea0: 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 6c 65 ntPosition(), le
2eb0: 78 2e 66 72 6f 6e 74 2e 73 74 72 29 3b 0d 0a 09 x.front.str);...
2ec0: 7d 0d 0a 0d 0a 09 41 53 54 20 70 61 72 73 65 4c }.....AST parseL
2ed0: 61 6d 62 64 61 41 66 74 65 72 4f 70 65 6e 50 61 ambdaAfterOpenPa
2ee0: 72 65 6e 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 ren(immutable Le
2ef0: 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 29 0d 0a xPosition pos)..
2f00: 09 7b 0d 0a 09 09 50 61 72 61 6d 65 74 65 72 5b .{....Parameter[
2f10: 5d 20 70 61 72 61 6d 73 3b 0d 0a 09 09 77 68 69 ] params;....whi
2f20: 6c 65 28 20 21 74 72 79 45 61 74 28 22 29 22 29 le( !tryEat(")")
2f30: 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 70 61 72 61 )....{.....para
2f40: 6d 73 20 7e 3d 20 70 61 72 73 65 50 61 72 61 6d ms ~= parseParam
2f50: 28 29 3b 0d 0a 09 09 09 69 66 28 20 21 74 72 79 ();.....if( !try
2f60: 45 61 74 28 22 2c 22 29 20 29 20 7b 0d 0a 09 09 Eat(",") ) {....
2f70: 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 74 65 ..eat(")", "afte
2f80: 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d r function param
2f90: 65 74 65 72 73 22 29 3b 0d 0a 09 09 09 09 62 72 eters");......br
2fa0: 65 61 6b 3b 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d eak;.....}....}.
2fb0: 0a 09 09 65 61 74 28 22 7b 22 2c 20 22 61 66 74 ...eat("{", "aft
2fc0: 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 er function para
2fd0: 6d 65 74 65 72 73 22 29 3b 0d 0a 09 09 61 75 74 meters");....aut
2fe0: 6f 20 66 75 6e 62 6f 64 79 20 3d 20 42 6f 64 79 o funbody = Body
2ff0: 28 29 3b 0d 0a 09 09 65 61 74 28 22 7d 22 2c 20 ();....eat("}",
3000: 22 61 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 "after function
3010: 62 6f 64 79 22 29 3b 0d 0a 09 09 72 65 74 75 72 body");....retur
3020: 6e 20 6e 65 77 20 46 75 6e 28 70 6f 73 2c 20 70 n new Fun(pos, p
3030: 61 72 61 6d 73 2c 20 66 75 6e 62 6f 64 79 29 3b arams, funbody);
3040: 0d 0a 09 7d 0d 0a 0d 0a 09 50 61 72 61 6d 65 74 ...}.....Paramet
3050: 65 72 20 70 61 72 73 65 50 61 72 61 6d 28 29 0d er parseParam().
3060: 0a 09 7b 0d 0a 09 09 73 74 72 69 6e 67 20 76 61 ..{....string va
3070: 72 3b 0d 0a 09 09 73 74 72 69 6e 67 5b 5d 20 6c r;....string[] l
3080: 61 79 3b 0d 0a 09 09 77 68 69 6c 65 28 20 21 63 ay;....while( !c
3090: 6c 6f 73 69 6e 67 42 72 61 63 6b 65 74 28 29 20 losingBracket()
30a0: 26 26 20 21 6c 65 78 2e 65 6d 70 74 79 20 26 26 && !lex.empty &&
30b0: 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d lex.front.str!=
30c0: 22 2c 22 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 "," )....{.....a
30d0: 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e uto pos = curren
30e0: 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 tPosition();....
30f0: 09 73 74 72 69 6e 67 20 70 20 3d 20 65 61 74 49 .string p = eatI
3100: 64 28 22 66 6f 72 20 66 75 6e 63 74 69 6f 6e 20 d("for function
3110: 70 61 72 61 6d 65 74 65 72 22 2c 20 41 6c 6c 6f parameter", Allo
3120: 77 51 75 6f 74 65 64 29 3b 0d 0a 09 09 09 69 66 wQuoted);.....if
3130: 28 20 70 20 3d 3d 20 22 40 22 20 29 0d 0a 09 09 ( p == "@" )....
3140: 09 09 6c 61 79 20 7e 3d 20 22 40 22 20 7e 20 65 ..lay ~= "@" ~ e
3150: 61 74 49 64 28 22 61 66 74 65 72 20 40 22 2c 20 atId("after @",
3160: 41 6c 6c 6f 77 51 75 6f 74 65 64 29 3b 0d 0a 09 AllowQuoted);...
3170: 09 09 65 6c 73 65 20 69 66 28 20 76 61 72 2e 65 ..else if( var.e
3180: 6d 70 74 79 20 29 0d 0a 09 09 09 09 76 61 72 20 mpty )......var
3190: 3d 20 70 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 = p;.....else...
31a0: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 50 ...throw genex!P
31b0: 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 6f arseException(po
31c0: 73 2c 20 22 6f 6e 65 20 70 61 72 61 6d 65 74 65 s, "one paramete
31d0: 72 20 68 61 73 20 74 77 6f 20 6e 61 6d 65 73 22 r has two names"
31e0: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 );....}....retur
31f0: 6e 20 6e 65 77 20 50 61 72 61 6d 65 74 65 72 28 n new Parameter(
3200: 76 61 72 2c 20 6c 61 79 29 3b 0d 0a 09 7d 0d 0a var, lay);...}..
3210: 0d 0a 70 72 69 76 61 74 65 3a 0d 0a 09 4c 65 78 ..private:...Lex
3220: 65 72 20 6c 65 78 3b 0d 0a 09 74 68 69 73 28 4c er lex;...this(L
3230: 65 78 65 72 20 6c 65 78 29 20 7b 20 74 68 69 73 exer lex) { this
3240: 2e 6c 65 78 20 3d 20 6c 65 78 3b 20 7d 0d 0a 0d .lex = lex; }...
3250: 0a 09 62 6f 6f 6c 20 69 73 4e 75 6d 62 65 72 28 ..bool isNumber(
3260: 73 74 72 69 6e 67 20 73 29 0d 0a 09 7b 0d 0a 09 string s)...{...
3270: 09 72 65 74 75 72 6e 20 66 69 6e 64 21 28 60 61 .return find!(`a
3280: 3c 27 30 27 20 7c 7c 20 27 39 27 3c 61 60 29 28 <'0' || '9'<a`)(
3290: 73 29 2e 65 6d 70 74 79 3b 0d 0a 09 7d 0d 0a 09 s).empty;...}...
32a0: 0d 0a 09 76 6f 69 64 20 65 61 74 28 73 74 72 69 ...void eat(stri
32b0: 6e 67 20 6b 77 64 2c 20 6c 61 7a 79 20 73 74 72 ng kwd, lazy str
32c0: 69 6e 67 20 6d 73 67 29 0d 0a 09 7b 0d 0a 09 09 ing msg)...{....
32d0: 69 66 28 20 21 74 72 79 45 61 74 28 6b 77 64 29 if( !tryEat(kwd)
32e0: 20 29 0d 0a 09 09 09 69 66 28 20 6c 65 78 2e 65 ).....if( lex.e
32f0: 6d 70 74 79 20 29 0d 0a 09 09 09 09 74 68 72 6f mpty )......thro
3300: 77 20 67 65 6e 65 78 21 55 6e 65 78 70 65 63 74 w genex!Unexpect
3310: 65 64 45 4f 46 28 0d 0a 09 09 09 09 09 63 75 72 edEOF(.......cur
3320: 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 rentPosition(),
3330: 73 70 72 69 6e 74 66 21 22 25 73 20 69 73 20 65 sprintf!"%s is e
3340: 78 70 65 63 74 65 64 20 25 73 20 62 75 74 20 6e xpected %s but n
3350: 6f 74 20 66 6f 75 6e 64 22 28 6b 77 64 2c 6d 73 ot found"(kwd,ms
3360: 67 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 g));.....else...
3370: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 50 ...throw genex!P
3380: 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 0d 0a arseException(..
3390: 09 09 09 09 09 63 75 72 72 65 6e 74 50 6f 73 69 .....currentPosi
33a0: 74 69 6f 6e 28 29 2c 20 73 70 72 69 6e 74 66 21 tion(), sprintf!
33b0: 22 25 73 20 69 73 20 65 78 70 65 63 74 65 64 20 "%s is expected
33c0: 66 6f 72 20 25 73 20 62 75 74 20 6e 6f 74 20 66 for %s but not f
33d0: 6f 75 6e 64 22 28 6b 77 64 2c 6d 73 67 29 29 3b ound"(kwd,msg));
33e0: 0d 0a 09 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 74 72 ...}.....bool tr
33f0: 79 45 61 74 28 73 74 72 69 6e 67 20 6b 77 64 29 yEat(string kwd)
3400: 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78 2e ...{....if( lex.
3410: 65 6d 70 74 79 20 7c 7c 20 6c 65 78 2e 66 72 6f empty || lex.fro
3420: 6e 74 2e 71 75 6f 74 65 64 20 7c 7c 20 6c 65 78 nt.quoted || lex
3430: 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 6b 77 64 20 .front.str!=kwd
3440: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 66 61 6c ).....return fal
3450: 73 65 3b 0d 0a 09 09 6c 65 78 2e 70 6f 70 46 72 se;....lex.popFr
3460: 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 72 6e 20 74 ont;....return t
3470: 72 75 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 65 6e 75 rue;...}.....enu
3480: 6d 20 7b 41 6c 6c 6f 77 51 75 6f 74 65 64 3d 74 m {AllowQuoted=t
3490: 72 75 65 2c 20 44 69 73 61 6c 6c 6f 77 51 75 6f rue, DisallowQuo
34a0: 74 65 64 3d 66 61 6c 73 65 7d 3b 0d 0a 09 73 74 ted=false};...st
34b0: 72 69 6e 67 20 65 61 74 49 64 28 6c 61 7a 79 20 ring eatId(lazy
34c0: 73 74 72 69 6e 67 20 6d 73 67 2c 20 62 6f 6f 6c string msg, bool
34d0: 20 61 71 3d 44 69 73 61 6c 6c 6f 77 51 75 6f 74 aq=DisallowQuot
34e0: 65 64 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c ed)...{....if( l
34f0: 65 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 ex.empty ).....t
3500: 68 72 6f 77 20 67 65 6e 65 78 21 55 6e 65 78 70 hrow genex!Unexp
3510: 65 63 74 65 64 45 4f 46 28 63 75 72 72 65 6e 74 ectedEOF(current
3520: 50 6f 73 69 74 69 6f 6e 28 29 2c 20 22 69 64 65 Position(), "ide
3530: 6e 74 69 66 69 65 72 20 69 73 20 65 78 70 65 63 ntifier is expec
3540: 74 65 64 20 62 75 74 20 6e 6f 74 20 66 6f 75 6e ted but not foun
3550: 64 20 22 7e 6d 73 67 29 3b 0d 0a 09 09 69 66 28 d "~msg);....if(
3560: 20 21 61 71 20 26 26 20 6c 65 78 2e 66 72 6f 6e !aq && lex.fron
3570: 74 2e 71 75 6f 74 65 64 20 29 0d 0a 09 09 09 74 t.quoted ).....t
3580: 68 72 6f 77 20 67 65 6e 65 78 21 50 61 72 73 65 hrow genex!Parse
3590: 45 78 63 65 70 74 69 6f 6e 28 63 75 72 72 65 6e Exception(curren
35a0: 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 22 69 64 tPosition(), "id
35b0: 65 6e 74 69 66 69 65 72 20 69 73 20 65 78 70 65 entifier is expe
35c0: 63 74 65 64 20 62 75 74 20 6e 6f 74 20 66 6f 75 cted but not fou
35d0: 6e 64 20 22 7e 6d 73 67 29 3b 0d 0a 09 09 73 63 nd "~msg);....sc
35e0: 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f ope(exit) lex.po
35f0: 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 72 pFront;....retur
3600: 6e 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 3b n lex.front.str;
3610: 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 64 6f 4e ...}.....AST doN
3620: 6f 74 68 69 6e 67 45 78 70 72 65 73 73 69 6f 6e othingExpression
3630: 28 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e ()...{....return
3640: 20 6e 65 77 20 53 74 72 28 63 75 72 72 65 6e 74 new Str(current
3650: 50 6f 73 69 74 69 6f 6e 28 29 2c 20 22 28 65 6d Position(), "(em
3660: 70 74 79 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 pty function bod
3670: 79 29 22 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 69 6d y)");...}.....im
3680: 6d 75 74 61 62 6c 65 28 4c 65 78 50 6f 73 69 74 mutable(LexPosit
3690: 69 6f 6e 29 20 63 75 72 72 65 6e 74 50 6f 73 69 ion) currentPosi
36a0: 74 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 72 65 tion()...{....re
36b0: 74 75 72 6e 20 6c 65 78 2e 65 6d 70 74 79 20 3f turn lex.empty ?
36c0: 20 6e 75 6c 6c 20 3a 20 6c 65 78 2e 66 72 6f 6e null : lex.fron
36d0: 74 2e 70 6f 73 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d t.pos;...}..}...
36e0: 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 6d .unittest..{...m
36f0: 69 78 69 6e 20 45 61 73 79 41 53 54 3b 0d 0a 0d ixin EasyAST;...
3700: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
3710: 65 53 74 72 69 6e 67 28 60 31 32 33 60 29 2c 20 eString(`123`),
3720: 69 6e 74 6c 28 31 32 33 29 29 3b 0d 0a 09 61 73 intl(123));...as
3730: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
3740: 69 6e 67 28 60 22 66 6f 6f 22 60 29 2c 20 73 74 ing(`"foo"`), st
3750: 72 6c 28 22 66 6f 6f 22 29 29 3b 0d 0a 09 61 73 rl("foo"));...as
3760: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
3770: 69 6e 67 28 60 66 75 6e 28 29 7b 31 7d 60 29 2c ing(`fun(){1}`),
3780: 20 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 31 29 29 fun([],intl(1))
3790: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
37a0: 61 72 73 65 53 74 72 69 6e 67 28 60 66 75 6e 28 arseString(`fun(
37b0: 78 29 7b 31 7d 60 29 2c 20 66 75 6e 28 5b 22 78 x){1}`), fun(["x
37c0: 22 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 "],intl(1)));...
37d0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
37e0: 74 72 69 6e 67 28 22 5c 75 30 33 42 42 28 29 7b tring("\u03BB(){
37f0: 31 7d 22 29 2c 20 66 75 6e 28 5b 5d 2c 69 6e 74 1}"), fun([],int
3800: 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 l(1)));...assert
3810: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
3820: 22 5c 75 30 33 42 42 28 78 29 7b 31 7d 22 29 2c "\u03BB(x){1}"),
3830: 20 66 75 6e 28 5b 22 78 22 5d 2c 69 6e 74 6c 28 fun(["x"],intl(
3840: 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 1)));...assert_e
3850: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 q(parseString(`1
3860: 3b 32 60 29 2c 20 6c 65 74 28 22 5f 22 2c 22 22 ;2`), let("_",""
3870: 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 ,intl(1),intl(2)
3880: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
3890: 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 3b 32 parseString(`1;2
38a0: 3b 60 29 2c 20 6c 65 74 28 22 5f 22 2c 22 22 2c ;`), let("_","",
38b0: 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 intl(1),intl(2))
38c0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
38d0: 61 72 73 65 53 74 72 69 6e 67 28 60 6c 65 74 20 arseString(`let
38e0: 78 3d 31 20 69 6e 20 32 60 29 2c 20 6c 65 74 28 x=1 in 2`), let(
38f0: 22 78 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 69 "x","",intl(1),i
3900: 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 ntl(2)));...asse
3910: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
3920: 67 28 60 76 61 72 20 78 3d 31 3b 32 3b 60 29 2c g(`var x=1;2;`),
3930: 20 6c 65 74 28 22 78 22 2c 22 22 2c 69 6e 74 6c let("x","",intl
3940: 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a (1),intl(2)));..
3950: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
3960: 53 74 72 69 6e 67 28 60 64 65 66 20 78 3d 31 60 String(`def x=1`
3970: 29 2c 20 6c 65 74 28 22 78 22 2c 22 22 2c 69 6e ), let("x","",in
3980: 74 6c 28 31 29 2c 76 61 72 28 22 78 22 29 29 29 tl(1),var("x")))
3990: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
39a0: 72 73 65 53 74 72 69 6e 67 28 60 40 76 61 6c 20 rseString(`@val
39b0: 78 3d 31 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c x=1;`), let("x",
39c0: 22 40 76 61 6c 22 2c 69 6e 74 6c 28 31 29 2c 76 "@val",intl(1),v
39d0: 61 72 28 22 78 22 29 29 29 3b 0d 0a 09 61 73 73 ar("x")));...ass
39e0: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
39f0: 6e 67 28 60 40 74 79 70 20 78 3d 22 23 69 6e 74 ng(`@typ x="#int
3a00: 22 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 40 ";`), let("x","@
3a10: 74 79 70 22 2c 73 74 72 6c 28 22 23 69 6e 74 22 typ",strl("#int"
3a20: 29 2c 76 61 72 28 22 78 22 29 29 29 3b 0d 0a 09 ),var("x")));...
3a30: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
3a40: 74 72 69 6e 67 28 60 66 28 31 2c 32 29 60 29 2c tring(`f(1,2)`),
3a50: 20 63 61 6c 6c 28 76 61 72 28 22 66 22 29 2c 69 call(var("f"),i
3a60: 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 ntl(1),intl(2)))
3a70: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
3a80: 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 31 29 rseString(`if(1)
3a90: 7b 32 7d 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 {2}`), call(var(
3aa0: 22 69 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 75 "if"),intl(1),fu
3ab0: 6e 28 5b 5d 2c 69 6e 74 6c 28 32 29 29 2c 66 75 n([],intl(2)),fu
3ac0: 6e 28 5b 5d 2c 73 74 72 6c 28 22 28 65 6d 70 74 n([],strl("(empt
3ad0: 79 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 29 y function body)
3ae0: 22 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f "))));...assert_
3af0: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
3b00: 69 66 28 31 29 7b 32 7d 65 6c 73 65 7b 33 7d 60 if(1){2}else{3}`
3b10: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 69 66 22 ), call(var("if"
3b20: 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d ),intl(1),fun([]
3b30: 2c 69 6e 74 6c 28 32 29 29 2c 66 75 6e 28 5b 5d ,intl(2)),fun([]
3b40: 2c 69 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 09 61 ,intl(3))));...a
3b50: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
3b60: 72 69 6e 67 28 60 69 66 28 31 29 7b 7d 65 6c 73 ring(`if(1){}els
3b70: 65 7b 33 7d 28 29 28 29 60 29 2c 0d 0a 09 09 63 e{3}()()`),....c
3b80: 61 6c 6c 28 63 61 6c 6c 28 63 61 6c 6c 28 76 61 all(call(call(va
3b90: 72 28 22 69 66 22 29 2c 69 6e 74 6c 28 31 29 2c r("if"),intl(1),
3ba0: 66 75 6e 28 5b 5d 2c 73 74 72 6c 28 22 28 65 6d fun([],strl("(em
3bb0: 70 74 79 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 pty function bod
3bc0: 79 29 22 29 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74 y)")),fun([],int
3bd0: 6c 28 33 29 29 29 29 29 29 3b 0d 0a 09 61 73 73 l(3))))));...ass
3be0: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
3bf0: 6e 67 28 60 31 2b 32 2a 33 60 29 2c 20 63 61 6c ng(`1+2*3`), cal
3c00: 6c 28 76 61 72 28 22 2b 22 29 2c 69 6e 74 6c 28 l(var("+"),intl(
3c10: 31 29 2c 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 1),call(var("*")
3c20: 2c 69 6e 74 6c 28 32 29 2c 69 6e 74 6c 28 33 29 ,intl(2),intl(3)
3c30: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
3c40: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 28 31 (parseString(`(1
3c50: 2b 32 29 2a 33 60 29 2c 20 63 61 6c 6c 28 76 61 +2)*3`), call(va
3c60: 72 28 22 2a 22 29 2c 63 61 6c 6c 28 76 61 72 28 r("*"),call(var(
3c70: 22 2b 22 29 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 "+"),intl(1),int
3c80: 6c 28 32 29 29 2c 69 6e 74 6c 28 33 29 29 29 3b l(2)),intl(3)));
3c90: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
3ca0: 73 65 53 74 72 69 6e 67 28 60 31 2a 28 32 2b 33 seString(`1*(2+3
3cb0: 29 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2a )`), call(var("*
3cc0: 22 29 2c 69 6e 74 6c 28 31 29 2c 63 61 6c 6c 28 "),intl(1),call(
3cd0: 76 61 72 28 22 2b 22 29 2c 69 6e 74 6c 28 32 29 var("+"),intl(2)
3ce0: 2c 69 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 09 61 ,intl(3))));...a
3cf0: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
3d00: 72 69 6e 67 28 60 31 2a 32 2b 33 60 29 2c 20 63 ring(`1*2+3`), c
3d10: 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 63 61 6c all(var("+"),cal
3d20: 6c 28 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c 28 l(var("*"),intl(
3d30: 31 29 2c 69 6e 74 6c 28 32 29 29 2c 69 6e 74 6c 1),intl(2)),intl
3d40: 28 33 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f (3)));...assert_
3d50: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
3d60: 40 78 28 31 29 60 29 2c 20 6c 61 79 28 22 40 78 @x(1)`), lay("@x
3d70: 22 2c 20 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 ", intl(1)));...
3d80: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
3d90: 74 72 69 6e 67 28 60 66 75 6e 28 78 20 40 76 20 tring(`fun(x @v
3da0: 40 74 2c 20 79 2c 20 7a 20 40 74 29 7b 7d 60 29 @t, y, z @t){}`)
3db0: 2c 0d 0a 09 09 66 75 6e 70 28 5b 70 61 72 61 6d ,....funp([param
3dc0: 28 22 78 22 2c 5b 22 40 76 22 2c 22 40 74 22 5d ("x",["@v","@t"]
3dd0: 29 2c 20 70 61 72 61 6d 28 22 79 22 2c 5b 5d 29 ), param("y",[])
3de0: 2c 20 70 61 72 61 6d 28 22 7a 22 2c 5b 22 40 74 , param("z",["@t
3df0: 22 5d 29 5d 2c 20 73 74 72 6c 28 22 28 65 6d 70 "])], strl("(emp
3e00: 74 79 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 ty function body
3e10: 29 22 29 29 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 )")));.....asser
3e20: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
3e30: 28 60 0d 0a 09 09 6c 65 74 20 78 20 3d 20 31 30 (`....let x = 10
3e40: 30 3b 20 23 63 6f 6d 6d 65 6e 74 0d 0a 09 09 6c 0; #comment....l
3e50: 65 74 20 79 20 3d 20 32 30 30 3b 20 23 63 6f 6d et y = 200; #com
3e60: 6d 65 6e 74 21 21 21 21 21 0d 0a 09 09 09 78 2b ment!!!!!.....x+
3e70: 79 0d 0a 09 60 29 2c 0d 0a 09 09 6c 65 74 28 22 y...`),....let("
3e80: 78 22 2c 20 22 22 2c 20 69 6e 74 6c 28 31 30 30 x", "", intl(100
3e90: 29 2c 20 6c 65 74 28 22 79 22 2c 20 22 22 2c 20 ), let("y", "",
3ea0: 69 6e 74 6c 28 32 30 30 29 2c 20 63 61 6c 6c 28 intl(200), call(
3eb0: 76 61 72 28 22 2b 22 29 2c 20 76 61 72 28 22 78 var("+"), var("x
3ec0: 22 29 2c 20 76 61 72 28 22 79 22 29 29 29 29 0d "), var("y")))).
3ed0: 0a 09 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f ..);.....assert_
3ee0: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
3ef0: 0d 0a 09 09 76 61 72 20 66 61 63 20 3d 20 66 75 ....var fac = fu
3f00: 6e 28 78 29 7b 20 69 66 28 78 20 3c 3d 20 31 29 n(x){ if(x <= 1)
3f10: 20 7b 31 7d 20 65 6c 73 65 20 7b 78 2a 66 61 63 {1} else {x*fac
3f20: 28 78 2d 31 29 7d 20 7d 3b 0d 0a 09 09 66 61 63 (x-1)} };....fac
3f30: 28 31 30 29 0d 0a 09 60 29 2c 0d 0a 09 09 6c 65 (10)...`),....le
3f40: 74 28 22 66 61 63 22 2c 20 22 22 2c 20 66 75 6e t("fac", "", fun
3f50: 28 5b 22 78 22 5d 2c 0d 0a 09 09 09 63 61 6c 6c (["x"],.....call
3f60: 28 76 61 72 28 22 69 66 22 29 2c 0d 0a 09 09 09 (var("if"),.....
3f70: 09 63 61 6c 6c 28 76 61 72 28 22 3c 3d 22 29 2c .call(var("<="),
3f80: 20 76 61 72 28 22 78 22 29 2c 20 69 6e 74 6c 28 var("x"), intl(
3f90: 31 29 29 2c 0d 0a 09 09 09 09 66 75 6e 28 5b 5d 1)),......fun([]
3fa0: 2c 20 69 6e 74 6c 28 31 29 29 2c 0d 0a 09 09 09 , intl(1)),.....
3fb0: 09 66 75 6e 28 5b 5d 2c 20 63 61 6c 6c 28 76 61 .fun([], call(va
3fc0: 72 28 22 2a 22 29 2c 20 76 61 72 28 22 78 22 29 r("*"), var("x")
3fd0: 2c 20 63 61 6c 6c 28 76 61 72 28 22 66 61 63 22 , call(var("fac"
3fe0: 29 2c 63 61 6c 6c 28 76 61 72 28 22 2d 22 29 2c ),call(var("-"),
3ff0: 76 61 72 28 22 78 22 29 2c 69 6e 74 6c 28 31 29 var("x"),intl(1)
4000: 29 29 29 29 0d 0a 09 09 09 29 29 2c 0d 0a 09 09 )))).....)),....
4010: 09 63 61 6c 6c 28 76 61 72 28 22 66 61 63 22 29 .call(var("fac")
4020: 2c 69 6e 74 6c 28 31 30 29 29 0d 0a 09 09 29 0d ,intl(10))....).
4030: 0a 09 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 ..);..}....unitt
4040: 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 5f est..{...assert_
4050: 74 68 72 6f 77 21 55 6e 65 78 70 65 63 74 65 64 throw!Unexpected
4060: 45 4f 46 28 70 61 72 73 65 53 74 72 69 6e 67 28 EOF(parseString(
4070: 60 31 2b 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 `1+`));...assert
4080: 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 _throw!ParseExce
4090: 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e ption(parseStrin
40a0: 67 28 60 31 2b 32 7d 60 29 29 3b 0d 0a 09 61 73 g(`1+2}`));...as
40b0: 73 65 72 74 5f 74 68 72 6f 77 21 55 6e 65 78 70 sert_throw!Unexp
40c0: 65 63 74 65 64 45 4f 46 28 70 61 72 73 65 53 74 ectedEOF(parseSt
40d0: 72 69 6e 67 28 60 6c 65 74 20 22 78 22 60 29 29 ring(`let "x"`))
40e0: 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 ;...assert_throw
40f0: 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 28 70 !UnexpectedEOF(p
4100: 61 72 73 65 53 74 72 69 6e 67 28 60 76 61 72 60 arseString(`var`
4110: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 ));...assert_thr
4120: 6f 77 21 50 61 72 73 65 45 78 63 65 70 74 69 6f ow!ParseExceptio
4130: 6e 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 40 n(parseString(`@
4140: 76 61 6c 20 78 20 3d 3d 60 29 29 3b 0d 0a 09 61 val x ==`));...a
4150: 73 73 65 72 74 5f 74 68 72 6f 77 21 50 61 72 73 ssert_throw!Pars
4160: 65 45 78 63 65 70 74 69 6f 6e 28 70 61 72 73 65 eException(parse
4170: 53 74 72 69 6e 67 28 60 69 66 28 29 7b 31 7d 60 String(`if(){1}`
4180: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 ));...assert_thr
4190: 6f 77 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 ow!UnexpectedEOF
41a0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 66 28 (parseString(`f(
41b0: 60 29 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 `));..}....unitt
41c0: 65 73 74 0d 0a 7b 0d 0a 09 6d 69 78 69 6e 20 45 est..{...mixin E
41d0: 61 73 79 41 53 54 3b 0d 0a 09 61 73 73 65 72 74 asyAST;...assert
41e0: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
41f0: 60 64 65 66 20 66 6f 6f 28 78 29 20 7b 20 78 2b `def foo(x) { x+
4200: 31 20 7d 3b 20 66 6f 6f 60 29 2c 0d 0a 09 09 6c 1 }; foo`),....l
4210: 65 74 28 22 66 6f 6f 22 2c 20 22 22 2c 0d 0a 09 et("foo", "",...
4220: 09 09 66 75 6e 28 5b 22 78 22 5d 2c 20 63 61 6c ..fun(["x"], cal
4230: 6c 28 76 61 72 28 22 2b 22 29 2c 20 76 61 72 28 l(var("+"), var(
4240: 22 78 22 29 2c 20 69 6e 74 6c 28 31 29 29 29 2c "x"), intl(1))),
4250: 0d 0a 09 09 09 76 61 72 28 22 66 6f 6f 22 29 29 .....var("foo"))
4260: 0d 0a 09 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 ...);.....assert
4270: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
4280: 60 40 40 74 79 70 65 20 28 20 78 20 29 20 7b 20 `@@type ( x ) {
4290: 78 20 7d 60 29 2c 0d 0a 09 09 6c 65 74 28 22 40 x }`),....let("@
42a0: 74 79 70 65 22 2c 20 53 79 73 74 65 6d 4c 61 79 type", SystemLay
42b0: 65 72 2c 20 66 75 6e 28 5b 22 78 22 5d 2c 20 76 er, fun(["x"], v
42c0: 61 72 28 22 78 22 29 29 2c 20 6c 61 79 28 53 79 ar("x")), lay(Sy
42d0: 73 74 65 6d 4c 61 79 65 72 2c 20 76 61 72 28 22 stemLayer, var("
42e0: 40 74 79 70 65 22 29 29 29 20 29 3b 0d 0a 0d 0a @type"))) );....
42f0: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
4300: 53 74 72 69 6e 67 28 60 7b 7d 60 29 2c 20 63 61 String(`{}`), ca
4310: 6c 6c 28 76 61 72 28 22 7b 7d 22 29 29 29 3b 0d ll(var("{}")));.
4320: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
4330: 65 53 74 72 69 6e 67 28 60 7b 66 6f 6f 3a 31 2c eString(`{foo:1,
4340: 22 62 61 72 22 3a 32 7d 60 29 2c 0d 0a 09 09 63 "bar":2}`),....c
4350: 61 6c 6c 28 76 61 72 28 22 2e 3d 22 29 2c 20 63 all(var(".="), c
4360: 61 6c 6c 28 76 61 72 28 22 2e 3d 22 29 2c 20 63 all(var(".="), c
4370: 61 6c 6c 28 76 61 72 28 22 7b 7d 22 29 29 2c 20 all(var("{}")),
4380: 73 74 72 6c 28 22 66 6f 6f 22 29 2c 20 69 6e 74 strl("foo"), int
4390: 6c 28 31 29 29 2c 20 73 74 72 6c 28 22 62 61 72 l(1)), strl("bar
43a0: 22 29 2c 20 69 6e 74 6c 28 32 29 29 29 3b 0d 0a "), intl(2)));..
43b0: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
43c0: 53 74 72 69 6e 67 28 60 7b 7d 2e 66 6f 6f 60 29 String(`{}.foo`)
43d0: 2c 20 63 61 6c 6c 28 76 61 72 28 22 2e 22 29 2c , call(var("."),
43e0: 63 61 6c 6c 28 76 61 72 28 22 7b 7d 22 29 29 2c call(var("{}")),
43f0: 73 74 72 6c 28 22 66 6f 6f 22 29 29 29 3b 0d 0a strl("foo")));..
4400: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
4410: 53 74 72 69 6e 67 28 60 7b 7d 2e 3f 66 6f 6f 60 String(`{}.?foo`
4420: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2e 3f 22 ), call(var(".?"
4430: 29 2c 63 61 6c 6c 28 76 61 72 28 22 7b 7d 22 29 ),call(var("{}")
4440: 29 2c 73 74 72 6c 28 22 66 6f 6f 22 29 29 29 3b ),strl("foo")));
4450: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
4460: 73 65 53 74 72 69 6e 67 28 60 78 7b 79 3a 31 7d seString(`x{y:1}
4470: 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2e 3d `), call(var(".=
4480: 22 29 2c 76 61 72 28 22 78 22 29 2c 73 74 72 6c "),var("x"),strl
4490: 28 22 79 22 29 2c 69 6e 74 6c 28 31 29 29 29 3b ("y"),intl(1)));
44a0: 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d ..}....unittest.
44b0: 0a 7b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 .{...assert_noth
44c0: 72 6f 77 28 70 61 72 73 65 53 74 72 69 6e 67 28 row(parseString(
44d0: 60 0d 0a 09 09 63 61 73 65 28 20 31 20 29 0d 0a `....case( 1 )..
44e0: 09 09 09 77 68 65 6e 28 78 29 7b 31 7d 0d 0a 09 ...when(x){1}...
44f0: 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f `));...assert_no
4500: 74 68 72 6f 77 28 70 61 72 73 65 53 74 72 69 6e throw(parseStrin
4510: 67 28 60 0d 0a 09 09 63 61 73 65 28 20 31 20 29 g(`....case( 1 )
4520: 0d 0a 09 09 09 77 68 65 6e 28 7b 61 61 61 61 3a .....when({aaaa:
4530: 5f 7d 29 7b 31 7d 0d 0a 09 60 29 29 3b 0d 0a 09 _}){1}...`));...
4540: 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 70 assert_nothrow(p
4550: 61 72 73 65 53 74 72 69 6e 67 28 60 0d 0a 09 09 arseString(`....
4560: 63 61 73 65 28 20 31 20 29 0d 0a 09 09 09 77 68 case( 1 ).....wh
4570: 65 6e 28 7b 61 61 61 61 3a 40 76 61 6c 75 65 28 en({aaaa:@value(
4580: 78 29 7d 29 7b 31 7d 0d 0a 09 09 09 77 68 65 6e x)}){1}.....when
4590: 28 7b 61 61 61 61 3a 7b 62 62 62 3a 5f 7d 2c 20 ({aaaa:{bbb:_},
45a0: 63 63 63 3a 31 32 33 7d 29 7b 31 7d 0d 0a 09 60 ccc:123}){1}...`
45b0: 29 29 3b 0d 0a 7d ));..}