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 4c 69 66 et(pos, var, Lif
0a00: 74 4c 61 79 65 72 2c 20 65 2c 20 42 6f 64 79 28 tLayer, e, Body(
0a10: 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 ));.....else....
0a20: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 ..return new Let
0a30: 28 70 6f 73 2c 20 76 61 72 2c 20 4c 69 66 74 4c (pos, var, LiftL
0a40: 61 79 65 72 2c 20 65 2c 0d 0a 09 09 09 09 09 6e ayer, e,.......n
0a50: 65 77 20 4c 61 79 28 70 6f 73 2c 20 4c 69 66 74 ew Lay(pos, Lift
0a60: 4c 61 79 65 72 2c 20 6e 65 77 20 56 61 72 28 70 Layer, new Var(p
0a70: 6f 73 2c 20 76 61 72 29 29 0d 0a 09 09 09 09 29 os, var))......)
0a80: 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a ;....}....else..
0a90: 09 09 7b 0d 0a 09 09 09 73 74 72 69 6e 67 20 6b ..{.....string k
0aa0: 77 64 20 3d 20 6c 61 79 65 72 3b 0d 0a 09 09 09 wd = layer;.....
0ab0: 69 66 28 20 6c 61 79 65 72 2e 65 6d 70 74 79 20 if( layer.empty
0ac0: 26 26 20 21 74 72 79 45 61 74 28 6b 77 64 3d 22 && !tryEat(kwd="
0ad0: 6c 65 74 22 29 20 26 26 20 21 74 72 79 45 61 74 let") && !tryEat
0ae0: 28 6b 77 64 3d 22 76 61 72 22 29 20 26 26 20 21 (kwd="var") && !
0af0: 74 72 79 45 61 74 28 6b 77 64 3d 22 64 65 66 22 tryEat(kwd="def"
0b00: 29 20 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 ) )......return
0b10: 6e 75 6c 6c 3b 20 2f 2f 20 6e 6f 6e 65 20 6f 66 null; // none of
0b20: 20 7b 40 6c 61 79 2c 20 6c 65 74 2c 20 76 61 72 {@lay, let, var
0b30: 2c 20 64 65 66 7d 20 6f 63 63 75 72 72 65 64 2c , def} occurred,
0b40: 20 69 74 27 73 20 6e 6f 74 20 61 20 64 65 63 6c it's not a decl
0b50: 61 72 61 74 69 6f 6e 0d 0a 0d 0a 09 09 09 61 75 aration.......au
0b60: 74 6f 20 76 61 72 70 6f 73 20 3d 20 63 75 72 72 to varpos = curr
0b70: 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a entPosition();..
0b80: 09 09 09 73 74 72 69 6e 67 20 76 61 72 20 3d 20 ...string var =
0b90: 65 61 74 49 64 28 22 61 66 74 65 72 20 22 7e 6b eatId("after "~k
0ba0: 77 64 2c 20 41 6c 6c 6f 77 51 75 6f 74 65 64 29 wd, AllowQuoted)
0bb0: 3b 20 2f 2f 20 6e 61 6d 65 20 6f 66 20 74 68 65 ; // name of the
0bc0: 20 64 65 63 6c 61 72 65 64 20 76 61 72 69 61 62 declared variab
0bd0: 6c 65 0d 0a 0d 0a 09 09 09 61 75 74 6f 20 65 20 le.......auto e
0be0: 3d 20 74 72 79 45 61 74 28 22 28 22 29 0d 0a 09 = tryEat("(")...
0bf0: 09 09 09 3f 20 70 61 72 73 65 4c 61 6d 62 64 61 ...? parseLambda
0c00: 41 66 74 65 72 4f 70 65 6e 50 61 72 65 6e 28 70 AfterOpenParen(p
0c10: 6f 73 29 20 20 2f 2f 20 6c 65 74 20 76 61 72 20 os) // let var
0c20: 28 20 2e 2e 2e 0d 0a 09 09 09 09 3a 20 28 65 61 ( .........: (ea
0c30: 74 28 22 3d 22 2c 20 22 61 66 74 65 72 20 22 7e t("=", "after "~
0c40: 6b 77 64 29 2c 20 45 28 30 29 29 3b 20 2f 2f 20 kwd), E(0)); //
0c50: 6c 65 74 20 76 61 72 20 3d 20 2e 2e 2e 0d 0a 09 let var = ......
0c60: 09 09 69 66 28 20 6d 6f 72 65 44 65 63 6c 61 72 ..if( moreDeclar
0c70: 61 74 69 6f 6e 45 78 69 73 74 73 28 29 20 29 0d ationExists() ).
0c80: 0a 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
0c90: 4c 65 74 28 70 6f 73 2c 20 76 61 72 2c 20 6c 61 Let(pos, var, la
0ca0: 79 65 72 2c 20 65 2c 20 42 6f 64 79 28 29 29 3b yer, e, Body());
0cb0: 0d 0a 09 09 09 65 6c 73 65 20 7b 0d 0a 09 09 09 .....else {.....
0cc0: 09 69 66 28 20 6c 61 79 65 72 2e 65 6d 70 74 79 .if( layer.empty
0cd0: 20 29 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 ).......return
0ce0: 6e 65 77 20 4c 65 74 28 70 6f 73 2c 20 76 61 72 new Let(pos, var
0cf0: 2c 20 6c 61 79 65 72 2c 20 65 2c 20 6e 65 77 20 , layer, e, new
0d00: 56 61 72 28 76 61 72 70 6f 73 2c 20 76 61 72 29 Var(varpos, var)
0d10: 29 3b 0d 0a 09 09 09 09 65 6c 73 65 20 69 66 28 );......else if(
0d20: 20 69 73 4d 61 63 72 6f 4c 61 79 65 72 28 6c 61 isMacroLayer(la
0d30: 79 65 72 29 20 29 0d 0a 09 09 09 09 09 72 65 74 yer) ).......ret
0d40: 75 72 6e 20 6e 65 77 20 4c 65 74 28 70 6f 73 2c urn new Let(pos,
0d50: 20 76 61 72 2c 20 6c 61 79 65 72 2c 20 65 2c 20 var, layer, e,
0d60: 6e 65 77 20 53 74 72 28 76 61 72 70 6f 73 2c 20 new Str(varpos,
0d70: 22 28 6d 61 63 72 6f 20 64 65 66 69 6e 69 74 69 "(macro definiti
0d80: 6f 6e 29 22 29 29 3b 0d 0a 09 09 09 09 65 6c 73 on)"));......els
0d90: 65 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 6e e.......return n
0da0: 65 77 20 4c 65 74 28 70 6f 73 2c 20 76 61 72 2c ew Let(pos, var,
0db0: 20 6c 61 79 65 72 2c 20 65 2c 20 6e 65 77 20 4c layer, e, new L
0dc0: 61 79 28 76 61 72 70 6f 73 2c 20 6c 61 79 65 72 ay(varpos, layer
0dd0: 2c 20 6e 65 77 20 56 61 72 28 76 61 72 70 6f 73 , new Var(varpos
0de0: 2c 20 76 61 72 29 29 29 3b 0d 0a 09 09 09 7d 0d , var)));.....}.
0df0: 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 ...}...}.....AST
0e00: 20 54 6f 70 4c 65 76 65 6c 45 78 70 72 65 73 73 TopLevelExpress
0e10: 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 2f ion()...{....///
0e20: 20 54 6f 70 4c 65 76 65 6c 45 78 70 72 65 73 73 TopLevelExpress
0e30: 69 6f 6e 20 3a 3a 3d 20 45 78 70 72 65 73 73 69 ion ::= Expressi
0e40: 6f 6e 20 28 5b 22 3b 22 7c 22 69 6e 22 5d 20 42 on ([";"|"in"] B
0e50: 6f 64 79 3f 29 3f 0d 0a 0d 0a 09 09 61 75 74 6f ody?)?......auto
0e60: 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f pos = currentPo
0e70: 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 61 75 74 sition();....aut
0e80: 6f 20 65 20 3d 20 45 28 30 29 3b 0d 0a 09 09 69 o e = E(0);....i
0e90: 66 28 20 6d 6f 72 65 44 65 63 6c 61 72 61 74 69 f( moreDeclarati
0ea0: 6f 6e 45 78 69 73 74 73 28 29 20 29 0d 0a 09 09 onExists() )....
0eb0: 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 28 .return new Let(
0ec0: 70 6f 73 2c 20 22 5f 22 2c 20 22 22 2c 20 65 2c pos, "_", "", e,
0ed0: 20 42 6f 64 79 28 29 29 3b 0d 0a 09 09 65 6c 73 Body());....els
0ee0: 65 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 3b 0d e.....return e;.
0ef0: 0a 09 7d 0d 0a 0d 0a 09 70 72 69 76 61 74 65 20 ..}.....private
0f00: 62 6f 6f 6c 20 6d 6f 72 65 44 65 63 6c 61 72 61 bool moreDeclara
0f10: 74 69 6f 6e 45 78 69 73 74 73 28 29 0d 0a 09 7b tionExists()...{
0f20: 0d 0a 09 09 72 65 74 75 72 6e 20 28 74 72 79 45 ....return (tryE
0f30: 61 74 28 22 3b 22 29 20 7c 7c 20 74 72 79 45 61 at(";") || tryEa
0f40: 74 28 22 69 6e 22 29 29 20 26 26 20 21 63 6c 6f t("in")) && !clo
0f50: 73 69 6e 67 42 72 61 63 6b 65 74 28 29 3b 0d 0a singBracket();..
0f60: 09 7d 0d 0a 0d 0a 09 70 72 69 76 61 74 65 20 62 .}.....private b
0f70: 6f 6f 6c 20 63 6c 6f 73 69 6e 67 42 72 61 63 6b ool closingBrack
0f80: 65 74 28 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 et()...{....retu
0f90: 72 6e 20 6c 65 78 2e 65 6d 70 74 79 20 7c 7c 20 rn lex.empty ||
0fa0: 21 6c 65 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 !lex.front.quote
0fb0: 64 20 26 26 20 5b 22 7d 22 2c 22 29 22 2c 22 5d d && ["}",")","]
0fc0: 22 2c 22 2c 22 5d 2e 63 61 6e 46 69 6e 64 28 6c ",","].canFind(l
0fd0: 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 3b 0d 0a ex.front.str);..
0fe0: 09 7d 0d 0a 0d 0a 09 2f 2f 20 5b 54 4f 44 4f 5d .}.....// [TODO]
0ff0: 20 6d 61 6b 65 20 74 68 69 73 20 63 75 73 74 6f make this custo
1000: 6d 69 7a 61 62 6c 65 20 66 72 6f 6d 20 70 72 6f mizable from pro
1010: 67 72 61 6d 0d 0a 09 70 72 69 76 61 74 65 20 73 gram...private s
1020: 74 61 74 69 63 20 73 74 72 69 6e 67 5b 5d 5b 5d tatic string[][]
1030: 20 6f 70 65 72 61 74 6f 72 5f 70 65 72 66 65 72 operator_perfer
1040: 65 6e 63 65 73 20 3d 20 5b 0d 0a 09 09 5b 22 7c ences = [....["|
1050: 7c 22 5d 2c 0d 0a 09 09 5b 22 26 26 22 5d 2c 0d |"],....["&&"],.
1060: 0a 09 09 5b 22 21 3d 22 5d 2c 0d 0a 09 09 5b 22 ...["!="],....["
1070: 3d 3d 22 5d 2c 0d 0a 09 09 5b 22 3c 22 2c 22 3c =="],....["<","<
1080: 3d 22 2c 22 3e 22 2c 22 3e 3d 22 5d 2c 0d 0a 09 =",">",">="],...
1090: 09 5b 22 7c 22 5d 2c 0d 0a 09 09 5b 22 5e 22 5d .["|"],....["^"]
10a0: 2c 0d 0a 09 09 5b 22 26 22 5d 2c 0d 0a 09 09 5b ,....["&"],....[
10b0: 22 3c 3c 22 2c 20 22 3e 3e 22 2c 20 22 3c 3c 3c "<<", ">>", "<<<
10c0: 22 2c 20 22 3e 3e 3e 22 5d 2c 0d 0a 09 09 5b 22 ", ">>>"],....["
10d0: 2b 22 2c 22 2d 22 5d 2c 0d 0a 09 09 5b 22 7e 22 +","-"],....["~"
10e0: 5d 2c 0d 0a 09 09 5b 22 2a 22 2c 22 2f 22 2c 22 ],....["*","/","
10f0: 25 22 5d 2c 0d 0a 09 09 5b 22 5e 5e 22 2c 22 2a %"],....["^^","*
1100: 2a 22 5d 2c 0d 0a 09 09 5b 22 2e 22 2c 22 2e 3f *"],....[".",".?
1110: 22 5d 0d 0a 09 5d 3b 0d 0a 0d 0a 09 41 53 54 20 "]...];.....AST
1120: 45 28 73 69 7a 65 5f 74 20 6c 65 76 65 6c 29 0d E(size_t level).
1130: 0a 09 7b 0d 0a 09 09 2f 2f 2f 20 45 78 70 72 65 ..{..../// Expre
1140: 73 73 69 6f 6e 20 3a 3a 3d 20 28 42 69 6e 61 72 ssion ::= (Binar
1150: 79 20 6c 65 66 74 2d 61 73 73 6f 63 69 61 74 69 y left-associati
1160: 76 65 20 6f 70 65 72 61 74 6f 72 73 20 6f 76 65 ve operators ove
1170: 72 29 20 46 75 6e 63 61 6c 6c 0d 0a 0d 0a 09 09 r) Funcall......
1180: 41 53 54 20 72 65 63 28 41 53 54 20 6c 68 73 29 AST rec(AST lhs)
1190: 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 28 20 63 6c ....{.....if( cl
11a0: 6f 73 69 6e 67 42 72 61 63 6b 65 74 28 29 20 29 osingBracket() )
11b0: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 6c 68 73 ......return lhs
11c0: 3b 0d 0a 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 ;.......auto pos
11d0: 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 = currentPositi
11e0: 6f 6e 28 29 3b 0d 0a 09 09 09 66 6f 72 65 61 63 on();.....foreac
11f0: 68 28 6f 70 3b 20 6f 70 65 72 61 74 6f 72 5f 70 h(op; operator_p
1200: 65 72 66 65 72 65 6e 63 65 73 5b 6c 65 76 65 6c erferences[level
1210: 5d 29 0d 0a 09 09 09 09 69 66 28 20 74 72 79 45 ])......if( tryE
1220: 61 74 28 6f 70 29 20 29 0d 0a 09 09 09 09 09 69 at(op) ).......i
1230: 66 28 20 6f 70 5b 30 5d 3d 3d 27 2e 27 20 29 0d f( op[0]=='.' ).
1240: 0a 09 09 09 09 09 09 72 65 74 75 72 6e 20 72 65 .......return re
1250: 63 28 0d 0a 09 09 09 09 09 09 09 6e 65 77 20 41 c(.........new A
1260: 70 70 28 6c 68 73 2e 70 6f 73 2c 20 6e 65 77 20 pp(lhs.pos, new
1270: 56 61 72 28 70 6f 73 2c 20 6f 70 29 2c 20 6c 68 Var(pos, op), lh
1280: 73 2c 20 70 61 72 73 65 49 64 28 29 29 29 3b 0d s, parseId()));.
1290: 0a 09 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 ......else......
12a0: 09 09 72 65 74 75 72 6e 20 72 65 63 28 0d 0a 09 ..return rec(...
12b0: 09 09 09 09 09 09 6e 65 77 20 41 70 70 28 6c 68 ......new App(lh
12c0: 73 2e 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 s.pos, new Var(p
12d0: 6f 73 2c 20 6f 70 29 2c 20 6c 68 73 2c 20 45 28 os, op), lhs, E(
12e0: 6c 65 76 65 6c 2b 31 29 29 29 3b 0d 0a 09 09 09 level+1)));.....
12f0: 72 65 74 75 72 6e 20 6c 68 73 3b 0d 0a 09 09 7d return lhs;....}
1300: 0d 0a 0d 0a 09 09 69 66 28 20 6f 70 65 72 61 74 ......if( operat
1310: 6f 72 5f 70 65 72 66 65 72 65 6e 63 65 73 2e 6c or_perferences.l
1320: 65 6e 67 74 68 20 3c 3d 20 6c 65 76 65 6c 20 29 ength <= level )
1330: 0d 0a 09 09 09 72 65 74 75 72 6e 20 46 75 6e 63 .....return Func
1340: 61 6c 6c 28 29 3b 0d 0a 09 09 65 6c 73 65 0d 0a all();....else..
1350: 09 09 09 72 65 74 75 72 6e 20 72 65 63 28 45 28 ...return rec(E(
1360: 6c 65 76 65 6c 2b 31 29 29 3b 0d 0a 09 7d 0d 0a level+1));...}..
1370: 0d 0a 09 41 53 54 20 46 75 6e 63 61 6c 6c 28 29 ...AST Funcall()
1380: 0d 0a 09 7b 0d 0a 09 09 2f 2f 2f 20 46 75 6e 63 ...{..../// Func
1390: 61 6c 6c 20 3a 3a 3d 20 42 61 73 65 45 78 70 72 all ::= BaseExpr
13a0: 65 73 73 69 6f 6e 20 5b 22 28 22 20 45 78 70 72 ession ["(" Expr
13b0: 65 73 73 69 6f 6e 25 22 2c 22 20 22 29 22 20 7c ession%"," ")" |
13c0: 20 22 7b 22 20 45 4e 54 52 49 45 53 20 22 7d 22 "{" ENTRIES "}"
13d0: 5d 2a 0d 0a 0d 0a 09 09 61 75 74 6f 20 65 20 3d ]*......auto e =
13e0: 20 42 61 73 65 45 78 70 72 65 73 73 69 6f 6e 28 BaseExpression(
13f0: 29 3b 0d 0a 09 09 66 6f 72 28 3b 3b 29 0d 0a 09 );....for(;;)...
1400: 09 09 69 66 28 20 74 72 79 45 61 74 28 22 28 22 ..if( tryEat("("
1410: 29 20 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 61 ) ).....{......a
1420: 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e uto pos = curren
1430: 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 tPosition();....
1440: 09 09 41 53 54 5b 5d 20 61 72 67 73 3b 0d 0a 09 ..AST[] args;...
1450: 09 09 09 77 68 69 6c 65 28 20 21 74 72 79 45 61 ...while( !tryEa
1460: 74 28 22 29 22 29 20 29 20 7b 0d 0a 09 09 09 09 t(")") ) {......
1470: 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 .if( lex.empty )
1480: 0d 0a 09 09 09 09 09 09 74 68 72 6f 77 20 67 65 ........throw ge
1490: 6e 65 78 21 55 6e 65 78 70 65 63 74 65 64 45 4f nex!UnexpectedEO
14a0: 46 28 70 6f 73 2c 20 22 63 6c 6f 73 69 6e 67 20 F(pos, "closing
14b0: 27 29 27 20 66 6f 72 20 61 72 67 75 6d 65 6e 74 ')' for argument
14c0: 73 20 6e 6f 74 20 66 6f 75 6e 64 22 29 3b 0d 0a s not found");..
14d0: 09 09 09 09 09 61 72 67 73 20 7e 3d 20 45 28 30 .....args ~= E(0
14e0: 29 3b 0d 0a 09 09 09 09 09 69 66 28 20 21 74 72 );.......if( !tr
14f0: 79 45 61 74 28 22 2c 22 29 20 29 20 7b 0d 0a 09 yEat(",") ) {...
1500: 09 09 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 .....eat(")", "a
1510: 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 fter function pa
1520: 72 61 6d 65 74 65 72 73 22 29 3b 0d 0a 09 09 09 rameters");.....
1530: 09 09 09 62 72 65 61 6b 3b 0d 0a 09 09 09 09 09 ...break;.......
1540: 7d 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 09 65 20 }......}......e
1550: 3d 20 6e 65 77 20 41 70 70 28 65 2e 70 6f 73 2c = new App(e.pos,
1560: 20 65 2c 20 61 72 67 73 29 3b 0d 0a 09 09 09 7d e, args);.....}
1570: 0d 0a 09 09 09 65 6c 73 65 20 69 66 28 20 74 72 .....else if( tr
1580: 79 45 61 74 28 22 7b 22 29 20 29 0d 0a 09 09 09 yEat("{") ).....
1590: 7b 0d 0a 09 09 09 09 65 20 3d 20 70 61 72 73 65 {......e = parse
15a0: 54 61 62 6c 65 53 65 74 41 66 74 65 72 42 72 61 TableSetAfterBra
15b0: 63 65 28 65 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 ce(e);.....}....
15c0: 09 65 6c 73 65 0d 0a 09 09 09 09 62 72 65 61 6b .else......break
15d0: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 65 3b 0d 0a ;....return e;..
15e0: 09 7d 0d 0a 0d 0a 09 41 53 54 20 70 61 72 73 65 .}.....AST parse
15f0: 54 61 62 6c 65 53 65 74 41 66 74 65 72 42 72 61 TableSetAfterBra
1600: 63 65 28 41 53 54 20 65 29 0d 0a 09 7b 0d 0a 09 ce(AST e)...{...
1610: 09 2f 2f 2f 20 54 61 62 6c 65 53 65 74 20 3a 3a ./// TableSet ::
1620: 3d 20 22 7b 22 20 28 49 44 20 22 3a 22 20 45 29 = "{" (ID ":" E)
1630: 20 25 20 22 2c 22 20 22 7d 22 0d 0a 09 09 0d 0a % "," "}"......
1640: 09 09 69 66 28 20 74 72 79 45 61 74 28 22 7d 22 ..if( tryEat("}"
1650: 29 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 ) ).....return e
1660: 3b 0d 0a 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 ;....auto pos =
1670: 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 currentPosition(
1680: 29 3b 0d 0a 09 09 66 6f 72 28 3b 3b 29 0d 0a 09 );....for(;;)...
1690: 09 7b 0d 0a 09 09 09 73 74 72 69 6e 67 20 6b 65 .{.....string ke
16a0: 79 20 3d 20 65 61 74 49 64 28 22 66 6f 72 20 74 y = eatId("for t
16b0: 61 62 6c 65 20 6b 65 79 22 2c 20 41 6c 6c 6f 77 able key", Allow
16c0: 51 75 6f 74 65 64 29 3b 0d 0a 09 09 09 65 61 74 Quoted);.....eat
16d0: 28 22 3a 22 2c 20 22 61 66 74 65 72 20 74 61 62 (":", "after tab
16e0: 6c 65 20 6b 65 79 22 29 3b 0d 0a 09 09 09 41 53 le key");.....AS
16f0: 54 20 76 61 6c 20 3d 20 45 28 30 29 3b 0d 0a 09 T val = E(0);...
1700: 09 09 65 20 3d 20 6e 65 77 20 41 70 70 28 70 6f ..e = new App(po
1710: 73 2c 20 6e 65 77 20 56 61 72 28 70 6f 73 2c 22 s, new Var(pos,"
1720: 2e 3d 22 29 2c 0d 0a 09 09 09 09 09 65 2c 20 6e .="),.......e, n
1730: 65 77 20 53 74 72 28 70 6f 73 2c 6b 65 79 29 2c ew Str(pos,key),
1740: 20 76 61 6c 29 3b 0d 0a 09 09 09 69 66 28 20 21 val);.....if( !
1750: 74 72 79 45 61 74 28 22 2c 22 29 20 29 0d 0a 09 tryEat(",") )...
1760: 09 09 7b 0d 0a 09 09 09 09 65 61 74 28 22 7d 22 ..{......eat("}"
1770: 2c 20 22 66 6f 72 20 74 68 65 20 65 6e 64 20 6f , "for the end o
1780: 66 20 74 61 62 6c 65 20 6c 69 74 65 72 61 6c 22 f table literal"
1790: 29 3b 0d 0a 09 09 09 09 62 72 65 61 6b 3b 0d 0a );......break;..
17a0: 09 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 ...}....}....ret
17b0: 75 72 6e 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 urn e;...}.....A
17c0: 53 54 20 42 61 73 65 45 78 70 72 65 73 73 69 6f ST BaseExpressio
17d0: 6e 28 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c n()...{....if( l
17e0: 65 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 ex.empty ).....t
17f0: 68 72 6f 77 20 67 65 6e 65 78 21 55 6e 65 78 70 hrow genex!Unexp
1800: 65 63 74 65 64 45 4f 46 28 63 75 72 72 65 6e 74 ectedEOF(current
1810: 50 6f 73 69 74 69 6f 6e 28 29 2c 20 22 52 65 61 Position(), "Rea
1820: 63 68 65 64 20 45 4f 46 20 77 68 65 6e 20 74 72 ched EOF when tr
1830: 69 65 64 20 74 6f 20 70 61 72 73 65 20 61 6e 20 ied to parse an
1840: 65 78 70 72 65 73 73 69 6f 6e 22 29 3b 0d 0a 0d expression");...
1850: 0a 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 ...auto pos = cu
1860: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b rrentPosition();
1870: 0d 0a 09 09 69 66 28 20 6c 65 78 2e 66 72 6f 6e ....if( lex.fron
1880: 74 2e 71 75 6f 74 65 64 20 29 0d 0a 09 09 7b 0d t.quoted )....{.
1890: 0a 09 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 ....scope(exit)
18a0: 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 lex.popFront;...
18b0: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 53 74 72 ..return new Str
18c0: 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f 6e 74 2e (pos, lex.front.
18d0: 73 74 72 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 str);....}....if
18e0: 28 20 69 73 4e 75 6d 62 65 72 28 6c 65 78 2e 66 ( isNumber(lex.f
18f0: 72 6f 6e 74 2e 73 74 72 29 20 29 0d 0a 09 09 7b ront.str) )....{
1900: 0d 0a 09 09 09 73 63 6f 70 65 28 65 78 69 74 29 .....scope(exit)
1910: 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a lex.popFront;..
1920: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 6e ...return new In
1930: 74 28 70 6f 73 2c 20 42 69 67 49 6e 74 28 63 61 t(pos, BigInt(ca
1940: 73 74 28 73 74 72 69 6e 67 29 6c 65 78 2e 66 72 st(string)lex.fr
1950: 6f 6e 74 2e 73 74 72 29 29 3b 0d 0a 09 09 7d 0d ont.str));....}.
1960: 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 22 40 ...if( tryEat("@
1970: 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 ") )....{.....au
1980: 74 6f 20 6c 61 79 20 3d 20 22 40 22 7e 65 61 74 to lay = "@"~eat
1990: 49 64 28 22 66 6f 72 20 6c 61 79 65 72 20 49 44 Id("for layer ID
19a0: 22 29 3b 0d 0a 09 09 09 65 61 74 28 22 28 22 2c ");.....eat("(",
19b0: 20 22 66 6f 72 20 6c 61 79 65 72 65 64 20 65 78 "for layered ex
19c0: 65 63 75 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 61 ecution");.....a
19d0: 75 74 6f 20 65 20 3d 20 42 6f 64 79 28 29 3b 0d uto e = Body();.
19e0: 0a 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 ....eat(")", "af
19f0: 74 65 72 20 22 7e 6c 61 79 7e 22 28 2e 2e 2e 22 ter "~lay~"(..."
1a00: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 );.....return ne
1a10: 77 20 4c 61 79 28 70 6f 73 2c 20 6c 61 79 2c 20 w Lay(pos, lay,
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 28 22 29 20 29 0d 0a 09 tryEat("(") )...
1a40: 09 7b 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d 20 .{.....auto e =
1a50: 42 6f 64 79 28 29 3b 0d 0a 09 09 09 65 61 74 28 Body();.....eat(
1a60: 22 29 22 2c 20 22 61 66 74 65 72 20 70 61 72 65 ")", "after pare
1a70: 6e 74 68 65 73 69 7a 65 64 20 65 78 70 72 65 73 nthesized expres
1a80: 73 69 6f 6e 22 29 3b 0d 0a 09 09 09 72 65 74 75 sion");.....retu
1a90: 72 6e 20 65 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 rn e;....}....if
1aa0: 28 20 74 72 79 45 61 74 28 22 7b 22 29 20 29 0d ( tryEat("{") ).
1ab0: 0a 09 09 7b 0d 0a 09 09 09 41 53 54 20 65 20 3d ...{.....AST e =
1ac0: 20 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 new App(pos, ne
1ad0: 77 20 56 61 72 28 70 6f 73 2c 22 7b 7d 22 29 29 w Var(pos,"{}"))
1ae0: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 70 61 72 ;.....return par
1af0: 73 65 54 61 62 6c 65 53 65 74 41 66 74 65 72 42 seTableSetAfterB
1b00: 72 61 63 65 28 65 29 3b 0d 0a 09 09 7d 0d 0a 09 race(e);....}...
1b10: 09 69 66 28 20 74 72 79 45 61 74 28 22 69 66 22 .if( tryEat("if"
1b20: 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 72 65 74 ) )....{.....ret
1b30: 75 72 6e 20 70 61 72 73 65 49 66 41 66 74 65 72 urn parseIfAfter
1b40: 49 66 28 70 6f 73 29 3b 0d 0a 09 09 7d 0d 0a 09 If(pos);....}...
1b50: 09 69 66 28 20 74 72 79 45 61 74 28 22 63 61 73 .if( tryEat("cas
1b60: 65 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 72 e") )....{.....r
1b70: 65 74 75 72 6e 20 70 61 72 73 65 50 61 74 74 65 eturn parsePatte
1b80: 72 6e 4d 61 74 63 68 28 70 6f 73 29 3b 0d 0a 09 rnMatch(pos);...
1b90: 09 7d 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 .}....if( tryEat
1ba0: 28 22 66 75 6e 22 29 20 7c 7c 20 74 72 79 45 61 ("fun") || tryEa
1bb0: 74 28 22 5c 75 30 33 42 42 22 29 20 29 20 2f 2f t("\u03BB") ) //
1bc0: 20 6c 61 6d 62 64 61 21 21 0d 0a 09 09 7b 0d 0a lambda!!....{..
1bd0: 09 09 09 65 61 74 28 22 28 22 2c 20 22 61 66 74 ...eat("(", "aft
1be0: 65 72 20 66 75 6e 22 29 3b 0d 0a 09 09 09 72 65 er fun");.....re
1bf0: 74 75 72 6e 20 70 61 72 73 65 4c 61 6d 62 64 61 turn parseLambda
1c00: 41 66 74 65 72 4f 70 65 6e 50 61 72 65 6e 28 70 AfterOpenParen(p
1c10: 6f 73 29 3b 0d 0a 09 09 7d 0d 0a 09 09 73 63 6f os);....}....sco
1c20: 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 pe(exit) lex.pop
1c30: 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 72 6e Front;....return
1c40: 20 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 6c 65 new Var(pos, le
1c50: 78 2e 66 72 6f 6e 74 2e 73 74 72 29 3b 0d 0a 09 x.front.str);...
1c60: 7d 0d 0a 0d 0a 09 41 53 54 20 70 61 72 73 65 49 }.....AST parseI
1c70: 66 41 66 74 65 72 49 66 28 4c 65 78 50 6f 73 69 fAfterIf(LexPosi
1c80: 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 7b 0d 0a 09 tion pos)...{...
1c90: 09 61 75 74 6f 20 63 6f 6e 64 20 3d 20 45 28 30 .auto cond = E(0
1ca0: 29 3b 0d 0a 09 09 61 75 74 6f 20 74 68 65 6e 50 );....auto thenP
1cb0: 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 os = currentPosi
1cc0: 74 69 6f 6e 28 29 3b 0d 0a 09 09 69 66 28 21 74 tion();....if(!t
1cd0: 72 79 45 61 74 28 22 3a 22 29 29 20 7b 0d 0a 09 ryEat(":")) {...
1ce0: 09 09 65 61 74 28 22 74 68 65 6e 22 2c 20 22 61 ..eat("then", "a
1cf0: 66 74 65 72 20 69 66 20 63 6f 6e 64 69 74 69 6f fter if conditio
1d00: 6e 22 29 3b 0d 0a 09 09 09 74 72 79 45 61 74 28 n");.....tryEat(
1d10: 22 3a 22 29 3b 0d 0a 09 09 7d 0d 0a 09 09 41 53 ":");....}....AS
1d20: 54 20 74 68 20 3d 20 45 28 30 29 3b 0d 0a 09 09 T th = E(0);....
1d30: 61 75 74 6f 20 65 6c 20 3d 20 64 6f 4e 6f 74 68 auto el = doNoth
1d40: 69 6e 67 45 78 70 72 65 73 73 69 6f 6e 28 29 3b ingExpression();
1d50: 0d 0a 09 09 61 75 74 6f 20 65 6c 73 65 50 6f 73 ....auto elsePos
1d60: 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 = currentPositi
1d70: 6f 6e 28 29 3b 0d 0a 09 09 69 66 28 20 74 72 79 on();....if( try
1d80: 45 61 74 28 22 65 6c 73 65 22 29 20 29 20 7b 0d Eat("else") ) {.
1d90: 0a 09 09 09 74 72 79 45 61 74 28 22 3a 22 29 3b ....tryEat(":");
1da0: 0d 0a 09 09 09 65 6c 20 3d 20 45 28 30 29 3b 0d .....el = E(0);.
1db0: 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 6e ...}....return n
1dc0: 65 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 77 20 ew App(pos, new
1dd0: 56 61 72 28 70 6f 73 2c 22 69 66 22 29 2c 20 63 Var(pos,"if"), c
1de0: 6f 6e 64 2c 20 6e 65 77 20 46 75 6e 28 74 68 65 ond, new Fun(the
1df0: 6e 50 6f 73 2c 5b 5d 2c 74 68 29 2c 20 6e 65 77 nPos,[],th), new
1e00: 20 46 75 6e 28 65 6c 73 65 50 6f 73 2c 5b 5d 2c Fun(elsePos,[],
1e10: 65 6c 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 el));...}.....AS
1e20: 54 20 70 61 72 73 65 50 61 74 74 65 72 6e 4d 61 T parsePatternMa
1e30: 74 63 68 28 4c 65 78 50 6f 73 69 74 69 6f 6e 20 tch(LexPosition
1e40: 70 6f 73 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 20 20 pos)...{....//
1e50: 20 63 61 73 65 20 70 6d 45 78 70 72 20 43 41 53 case pmExpr CAS
1e60: 45 53 0d 0a 09 09 2f 2f 3d 3d 3e 0d 0a 09 09 2f ES....//==>..../
1e70: 2f 20 20 20 6c 65 74 20 70 6d 56 61 72 20 3d 20 / let pmVar =
1e80: 70 6d 45 78 70 72 20 69 6e 20 28 2e 2e 2e 20 6c pmExpr in (... l
1e90: 65 74 20 70 6d 54 72 79 46 69 72 73 74 20 3d 20 et pmTryFirst =
1ea0: 2e 2e 2e 20 69 6e 20 70 6d 54 72 79 46 69 72 73 ... in pmTryFirs
1eb0: 74 28 29 29 0d 0a 09 09 41 53 54 20 20 20 70 6d t())....AST pm
1ec0: 45 78 70 72 20 3d 20 45 28 30 29 3b 0d 0a 09 09 Expr = E(0);....
1ed0: 73 74 72 69 6e 67 20 70 6d 56 61 72 20 3d 20 66 string pmVar = f
1ee0: 72 65 73 68 56 61 72 4e 61 6d 65 28 29 3b 0d 0a reshVarName();..
1ef0: 09 09 73 74 72 69 6e 67 20 70 6d 54 72 79 46 69 ..string pmTryFi
1f00: 72 73 74 20 3d 20 66 72 65 73 68 56 61 72 4e 61 rst = freshVarNa
1f10: 6d 65 28 29 3b 0d 0a 09 09 41 53 54 20 20 20 70 me();....AST p
1f20: 6d 42 6f 64 79 20 3d 20 70 61 72 73 65 50 61 74 mBody = parsePat
1f30: 74 65 72 6e 4d 61 74 63 68 43 61 73 65 73 28 70 ternMatchCases(p
1f40: 6f 73 2c 20 70 6d 56 61 72 2c 20 70 6d 54 72 79 os, pmVar, pmTry
1f50: 46 69 72 73 74 2c 0d 0a 09 09 09 6e 65 77 20 41 First,.....new A
1f60: 70 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 pp(pos, new Var(
1f70: 70 6f 73 2c 20 70 6d 54 72 79 46 69 72 73 74 29 pos, pmTryFirst)
1f80: 29 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 ));....return ne
1f90: 77 20 4c 65 74 28 70 6f 73 2c 20 70 6d 56 61 72 w Let(pos, pmVar
1fa0: 2c 20 5b 5d 2c 20 70 6d 45 78 70 72 2c 20 70 6d , [], pmExpr, pm
1fb0: 42 6f 64 79 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 Body);...}.....A
1fc0: 53 54 20 70 61 72 73 65 50 61 74 74 65 72 6e 4d ST parsePatternM
1fd0: 61 74 63 68 43 61 73 65 73 28 4c 65 78 50 6f 73 atchCases(LexPos
1fe0: 69 74 69 6f 6e 20 63 61 73 65 50 6f 73 2c 20 73 ition casePos, s
1ff0: 74 72 69 6e 67 20 70 6d 56 61 72 2c 20 73 74 72 tring pmVar, str
2000: 69 6e 67 20 74 72 79 54 68 69 73 42 72 61 6e 63 ing tryThisBranc
2010: 68 56 61 72 2c 20 41 53 54 20 74 68 65 6e 44 6f hVar, AST thenDo
2020: 54 68 69 73 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 20 This)...{....//
2030: 20 20 20 77 68 65 6e 20 70 61 74 3a 20 63 42 6f when pat: cBo
2040: 64 79 0d 0a 09 09 2f 2f 3d 3d 3e 0d 0a 09 09 2f dy....//==>..../
2050: 2f 20 20 20 20 2e 2e 2e 20 6c 65 74 20 66 61 69 / ... let fai
2060: 6c 42 72 61 6e 63 68 56 61 72 20 3d 20 2e 2e 2e lBranchVar = ...
2070: 20 69 6e 0d 0a 09 09 2f 2f 20 20 20 20 6c 65 74 in....// let
2080: 20 74 72 79 54 68 69 73 42 72 61 6e 63 68 56 61 tryThisBranchVa
2090: 72 20 3d 20 66 75 6e 28 29 7b 20 69 66 28 74 65 r = fun(){ if(te
20a0: 73 74 29 7b 63 42 6f 64 79 7d 65 6c 73 65 7b 66 st){cBody}else{f
20b0: 61 69 6c 42 72 61 6e 63 68 56 61 72 28 29 7d 20 ailBranchVar()}
20c0: 7d 20 69 6e 20 74 68 65 6e 44 6f 54 68 69 73 0d } in thenDoThis.
20d0: 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 22 77 ...if( tryEat("w
20e0: 68 65 6e 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 hen") )....{....
20f0: 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 .auto pos = curr
2100: 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a entPosition();..
2110: 09 09 09 73 74 72 69 6e 67 20 66 61 69 6c 42 72 ...string failBr
2120: 61 6e 63 68 56 61 72 20 3d 20 66 72 65 73 68 56 anchVar = freshV
2130: 61 72 4e 61 6d 65 28 29 3b 0d 0a 0d 0a 09 09 09 arName();.......
2140: 61 75 74 6f 20 70 72 20 3d 20 70 61 72 73 65 50 auto pr = parseP
2150: 61 74 74 65 72 6e 28 29 3b 0d 0a 09 09 09 65 61 attern();.....ea
2160: 74 28 22 3a 22 2c 20 22 61 66 74 65 72 20 77 68 t(":", "after wh
2170: 65 6e 20 70 61 74 74 65 72 6e 22 29 3b 0d 0a 09 en pattern");...
2180: 09 09 41 53 54 20 63 42 6f 64 79 20 3d 20 45 28 ..AST cBody = E(
2190: 30 29 3b 0d 0a 09 09 09 41 53 54 20 6a 75 64 67 0);.....AST judg
21a0: 65 6d 65 6e 74 20 3d 20 6e 65 77 20 41 70 70 28 ement = new App(
21b0: 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 6f 73 pos, new Var(pos
21c0: 2c 20 22 69 66 22 29 2c 0d 0a 09 09 09 09 70 70 , "if"),......pp
21d0: 54 65 73 74 28 70 6d 56 61 72 2c 20 70 72 29 2c Test(pmVar, pr),
21e0: 20 6e 65 77 20 46 75 6e 28 70 6f 73 2c 5b 5d 2c new Fun(pos,[],
21f0: 70 70 42 69 6e 64 28 70 6d 56 61 72 2c 20 70 72 ppBind(pmVar, pr
2200: 2c 20 63 42 6f 64 79 29 29 2c 0d 0a 09 09 09 09 , cBody)),......
2210: 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 66 61 69 new Var(pos, fai
2220: 6c 42 72 61 6e 63 68 56 61 72 29 29 3b 0d 0a 09 lBranchVar));...
2230: 09 09 72 65 74 75 72 6e 20 70 61 72 73 65 50 61 ..return parsePa
2240: 74 74 65 72 6e 4d 61 74 63 68 43 61 73 65 73 28 tternMatchCases(
2250: 63 61 73 65 50 6f 73 2c 20 70 6d 56 61 72 2c 20 casePos, pmVar,
2260: 66 61 69 6c 42 72 61 6e 63 68 56 61 72 2c 20 0d failBranchVar, .
2270: 0a 09 09 09 09 6e 65 77 20 4c 65 74 28 70 6f 73 .....new Let(pos
2280: 2c 20 74 72 79 54 68 69 73 42 72 61 6e 63 68 56 , tryThisBranchV
2290: 61 72 2c 20 5b 5d 2c 0d 0a 09 09 09 09 09 6e 65 ar, [],.......ne
22a0: 77 20 46 75 6e 28 70 6f 73 2c 5b 5d 2c 6a 75 64 w Fun(pos,[],jud
22b0: 67 65 6d 65 6e 74 29 2c 20 74 68 65 6e 44 6f 54 gement), thenDoT
22c0: 68 69 73 29 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d his).....);....}
22d0: 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 ....else....{...
22e0: 09 09 41 53 54 20 64 6f 4e 6f 74 68 69 6e 67 20 ..AST doNothing
22f0: 3d 20 6e 65 77 20 46 75 6e 28 63 61 73 65 50 6f = new Fun(casePo
2300: 73 2c 5b 5d 2c 0d 0a 09 09 09 09 6e 65 77 20 53 s,[],......new S
2310: 74 72 28 63 61 73 65 50 6f 73 2c 20 73 70 72 69 tr(casePos, spri
2320: 6e 74 66 21 22 28 70 61 74 74 65 72 6e 20 6d 61 ntf!"(pattern ma
2330: 74 63 68 20 66 61 69 6c 75 72 65 3a 25 73 29 22 tch failure:%s)"
2340: 28 63 61 73 65 50 6f 73 29 29 29 3b 0d 0a 09 09 (casePos)));....
2350: 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 28 .return new Let(
2360: 63 61 73 65 50 6f 73 2c 20 74 72 79 54 68 69 73 casePos, tryThis
2370: 42 72 61 6e 63 68 56 61 72 2c 20 5b 5d 2c 20 64 BranchVar, [], d
2380: 6f 4e 6f 74 68 69 6e 67 2c 20 74 68 65 6e 44 6f oNothing, thenDo
2390: 54 68 69 73 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d This);....}...}.
23a0: 0a 0d 0a 2f 2f 20 68 61 67 65 73 68 69 6b 75 20 ...// hageshiku
23b0: 74 65 6e 75 6b 69 0d 0a 09 61 62 73 74 72 61 63 tenuki...abstrac
23c0: 74 20 63 6c 61 73 73 20 53 69 6e 67 6c 65 50 61 t class SinglePa
23d0: 74 74 65 72 6e 0d 0a 09 7b 0d 0a 09 09 73 74 72 ttern...{....str
23e0: 69 6e 67 5b 5d 20 70 61 74 68 3b 0d 0a 09 09 6d ing[] path;....m
23f0: 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 ixin SimpleClass
2400: 3b 0d 0a 09 09 70 72 69 76 61 74 65 20 41 53 54 ;....private AST
2410: 20 61 63 63 65 73 73 28 73 74 72 69 6e 67 20 70 access(string p
2420: 6d 56 61 72 2c 20 73 74 72 69 6e 67 5b 5d 20 70 mVar, string[] p
2430: 61 74 68 29 20 7b 0d 0a 09 09 09 61 75 74 6f 20 ath) {.....auto
2440: 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 pos = currentPos
2450: 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 41 53 54 ition();.....AST
2460: 20 65 20 3d 20 6e 65 77 20 56 61 72 28 70 6f 73 e = new Var(pos
2470: 2c 20 70 6d 56 61 72 29 3b 0d 0a 09 09 09 66 6f , pmVar);.....fo
2480: 72 65 61 63 68 28 70 3b 20 70 61 74 68 29 0d 0a reach(p; path)..
2490: 09 09 09 09 65 20 3d 20 6e 65 77 20 41 70 70 28 ....e = new App(
24a0: 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 6f 73 pos, new Var(pos
24b0: 2c 20 22 2e 22 29 2c 20 65 2c 20 6e 65 77 20 53 , "."), e, new S
24c0: 74 72 28 70 6f 73 2c 20 70 29 29 3b 0d 0a 09 09 tr(pos, p));....
24d0: 09 72 65 74 75 72 6e 20 65 3b 0d 0a 09 09 7d 0d .return e;....}.
24e0: 0a 09 09 70 72 69 76 61 74 65 20 41 53 54 20 68 ...private AST h
24f0: 61 73 28 41 53 54 20 65 2c 20 73 74 72 69 6e 67 as(AST e, string
2500: 20 6b 29 20 7b 0d 0a 09 09 09 61 75 74 6f 20 70 k) {.....auto p
2510: 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 os = currentPosi
2520: 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 72 65 74 75 tion();.....retu
2530: 72 6e 20 6f 70 41 6e 64 41 6e 64 28 0d 0a 09 09 rn opAndAnd(....
2540: 09 09 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 6e ..new App(pos, n
2550: 65 77 20 56 61 72 28 70 6f 73 2c 20 22 5f 69 73 ew Var(pos, "_is
2560: 74 61 62 6c 65 22 29 2c 20 65 29 2c 0d 0a 09 09 table"), e),....
2570: 09 09 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 6e ..new App(pos, n
2580: 65 77 20 56 61 72 28 70 6f 73 2c 20 22 2e 3f 22 ew Var(pos, ".?"
2590: 29 2c 20 65 2c 20 6e 65 77 20 53 74 72 28 70 6f ), e, new Str(po
25a0: 73 2c 20 6b 29 29 0d 0a 09 09 09 29 3b 0d 0a 09 s, k)).....);...
25b0: 09 7d 0d 0a 09 09 70 72 69 76 61 74 65 20 41 53 .}....private AS
25c0: 54 20 6f 70 41 6e 64 41 6e 64 28 41 53 54 20 61 T opAndAnd(AST a
25d0: 2c 20 41 53 54 20 62 29 20 7b 0d 0a 09 09 09 69 , AST b) {.....i
25e0: 66 28 20 61 20 69 73 20 6e 75 6c 6c 20 29 20 72 f( a is null ) r
25f0: 65 74 75 72 6e 20 62 3b 0d 0a 09 09 09 69 66 28 eturn b;.....if(
2600: 20 62 20 69 73 20 6e 75 6c 6c 20 29 20 72 65 74 b is null ) ret
2610: 75 72 6e 20 61 3b 0d 0a 09 09 09 61 75 74 6f 20 urn a;.....auto
2620: 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 pos = currentPos
2630: 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 72 65 74 ition();.....ret
2640: 75 72 6e 20 6e 65 77 20 41 70 70 28 70 6f 73 2c urn new App(pos,
2650: 0d 0a 09 09 09 09 6e 65 77 20 56 61 72 28 70 6f ......new Var(po
2660: 73 2c 20 22 69 66 22 29 2c 0d 0a 09 09 09 09 61 s, "if"),......a
2670: 2c 0d 0a 09 09 09 09 6e 65 77 20 46 75 6e 28 70 ,......new Fun(p
2680: 6f 73 2c 20 5b 5d 2c 20 62 29 2c 0d 0a 09 09 09 os, [], b),.....
2690: 09 6e 65 77 20 46 75 6e 28 70 6f 73 2c 20 5b 5d .new Fun(pos, []
26a0: 2c 20 6e 65 77 20 49 6e 74 28 70 6f 73 2c 20 30 , new Int(pos, 0
26b0: 29 29 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d 0d 0a )).....);....}..
26c0: 09 09 41 53 54 20 70 70 54 65 73 74 28 73 74 72 ..AST ppTest(str
26d0: 69 6e 67 20 70 6d 56 61 72 29 20 7b 0d 0a 09 09 ing pmVar) {....
26e0: 09 41 53 54 20 63 20 3d 20 6e 75 6c 6c 3b 0d 0a .AST c = null;..
26f0: 09 09 09 66 6f 72 28 69 6e 74 20 69 3d 30 3b 20 ...for(int i=0;
2700: 69 3c 70 61 74 68 2e 6c 65 6e 67 74 68 3b 20 2b i<path.length; +
2710: 2b 69 29 0d 0a 09 09 09 09 63 20 3d 20 6f 70 41 +i)......c = opA
2720: 6e 64 41 6e 64 28 63 2c 20 68 61 73 28 61 63 63 ndAnd(c, has(acc
2730: 65 73 73 28 70 6d 56 61 72 2c 70 61 74 68 5b 30 ess(pmVar,path[0
2740: 2e 2e 69 5d 29 2c 20 70 61 74 68 5b 69 5d 29 29 ..i]), path[i]))
2750: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 63 3b 0d ;.....return c;.
2760: 0a 09 09 7d 0d 0a 09 09 41 53 54 20 70 70 42 69 ...}....AST ppBi
2770: 6e 64 28 73 74 72 69 6e 67 20 70 6d 56 61 72 2c nd(string pmVar,
2780: 20 41 53 54 20 74 68 65 6e 44 6f 54 68 69 73 29 AST thenDoThis)
2790: 20 7b 20 72 65 74 75 72 6e 20 74 68 65 6e 44 6f { return thenDo
27a0: 54 68 69 73 3b 20 7d 0d 0a 09 7d 0d 0a 09 63 6c This; }...}...cl
27b0: 61 73 73 20 57 69 6c 64 50 61 74 74 65 72 6e 20 ass WildPattern
27c0: 3a 20 53 69 6e 67 6c 65 50 61 74 74 65 72 6e 0d : SinglePattern.
27d0: 0a 09 7b 0d 0a 09 09 6d 69 78 69 6e 20 53 69 6d ..{....mixin Sim
27e0: 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 7d 0d 0a 09 pleClass;...}...
27f0: 63 6c 61 73 73 20 56 61 72 50 61 74 74 65 72 6e class VarPattern
2800: 20 3a 20 53 69 6e 67 6c 65 50 61 74 74 65 72 6e : SinglePattern
2810: 0d 0a 09 7b 0d 0a 09 09 73 74 72 69 6e 67 20 6e ...{....string n
2820: 61 6d 65 3b 0d 0a 09 09 6d 69 78 69 6e 20 53 69 ame;....mixin Si
2830: 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 09 41 53 mpleClass;....AS
2840: 54 20 70 70 42 69 6e 64 28 73 74 72 69 6e 67 20 T ppBind(string
2850: 70 6d 56 61 72 2c 20 41 53 54 20 74 68 65 6e 44 pmVar, AST thenD
2860: 6f 54 68 69 73 29 20 7b 0d 0a 09 09 09 61 75 74 oThis) {.....aut
2870: 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 o pos = currentP
2880: 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 72 osition();.....r
2890: 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 28 70 6f eturn new Let(po
28a0: 73 2c 20 6e 61 6d 65 2c 20 5b 5d 2c 20 61 63 63 s, name, [], acc
28b0: 65 73 73 28 70 6d 56 61 72 2c 70 61 74 68 29 2c ess(pmVar,path),
28c0: 20 74 68 65 6e 44 6f 54 68 69 73 29 3b 0d 0a 09 thenDoThis);...
28d0: 09 7d 0d 0a 09 7d 0d 0a 09 63 6c 61 73 73 20 43 .}...}...class C
28e0: 6f 6e 73 74 61 6e 74 50 61 74 74 65 72 6e 20 3a onstantPattern :
28f0: 20 53 69 6e 67 6c 65 50 61 74 74 65 72 6e 0d 0a SinglePattern..
2900: 09 7b 0d 0a 09 09 41 53 54 20 65 3b 0d 0a 09 09 .{....AST e;....
2910: 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 mixin SimpleClas
2920: 73 3b 0d 0a 09 09 41 53 54 20 70 70 54 65 73 74 s;....AST ppTest
2930: 28 73 74 72 69 6e 67 20 70 6d 56 61 72 29 20 7b (string pmVar) {
2940: 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 .....auto pos =
2950: 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 currentPosition(
2960: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6f 70 );.....return op
2970: 41 6e 64 41 6e 64 28 20 73 75 70 65 72 2e 70 70 AndAnd( super.pp
2980: 54 65 73 74 28 70 6d 56 61 72 29 2c 0d 0a 09 09 Test(pmVar),....
2990: 09 09 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 6e ..new App(pos, n
29a0: 65 77 20 56 61 72 28 70 6f 73 2c 22 3d 3d 22 29 ew Var(pos,"==")
29b0: 2c 20 61 63 63 65 73 73 28 70 6d 56 61 72 2c 70 , access(pmVar,p
29c0: 61 74 68 29 2c 20 65 29 0d 0a 09 09 09 29 3b 0d ath), e).....);.
29d0: 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 09 53 69 6e ...}...}.....Sin
29e0: 67 6c 65 50 61 74 74 65 72 6e 5b 5d 20 70 61 72 glePattern[] par
29f0: 73 65 50 61 74 74 65 72 6e 28 73 74 72 69 6e 67 sePattern(string
2a00: 5b 5d 20 70 61 74 68 20 3d 20 6e 75 6c 6c 29 0d [] path = null).
2a10: 0a 09 7b 0d 0a 09 09 53 69 6e 67 6c 65 50 61 74 ..{....SinglePat
2a20: 74 65 72 6e 5b 5d 20 72 65 73 75 6c 74 3b 0d 0a tern[] result;..
2a30: 09 09 69 66 28 20 74 72 79 45 61 74 28 22 7b 22 ..if( tryEat("{"
2a40: 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 28 ) )....{.....if(
2a50: 20 21 74 72 79 45 61 74 28 22 7d 22 29 20 29 20 !tryEat("}") )
2a60: 7b 0d 0a 09 09 09 09 64 6f 20 7b 0d 0a 09 09 09 {......do {.....
2a70: 09 09 73 74 72 69 6e 67 20 6b 65 79 20 3d 20 65 ..string key = e
2a80: 61 74 49 64 28 22 69 6e 20 74 61 62 6c 65 20 70 atId("in table p
2a90: 61 74 74 65 72 6e 22 2c 20 41 6c 6c 6f 77 51 75 attern", AllowQu
2aa0: 6f 74 65 64 29 3b 0d 0a 09 09 09 09 09 65 61 74 oted);.......eat
2ab0: 28 22 3a 22 2c 20 22 61 66 74 65 72 20 66 69 65 (":", "after fie
2ac0: 6c 64 2d 69 64 20 69 6e 20 74 61 62 6c 65 20 70 ld-id in table p
2ad0: 61 74 74 65 72 6e 22 29 3b 0d 0a 09 09 09 09 09 attern");.......
2ae0: 72 65 73 75 6c 74 20 7e 3d 20 70 61 72 73 65 50 result ~= parseP
2af0: 61 74 74 65 72 6e 28 70 61 74 68 20 7e 20 6b 65 attern(path ~ ke
2b00: 79 29 3b 0d 0a 09 09 09 09 7d 20 77 68 69 6c 65 y);......} while
2b10: 28 20 74 72 79 45 61 74 28 22 2c 22 29 20 29 3b ( tryEat(",") );
2b20: 0d 0a 09 09 09 09 65 61 74 28 22 7d 22 2c 20 22 ......eat("}", "
2b30: 61 74 20 74 68 65 20 65 6e 64 20 6f 66 20 74 61 at the end of ta
2b40: 62 6c 65 20 70 61 74 74 65 72 6e 22 29 3b 0d 0a ble pattern");..
2b50: 09 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 ...}....}....els
2b60: 65 0d 0a 09 09 7b 0d 0a 09 09 09 41 53 54 20 65 e....{.....AST e
2b70: 20 3d 20 45 28 30 29 3b 0d 0a 09 09 09 69 66 28 = E(0);.....if(
2b80: 61 75 74 6f 20 65 76 20 3d 20 63 61 73 74 28 56 auto ev = cast(V
2b90: 61 72 29 65 29 0d 0a 09 09 09 09 69 66 28 65 76 ar)e)......if(ev
2ba0: 2e 6e 61 6d 65 20 3d 3d 20 22 5f 22 29 0d 0a 09 .name == "_")...
2bb0: 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 6e 65 ....result ~= ne
2bc0: 77 20 57 69 6c 64 50 61 74 74 65 72 6e 28 70 61 w WildPattern(pa
2bd0: 74 68 29 3b 0d 0a 09 09 09 09 65 6c 73 65 0d 0a th);......else..
2be0: 09 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 6e .....result ~= n
2bf0: 65 77 20 56 61 72 50 61 74 74 65 72 6e 28 70 61 ew VarPattern(pa
2c00: 74 68 2c 20 65 76 2e 6e 61 6d 65 29 3b 0d 0a 09 th, ev.name);...
2c10: 09 09 65 6c 73 65 0d 0a 09 09 09 09 72 65 73 75 ..else......resu
2c20: 6c 74 20 7e 3d 20 6e 65 77 20 43 6f 6e 73 74 61 lt ~= new Consta
2c30: 6e 74 50 61 74 74 65 72 6e 28 70 61 74 68 2c 20 ntPattern(path,
2c40: 65 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 e);....}....retu
2c50: 72 6e 20 72 65 73 75 6c 74 3b 0d 0a 09 7d 0d 0a rn result;...}..
2c60: 0d 0a 09 41 53 54 20 70 70 54 65 73 74 28 73 74 ...AST ppTest(st
2c70: 72 69 6e 67 20 70 6d 56 61 72 2c 20 53 69 6e 67 ring pmVar, Sing
2c80: 6c 65 50 61 74 74 65 72 6e 5b 5d 20 70 61 74 73 lePattern[] pats
2c90: 29 0d 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 70 6f )...{....auto po
2ca0: 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 s = currentPosit
2cb0: 69 6f 6e 28 29 3b 0d 0a 09 09 41 53 54 20 63 6f ion();....AST co
2cc0: 6e 64 20 3d 20 6e 75 6c 6c 3b 0d 0a 09 09 66 6f nd = null;....fo
2cd0: 72 65 61 63 68 28 70 3b 20 70 61 74 73 29 20 7b reach(p; pats) {
2ce0: 0d 0a 09 09 09 41 53 54 20 63 32 20 3d 20 70 2e .....AST c2 = p.
2cf0: 70 70 54 65 73 74 28 70 6d 56 61 72 29 3b 0d 0a ppTest(pmVar);..
2d00: 09 09 09 69 66 28 20 63 32 20 21 69 73 20 6e 75 ...if( c2 !is nu
2d10: 6c 6c 20 29 0d 0a 09 09 09 09 63 6f 6e 64 20 3d ll )......cond =
2d20: 20 63 6f 6e 64 20 69 73 20 6e 75 6c 6c 20 3f 20 cond is null ?
2d30: 63 32 0d 0a 09 09 09 09 20 20 20 20 3a 20 6e 65 c2...... : ne
2d40: 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 77 20 56 w App(pos, new V
2d50: 61 72 28 70 6f 73 2c 22 26 26 22 29 2c 20 63 6f ar(pos,"&&"), co
2d60: 6e 64 2c 20 63 32 29 3b 0d 0a 09 09 7d 0d 0a 09 nd, c2);....}...
2d70: 09 72 65 74 75 72 6e 20 63 6f 6e 64 20 69 73 20 .return cond is
2d80: 6e 75 6c 6c 20 3f 20 6e 65 77 20 49 6e 74 28 63 null ? new Int(c
2d90: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 urrentPosition()
2da0: 2c 20 31 29 20 3a 20 63 6f 6e 64 3b 0d 0a 09 7d , 1) : cond;...}
2db0: 0d 0a 0d 0a 09 41 53 54 20 70 70 42 69 6e 64 28 .....AST ppBind(
2dc0: 73 74 72 69 6e 67 20 70 6d 56 61 72 2c 20 53 69 string pmVar, Si
2dd0: 6e 67 6c 65 50 61 74 74 65 72 6e 5b 5d 20 70 61 nglePattern[] pa
2de0: 74 73 2c 20 41 53 54 20 74 68 65 6e 44 6f 54 68 ts, AST thenDoTh
2df0: 69 73 29 0d 0a 09 7b 0d 0a 09 09 66 6f 72 65 61 is)...{....forea
2e00: 63 68 28 70 3b 20 70 61 74 73 29 0d 0a 09 09 09 ch(p; pats).....
2e10: 74 68 65 6e 44 6f 54 68 69 73 20 3d 20 70 2e 70 thenDoThis = p.p
2e20: 70 42 69 6e 64 28 70 6d 56 61 72 2c 20 74 68 65 pBind(pmVar, the
2e30: 6e 44 6f 54 68 69 73 29 3b 0d 0a 09 09 72 65 74 nDoThis);....ret
2e40: 75 72 6e 20 74 68 65 6e 44 6f 54 68 69 73 3b 0d urn thenDoThis;.
2e50: 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 70 61 72 73 ..}.....AST pars
2e60: 65 49 64 28 29 0d 0a 09 7b 0d 0a 09 09 73 63 6f eId()...{....sco
2e70: 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 pe(exit) lex.pop
2e80: 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 72 6e Front;....return
2e90: 20 6e 65 77 20 53 74 72 28 63 75 72 72 65 6e 74 new Str(current
2ea0: 50 6f 73 69 74 69 6f 6e 28 29 2c 20 6c 65 78 2e Position(), lex.
2eb0: 66 72 6f 6e 74 2e 73 74 72 29 3b 0d 0a 09 7d 0d front.str);...}.
2ec0: 0a 0d 0a 09 41 53 54 20 70 61 72 73 65 4c 61 6d ....AST parseLam
2ed0: 62 64 61 41 66 74 65 72 4f 70 65 6e 50 61 72 65 bdaAfterOpenPare
2ee0: 6e 28 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f n(LexPosition po
2ef0: 73 29 0d 0a 09 7b 0d 0a 09 09 50 61 72 61 6d 65 s)...{....Parame
2f00: 74 65 72 5b 5d 20 70 61 72 61 6d 73 3b 0d 0a 09 ter[] params;...
2f10: 09 77 68 69 6c 65 28 20 21 74 72 79 45 61 74 28 .while( !tryEat(
2f20: 22 29 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 ")") )....{.....
2f30: 70 61 72 61 6d 73 20 7e 3d 20 70 61 72 73 65 50 params ~= parseP
2f40: 61 72 61 6d 28 29 3b 0d 0a 09 09 09 69 66 28 20 aram();.....if(
2f50: 21 74 72 79 45 61 74 28 22 2c 22 29 20 29 20 7b !tryEat(",") ) {
2f60: 0d 0a 09 09 09 09 65 61 74 28 22 29 22 2c 20 22 ......eat(")", "
2f70: 61 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 after function p
2f80: 61 72 61 6d 65 74 65 72 73 22 29 3b 0d 0a 09 09 arameters");....
2f90: 09 09 62 72 65 61 6b 3b 0d 0a 09 09 09 7d 0d 0a ..break;.....}..
2fa0: 09 09 7d 0d 0a 09 09 65 61 74 28 22 7b 22 2c 20 ..}....eat("{",
2fb0: 22 61 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 "after function
2fc0: 70 61 72 61 6d 65 74 65 72 73 22 29 3b 0d 0a 09 parameters");...
2fd0: 09 61 75 74 6f 20 66 75 6e 62 6f 64 79 20 3d 20 .auto funbody =
2fe0: 42 6f 64 79 28 29 3b 0d 0a 09 09 65 61 74 28 22 Body();....eat("
2ff0: 7d 22 2c 20 22 61 66 74 65 72 20 66 75 6e 63 74 }", "after funct
3000: 69 6f 6e 20 62 6f 64 79 22 29 3b 0d 0a 09 09 72 ion body");....r
3010: 65 74 75 72 6e 20 6e 65 77 20 46 75 6e 28 70 6f eturn new Fun(po
3020: 73 2c 20 70 61 72 61 6d 73 2c 20 66 75 6e 62 6f s, params, funbo
3030: 64 79 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 50 61 72 dy);...}.....Par
3040: 61 6d 65 74 65 72 20 70 61 72 73 65 50 61 72 61 ameter parsePara
3050: 6d 28 29 0d 0a 09 7b 0d 0a 09 09 73 74 72 69 6e m()...{....strin
3060: 67 20 76 61 72 3b 0d 0a 09 09 73 74 72 69 6e 67 g var;....string
3070: 5b 5d 20 6c 61 79 3b 0d 0a 09 09 77 68 69 6c 65 [] lay;....while
3080: 28 20 21 63 6c 6f 73 69 6e 67 42 72 61 63 6b 65 ( !closingBracke
3090: 74 28 29 20 26 26 20 21 6c 65 78 2e 65 6d 70 74 t() && !lex.empt
30a0: 79 20 26 26 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 y && lex.front.s
30b0: 74 72 21 3d 22 2c 22 20 29 0d 0a 09 09 7b 0d 0a tr!="," )....{..
30c0: 09 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 ...auto pos = cu
30d0: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b rrentPosition();
30e0: 0d 0a 09 09 09 73 74 72 69 6e 67 20 70 20 3d 20 .....string p =
30f0: 65 61 74 49 64 28 22 66 6f 72 20 66 75 6e 63 74 eatId("for funct
3100: 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 22 2c 20 ion parameter",
3110: 41 6c 6c 6f 77 51 75 6f 74 65 64 29 3b 0d 0a 09 AllowQuoted);...
3120: 09 09 69 66 28 20 70 20 3d 3d 20 22 40 22 20 29 ..if( p == "@" )
3130: 0d 0a 09 09 09 09 6c 61 79 20 7e 3d 20 22 40 22 ......lay ~= "@"
3140: 20 7e 20 65 61 74 49 64 28 22 61 66 74 65 72 20 ~ eatId("after
3150: 40 22 2c 20 41 6c 6c 6f 77 51 75 6f 74 65 64 29 @", AllowQuoted)
3160: 3b 0d 0a 09 09 09 65 6c 73 65 20 69 66 28 20 76 ;.....else if( v
3170: 61 72 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 09 ar.empty )......
3180: 76 61 72 20 3d 20 70 3b 0d 0a 09 09 09 65 6c 73 var = p;.....els
3190: 65 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e e......throw gen
31a0: 65 78 21 50 61 72 73 65 45 78 63 65 70 74 69 6f ex!ParseExceptio
31b0: 6e 28 70 6f 73 2c 20 22 6f 6e 65 20 70 61 72 61 n(pos, "one para
31c0: 6d 65 74 65 72 20 68 61 73 20 74 77 6f 20 6e 61 meter has two na
31d0: 6d 65 73 22 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 mes");....}....r
31e0: 65 74 75 72 6e 20 6e 65 77 20 50 61 72 61 6d 65 eturn new Parame
31f0: 74 65 72 28 76 61 72 2c 20 6c 61 79 29 3b 0d 0a ter(var, lay);..
3200: 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a 0d 0a .}....private:..
3210: 09 4c 65 78 65 72 20 6c 65 78 3b 0d 0a 09 74 68 .Lexer lex;...th
3220: 69 73 28 4c 65 78 65 72 20 6c 65 78 29 20 7b 20 is(Lexer lex) {
3230: 74 68 69 73 2e 6c 65 78 20 3d 20 6c 65 78 3b 20 this.lex = lex;
3240: 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 69 73 4e 75 6d }.....bool isNum
3250: 62 65 72 28 73 74 72 69 6e 67 20 73 29 0d 0a 09 ber(string s)...
3260: 7b 0d 0a 09 09 72 65 74 75 72 6e 20 66 69 6e 64 {....return find
3270: 21 28 60 61 3c 27 30 27 20 7c 7c 20 27 39 27 3c !(`a<'0' || '9'<
3280: 61 60 29 28 73 29 2e 65 6d 70 74 79 3b 0d 0a 09 a`)(s).empty;...
3290: 7d 0d 0a 09 0d 0a 09 76 6f 69 64 20 65 61 74 28 }......void eat(
32a0: 73 74 72 69 6e 67 20 6b 77 64 2c 20 6c 61 7a 79 string kwd, lazy
32b0: 20 73 74 72 69 6e 67 20 6d 73 67 29 0d 0a 09 7b string msg)...{
32c0: 0d 0a 09 09 69 66 28 20 21 74 72 79 45 61 74 28 ....if( !tryEat(
32d0: 6b 77 64 29 20 29 0d 0a 09 09 09 69 66 28 20 6c kwd) ).....if( l
32e0: 65 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 09 ex.empty )......
32f0: 74 68 72 6f 77 20 67 65 6e 65 78 21 55 6e 65 78 throw genex!Unex
3300: 70 65 63 74 65 64 45 4f 46 28 0d 0a 09 09 09 09 pectedEOF(......
3310: 09 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e .currentPosition
3320: 28 29 2c 20 73 70 72 69 6e 74 66 21 22 25 73 20 (), sprintf!"%s
3330: 69 73 20 65 78 70 65 63 74 65 64 20 25 73 20 62 is expected %s b
3340: 75 74 20 6e 6f 74 20 66 6f 75 6e 64 22 28 6b 77 ut not found"(kw
3350: 64 2c 6d 73 67 29 29 3b 0d 0a 09 09 09 65 6c 73 d,msg));.....els
3360: 65 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e e......throw gen
3370: 65 78 21 50 61 72 73 65 45 78 63 65 70 74 69 6f ex!ParseExceptio
3380: 6e 28 0d 0a 09 09 09 09 09 63 75 72 72 65 6e 74 n(.......current
3390: 50 6f 73 69 74 69 6f 6e 28 29 2c 20 73 70 72 69 Position(), spri
33a0: 6e 74 66 21 22 25 73 20 69 73 20 65 78 70 65 63 ntf!"%s is expec
33b0: 74 65 64 20 66 6f 72 20 25 73 20 62 75 74 20 6e ted for %s but n
33c0: 6f 74 20 66 6f 75 6e 64 22 28 6b 77 64 2c 6d 73 ot found"(kwd,ms
33d0: 67 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 62 6f 6f g));...}.....boo
33e0: 6c 20 74 72 79 45 61 74 28 73 74 72 69 6e 67 20 l tryEat(string
33f0: 6b 77 64 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 kwd)...{....if(
3400: 6c 65 78 2e 65 6d 70 74 79 20 7c 7c 20 6c 65 78 lex.empty || lex
3410: 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 7c 7c .front.quoted ||
3420: 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d lex.front.str!=
3430: 6b 77 64 20 29 0d 0a 09 09 09 72 65 74 75 72 6e kwd ).....return
3440: 20 66 61 6c 73 65 3b 0d 0a 09 09 6c 65 78 2e 70 false;....lex.p
3450: 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 opFront;....retu
3460: 72 6e 20 74 72 75 65 3b 0d 0a 09 7d 0d 0a 0d 0a rn true;...}....
3470: 09 65 6e 75 6d 20 7b 41 6c 6c 6f 77 51 75 6f 74 .enum {AllowQuot
3480: 65 64 3d 74 72 75 65 2c 20 44 69 73 61 6c 6c 6f ed=true, Disallo
3490: 77 51 75 6f 74 65 64 3d 66 61 6c 73 65 7d 3b 0d wQuoted=false};.
34a0: 0a 09 73 74 72 69 6e 67 20 65 61 74 49 64 28 6c ..string eatId(l
34b0: 61 7a 79 20 73 74 72 69 6e 67 20 6d 73 67 2c 20 azy string msg,
34c0: 62 6f 6f 6c 20 61 71 3d 44 69 73 61 6c 6c 6f 77 bool aq=Disallow
34d0: 51 75 6f 74 65 64 29 0d 0a 09 7b 0d 0a 09 09 69 Quoted)...{....i
34e0: 66 28 20 6c 65 78 2e 65 6d 70 74 79 20 29 0d 0a f( lex.empty )..
34f0: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 55 ...throw genex!U
3500: 6e 65 78 70 65 63 74 65 64 45 4f 46 28 63 75 72 nexpectedEOF(cur
3510: 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 rentPosition(),
3520: 22 69 64 65 6e 74 69 66 69 65 72 20 69 73 20 65 "identifier is e
3530: 78 70 65 63 74 65 64 20 62 75 74 20 6e 6f 74 20 xpected but not
3540: 66 6f 75 6e 64 20 22 7e 6d 73 67 29 3b 0d 0a 09 found "~msg);...
3550: 09 69 66 28 20 21 61 71 20 26 26 20 6c 65 78 2e .if( !aq && lex.
3560: 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 29 0d 0a front.quoted )..
3570: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 50 ...throw genex!P
3580: 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 63 75 arseException(cu
3590: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c rrentPosition(),
35a0: 20 22 69 64 65 6e 74 69 66 69 65 72 20 69 73 20 "identifier is
35b0: 65 78 70 65 63 74 65 64 20 62 75 74 20 6e 6f 74 expected but not
35c0: 20 66 6f 75 6e 64 20 22 7e 6d 73 67 29 3b 0d 0a found "~msg);..
35d0: 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 ..scope(exit) le
35e0: 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 x.popFront;....r
35f0: 65 74 75 72 6e 20 6c 65 78 2e 66 72 6f 6e 74 2e eturn lex.front.
3600: 73 74 72 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 str;...}.....AST
3610: 20 64 6f 4e 6f 74 68 69 6e 67 45 78 70 72 65 73 doNothingExpres
3620: 73 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 72 65 sion()...{....re
3630: 74 75 72 6e 20 6e 65 77 20 53 74 72 28 63 75 72 turn new Str(cur
3640: 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 rentPosition(),
3650: 22 28 65 6d 70 74 79 20 66 75 6e 63 74 69 6f 6e "(empty function
3660: 20 62 6f 64 79 29 22 29 3b 0d 0a 09 7d 0d 0a 0d body)");...}...
3670: 0a 09 4c 65 78 50 6f 73 69 74 69 6f 6e 20 63 75 ..LexPosition cu
3680: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 0d rrentPosition().
3690: 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6c 65 ..{....return le
36a0: 78 2e 65 6d 70 74 79 20 3f 20 6e 65 77 20 4c 65 x.empty ? new Le
36b0: 78 50 6f 73 69 74 69 6f 6e 28 22 45 4f 46 22 2c xPosition("EOF",
36c0: 30 2c 30 29 20 3a 20 6c 65 78 2e 66 72 6f 6e 74 0,0) : lex.front
36d0: 2e 70 6f 73 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a .pos;...}..}....
36e0: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 6d 69 unittest..{...mi
36f0: 78 69 6e 20 45 61 73 79 41 53 54 3b 0d 0a 0d 0a xin EasyAST;....
3700: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
3710: 53 74 72 69 6e 67 28 60 31 32 33 60 29 2c 20 69 String(`123`), i
3720: 6e 74 6c 28 31 32 33 29 29 3b 0d 0a 09 61 73 73 ntl(123));...ass
3730: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
3740: 6e 67 28 60 22 66 6f 6f 22 60 29 2c 20 73 74 72 ng(`"foo"`), str
3750: 6c 28 22 66 6f 6f 22 29 29 3b 0d 0a 09 61 73 73 l("foo"));...ass
3760: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
3770: 6e 67 28 60 66 75 6e 28 29 7b 31 7d 60 29 2c 20 ng(`fun(){1}`),
3780: 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 31 29 29 29 fun([],intl(1)))
3790: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
37a0: 72 73 65 53 74 72 69 6e 67 28 60 66 75 6e 28 78 rseString(`fun(x
37b0: 29 7b 31 7d 60 29 2c 20 66 75 6e 28 5b 22 78 22 ){1}`), fun(["x"
37c0: 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 61 ],intl(1)));...a
37d0: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
37e0: 72 69 6e 67 28 22 5c 75 30 33 42 42 28 29 7b 31 ring("\u03BB(){1
37f0: 7d 22 29 2c 20 66 75 6e 28 5b 5d 2c 69 6e 74 6c }"), fun([],intl
3800: 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f (1)));...assert_
3810: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 22 eq(parseString("
3820: 5c 75 30 33 42 42 28 78 2c 79 29 7b 31 7d 22 29 \u03BB(x,y){1}")
3830: 2c 20 66 75 6e 28 5b 22 78 22 2c 22 79 22 5d 2c , fun(["x","y"],
3840: 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 intl(1)));...ass
3850: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
3860: 6e 67 28 60 31 3b 32 60 29 2c 20 6c 65 74 28 22 ng(`1;2`), let("
3870: 5f 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 69 6e _","",intl(1),in
3880: 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(2)));...asser
3890: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
38a0: 28 60 31 3b 32 3b 60 29 2c 20 6c 65 74 28 22 5f (`1;2;`), let("_
38b0: 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 ","",intl(1),int
38c0: 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 l(2)));...assert
38d0: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
38e0: 60 6c 65 74 20 78 3d 31 20 69 6e 20 32 60 29 2c `let x=1 in 2`),
38f0: 20 6c 65 74 28 22 78 22 2c 22 22 2c 69 6e 74 6c let("x","",intl
3900: 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a (1),intl(2)));..
3910: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
3920: 53 74 72 69 6e 67 28 60 76 61 72 20 78 3d 31 3b String(`var x=1;
3930: 32 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 22 2;`), let("x",""
3940: 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 ,intl(1),intl(2)
3950: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
3960: 70 61 72 73 65 53 74 72 69 6e 67 28 60 64 65 66 parseString(`def
3970: 20 78 3d 31 60 29 2c 20 6c 65 74 28 22 78 22 2c x=1`), let("x",
3980: 22 22 2c 69 6e 74 6c 28 31 29 2c 76 61 72 28 22 "",intl(1),var("
3990: 78 22 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f x")));...assert_
39a0: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
39b0: 40 76 61 6c 20 78 3d 31 3b 60 29 2c 20 6c 65 74 @val x=1;`), let
39c0: 28 22 78 22 2c 22 40 76 61 6c 22 2c 69 6e 74 6c ("x","@val",intl
39d0: 28 31 29 2c 6c 61 79 28 22 40 76 61 6c 22 2c 76 (1),lay("@val",v
39e0: 61 72 28 22 78 22 29 29 29 29 3b 0d 0a 09 61 73 ar("x"))));...as
39f0: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
3a00: 69 6e 67 28 60 40 74 79 70 20 78 3d 22 23 69 6e ing(`@typ x="#in
3a10: 74 22 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 t";`), let("x","
3a20: 40 74 79 70 22 2c 73 74 72 6c 28 22 23 69 6e 74 @typ",strl("#int
3a30: 22 29 2c 6c 61 79 28 22 40 74 79 70 22 2c 76 61 "),lay("@typ",va
3a40: 72 28 22 78 22 29 29 29 29 3b 0d 0a 09 61 73 73 r("x"))));...ass
3a50: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
3a60: 6e 67 28 60 40 6d 61 63 72 6f 20 78 3d 31 60 29 ng(`@macro x=1`)
3a70: 2c 20 6c 65 74 28 22 78 22 2c 22 40 6d 61 63 72 , let("x","@macr
3a80: 6f 22 2c 69 6e 74 6c 28 31 29 2c 73 74 72 6c 28 o",intl(1),strl(
3a90: 22 28 6d 61 63 72 6f 20 64 65 66 69 6e 69 74 69 "(macro definiti
3aa0: 6f 6e 29 22 29 29 29 3b 0d 0a 09 61 73 73 65 72 on)")));...asser
3ab0: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
3ac0: 28 60 66 28 31 2c 32 29 60 29 2c 20 63 61 6c 6c (`f(1,2)`), call
3ad0: 28 76 61 72 28 22 66 22 29 2c 69 6e 74 6c 28 31 (var("f"),intl(1
3ae0: 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 ),intl(2)));...a
3af0: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
3b00: 72 69 6e 67 28 60 69 66 20 31 20 74 68 65 6e 20 ring(`if 1 then
3b10: 32 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 69 2`), call(var("i
3b20: 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e 28 f"),intl(1),fun(
3b30: 5b 5d 2c 69 6e 74 6c 28 32 29 29 2c 66 75 6e 28 [],intl(2)),fun(
3b40: 5b 5d 2c 73 74 72 6c 28 22 28 65 6d 70 74 79 20 [],strl("(empty
3b50: 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 29 22 29 function body)")
3b60: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
3b70: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 (parseString(`if
3b80: 20 31 20 74 68 65 6e 3a 20 32 20 65 6c 73 65 28 1 then: 2 else(
3b90: 33 29 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 3)`), call(var("
3ba0: 69 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e if"),intl(1),fun
3bb0: 28 5b 5d 2c 69 6e 74 6c 28 32 29 29 2c 66 75 6e ([],intl(2)),fun
3bc0: 28 5b 5d 2c 69 6e 74 6c 28 33 29 29 29 29 3b 0d ([],intl(3))));.
3bd0: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
3be0: 65 53 74 72 69 6e 67 28 60 28 69 66 20 31 20 74 eString(`(if 1 t
3bf0: 68 65 6e 20 28 29 20 65 6c 73 65 20 33 29 28 29 hen () else 3)()
3c00: 28 29 60 29 2c 0d 0a 09 09 63 61 6c 6c 28 63 61 ()`),....call(ca
3c10: 6c 6c 28 63 61 6c 6c 28 76 61 72 28 22 69 66 22 ll(call(var("if"
3c20: 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d ),intl(1),fun([]
3c30: 2c 73 74 72 6c 28 22 28 65 6d 70 74 79 20 66 75 ,strl("(empty fu
3c40: 6e 63 74 69 6f 6e 20 62 6f 64 79 29 22 29 29 2c nction body)")),
3c50: 66 75 6e 28 5b 5d 2c 69 6e 74 6c 28 33 29 29 29 fun([],intl(3)))
3c60: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
3c70: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2b (parseString(`1+
3c80: 32 2a 33 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 2*3`), call(var(
3c90: 22 2b 22 29 2c 69 6e 74 6c 28 31 29 2c 63 61 6c "+"),intl(1),cal
3ca0: 6c 28 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c 28 l(var("*"),intl(
3cb0: 32 29 2c 69 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 2),intl(3))));..
3cc0: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
3cd0: 53 74 72 69 6e 67 28 60 28 31 2b 32 29 2a 33 60 String(`(1+2)*3`
3ce0: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 ), call(var("*")
3cf0: 2c 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 ,call(var("+"),i
3d00: 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 2c ntl(1),intl(2)),
3d10: 69 6e 74 6c 28 33 29 29 29 3b 0d 0a 09 61 73 73 intl(3)));...ass
3d20: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
3d30: 6e 67 28 60 31 2a 28 32 2b 33 29 60 29 2c 20 63 ng(`1*(2+3)`), c
3d40: 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c 69 6e 74 all(var("*"),int
3d50: 6c 28 31 29 2c 63 61 6c 6c 28 76 61 72 28 22 2b l(1),call(var("+
3d60: 22 29 2c 69 6e 74 6c 28 32 29 2c 69 6e 74 6c 28 "),intl(2),intl(
3d70: 33 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 3))));...assert_
3d80: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
3d90: 31 2a 32 2b 33 60 29 2c 20 63 61 6c 6c 28 76 61 1*2+3`), call(va
3da0: 72 28 22 2b 22 29 2c 63 61 6c 6c 28 76 61 72 28 r("+"),call(var(
3db0: 22 2a 22 29 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 "*"),intl(1),int
3dc0: 6c 28 32 29 29 2c 69 6e 74 6c 28 33 29 29 29 3b l(2)),intl(3)));
3dd0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
3de0: 73 65 53 74 72 69 6e 67 28 60 40 78 28 31 29 60 seString(`@x(1)`
3df0: 29 2c 20 6c 61 79 28 22 40 78 22 2c 20 69 6e 74 ), lay("@x", int
3e00: 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 l(1)));...assert
3e10: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
3e20: 60 66 75 6e 28 78 20 40 76 20 40 74 2c 20 79 2c `fun(x @v @t, y,
3e30: 20 7a 20 40 74 29 7b 7d 60 29 2c 0d 0a 09 09 66 z @t){}`),....f
3e40: 75 6e 70 28 5b 70 61 72 61 6d 28 22 78 22 2c 5b unp([param("x",[
3e50: 22 40 76 22 2c 22 40 74 22 5d 29 2c 20 70 61 72 "@v","@t"]), par
3e60: 61 6d 28 22 79 22 2c 5b 5d 29 2c 20 70 61 72 61 am("y",[]), para
3e70: 6d 28 22 7a 22 2c 5b 22 40 74 22 5d 29 5d 2c 20 m("z",["@t"])],
3e80: 73 74 72 6c 28 22 28 65 6d 70 74 79 20 66 75 6e strl("(empty fun
3e90: 63 74 69 6f 6e 20 62 6f 64 79 29 22 29 29 29 3b ction body)")));
3ea0: 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 .....assert_eq(p
3eb0: 61 72 73 65 53 74 72 69 6e 67 28 60 0d 0a 09 09 arseString(`....
3ec0: 6c 65 74 20 78 20 3d 20 31 30 30 3b 20 23 63 6f let x = 100; #co
3ed0: 6d 6d 65 6e 74 0d 0a 09 09 6c 65 74 20 79 20 3d mment....let y =
3ee0: 20 32 30 30 3b 20 23 63 6f 6d 6d 65 6e 74 21 21 200; #comment!!
3ef0: 21 21 21 0d 0a 09 09 09 78 2b 79 0d 0a 09 60 29 !!!.....x+y...`)
3f00: 2c 0d 0a 09 09 6c 65 74 28 22 78 22 2c 20 22 22 ,....let("x", ""
3f10: 2c 20 69 6e 74 6c 28 31 30 30 29 2c 20 6c 65 74 , intl(100), let
3f20: 28 22 79 22 2c 20 22 22 2c 20 69 6e 74 6c 28 32 ("y", "", intl(2
3f30: 30 30 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b 00), call(var("+
3f40: 22 29 2c 20 76 61 72 28 22 78 22 29 2c 20 76 61 "), var("x"), va
3f50: 72 28 22 79 22 29 29 29 29 0d 0a 09 29 3b 0d 0a r("y"))))...);..
3f60: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 ...assert_eq(par
3f70: 73 65 53 74 72 69 6e 67 28 60 0d 0a 09 09 76 61 seString(`....va
3f80: 72 20 66 61 63 20 3d 20 66 75 6e 28 78 29 7b 20 r fac = fun(x){
3f90: 69 66 28 78 20 3c 3d 20 31 29 20 74 68 65 6e 20 if(x <= 1) then
3fa0: 31 20 65 6c 73 65 20 78 2a 66 61 63 28 78 2d 31 1 else x*fac(x-1
3fb0: 29 20 7d 3b 0d 0a 09 09 66 61 63 28 31 30 29 0d ) };....fac(10).
3fc0: 0a 09 60 29 2c 0d 0a 09 09 6c 65 74 28 22 66 61 ..`),....let("fa
3fd0: 63 22 2c 20 22 22 2c 20 66 75 6e 28 5b 22 78 22 c", "", fun(["x"
3fe0: 5d 2c 0d 0a 09 09 09 63 61 6c 6c 28 76 61 72 28 ],.....call(var(
3ff0: 22 69 66 22 29 2c 0d 0a 09 09 09 09 63 61 6c 6c "if"),......call
4000: 28 76 61 72 28 22 3c 3d 22 29 2c 20 76 61 72 28 (var("<="), var(
4010: 22 78 22 29 2c 20 69 6e 74 6c 28 31 29 29 2c 0d "x"), intl(1)),.
4020: 0a 09 09 09 09 66 75 6e 28 5b 5d 2c 20 69 6e 74 .....fun([], int
4030: 6c 28 31 29 29 2c 0d 0a 09 09 09 09 66 75 6e 28 l(1)),......fun(
4040: 5b 5d 2c 20 63 61 6c 6c 28 76 61 72 28 22 2a 22 [], call(var("*"
4050: 29 2c 20 76 61 72 28 22 78 22 29 2c 20 63 61 6c ), var("x"), cal
4060: 6c 28 76 61 72 28 22 66 61 63 22 29 2c 63 61 6c l(var("fac"),cal
4070: 6c 28 76 61 72 28 22 2d 22 29 2c 76 61 72 28 22 l(var("-"),var("
4080: 78 22 29 2c 69 6e 74 6c 28 31 29 29 29 29 29 0d x"),intl(1))))).
4090: 0a 09 09 09 29 29 2c 0d 0a 09 09 09 63 61 6c 6c ....)),.....call
40a0: 28 76 61 72 28 22 66 61 63 22 29 2c 69 6e 74 6c (var("fac"),intl
40b0: 28 31 30 29 29 0d 0a 09 09 29 0d 0a 09 29 3b 0d (10))....)...);.
40c0: 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a .}....unittest..
40d0: 7b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 {...assert_throw
40e0: 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 28 70 !UnexpectedEOF(p
40f0: 61 72 73 65 53 74 72 69 6e 67 28 60 31 2b 60 29 arseString(`1+`)
4100: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
4110: 77 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e w!ParseException
4120: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2b (parseString(`1+
4130: 32 7d 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 2}`));...assert_
4140: 74 68 72 6f 77 21 55 6e 65 78 70 65 63 74 65 64 throw!Unexpected
4150: 45 4f 46 28 70 61 72 73 65 53 74 72 69 6e 67 28 EOF(parseString(
4160: 60 6c 65 74 20 22 78 22 60 29 29 3b 0d 0a 09 61 `let "x"`));...a
4170: 73 73 65 72 74 5f 74 68 72 6f 77 21 55 6e 65 78 ssert_throw!Unex
4180: 70 65 63 74 65 64 45 4f 46 28 70 61 72 73 65 53 pectedEOF(parseS
4190: 74 72 69 6e 67 28 60 76 61 72 60 29 29 3b 0d 0a tring(`var`));..
41a0: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 50 61 .assert_throw!Pa
41b0: 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 61 72 rseException(par
41c0: 73 65 53 74 72 69 6e 67 28 60 40 76 61 6c 20 78 seString(`@val x
41d0: 20 3d 3d 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 ==`));...assert
41e0: 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 _throw!ParseExce
41f0: 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e ption(parseStrin
4200: 67 28 60 69 66 28 29 7b 31 7d 60 29 29 3b 0d 0a g(`if(){1}`));..
4210: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 55 6e .assert_throw!Un
4220: 65 78 70 65 63 74 65 64 45 4f 46 28 70 61 72 73 expectedEOF(pars
4230: 65 53 74 72 69 6e 67 28 60 66 28 60 29 29 3b 0d eString(`f(`));.
4240: 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a .}....unittest..
4250: 7b 0d 0a 09 6d 69 78 69 6e 20 45 61 73 79 41 53 {...mixin EasyAS
4260: 54 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 T;...assert_eq(p
4270: 61 72 73 65 53 74 72 69 6e 67 28 60 64 65 66 20 arseString(`def
4280: 66 6f 6f 28 78 29 20 7b 20 78 2b 31 20 7d 3b 20 foo(x) { x+1 };
4290: 66 6f 6f 60 29 2c 0d 0a 09 09 6c 65 74 28 22 66 foo`),....let("f
42a0: 6f 6f 22 2c 20 22 22 2c 0d 0a 09 09 09 66 75 6e oo", "",.....fun
42b0: 28 5b 22 78 22 5d 2c 20 63 61 6c 6c 28 76 61 72 (["x"], call(var
42c0: 28 22 2b 22 29 2c 20 76 61 72 28 22 78 22 29 2c ("+"), var("x"),
42d0: 20 69 6e 74 6c 28 31 29 29 29 2c 0d 0a 09 09 09 intl(1))),.....
42e0: 76 61 72 28 22 66 6f 6f 22 29 29 0d 0a 09 29 3b var("foo"))...);
42f0: 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 .....assert_eq(p
4300: 61 72 73 65 53 74 72 69 6e 67 28 60 40 40 74 79 arseString(`@@ty
4310: 70 65 20 28 20 78 20 29 20 7b 20 78 20 7d 60 29 pe ( x ) { x }`)
4320: 2c 0d 0a 09 09 6c 65 74 28 22 40 74 79 70 65 22 ,....let("@type"
4330: 2c 20 4c 69 66 74 4c 61 79 65 72 2c 20 66 75 6e , LiftLayer, fun
4340: 28 5b 22 78 22 5d 2c 20 76 61 72 28 22 78 22 29 (["x"], var("x")
4350: 29 2c 20 6c 61 79 28 4c 69 66 74 4c 61 79 65 72 ), lay(LiftLayer
4360: 2c 20 76 61 72 28 22 40 74 79 70 65 22 29 29 29 , var("@type")))
4370: 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 );.....assert_e
4380: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 7b q(parseString(`{
4390: 7d 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 7b }`), call(var("{
43a0: 7d 22 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f }")));...assert_
43b0: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
43c0: 7b 66 6f 6f 3a 31 2c 22 62 61 72 22 3a 32 7d 60 {foo:1,"bar":2}`
43d0: 29 2c 0d 0a 09 09 63 61 6c 6c 28 76 61 72 28 22 ),....call(var("
43e0: 2e 3d 22 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 .="), call(var("
43f0: 2e 3d 22 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 .="), call(var("
4400: 7b 7d 22 29 29 2c 20 73 74 72 6c 28 22 66 6f 6f {}")), strl("foo
4410: 22 29 2c 20 69 6e 74 6c 28 31 29 29 2c 20 73 74 "), intl(1)), st
4420: 72 6c 28 22 62 61 72 22 29 2c 20 69 6e 74 6c 28 rl("bar"), intl(
4430: 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 2)));...assert_e
4440: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 7b q(parseString(`{
4450: 7d 2e 66 6f 6f 60 29 2c 20 63 61 6c 6c 28 76 61 }.foo`), call(va
4460: 72 28 22 2e 22 29 2c 63 61 6c 6c 28 76 61 72 28 r("."),call(var(
4470: 22 7b 7d 22 29 29 2c 73 74 72 6c 28 22 66 6f 6f "{}")),strl("foo
4480: 22 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 ")));...assert_e
4490: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 7b q(parseString(`{
44a0: 7d 2e 3f 66 6f 6f 60 29 2c 20 63 61 6c 6c 28 76 }.?foo`), call(v
44b0: 61 72 28 22 2e 3f 22 29 2c 63 61 6c 6c 28 76 61 ar(".?"),call(va
44c0: 72 28 22 7b 7d 22 29 29 2c 73 74 72 6c 28 22 66 r("{}")),strl("f
44d0: 6f 6f 22 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 oo")));...assert
44e0: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
44f0: 60 78 7b 79 3a 31 7d 60 29 2c 20 63 61 6c 6c 28 `x{y:1}`), call(
4500: 76 61 72 28 22 2e 3d 22 29 2c 76 61 72 28 22 78 var(".="),var("x
4510: 22 29 2c 73 74 72 6c 28 22 79 22 29 2c 69 6e 74 "),strl("y"),int
4520: 6c 28 31 29 29 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e l(1)));..}....un
4530: 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 ittest..{...asse
4540: 72 74 5f 6e 6f 74 68 72 6f 77 28 70 61 72 73 65 rt_nothrow(parse
4550: 53 74 72 69 6e 67 28 60 0d 0a 09 09 63 61 73 65 String(`....case
4560: 28 20 31 20 29 0d 0a 09 09 09 77 68 65 6e 28 78 ( 1 ).....when(x
4570: 29 3a 20 31 0d 0a 09 60 29 29 3b 0d 0a 09 61 73 ): 1...`));...as
4580: 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 70 61 72 sert_nothrow(par
4590: 73 65 53 74 72 69 6e 67 28 60 0d 0a 09 09 63 61 seString(`....ca
45a0: 73 65 20 31 0d 0a 09 09 09 77 68 65 6e 20 7b 61 se 1.....when {a
45b0: 61 61 61 3a 5f 7d 3a 20 31 0d 0a 09 60 29 29 3b aaa:_}: 1...`));
45c0: 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f ...assert_nothro
45d0: 77 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 0d w(parseString(`.
45e0: 0a 09 09 63 61 73 65 20 31 0d 0a 09 09 09 77 68 ...case 1.....wh
45f0: 65 6e 20 7b 61 61 61 61 3a 40 76 61 6c 75 65 28 en {aaaa:@value(
4600: 78 29 7d 3a 20 31 0d 0a 09 09 09 77 68 65 6e 20 x)}: 1.....when
4610: 7b 61 61 61 61 3a 7b 62 62 62 3a 5f 7d 2c 20 63 {aaaa:{bbb:_}, c
4620: 63 63 3a 31 32 33 7d 3a 20 31 0d 0a 09 60 29 29 cc:123}: 1...`))
4630: 3b 0d 0a 7d 0d 0a ;..}..