Hex Artifact Content
Not logged in
Download

Artifact 06d6eadbdf40236035735ddd6eb565ade78140e3:

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 2e  ...if( tryEat(".
1970: 2e 2e 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09  ..") )....{.....
1980: 72 65 74 75 72 6e 20 6e 65 77 20 44 69 65 28 70  return new Die(p
1990: 6f 73 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28  os);....}....if(
19a0: 20 74 72 79 45 61 74 28 22 40 22 29 20 29 0d 0a   tryEat("@") )..
19b0: 09 09 7b 0d 0a 09 09 09 61 75 74 6f 20 6c 61 79  ..{.....auto lay
19c0: 20 3d 20 22 40 22 7e 65 61 74 49 64 28 22 66 6f   = "@"~eatId("fo
19d0: 72 20 6c 61 79 65 72 20 49 44 22 29 3b 0d 0a 09  r layer ID");...
19e0: 09 09 65 61 74 28 22 28 22 2c 20 22 66 6f 72 20  ..eat("(", "for 
19f0: 6c 61 79 65 72 65 64 20 65 78 65 63 75 74 69 6f  layered executio
1a00: 6e 22 29 3b 0d 0a 09 09 09 61 75 74 6f 20 65 20  n");.....auto e 
1a10: 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 09 65 61  = Body();.....ea
1a20: 74 28 22 29 22 2c 20 22 61 66 74 65 72 20 22 7e  t(")", "after "~
1a30: 6c 61 79 7e 22 28 2e 2e 2e 22 29 3b 0d 0a 09 09  lay~"(...");....
1a40: 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 61 79 28  .return new Lay(
1a50: 70 6f 73 2c 20 6c 61 79 2c 20 65 29 3b 0d 0a 09  pos, lay, e);...
1a60: 09 7d 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74  .}....if( tryEat
1a70: 28 22 28 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09  ("(") )....{....
1a80: 09 61 75 74 6f 20 65 20 3d 20 42 6f 64 79 28 29  .auto e = Body()
1a90: 3b 0d 0a 09 09 09 65 61 74 28 22 29 22 2c 20 22  ;.....eat(")", "
1aa0: 61 66 74 65 72 20 70 61 72 65 6e 74 68 65 73 69  after parenthesi
1ab0: 7a 65 64 20 65 78 70 72 65 73 73 69 6f 6e 22 29  zed expression")
1ac0: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 65 3b 0d  ;.....return e;.
1ad0: 0a 09 09 7d 0d 0a 09 09 69 66 28 20 74 72 79 45  ...}....if( tryE
1ae0: 61 74 28 22 7b 22 29 20 29 0d 0a 09 09 7b 0d 0a  at("{") )....{..
1af0: 09 09 09 41 53 54 20 65 20 3d 20 6e 65 77 20 41  ...AST e = new A
1b00: 70 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 28  pp(pos, new Var(
1b10: 70 6f 73 2c 22 7b 7d 22 29 29 3b 0d 0a 09 09 09  pos,"{}"));.....
1b20: 72 65 74 75 72 6e 20 70 61 72 73 65 54 61 62 6c  return parseTabl
1b30: 65 53 65 74 41 66 74 65 72 42 72 61 63 65 28 65  eSetAfterBrace(e
1b40: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 74  );....}....if( t
1b50: 72 79 45 61 74 28 22 69 66 22 29 20 29 0d 0a 09  ryEat("if") )...
1b60: 09 7b 0d 0a 09 09 09 72 65 74 75 72 6e 20 70 61  .{.....return pa
1b70: 72 73 65 49 66 41 66 74 65 72 49 66 28 70 6f 73  rseIfAfterIf(pos
1b80: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 74  );....}....if( t
1b90: 72 79 45 61 74 28 22 63 61 73 65 22 29 20 29 0d  ryEat("case") ).
1ba0: 0a 09 09 7b 0d 0a 09 09 09 72 65 74 75 72 6e 20  ...{.....return 
1bb0: 70 61 72 73 65 50 61 74 74 65 72 6e 4d 61 74 63  parsePatternMatc
1bc0: 68 28 70 6f 73 29 3b 0d 0a 09 09 7d 0d 0a 09 09  h(pos);....}....
1bd0: 69 66 28 20 74 72 79 45 61 74 28 22 66 75 6e 22  if( tryEat("fun"
1be0: 29 20 7c 7c 20 74 72 79 45 61 74 28 22 5c 75 30  ) || tryEat("\u0
1bf0: 33 42 42 22 29 20 29 20 2f 2f 20 6c 61 6d 62 64  3BB") ) // lambd
1c00: 61 21 21 0d 0a 09 09 7b 0d 0a 09 09 09 65 61 74  a!!....{.....eat
1c10: 28 22 28 22 2c 20 22 61 66 74 65 72 20 66 75 6e  ("(", "after fun
1c20: 22 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 70  ");.....return p
1c30: 61 72 73 65 4c 61 6d 62 64 61 41 66 74 65 72 4f  arseLambdaAfterO
1c40: 70 65 6e 50 61 72 65 6e 28 70 6f 73 29 3b 0d 0a  penParen(pos);..
1c50: 09 09 7d 0d 0a 09 09 73 63 6f 70 65 28 65 78 69  ..}....scope(exi
1c60: 74 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b  t) lex.popFront;
1c70: 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 56  ....return new V
1c80: 61 72 28 70 6f 73 2c 20 6c 65 78 2e 66 72 6f 6e  ar(pos, lex.fron
1c90: 74 2e 73 74 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09  t.str);...}.....
1ca0: 41 53 54 20 70 61 72 73 65 49 66 41 66 74 65 72  AST parseIfAfter
1cb0: 49 66 28 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70  If(LexPosition p
1cc0: 6f 73 29 0d 0a 09 7b 0d 0a 09 09 61 75 74 6f 20  os)...{....auto 
1cd0: 63 6f 6e 64 20 3d 20 45 28 30 29 3b 0d 0a 09 09  cond = E(0);....
1ce0: 61 75 74 6f 20 74 68 65 6e 50 6f 73 20 3d 20 63  auto thenPos = c
1cf0: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29  urrentPosition()
1d00: 3b 0d 0a 09 09 69 66 28 21 74 72 79 45 61 74 28  ;....if(!tryEat(
1d10: 22 3a 22 29 29 20 7b 0d 0a 09 09 09 65 61 74 28  ":")) {.....eat(
1d20: 22 74 68 65 6e 22 2c 20 22 61 66 74 65 72 20 69  "then", "after i
1d30: 66 20 63 6f 6e 64 69 74 69 6f 6e 22 29 3b 0d 0a  f condition");..
1d40: 09 09 09 74 72 79 45 61 74 28 22 3a 22 29 3b 0d  ...tryEat(":");.
1d50: 0a 09 09 7d 0d 0a 09 09 41 53 54 20 74 68 20 3d  ...}....AST th =
1d60: 20 42 6f 64 79 28 29 3b 0d 0a 09 09 61 75 74 6f   Body();....auto
1d70: 20 65 6c 20 3d 20 64 6f 4e 6f 74 68 69 6e 67 45   el = doNothingE
1d80: 78 70 72 65 73 73 69 6f 6e 28 29 3b 0d 0a 09 09  xpression();....
1d90: 61 75 74 6f 20 65 6c 73 65 50 6f 73 20 3d 20 63  auto elsePos = c
1da0: 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29  urrentPosition()
1db0: 3b 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28  ;....if( tryEat(
1dc0: 22 65 6c 73 65 22 29 20 29 20 7b 0d 0a 09 09 09  "else") ) {.....
1dd0: 74 72 79 45 61 74 28 22 3a 22 29 3b 0d 0a 09 09  tryEat(":");....
1de0: 09 65 6c 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09  .el = Body();...
1df0: 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77  .}....return new
1e00: 20 41 70 70 28 70 6f 73 2c 20 6e 65 77 20 56 61   App(pos, new Va
1e10: 72 28 70 6f 73 2c 22 69 66 22 29 2c 20 63 6f 6e  r(pos,"if"), con
1e20: 64 2c 20 6e 65 77 20 46 75 6e 28 74 68 65 6e 50  d, new Fun(thenP
1e30: 6f 73 2c 5b 5d 2c 74 68 29 2c 20 6e 65 77 20 46  os,[],th), new F
1e40: 75 6e 28 65 6c 73 65 50 6f 73 2c 5b 5d 2c 65 6c  un(elsePos,[],el
1e50: 29 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54 20  ));...}.....AST 
1e60: 70 61 72 73 65 50 61 74 74 65 72 6e 4d 61 74 63  parsePatternMatc
1e70: 68 28 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f  h(LexPosition po
1e80: 73 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 20 20 20 63  s)...{....//   c
1e90: 61 73 65 20 70 6d 45 78 70 72 20 43 41 53 45 53  ase pmExpr CASES
1ea0: 0d 0a 09 09 2f 2f 3d 3d 3e 0d 0a 09 09 2f 2f 20  ....//==>....// 
1eb0: 20 20 6c 65 74 20 70 6d 56 61 72 20 3d 20 70 6d    let pmVar = pm
1ec0: 45 78 70 72 20 69 6e 20 28 2e 2e 2e 20 6c 65 74  Expr in (... let
1ed0: 20 70 6d 54 72 79 46 69 72 73 74 20 3d 20 2e 2e   pmTryFirst = ..
1ee0: 2e 20 69 6e 20 70 6d 54 72 79 46 69 72 73 74 28  . in pmTryFirst(
1ef0: 29 29 0d 0a 09 09 41 53 54 20 20 20 70 6d 45 78  ))....AST   pmEx
1f00: 70 72 20 3d 20 45 28 30 29 3b 0d 0a 09 09 73 74  pr = E(0);....st
1f10: 72 69 6e 67 20 70 6d 56 61 72 20 3d 20 66 72 65  ring pmVar = fre
1f20: 73 68 56 61 72 4e 61 6d 65 28 29 3b 0d 0a 09 09  shVarName();....
1f30: 73 74 72 69 6e 67 20 70 6d 54 72 79 46 69 72 73  string pmTryFirs
1f40: 74 20 3d 20 66 72 65 73 68 56 61 72 4e 61 6d 65  t = freshVarName
1f50: 28 29 3b 0d 0a 09 09 41 53 54 20 20 20 70 6d 42  ();....AST   pmB
1f60: 6f 64 79 20 3d 20 70 61 72 73 65 50 61 74 74 65  ody = parsePatte
1f70: 72 6e 4d 61 74 63 68 43 61 73 65 73 28 70 6f 73  rnMatchCases(pos
1f80: 2c 20 70 6d 56 61 72 2c 20 70 6d 54 72 79 46 69  , pmVar, pmTryFi
1f90: 72 73 74 2c 0d 0a 09 09 09 6e 65 77 20 41 70 70  rst,.....new App
1fa0: 28 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 6f  (pos, new Var(po
1fb0: 73 2c 20 70 6d 54 72 79 46 69 72 73 74 29 29 29  s, pmTryFirst)))
1fc0: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20  ;....return new 
1fd0: 4c 65 74 28 70 6f 73 2c 20 70 6d 56 61 72 2c 20  Let(pos, pmVar, 
1fe0: 5b 5d 2c 20 70 6d 45 78 70 72 2c 20 70 6d 42 6f  [], pmExpr, pmBo
1ff0: 64 79 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54  dy);...}.....AST
2000: 20 70 61 72 73 65 50 61 74 74 65 72 6e 4d 61 74   parsePatternMat
2010: 63 68 43 61 73 65 73 28 4c 65 78 50 6f 73 69 74  chCases(LexPosit
2020: 69 6f 6e 20 63 61 73 65 50 6f 73 2c 20 73 74 72  ion casePos, str
2030: 69 6e 67 20 70 6d 56 61 72 2c 20 73 74 72 69 6e  ing pmVar, strin
2040: 67 20 74 72 79 54 68 69 73 42 72 61 6e 63 68 56  g tryThisBranchV
2050: 61 72 2c 20 41 53 54 20 74 68 65 6e 44 6f 54 68  ar, AST thenDoTh
2060: 69 73 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 20 20 20  is)...{....//   
2070: 20 77 68 65 6e 20 70 61 74 3a 20 63 42 6f 64 79   when pat: cBody
2080: 0d 0a 09 09 2f 2f 3d 3d 3e 0d 0a 09 09 2f 2f 20  ....//==>....// 
2090: 20 20 20 2e 2e 2e 20 6c 65 74 20 66 61 69 6c 42     ... let failB
20a0: 72 61 6e 63 68 56 61 72 20 3d 20 2e 2e 2e 20 69  ranchVar = ... i
20b0: 6e 0d 0a 09 09 2f 2f 20 20 20 20 6c 65 74 20 74  n....//    let t
20c0: 72 79 54 68 69 73 42 72 61 6e 63 68 56 61 72 20  ryThisBranchVar 
20d0: 3d 20 66 75 6e 28 29 7b 20 69 66 28 74 65 73 74  = fun(){ if(test
20e0: 29 7b 63 42 6f 64 79 7d 65 6c 73 65 7b 66 61 69  ){cBody}else{fai
20f0: 6c 42 72 61 6e 63 68 56 61 72 28 29 7d 20 7d 20  lBranchVar()} } 
2100: 69 6e 20 74 68 65 6e 44 6f 54 68 69 73 0d 0a 09  in thenDoThis...
2110: 09 69 66 28 20 74 72 79 45 61 74 28 22 77 68 65  .if( tryEat("whe
2120: 6e 22 29 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61  n") )....{.....a
2130: 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e  uto pos = curren
2140: 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09  tPosition();....
2150: 09 73 74 72 69 6e 67 20 66 61 69 6c 42 72 61 6e  .string failBran
2160: 63 68 56 61 72 20 3d 20 66 72 65 73 68 56 61 72  chVar = freshVar
2170: 4e 61 6d 65 28 29 3b 0d 0a 0d 0a 09 09 09 61 75  Name();.......au
2180: 74 6f 20 70 72 20 3d 20 70 61 72 73 65 50 61 74  to pr = parsePat
2190: 74 65 72 6e 28 29 3b 0d 0a 09 09 09 65 61 74 28  tern();.....eat(
21a0: 22 3a 22 2c 20 22 61 66 74 65 72 20 77 68 65 6e  ":", "after when
21b0: 20 70 61 74 74 65 72 6e 22 29 3b 0d 0a 09 09 09   pattern");.....
21c0: 41 53 54 20 63 42 6f 64 79 20 3d 20 42 6f 64 79  AST cBody = Body
21d0: 28 29 3b 0d 0a 09 09 09 41 53 54 20 6a 75 64 67  ();.....AST judg
21e0: 65 6d 65 6e 74 20 3d 20 6e 65 77 20 41 70 70 28  ement = new App(
21f0: 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 6f 73  pos, new Var(pos
2200: 2c 20 22 69 66 22 29 2c 0d 0a 09 09 09 09 70 70  , "if"),......pp
2210: 54 65 73 74 28 70 6d 56 61 72 2c 20 70 72 29 2c  Test(pmVar, pr),
2220: 20 6e 65 77 20 46 75 6e 28 70 6f 73 2c 5b 5d 2c   new Fun(pos,[],
2230: 70 70 42 69 6e 64 28 70 6d 56 61 72 2c 20 70 72  ppBind(pmVar, pr
2240: 2c 20 63 42 6f 64 79 29 29 2c 0d 0a 09 09 09 09  , cBody)),......
2250: 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 66 61 69  new Var(pos, fai
2260: 6c 42 72 61 6e 63 68 56 61 72 29 29 3b 0d 0a 09  lBranchVar));...
2270: 09 09 72 65 74 75 72 6e 20 70 61 72 73 65 50 61  ..return parsePa
2280: 74 74 65 72 6e 4d 61 74 63 68 43 61 73 65 73 28  tternMatchCases(
2290: 63 61 73 65 50 6f 73 2c 20 70 6d 56 61 72 2c 20  casePos, pmVar, 
22a0: 66 61 69 6c 42 72 61 6e 63 68 56 61 72 2c 20 0d  failBranchVar, .
22b0: 0a 09 09 09 09 6e 65 77 20 4c 65 74 28 70 6f 73  .....new Let(pos
22c0: 2c 20 74 72 79 54 68 69 73 42 72 61 6e 63 68 56  , tryThisBranchV
22d0: 61 72 2c 20 5b 5d 2c 0d 0a 09 09 09 09 09 6e 65  ar, [],.......ne
22e0: 77 20 46 75 6e 28 70 6f 73 2c 5b 5d 2c 6a 75 64  w Fun(pos,[],jud
22f0: 67 65 6d 65 6e 74 29 2c 20 74 68 65 6e 44 6f 54  gement), thenDoT
2300: 68 69 73 29 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d  his).....);....}
2310: 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09  ....else....{...
2320: 09 09 41 53 54 20 64 6f 4e 6f 74 68 69 6e 67 20  ..AST doNothing 
2330: 3d 20 6e 65 77 20 46 75 6e 28 63 61 73 65 50 6f  = new Fun(casePo
2340: 73 2c 5b 5d 2c 20 6e 65 77 20 44 69 65 28 63 61  s,[], new Die(ca
2350: 73 65 50 6f 73 29 29 3b 0d 0a 09 09 09 72 65 74  sePos));.....ret
2360: 75 72 6e 20 6e 65 77 20 4c 65 74 28 63 61 73 65  urn new Let(case
2370: 50 6f 73 2c 20 74 72 79 54 68 69 73 42 72 61 6e  Pos, tryThisBran
2380: 63 68 56 61 72 2c 20 5b 5d 2c 20 64 6f 4e 6f 74  chVar, [], doNot
2390: 68 69 6e 67 2c 20 74 68 65 6e 44 6f 54 68 69 73  hing, thenDoThis
23a0: 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 0d 0a 2f  );....}...}..../
23b0: 2f 20 68 61 67 65 73 68 69 6b 75 20 74 65 6e 75  / hageshiku tenu
23c0: 6b 69 0d 0a 09 61 62 73 74 72 61 63 74 20 63 6c  ki...abstract cl
23d0: 61 73 73 20 53 69 6e 67 6c 65 50 61 74 74 65 72  ass SinglePatter
23e0: 6e 0d 0a 09 7b 0d 0a 09 09 73 74 72 69 6e 67 5b  n...{....string[
23f0: 5d 20 70 61 74 68 3b 0d 0a 09 09 6d 69 78 69 6e  ] path;....mixin
2400: 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 09   SimpleClass;...
2410: 09 70 72 69 76 61 74 65 20 41 53 54 20 61 63 63  .private AST acc
2420: 65 73 73 28 73 74 72 69 6e 67 20 70 6d 56 61 72  ess(string pmVar
2430: 2c 20 73 74 72 69 6e 67 5b 5d 20 70 61 74 68 29  , string[] path)
2440: 20 7b 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 20   {.....auto pos 
2450: 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f  = currentPositio
2460: 6e 28 29 3b 0d 0a 09 09 09 41 53 54 20 65 20 3d  n();.....AST e =
2470: 20 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 70 6d   new Var(pos, pm
2480: 56 61 72 29 3b 0d 0a 09 09 09 66 6f 72 65 61 63  Var);.....foreac
2490: 68 28 70 3b 20 70 61 74 68 29 0d 0a 09 09 09 09  h(p; path)......
24a0: 65 20 3d 20 6e 65 77 20 41 70 70 28 70 6f 73 2c  e = new App(pos,
24b0: 20 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 22 2e   new Var(pos, ".
24c0: 22 29 2c 20 65 2c 20 6e 65 77 20 53 74 72 28 70  "), e, new Str(p
24d0: 6f 73 2c 20 70 29 29 3b 0d 0a 09 09 09 72 65 74  os, p));.....ret
24e0: 75 72 6e 20 65 3b 0d 0a 09 09 7d 0d 0a 09 09 70  urn e;....}....p
24f0: 72 69 76 61 74 65 20 41 53 54 20 68 61 73 28 41  rivate AST has(A
2500: 53 54 20 65 2c 20 73 74 72 69 6e 67 20 6b 29 20  ST e, string k) 
2510: 7b 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 20 3d  {.....auto pos =
2520: 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e   currentPosition
2530: 28 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6f  ();.....return o
2540: 70 41 6e 64 41 6e 64 28 0d 0a 09 09 09 09 6e 65  pAndAnd(......ne
2550: 77 20 41 70 70 28 70 6f 73 2c 20 6e 65 77 20 56  w App(pos, new V
2560: 61 72 28 70 6f 73 2c 20 22 5f 69 73 74 62 6c 22  ar(pos, "_istbl"
2570: 29 2c 20 65 29 2c 0d 0a 09 09 09 09 6e 65 77 20  ), e),......new 
2580: 41 70 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 72  App(pos, new Var
2590: 28 70 6f 73 2c 20 22 2e 3f 22 29 2c 20 65 2c 20  (pos, ".?"), e, 
25a0: 6e 65 77 20 53 74 72 28 70 6f 73 2c 20 6b 29 29  new Str(pos, k))
25b0: 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d 0d 0a 09 09  .....);....}....
25c0: 70 72 69 76 61 74 65 20 41 53 54 20 6f 70 41 6e  private AST opAn
25d0: 64 41 6e 64 28 41 53 54 20 61 2c 20 41 53 54 20  dAnd(AST a, AST 
25e0: 62 29 20 7b 0d 0a 09 09 09 69 66 28 20 61 20 69  b) {.....if( a i
25f0: 73 20 6e 75 6c 6c 20 29 20 72 65 74 75 72 6e 20  s null ) return 
2600: 62 3b 0d 0a 09 09 09 69 66 28 20 62 20 69 73 20  b;.....if( b is 
2610: 6e 75 6c 6c 20 29 20 72 65 74 75 72 6e 20 61 3b  null ) return a;
2620: 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 20 3d 20  .....auto pos = 
2630: 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28  currentPosition(
2640: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65  );.....return ne
2650: 77 20 41 70 70 28 70 6f 73 2c 0d 0a 09 09 09 09  w App(pos,......
2660: 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 22 69 66  new Var(pos, "if
2670: 22 29 2c 0d 0a 09 09 09 09 61 2c 0d 0a 09 09 09  "),......a,.....
2680: 09 6e 65 77 20 46 75 6e 28 70 6f 73 2c 20 5b 5d  .new Fun(pos, []
2690: 2c 20 62 29 2c 0d 0a 09 09 09 09 6e 65 77 20 46  , b),......new F
26a0: 75 6e 28 70 6f 73 2c 20 5b 5d 2c 20 6e 65 77 20  un(pos, [], new 
26b0: 49 6e 74 28 70 6f 73 2c 20 30 29 29 0d 0a 09 09  Int(pos, 0))....
26c0: 09 29 3b 0d 0a 09 09 7d 0d 0a 09 09 41 53 54 20  .);....}....AST 
26d0: 70 70 54 65 73 74 28 73 74 72 69 6e 67 20 70 6d  ppTest(string pm
26e0: 56 61 72 29 20 7b 0d 0a 09 09 09 41 53 54 20 63  Var) {.....AST c
26f0: 20 3d 20 6e 75 6c 6c 3b 0d 0a 09 09 09 66 6f 72   = null;.....for
2700: 28 69 6e 74 20 69 3d 30 3b 20 69 3c 70 61 74 68  (int i=0; i<path
2710: 2e 6c 65 6e 67 74 68 3b 20 2b 2b 69 29 0d 0a 09  .length; ++i)...
2720: 09 09 09 63 20 3d 20 6f 70 41 6e 64 41 6e 64 28  ...c = opAndAnd(
2730: 63 2c 20 68 61 73 28 61 63 63 65 73 73 28 70 6d  c, has(access(pm
2740: 56 61 72 2c 70 61 74 68 5b 30 2e 2e 69 5d 29 2c  Var,path[0..i]),
2750: 20 70 61 74 68 5b 69 5d 29 29 3b 0d 0a 09 09 09   path[i]));.....
2760: 72 65 74 75 72 6e 20 63 3b 0d 0a 09 09 7d 0d 0a  return c;....}..
2770: 09 09 41 53 54 20 70 70 42 69 6e 64 28 73 74 72  ..AST ppBind(str
2780: 69 6e 67 20 70 6d 56 61 72 2c 20 41 53 54 20 74  ing pmVar, AST t
2790: 68 65 6e 44 6f 54 68 69 73 29 20 7b 20 72 65 74  henDoThis) { ret
27a0: 75 72 6e 20 74 68 65 6e 44 6f 54 68 69 73 3b 20  urn thenDoThis; 
27b0: 7d 0d 0a 09 7d 0d 0a 09 63 6c 61 73 73 20 57 69  }...}...class Wi
27c0: 6c 64 50 61 74 74 65 72 6e 20 3a 20 53 69 6e 67  ldPattern : Sing
27d0: 6c 65 50 61 74 74 65 72 6e 0d 0a 09 7b 0d 0a 09  lePattern...{...
27e0: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61  .mixin SimpleCla
27f0: 73 73 3b 0d 0a 09 7d 0d 0a 09 63 6c 61 73 73 20  ss;...}...class 
2800: 56 61 72 50 61 74 74 65 72 6e 20 3a 20 53 69 6e  VarPattern : Sin
2810: 67 6c 65 50 61 74 74 65 72 6e 0d 0a 09 7b 0d 0a  glePattern...{..
2820: 09 09 73 74 72 69 6e 67 20 6e 61 6d 65 3b 0d 0a  ..string name;..
2830: 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c  ..mixin SimpleCl
2840: 61 73 73 3b 0d 0a 09 09 41 53 54 20 70 70 42 69  ass;....AST ppBi
2850: 6e 64 28 73 74 72 69 6e 67 20 70 6d 56 61 72 2c  nd(string pmVar,
2860: 20 41 53 54 20 74 68 65 6e 44 6f 54 68 69 73 29   AST thenDoThis)
2870: 20 7b 0d 0a 09 09 09 61 75 74 6f 20 70 6f 73 20   {.....auto pos 
2880: 3d 20 63 75 72 72 65 6e 74 50 6f 73 69 74 69 6f  = currentPositio
2890: 6e 28 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20  n();.....return 
28a0: 6e 65 77 20 4c 65 74 28 70 6f 73 2c 20 6e 61 6d  new Let(pos, nam
28b0: 65 2c 20 5b 5d 2c 20 61 63 63 65 73 73 28 70 6d  e, [], access(pm
28c0: 56 61 72 2c 70 61 74 68 29 2c 20 74 68 65 6e 44  Var,path), thenD
28d0: 6f 54 68 69 73 29 3b 0d 0a 09 09 7d 0d 0a 09 7d  oThis);....}...}
28e0: 0d 0a 09 63 6c 61 73 73 20 43 6f 6e 73 74 61 6e  ...class Constan
28f0: 74 50 61 74 74 65 72 6e 20 3a 20 53 69 6e 67 6c  tPattern : Singl
2900: 65 50 61 74 74 65 72 6e 0d 0a 09 7b 0d 0a 09 09  ePattern...{....
2910: 41 53 54 20 65 3b 0d 0a 09 09 6d 69 78 69 6e 20  AST e;....mixin 
2920: 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 09  SimpleClass;....
2930: 41 53 54 20 70 70 54 65 73 74 28 73 74 72 69 6e  AST ppTest(strin
2940: 67 20 70 6d 56 61 72 29 20 7b 0d 0a 09 09 09 61  g pmVar) {.....a
2950: 75 74 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e  uto pos = curren
2960: 74 50 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09  tPosition();....
2970: 09 72 65 74 75 72 6e 20 6f 70 41 6e 64 41 6e 64  .return opAndAnd
2980: 28 20 73 75 70 65 72 2e 70 70 54 65 73 74 28 70  ( super.ppTest(p
2990: 6d 56 61 72 29 2c 0d 0a 09 09 09 09 6e 65 77 20  mVar),......new 
29a0: 41 70 70 28 70 6f 73 2c 20 6e 65 77 20 56 61 72  App(pos, new Var
29b0: 28 70 6f 73 2c 22 3d 3d 22 29 2c 20 61 63 63 65  (pos,"=="), acce
29c0: 73 73 28 70 6d 56 61 72 2c 70 61 74 68 29 2c 20  ss(pmVar,path), 
29d0: 65 29 0d 0a 09 09 09 29 3b 0d 0a 09 09 7d 0d 0a  e).....);....}..
29e0: 09 7d 0d 0a 0d 0a 09 53 69 6e 67 6c 65 50 61 74  .}.....SinglePat
29f0: 74 65 72 6e 5b 5d 20 70 61 72 73 65 50 61 74 74  tern[] parsePatt
2a00: 65 72 6e 28 73 74 72 69 6e 67 5b 5d 20 70 61 74  ern(string[] pat
2a10: 68 20 3d 20 6e 75 6c 6c 29 0d 0a 09 7b 0d 0a 09  h = null)...{...
2a20: 09 53 69 6e 67 6c 65 50 61 74 74 65 72 6e 5b 5d  .SinglePattern[]
2a30: 20 72 65 73 75 6c 74 3b 0d 0a 09 09 69 66 28 20   result;....if( 
2a40: 74 72 79 45 61 74 28 22 7b 22 29 20 29 0d 0a 09  tryEat("{") )...
2a50: 09 7b 0d 0a 09 09 09 69 66 28 20 21 74 72 79 45  .{.....if( !tryE
2a60: 61 74 28 22 7d 22 29 20 29 20 7b 0d 0a 09 09 09  at("}") ) {.....
2a70: 09 64 6f 20 7b 0d 0a 09 09 09 09 09 73 74 72 69  .do {.......stri
2a80: 6e 67 20 6b 65 79 20 3d 20 65 61 74 49 64 28 22  ng key = eatId("
2a90: 69 6e 20 74 61 62 6c 65 20 70 61 74 74 65 72 6e  in table pattern
2aa0: 22 2c 20 41 6c 6c 6f 77 51 75 6f 74 65 64 29 3b  ", AllowQuoted);
2ab0: 0d 0a 09 09 09 09 09 65 61 74 28 22 3a 22 2c 20  .......eat(":", 
2ac0: 22 61 66 74 65 72 20 66 69 65 6c 64 2d 69 64 20  "after field-id 
2ad0: 69 6e 20 74 61 62 6c 65 20 70 61 74 74 65 72 6e  in table pattern
2ae0: 22 29 3b 0d 0a 09 09 09 09 09 72 65 73 75 6c 74  ");.......result
2af0: 20 7e 3d 20 70 61 72 73 65 50 61 74 74 65 72 6e   ~= parsePattern
2b00: 28 70 61 74 68 20 7e 20 6b 65 79 29 3b 0d 0a 09  (path ~ key);...
2b10: 09 09 09 7d 20 77 68 69 6c 65 28 20 74 72 79 45  ...} while( tryE
2b20: 61 74 28 22 2c 22 29 20 29 3b 0d 0a 09 09 09 09  at(",") );......
2b30: 65 61 74 28 22 7d 22 2c 20 22 61 74 20 74 68 65  eat("}", "at the
2b40: 20 65 6e 64 20 6f 66 20 74 61 62 6c 65 20 70 61   end of table pa
2b50: 74 74 65 72 6e 22 29 3b 0d 0a 09 09 09 7d 0d 0a  ttern");.....}..
2b60: 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 7b  ..}....else....{
2b70: 0d 0a 09 09 09 41 53 54 20 65 20 3d 20 45 28 30  .....AST e = E(0
2b80: 29 3b 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 65  );.....if(auto e
2b90: 76 20 3d 20 63 61 73 74 28 56 61 72 29 65 29 0d  v = cast(Var)e).
2ba0: 0a 09 09 09 09 69 66 28 65 76 2e 6e 61 6d 65 20  .....if(ev.name 
2bb0: 3d 3d 20 22 5f 22 29 0d 0a 09 09 09 09 09 72 65  == "_").......re
2bc0: 73 75 6c 74 20 7e 3d 20 6e 65 77 20 57 69 6c 64  sult ~= new Wild
2bd0: 50 61 74 74 65 72 6e 28 70 61 74 68 29 3b 0d 0a  Pattern(path);..
2be0: 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 72  ....else.......r
2bf0: 65 73 75 6c 74 20 7e 3d 20 6e 65 77 20 56 61 72  esult ~= new Var
2c00: 50 61 74 74 65 72 6e 28 70 61 74 68 2c 20 65 76  Pattern(path, ev
2c10: 2e 6e 61 6d 65 29 3b 0d 0a 09 09 09 65 6c 73 65  .name);.....else
2c20: 0d 0a 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20  ......result ~= 
2c30: 6e 65 77 20 43 6f 6e 73 74 61 6e 74 50 61 74 74  new ConstantPatt
2c40: 65 72 6e 28 70 61 74 68 2c 20 65 29 3b 0d 0a 09  ern(path, e);...
2c50: 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 72 65 73  .}....return res
2c60: 75 6c 74 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53 54  ult;...}.....AST
2c70: 20 70 70 54 65 73 74 28 73 74 72 69 6e 67 20 70   ppTest(string p
2c80: 6d 56 61 72 2c 20 53 69 6e 67 6c 65 50 61 74 74  mVar, SinglePatt
2c90: 65 72 6e 5b 5d 20 70 61 74 73 29 0d 0a 09 7b 0d  ern[] pats)...{.
2ca0: 0a 09 09 61 75 74 6f 20 70 6f 73 20 3d 20 63 75  ...auto pos = cu
2cb0: 72 72 65 6e 74 50 6f 73 69 74 69 6f 6e 28 29 3b  rrentPosition();
2cc0: 0d 0a 09 09 41 53 54 20 63 6f 6e 64 20 3d 20 6e  ....AST cond = n
2cd0: 75 6c 6c 3b 0d 0a 09 09 66 6f 72 65 61 63 68 28  ull;....foreach(
2ce0: 70 3b 20 70 61 74 73 29 20 7b 0d 0a 09 09 09 41  p; pats) {.....A
2cf0: 53 54 20 63 32 20 3d 20 70 2e 70 70 54 65 73 74  ST c2 = p.ppTest
2d00: 28 70 6d 56 61 72 29 3b 0d 0a 09 09 09 69 66 28  (pmVar);.....if(
2d10: 20 63 32 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a   c2 !is null )..
2d20: 09 09 09 09 63 6f 6e 64 20 3d 20 63 6f 6e 64 20  ....cond = cond 
2d30: 69 73 20 6e 75 6c 6c 20 3f 20 63 32 0d 0a 09 09  is null ? c2....
2d40: 09 09 20 20 20 20 3a 20 6e 65 77 20 41 70 70 28  ..    : new App(
2d50: 70 6f 73 2c 20 6e 65 77 20 56 61 72 28 70 6f 73  pos, new Var(pos
2d60: 2c 22 26 26 22 29 2c 20 63 6f 6e 64 2c 20 63 32  ,"&&"), cond, c2
2d70: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72  );....}....retur
2d80: 6e 20 63 6f 6e 64 20 69 73 20 6e 75 6c 6c 20 3f  n cond is null ?
2d90: 20 6e 65 77 20 49 6e 74 28 63 75 72 72 65 6e 74   new Int(current
2da0: 50 6f 73 69 74 69 6f 6e 28 29 2c 20 31 29 20 3a  Position(), 1) :
2db0: 20 63 6f 6e 64 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41   cond;...}.....A
2dc0: 53 54 20 70 70 42 69 6e 64 28 73 74 72 69 6e 67  ST ppBind(string
2dd0: 20 70 6d 56 61 72 2c 20 53 69 6e 67 6c 65 50 61   pmVar, SinglePa
2de0: 74 74 65 72 6e 5b 5d 20 70 61 74 73 2c 20 41 53  ttern[] pats, AS
2df0: 54 20 74 68 65 6e 44 6f 54 68 69 73 29 0d 0a 09  T thenDoThis)...
2e00: 7b 0d 0a 09 09 66 6f 72 65 61 63 68 28 70 3b 20  {....foreach(p; 
2e10: 70 61 74 73 29 0d 0a 09 09 09 74 68 65 6e 44 6f  pats).....thenDo
2e20: 54 68 69 73 20 3d 20 70 2e 70 70 42 69 6e 64 28  This = p.ppBind(
2e30: 70 6d 56 61 72 2c 20 74 68 65 6e 44 6f 54 68 69  pmVar, thenDoThi
2e40: 73 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 74 68  s);....return th
2e50: 65 6e 44 6f 54 68 69 73 3b 0d 0a 09 7d 0d 0a 0d  enDoThis;...}...
2e60: 0a 09 41 53 54 20 70 61 72 73 65 49 64 28 29 0d  ..AST parseId().
2e70: 0a 09 7b 0d 0a 09 09 73 63 6f 70 65 28 65 78 69  ..{....scope(exi
2e80: 74 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b  t) lex.popFront;
2e90: 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 53  ....return new S
2ea0: 74 72 28 63 75 72 72 65 6e 74 50 6f 73 69 74 69  tr(currentPositi
2eb0: 6f 6e 28 29 2c 20 6c 65 78 2e 66 72 6f 6e 74 2e  on(), lex.front.
2ec0: 73 74 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 41 53  str);...}.....AS
2ed0: 54 20 70 61 72 73 65 4c 61 6d 62 64 61 41 66 74  T parseLambdaAft
2ee0: 65 72 4f 70 65 6e 50 61 72 65 6e 28 4c 65 78 50  erOpenParen(LexP
2ef0: 6f 73 69 74 69 6f 6e 20 70 6f 73 29 0d 0a 09 7b  osition pos)...{
2f00: 0d 0a 09 09 50 61 72 61 6d 65 74 65 72 5b 5d 20  ....Parameter[] 
2f10: 70 61 72 61 6d 73 3b 0d 0a 09 09 77 68 69 6c 65  params;....while
2f20: 28 20 21 74 72 79 45 61 74 28 22 29 22 29 20 29  ( !tryEat(")") )
2f30: 0d 0a 09 09 7b 0d 0a 09 09 09 70 61 72 61 6d 73  ....{.....params
2f40: 20 7e 3d 20 70 61 72 73 65 50 61 72 61 6d 28 29   ~= parseParam()
2f50: 3b 0d 0a 09 09 09 69 66 28 20 21 74 72 79 45 61  ;.....if( !tryEa
2f60: 74 28 22 2c 22 29 20 29 20 7b 0d 0a 09 09 09 09  t(",") ) {......
2f70: 65 61 74 28 22 29 22 2c 20 22 61 66 74 65 72 20  eat(")", "after 
2f80: 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74  function paramet
2f90: 65 72 73 22 29 3b 0d 0a 09 09 09 09 62 72 65 61  ers");......brea
2fa0: 6b 3b 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a 09  k;.....}....}...
2fb0: 09 65 61 74 28 22 7b 22 2c 20 22 61 66 74 65 72  .eat("{", "after
2fc0: 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65   function parame
2fd0: 74 65 72 73 22 29 3b 0d 0a 09 09 61 75 74 6f 20  ters");....auto 
2fe0: 66 75 6e 62 6f 64 79 20 3d 20 42 6f 64 79 28 29  funbody = Body()
2ff0: 3b 0d 0a 09 09 65 61 74 28 22 7d 22 2c 20 22 61  ;....eat("}", "a
3000: 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 62 6f  fter function bo
3010: 64 79 22 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20  dy");....return 
3020: 6e 65 77 20 46 75 6e 28 70 6f 73 2c 20 70 61 72  new Fun(pos, par
3030: 61 6d 73 2c 20 66 75 6e 62 6f 64 79 29 3b 0d 0a  ams, funbody);..
3040: 09 7d 0d 0a 0d 0a 09 50 61 72 61 6d 65 74 65 72  .}.....Parameter
3050: 20 70 61 72 73 65 50 61 72 61 6d 28 29 0d 0a 09   parseParam()...
3060: 7b 0d 0a 09 09 73 74 72 69 6e 67 20 76 61 72 3b  {....string var;
3070: 0d 0a 09 09 73 74 72 69 6e 67 5b 5d 20 6c 61 79  ....string[] lay
3080: 3b 0d 0a 09 09 77 68 69 6c 65 28 20 21 63 6c 6f  ;....while( !clo
3090: 73 69 6e 67 42 72 61 63 6b 65 74 28 29 20 26 26  singBracket() &&
30a0: 20 21 6c 65 78 2e 65 6d 70 74 79 20 26 26 20 6c   !lex.empty && l
30b0: 65 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 22 2c  ex.front.str!=",
30c0: 22 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 61 75 74  " )....{.....aut
30d0: 6f 20 70 6f 73 20 3d 20 63 75 72 72 65 6e 74 50  o pos = currentP
30e0: 6f 73 69 74 69 6f 6e 28 29 3b 0d 0a 09 09 09 73  osition();.....s
30f0: 74 72 69 6e 67 20 70 20 3d 20 65 61 74 49 64 28  tring p = eatId(
3100: 22 66 6f 72 20 66 75 6e 63 74 69 6f 6e 20 70 61  "for function pa
3110: 72 61 6d 65 74 65 72 22 2c 20 41 6c 6c 6f 77 51  rameter", AllowQ
3120: 75 6f 74 65 64 29 3b 0d 0a 09 09 09 69 66 28 20  uoted);.....if( 
3130: 70 20 3d 3d 20 22 40 22 20 29 0d 0a 09 09 09 09  p == "@" )......
3140: 6c 61 79 20 7e 3d 20 22 40 22 20 7e 20 65 61 74  lay ~= "@" ~ eat
3150: 49 64 28 22 61 66 74 65 72 20 40 22 2c 20 41 6c  Id("after @", Al
3160: 6c 6f 77 51 75 6f 74 65 64 29 3b 0d 0a 09 09 09  lowQuoted);.....
3170: 65 6c 73 65 20 69 66 28 20 76 61 72 2e 65 6d 70  else if( var.emp
3180: 74 79 20 29 0d 0a 09 09 09 09 76 61 72 20 3d 20  ty )......var = 
3190: 70 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09  p;.....else.....
31a0: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 50 61 72  .throw genex!Par
31b0: 73 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c  seException(pos,
31c0: 20 22 6f 6e 65 20 70 61 72 61 6d 65 74 65 72 20   "one parameter 
31d0: 68 61 73 20 74 77 6f 20 6e 61 6d 65 73 22 29 3b  has two names");
31e0: 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20  ....}....return 
31f0: 6e 65 77 20 50 61 72 61 6d 65 74 65 72 28 76 61  new Parameter(va
3200: 72 2c 20 6c 61 79 29 3b 0d 0a 09 7d 0d 0a 0d 0a  r, lay);...}....
3210: 70 72 69 76 61 74 65 3a 0d 0a 09 4c 65 78 65 72  private:...Lexer
3220: 20 6c 65 78 3b 0d 0a 09 74 68 69 73 28 4c 65 78   lex;...this(Lex
3230: 65 72 20 6c 65 78 29 20 7b 20 74 68 69 73 2e 6c  er lex) { this.l
3240: 65 78 20 3d 20 6c 65 78 3b 20 7d 0d 0a 0d 0a 09  ex = lex; }.....
3250: 62 6f 6f 6c 20 69 73 4e 75 6d 62 65 72 28 73 74  bool isNumber(st
3260: 72 69 6e 67 20 73 29 0d 0a 09 7b 0d 0a 09 09 72  ring s)...{....r
3270: 65 74 75 72 6e 20 66 69 6e 64 21 28 60 61 3c 27  eturn find!(`a<'
3280: 30 27 20 7c 7c 20 27 39 27 3c 61 60 29 28 73 29  0' || '9'<a`)(s)
3290: 2e 65 6d 70 74 79 3b 0d 0a 09 7d 0d 0a 09 0d 0a  .empty;...}.....
32a0: 09 76 6f 69 64 20 65 61 74 28 73 74 72 69 6e 67  .void eat(string
32b0: 20 6b 77 64 2c 20 6c 61 7a 79 20 73 74 72 69 6e   kwd, lazy strin
32c0: 67 20 6d 73 67 29 0d 0a 09 7b 0d 0a 09 09 69 66  g msg)...{....if
32d0: 28 20 21 74 72 79 45 61 74 28 6b 77 64 29 20 29  ( !tryEat(kwd) )
32e0: 0d 0a 09 09 09 69 66 28 20 6c 65 78 2e 65 6d 70  .....if( lex.emp
32f0: 74 79 20 29 0d 0a 09 09 09 09 74 68 72 6f 77 20  ty )......throw 
3300: 67 65 6e 65 78 21 55 6e 65 78 70 65 63 74 65 64  genex!Unexpected
3310: 45 4f 46 28 0d 0a 09 09 09 09 09 63 75 72 72 65  EOF(.......curre
3320: 6e 74 50 6f 73 69 74 69 6f 6e 28 29 2c 20 73 70  ntPosition(), sp
3330: 72 69 6e 74 66 21 22 25 73 20 69 73 20 65 78 70  rintf!"%s is exp
3340: 65 63 74 65 64 20 25 73 20 62 75 74 20 6e 6f 74  ected %s but not
3350: 20 66 6f 75 6e 64 22 28 6b 77 64 2c 6d 73 67 29   found"(kwd,msg)
3360: 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09  );.....else.....
3370: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 50 61 72  .throw genex!Par
3380: 73 65 45 78 63 65 70 74 69 6f 6e 28 0d 0a 09 09  seException(....
3390: 09 09 09 63 75 72 72 65 6e 74 50 6f 73 69 74 69  ...currentPositi
33a0: 6f 6e 28 29 2c 20 73 70 72 69 6e 74 66 21 22 25  on(), sprintf!"%
33b0: 73 20 69 73 20 65 78 70 65 63 74 65 64 20 66 6f  s is expected fo
33c0: 72 20 25 73 20 62 75 74 20 6e 6f 74 20 66 6f 75  r %s but not fou
33d0: 6e 64 22 28 6b 77 64 2c 6d 73 67 29 29 3b 0d 0a  nd"(kwd,msg));..
33e0: 09 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 74 72 79 45  .}.....bool tryE
33f0: 61 74 28 73 74 72 69 6e 67 20 6b 77 64 29 0d 0a  at(string kwd)..
3400: 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d  .{....if( lex.em
3410: 70 74 79 20 7c 7c 20 6c 65 78 2e 66 72 6f 6e 74  pty || lex.front
3420: 2e 71 75 6f 74 65 64 20 7c 7c 20 6c 65 78 2e 66  .quoted || lex.f
3430: 72 6f 6e 74 2e 73 74 72 21 3d 6b 77 64 20 29 0d  ront.str!=kwd ).
3440: 0a 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65  ....return false
3450: 3b 0d 0a 09 09 6c 65 78 2e 70 6f 70 46 72 6f 6e  ;....lex.popFron
3460: 74 3b 0d 0a 09 09 72 65 74 75 72 6e 20 74 72 75  t;....return tru
3470: 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 65 6e 75 6d 20  e;...}.....enum 
3480: 7b 41 6c 6c 6f 77 51 75 6f 74 65 64 3d 74 72 75  {AllowQuoted=tru
3490: 65 2c 20 44 69 73 61 6c 6c 6f 77 51 75 6f 74 65  e, DisallowQuote
34a0: 64 3d 66 61 6c 73 65 7d 3b 0d 0a 09 73 74 72 69  d=false};...stri
34b0: 6e 67 20 65 61 74 49 64 28 6c 61 7a 79 20 73 74  ng eatId(lazy st
34c0: 72 69 6e 67 20 6d 73 67 2c 20 62 6f 6f 6c 20 61  ring msg, bool a
34d0: 71 3d 44 69 73 61 6c 6c 6f 77 51 75 6f 74 65 64  q=DisallowQuoted
34e0: 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78  )...{....if( lex
34f0: 2e 65 6d 70 74 79 20 29 0d 0a 09 09 09 74 68 72  .empty ).....thr
3500: 6f 77 20 67 65 6e 65 78 21 55 6e 65 78 70 65 63  ow genex!Unexpec
3510: 74 65 64 45 4f 46 28 63 75 72 72 65 6e 74 50 6f  tedEOF(currentPo
3520: 73 69 74 69 6f 6e 28 29 2c 20 22 69 64 65 6e 74  sition(), "ident
3530: 69 66 69 65 72 20 69 73 20 65 78 70 65 63 74 65  ifier is expecte
3540: 64 20 62 75 74 20 6e 6f 74 20 66 6f 75 6e 64 20  d but not found 
3550: 22 7e 6d 73 67 29 3b 0d 0a 09 09 69 66 28 20 21  "~msg);....if( !
3560: 61 71 20 26 26 20 6c 65 78 2e 66 72 6f 6e 74 2e  aq && lex.front.
3570: 71 75 6f 74 65 64 20 29 0d 0a 09 09 09 74 68 72  quoted ).....thr
3580: 6f 77 20 67 65 6e 65 78 21 50 61 72 73 65 45 78  ow genex!ParseEx
3590: 63 65 70 74 69 6f 6e 28 63 75 72 72 65 6e 74 50  ception(currentP
35a0: 6f 73 69 74 69 6f 6e 28 29 2c 20 22 69 64 65 6e  osition(), "iden
35b0: 74 69 66 69 65 72 20 69 73 20 65 78 70 65 63 74  tifier is expect
35c0: 65 64 20 62 75 74 20 6e 6f 74 20 66 6f 75 6e 64  ed but not found
35d0: 20 22 7e 6d 73 67 29 3b 0d 0a 09 09 73 63 6f 70   "~msg);....scop
35e0: 65 28 65 78 69 74 29 20 6c 65 78 2e 70 6f 70 46  e(exit) lex.popF
35f0: 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 72 6e 20  ront;....return 
3600: 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 3b 0d 0a  lex.front.str;..
3610: 09 7d 0d 0a 0d 0a 09 41 53 54 20 64 6f 4e 6f 74  .}.....AST doNot
3620: 68 69 6e 67 45 78 70 72 65 73 73 69 6f 6e 28 29  hingExpression()
3630: 0d 0a 09 7b 0d 0a 09 09 72 65 74 75 72 6e 20 6e  ...{....return n
3640: 65 77 20 53 74 72 28 63 75 72 72 65 6e 74 50 6f  ew Str(currentPo
3650: 73 69 74 69 6f 6e 28 29 2c 20 22 28 65 6d 70 74  sition(), "(empt
3660: 79 20 66 75 6e 63 74 69 6f 6e 20 62 6f 64 79 29  y function body)
3670: 22 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 4c 65 78 50  ");...}.....LexP
3680: 6f 73 69 74 69 6f 6e 20 63 75 72 72 65 6e 74 50  osition currentP
3690: 6f 73 69 74 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09  osition()...{...
36a0: 09 72 65 74 75 72 6e 20 6c 65 78 2e 65 6d 70 74  .return lex.empt
36b0: 79 20 3f 20 6e 65 77 20 4c 65 78 50 6f 73 69 74  y ? new LexPosit
36c0: 69 6f 6e 28 22 45 4f 46 22 2c 30 2c 30 29 20 3a  ion("EOF",0,0) :
36d0: 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0d   lex.front.pos;.
36e0: 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65  ..}..}....unitte
36f0: 73 74 0d 0a 7b 0d 0a 09 6d 69 78 69 6e 20 45 61  st..{...mixin Ea
3700: 73 79 41 53 54 3b 0d 0a 0d 0a 09 61 73 73 65 72  syAST;.....asser
3710: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67  t_eq(parseString
3720: 28 60 31 32 33 60 29 2c 20 69 6e 74 6c 28 31 32  (`123`), intl(12
3730: 33 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71  3));...assert_eq
3740: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 22 66  (parseString(`"f
3750: 6f 6f 22 60 29 2c 20 73 74 72 6c 28 22 66 6f 6f  oo"`), strl("foo
3760: 22 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71  "));...assert_eq
3770: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 66 75  (parseString(`fu
3780: 6e 28 29 7b 31 7d 60 29 2c 20 66 75 6e 28 5b 5d  n(){1}`), fun([]
3790: 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73  ,intl(1)));...as
37a0: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72  sert_eq(parseStr
37b0: 69 6e 67 28 60 66 75 6e 28 78 29 7b 31 7d 60 29  ing(`fun(x){1}`)
37c0: 2c 20 66 75 6e 28 5b 22 78 22 5d 2c 69 6e 74 6c  , fun(["x"],intl
37d0: 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f  (1)));...assert_
37e0: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 22  eq(parseString("
37f0: 5c 75 30 33 42 42 28 29 7b 31 7d 22 29 2c 20 66  \u03BB(){1}"), f
3800: 75 6e 28 5b 5d 2c 69 6e 74 6c 28 31 29 29 29 3b  un([],intl(1)));
3810: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72  ...assert_eq(par
3820: 73 65 53 74 72 69 6e 67 28 22 5c 75 30 33 42 42  seString("\u03BB
3830: 28 78 2c 79 29 7b 31 7d 22 29 2c 20 66 75 6e 28  (x,y){1}"), fun(
3840: 5b 22 78 22 2c 22 79 22 5d 2c 69 6e 74 6c 28 31  ["x","y"],intl(1
3850: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71  )));...assert_eq
3860: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 3b  (parseString(`1;
3870: 32 60 29 2c 20 6c 65 74 28 22 5f 22 2c 22 22 2c  2`), let("_","",
3880: 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29  intl(1),intl(2))
3890: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70  );...assert_eq(p
38a0: 61 72 73 65 53 74 72 69 6e 67 28 60 31 3b 32 3b  arseString(`1;2;
38b0: 60 29 2c 20 6c 65 74 28 22 5f 22 2c 22 22 2c 69  `), let("_","",i
38c0: 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 29  ntl(1),intl(2)))
38d0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61  ;...assert_eq(pa
38e0: 72 73 65 53 74 72 69 6e 67 28 60 6c 65 74 20 78  rseString(`let x
38f0: 3d 31 20 69 6e 20 32 60 29 2c 20 6c 65 74 28 22  =1 in 2`), let("
3900: 78 22 2c 22 22 2c 69 6e 74 6c 28 31 29 2c 69 6e  x","",intl(1),in
3910: 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 72  tl(2)));...asser
3920: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67  t_eq(parseString
3930: 28 60 76 61 72 20 78 3d 31 3b 32 3b 60 29 2c 20  (`var x=1;2;`), 
3940: 6c 65 74 28 22 78 22 2c 22 22 2c 69 6e 74 6c 28  let("x","",intl(
3950: 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09  1),intl(2)));...
3960: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53  assert_eq(parseS
3970: 74 72 69 6e 67 28 60 64 65 66 20 78 3d 31 60 29  tring(`def x=1`)
3980: 2c 20 6c 65 74 28 22 78 22 2c 22 22 2c 69 6e 74  , let("x","",int
3990: 6c 28 31 29 2c 76 61 72 28 22 78 22 29 29 29 3b  l(1),var("x")));
39a0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72  ...assert_eq(par
39b0: 73 65 53 74 72 69 6e 67 28 60 40 76 61 6c 20 78  seString(`@val x
39c0: 3d 31 3b 60 29 2c 20 6c 65 74 28 22 78 22 2c 22  =1;`), let("x","
39d0: 40 76 61 6c 22 2c 69 6e 74 6c 28 31 29 2c 6c 61  @val",intl(1),la
39e0: 79 28 22 40 76 61 6c 22 2c 76 61 72 28 22 78 22  y("@val",var("x"
39f0: 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65  ))));...assert_e
3a00: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 40  q(parseString(`@
3a10: 74 79 70 20 78 3d 22 23 69 6e 74 22 3b 60 29 2c  typ x="#int";`),
3a20: 20 6c 65 74 28 22 78 22 2c 22 40 74 79 70 22 2c   let("x","@typ",
3a30: 73 74 72 6c 28 22 23 69 6e 74 22 29 2c 6c 61 79  strl("#int"),lay
3a40: 28 22 40 74 79 70 22 2c 76 61 72 28 22 78 22 29  ("@typ",var("x")
3a50: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71  )));...assert_eq
3a60: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 40 6d  (parseString(`@m
3a70: 61 63 72 6f 20 78 3d 31 60 29 2c 20 6c 65 74 28  acro x=1`), let(
3a80: 22 78 22 2c 22 40 6d 61 63 72 6f 22 2c 69 6e 74  "x","@macro",int
3a90: 6c 28 31 29 2c 73 74 72 6c 28 22 28 6d 61 63 72  l(1),strl("(macr
3aa0: 6f 20 64 65 66 69 6e 69 74 69 6f 6e 29 22 29 29  o definition)"))
3ab0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70  );...assert_eq(p
3ac0: 61 72 73 65 53 74 72 69 6e 67 28 60 66 28 31 2c  arseString(`f(1,
3ad0: 32 29 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22  2)`), call(var("
3ae0: 66 22 29 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c  f"),intl(1),intl
3af0: 28 32 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f  (2)));...assert_
3b00: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60  eq(parseString(`
3b10: 69 66 20 31 20 74 68 65 6e 20 32 60 29 2c 20 63  if 1 then 2`), c
3b20: 61 6c 6c 28 76 61 72 28 22 69 66 22 29 2c 69 6e  all(var("if"),in
3b30: 74 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c 69 6e 74  tl(1),fun([],int
3b40: 6c 28 32 29 29 2c 66 75 6e 28 5b 5d 2c 73 74 72  l(2)),fun([],str
3b50: 6c 28 22 28 65 6d 70 74 79 20 66 75 6e 63 74 69  l("(empty functi
3b60: 6f 6e 20 62 6f 64 79 29 22 29 29 29 29 3b 0d 0a  on body)"))));..
3b70: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65  .assert_eq(parse
3b80: 53 74 72 69 6e 67 28 60 69 66 20 31 20 74 68 65  String(`if 1 the
3b90: 6e 3a 20 32 20 65 6c 73 65 28 33 29 60 29 2c 20  n: 2 else(3)`), 
3ba0: 63 61 6c 6c 28 76 61 72 28 22 69 66 22 29 2c 69  call(var("if"),i
3bb0: 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c 69 6e  ntl(1),fun([],in
3bc0: 74 6c 28 32 29 29 2c 66 75 6e 28 5b 5d 2c 69 6e  tl(2)),fun([],in
3bd0: 74 6c 28 33 29 29 29 29 3b 0d 0a 09 61 73 73 65  tl(3))));...asse
3be0: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e  rt_eq(parseStrin
3bf0: 67 28 60 28 69 66 20 31 20 74 68 65 6e 20 28 29  g(`(if 1 then ()
3c00: 20 65 6c 73 65 20 33 29 28 29 28 29 60 29 2c 0d   else 3)()()`),.
3c10: 0a 09 09 63 61 6c 6c 28 63 61 6c 6c 28 63 61 6c  ...call(call(cal
3c20: 6c 28 76 61 72 28 22 69 66 22 29 2c 69 6e 74 6c  l(var("if"),intl
3c30: 28 31 29 2c 66 75 6e 28 5b 5d 2c 73 74 72 6c 28  (1),fun([],strl(
3c40: 22 28 65 6d 70 74 79 20 66 75 6e 63 74 69 6f 6e  "(empty function
3c50: 20 62 6f 64 79 29 22 29 29 2c 66 75 6e 28 5b 5d   body)")),fun([]
3c60: 2c 69 6e 74 6c 28 33 29 29 29 29 29 29 3b 0d 0a  ,intl(3))))));..
3c70: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65  .assert_eq(parse
3c80: 53 74 72 69 6e 67 28 60 31 2b 32 2a 33 60 29 2c  String(`1+2*3`),
3c90: 20 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69   call(var("+"),i
3ca0: 6e 74 6c 28 31 29 2c 63 61 6c 6c 28 76 61 72 28  ntl(1),call(var(
3cb0: 22 2a 22 29 2c 69 6e 74 6c 28 32 29 2c 69 6e 74  "*"),intl(2),int
3cc0: 6c 28 33 29 29 29 29 3b 0d 0a 09 61 73 73 65 72  l(3))));...asser
3cd0: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67  t_eq(parseString
3ce0: 28 60 28 31 2b 32 29 2a 33 60 29 2c 20 63 61 6c  (`(1+2)*3`), cal
3cf0: 6c 28 76 61 72 28 22 2a 22 29 2c 63 61 6c 6c 28  l(var("*"),call(
3d00: 76 61 72 28 22 2b 22 29 2c 69 6e 74 6c 28 31 29  var("+"),intl(1)
3d10: 2c 69 6e 74 6c 28 32 29 29 2c 69 6e 74 6c 28 33  ,intl(2)),intl(3
3d20: 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71  )));...assert_eq
3d30: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2a  (parseString(`1*
3d40: 28 32 2b 33 29 60 29 2c 20 63 61 6c 6c 28 76 61  (2+3)`), call(va
3d50: 72 28 22 2a 22 29 2c 69 6e 74 6c 28 31 29 2c 63  r("*"),intl(1),c
3d60: 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 6e 74  all(var("+"),int
3d70: 6c 28 32 29 2c 69 6e 74 6c 28 33 29 29 29 29 3b  l(2),intl(3))));
3d80: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 72  ...assert_eq(par
3d90: 73 65 53 74 72 69 6e 67 28 60 31 2a 32 2b 33 60  seString(`1*2+3`
3da0: 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 2b 22 29  ), call(var("+")
3db0: 2c 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c 69  ,call(var("*"),i
3dc0: 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 2c  ntl(1),intl(2)),
3dd0: 69 6e 74 6c 28 33 29 29 29 3b 0d 0a 09 61 73 73  intl(3)));...ass
3de0: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69  ert_eq(parseStri
3df0: 6e 67 28 60 40 78 28 31 29 60 29 2c 20 6c 61 79  ng(`@x(1)`), lay
3e00: 28 22 40 78 22 2c 20 69 6e 74 6c 28 31 29 29 29  ("@x", intl(1)))
3e10: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61  ;...assert_eq(pa
3e20: 72 73 65 53 74 72 69 6e 67 28 60 66 75 6e 28 78  rseString(`fun(x
3e30: 20 40 76 20 40 74 2c 20 79 2c 20 7a 20 40 74 29   @v @t, y, z @t)
3e40: 7b 7d 60 29 2c 0d 0a 09 09 66 75 6e 70 28 5b 70  {}`),....funp([p
3e50: 61 72 61 6d 28 22 78 22 2c 5b 22 40 76 22 2c 22  aram("x",["@v","
3e60: 40 74 22 5d 29 2c 20 70 61 72 61 6d 28 22 79 22  @t"]), param("y"
3e70: 2c 5b 5d 29 2c 20 70 61 72 61 6d 28 22 7a 22 2c  ,[]), param("z",
3e80: 5b 22 40 74 22 5d 29 5d 2c 20 73 74 72 6c 28 22  ["@t"])], strl("
3e90: 28 65 6d 70 74 79 20 66 75 6e 63 74 69 6f 6e 20  (empty function 
3ea0: 62 6f 64 79 29 22 29 29 29 3b 0d 0a 0d 0a 09 61  body)")));.....a
3eb0: 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74  ssert_eq(parseSt
3ec0: 72 69 6e 67 28 60 0d 0a 09 09 6c 65 74 20 78 20  ring(`....let x 
3ed0: 3d 20 31 30 30 3b 20 23 63 6f 6d 6d 65 6e 74 0d  = 100; #comment.
3ee0: 0a 09 09 6c 65 74 20 79 20 3d 20 32 30 30 3b 20  ...let y = 200; 
3ef0: 23 63 6f 6d 6d 65 6e 74 21 21 21 21 21 0d 0a 09  #comment!!!!!...
3f00: 09 09 78 2b 79 0d 0a 09 60 29 2c 0d 0a 09 09 6c  ..x+y...`),....l
3f10: 65 74 28 22 78 22 2c 20 22 22 2c 20 69 6e 74 6c  et("x", "", intl
3f20: 28 31 30 30 29 2c 20 6c 65 74 28 22 79 22 2c 20  (100), let("y", 
3f30: 22 22 2c 20 69 6e 74 6c 28 32 30 30 29 2c 20 63  "", intl(200), c
3f40: 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 20 76 61  all(var("+"), va
3f50: 72 28 22 78 22 29 2c 20 76 61 72 28 22 79 22 29  r("x"), var("y")
3f60: 29 29 29 0d 0a 09 29 3b 0d 0a 0d 0a 09 61 73 73  )))...);.....ass
3f70: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69  ert_eq(parseStri
3f80: 6e 67 28 60 0d 0a 09 09 76 61 72 20 66 61 63 20  ng(`....var fac 
3f90: 3d 20 66 75 6e 28 78 29 7b 20 69 66 28 78 20 3c  = fun(x){ if(x <
3fa0: 3d 20 31 29 20 74 68 65 6e 20 31 20 65 6c 73 65  = 1) then 1 else
3fb0: 20 78 2a 66 61 63 28 78 2d 31 29 20 7d 3b 0d 0a   x*fac(x-1) };..
3fc0: 09 09 66 61 63 28 31 30 29 0d 0a 09 60 29 2c 0d  ..fac(10)...`),.
3fd0: 0a 09 09 6c 65 74 28 22 66 61 63 22 2c 20 22 22  ...let("fac", ""
3fe0: 2c 20 66 75 6e 28 5b 22 78 22 5d 2c 0d 0a 09 09  , fun(["x"],....
3ff0: 09 63 61 6c 6c 28 76 61 72 28 22 69 66 22 29 2c  .call(var("if"),
4000: 0d 0a 09 09 09 09 63 61 6c 6c 28 76 61 72 28 22  ......call(var("
4010: 3c 3d 22 29 2c 20 76 61 72 28 22 78 22 29 2c 20  <="), var("x"), 
4020: 69 6e 74 6c 28 31 29 29 2c 0d 0a 09 09 09 09 66  intl(1)),......f
4030: 75 6e 28 5b 5d 2c 20 69 6e 74 6c 28 31 29 29 2c  un([], intl(1)),
4040: 0d 0a 09 09 09 09 66 75 6e 28 5b 5d 2c 20 63 61  ......fun([], ca
4050: 6c 6c 28 76 61 72 28 22 2a 22 29 2c 20 76 61 72  ll(var("*"), var
4060: 28 22 78 22 29 2c 20 63 61 6c 6c 28 76 61 72 28  ("x"), call(var(
4070: 22 66 61 63 22 29 2c 63 61 6c 6c 28 76 61 72 28  "fac"),call(var(
4080: 22 2d 22 29 2c 76 61 72 28 22 78 22 29 2c 69 6e  "-"),var("x"),in
4090: 74 6c 28 31 29 29 29 29 29 0d 0a 09 09 09 29 29  tl(1))))).....))
40a0: 2c 0d 0a 09 09 09 63 61 6c 6c 28 76 61 72 28 22  ,.....call(var("
40b0: 66 61 63 22 29 2c 69 6e 74 6c 28 31 30 29 29 0d  fac"),intl(10)).
40c0: 0a 09 09 29 0d 0a 09 29 3b 0d 0a 7d 0d 0a 0d 0a  ...)...);..}....
40d0: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 73  unittest..{...as
40e0: 73 65 72 74 5f 74 68 72 6f 77 21 55 6e 65 78 70  sert_throw!Unexp
40f0: 65 63 74 65 64 45 4f 46 28 70 61 72 73 65 53 74  ectedEOF(parseSt
4100: 72 69 6e 67 28 60 31 2b 60 29 29 3b 0d 0a 09 61  ring(`1+`));...a
4110: 73 73 65 72 74 5f 74 68 72 6f 77 21 50 61 72 73  ssert_throw!Pars
4120: 65 45 78 63 65 70 74 69 6f 6e 28 70 61 72 73 65  eException(parse
4130: 53 74 72 69 6e 67 28 60 31 2b 32 7d 60 29 29 3b  String(`1+2}`));
4140: 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21  ...assert_throw!
4150: 55 6e 65 78 70 65 63 74 65 64 45 4f 46 28 70 61  UnexpectedEOF(pa
4160: 72 73 65 53 74 72 69 6e 67 28 60 6c 65 74 20 22  rseString(`let "
4170: 78 22 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f  x"`));...assert_
4180: 74 68 72 6f 77 21 55 6e 65 78 70 65 63 74 65 64  throw!Unexpected
4190: 45 4f 46 28 70 61 72 73 65 53 74 72 69 6e 67 28  EOF(parseString(
41a0: 60 76 61 72 60 29 29 3b 0d 0a 09 61 73 73 65 72  `var`));...asser
41b0: 74 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78 63  t_throw!ParseExc
41c0: 65 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69  eption(parseStri
41d0: 6e 67 28 60 40 76 61 6c 20 78 20 3d 3d 60 29 29  ng(`@val x ==`))
41e0: 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77  ;...assert_throw
41f0: 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28  !ParseException(
4200: 70 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 28  parseString(`if(
4210: 29 7b 31 7d 60 29 29 3b 0d 0a 09 61 73 73 65 72  ){1}`));...asser
4220: 74 5f 74 68 72 6f 77 21 55 6e 65 78 70 65 63 74  t_throw!Unexpect
4230: 65 64 45 4f 46 28 70 61 72 73 65 53 74 72 69 6e  edEOF(parseStrin
4240: 67 28 60 66 28 60 29 29 3b 0d 0a 09 61 73 73 65  g(`f(`));...asse
4250: 72 74 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78  rt_throw!ParseEx
4260: 63 65 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72  ception(parseStr
4270: 69 6e 67 28 60 66 75 6e 28 78 20 79 29 7b 7d 60  ing(`fun(x y){}`
4280: 29 29 3b 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65  ));..}....unitte
4290: 73 74 0d 0a 7b 0d 0a 09 6d 69 78 69 6e 20 45 61  st..{...mixin Ea
42a0: 73 79 41 53 54 3b 0d 0a 09 61 73 73 65 72 74 5f  syAST;...assert_
42b0: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60  eq(parseString(`
42c0: 64 65 66 20 66 6f 6f 28 78 29 20 7b 20 78 2b 31  def foo(x) { x+1
42d0: 20 7d 3b 20 66 6f 6f 60 29 2c 0d 0a 09 09 6c 65   }; foo`),....le
42e0: 74 28 22 66 6f 6f 22 2c 20 22 22 2c 0d 0a 09 09  t("foo", "",....
42f0: 09 66 75 6e 28 5b 22 78 22 5d 2c 20 63 61 6c 6c  .fun(["x"], call
4300: 28 76 61 72 28 22 2b 22 29 2c 20 76 61 72 28 22  (var("+"), var("
4310: 78 22 29 2c 20 69 6e 74 6c 28 31 29 29 29 2c 0d  x"), intl(1))),.
4320: 0a 09 09 09 76 61 72 28 22 66 6f 6f 22 29 29 0d  ....var("foo")).
4330: 0a 09 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f  ..);.....assert_
4340: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60  eq(parseString(`
4350: 40 40 74 79 70 65 20 28 20 78 20 29 20 7b 20 78  @@type ( x ) { x
4360: 20 7d 60 29 2c 0d 0a 09 09 6c 65 74 28 22 40 74   }`),....let("@t
4370: 79 70 65 22 2c 20 4c 69 66 74 4c 61 79 65 72 2c  ype", LiftLayer,
4380: 20 66 75 6e 28 5b 22 78 22 5d 2c 20 76 61 72 28   fun(["x"], var(
4390: 22 78 22 29 29 2c 20 6c 61 79 28 4c 69 66 74 4c  "x")), lay(LiftL
43a0: 61 79 65 72 2c 20 76 61 72 28 22 40 74 79 70 65  ayer, var("@type
43b0: 22 29 29 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65  "))) );.....asse
43c0: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e  rt_eq(parseStrin
43d0: 67 28 60 7b 7d 60 29 2c 20 63 61 6c 6c 28 76 61  g(`{}`), call(va
43e0: 72 28 22 7b 7d 22 29 29 29 3b 0d 0a 09 61 73 73  r("{}")));...ass
43f0: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69  ert_eq(parseStri
4400: 6e 67 28 60 7b 66 6f 6f 3a 31 2c 22 62 61 72 22  ng(`{foo:1,"bar"
4410: 3a 32 7d 60 29 2c 0d 0a 09 09 63 61 6c 6c 28 76  :2}`),....call(v
4420: 61 72 28 22 2e 3d 22 29 2c 20 63 61 6c 6c 28 76  ar(".="), call(v
4430: 61 72 28 22 2e 3d 22 29 2c 20 63 61 6c 6c 28 76  ar(".="), call(v
4440: 61 72 28 22 7b 7d 22 29 29 2c 20 73 74 72 6c 28  ar("{}")), strl(
4450: 22 66 6f 6f 22 29 2c 20 69 6e 74 6c 28 31 29 29  "foo"), intl(1))
4460: 2c 20 73 74 72 6c 28 22 62 61 72 22 29 2c 20 69  , strl("bar"), i
4470: 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 65  ntl(2)));...asse
4480: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e  rt_eq(parseStrin
4490: 67 28 60 7b 7d 2e 66 6f 6f 60 29 2c 20 63 61 6c  g(`{}.foo`), cal
44a0: 6c 28 76 61 72 28 22 2e 22 29 2c 63 61 6c 6c 28  l(var("."),call(
44b0: 76 61 72 28 22 7b 7d 22 29 29 2c 73 74 72 6c 28  var("{}")),strl(
44c0: 22 66 6f 6f 22 29 29 29 3b 0d 0a 09 61 73 73 65  "foo")));...asse
44d0: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e  rt_eq(parseStrin
44e0: 67 28 60 7b 7d 2e 3f 66 6f 6f 60 29 2c 20 63 61  g(`{}.?foo`), ca
44f0: 6c 6c 28 76 61 72 28 22 2e 3f 22 29 2c 63 61 6c  ll(var(".?"),cal
4500: 6c 28 76 61 72 28 22 7b 7d 22 29 29 2c 73 74 72  l(var("{}")),str
4510: 6c 28 22 66 6f 6f 22 29 29 29 3b 0d 0a 09 61 73  l("foo")));...as
4520: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72  sert_eq(parseStr
4530: 69 6e 67 28 60 78 7b 79 3a 31 7d 60 29 2c 20 63  ing(`x{y:1}`), c
4540: 61 6c 6c 28 76 61 72 28 22 2e 3d 22 29 2c 76 61  all(var(".="),va
4550: 72 28 22 78 22 29 2c 73 74 72 6c 28 22 79 22 29  r("x"),strl("y")
4560: 2c 69 6e 74 6c 28 31 29 29 29 3b 0d 0a 7d 0d 0a  ,intl(1)));..}..
4570: 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09  ..unittest..{...
4580: 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 70  assert_nothrow(p
4590: 61 72 73 65 53 74 72 69 6e 67 28 60 0d 0a 09 09  arseString(`....
45a0: 63 61 73 65 28 20 31 20 29 0d 0a 09 09 09 77 68  case( 1 ).....wh
45b0: 65 6e 28 78 29 3a 20 31 0d 0a 09 60 29 29 3b 0d  en(x): 1...`));.
45c0: 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77  ..assert_nothrow
45d0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 0d 0a  (parseString(`..
45e0: 09 09 63 61 73 65 20 31 0d 0a 09 09 09 77 68 65  ..case 1.....whe
45f0: 6e 20 7b 61 61 61 61 3a 5f 7d 3a 20 31 0d 0a 09  n {aaaa:_}: 1...
4600: 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f  `));...assert_no
4610: 74 68 72 6f 77 28 70 61 72 73 65 53 74 72 69 6e  throw(parseStrin
4620: 67 28 60 0d 0a 09 09 63 61 73 65 20 31 0d 0a 09  g(`....case 1...
4630: 09 09 77 68 65 6e 20 7b 61 61 61 61 3a 40 76 61  ..when {aaaa:@va
4640: 6c 75 65 28 78 29 7d 3a 20 31 0d 0a 09 09 09 77  lue(x)}: 1.....w
4650: 68 65 6e 20 7b 61 61 61 61 3a 7b 62 62 62 3a 5f  hen {aaaa:{bbb:_
4660: 7d 2c 20 63 63 63 3a 31 32 33 7d 3a 20 31 0d 0a  }, ccc:123}: 1..
4670: 09 60 29 29 3b 0d 0a 7d 0d 0a                    .`));..}..
Fossil version [8d758d3715] 2012-10-22 12:48:04