0000: ef bb bf 2f 2a 2a 0a 20 2a 20 41 75 74 68 6f 72 .../**. * Author
0010: 73 3a 20 6b 2e 69 6e 61 62 61 0a 20 2a 20 4c 69 s: k.inaba. * Li
0020: 63 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 cense: NYSL 0.99
0030: 38 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 82 http://www.km
0040: 6f 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0a 20 onos.net/nysl/.
0050: 2a 0a 20 2a 20 50 61 72 73 65 72 20 66 6f 72 20 *. * Parser for
0060: 50 6f 6c 65 6d 79 20 70 72 6f 67 72 61 6d 6d 69 Polemy programmi
0070: 6e 67 20 6c 61 6e 67 75 61 67 65 0a 20 2a 2f 0a ng language. */.
0080: 6d 6f 64 75 6c 65 20 70 6f 6c 65 6d 79 2e 70 61 module polemy.pa
0090: 72 73 65 3b 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 rse;.import pole
00a0: 6d 79 2e 5f 63 6f 6d 6d 6f 6e 3b 0a 69 6d 70 6f my._common;.impo
00b0: 72 74 20 70 6f 6c 65 6d 79 2e 6c 65 78 3b 0a 69 rt polemy.lex;.i
00c0: 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 61 73 74 mport polemy.ast
00d0: 3b 0a 0d 0a 2f 2f 2f 20 45 78 63 65 70 74 69 6f ;.../// Exceptio
00e0: 6e 20 66 72 6f 6d 20 74 68 69 73 20 6d 6f 64 75 n from this modu
00f0: 6c 65 0d 0a 0a 63 6c 61 73 73 20 50 61 72 73 65 le...class Parse
0100: 45 78 63 65 70 74 69 6f 6e 20 3a 20 45 78 63 65 Exception : Exce
0110: 70 74 69 6f 6e 0a 7b 0a 09 63 6f 6e 73 74 20 4c ption.{..const L
0120: 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 3b 0d exPosition pos;.
0130: 0a 0d 0a 09 70 72 69 76 61 74 65 20 74 68 69 73 ....private this
0140: 28 20 63 6f 6e 73 74 20 4c 65 78 50 6f 73 69 74 ( const LexPosit
0150: 69 6f 6e 20 70 6f 73 2c 20 73 74 72 69 6e 67 20 ion pos, string
0160: 6d 73 67 20 29 0d 0a 09 09 7b 20 73 75 70 65 72 msg )....{ super
0170: 28 73 70 72 69 6e 74 66 21 22 25 73 20 5b 25 73 (sprintf!"%s [%s
0180: 5d 22 28 6d 73 67 2c 20 70 6f 73 29 29 3b 20 74 ]"(msg, pos)); t
0190: 68 69 73 2e 70 6f 73 20 3d 20 70 6f 73 3b 20 7d his.pos = pos; }
01a0: 0d 0a 7d 0a 0d 0a 70 72 69 76 61 74 65 20 61 75 ..}...private au
01b0: 74 6f 20 63 72 65 61 74 65 45 78 63 65 70 74 69 to createExcepti
01c0: 6f 6e 28 4c 65 78 65 72 29 28 4c 65 78 65 72 20 on(Lexer)(Lexer
01d0: 6c 65 78 2c 20 73 74 72 69 6e 67 20 6d 73 67 29 lex, string msg)
01e0: 0d 0a 09 7b 20 72 65 74 75 72 6e 20 6e 65 77 20 ...{ return new
01f0: 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 6c ParseException(l
0200: 65 78 2e 65 6d 70 74 79 3f 6e 75 6c 6c 3a 6c 65 ex.empty?null:le
0210: 78 2e 66 72 6f 6e 74 2e 70 6f 73 2c 20 6d 73 67 x.front.pos, msg
0220: 29 3b 20 7d 0d 0a 0a 2f 2f 2f 20 45 6e 74 72 79 ); }.../// Entry
0230: 20 70 6f 69 6e 74 20 6f 66 20 74 68 69 73 20 6d point of this m
0240: 6f 64 75 6c 65 0d 0a 0d 0a 61 75 74 6f 20 70 61 odule....auto pa
0250: 72 73 65 53 74 72 69 6e 67 28 53 2c 20 54 2e 2e rseString(S, T..
0260: 2e 29 28 53 20 73 74 72 2c 20 54 20 66 6e 5f 6c .)(S str, T fn_l
0270: 6e 5f 63 6e 29 0d 0a 09 7b 20 72 65 74 75 72 6e n_cn)...{ return
0280: 20 70 61 72 73 65 72 46 72 6f 6d 53 74 72 69 6e parserFromStrin
0290: 67 28 73 74 72 2c 20 66 6e 5f 6c 6e 5f 63 6e 29 g(str, fn_ln_cn)
02a0: 2e 70 61 72 73 65 28 29 3b 20 7d 0d 0a 0d 0a 61 .parse(); }....a
02b0: 75 74 6f 20 70 61 72 73 65 46 69 6c 65 28 53 2c uto parseFile(S,
02c0: 20 54 2e 2e 2e 29 28 53 20 66 69 6c 65 6e 61 6d T...)(S filenam
02d0: 65 2c 54 20 6c 6e 5f 63 6e 29 0d 0a 09 7b 20 72 e,T ln_cn)...{ r
02e0: 65 74 75 72 6e 20 70 61 72 73 65 72 46 72 6f 6d eturn parserFrom
02f0: 53 74 72 69 6e 67 28 66 69 6c 65 6e 61 6d 65 2c String(filename,
0300: 20 6c 6e 5f 63 6e 29 2e 70 61 72 73 65 28 29 3b ln_cn).parse();
0310: 20 7d 0d 0a 0d 0a 2f 2f 2f 20 4e 61 6d 65 64 20 }..../// Named
0320: 43 6f 6e 73 74 72 75 63 74 6f 72 20 6f 66 20 50 Constructor of P
0330: 61 72 73 65 72 0a 0d 0a 70 72 69 76 61 74 65 20 arser...private
0340: 61 75 74 6f 20 70 61 72 73 65 72 46 72 6f 6d 4c auto parserFromL
0350: 65 78 65 72 28 4c 65 78 65 72 29 28 4c 65 78 65 exer(Lexer)(Lexe
0360: 72 20 6c 65 78 29 0a 09 7b 20 72 65 74 75 72 6e r lex)..{ return
0370: 20 6e 65 77 20 50 61 72 73 65 72 21 4c 65 78 65 new Parser!Lexe
0380: 72 28 6c 65 78 29 3b 20 7d 0a 0a 70 72 69 76 61 r(lex); }..priva
0390: 74 65 20 61 75 74 6f 20 70 61 72 73 65 72 46 72 te auto parserFr
03a0: 6f 6d 53 74 72 69 6e 67 28 54 2e 2e 2e 29 28 54 omString(T...)(T
03b0: 20 70 61 72 61 6d 73 29 0a 09 7b 20 72 65 74 75 params)..{ retu
03c0: 72 6e 20 70 61 72 73 65 72 46 72 6f 6d 4c 65 78 rn parserFromLex
03d0: 65 72 28 70 6f 6c 65 6d 79 2e 6c 65 78 2e 6c 65 er(polemy.lex.le
03e0: 78 65 72 46 72 6f 6d 53 74 72 69 6e 67 28 70 61 xerFromString(pa
03f0: 72 61 6d 73 29 29 3b 20 7d 0a 0a 70 72 69 76 61 rams)); }..priva
0400: 74 65 20 61 75 74 6f 20 70 61 72 73 65 72 46 72 te auto parserFr
0410: 6f 6d 46 69 6c 65 28 54 2e 2e 2e 29 28 54 20 70 omFile(T...)(T p
0420: 61 72 61 6d 73 29 0a 09 7b 20 72 65 74 75 72 6e arams)..{ return
0430: 20 70 61 72 73 65 72 46 72 6f 6d 4c 65 78 65 72 parserFromLexer
0440: 28 70 6f 6c 65 6d 79 2e 6c 65 78 2e 6c 65 78 65 (polemy.lex.lexe
0450: 72 46 72 6f 6d 46 69 6c 65 28 70 61 72 61 6d 73 rFromFile(params
0460: 29 29 3b 20 7d 0d 0a 0d 0a 2f 2f 2f 20 50 61 72 )); }..../// Par
0470: 73 65 72 0a 0a 70 72 69 76 61 74 65 20 63 6c 61 ser..private cla
0480: 73 73 20 50 61 72 73 65 72 28 4c 65 78 65 72 29 ss Parser(Lexer)
0490: 0d 0a 09 69 66 28 20 69 73 46 6f 72 77 61 72 64 ...if( isForward
04a0: 52 61 6e 67 65 21 28 4c 65 78 65 72 29 20 26 26 Range!(Lexer) &&
04b0: 20 69 73 28 45 6c 65 6d 65 6e 74 54 79 70 65 21 is(ElementType!
04c0: 28 4c 65 78 65 72 29 20 3d 3d 20 54 6f 6b 65 6e (Lexer) == Token
04d0: 29 20 29 0a 7b 0d 0a 09 41 53 54 20 70 61 72 73 ) ).{...AST pars
04e0: 65 28 29 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 65 e()..{....auto e
04f0: 20 3d 20 42 6f 64 79 28 29 3b 0d 0a 09 09 69 66 = Body();....if
0500: 28 20 21 6c 65 78 2e 65 6d 70 74 79 20 29 0d 0a ( !lex.empty )..
0510: 09 09 09 74 68 72 6f 77 20 63 72 65 61 74 65 45 ...throw createE
0520: 78 63 65 70 74 69 6f 6e 28 6c 65 78 2c 20 22 69 xception(lex, "i
0530: 6e 70 75 74 20 69 73 20 6e 6f 74 20 65 6e 64 65 nput is not ende
0540: 64 20 62 75 74 20 70 61 72 73 65 72 20 63 61 6d d but parser cam
0550: 65 20 74 6f 20 74 68 65 20 65 6e 64 22 29 3b 0d e to the end");.
0560: 0a 09 09 72 65 74 75 72 6e 20 65 3b 0d 0a 09 7d ...return e;...}
0570: 0d 0a 0d 0a 09 41 53 54 20 42 6f 64 79 28 29 0d .....AST Body().
0580: 0a 09 7b 0d 0a 09 09 69 66 28 20 6c 65 78 2e 65 ..{....if( lex.e
0590: 6d 70 74 79 20 7c 7c 20 21 6c 65 78 2e 66 72 6f mpty || !lex.fro
05a0: 6e 74 2e 71 75 6f 74 65 64 20 26 26 20 6c 65 78 nt.quoted && lex
05b0: 2e 66 72 6f 6e 74 2e 73 74 72 3d 3d 22 7d 22 20 .front.str=="}"
05c0: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 64 6f 4e ).....return doN
05d0: 6f 74 68 69 6e 67 45 78 70 72 65 73 73 69 6f 6e othingExpression
05e0: 28 29 3b 0d 0a 0d 0a 09 09 61 75 74 6f 20 70 6f ();......auto po
05f0: 73 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f s = lex.front.po
0600: 73 3b 0d 0a 09 09 69 66 28 20 74 72 79 45 61 74 s;....if( tryEat
0610: 28 22 76 61 72 22 29 20 29 0d 0a 09 09 7b 0d 0a ("var") )....{..
0620: 09 09 09 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 ...immutable Lex
0630: 50 6f 73 69 74 69 6f 6e 20 76 61 72 70 6f 73 20 Position varpos
0640: 3d 20 28 6c 65 78 2e 65 6d 70 74 79 20 3f 20 6e = (lex.empty ? n
0650: 75 6c 6c 20 3a 20 6c 65 78 2e 66 72 6f 6e 74 2e ull : lex.front.
0660: 70 6f 73 29 3b 0d 0a 09 09 09 73 74 72 69 6e 67 pos);.....string
0670: 20 76 61 72 20 3d 20 65 61 74 49 64 28 22 61 66 var = eatId("af
0680: 74 65 72 20 76 61 72 22 29 3b 0d 0a 09 09 09 65 ter var");.....e
0690: 61 74 28 22 3d 22 2c 20 22 61 66 74 65 72 20 76 at("=", "after v
06a0: 61 72 22 29 3b 0d 0a 09 09 09 61 75 74 6f 20 65 ar");.....auto e
06b0: 20 3d 20 45 28 30 29 3b 0d 0a 09 09 09 69 66 28 = E(0);.....if(
06c0: 20 74 72 79 45 61 74 28 22 3b 22 29 20 26 26 20 tryEat(";") &&
06d0: 21 6c 65 78 2e 65 6d 70 74 79 20 26 26 20 28 6c !lex.empty && (l
06e0: 65 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 ex.front.quoted
06f0: 7c 7c 20 28 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 || (lex.front.st
0700: 72 21 3d 22 7d 22 20 26 26 20 6c 65 78 2e 66 72 r!="}" && lex.fr
0710: 6f 6e 74 2e 73 74 72 21 3d 22 29 22 29 29 20 29 ont.str!=")")) )
0720: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 ......return new
0730: 20 4c 65 74 45 78 70 72 65 73 73 69 6f 6e 28 70 LetExpression(p
0740: 6f 73 2c 20 76 61 72 2c 20 65 2c 20 42 6f 64 79 os, var, e, Body
0750: 28 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 ());.....else...
0760: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 ...return new Le
0770: 74 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c tExpression(pos,
0780: 20 76 61 72 2c 20 65 2c 20 6e 65 77 20 56 61 72 var, e, new Var
0790: 45 78 70 72 65 73 73 69 6f 6e 28 76 61 72 70 6f Expression(varpo
07a0: 73 2c 20 76 61 72 29 29 3b 0d 0a 09 09 7d 0d 0a s, var));....}..
07b0: 09 09 65 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 ..else....{.....
07c0: 61 75 74 6f 20 65 20 3d 20 45 28 30 29 3b 0d 0a auto e = E(0);..
07d0: 09 09 09 69 66 28 20 74 72 79 45 61 74 28 22 3b ...if( tryEat(";
07e0: 22 29 20 26 26 20 21 6c 65 78 2e 65 6d 70 74 79 ") && !lex.empty
07f0: 20 26 26 20 28 6c 65 78 2e 66 72 6f 6e 74 2e 71 && (lex.front.q
0800: 75 6f 74 65 64 20 7c 7c 20 28 6c 65 78 2e 66 72 uoted || (lex.fr
0810: 6f 6e 74 2e 73 74 72 21 3d 22 7d 22 20 26 26 20 ont.str!="}" &&
0820: 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 22 lex.front.str!="
0830: 29 22 29 29 20 29 0d 0a 09 09 09 09 72 65 74 75 )")) )......retu
0840: 72 6e 20 6e 65 77 20 4c 65 74 45 78 70 72 65 73 rn new LetExpres
0850: 73 69 6f 6e 28 70 6f 73 2c 20 22 5f 22 2c 20 65 sion(pos, "_", e
0860: 2c 20 42 6f 64 79 28 29 29 3b 0d 0a 09 09 09 65 , Body());.....e
0870: 6c 73 65 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 lse......return
0880: 65 3b 0d 0a 09 09 7d 0d 0a 09 7d 0a 0a 09 2f 2f e;....}...}...//
0890: 20 5b 54 4f 44 4f 5d 20 6d 61 6b 65 20 63 75 73 [TODO] make cus
08a0: 74 6f 6d 69 7a 61 62 6c 65 20 66 72 6f 6d 20 70 tomizable from p
08b0: 72 6f 67 72 61 6d 0a 09 73 74 61 74 69 63 20 69 rogram..static i
08c0: 6d 6d 75 74 61 62 6c 65 20 73 74 72 69 6e 67 5b mmutable string[
08d0: 5d 5b 5d 20 6f 70 65 72 61 74 6f 72 5f 70 65 72 ][] operator_per
08e0: 66 65 72 65 6e 63 65 73 20 3d 20 5b 0a 09 09 5b ferences = [...[
08f0: 22 7c 7c 22 5d 2c 0a 09 09 5b 22 26 26 22 5d 2c "||"],...["&&"],
0900: 0a 09 09 5b 22 21 3d 22 5d 2c 0a 09 09 5b 22 3d ...["!="],...["=
0910: 3d 22 5d 2c 0a 09 09 5b 22 3c 22 2c 22 3c 3d 22 ="],...["<","<="
0920: 2c 22 3e 22 2c 22 3e 3d 22 5d 2c 0a 09 09 5b 22 ,">",">="],...["
0930: 7c 22 5d 2c 0a 09 09 5b 22 5e 22 5d 2c 0a 09 09 |"],...["^"],...
0940: 5b 22 26 22 5d 2c 0a 09 09 5b 22 3c 3c 22 2c 20 ["&"],...["<<",
0950: 22 3e 3e 22 5d 2c 0a 09 09 5b 22 2b 22 2c 22 2d ">>"],...["+","-
0960: 22 5d 2c 0d 0a 09 09 5b 22 7e 22 5d 2c 0d 0a 09 "],....["~"],...
0970: 09 5b 22 2a 22 2c 22 2f 22 2c 22 25 22 5d 2c 0d .["*","/","%"],.
0980: 0a 09 09 5b 22 5e 5e 22 5d 0d 0a 09 5d 3b 0a 0a ...["^^"]...];..
0990: 09 41 53 54 20 45 28 69 6e 74 20 6c 65 76 65 6c .AST E(int level
09a0: 29 0a 09 7b 0a 09 09 69 66 28 20 6f 70 65 72 61 )..{...if( opera
09b0: 74 6f 72 5f 70 65 72 66 65 72 65 6e 63 65 73 2e tor_perferences.
09c0: 6c 65 6e 67 74 68 20 3c 3d 20 6c 65 76 65 6c 20 length <= level
09d0: 29 0a 09 09 09 72 65 74 75 72 6e 20 46 75 6e 63 )....return Func
09e0: 61 6c 6c 28 29 3b 0a 09 09 65 6c 73 65 0a 09 09 all();...else...
09f0: 7b 0a 09 09 09 61 75 74 6f 20 6f 70 73 20 3d 20 {....auto ops =
0a00: 6f 70 65 72 61 74 6f 72 5f 70 65 72 66 65 72 65 operator_perfere
0a10: 6e 63 65 73 5b 6c 65 76 65 6c 5d 3b 0a 09 09 09 nces[level];....
0a20: 61 75 74 6f 20 65 20 3d 20 45 28 6c 65 76 65 6c auto e = E(level
0a30: 2b 31 29 3b 0a 09 09 73 65 71 3a 0a 09 09 09 77 +1);...seq:....w
0a40: 68 69 6c 65 28 20 21 6c 65 78 2e 65 6d 70 74 79 hile( !lex.empty
0a50: 20 29 0a 09 09 09 7b 0a 09 09 09 09 61 75 74 6f )....{.....auto
0a60: 20 70 6f 73 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 pos = lex.front
0a70: 2e 70 6f 73 3b 0a 09 09 09 09 66 6f 72 65 61 63 .pos;.....foreac
0a80: 68 28 6f 70 3b 20 6f 70 73 29 0a 09 09 09 09 09 h(op; ops)......
0a90: 69 66 28 20 74 72 79 45 61 74 28 6f 70 29 20 29 if( tryEat(op) )
0aa0: 0a 09 09 09 09 09 7b 0a 09 09 09 09 09 09 65 20 ......{.......e
0ab0: 3d 20 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 = new FuncallExp
0ac0: 72 65 73 73 69 6f 6e 28 65 2e 70 6f 73 2c 20 6e ression(e.pos, n
0ad0: 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e ew VarExpression
0ae0: 28 70 6f 73 2c 20 6f 70 29 2c 20 65 2c 20 45 28 (pos, op), e, E(
0af0: 6c 65 76 65 6c 2b 31 29 29 3b 0a 09 09 09 09 09 level+1));......
0b00: 09 63 6f 6e 74 69 6e 75 65 20 73 65 71 3b 0a 09 .continue seq;..
0b10: 09 09 09 09 7d 0a 09 09 09 09 62 72 65 61 6b 3b ....}.....break;
0b20: 0a 09 09 09 7d 0a 09 09 09 72 65 74 75 72 6e 20 ....}....return
0b30: 65 3b 0a 09 09 7d 0a 09 7d 0a 0a 09 41 53 54 20 e;...}..}...AST
0b40: 46 75 6e 63 61 6c 6c 28 29 0a 09 7b 0a 09 09 61 Funcall()..{...a
0b50: 75 74 6f 20 65 20 3d 20 42 61 73 65 45 78 70 72 uto e = BaseExpr
0b60: 65 73 73 69 6f 6e 28 29 3b 0a 09 09 77 68 69 6c ession();...whil
0b70: 65 28 20 74 72 79 45 61 74 28 22 28 22 29 20 29 e( tryEat("(") )
0b80: 0a 09 09 7b 0d 0a 09 09 09 41 53 54 5b 5d 20 61 ...{.....AST[] a
0b90: 72 67 73 3b 0a 09 09 09 77 68 69 6c 65 28 20 21 rgs;....while( !
0ba0: 74 72 79 45 61 74 28 22 29 22 29 20 29 20 7b 0a tryEat(")") ) {.
0bb0: 09 09 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 ....if( lex.empt
0bc0: 79 20 29 0d 0a 09 09 09 09 09 74 68 72 6f 77 20 y ).......throw
0bd0: 63 72 65 61 74 65 45 78 63 65 70 74 69 6f 6e 28 createException(
0be0: 6c 65 78 2c 22 55 6e 65 78 70 65 63 74 65 64 20 lex,"Unexpected
0bf0: 45 4f 46 22 29 3b 0a 09 09 09 09 61 72 67 73 20 EOF");.....args
0c00: 7e 3d 20 45 28 30 29 3b 0d 0a 09 09 09 09 69 66 ~= E(0);......if
0c10: 28 20 21 74 72 79 45 61 74 28 22 2c 22 29 20 29 ( !tryEat(",") )
0c20: 20 7b 0a 09 09 09 09 09 65 61 74 28 22 29 22 2c {......eat(")",
0c30: 20 22 61 66 74 65 72 20 66 75 6e 63 74 69 6f 6e "after function
0c40: 20 70 61 72 61 6d 65 74 65 72 73 22 29 3b 0a 09 parameters");..
0c50: 09 09 09 09 62 72 65 61 6b 3b 0a 09 09 09 09 7d ....break;.....}
0c60: 0a 09 09 09 7d 0a 09 09 09 65 20 3d 20 6e 65 77 ....}....e = new
0c70: 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 FuncallExpressi
0c80: 6f 6e 28 65 2e 70 6f 73 2c 20 65 2c 20 61 72 67 on(e.pos, e, arg
0c90: 73 29 3b 0a 09 09 7d 0a 09 09 72 65 74 75 72 6e s);...}...return
0ca0: 20 65 3b 0a 09 7d 0a 0a 09 41 53 54 20 42 61 73 e;..}...AST Bas
0cb0: 65 45 78 70 72 65 73 73 69 6f 6e 28 29 0a 09 7b eExpression()..{
0cc0: 0a 09 09 69 66 28 20 6c 65 78 2e 65 6d 70 74 79 ...if( lex.empty
0cd0: 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 63 72 65 ).....throw cre
0ce0: 61 74 65 45 78 63 65 70 74 69 6f 6e 28 6c 65 78 ateException(lex
0cf0: 2c 20 22 52 65 61 63 68 65 64 20 45 4f 46 20 77 , "Reached EOF w
0d00: 68 65 6e 20 74 72 69 65 64 20 74 6f 20 70 61 72 hen tried to par
0d10: 73 65 20 61 6e 20 65 78 70 72 65 73 73 69 6f 6e se an expression
0d20: 22 29 3b 0d 0a 0d 0a 09 09 61 75 74 6f 20 70 6f ");......auto po
0d30: 73 20 3d 20 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f s = lex.front.po
0d40: 73 3b 0a 09 09 69 66 28 20 6c 65 78 2e 66 72 6f s;...if( lex.fro
0d50: 6e 74 2e 71 75 6f 74 65 64 20 29 0a 09 09 7b 0a nt.quoted )...{.
0d60: 09 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c ...scope(exit) l
0d70: 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09 09 09 ex.popFront;....
0d80: 72 65 74 75 72 6e 20 6e 65 77 20 53 74 72 4c 69 return new StrLi
0d90: 74 65 72 61 6c 28 70 6f 73 2c 20 6c 65 78 2e 66 teral(pos, lex.f
0da0: 72 6f 6e 74 2e 73 74 72 29 3b 0a 09 09 7d 0a 09 ront.str);...}..
0db0: 09 69 66 28 20 69 73 4e 75 6d 62 65 72 28 6c 65 .if( isNumber(le
0dc0: 78 2e 66 72 6f 6e 74 2e 73 74 72 29 20 29 0a 09 x.front.str) )..
0dd0: 09 7b 0a 09 09 09 73 63 6f 70 65 28 65 78 69 74 .{....scope(exit
0de0: 29 20 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a ) lex.popFront;.
0df0: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 49 6e ...return new In
0e00: 74 4c 69 74 65 72 61 6c 28 70 6f 73 2c 20 42 69 tLiteral(pos, Bi
0e10: 67 49 6e 74 28 63 61 73 74 28 73 74 72 69 6e 67 gInt(cast(string
0e20: 29 6c 65 78 2e 66 72 6f 6e 74 2e 73 74 72 29 29 )lex.front.str))
0e30: 3b 0a 09 09 7d 0a 09 09 69 66 28 20 74 72 79 45 ;...}...if( tryE
0e40: 61 74 28 22 28 22 29 20 29 0a 09 09 7b 0a 09 09 at("(") )...{...
0e50: 09 61 75 74 6f 20 65 20 3d 20 42 6f 64 79 28 29 .auto e = Body()
0e60: 3b 0a 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 ;....eat(")", "a
0e70: 66 74 65 72 20 70 61 72 65 6e 74 68 65 73 69 7a fter parenthesiz
0e80: 65 64 20 65 78 70 72 65 73 73 69 6f 6e 22 29 3b ed expression");
0e90: 0a 09 09 09 72 65 74 75 72 6e 20 65 3b 0a 09 09 ....return e;...
0ea0: 7d 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 22 }...if( tryEat("
0eb0: 69 66 22 29 20 29 0a 09 09 7b 0a 09 09 09 65 61 if") )...{....ea
0ec0: 74 28 22 28 22 2c 20 22 61 66 74 65 72 20 69 66 t("(", "after if
0ed0: 22 29 3b 0a 09 09 09 61 75 74 6f 20 63 6f 6e 64 ");....auto cond
0ee0: 20 3d 20 45 28 30 29 3b 0a 09 09 09 65 61 74 28 = E(0);....eat(
0ef0: 22 29 22 2c 20 22 61 66 74 65 72 20 69 66 20 63 ")", "after if c
0f00: 6f 6e 64 69 74 69 6f 6e 22 29 3b 0a 09 09 09 61 ondition");....a
0f10: 75 74 6f 20 74 68 65 6e 50 6f 73 20 3d 20 6c 65 uto thenPos = le
0f20: 78 2e 66 72 6f 6e 74 2e 70 6f 73 3b 0a 09 09 09 x.front.pos;....
0f30: 65 61 74 28 22 7b 22 2c 20 22 61 66 74 65 72 20 eat("{", "after
0f40: 69 66 20 63 6f 6e 64 69 74 69 6f 6e 22 29 3b 0a if condition");.
0f50: 09 09 09 61 75 74 6f 20 74 68 20 3d 20 42 6f 64 ...auto th = Bod
0f60: 79 28 29 3b 0a 09 09 09 65 61 74 28 22 7d 22 2c y();....eat("}",
0f70: 20 22 61 66 74 65 72 20 69 66 2d 74 68 65 6e 20 "after if-then
0f80: 62 6f 64 79 22 29 3b 0a 09 09 09 61 75 74 6f 20 body");....auto
0f90: 65 6c 20 3d 20 64 6f 4e 6f 74 68 69 6e 67 45 78 el = doNothingEx
0fa0: 70 72 65 73 73 69 6f 6e 28 29 3b 0a 09 09 09 61 pression();....a
0fb0: 75 74 6f 20 65 6c 73 65 50 6f 73 20 3d 20 28 6c uto elsePos = (l
0fc0: 65 78 2e 65 6d 70 74 79 20 3f 20 4c 65 78 50 6f ex.empty ? LexPo
0fd0: 73 69 74 69 6f 6e 2e 64 75 6d 6d 79 20 3a 20 6c sition.dummy : l
0fe0: 65 78 2e 66 72 6f 6e 74 2e 70 6f 73 29 3b 0a 09 ex.front.pos);..
0ff0: 09 09 69 66 28 20 74 72 79 45 61 74 28 22 65 6c ..if( tryEat("el
1000: 73 65 22 29 20 29 20 7b 0a 09 09 09 09 65 61 74 se") ) {.....eat
1010: 28 22 7b 22 2c 20 22 61 66 74 65 72 20 65 6c 73 ("{", "after els
1020: 65 22 29 3b 0a 09 09 09 09 65 6c 20 3d 20 42 6f e");.....el = Bo
1030: 64 79 28 29 3b 0a 09 09 09 09 65 61 74 28 22 7d dy();.....eat("}
1040: 22 2c 20 22 61 66 74 65 72 20 65 6c 73 65 20 62 ", "after else b
1050: 6f 64 79 22 29 3b 0a 09 09 09 7d 0a 09 09 09 72 ody");....}....r
1060: 65 74 75 72 6e 20 6e 65 77 20 46 75 6e 63 61 6c eturn new Funcal
1070: 6c 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c lExpression(pos,
1080: 20 0a 09 09 09 09 6e 65 77 20 56 61 72 45 78 70 .....new VarExp
1090: 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 22 69 66 ression(pos, "if
10a0: 22 29 2c 0a 09 09 09 09 63 6f 6e 64 2c 0a 09 09 "),.....cond,...
10b0: 09 09 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 6c ..new FunLiteral
10c0: 28 74 68 65 6e 50 6f 73 2c 20 5b 5d 2c 20 74 68 (thenPos, [], th
10d0: 29 2c 0a 09 09 09 09 6e 65 77 20 46 75 6e 4c 69 ),.....new FunLi
10e0: 74 65 72 61 6c 28 65 6c 73 65 50 6f 73 2c 20 5b teral(elsePos, [
10f0: 5d 2c 20 65 6c 29 0a 09 09 09 29 3b 0a 09 09 7d ], el)....);...}
1100: 0a 09 09 69 66 28 20 74 72 79 45 61 74 28 22 66 ...if( tryEat("f
1110: 75 6e 22 29 20 29 0a 09 09 7b 0a 09 09 09 65 61 un") )...{....ea
1120: 74 28 22 28 22 2c 20 22 61 66 74 65 72 20 66 75 t("(", "after fu
1130: 6e 22 29 3b 0a 09 09 09 73 74 72 69 6e 67 5b 5d n");....string[]
1140: 20 70 61 72 61 6d 73 3b 0a 09 09 09 77 68 69 6c params;....whil
1150: 65 28 20 21 74 72 79 45 61 74 28 22 29 22 29 20 e( !tryEat(")")
1160: 29 0a 09 09 09 7b 0a 09 09 09 09 70 61 72 61 6d )....{.....param
1170: 73 20 7e 3d 20 65 61 74 49 64 28 22 66 6f 72 20 s ~= eatId("for
1180: 66 75 6e 63 74 69 6f 6e 20 70 61 72 61 6d 65 74 function paramet
1190: 65 72 22 29 3b 0a 09 09 09 09 69 66 28 20 21 74 er");.....if( !t
11a0: 72 79 45 61 74 28 22 2c 22 29 20 29 20 7b 0a 09 ryEat(",") ) {..
11b0: 09 09 09 09 65 61 74 28 22 29 22 2c 20 22 61 66 ....eat(")", "af
11c0: 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 72 ter function par
11d0: 61 6d 65 74 65 72 73 22 29 3b 0a 09 09 09 09 09 ameters");......
11e0: 62 72 65 61 6b 3b 0a 09 09 09 09 7d 0a 09 09 09 break;.....}....
11f0: 7d 0a 09 09 09 65 61 74 28 22 7b 22 2c 20 22 61 }....eat("{", "a
1200: 66 74 65 72 20 66 75 6e 63 74 69 6f 6e 20 70 61 fter function pa
1210: 72 61 6d 65 74 65 72 73 22 29 3b 0d 0a 09 09 09 rameters");.....
1220: 61 75 74 6f 20 66 75 6e 62 6f 64 79 20 3d 20 42 auto funbody = B
1230: 6f 64 79 28 29 3b 0a 09 09 09 65 61 74 28 22 7d ody();....eat("}
1240: 22 2c 20 22 61 66 74 65 72 20 66 75 6e 63 74 69 ", "after functi
1250: 6f 6e 20 62 6f 64 79 22 29 3b 0d 0a 09 09 09 72 on body");.....r
1260: 65 74 75 72 6e 20 6e 65 77 20 46 75 6e 4c 69 74 eturn new FunLit
1270: 65 72 61 6c 28 70 6f 73 2c 20 70 61 72 61 6d 73 eral(pos, params
1280: 2c 20 66 75 6e 62 6f 64 79 29 3b 0a 09 09 7d 0a , funbody);...}.
1290: 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 6c 65 ..scope(exit) le
12a0: 78 2e 70 6f 70 46 72 6f 6e 74 3b 0a 09 09 72 65 x.popFront;...re
12b0: 74 75 72 6e 20 6e 65 77 20 56 61 72 45 78 70 72 turn new VarExpr
12c0: 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6c 65 78 2e ession(pos, lex.
12d0: 66 72 6f 6e 74 2e 73 74 72 29 3b 0a 09 7d 0a 0a front.str);..}..
12e0: 70 72 69 76 61 74 65 3a 0a 09 4c 65 78 65 72 20 private:..Lexer
12f0: 6c 65 78 3b 0d 0a 09 74 68 69 73 28 4c 65 78 65 lex;...this(Lexe
1300: 72 20 6c 65 78 29 20 7b 20 74 68 69 73 2e 6c 65 r lex) { this.le
1310: 78 20 3d 20 6c 65 78 3b 20 7d 0d 0a 0a 09 76 6f x = lex; }....vo
1320: 69 64 20 65 61 74 28 73 74 72 69 6e 67 20 6b 77 id eat(string kw
1330: 64 2c 20 6c 61 7a 79 20 73 74 72 69 6e 67 20 6d d, lazy string m
1340: 73 67 29 0a 09 7b 0a 09 09 69 66 28 20 21 74 72 sg)..{...if( !tr
1350: 79 45 61 74 28 6b 77 64 29 20 29 0a 09 09 09 74 yEat(kwd) )....t
1360: 68 72 6f 77 20 63 72 65 61 74 65 45 78 63 65 70 hrow createExcep
1370: 74 69 6f 6e 28 6c 65 78 2c 20 22 27 22 7e 6b 77 tion(lex, "'"~kw
1380: 64 7e 22 27 20 69 73 20 65 78 70 65 63 74 65 64 d~"' is expected
1390: 20 22 7e 6d 73 67 7e 22 20 62 75 74 20 27 22 0a "~msg~" but '".
13a0: 09 09 09 09 7e 28 6c 65 78 2e 65 6d 70 74 79 20 ....~(lex.empty
13b0: 3f 20 22 45 4f 46 22 20 3a 20 6c 65 78 2e 66 72 ? "EOF" : lex.fr
13c0: 6f 6e 74 2e 73 74 72 29 7e 22 27 20 6f 63 63 75 ont.str)~"' occu
13d0: 72 65 64 22 29 3b 0a 09 7d 0a 0a 09 62 6f 6f 6c red");..}...bool
13e0: 20 74 72 79 45 61 74 28 73 74 72 69 6e 67 20 6b tryEat(string k
13f0: 77 64 29 0a 09 7b 0a 09 09 69 66 28 20 6c 65 78 wd)..{...if( lex
1400: 2e 65 6d 70 74 79 20 7c 7c 20 6c 65 78 2e 66 72 .empty || lex.fr
1410: 6f 6e 74 2e 71 75 6f 74 65 64 20 7c 7c 20 6c 65 ont.quoted || le
1420: 78 2e 66 72 6f 6e 74 2e 73 74 72 21 3d 6b 77 64 x.front.str!=kwd
1430: 20 29 0a 09 09 09 72 65 74 75 72 6e 20 66 61 6c )....return fal
1440: 73 65 3b 0a 09 09 6c 65 78 2e 70 6f 70 46 72 6f se;...lex.popFro
1450: 6e 74 3b 0a 09 09 72 65 74 75 72 6e 20 74 72 75 nt;...return tru
1460: 65 3b 0a 09 7d 0a 0d 0a 09 73 74 72 69 6e 67 20 e;..}....string
1470: 65 61 74 49 64 28 6c 61 7a 79 20 73 74 72 69 6e eatId(lazy strin
1480: 67 20 6d 73 67 29 0d 0a 09 7b 0d 0a 09 09 69 66 g msg)...{....if
1490: 28 20 6c 65 78 2e 65 6d 70 74 79 20 7c 7c 20 6c ( lex.empty || l
14a0: 65 78 2e 66 72 6f 6e 74 2e 71 75 6f 74 65 64 20 ex.front.quoted
14b0: 29 0d 0a 09 09 09 74 68 72 6f 77 20 63 72 65 61 ).....throw crea
14c0: 74 65 45 78 63 65 70 74 69 6f 6e 28 6c 65 78 2c teException(lex,
14d0: 20 22 69 64 65 6e 74 69 66 69 65 72 20 69 73 20 "identifier is
14e0: 65 78 70 65 63 74 65 64 20 62 75 74 20 6e 6f 74 expected but not
14f0: 20 66 6f 75 6e 64 20 22 7e 6d 73 67 29 3b 0d 0a found "~msg);..
1500: 09 09 73 74 72 69 6e 67 20 69 64 20 3d 20 6c 65 ..string id = le
1510: 78 2e 66 72 6f 6e 74 2e 73 74 72 3b 0d 0a 09 09 x.front.str;....
1520: 6c 65 78 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 lex.popFront;...
1530: 09 72 65 74 75 72 6e 20 69 64 3b 0d 0a 09 7d 0d .return id;...}.
1540: 0a 0a 09 62 6f 6f 6c 20 69 73 4e 75 6d 62 65 72 ...bool isNumber
1550: 28 73 74 72 69 6e 67 20 73 29 0a 09 7b 0a 09 09 (string s)..{...
1560: 72 65 74 75 72 6e 20 66 69 6e 64 21 28 60 61 3c return find!(`a<
1570: 27 30 27 7c 7c 27 39 27 3c 61 60 29 28 73 29 2e '0'||'9'<a`)(s).
1580: 65 6d 70 74 79 3b 0a 09 7d 0d 0a 0d 0a 09 41 53 empty;..}.....AS
1590: 54 20 64 6f 4e 6f 74 68 69 6e 67 45 78 70 72 65 T doNothingExpre
15a0: 73 73 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 72 ssion()...{....r
15b0: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 4c 69 74 eturn new IntLit
15c0: 65 72 61 6c 28 6c 65 78 2e 65 6d 70 74 79 3f 6e eral(lex.empty?n
15d0: 75 6c 6c 3a 6c 65 78 2e 66 72 6f 6e 74 2e 70 6f ull:lex.front.po
15e0: 73 2c 20 42 69 67 49 6e 74 28 31 37 38 29 29 3b s, BigInt(178));
15f0: 0d 0a 09 7d 0a 7d 0a 0a 75 6e 69 74 74 65 73 74 ...}.}..unittest
1600: 0a 7b 0d 0a 09 6d 69 78 69 6e 20 45 61 73 79 41 .{...mixin EasyA
1610: 53 54 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 ST;.....assert_e
1620: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 q(parseString(`1
1630: 32 33 60 29 2c 20 69 6e 74 6c 28 31 32 33 29 29 23`), intl(123))
1640: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
1650: 72 73 65 53 74 72 69 6e 67 28 60 22 66 6f 6f 22 rseString(`"foo"
1660: 60 29 2c 20 73 74 72 6c 28 22 66 6f 6f 22 29 29 `), strl("foo"))
1670: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ;...assert_eq(pa
1680: 72 73 65 53 74 72 69 6e 67 28 60 66 75 6e 28 29 rseString(`fun()
1690: 7b 31 7d 60 29 2c 20 66 75 6e 28 5b 5d 2c 69 6e {1}`), fun([],in
16a0: 74 6c 28 31 29 29 29 3b 0d 0a 09 61 73 73 65 72 tl(1)));...asser
16b0: 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 t_eq(parseString
16c0: 28 60 66 75 6e 28 78 29 7b 31 7d 60 29 2c 20 66 (`fun(x){1}`), f
16d0: 75 6e 28 5b 22 78 22 5d 2c 69 6e 74 6c 28 31 29 un(["x"],intl(1)
16e0: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
16f0: 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 3b 32 parseString(`1;2
1700: 60 29 2c 20 6c 65 74 28 22 5f 22 2c 69 6e 74 6c `), let("_",intl
1710: 28 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a (1),intl(2)));..
1720: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
1730: 53 74 72 69 6e 67 28 60 31 3b 32 3b 60 29 2c 20 String(`1;2;`),
1740: 6c 65 74 28 22 5f 22 2c 69 6e 74 6c 28 31 29 2c let("_",intl(1),
1750: 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 73 intl(2)));...ass
1760: 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 ert_eq(parseStri
1770: 6e 67 28 60 76 61 72 20 78 3d 31 3b 32 60 29 2c ng(`var x=1;2`),
1780: 20 6c 65 74 28 22 78 22 2c 69 6e 74 6c 28 31 29 let("x",intl(1)
1790: 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 61 73 ,intl(2)));...as
17a0: 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 sert_eq(parseStr
17b0: 69 6e 67 28 60 76 61 72 20 78 3d 31 3b 32 3b 60 ing(`var x=1;2;`
17c0: 29 2c 20 6c 65 74 28 22 78 22 2c 69 6e 74 6c 28 ), let("x",intl(
17d0: 31 29 2c 69 6e 74 6c 28 32 29 29 29 3b 0d 0a 09 1),intl(2)));...
17e0: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
17f0: 74 72 69 6e 67 28 60 76 61 72 20 78 3d 31 60 29 tring(`var x=1`)
1800: 2c 20 6c 65 74 28 22 78 22 2c 69 6e 74 6c 28 31 , let("x",intl(1
1810: 29 2c 76 61 72 28 22 78 22 29 29 29 3b 0d 0a 09 ),var("x")));...
1820: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
1830: 74 72 69 6e 67 28 60 76 61 72 20 78 3d 31 3b 60 tring(`var x=1;`
1840: 29 2c 20 6c 65 74 28 22 78 22 2c 69 6e 74 6c 28 ), let("x",intl(
1850: 31 29 2c 76 61 72 28 22 78 22 29 29 29 3b 0d 0a 1),var("x")));..
1860: 09 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 .assert_eq(parse
1870: 53 74 72 69 6e 67 28 60 66 28 31 2c 32 29 60 29 String(`f(1,2)`)
1880: 2c 20 63 61 6c 6c 28 76 61 72 28 22 66 22 29 2c , call(var("f"),
1890: 69 6e 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 intl(1),intl(2))
18a0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 );...assert_eq(p
18b0: 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 31 arseString(`if(1
18c0: 29 7b 32 7d 60 29 2c 20 63 61 6c 6c 28 76 61 72 ){2}`), call(var
18d0: 28 22 69 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 ("if"),intl(1),f
18e0: 75 6e 28 5b 5d 2c 69 6e 74 6c 28 32 29 29 2c 66 un([],intl(2)),f
18f0: 75 6e 28 5b 5d 2c 69 6e 74 6c 28 31 37 38 29 29 un([],intl(178))
1900: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
1910: 70 61 72 73 65 53 74 72 69 6e 67 28 60 69 66 28 parseString(`if(
1920: 31 29 7b 32 7d 65 6c 73 65 7b 33 7d 60 29 2c 20 1){2}else{3}`),
1930: 63 61 6c 6c 28 76 61 72 28 22 69 66 22 29 2c 69 call(var("if"),i
1940: 6e 74 6c 28 31 29 2c 66 75 6e 28 5b 5d 2c 69 6e ntl(1),fun([],in
1950: 74 6c 28 32 29 29 2c 66 75 6e 28 5b 5d 2c 69 6e tl(2)),fun([],in
1960: 74 6c 28 33 29 29 29 29 3b 0d 0a 09 61 73 73 65 tl(3))));...asse
1970: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
1980: 67 28 60 69 66 28 31 29 7b 7d 65 6c 73 65 7b 33 g(`if(1){}else{3
1990: 7d 28 29 28 29 60 29 2c 0d 0a 09 09 63 61 6c 6c }()()`),....call
19a0: 28 63 61 6c 6c 28 63 61 6c 6c 28 76 61 72 28 22 (call(call(var("
19b0: 69 66 22 29 2c 69 6e 74 6c 28 31 29 2c 66 75 6e if"),intl(1),fun
19c0: 28 5b 5d 2c 69 6e 74 6c 28 31 37 38 29 29 2c 66 ([],intl(178)),f
19d0: 75 6e 28 5b 5d 2c 69 6e 74 6c 28 33 29 29 29 29 un([],intl(3))))
19e0: 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ));...assert_eq(
19f0: 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2b 32 parseString(`1+2
1a00: 2a 33 60 29 2c 20 63 61 6c 6c 28 76 61 72 28 22 *3`), call(var("
1a10: 2b 22 29 2c 69 6e 74 6c 28 31 29 2c 63 61 6c 6c +"),intl(1),call
1a20: 28 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c 28 32 (var("*"),intl(2
1a30: 29 2c 69 6e 74 6c 28 33 29 29 29 29 3b 0d 0a 09 ),intl(3))));...
1a40: 61 73 73 65 72 74 5f 65 71 28 70 61 72 73 65 53 assert_eq(parseS
1a50: 74 72 69 6e 67 28 60 28 31 2b 32 29 2a 33 60 29 tring(`(1+2)*3`)
1a60: 2c 20 63 61 6c 6c 28 76 61 72 28 22 2a 22 29 2c , call(var("*"),
1a70: 63 61 6c 6c 28 76 61 72 28 22 2b 22 29 2c 69 6e call(var("+"),in
1a80: 74 6c 28 31 29 2c 69 6e 74 6c 28 32 29 29 2c 69 tl(1),intl(2)),i
1a90: 6e 74 6c 28 33 29 29 29 3b 0d 0a 09 61 73 73 65 ntl(3)));...asse
1aa0: 72 74 5f 65 71 28 70 61 72 73 65 53 74 72 69 6e rt_eq(parseStrin
1ab0: 67 28 60 31 2a 28 32 2b 33 29 60 29 2c 20 63 61 g(`1*(2+3)`), ca
1ac0: 6c 6c 28 76 61 72 28 22 2a 22 29 2c 69 6e 74 6c ll(var("*"),intl
1ad0: 28 31 29 2c 63 61 6c 6c 28 76 61 72 28 22 2b 22 (1),call(var("+"
1ae0: 29 2c 69 6e 74 6c 28 32 29 2c 69 6e 74 6c 28 33 ),intl(2),intl(3
1af0: 29 29 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 ))));...assert_e
1b00: 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 q(parseString(`1
1b10: 2a 32 2b 33 60 29 2c 20 63 61 6c 6c 28 76 61 72 *2+3`), call(var
1b20: 28 22 2b 22 29 2c 63 61 6c 6c 28 76 61 72 28 22 ("+"),call(var("
1b30: 2a 22 29 2c 69 6e 74 6c 28 31 29 2c 69 6e 74 6c *"),intl(1),intl
1b40: 28 32 29 29 2c 69 6e 74 6c 28 33 29 29 29 3b 0d (2)),intl(3)));.
1b50: 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 70 61 ....assert_eq(pa
1b60: 72 73 65 53 74 72 69 6e 67 28 60 0d 0a 09 09 76 rseString(`....v
1b70: 61 72 20 78 20 3d 20 31 30 30 3b 20 23 63 6f 6d ar x = 100; #com
1b80: 6d 65 6e 74 0d 0a 09 09 76 61 72 20 79 20 3d 20 ment....var y =
1b90: 32 30 30 3b 20 23 63 6f 6d 6d 65 6e 74 21 21 21 200; #comment!!!
1ba0: 21 21 0d 0a 09 09 09 78 2b 79 0d 0a 09 60 29 2c !!.....x+y...`),
1bb0: 0d 0a 09 09 6c 65 74 28 22 78 22 2c 20 69 6e 74 ....let("x", int
1bc0: 6c 28 31 30 30 29 2c 20 6c 65 74 28 22 79 22 2c l(100), let("y",
1bd0: 20 69 6e 74 6c 28 32 30 30 29 2c 20 63 61 6c 6c intl(200), call
1be0: 28 76 61 72 28 22 2b 22 29 2c 20 76 61 72 28 22 (var("+"), var("
1bf0: 78 22 29 2c 20 76 61 72 28 22 79 22 29 29 29 29 x"), var("y"))))
1c00: 0d 0a 09 29 3b 0a 0d 0a 09 61 73 73 65 72 74 5f ...);....assert_
1c10: 65 71 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 eq(parseString(`
1c20: 0d 0a 09 09 76 61 72 20 66 61 63 20 3d 20 66 75 ....var fac = fu
1c30: 6e 28 78 29 7b 20 69 66 28 78 20 3c 3d 20 31 29 n(x){ if(x <= 1)
1c40: 20 7b 31 7d 20 65 6c 73 65 20 7b 78 2a 66 61 63 {1} else {x*fac
1c50: 28 78 2d 31 29 7d 20 7d 3b 0d 0a 09 09 66 61 63 (x-1)} };....fac
1c60: 28 31 30 29 0a 09 60 29 2c 0d 0a 09 09 6c 65 74 (10)..`),....let
1c70: 28 22 66 61 63 22 2c 20 66 75 6e 28 5b 22 78 22 ("fac", fun(["x"
1c80: 5d 2c 0d 0a 09 09 09 63 61 6c 6c 28 76 61 72 28 ],.....call(var(
1c90: 22 69 66 22 29 2c 0d 0a 09 09 09 09 63 61 6c 6c "if"),......call
1ca0: 28 76 61 72 28 22 3c 3d 22 29 2c 20 76 61 72 28 (var("<="), var(
1cb0: 22 78 22 29 2c 20 69 6e 74 6c 28 31 29 29 2c 0d "x"), intl(1)),.
1cc0: 0a 09 09 09 09 66 75 6e 28 5b 5d 2c 20 69 6e 74 .....fun([], int
1cd0: 6c 28 31 29 29 2c 0d 0a 09 09 09 09 66 75 6e 28 l(1)),......fun(
1ce0: 5b 5d 2c 20 63 61 6c 6c 28 76 61 72 28 22 2a 22 [], call(var("*"
1cf0: 29 2c 20 76 61 72 28 22 78 22 29 2c 20 63 61 6c ), var("x"), cal
1d00: 6c 28 76 61 72 28 22 66 61 63 22 29 2c 63 61 6c l(var("fac"),cal
1d10: 6c 28 76 61 72 28 22 2d 22 29 2c 76 61 72 28 22 l(var("-"),var("
1d20: 78 22 29 2c 69 6e 74 6c 28 31 29 29 29 29 29 0d x"),intl(1))))).
1d30: 0a 09 09 09 29 29 2c 0d 0a 09 09 09 63 61 6c 6c ....)),.....call
1d40: 28 76 61 72 28 22 66 61 63 22 29 2c 69 6e 74 6c (var("fac"),intl
1d50: 28 31 30 29 29 0d 0a 09 09 29 0d 0a 09 29 3b 0a (10))....)...);.
1d60: 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b }....unittest..{
1d70: 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 ...assert_throw!
1d80: 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 ParseException(p
1d90: 61 72 73 65 53 74 72 69 6e 67 28 60 31 2b 60 29 arseString(`1+`)
1da0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
1db0: 77 21 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e w!ParseException
1dc0: 28 70 61 72 73 65 53 74 72 69 6e 67 28 60 31 2b (parseString(`1+
1dd0: 32 7d 60 29 29 3b 0d 0a 09 61 73 73 65 72 74 5f 2}`));...assert_
1de0: 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 65 70 throw!ParseExcep
1df0: 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 6e 67 tion(parseString
1e00: 28 60 76 61 72 20 22 78 22 60 29 29 3b 0d 0a 09 (`var "x"`));...
1e10: 61 73 73 65 72 74 5f 74 68 72 6f 77 21 50 61 72 assert_throw!Par
1e20: 73 65 45 78 63 65 70 74 69 6f 6e 28 70 61 72 73 seException(pars
1e30: 65 53 74 72 69 6e 67 28 60 76 61 72 60 29 29 3b eString(`var`));
1e40: 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 ...assert_throw!
1e50: 50 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 ParseException(p
1e60: 61 72 73 65 53 74 72 69 6e 67 28 60 76 61 72 20 arseString(`var
1e70: 78 20 3d 3d 60 29 29 3b 0d 0a 09 61 73 73 65 72 x ==`));...asser
1e80: 74 5f 74 68 72 6f 77 21 50 61 72 73 65 45 78 63 t_throw!ParseExc
1e90: 65 70 74 69 6f 6e 28 70 61 72 73 65 53 74 72 69 eption(parseStri
1ea0: 6e 67 28 60 69 66 28 29 7b 31 7d 60 29 29 3b 0d ng(`if(){1}`));.
1eb0: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 50 ..assert_throw!P
1ec0: 61 72 73 65 45 78 63 65 70 74 69 6f 6e 28 70 61 arseException(pa
1ed0: 72 73 65 53 74 72 69 6e 67 28 60 66 28 60 29 29 rseString(`f(`))
1ee0: 3b 0d 0a 7d 0d 0a ;..}..