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 0d 0a 09 09 09 09 72 .....else......r
0cc0: 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 28 70 6f eturn new Let(po
0cd0: 73 2c 20 76 61 72 2c 20 6c 61 79 65 72 2c 20 65 s, var, layer, e
0ce0: 2c 20 6e 65 77 20 56 61 72 28 76 61 72 70 6f 73 , new Var(varpos
0cf0: 2c 20 76 61 72 29 29 3b 0d 0a 09 09 7d 0d 0a 09 , var));....}...
0d00: 7d 0d 0a 0d 0a 09 41 53 54 20 54 6f 70 4c 65 76 }.....AST TopLev
0d10: 65 6c 45 78 70 72 65 73 73 69 6f 6e 28 29 0d 0a elExpression()..
0d20: 09 7b 0d 0a 09 09 2f 2f 2f 20 54 6f 70 4c 65 76 .{..../// TopLev
0d30: 65 6c 45 78 70 72 65 73 73 69 6f 6e 20 3a 3a 3d elExpression ::=
0d40: 20 45 78 70 72 65 73 73 69 6f 6e 20 28 5b 22 3b Expression ([";
0d50: 22 7c 22 69 6e 22 5d 20 42 6f 64 79 3f 29 3f 0d "|"in"] Body?)?.
0d60: 0a 0d 0a 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 .....auto pos =
0d70: 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 currentPosition(
0d80: 29 3b 0d 0a 09 09 61 75 74 6f 20 65 20 3d 20 45 );....auto e = E
0d90: 28 30 29 3b 0d 0a 09 09 69 66 28 20 6d 6f 72 65 (0);....if( more
0da0: 44 65 63 6c 61 72 61 74 69 6f 6e 45 78 69 73 74 DeclarationExist
0db0: 73 28 29 20 29 0d 0a 09 09 09 72 65 74 75 72 6e s() ).....return
0dc0: 20 6e 65 77 20 4c 65 74 28 70 6f 73 2c 20 22 5f new Let(pos, "_
0dd0: 22 2c 20 22 22 2c 20 65 2c 20 42 6f 64 79 28 29 ", "", e, Body()
0de0: 29 3b 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 09 72 );....else.....r
0df0: 65 74 75 72 6e 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a eturn e;...}....
0e00: 09 70 72 69 76 61 74 65 20 62 6f 6f 6c 20 6d 6f .private bool mo
0e10: 72 65 44 65 63 6c 61 72 61 74 69 6f 6e 45 78 69 reDeclarationExi
0e20: 73 74 73 28 29 0d 0a 09 7b 0d 0a 09 09 72 65 74 sts()...{....ret
0e30: 75 72 6e 20 28 74 72 79 45 61 74 28 22 3b 22 29 urn (tryEat(";")
0e40: 20 7c 7c 20 74 72 79 45 61 74 28 22 69 6e 22 29 || tryEat("in")
0e50: 29 20 26 26 20 21 63 6c 6f 73 69 6e 67 42 72 61 ) && !closingBra
0e60: 63 6b 65 74 28 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 cket();...}.....
0e70: 70 72 69 76 61 74 65 20 62 6f 6f 6c 20 63 6c 6f private bool clo
0e80: 73 69 6e 67 42 72 61 63 6b 65 74 28 29 0d 0a 09 singBracket()...
0e90: 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6c 65 78 2e {....return lex.
0ea0: 65 6d 70 74 79 20 7c 7c 20 21 6c 65 78 2e 66 72 empty || !lex.fr
0eb0: 6f 6e 74 2e 71 75 6f 74 65 64 20 26 26 20 5b 22 ont.quoted && ["
0ec0: 7d 22 2c 22 29 22 2c 22 5d 22 2c 22 2c 22 5d 2e }",")","]",","].
0ed0: 63 61 6e 46 69 6e 64 28 6c 65 78 2e 66 72 6f 6e canFind(lex.fron
0ee0: 74 2e 73 74 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 t.str);...}.....
0ef0: 2f 2f 20 5b 54 4f 44 4f 5d 20 6d 61 6b 65 20 74 // [TODO] make t
0f00: 68 69 73 20 63 75 73 74 6f 6d 69 7a 61 62 6c 65 his customizable
0f10: 20 66 72 6f 6d 20 70 72 6f 67 72 61 6d 0d 0a 09 from program...
0f20: 70 72 69 76 61 74 65 20 73 74 61 74 69 63 20 73 private static s
0f30: 74 72 69 6e 67 5b 5d 5b 5d 20 6f 70 65 72 61 74 tring[][] operat
0f40: 6f 72 5f 70 65 72 66 65 72 65 6e 63 65 73 20 3d or_perferences =
0f50: 20 5b 0d 0a 09 09 5b 22 7c 7c 22 5d 2c 0d 0a 09 [....["||"],...
0f60: 09 5b 22 26 26 22 5d 2c 0d 0a 09 09 5b 22 21 3d .["&&"],....["!=
0f70: 22 5d 2c 0d 0a 09 09 5b 22 3d 3d 22 5d 2c 0d 0a "],....["=="],..
0f80: 09 09 5b 22 3c 22 2c 22 3c 3d 22 2c 22 3e 22 2c ..["<","<=",">",
0f90: 22 3e 3d 22 5d 2c 0d 0a 09 09 5b 22 7c 22 5d 2c ">="],....["|"],
0fa0: 0d 0a 09 09 5b 22 5e 22 5d 2c 0d 0a 09 09 5b 22 ....["^"],....["
0fb0: 26 22 5d 2c 0d 0a 09 09 5b 22 3c 3c 22 2c 20 22 &"],....["<<", "
0fc0: 3e 3e 22 2c 20 22 3c 3c 3c 22 2c 20 22 3e 3e 3e >>", "<<<", ">>>
0fd0: 22 5d 2c 0d 0a 09 09 5b 22 2b 22 2c 22 2d 22 5d "],....["+","-"]
0fe0: 2c 0d 0a 09 09 5b 22 7e 22 5d 2c 0d 0a 09 09 5b ,....["~"],....[
0ff0: 22 2a 22 2c 22 2f 22 2c 22 25 22 5d 2c 0d 0a 09 "*","/","%"],...
1000: 09 5b 22 5e 5e 22 2c 22 2a 2a 22 5d 2c 0d 0a 09 .["^^","**"],...
1010: 09 5b 22 2e 22 2c 22 2e 3f 22 5d 0d 0a 09 5d 3b .[".",".?"]...];
1020: 0d 0a 0d 0a 09 41 53 54 20 45 28 73 69 7a 65 5f .....AST E(size_
1030: 74 20 6c 65 76 65 6c 29 0d 0a 09 7b 0d 0a 09 09 t level)...{....
1040: 2f 2f 2f 20 45 78 70 72 65 73 73 69 6f 6e 20 3a /// Expression :
1050: 3a 3d 20 28 42 69 6e 61 72 79 20 6c 65 66 74 2d := (Binary left-
1060: 61 73 73 6f 63 69 61 74 69 76 65 20 6f 70 65 72 associative oper
1070: 61 74 6f 72 73 20 6f 76 65 72 29 20 46 75 6e 63 ators over) Func
1080: 61 6c 6c 0d 0a 0d 0a 09 09 41 53 54 20 72 65 63 all......AST rec
1090: 28 41 53 54 20 6c 68 73 29 0d 0a 09 09 7b 0d 0a (AST lhs)....{..
10a0: 09 09 09 69 66 28 20 63 6c 6f 73 69 6e 67 42 72 ...if( closingBr
10b0: 61 63 6b 65 74 28 29 20 29 0d 0a 09 09 09 09 72 acket() )......r
10c0: 65 74 75 72 6e 20 6c 68 73 3b 0d 0a 0d 0a 09 09 eturn lhs;......
10d0: 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 .auto pos = curr
10e0: 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a entPosition();..
10f0: 09 09 09 66 6f 72 65 61 63 68 28 6f 70 3b 20 6f ...foreach(op; o
1100: 70 65 72 61 74 6f 72 5f 70 65 72 66 65 72 65 6e perator_perferen
1110: 63 65 73 5b 6c 65 76 65 6c 5d 29 0d 0a 09 09 09 ces[level]).....
1120: 09 69 66 28 20 74 72 79 45 61 74 28 6f 70 29 20 .if( tryEat(op)
1130: 29 0d 0a 09 09 09 09 09 69 66 28 20 6f 70 5b 30 ).......if( op[0
1140: 5d 3d 3d 27 2e 27 20 29 0d 0a 09 09 09 09 09 09 ]=='.' )........
1150: 72 65 74 75 72 6e 20 72 65 63 28 0d 0a 09 09 09 return rec(.....
1160: 09 09 09 09 6e 65 77 20 41 70 70 28 6c 68 73 2e ....new App(lhs.
1170: 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 6f 73 pos, new Var(pos
1180: 2c 20 6f 70 29 2c 20 6c 68 73 2c 20 70 61 72 73 , op), lhs, pars
1190: 65 49 64 28 29 29 29 3b 0d 0a 09 09 09 09 09 65 eId()));.......e
11a0: 6c 73 65 0d 0a 09 09 09 09 09 09 72 65 74 75 72 lse........retur
11b0: 6e 20 72 65 63 28 0d 0a 09 09 09 09 09 09 09 6e n rec(.........n
11c0: 65 77 20 41 70 70 28 6c 68 73 2e 70 6f 73 2c 20 ew App(lhs.pos,
11d0: 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 6f 70 29 new Var(pos, op)
11e0: 2c 20 6c 68 73 2c 20 45 28 6c 65 76 65 6c 2b 31 , lhs, E(level+1
11f0: 29 29 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 )));.....return
1200: 6c 68 73 3b 0d 0a 09 09 7d 0d 0a 0d 0a 09 09 69 lhs;....}......i
1210: 66 28 20 6f 70 65 72 61 74 6f 72 5f 70 65 72 66 f( operator_perf
1220: 65 72 65 6e 63 65 73 2e 6c 65 6e 67 74 68 20 3c erences.length <
1230: 3d 20 6c 65 76 65 6c 20 29 0d 0a 09 09 09 72 65 = level ).....re
1240: 74 75 72 6e 20 46 75 6e 63 61 6c 6c 28 29 3b 0d turn Funcall();.
1250: 0a 09 09 65 6c 73 65 0d 0a 09 09 09 72 65 74 75 ...else.....retu
1260: 72 6e 20 72 65 63 28 45 28 6c 65 76 65 6c 2b 31 rn rec(E(level+1
1270: 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 ));...}.....AST
1280: 46 75 6e 63 61 6c 6c 28 29 0d 0a 09 7b 0d 0a 09 Funcall()...{...
1290: 09 2f 2f 2f 20 46 75 6e 63 61 6c 6c 20 3a 3a 3d ./// Funcall ::=
12a0: 20 42 61 73 65 45 78 70 72 65 73 73 69 6f 6e 20 BaseExpression
12b0: 5b 22 28 22 20 45 78 70 72 65 73 73 69 6f 6e 25 ["(" Expression%
12c0: 22 2c 22 20 22 29 22 20 7c 20 22 7b 22 20 45 4e "," ")" | "{" EN
12d0: 54 52 49 45 53 20 22 7d 22 5d 2a 0d 0a 0d 0a 09 TRIES "}"]*.....
12e0: 09 61 75 74 6f 20 65 20 3d 20 42 61 73 65 45 78 .auto e = BaseEx
12f0: 70 72 65 73 73 69 6f 6e 28 29 3b 0d 0a 09 09 66 pression();....f
1300: 6f 72 28 3b 3b 29 0d 0a 09 09 09 69 66 28 20 74 or(;;).....if( t
1310: 72 79 45 61 74 28 22 28 22 29 20 29 0d 0a 09 09 ryEat("(") )....
1320: 09 7b 0d 0a 09 09 09 09 61 75 74 6f 20 70 6f 73 .{......auto pos
1330: 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 = currentPositi
1340: 6f 6e 28 29 3b 0d 0a 09 09 09 09 41 53 54 5b 5d on();......AST[]
1350: 20 61 72 67 73 3b 0d 0a 09 09 09 09 77 68 69 6c args;......whil
1360: 65 28 20 21 74 72 79 45 61 74 28 22 29 22 29 20 e( !tryEat(")")
1370: 29 20 7b 0d 0a 09 09 09 09 09 69 66 28 20 6c 65 ) {.......if( le
1380: 78 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 09 09 x.empty ).......
1390: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 55 6e 65 .throw genex!Une
13a0: 78 70 65 63 74 65 64 45 4f 46 28 70 6f 73 2c 20 xpectedEOF(pos,
13b0: 22 63 6c 6f 73 69 6e 67 20 27 29 27 20 66 6f 72 "closing ')' for
13c0: 20 61 72 67 75 6d 65 6e 74 73 20 6e 6f 74 20 66 arguments not f
13d0: 6f 75 6e 64 22 29 3b 0d 0a 09 09 09 09 09 61 72 ound");.......ar
13e0: 67 73 20 7e 3d 20 45 28 30 29 3b 0d 0a 09 09 09 gs ~= E(0);.....
13f0: 09 09 69 66 28 20 21 74 72 79 45 61 74 28 22 2c ..if( !tryEat(",
1400: 22 29 20 29 20 7b 0d 0a 09 09 09 09 09 09 65 61 ") ) {........ea
1410: 74 28 22 29 22 2c 20 22 61 66 74 65 72 20 66 75 t(")", "after fu
1420: 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 72 nction parameter
1430: 73 22 29 3b 0d 0a 09 09 09 09 09 09 62 72 65 61 s");........brea
1440: 6b 3b 0d 0a 09 09 09 09 09 7d 0d 0a 09 09 09 09 k;.......}......
1450: 7d 0d 0a 09 09 09 09 65 20 3d 20 6e 65 77 20 41 }......e = new A
1460: 70 70 28 65 2e 70 6f 73 2c 20 65 2c 20 61 72 67 pp(e.pos, e, arg
1470: 73 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 65 6c s);.....}.....el
1480: 73 65 20 69 66 28 20 74 72 79 45 61 74 28 22 7b se if( tryEat("{
1490: 22 29 20 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 ") ).....{......
14a0: 65 20 3d 20 70 61 72 73 65 54 61 62 6c 65 53 65 e = parseTableSe
14b0: 74 41 66 74 65 72 42 72 61 63 65 28 65 29 3b 0d tAfterBrace(e);.
14c0: 0a 09 09 09 7d 0d 0a 09 09 09 65 6c 73 65 0d 0a ....}.....else..
14d0: 09 09 09 09 62 72 65 61 6b 3b 0d 0a 09 09 72 65 ....break;....re
14e0: 74 75 72 6e 20 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 turn e;...}.....
14f0: 41 53 54 20 70 61 72 73 65 54 61 62 6c 65 53 65 AST parseTableSe
1500: 74 41 66 74 65 72 42 72 61 63 65 28 41 53 54 20 tAfterBrace(AST
1510: 65 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 2f 20 54 61 e)...{..../// Ta
1520: 62 6c 65 53 65 74 20 3a 3a 3d 20 22 7b 22 20 28 bleSet ::= "{" (
1530: 49 44 20 22 3a 22 20 45 29 20 25 20 22 2c 22 20 ID ":" E) % ","
1540: 22 7d 22 0d 0a 09 09 0d 0a 09 09 69 66 28 20 74 "}"........if( t
1550: 72 79 45 61 74 28 22 7d 22 29 20 29 0d 0a 09 09 ryEat("}") )....
1560: 09 72 65 74 75 72 6e 20 65 3b 0d 0a 09 09 61 75 .return e;....au
1570: 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 to pos = current
1580: 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 66 Position();....f
1590: 6f 72 28 3b 3b 29 0d 0a 09 09 7b 0d 0a 09 09 09 or(;;)....{.....
15a0: 73 74 72 69 6e 67 20 6b 65 79 20 3d 20 65 61 74 string key = eat
15b0: 49 64 28 22 66 6f 72 20 74 61 62 6c 65 20 6b 65 Id("for table ke
15c0: 79 22 2c 20 41 6c 6c 6f 77 51 75 6f 74 65 64 29 y", AllowQuoted)
15d0: 3b 0d 0a 09 09 09 65 61 74 28 22 3a 22 2c 20 22 ;.....eat(":", "
15e0: 61 66 74 65 72 20 74 61 62 6c 65 20 6b 65 79 22 after table key"
15f0: 29 3b 0d 0a 09 09 09 41 53 54 20 76 61 6c 20 3d );.....AST val =
1600: 20 45 28 30 29 3b 0d 0a 09 09 09 65 20 3d 20 6e E(0);.....e = n
1610: 65 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 77 20 ew App(pos, new
1620: 56 61 72 28 70 6f 73 2c 22 2e 3d 22 29 2c 0d 0a Var(pos,".="),..
1630: 09 09 09 09 09 65 2c 20 6e 65 77 20 53 74 72 28 .....e, new Str(
1640: 70 6f 73 2c 6b 65 79 29 2c 20 76 61 6c 29 3b 0d pos,key), val);.
1650: 0a 09 09 09 69 66 28 20 21 74 72 79 45 61 74 28 ....if( !tryEat(
1660: 22 2c 22 29 20 29 0d 0a 09 09 09 7b 0d 0a 09 09 ",") ).....{....
1670: 09 09 65 61 74 28 22 7d 22 2c 20 22 66 6f 72 20 ..eat("}", "for
1680: 74 68 65 20 65 6e 64 20 6f 66 20 74 61 62 6c 65 the end of table
1690: 20 6c 69 74 65 72 61 6c 22 29 3b 0d 0a 09 09 09 literal");.....
16a0: 09 62 72 65 61 6b 3b 0d 0a 09 09 09 7d 0d 0a 09 .break;.....}...
16b0: 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 65 3b 0d .}....return e;.
16c0: 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 42 61 73 65 ..}.....AST Base
16d0: 45 78 70 72 65 73 73 69 6f 6e 28 29 0d 0a 09 7b Expression()...{
16e0: 0d 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 ....if( lex.empt
16f0: 79 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 67 65 y ).....throw ge
1700: 6e 65 78 21 55 6e 65 78 70 65 63 74 65 64 45 4f nex!UnexpectedEO
1710: 46 28 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f F(currentPositio
1720: 6e 28 29 2c 20 22 52 65 61 63 68 65 64 20 45 4f n(), "Reached EO
1730: 46 20 77 68 65 6e 20 74 72 69 65 64 20 74 6f 20 F when tried to
1740: 70 61 72 73 65 20 61 6e 20 65 78 70 72 65 73 73 parse an express
1750: 69 6f 6e 22 29 3b 0d 0a 0d 0a 09 09 61 75 74 6f ion");......auto
1760: 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f pos = currentPo
1770: 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 69 66 28 sition();....if(
1780: 20 6c 65 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 lex.front.quote
1790: 64 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 73 63 6f d )....{.....sco
17a0: 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 pe(exit) lex.pop
17b0: 46 72 6f 6e 74 3b 0d 0a 09 09 09 72 65 74 75 72 Front;.....retur
17c0: 6e 20 6e 65 77 20 53 74 72 28 70 6f 73 2c 20 6c n new Str(pos, l
17d0: 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 3b 0d 0a ex.front.str);..
17e0: 09 09 7d 0d 0a 09 09 69 66 28 20 69 73 4e 75 6d ..}....if( isNum
17f0: 62 65 72 28 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 ber(lex.front.st
1800: 72 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 73 63 r) )....{.....sc
1810: 6f 70 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f ope(exit) lex.po
1820: 70 46 72 6f 6e 74 3b 0d 0a 09 09 09 72 65 74 75 pFront;.....retu
1830: 72 6e 20 6e 65 77 20 49 6e 74 28 70 6f 73 2c 20 rn new Int(pos,
1840: 42 69 67 49 6e 74 28 63 61 73 74 28 73 74 72 69 BigInt(cast(stri
1850: 6e 67 29 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 ng)lex.front.str
1860: 29 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 ));....}....if(
1870: 74 72 79 45 61 74 28 22 40 22 29 20 29 0d 0a 09 tryEat("@") )...
1880: 09 7b 0d 0a 09 09 09 61 75 74 6f 20 6c 61 79 20 .{.....auto lay
1890: 3d 20 22 40 22 7e 65 61 74 49 64 28 22 66 6f 72 = "@"~eatId("for
18a0: 20 6c 61 79 65 72 20 49 44 22 29 3b 0d 0a 09 09 layer ID");....
18b0: 09 65 61 74 28 22 28 22 2c 20 22 66 6f 72 20 6c .eat("(", "for l
18c0: 61 79 65 72 65 64 20 65 78 65 63 75 74 69 6f 6e ayered execution
18d0: 22 29 3b 0d 0a 09 09 09 61 75 74 6f 20 65 20 3d ");.....auto e =
18e0: 20 42 6f 64 79 28 29 3b 0d 0a 09 09 09 65 61 74 Body();.....eat
18f0: 28 22 29 22 2c 20 22 61 66 74 65 72 20 22 7e 6c (")", "after "~l
1900: 61 79 7e 22 28 2e 2e 2e 22 29 3b 0d 0a 09 09 09 ay~"(...");.....
1910: 72 65 74 75 72 6e 20 6e 65 77 20 4c 61 79 28 70 return new Lay(p
1920: 6f 73 2c 20 6c 61 79 2c 20 65 29 3b 0d 0a 09 09 os, lay, e);....
1930: 7d 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 }....if( tryEat(
1940: 22 28 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 "(") )....{.....
1950: 61 75 74 6f 20 65 20 3d 20 42 6f 64 79 28 29 3b auto e = Body();
1960: 0d 0a 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 .....eat(")", "a
1970: 66 74 65 72 20 70 61 72 65 6e 74 68 65 73 69 7a fter parenthesiz
1980: 65 64 20 65 78 70 72 65 73 73 69 6f 6e 22 29 3b ed expression");
1990: 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 3b 0d 0a .....return e;..
19a0: 09 09 7d 0d 0a 09 09 69 66 28 20 74 72 79 45 61 ..}....if( tryEa
19b0: 74 28 22 7b 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 t("{") )....{...
19c0: 09 09 41 53 54 20 65 20 3d 20 6e 65 77 20 41 70 ..AST e = new Ap
19d0: 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 p(pos, new Var(p
19e0: 6f 73 2c 22 7b 7d 22 29 29 3b 0d 0a 09 09 09 72 os,"{}"));.....r
19f0: 65 74 75 72 6e 20 70 61 72 73 65 54 61 62 6c 65 eturn parseTable
1a00: 53 65 74 41 66 74 65 72 42 72 61 63 65 28 65 29 SetAfterBrace(e)
1a10: 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 74 72 ;....}....if( tr
1a20: 79 45 61 74 28 22 69 66 22 29 20 29 0d 0a 09 09 yEat("if") )....
1a30: 7b 0d 0a 09 09 09 72 65 74 75 72 6e 20 70 61 72 {.....return par
1a40: 73 65 49 66 41 66 74 65 72 49 66 28 70 6f 73 29 seIfAfterIf(pos)
1a50: 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 74 72 ;....}....if( tr
1a60: 79 45 61 74 28 22 63 61 73 65 22 29 20 29 0d 0a yEat("case") )..
1a70: 09 09 7b 0d 0a 09 09 09 72 65 74 75 72 6e 20 70 ..{.....return p
1a80: 61 72 73 65 50 61 74 74 65 72 6e 4d 61 74 63 68 arsePatternMatch
1a90: 28 70 6f 73 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 (pos);....}....i
1aa0: 66 28 20 74 72 79 45 61 74 28 22 66 75 6e 22 29 f( tryEat("fun")
1ab0: 20 7c 7c 20 74 72 79 45 61 74 28 22 5c 75 30 33 || tryEat("\u03
1ac0: 42 42 22 29 20 29 20 2f 2f 20 6c 61 6d 62 64 61 BB") ) // lambda
1ad0: 21 21 0d 0a 09 09 7b 0d 0a 09 09 09 65 61 74 28 !!....{.....eat(
1ae0: 22 28 22 2c 20 22 61 66 74 65 72 20 66 75 6e 22 "(", "after fun"
1af0: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 70 61 );.....return pa
1b00: 72 73 65 4c 61 6d 62 64 61 41 66 74 65 72 4f 70 rseLambdaAfterOp
1b10: 65 6e 50 61 72 65 6e 28 70 6f 73 29 3b 0d 0a 09 enParen(pos);...
1b20: 09 7d 0d 0a 09 09 73 63 6f 70 65 28 65 78 69 74 .}....scope(exit
1b30: 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d ) lex.popFront;.
1b40: 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 56 61 ...return new Va
1b50: 72 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f 6e 74 r(pos, lex.front
1b60: 2e 73 74 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 .str);...}.....A
1b70: 53 54 20 70 61 72 73 65 49 66 41 66 74 65 72 49 ST parseIfAfterI
1b80: 66 28 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f f(LexPosition po
1b90: 73 29 0d 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 63 s)...{....auto c
1ba0: 6f 6e 64 20 3d 20 45 28 30 29 3b 0d 0a 09 09 61 ond = E(0);....a
1bb0: 75 74 6f 20 74 68 65 6e 50 6f 73 20 3d 20 63 75 uto thenPos = cu
1bc0: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b rrentPosition();
1bd0: 0d 0a 09 09 69 66 28 21 74 72 79 45 61 74 28 22 ....if(!tryEat("
1be0: 3a 22 29 29 20 7b 0d 0a 09 09 09 65 61 74 28 22 :")) {.....eat("
1bf0: 74 68 65 6e 22 2c 20 22 61 66 74 65 72 20 69 66 then", "after if
1c00: 20 63 6f 6e 64 69 74 69 6f 6e 22 29 3b 0d 0a 09 condition");...
1c10: 09 09 74 72 79 45 61 74 28 22 3a 22 29 3b 0d 0a ..tryEat(":");..
1c20: 09 09 7d 0d 0a 09 09 41 53 54 20 74 68 20 3d 20 ..}....AST th =
1c30: 45 28 30 29 3b 0d 0a 09 09 61 75 74 6f 20 65 6c E(0);....auto el
1c40: 20 3d 20 64 6f 4e 6f 74 68 69 6e 67 45 78 70 72 = doNothingExpr
1c50: 65 73 73 69 6f 6e 28 29 3b 0d 0a 09 09 61 75 74 ession();....aut
1c60: 6f 20 65 6c 73 65 50 6f 73 20 3d 20 63 75 72 72 o elsePos = curr
1c70: 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a entPosition();..
1c80: 09 09 69 66 28 20 74 72 79 45 61 74 28 22 65 6c ..if( tryEat("el
1c90: 73 65 22 29 20 29 20 7b 0d 0a 09 09 09 74 72 79 se") ) {.....try
1ca0: 45 61 74 28 22 3a 22 29 3b 0d 0a 09 09 09 65 6c Eat(":");.....el
1cb0: 20 3d 20 45 28 30 29 3b 0d 0a 09 09 7d 0d 0a 09 = E(0);....}...
1cc0: 09 72 65 74 75 72 6e 20 6e 65 77 20 41 70 70 28 .return new App(
1cd0: 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 6f 73 pos, new Var(pos
1ce0: 2c 22 69 66 22 29 2c 20 63 6f 6e 64 2c 20 6e 65 ,"if"), cond, ne
1cf0: 77 20 46 75 6e 28 74 68 65 6e 50 6f 73 2c 5b 5d w Fun(thenPos,[]
1d00: 2c 74 68 29 2c 20 6e 65 77 20 46 75 6e 28 65 6c ,th), new Fun(el
1d10: 73 65 50 6f 73 2c 5b 5d 2c 65 6c 29 29 3b 0d 0a sePos,[],el));..
1d20: 09 7d 0d 0a 0d 0a 09 41 53 54 20 70 61 72 73 65 .}.....AST parse
1d30: 50 61 74 74 65 72 6e 4d 61 74 63 68 28 4c 65 78 PatternMatch(Lex
1d40: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 Position pos)...
1d50: 7b 0d 0a 09 09 2f 2f 20 20 20 63 61 73 65 20 70 {....// case p
1d60: 6d 45 78 70 72 20 43 41 53 45 53 0d 0a 09 09 2f mExpr CASES..../
1d70: 2f 3d 3d 3e 0d 0a 09 09 2f 2f 20 20 20 6c 65 74 /==>....// let
1d80: 20 70 6d 56 61 72 20 3d 20 70 6d 45 78 70 72 20 pmVar = pmExpr
1d90: 69 6e 20 28 2e 2e 2e 20 6c 65 74 20 70 6d 54 72 in (... let pmTr
1da0: 79 46 69 72 73 74 20 3d 20 2e 2e 2e 20 69 6e 20 yFirst = ... in
1db0: 70 6d 54 72 79 46 69 72 73 74 28 29 29 0d 0a 09 pmTryFirst())...
1dc0: 09 41 53 54 20 20 20 70 6d 45 78 70 72 20 3d 20 .AST pmExpr =
1dd0: 45 28 30 29 3b 0d 0a 09 09 73 74 72 69 6e 67 20 E(0);....string
1de0: 70 6d 56 61 72 20 3d 20 66 72 65 73 68 56 61 72 pmVar = freshVar
1df0: 4e 61 6d 65 28 29 3b 0d 0a 09 09 73 74 72 69 6e Name();....strin
1e00: 67 20 70 6d 54 72 79 46 69 72 73 74 20 3d 20 66 g pmTryFirst = f
1e10: 72 65 73 68 56 61 72 4e 61 6d 65 28 29 3b 0d 0a reshVarName();..
1e20: 09 09 41 53 54 20 20 20 70 6d 42 6f 64 79 20 3d ..AST pmBody =
1e30: 20 70 61 72 73 65 50 61 74 74 65 72 6e 4d 61 74 parsePatternMat
1e40: 63 68 43 61 73 65 73 28 70 6f 73 2c 20 70 6d 56 chCases(pos, pmV
1e50: 61 72 2c 20 70 6d 54 72 79 46 69 72 73 74 2c 0d ar, pmTryFirst,.
1e60: 0a 09 09 09 6e 65 77 20 41 70 70 28 70 6f 73 2c ....new App(pos,
1e70: 20 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 70 6d new Var(pos, pm
1e80: 54 72 79 46 69 72 73 74 29 29 29 3b 0d 0a 09 09 TryFirst)));....
1e90: 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 28 70 return new Let(p
1ea0: 6f 73 2c 20 70 6d 56 61 72 2c 20 5b 5d 2c 20 70 os, pmVar, [], p
1eb0: 6d 45 78 70 72 2c 20 70 6d 42 6f 64 79 29 3b 0d mExpr, pmBody);.
1ec0: 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 70 61 72 73 ..}.....AST pars
1ed0: 65 50 61 74 74 65 72 6e 4d 61 74 63 68 43 61 73 ePatternMatchCas
1ee0: 65 73 28 4c 65 78 50 6f 73 69 74 69 6f 6e 20 63 es(LexPosition c
1ef0: 61 73 65 50 6f 73 2c 20 73 74 72 69 6e 67 20 70 asePos, string p
1f00: 6d 56 61 72 2c 20 73 74 72 69 6e 67 20 74 72 79 mVar, string try
1f10: 54 68 69 73 42 72 61 6e 63 68 56 61 72 2c 20 41 ThisBranchVar, A
1f20: 53 54 20 74 68 65 6e 44 6f 54 68 69 73 29 0d 0a ST thenDoThis)..
1f30: 09 7b 0d 0a 09 09 2f 2f 20 20 20 20 77 68 65 6e .{....// when
1f40: 20 70 61 74 3a 20 63 42 6f 64 79 0d 0a 09 09 2f pat: cBody..../
1f50: 2f 3d 3d 3e 0d 0a 09 09 2f 2f 20 20 20 20 2e 2e /==>....// ..
1f60: 2e 20 6c 65 74 20 66 61 69 6c 42 72 61 6e 63 68 . let failBranch
1f70: 56 61 72 20 3d 20 2e 2e 2e 20 69 6e 0d 0a 09 09 Var = ... in....
1f80: 2f 2f 20 20 20 20 6c 65 74 20 74 72 79 54 68 69 // let tryThi
1f90: 73 42 72 61 6e 63 68 56 61 72 20 3d 20 66 75 6e sBranchVar = fun
1fa0: 28 29 7b 20 69 66 28 74 65 73 74 29 7b 63 42 6f (){ if(test){cBo
1fb0: 64 79 7d 65 6c 73 65 7b 66 61 69 6c 42 72 61 6e dy}else{failBran
1fc0: 63 68 56 61 72 28 29 7d 20 7d 20 69 6e 20 74 68 chVar()} } in th
1fd0: 65 6e 44 6f 54 68 69 73 0d 0a 09 09 69 66 28 20 enDoThis....if(
1fe0: 74 72 79 45 61 74 28 22 77 68 65 6e 22 29 20 29 tryEat("when") )
1ff0: 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 74 6f 20 70 ....{.....auto p
2000: 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 os = currentPosi
2010: 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 73 74 72 69 tion();.....stri
2020: 6e 67 20 66 61 69 6c 42 72 61 6e 63 68 56 61 72 ng failBranchVar
2030: 20 3d 20 66 72 65 73 68 56 61 72 4e 61 6d 65 28 = freshVarName(
2040: 29 3b 0d 0a 0d 0a 09 09 09 61 75 74 6f 20 70 72 );.......auto pr
2050: 20 3d 20 70 61 72 73 65 50 61 74 74 65 72 6e 28 = parsePattern(
2060: 29 3b 0d 0a 09 09 09 65 61 74 28 22 3a 22 2c 20 );.....eat(":",
2070: 22 61 66 74 65 72 20 77 68 65 6e 20 70 61 74 74 "after when patt
2080: 65 72 6e 22 29 3b 0d 0a 09 09 09 41 53 54 20 63 ern");.....AST c
2090: 42 6f 64 79 20 3d 20 45 28 30 29 3b 0d 0a 09 09 Body = E(0);....
20a0: 09 41 53 54 20 6a 75 64 67 65 6d 65 6e 74 20 3d .AST judgement =
20b0: 20 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 new App(pos, ne
20c0: 77 20 56 61 72 28 70 6f 73 2c 20 22 69 66 22 29 w Var(pos, "if")
20d0: 2c 0d 0a 09 09 09 09 70 70 54 65 73 74 28 70 6d ,......ppTest(pm
20e0: 56 61 72 2c 20 70 72 29 2c 20 6e 65 77 20 46 75 Var, pr), new Fu
20f0: 6e 28 70 6f 73 2c 5b 5d 2c 70 70 42 69 6e 64 28 n(pos,[],ppBind(
2100: 70 6d 56 61 72 2c 20 70 72 2c 20 63 42 6f 64 79 pmVar, pr, cBody
2110: 29 29 2c 0d 0a 09 09 09 09 6e 65 77 20 56 61 72 )),......new Var
2120: 28 70 6f 73 2c 20 66 61 69 6c 42 72 61 6e 63 68 (pos, failBranch
2130: 56 61 72 29 29 3b 0d 0a 09 09 09 72 65 74 75 72 Var));.....retur
2140: 6e 20 70 61 72 73 65 50 61 74 74 65 72 6e 4d 61 n parsePatternMa
2150: 74 63 68 43 61 73 65 73 28 63 61 73 65 50 6f 73 tchCases(casePos
2160: 2c 20 70 6d 56 61 72 2c 20 66 61 69 6c 42 72 61 , pmVar, failBra
2170: 6e 63 68 56 61 72 2c 20 0d 0a 09 09 09 09 6e 65 nchVar, ......ne
2180: 77 20 4c 65 74 28 70 6f 73 2c 20 74 72 79 54 68 w Let(pos, tryTh
2190: 69 73 42 72 61 6e 63 68 56 61 72 2c 20 5b 5d 2c isBranchVar, [],
21a0: 0d 0a 09 09 09 09 09 6e 65 77 20 46 75 6e 28 70 .......new Fun(p
21b0: 6f 73 2c 5b 5d 2c 6a 75 64 67 65 6d 65 6e 74 29 os,[],judgement)
21c0: 2c 20 74 68 65 6e 44 6f 54 68 69 73 29 0d 0a 09 , thenDoThis)...
21d0: 09 09 29 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 ..);....}....els
21e0: 65 0d 0a 09 09 7b 0d 0a 09 09 09 41 53 54 20 64 e....{.....AST d
21f0: 6f 4e 6f 74 68 69 6e 67 20 3d 20 6e 65 77 20 46 oNothing = new F
2200: 75 6e 28 63 61 73 65 50 6f 73 2c 5b 5d 2c 0d 0a un(casePos,[],..
2210: 09 09 09 09 6e 65 77 20 53 74 72 28 63 61 73 65 ....new Str(case
2220: 50 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 28 70 Pos, sprintf!"(p
2230: 61 74 74 65 72 6e 20 6d 61 74 63 68 20 66 61 69 attern match fai
2240: 6c 75 72 65 3a 25 73 29 22 28 63 61 73 65 50 6f lure:%s)"(casePo
2250: 73 29 29 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e s)));.....return
2260: 20 6e 65 77 20 4c 65 74 28 63 61 73 65 50 6f 73 new Let(casePos
2270: 2c 20 74 72 79 54 68 69 73 42 72 61 6e 63 68 56 , tryThisBranchV
2280: 61 72 2c 20 5b 5d 2c 20 64 6f 4e 6f 74 68 69 6e ar, [], doNothin
2290: 67 2c 20 74 68 65 6e 44 6f 54 68 69 73 29 3b 0d g, thenDoThis);.
22a0: 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 2f 2f 20 68 ...}...}....// h
22b0: 61 67 65 73 68 69 6b 75 20 74 65 6e 75 6b 69 0d ageshiku tenuki.
22c0: 0a 09 61 62 73 74 72 61 63 74 20 63 6c 61 73 73 ..abstract class
22d0: 20 53 69 6e 67 6c 65 50 61 74 74 65 72 6e 0d 0a SinglePattern..
22e0: 09 7b 0d 0a 09 09 73 74 72 69 6e 67 5b 5d 20 70 .{....string[] p
22f0: 61 74 68 3b 0d 0a 09 09 6d 69 78 69 6e 20 53 69 ath;....mixin Si
2300: 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 09 70 72 mpleClass;....pr
2310: 69 76 61 74 65 20 41 53 54 20 61 63 63 65 73 73 ivate AST access
2320: 28 73 74 72 69 6e 67 20 70 6d 56 61 72 2c 20 73 (string pmVar, s
2330: 74 72 69 6e 67 5b 5d 20 70 61 74 68 29 20 7b 0d tring[] path) {.
2340: 0a 09 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 ....auto pos = c
2350: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 urrentPosition()
2360: 3b 0d 0a 09 09 09 41 53 54 20 65 20 3d 20 6e 65 ;.....AST e = ne
2370: 77 20 56 61 72 28 70 6f 73 2c 20 70 6d 56 61 72 w Var(pos, pmVar
2380: 29 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 70 );.....foreach(p
2390: 3b 20 70 61 74 68 29 0d 0a 09 09 09 09 65 20 3d ; path)......e =
23a0: 20 6e 65 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 new App(pos, ne
23b0: 77 20 56 61 72 28 70 6f 73 2c 20 22 2e 22 29 2c w Var(pos, "."),
23c0: 20 65 2c 20 6e 65 77 20 53 74 72 28 70 6f 73 2c e, new Str(pos,
23d0: 20 70 29 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e p));.....return
23e0: 20 65 3b 0d 0a 09 09 7d 0d 0a 09 09 70 72 69 76 e;....}....priv
23f0: 61 74 65 20 41 53 54 20 68 61 73 28 41 53 54 20 ate AST has(AST
2400: 65 2c 20 73 74 72 69 6e 67 20 6b 29 20 7b 0d 0a e, string k) {..
2410: 09 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 ...auto pos = cu
2420: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b rrentPosition();
2430: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6f 70 41 6e .....return opAn
2440: 64 41 6e 64 28 0d 0a 09 09 09 09 6e 65 77 20 41 dAnd(......new A
2450: 70 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 pp(pos, new Var(
2460: 70 6f 73 2c 20 22 5f 69 73 74 61 62 6c 65 22 29 pos, "_istable")
2470: 2c 20 65 29 2c 0d 0a 09 09 09 09 6e 65 77 20 41 , e),......new A
2480: 70 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 pp(pos, new Var(
2490: 70 6f 73 2c 20 22 2e 3f 22 29 2c 20 65 2c 20 6e pos, ".?"), e, n
24a0: 65 77 20 53 74 72 28 70 6f 73 2c 20 6b 29 29 0d ew Str(pos, k)).
24b0: 0a 09 09 09 29 3b 0d 0a 09 09 7d 0d 0a 09 09 70 ....);....}....p
24c0: 72 69 76 61 74 65 20 41 53 54 20 6f 70 41 6e 64 rivate AST opAnd
24d0: 41 6e 64 28 41 53 54 20 61 2c 20 41 53 54 20 62 And(AST a, AST b
24e0: 29 20 7b 0d 0a 09 09 09 69 66 28 20 61 20 69 73 ) {.....if( a is
24f0: 20 6e 75 6c 6c 20 29 20 72 65 74 75 72 6e 20 62 null ) return b
2500: 3b 0d 0a 09 09 09 69 66 28 20 62 20 69 73 20 6e ;.....if( b is n
2510: 75 6c 6c 20 29 20 72 65 74 75 72 6e 20 61 3b 0d ull ) return a;.
2520: 0a 09 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 ....auto pos = c
2530: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 urrentPosition()
2540: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 ;.....return new
2550: 20 41 70 70 28 70 6f 73 2c 0d 0a 09 09 09 09 6e App(pos,......n
2560: 65 77 20 56 61 72 28 70 6f 73 2c 20 22 69 66 22 ew Var(pos, "if"
2570: 29 2c 0d 0a 09 09 09 09 61 2c 0d 0a 09 09 09 09 ),......a,......
2580: 6e 65 77 20 46 75 6e 28 70 6f 73 2c 20 5b 5d 2c new Fun(pos, [],
2590: 20 62 29 2c 0d 0a 09 09 09 09 6e 65 77 20 46 75 b),......new Fu
25a0: 6e 28 70 6f 73 2c 20 5b 5d 2c 20 6e 65 77 20 49 n(pos, [], new I
25b0: 6e 74 28 70 6f 73 2c 20 30 29 29 0d 0a 09 09 09 nt(pos, 0)).....
25c0: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 41 53 54 20 70 );....}....AST p
25d0: 70 54 65 73 74 28 73 74 72 69 6e 67 20 70 6d 56 pTest(string pmV
25e0: 61 72 29 20 7b 0d 0a 09 09 09 41 53 54 20 63 20 ar) {.....AST c
25f0: 3d 20 6e 75 6c 6c 3b 0d 0a 09 09 09 66 6f 72 28 = null;.....for(
2600: 69 6e 74 20 69 3d 30 3b 20 69 3c 70 61 74 68 2e int i=0; i<path.
2610: 6c 65 6e 67 74 68 3b 20 2b 2b 69 29 0d 0a 09 09 length; ++i)....
2620: 09 09 63 20 3d 20 6f 70 41 6e 64 41 6e 64 28 63 ..c = opAndAnd(c
2630: 2c 20 68 61 73 28 61 63 63 65 73 73 28 70 6d 56 , has(access(pmV
2640: 61 72 2c 70 61 74 68 5b 30 2e 2e 69 5d 29 2c 20 ar,path[0..i]),
2650: 70 61 74 68 5b 69 5d 29 29 3b 0d 0a 09 09 09 72 path[i]));.....r
2660: 65 74 75 72 6e 20 63 3b 0d 0a 09 09 7d 0d 0a 09 eturn c;....}...
2670: 09 41 53 54 20 70 70 42 69 6e 64 28 73 74 72 69 .AST ppBind(stri
2680: 6e 67 20 70 6d 56 61 72 2c 20 41 53 54 20 74 68 ng pmVar, AST th
2690: 65 6e 44 6f 54 68 69 73 29 20 7b 20 72 65 74 75 enDoThis) { retu
26a0: 72 6e 20 74 68 65 6e 44 6f 54 68 69 73 3b 20 7d rn thenDoThis; }
26b0: 0d 0a 09 7d 0d 0a 09 63 6c 61 73 73 20 57 69 6c ...}...class Wil
26c0: 64 50 61 74 74 65 72 6e 20 3a 20 53 69 6e 67 6c dPattern : Singl
26d0: 65 50 61 74 74 65 72 6e 0d 0a 09 7b 0d 0a 09 09 ePattern...{....
26e0: 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 mixin SimpleClas
26f0: 73 3b 0d 0a 09 7d 0d 0a 09 63 6c 61 73 73 20 56 s;...}...class V
2700: 61 72 50 61 74 74 65 72 6e 20 3a 20 53 69 6e 67 arPattern : Sing
2710: 6c 65 50 61 74 74 65 72 6e 0d 0a 09 7b 0d 0a 09 lePattern...{...
2720: 09 73 74 72 69 6e 67 20 6e 61 6d 65 3b 0d 0a 09 .string name;...
2730: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 .mixin SimpleCla
2740: 73 73 3b 0d 0a 09 09 41 53 54 20 70 70 42 69 6e ss;....AST ppBin
2750: 64 28 73 74 72 69 6e 67 20 70 6d 56 61 72 2c 20 d(string pmVar,
2760: 41 53 54 20 74 68 65 6e 44 6f 54 68 69 73 29 20 AST thenDoThis)
2770: 7b 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 20 3d {.....auto pos =
2780: 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e currentPosition
2790: 28 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e ();.....return n
27a0: 65 77 20 4c 65 74 28 70 6f 73 2c 20 6e 61 6d 65 ew Let(pos, name
27b0: 2c 20 5b 5d 2c 20 61 63 63 65 73 73 28 70 6d 56 , [], access(pmV
27c0: 61 72 2c 70 61 74 68 29 2c 20 74 68 65 6e 44 6f ar,path), thenDo
27d0: 54 68 69 73 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d This);....}...}.
27e0: 0a 09 63 6c 61 73 73 20 43 6f 6e 73 74 61 6e 74 ..class Constant
27f0: 50 61 74 74 65 72 6e 20 3a 20 53 69 6e 67 6c 65 Pattern : Single
2800: 50 61 74 74 65 72 6e 0d 0a 09 7b 0d 0a 09 09 41 Pattern...{....A
2810: 53 54 20 65 3b 0d 0a 09 09 6d 69 78 69 6e 20 53 ST e;....mixin S
2820: 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 09 41 impleClass;....A
2830: 53 54 20 70 70 54 65 73 74 28 73 74 72 69 6e 67 ST ppTest(string
2840: 20 70 6d 56 61 72 29 20 7b 0d 0a 09 09 09 61 75 pmVar) {.....au
2850: 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 to pos = current
2860: 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 Position();.....
2870: 72 65 74 75 72 6e 20 6f 70 41 6e 64 41 6e 64 28 return opAndAnd(
2880: 20 73 75 70 65 72 2e 70 70 54 65 73 74 28 70 6d super.ppTest(pm
2890: 56 61 72 29 2c 0d 0a 09 09 09 09 6e 65 77 20 41 Var),......new A
28a0: 70 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 pp(pos, new Var(
28b0: 70 6f 73 2c 22 3d 3d 22 29 2c 20 61 63 63 65 73 pos,"=="), acces
28c0: 73 28 70 6d 56 61 72 2c 70 61 74 68 29 2c 20 65 s(pmVar,path), e
28d0: 29 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d 0d 0a 09 ).....);....}...
28e0: 7d 0d 0a 0d 0a 09 53 69 6e 67 6c 65 50 61 74 74 }.....SinglePatt
28f0: 65 72 6e 5b 5d 20 70 61 72 73 65 50 61 74 74 65 ern[] parsePatte
2900: 72 6e 28 73 74 72 69 6e 67 5b 5d 20 70 61 74 68 rn(string[] path
2910: 20 3d 20 6e 75 6c 6c 29 0d 0a 09 7b 0d 0a 09 09 = null)...{....
2920: 53 69 6e 67 6c 65 50 61 74 74 65 72 6e 5b 5d 20 SinglePattern[]
2930: 72 65 73 75 6c 74 3b 0d 0a 09 09 69 66 28 20 74 result;....if( t
2940: 72 79 45 61 74 28 22 7b 22 29 20 29 0d 0a 09 09 ryEat("{") )....
2950: 7b 0d 0a 09 09 09 69 66 28 20 21 74 72 79 45 61 {.....if( !tryEa
2960: 74 28 22 7d 22 29 20 29 20 7b 0d 0a 09 09 09 09 t("}") ) {......
2970: 64 6f 20 7b 0d 0a 09 09 09 09 09 73 74 72 69 6e do {.......strin
2980: 67 20 6b 65 79 20 3d 20 65 61 74 49 64 28 22 69 g key = eatId("i
2990: 6e 20 74 61 62 6c 65 20 70 61 74 74 65 72 6e 22 n table pattern"
29a0: 2c 20 41 6c 6c 6f 77 51 75 6f 74 65 64 29 3b 0d , AllowQuoted);.
29b0: 0a 09 09 09 09 09 65 61 74 28 22 3a 22 2c 20 22 ......eat(":", "
29c0: 61 66 74 65 72 20 66 69 65 6c 64 2d 69 64 20 69 after field-id i
29d0: 6e 20 74 61 62 6c 65 20 70 61 74 74 65 72 6e 22 n table pattern"
29e0: 29 3b 0d 0a 09 09 09 09 09 72 65 73 75 6c 74 20 );.......result
29f0: 7e 3d 20 70 61 72 73 65 50 61 74 74 65 72 6e 28 ~= parsePattern(
2a00: 70 61 74 68 20 7e 20 6b 65 79 29 3b 0d 0a 09 09 path ~ key);....
2a10: 09 09 7d 20 77 68 69 6c 65 28 20 74 72 79 45 61 ..} while( tryEa
2a20: 74 28 22 2c 22 29 20 29 3b 0d 0a 09 09 09 09 65 t(",") );......e
2a30: 61 74 28 22 7d 22 2c 20 22 61 74 20 74 68 65 20 at("}", "at the
2a40: 65 6e 64 20 6f 66 20 74 61 62 6c 65 20 70 61 74 end of table pat
2a50: 74 65 72 6e 22 29 3b 0d 0a 09 09 09 7d 0d 0a 09 tern");.....}...
2a60: 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 7b 0d .}....else....{.
2a70: 0a 09 09 09 41 53 54 20 65 20 3d 20 45 28 30 29 ....AST e = E(0)
2a80: 3b 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 65 76 ;.....if(auto ev
2a90: 20 3d 20 63 61 73 74 28 56 61 72 29 65 29 0d 0a = cast(Var)e)..
2aa0: 09 09 09 09 69 66 28 65 76 2e 6e 61 6d 65 20 3d ....if(ev.name =
2ab0: 3d 20 22 5f 22 29 0d 0a 09 09 09 09 09 72 65 73 = "_").......res
2ac0: 75 6c 74 20 7e 3d 20 6e 65 77 20 57 69 6c 64 50 ult ~= new WildP
2ad0: 61 74 74 65 72 6e 28 70 61 74 68 29 3b 0d 0a 09 attern(path);...
2ae0: 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 72 65 ...else.......re
2af0: 73 75 6c 74 20 7e 3d 20 6e 65 77 20 56 61 72 50 sult ~= new VarP
2b00: 61 74 74 65 72 6e 28 70 61 74 68 2c 20 65 76 2e attern(path, ev.
2b10: 6e 61 6d 65 29 3b 0d 0a 09 09 09 65 6c 73 65 0d name);.....else.
2b20: 0a 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 6e .....result ~= n
2b30: 65 77 20 43 6f 6e 73 74 61 6e 74 50 61 74 74 65 ew ConstantPatte
2b40: 72 6e 28 70 61 74 68 2c 20 65 29 3b 0d 0a 09 09 rn(path, e);....
2b50: 7d 0d 0a 09 09 72 65 74 75 72 6e 20 72 65 73 75 }....return resu
2b60: 6c 74 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20 lt;...}.....AST
2b70: 70 70 54 65 73 74 28 73 74 72 69 6e 67 20 70 6d ppTest(string pm
2b80: 56 61 72 2c 20 53 69 6e 67 6c 65 50 61 74 74 65 Var, SinglePatte
2b90: 72 6e 5b 5d 20 70 61 74 73 29 0d 0a 09 7b 0d 0a rn[] pats)...{..
2ba0: 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 ..auto pos = cur
2bb0: 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d rentPosition();.
2bc0: 0a 09 09 41 53 54 20 63 6f 6e 64 20 3d 20 6e 75 ...AST cond = nu
2bd0: 6c 6c 3b 0d 0a 09 09 66 6f 72 65 61 63 68 28 70 ll;....foreach(p
2be0: 3b 20 70 61 74 73 29 20 7b 0d 0a 09 09 09 41 53 ; pats) {.....AS
2bf0: 54 20 63 32 20 3d 20 70 2e 70 70 54 65 73 74 28 T c2 = p.ppTest(
2c00: 70 6d 56 61 72 29 3b 0d 0a 09 09 09 69 66 28 20 pmVar);.....if(
2c10: 63 32 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 c2 !is null )...
2c20: 09 09 09 63 6f 6e 64 20 3d 20 63 6f 6e 64 20 69 ...cond = cond i
2c30: 73 20 6e 75 6c 6c 20 3f 20 63 32 0d 0a 09 09 09 s null ? c2.....
2c40: 09 20 20 20 20 3a 20 6e 65 77 20 41 70 70 28 70 . : new App(p
2c50: 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 6f 73 2c os, new Var(pos,
2c60: 22 26 26 22 29 2c 20 63 6f 6e 64 2c 20 63 32 29 "&&"), cond, c2)
2c70: 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e ;....}....return
2c80: 20 63 6f 6e 64 20 69 73 20 6e 75 6c 6c 20 3f 20 cond is null ?
2c90: 6e 65 77 20 49 6e 74 28 63 75 72 72 65 6e 74 50 new Int(currentP
2ca0: 6f 73 69 74 69 6f 6e 28 29 2c 20 31 29 20 3a 20 osition(), 1) :
2cb0: 63 6f 6e 64 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 cond;...}.....AS
2cc0: 54 20 70 70 42 69 6e 64 28 73 74 72 69 6e 67 20 T ppBind(string
2cd0: 70 6d 56 61 72 2c 20 53 69 6e 67 6c 65 50 61 74 pmVar, SinglePat
2ce0: 74 65 72 6e 5b 5d 20 70 61 74 73 2c 20 41 53 54 tern[] pats, AST
2cf0: 20 74 68 65 6e 44 6f 54 68 69 73 29 0d 0a 09 7b thenDoThis)...{
2d00: 0d 0a 09 09 66 6f 72 65 61 63 68 28 70 3b 20 70 ....foreach(p; p
2d10: 61 74 73 29 0d 0a 09 09 09 74 68 65 6e 44 6f 54 ats).....thenDoT
2d20: 68 69 73 20 3d 20 70 2e 70 70 42 69 6e 64 28 70 his = p.ppBind(p
2d30: 6d 56 61 72 2c 20 74 68 65 6e 44 6f 54 68 69 73 mVar, thenDoThis
2d40: 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 74 68 65 );....return the
2d50: 6e 44 6f 54 68 69 73 3b 0d 0a 09 7d 0d 0a 0d 0a nDoThis;...}....
2d60: 09 41 53 54 20 70 61 72 73 65 49 64 28 29 0d 0a .AST parseId()..
2d70: 09 7b 0d 0a 09 09 73 63 6f 70 65 28 65 78 69 74 .{....scope(exit
2d80: 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d ) lex.popFront;.
2d90: 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 53 74 ...return new St
2da0: 72 28 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f r(currentPositio
2db0: 6e 28 29 2c 20 6c 65 78 2e 66 72 6f 6e 74 2e 73 n(), lex.front.s
2dc0: 74 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 tr);...}.....AST
2dd0: 20 70 61 72 73 65 4c 61 6d 62 64 61 41 66 74 65 parseLambdaAfte
2de0: 72 4f 70 65 6e 50 61 72 65 6e 28 4c 65 78 50 6f rOpenParen(LexPo
2df0: 73 69 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 7b 0d sition pos)...{.
2e00: 0a 09 09 50 61 72 61 6d 65 74 65 72 5b 5d 20 70 ...Parameter[] p
2e10: 61 72 61 6d 73 3b 0d 0a 09 09 77 68 69 6c 65 28 arams;....while(
2e20: 20 21 74 72 79 45 61 74 28 22 29 22 29 20 29 0d !tryEat(")") ).
2e30: 0a 09 09 7b 0d 0a 09 09 09 70 61 72 61 6d 73 20 ...{.....params
2e40: 7e 3d 20 70 61 72 73 65 50 61 72 61 6d 28 29 3b ~= parseParam();
2e50: 0d 0a 09 09 09 69 66 28 20 21 74 72 79 45 61 74 .....if( !tryEat
2e60: 28 22 2c 22 29 20 29 20 7b 0d 0a 09 09 09 09 65 (",") ) {......e
2e70: 61 74 28 22 29 22 2c 20 22 61 66 74 65 72 20 66 at(")", "after f
2e80: 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 65 unction paramete
2e90: 72 73 22 29 3b 0d 0a 09 09 09 09 62 72 65 61 6b rs");......break
2ea0: 3b 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a 09 09 ;.....}....}....
2eb0: 65 61 74 28 22 7b 22 2c 20 22 61 66 74 65 72 20 eat("{", "after
2ec0: 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 function paramet
2ed0: 65 72 73 22 29 3b 0d 0a 09 09 61 75 74 6f 20 66 ers");....auto f
2ee0: 75 6e 62 6f 64 79 20 3d 20 42 6f 64 79 28 29 3b unbody = Body();
2ef0: 0d 0a 09 09 65 61 74 28 22 7d 22 2c 20 22 61 66 ....eat("}", "af
2f00: 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 ter function bod
2f10: 79 22 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6e y");....return n
2f20: 65 77 20 46 75 6e 28 70 6f 73 2c 20 70 61 72 61 ew Fun(pos, para
2f30: 6d 73 2c 20 66 75 6e 62 6f 64 79 29 3b 0d 0a 09 ms, funbody);...
2f40: 7d 0d 0a 0d 0a 09 50 61 72 61 6d 65 74 65 72 20 }.....Parameter
2f50: 70 61 72 73 65 50 61 72 61 6d 28 29 0d 0a 09 7b parseParam()...{
2f60: 0d 0a 09 09 73 74 72 69 6e 67 20 76 61 72 3b 0d ....string var;.
2f70: 0a 09 09 73 74 72 69 6e 67 5b 5d 20 6c 61 79 3b ...string[] lay;
2f80: 0d 0a 09 09 77 68 69 6c 65 28 20 21 63 6c 6f 73 ....while( !clos
2f90: 69 6e 67 42 72 61 63 6b 65 74 28 29 20 26 26 20 ingBracket() &&
2fa0: 21 6c 65 78 2e 65 6d 70 74 79 20 26 26 20 6c 65 !lex.empty && le
2fb0: 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 22 2c 22 x.front.str!=","
2fc0: 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 74 6f )....{.....auto
2fd0: 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50 6f pos = currentPo
2fe0: 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 73 74 sition();.....st
2ff0: 72 69 6e 67 20 70 20 3d 20 65 61 74 49 64 28 22 ring p = eatId("
3000: 66 6f 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 for function par
3010: 61 6d 65 74 65 72 22 2c 20 41 6c 6c 6f 77 51 75 ameter", AllowQu
3020: 6f 74 65 64 29 3b 0d 0a 09 09 09 69 66 28 20 70 oted);.....if( p
3030: 20 3d 3d 20 22 40 22 20 29 0d 0a 09 09 09 09 6c == "@" )......l
3040: 61 79 20 7e 3d 20 22 40 22 20 7e 20 65 61 74 49 ay ~= "@" ~ eatI
3050: 64 28 22 61 66 74 65 72 20 40 22 2c 20 41 6c 6c d("after @", All
3060: 6f 77 51 75 6f 74 65 64 29 3b 0d 0a 09 09 09 65 owQuoted);.....e
3070: 6c 73 65 20 69 66 28 20 76 61 72 2e 65 6d 70 74 lse if( var.empt
3080: 79 20 29 0d 0a 09 09 09 09 76 61 72 20 3d 20 70 y )......var = p
3090: 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 ;.....else......
30a0: 74 68 72 6f 77 20 67 65 6e 65 78 21 50 61 72 73 throw genex!Pars
30b0: 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 eException(pos,
30c0: 22 6f 6e 65 20 70 61 72 61 6d 65 74 65 72 20 68 "one parameter h
30d0: 61 73 20 74 77 6f 20 6e 61 6d 65 73 22 29 3b 0d as two names");.
30e0: 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 6e ...}....return n
30f0: 65 77 20 50 61 72 61 6d 65 74 65 72 28 76 61 72 ew Parameter(var
3100: 2c 20 6c 61 79 29 3b 0d 0a 09 7d 0d 0a 0d 0a 70 , lay);...}....p
3110: 72 69 76 61 74 65 3a 0d 0a 09 4c 65 78 65 72 20 rivate:...Lexer
3120: 6c 65 78 3b 0d 0a 09 74 68 69 73 28 4c 65 78 65 lex;...this(Lexe
3130: 72 20 6c 65 78 29 20 7b 20 74 68 69 73 2e 6c 65 r lex) { this.le
3140: 78 20 3d 20 6c 65 78 3b 20 7d 0d 0a 0d 0a 09 62 x = lex; }.....b
3150: 6f 6f 6c 20 69 73 4e 75 6d 62 65 72 28 73 74 72 ool isNumber(str
3160: 69 6e 67 20 73 29 0d 0a 09 7b 0d 0a 09 09 72 65 ing s)...{....re
3170: 74 75 72 6e 20 66 69 6e 64 21 28 60 61 3c 27 30 turn find!(`a<'0
3180: 27 20 7c 7c 20 27 39 27 3c 61 60 29 28 73 29 2e ' || '9'<a`)(s).
3190: 65 6d 70 74 79 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 empty;...}......
31a0: 76 6f 69 64 20 65 61 74 28 73 74 72 69 6e 67 20 void eat(string
31b0: 6b 77 64 2c 20 6c 61 7a 79 20 73 74 72 69 6e 67 kwd, lazy string
31c0: 20 6d 73 67 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 msg)...{....if(
31d0: 20 21 74 72 79 45 61 74 28 6b 77 64 29 20 29 0d !tryEat(kwd) ).
31e0: 0a 09 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 ....if( lex.empt
31f0: 79 20 29 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 y )......throw g
3200: 65 6e 65 78 21 55 6e 65 78 70 65 63 74 65 64 45 enex!UnexpectedE
3210: 4f 46 28 0d 0a 09 09 09 09 09 63 75 72 72 65 6e OF(.......curren
3220: 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 73 70 72 tPosition(), spr
3230: 69 6e 74 66 21 22 25 73 20 69 73 20 65 78 70 65 intf!"%s is expe
3240: 63 74 65 64 20 25 73 20 62 75 74 20 6e 6f 74 20 cted %s but not
3250: 66 6f 75 6e 64 22 28 6b 77 64 2c 6d 73 67 29 29 found"(kwd,msg))
3260: 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 ;.....else......
3270: 74 68 72 6f 77 20 67 65 6e 65 78 21 50 61 72 73 throw genex!Pars
3280: 65 45 78 63 65 70 74 69 6f 6e 28 0d 0a 09 09 09 eException(.....
3290: 09 09 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f ..currentPositio
32a0: 6e 28 29 2c 20 73 70 72 69 6e 74 66 21 22 25 73 n(), sprintf!"%s
32b0: 20 69 73 20 65 78 70 65 63 74 65 64 20 66 6f 72 is expected for
32c0: 20 25 73 20 62 75 74 20 6e 6f 74 20 66 6f 75 6e %s but not foun
32d0: 64 22 28 6b 77 64 2c 6d 73 67 29 29 3b 0d 0a 09 d"(kwd,msg));...
32e0: 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 74 72 79 45 61 }.....bool tryEa
32f0: 74 28 73 74 72 69 6e 67 20 6b 77 64 29 0d 0a 09 t(string kwd)...
3300: 7b 0d 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 {....if( lex.emp
3310: 74 79 20 7c 7c 20 6c 65 78 2e 66 72 6f 6e 74 2e ty || lex.front.
3320: 71 75 6f 74 65 64 20 7c 7c 20 6c 65 78 2e 66 72 quoted || lex.fr
3330: 6f 6e 74 2e 73 74 72 21 3d 6b 77 64 20 29 0d 0a ont.str!=kwd )..
3340: 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b ...return false;
3350: 0d 0a 09 09 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 ....lex.popFront
3360: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 74 72 75 65 ;....return true
3370: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 65 6e 75 6d 20 7b ;...}.....enum {
3380: 41 6c 6c 6f 77 51 75 6f 74 65 64 3d 74 72 75 65 AllowQuoted=true
3390: 2c 20 44 69 73 61 6c 6c 6f 77 51 75 6f 74 65 64 , DisallowQuoted
33a0: 3d 66 61 6c 73 65 7d 3b 0d 0a 09 73 74 72 69 6e =false};...strin
33b0: 67 20 65 61 74 49 64 28 6c 61 7a 79 20 73 74 72 g eatId(lazy str
33c0: 69 6e 67 20 6d 73 67 2c 20 62 6f 6f 6c 20 61 71 ing msg, bool aq
33d0: 3d 44 69 73 61 6c 6c 6f 77 51 75 6f 74 65 64 29 =DisallowQuoted)
33e0: 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78 2e ...{....if( lex.
33f0: 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 72 6f empty ).....thro
3400: 77 20 67 65 6e 65 78 21 55 6e 65 78 70 65 63 74 w genex!Unexpect
3410: 65 64 45 4f 46 28 63 75 72 72 65 6e 74 50 6f 73 edEOF(currentPos
3420: 69 74 69 6f 6e 28 29 2c 20 22 69 64 65 6e 74 69 ition(), "identi
3430: 66 69 65 72 20 69 73 20 65 78 70 65 63 74 65 64 fier is expected
3440: 20 62 75 74 20 6e 6f 74 20 66 6f 75 6e 64 20 22 but not found "
3450: 7e 6d 73 67 29 3b 0d 0a 09 09 69 66 28 20 21 61 ~msg);....if( !a
3460: 71 20 26 26 20 6c 65 78 2e 66 72 6f 6e 74 2e 71 q && lex.front.q
3470: 75 6f 74 65 64 20 29 0d 0a 09 09 09 74 68 72 6f uoted ).....thro
3480: 77 20 67 65 6e 65 78 21 50 61 72 73 65 45 78 63 w genex!ParseExc
3490: 65 70 74 69 6f 6e 28 63 75 72 72 65 6e 74 50 6f eption(currentPo
34a0: 73 69 74 69 6f 6e 28 29 2c 20 22 69 64 65 6e 74 sition(), "ident
34b0: 69 66 69 65 72 20 69 73 20 65 78 70 65 63 74 65 ifier is expecte
34c0: 64 20 62 75 74 20 6e 6f 74 20 66 6f 75 6e 64 20 d but not found
34d0: 22 7e 6d 73 67 29 3b 0d 0a 09 09 73 63 6f 70 65 "~msg);....scope
34e0: 28 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 46 72 (exit) lex.popFr
34f0: 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6c ont;....return l
3500: 65 78 2e 66 72 6f 6e 74 2e 73 74 72 3b 0d 0a 09 ex.front.str;...
3510: 7d 0d 0a 0d 0a 09 41 53 54 20 64 6f 4e 6f 74 68 }.....AST doNoth
3520: 69 6e 67 45 78 70 72 65 73 73 69 6f 6e 28 29 0d ingExpression().
3530: 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 ..{....return ne
3540: 77 20 53 74 72 28 63 75 72 72 65 6e 74 50 6f 73 w Str(currentPos
3550: 69 74 69 6f 6e 28 29 2c 20 22 28 65 6d 70 74 79 ition(), "(empty
3560: 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 29 22 function body)"
3570: 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 4c 65 78 50 6f );...}.....LexPo
3580: 73 69 74 69 6f 6e 20 63 75 72 72 65 6e 74 50 6f sition currentPo
3590: 73 69 74 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 sition()...{....
35a0: 72 65 74 75 72 6e 20 6c 65 78 2e 65 6d 70 74 79 return lex.empty
35b0: 20 3f 20 6e 65 77 20 4c 65 78 50 6f 73 69 74 69 ? new LexPositi
35c0: 6f 6e 28 22 45 4f 46 22 2c 30 2c 30 29 20 3a 20 on("EOF",0,0) :
35d0: 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d 0a lex.front.pos;..
35e0: 09 7d 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 .}..}....unittes
35f0: 74 0d 0a 7b 0d 0a 09 6d 69 78 69 6e 20 45 61 73 t..{...mixin Eas
3600: 79 41 53 54 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 yAST;.....assert
3610: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
3620: 60 31 32 33 60 29 2c 20 69 6e 74 6c 28 31 32 33 `123`), intl(123
3630: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
3640: 70 61 72 73 65 53 74 72 69 6e 67 28 60 22 66 6f parseString(`"fo
3650: 6f 22 60 29 2c 20 73 74 72 6c 28 22 66 6f 6f 22 o"`), strl("foo"
3660: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
3670: 70 61 72 73 65 53 74 72 69 6e 67 28 60 66 75 6e parseString(`fun
3680: 28 29 7b 31 7d 60 29 2c 20 66 75 6e 28 5b 5d 2c (){1}`), fun([],
3690: 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 intl(1)));...ass
36a0: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
36b0: 6e 67 28 60 66 75 6e 28 78 29 7b 31 7d 60 29 2c ng(`fun(x){1}`),
36c0: 20 66 75 6e 28 5b 22 78 22 5d 2c 69 6e 74 6c 28 fun(["x"],intl(
36d0: 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 1)));...assert_e
36e0: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 22 5c q(parseString("\
36f0: 75 30 33 42 42 28 29 7b 31 7d 22 29 2c 20 66 75 u03BB(){1}"), fu
3700: 6e 28 5b 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d n([],intl(1)));.
3710: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
3720: 65 53 74 72 69 6e 67 28 22 5c 75 30 33 42 42 28 eString("\u03BB(
3730: 78 29 7b 31 7d 22 29 2c 20 66 75 6e 28 5b 22 78 x){1}"), fun(["x
3740: 22 5d 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 "],intl(1)));...
3750: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
3760: 74 72 69 6e 67 28 60 31 3b 32 60 29 2c 20 6c 65 tring(`1;2`), le
3770: 74 28 22 5f 22 2c 22 22 2c 69 6e 74 6c 28 31 29 t("_","",intl(1)
3780: 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 ,intl(2)));...as
3790: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
37a0: 69 6e 67 28 60 31 3b 32 3b 60 29 2c 20 6c 65 74 ing(`1;2;`), let
37b0: 28 22 5f 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c ("_","",intl(1),
37c0: 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 intl(2)));...ass
37d0: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
37e0: 6e 67 28 60 6c 65 74 20 78 3d 31 20 69 6e 20 32 ng(`let x=1 in 2
37f0: 60 29 2c 20 6c 65 74 28 22 78 22 2c 22 22 2c 69 `), let("x","",i
3800: 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 ntl(1),intl(2)))
3810: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
3820: 72 73 65 53 74 72 69 6e 67 28 60 76 61 72 20 78 rseString(`var x
3830: 3d 31 3b 32 3b 60 29 2c 20 6c 65 74 28 22 78 22 =1;2;`), let("x"
3840: 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c ,"",intl(1),intl
3850: 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f (2)));...assert_
3860: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
3870: 64 65 66 20 78 3d 31 60 29 2c 20 6c 65 74 28 22 def x=1`), let("
3880: 78 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 76 61 x","",intl(1),va
3890: 72 28 22 78 22 29 29 29 3b 0d 0a 09 61 73 73 65 r("x")));...asse
38a0: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
38b0: 67 28 60 40 76 61 6c 20 78 3d 31 3b 60 29 2c 20 g(`@val x=1;`),
38c0: 6c 65 74 28 22 78 22 2c 22 40 76 61 6c 22 2c 69 let("x","@val",i
38d0: 6e 74 6c 28 31 29 2c 76 61 72 28 22 78 22 29 29 ntl(1),var("x"))
38e0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
38f0: 61 72 73 65 53 74 72 69 6e 67 28 60 40 74 79 70 arseString(`@typ
3900: 20 78 3d 22 23 69 6e 74 22 3b 60 29 2c 20 6c 65 x="#int";`), le
3910: 74 28 22 78 22 2c 22 40 74 79 70 22 2c 73 74 72 t("x","@typ",str
3920: 6c 28 22 23 69 6e 74 22 29 2c 76 61 72 28 22 78 l("#int"),var("x
3930: 22 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 ")));...assert_e
3940: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 66 q(parseString(`f
3950: 28 31 2c 32 29 60 29 2c 20 63 61 6c 6c 28 76 61 (1,2)`), call(va
3960: 72 28 22 66 22 29 2c 69 6e 74 6c 28 31 29 2c 69 r("f"),intl(1),i
3970: 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 ntl(2)));...asse
3980: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
3990: 67 28 60 69 66 20 31 20 74 68 65 6e 20 32 60 29 g(`if 1 then 2`)
39a0: 2c 20 63 61 6c 6c 28 76 61 72 28 22 69 66 22 29 , call(var("if")
39b0: 2c 69 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c ,intl(1),fun([],
39c0: 69 6e 74 6c 28 32 29 29 2c 66 75 6e 28 5b 5d 2c intl(2)),fun([],
39d0: 73 74 72 6c 28 22 28 65 6d 70 74 79 20 66 75 6e strl("(empty fun
39e0: 63 74 69 6f 6e 20 62 6f 64 79 29 22 29 29 29 29 ction body)"))))
39f0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
3a00: 72 73 65 53 74 72 69 6e 67 28 60 69 66 20 31 20 rseString(`if 1
3a10: 74 68 65 6e 3a 20 32 20 65 6c 73 65 28 33 29 60 then: 2 else(3)`
3a20: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 69 66 22 ), call(var("if"
3a30: 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d ),intl(1),fun([]
3a40: 2c 69 6e 74 6c 28 32 29 29 2c 66 75 6e 28 5b 5d ,intl(2)),fun([]
3a50: 2c 69 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 09 61 ,intl(3))));...a
3a60: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 ssert_eq(parseSt
3a70: 72 69 6e 67 28 60 28 69 66 20 31 20 74 68 65 6e ring(`(if 1 then
3a80: 20 28 29 20 65 6c 73 65 20 33 29 28 29 28 29 60 () else 3)()()`
3a90: 29 2c 0d 0a 09 09 63 61 6c 6c 28 63 61 6c 6c 28 ),....call(call(
3aa0: 63 61 6c 6c 28 76 61 72 28 22 69 66 22 29 2c 69 call(var("if"),i
3ab0: 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c 73 74 ntl(1),fun([],st
3ac0: 72 6c 28 22 28 65 6d 70 74 79 20 66 75 6e 63 74 rl("(empty funct
3ad0: 69 6f 6e 20 62 6f 64 79 29 22 29 29 2c 66 75 6e ion body)")),fun
3ae0: 28 5b 5d 2c 69 6e 74 6c 28 33 29 29 29 29 29 29 ([],intl(3))))))
3af0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
3b00: 72 73 65 53 74 72 69 6e 67 28 60 31 2b 32 2a 33 rseString(`1+2*3
3b10: 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b 22 `), call(var("+"
3b20: 29 2c 69 6e 74 6c 28 31 29 2c 63 61 6c 6c 28 76 ),intl(1),call(v
3b30: 61 72 28 22 2a 22 29 2c 69 6e 74 6c 28 32 29 2c ar("*"),intl(2),
3b40: 69 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 09 61 73 intl(3))));...as
3b50: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
3b60: 69 6e 67 28 60 28 31 2b 32 29 2a 33 60 29 2c 20 ing(`(1+2)*3`),
3b70: 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c 63 61 call(var("*"),ca
3b80: 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 6e 74 6c ll(var("+"),intl
3b90: 28 31 29 2c 69 6e 74 6c 28 32 29 29 2c 69 6e 74 (1),intl(2)),int
3ba0: 6c 28 33 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 l(3)));...assert
3bb0: 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 _eq(parseString(
3bc0: 60 31 2a 28 32 2b 33 29 60 29 2c 20 63 61 6c 6c `1*(2+3)`), call
3bd0: 28 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c 28 31 (var("*"),intl(1
3be0: 29 2c 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c ),call(var("+"),
3bf0: 69 6e 74 6c 28 32 29 2c 69 6e 74 6c 28 33 29 29 intl(2),intl(3))
3c00: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
3c10: 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2a 32 parseString(`1*2
3c20: 2b 33 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 +3`), call(var("
3c30: 2b 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 2a 22 +"),call(var("*"
3c40: 29 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 ),intl(1),intl(2
3c50: 29 29 2c 69 6e 74 6c 28 33 29 29 29 3b 0d 0a 09 )),intl(3)));...
3c60: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
3c70: 74 72 69 6e 67 28 60 40 78 28 31 29 60 29 2c 20 tring(`@x(1)`),
3c80: 6c 61 79 28 22 40 78 22 2c 20 69 6e 74 6c 28 31 lay("@x", intl(1
3c90: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
3ca0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 66 75 (parseString(`fu
3cb0: 6e 28 78 20 40 76 20 40 74 2c 20 79 2c 20 7a 20 n(x @v @t, y, z
3cc0: 40 74 29 7b 7d 60 29 2c 0d 0a 09 09 66 75 6e 70 @t){}`),....funp
3cd0: 28 5b 70 61 72 61 6d 28 22 78 22 2c 5b 22 40 76 ([param("x",["@v
3ce0: 22 2c 22 40 74 22 5d 29 2c 20 70 61 72 61 6d 28 ","@t"]), param(
3cf0: 22 79 22 2c 5b 5d 29 2c 20 70 61 72 61 6d 28 22 "y",[]), param("
3d00: 7a 22 2c 5b 22 40 74 22 5d 29 5d 2c 20 73 74 72 z",["@t"])], str
3d10: 6c 28 22 28 65 6d 70 74 79 20 66 75 6e 63 74 69 l("(empty functi
3d20: 6f 6e 20 62 6f 64 79 29 22 29 29 29 3b 0d 0a 0d on body)")));...
3d30: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
3d40: 65 53 74 72 69 6e 67 28 60 0d 0a 09 09 6c 65 74 eString(`....let
3d50: 20 78 20 3d 20 31 30 30 3b 20 23 63 6f 6d 6d 65 x = 100; #comme
3d60: 6e 74 0d 0a 09 09 6c 65 74 20 79 20 3d 20 32 30 nt....let y = 20
3d70: 30 3b 20 23 63 6f 6d 6d 65 6e 74 21 21 21 21 21 0; #comment!!!!!
3d80: 0d 0a 09 09 09 78 2b 79 0d 0a 09 60 29 2c 0d 0a .....x+y...`),..
3d90: 09 09 6c 65 74 28 22 78 22 2c 20 22 22 2c 20 69 ..let("x", "", i
3da0: 6e 74 6c 28 31 30 30 29 2c 20 6c 65 74 28 22 79 ntl(100), let("y
3db0: 22 2c 20 22 22 2c 20 69 6e 74 6c 28 32 30 30 29 ", "", intl(200)
3dc0: 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c , call(var("+"),
3dd0: 20 76 61 72 28 22 78 22 29 2c 20 76 61 72 28 22 var("x"), var("
3de0: 79 22 29 29 29 29 0d 0a 09 29 3b 0d 0a 0d 0a 09 y"))))...);.....
3df0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
3e00: 74 72 69 6e 67 28 60 0d 0a 09 09 76 61 72 20 66 tring(`....var f
3e10: 61 63 20 3d 20 66 75 6e 28 78 29 7b 20 69 66 28 ac = fun(x){ if(
3e20: 78 20 3c 3d 20 31 29 20 74 68 65 6e 20 31 20 65 x <= 1) then 1 e
3e30: 6c 73 65 20 78 2a 66 61 63 28 78 2d 31 29 20 7d lse x*fac(x-1) }
3e40: 3b 0d 0a 09 09 66 61 63 28 31 30 29 0d 0a 09 60 ;....fac(10)...`
3e50: 29 2c 0d 0a 09 09 6c 65 74 28 22 66 61 63 22 2c ),....let("fac",
3e60: 20 22 22 2c 20 66 75 6e 28 5b 22 78 22 5d 2c 0d "", fun(["x"],.
3e70: 0a 09 09 09 63 61 6c 6c 28 76 61 72 28 22 69 66 ....call(var("if
3e80: 22 29 2c 0d 0a 09 09 09 09 63 61 6c 6c 28 76 61 "),......call(va
3e90: 72 28 22 3c 3d 22 29 2c 20 76 61 72 28 22 78 22 r("<="), var("x"
3ea0: 29 2c 20 69 6e 74 6c 28 31 29 29 2c 0d 0a 09 09 ), intl(1)),....
3eb0: 09 09 66 75 6e 28 5b 5d 2c 20 69 6e 74 6c 28 31 ..fun([], intl(1
3ec0: 29 29 2c 0d 0a 09 09 09 09 66 75 6e 28 5b 5d 2c )),......fun([],
3ed0: 20 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c 20 call(var("*"),
3ee0: 76 61 72 28 22 78 22 29 2c 20 63 61 6c 6c 28 76 var("x"), call(v
3ef0: 61 72 28 22 66 61 63 22 29 2c 63 61 6c 6c 28 76 ar("fac"),call(v
3f00: 61 72 28 22 2d 22 29 2c 76 61 72 28 22 78 22 29 ar("-"),var("x")
3f10: 2c 69 6e 74 6c 28 31 29 29 29 29 29 0d 0a 09 09 ,intl(1)))))....
3f20: 09 29 29 2c 0d 0a 09 09 09 63 61 6c 6c 28 76 61 .)),.....call(va
3f30: 72 28 22 66 61 63 22 29 2c 69 6e 74 6c 28 31 30 r("fac"),intl(10
3f40: 29 29 0d 0a 09 09 29 0d 0a 09 29 3b 0d 0a 7d 0d ))....)...);..}.
3f50: 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a ...unittest..{..
3f60: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 55 6e .assert_throw!Un
3f70: 65 78 70 65 63 74 65 64 45 4f 46 28 70 61 72 73 expectedEOF(pars
3f80: 65 53 74 72 69 6e 67 28 60 31 2b 60 29 29 3b 0d eString(`1+`));.
3f90: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 50 ..assert_throw!P
3fa0: 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 61 arseException(pa
3fb0: 72 73 65 53 74 72 69 6e 67 28 60 31 2b 32 7d 60 rseString(`1+2}`
3fc0: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 ));...assert_thr
3fd0: 6f 77 21 55 6e 65 78 70 65 63 74 65 64 45 4f 46 ow!UnexpectedEOF
3fe0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 6c 65 (parseString(`le
3ff0: 74 20 22 78 22 60 29 29 3b 0d 0a 09 61 73 73 65 t "x"`));...asse
4000: 72 74 5f 74 68 72 6f 77 21 55 6e 65 78 70 65 63 rt_throw!Unexpec
4010: 74 65 64 45 4f 46 28 70 61 72 73 65 53 74 72 69 tedEOF(parseStri
4020: 6e 67 28 60 76 61 72 60 29 29 3b 0d 0a 09 61 73 ng(`var`));...as
4030: 73 65 72 74 5f 74 68 72 6f 77 21 50 61 72 73 65 sert_throw!Parse
4040: 45 78 63 65 70 74 69 6f 6e 28 70 61 72 73 65 53 Exception(parseS
4050: 74 72 69 6e 67 28 60 40 76 61 6c 20 78 20 3d 3d tring(`@val x ==
4060: 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 `));...assert_th
4070: 72 6f 77 21 50 61 72 73 65 45 78 63 65 70 74 69 row!ParseExcepti
4080: 6f 6e 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 on(parseString(`
4090: 69 66 28 29 7b 31 7d 60 29 29 3b 0d 0a 09 61 73 if(){1}`));...as
40a0: 73 65 72 74 5f 74 68 72 6f 77 21 55 6e 65 78 70 sert_throw!Unexp
40b0: 65 63 74 65 64 45 4f 46 28 70 61 72 73 65 53 74 ectedEOF(parseSt
40c0: 72 69 6e 67 28 60 66 28 60 29 29 3b 0d 0a 7d 0d ring(`f(`));..}.
40d0: 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a ...unittest..{..
40e0: 09 6d 69 78 69 6e 20 45 61 73 79 41 53 54 3b 0d .mixin EasyAST;.
40f0: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
4100: 65 53 74 72 69 6e 67 28 60 64 65 66 20 66 6f 6f eString(`def foo
4110: 28 78 29 20 7b 20 78 2b 31 20 7d 3b 20 66 6f 6f (x) { x+1 }; foo
4120: 60 29 2c 0d 0a 09 09 6c 65 74 28 22 66 6f 6f 22 `),....let("foo"
4130: 2c 20 22 22 2c 0d 0a 09 09 09 66 75 6e 28 5b 22 , "",.....fun(["
4140: 78 22 5d 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b x"], call(var("+
4150: 22 29 2c 20 76 61 72 28 22 78 22 29 2c 20 69 6e "), var("x"), in
4160: 74 6c 28 31 29 29 29 2c 0d 0a 09 09 09 76 61 72 tl(1))),.....var
4170: 28 22 66 6f 6f 22 29 29 0d 0a 09 29 3b 0d 0a 0d ("foo"))...);...
4180: 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 ..assert_eq(pars
4190: 65 53 74 72 69 6e 67 28 60 40 40 74 79 70 65 20 eString(`@@type
41a0: 28 20 78 20 29 20 7b 20 78 20 7d 60 29 2c 0d 0a ( x ) { x }`),..
41b0: 09 09 6c 65 74 28 22 40 74 79 70 65 22 2c 20 4c ..let("@type", L
41c0: 69 66 74 4c 61 79 65 72 2c 20 66 75 6e 28 5b 22 iftLayer, fun(["
41d0: 78 22 5d 2c 20 76 61 72 28 22 78 22 29 29 2c 20 x"], var("x")),
41e0: 6c 61 79 28 4c 69 66 74 4c 61 79 65 72 2c 20 76 lay(LiftLayer, v
41f0: 61 72 28 22 40 74 79 70 65 22 29 29 29 20 29 3b ar("@type"))) );
4200: 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 .....assert_eq(p
4210: 61 72 73 65 53 74 72 69 6e 67 28 60 7b 7d 60 29 arseString(`{}`)
4220: 2c 20 63 61 6c 6c 28 76 61 72 28 22 7b 7d 22 29 , call(var("{}")
4230: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
4240: 70 61 72 73 65 53 74 72 69 6e 67 28 60 7b 66 6f parseString(`{fo
4250: 6f 3a 31 2c 22 62 61 72 22 3a 32 7d 60 29 2c 0d o:1,"bar":2}`),.
4260: 0a 09 09 63 61 6c 6c 28 76 61 72 28 22 2e 3d 22 ...call(var(".="
4270: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2e 3d 22 ), call(var(".="
4280: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 7b 7d 22 ), call(var("{}"
4290: 29 29 2c 20 73 74 72 6c 28 22 66 6f 6f 22 29 2c )), strl("foo"),
42a0: 20 69 6e 74 6c 28 31 29 29 2c 20 73 74 72 6c 28 intl(1)), strl(
42b0: 22 62 61 72 22 29 2c 20 69 6e 74 6c 28 32 29 29 "bar"), intl(2))
42c0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
42d0: 61 72 73 65 53 74 72 69 6e 67 28 60 7b 7d 2e 66 arseString(`{}.f
42e0: 6f 6f 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 oo`), call(var("
42f0: 2e 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 7b 7d ."),call(var("{}
4300: 22 29 29 2c 73 74 72 6c 28 22 66 6f 6f 22 29 29 ")),strl("foo"))
4310: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
4320: 61 72 73 65 53 74 72 69 6e 67 28 60 7b 7d 2e 3f arseString(`{}.?
4330: 66 6f 6f 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 foo`), call(var(
4340: 22 2e 3f 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 ".?"),call(var("
4350: 7b 7d 22 29 29 2c 73 74 72 6c 28 22 66 6f 6f 22 {}")),strl("foo"
4360: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 )));...assert_eq
4370: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 78 7b (parseString(`x{
4380: 79 3a 31 7d 60 29 2c 20 63 61 6c 6c 28 76 61 72 y:1}`), call(var
4390: 28 22 2e 3d 22 29 2c 76 61 72 28 22 78 22 29 2c (".="),var("x"),
43a0: 73 74 72 6c 28 22 79 22 29 2c 69 6e 74 6c 28 31 strl("y"),intl(1
43b0: 29 29 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 )));..}....unitt
43c0: 65 73 74 0d 0a 7b 0d 0a 09 61 73 73 65 72 74 5f est..{...assert_
43d0: 6e 6f 74 68 72 6f 77 28 70 61 72 73 65 53 74 72 nothrow(parseStr
43e0: 69 6e 67 28 60 0d 0a 09 09 63 61 73 65 28 20 31 ing(`....case( 1
43f0: 20 29 0d 0a 09 09 09 77 68 65 6e 28 78 29 3a 20 ).....when(x):
4400: 31 0d 0a 09 60 29 29 3b 0d 0a 09 61 73 73 65 72 1...`));...asser
4410: 74 5f 6e 6f 74 68 72 6f 77 28 70 61 72 73 65 53 t_nothrow(parseS
4420: 74 72 69 6e 67 28 60 0d 0a 09 09 63 61 73 65 20 tring(`....case
4430: 31 0d 0a 09 09 09 77 68 65 6e 20 7b 61 61 61 61 1.....when {aaaa
4440: 3a 5f 7d 3a 20 31 0d 0a 09 60 29 29 3b 0d 0a 09 :_}: 1...`));...
4450: 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 70 assert_nothrow(p
4460: 61 72 73 65 53 74 72 69 6e 67 28 60 0d 0a 09 09 arseString(`....
4470: 63 61 73 65 20 31 0d 0a 09 09 09 77 68 65 6e 20 case 1.....when
4480: 7b 61 61 61 61 3a 40 76 61 6c 75 65 28 78 29 7d {aaaa:@value(x)}
4490: 3a 20 31 0d 0a 09 09 09 77 68 65 6e 20 7b 61 61 : 1.....when {aa
44a0: 61 61 3a 7b 62 62 62 3a 5f 7d 2c 20 63 63 63 3a aa:{bbb:_}, ccc:
44b0: 31 32 33 7d 3a 20 31 0d 0a 09 60 29 29 3b 0d 0a 123}: 1...`));..
44c0: 7d 0d 0a }..