Artifact e659b2cb410288fdf9df67973a47e1e3f82c1400:
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 28 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 2 (http://www.km
0040: 6f 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 29 0d onos.net/nysl/).
0050: 0a 20 2a 0d 0a 20 2a 20 45 6e 74 72 79 20 70 6f . *.. * Entry po
0060: 69 6e 74 20 66 6f 72 20 50 6f 6c 65 6d 79 20 69 int for Polemy i
0070: 6e 74 65 72 70 72 65 74 65 72 2e 0d 0a 20 2a 2f nterpreter... */
0080: 0d 0a 6d 6f 64 75 6c 65 20 6d 61 69 6e 3b 0d 0a ..module main;..
0090: 69 6d 70 6f 72 74 20 73 74 64 2e 73 74 64 69 6f import std.stdio
00a0: 3b 0d 0a 69 6d 70 6f 72 74 20 73 74 64 2e 61 6c ;..import std.al
00b0: 67 6f 72 69 74 68 6d 3b 0d 0a 69 6d 70 6f 72 74 gorithm;..import
00c0: 20 73 74 64 2e 61 72 72 61 79 3b 0d 0a 69 6d 70 std.array;..imp
00d0: 6f 72 74 20 70 6f 6c 65 6d 79 2e 76 61 6c 75 65 ort polemy.value
00e0: 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 ;..import polemy
00f0: 2e 66 61 69 6c 75 72 65 3b 0d 0a 69 6d 70 6f 72 .failure;..impor
0100: 74 20 70 6f 6c 65 6d 79 2e 6c 61 79 65 72 3b 0d t polemy.layer;.
0110: 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 70 .import polemy.p
0120: 61 72 73 65 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f arse;..import po
0130: 6c 65 6d 79 2e 61 73 74 3b 0a 69 6d 70 6f 72 74 lemy.ast;.import
0140: 20 70 6f 6c 65 6d 79 2e 65 76 61 6c 3b 0d 0a 0d polemy.eval;...
0150: 0a 65 6e 75 6d 20 56 65 72 73 69 6f 6e 4e 6f 4d .enum VersionNoM
0160: 61 6a 6f 72 20 3d 20 30 3b 0d 0a 65 6e 75 6d 20 ajor = 0;..enum
0170: 56 65 72 73 69 6f 6e 4e 6f 4d 69 6e 6f 72 20 3d VersionNoMinor =
0180: 20 31 3b 0d 0a 65 6e 75 6d 20 56 65 72 73 69 6f 1;..enum Versio
0190: 6e 4e 6f 52 65 76 20 20 20 3d 20 30 3b 0d 0a 0d nNoRev = 0;...
01a0: 0a 2f 2f 2f 20 52 65 61 64 2d 45 76 61 6c 2d 50 ./// Read-Eval-P
01b0: 72 69 6e 74 2d 4c 6f 6f 70 0d 0a 0d 0a 63 6c 61 rint-Loop....cla
01c0: 73 73 20 52 45 50 4c 0d 0a 7b 0d 0a 45 76 61 6c ss REPL..{..Eval
01d0: 75 61 74 6f 72 20 65 76 3b 0d 0a 09 2f 2f 2f 20 uator ev;...///
01e0: 4c 6f 61 64 20 74 68 65 20 70 72 65 6c 75 64 65 Load the prelude
01f0: 20 65 6e 76 69 72 6f 6e 6d 65 6e 74 0d 0a 09 74 environment...t
0200: 68 69 73 28 29 0d 0a 09 7b 0d 0a 09 09 65 76 20 his()...{....ev
0210: 3d 20 6e 65 77 20 45 76 61 6c 75 61 74 6f 72 3b = new Evaluator;
0220: 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f 20 50 72 69 ...}...../// Pri
0230: 6e 74 20 74 68 65 20 76 65 72 73 69 6f 6e 20 6e nt the version n
0240: 75 6d 62 65 72 20 65 74 63 2e 0d 0a 09 76 6f 69 umber etc....voi
0250: 64 20 67 72 65 65 74 28 29 0d 0a 09 7b 0d 0a 09 d greet()...{...
0260: 09 77 72 69 74 65 66 6c 6e 28 22 57 65 6c 63 6f .writefln("Welco
0270: 6d 65 20 74 6f 20 50 6f 6c 65 6d 79 20 25 64 2e me to Polemy %d.
0280: 25 64 2e 25 64 22 2c 20 56 65 72 73 69 6f 6e 4e %d.%d", VersionN
0290: 6f 4d 61 6a 6f 72 2c 20 56 65 72 73 69 6f 6e 4e oMajor, VersionN
02a0: 6f 4d 69 6e 6f 72 2c 20 56 65 72 73 69 6f 6e 4e oMinor, VersionN
02b0: 6f 52 65 76 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f oRev);...}...../
02c0: 2f 2f 20 52 75 6e 20 6f 6e 65 20 66 69 6c 65 20 // Run one file
02d0: 6f 6e 20 74 68 65 20 67 6c 6f 62 61 6c 20 73 63 on the global sc
02e0: 6f 70 65 0d 0a 09 76 6f 69 64 20 72 75 6e 46 69 ope...void runFi
02f0: 6c 65 28 73 74 72 69 6e 67 20 66 69 6c 65 6e 61 le(string filena
0300: 6d 65 29 0d 0a 09 7b 0d 0a 09 09 65 76 2e 65 76 me)...{....ev.ev
0310: 61 6c 46 69 6c 65 28 66 69 6c 65 6e 61 6d 65 29 alFile(filename)
0320: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f 20 52 65 ;...}...../// Re
0330: 70 65 61 74 20 74 68 65 20 73 69 6e 67 6c 65 49 peat the singleI
0340: 6e 74 65 72 61 63 74 69 6f 6e 0d 0a 09 76 6f 69 nteraction...voi
0350: 64 20 72 65 70 6c 4c 6f 6f 70 28 29 0d 0a 09 7b d replLoop()...{
0360: 0d 0a 09 09 77 68 69 6c 65 28 20 73 69 6e 67 6c ....while( singl
0370: 65 49 6e 74 65 72 61 63 74 69 6f 6e 28 29 20 29 eInteraction() )
0380: 20 7b 7d 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f 20 {}...}.....///
0390: 52 65 61 64 20 6f 6e 65 20 6c 69 6e 65 20 66 72 Read one line fr
03a0: 6f 6d 20 73 74 64 69 6e 2c 20 61 6e 64 20 64 6f om stdin, and do
03b0: 20 73 6f 6d 65 20 72 65 61 63 74 69 6f 6e 0d 0a some reaction..
03c0: 09 62 6f 6f 6c 20 73 69 6e 67 6c 65 49 6e 74 65 .bool singleInte
03d0: 72 61 63 74 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 raction()...{...
03e0: 09 77 72 69 74 65 66 28 22 3e 3e 20 22 2c 20 6c .writef(">> ", l
03f0: 69 6e 65 6e 6f 29 3b 0d 0a 09 09 73 74 72 69 6e ineno);....strin
0400: 67 20 6c 69 6e 65 20 3d 20 72 65 61 64 6c 6e 28 g line = readln(
0410: 29 3b 0d 0a 09 09 69 66 28 20 6c 69 6e 65 2e 73 );....if( line.s
0420: 74 61 72 74 73 57 69 74 68 28 22 65 78 69 74 22 tartsWith("exit"
0430: 29 20 7c 7c 20 6c 69 6e 65 2e 73 74 61 72 74 73 ) || line.starts
0440: 57 69 74 68 28 22 71 75 69 74 22 29 20 29 0d 0a With("quit") )..
0450: 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b ...return false;
0460: 0d 0a 09 09 74 72 79 20 7b 0d 0a 09 09 09 69 66 ....try {.....if
0470: 28 20 74 72 79 52 75 6e 28 6c 69 6e 65 29 20 29 ( tryRun(line) )
0480: 0d 0a 09 09 09 09 77 72 69 74 65 6c 6e 28 6c 61 ......writeln(la
0490: 73 74 56 61 6c 29 3b 0d 0a 09 09 7d 20 63 61 74 stVal);....} cat
04a0: 63 68 28 54 68 72 6f 77 61 62 6c 65 20 65 29 20 ch(Throwable e)
04b0: 7b 0d 0a 09 09 09 77 72 69 74 65 6c 6e 28 65 29 {.....writeln(e)
04c0: 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e ;....}....return
04d0: 20 74 72 75 65 3b 0d 0a 09 7d 0d 0a 0d 0a 70 72 true;...}....pr
04e0: 69 76 61 74 65 3a 0d 0a 09 54 61 62 6c 65 20 63 ivate:...Table c
04f0: 74 78 3b 0d 0a 09 73 74 72 69 6e 67 20 62 75 66 tx;...string buf
0500: 3b 0d 0a 09 56 61 6c 75 65 20 20 6c 61 73 74 56 ;...Value lastV
0510: 61 6c 3b 0d 0a 09 69 6e 74 20 6c 69 6e 65 6e 6f al;...int lineno
0520: 20 3d 20 31 3b 0d 0a 09 69 6e 74 20 6e 65 78 74 = 1;...int next
0530: 6c 69 6e 65 6e 6f 20 3d 20 31 3b 0d 0a 0d 0a 09 lineno = 1;.....
0540: 62 6f 6f 6c 20 74 72 79 52 75 6e 28 20 73 74 72 bool tryRun( str
0550: 69 6e 67 20 73 20 29 0d 0a 09 7b 0d 0a 09 09 73 ing s )...{....s
0560: 63 6f 70 65 28 66 61 69 6c 75 72 65 29 0d 0a 09 cope(failure)...
0570: 09 09 7b 20 62 75 66 20 3d 20 22 22 3b 20 6c 69 ..{ buf = ""; li
0580: 6e 65 6e 6f 20 3d 20 6e 65 78 74 6c 69 6e 65 6e neno = nextlinen
0590: 6f 3b 20 7d 0d 0a 0d 0a 09 09 62 75 66 20 7e 3d o; }......buf ~=
05a0: 20 73 3b 0d 0a 09 09 6e 65 78 74 6c 69 6e 65 6e s;....nextlinen
05b0: 6f 20 2b 2b 3b 0d 0a 09 09 74 72 79 20 0d 0a 09 o ++;....try ...
05c0: 09 09 7b 20 6c 61 73 74 56 61 6c 20 3d 20 65 76 ..{ lastVal = ev
05d0: 2e 65 76 61 6c 53 74 72 69 6e 67 28 62 75 66 2c .evalString(buf,
05e0: 20 22 3c 52 45 50 4c 3e 22 2c 20 6c 69 6e 65 6e "<REPL>", linen
05f0: 6f 29 3b 20 7d 0d 0a 09 09 63 61 74 63 68 28 20 o); }....catch(
0600: 55 6e 65 78 70 65 63 74 65 64 45 4f 46 20 29 0d UnexpectedEOF ).
0610: 0a 09 09 09 7b 20 72 65 74 75 72 6e 20 66 61 6c ....{ return fal
0620: 73 65 3b 20 7d 20 2f 2f 20 77 61 69 74 0d 0a 09 se; } // wait...
0630: 09 62 75 66 20 3d 20 22 22 3b 0d 0a 09 09 6c 69 .buf = "";....li
0640: 6e 65 6e 6f 20 3d 20 6e 65 78 74 6c 69 6e 65 6e neno = nextlinen
0650: 6f 3b 0d 0a 09 09 72 65 74 75 72 6e 20 74 72 75 o;....return tru
0660: 65 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f e;...}..}....///
0670: 20 41 64 76 61 6e 63 65 20 61 72 67 73 5b 5d 20 Advance args[]
0680: 74 6f 20 70 6f 69 6e 74 20 74 68 65 20 61 72 67 to point the arg
0690: 75 6d 65 6e 74 20 6c 69 73 74 20 66 65 64 20 74 ument list fed t
06a0: 6f 20 74 68 65 20 73 63 72 69 70 74 2e 0d 0a 2f o the script.../
06b0: 2f 2f 20 52 65 74 75 72 6e 73 20 74 68 65 20 6e // Returns the n
06c0: 61 6d 65 20 6f 66 20 74 68 65 20 73 6f 75 72 63 ame of the sourc
06d0: 65 20 66 69 6c 65 20 74 6f 20 72 75 6e 2c 20 6f e file to run, o
06e0: 72 20 72 65 74 75 72 6e 73 20 22 22 20 69 66 0d r returns "" if.
06f0: 0a 2f 2f 2f 20 6e 6f 20 66 69 6c 65 6e 61 6d 65 ./// no filename
0700: 20 77 61 73 20 67 69 76 65 6e 2e 20 41 6c 73 6f was given. Also
0710: 2c 20 72 65 74 75 72 6e 73 20 74 6f 20 6c 69 62 , returns to lib
0720: 73 5b 5d 20 74 68 65 20 6c 69 73 74 20 6f 66 0d s[] the list of.
0730: 0a 2f 2f 2f 20 6c 69 62 72 61 72 79 20 73 6f 75 ./// library sou
0740: 72 63 65 20 74 6f 20 6c 6f 61 64 2e 0d 0a 0d 0a rce to load.....
0750: 73 74 72 69 6e 67 20 70 61 72 73 65 41 72 67 76 string parseArgv
0760: 28 72 65 66 20 73 74 72 69 6e 67 5b 5d 20 61 72 (ref string[] ar
0770: 67 73 2c 20 6f 75 74 20 73 74 72 69 6e 67 5b 5d gs, out string[]
0780: 20 6c 69 62 73 29 0d 0a 7b 0d 0a 09 61 72 67 73 libs)..{...args
0790: 2e 70 6f 70 46 72 6f 6e 74 28 29 3b 0d 0a 0d 0a .popFront();....
07a0: 09 77 68 69 6c 65 28 20 21 61 72 67 73 2e 65 6d .while( !args.em
07b0: 70 74 79 20 26 26 20 61 72 67 73 2e 66 72 6f 6e pty && args.fron
07c0: 74 3d 3d 22 2d 6c 22 20 29 20 7b 0d 0a 09 09 61 t=="-l" ) {....a
07d0: 72 67 73 2e 70 6f 70 46 72 6f 6e 74 28 29 3b 0d rgs.popFront();.
07e0: 0a 09 09 69 66 28 20 21 61 72 67 73 2e 65 6d 70 ...if( !args.emp
07f0: 74 79 20 29 20 7b 0d 0a 09 09 09 6c 69 62 73 20 ty ) {.....libs
0800: 7e 3d 20 61 72 67 73 2e 66 72 6f 6e 74 28 29 3b ~= args.front();
0810: 0d 0a 09 09 09 61 72 67 73 2e 70 6f 70 46 72 6f .....args.popFro
0820: 6e 74 28 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a nt();....}...}..
0830: 0d 0a 09 69 66 28 20 61 72 67 73 2e 65 6d 70 74 ...if( args.empt
0840: 79 20 29 0d 0a 09 09 72 65 74 75 72 6e 20 22 22 y )....return ""
0850: 3b 0d 0a 09 65 6c 73 65 20 7b 0d 0a 09 09 73 63 ;...else {....sc
0860: 6f 70 65 28 65 78 69 74 29 20 61 72 67 73 2e 70 ope(exit) args.p
0870: 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75 opFront;....retu
0880: 72 6e 20 61 72 67 73 2e 66 72 6f 6e 74 3b 0d 0a rn args.front;..
0890: 09 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 45 6e 74 .}..}..../// Ent
08a0: 72 79 20 70 6f 69 6e 74 2e 0d 0a 0d 0a 76 6f 69 ry point.....voi
08b0: 64 20 6d 61 69 6e 28 20 73 74 72 69 6e 67 5b 5d d main( string[]
08c0: 20 61 72 67 73 20 29 0a 7b 0d 0a 09 73 74 72 69 args ).{...stri
08d0: 6e 67 5b 5d 20 6c 69 62 73 3b 0d 0a 09 73 74 72 ng[] libs;...str
08e0: 69 6e 67 20 20 20 73 72 63 20 3d 20 70 61 72 73 ing src = pars
08f0: 65 41 72 67 76 28 61 72 67 73 2c 20 6c 69 62 73 eArgv(args, libs
0900: 29 3b 0d 0a 0d 0a 09 61 75 74 6f 20 72 20 3d 20 );.....auto r =
0910: 6e 65 77 20 52 45 50 4c 3b 0d 0a 09 69 66 28 20 new REPL;...if(
0920: 73 72 63 2e 65 6d 70 74 79 20 29 0d 0a 09 09 72 src.empty )....r
0930: 2e 67 72 65 65 74 28 29 3b 0d 0a 09 66 6f 72 65 .greet();...fore
0940: 61 63 68 28 6c 62 3b 20 6c 69 62 73 29 0d 0a 09 ach(lb; libs)...
0950: 09 72 2e 72 75 6e 46 69 6c 65 28 6c 62 29 3b 0d .r.runFile(lb);.
0960: 0a 09 69 66 28 20 73 72 63 2e 65 6d 70 74 79 20 ..if( src.empty
0970: 29 0d 0a 09 09 72 2e 72 65 70 6c 4c 6f 6f 70 28 )....r.replLoop(
0980: 29 3b 0d 0a 09 65 6c 73 65 0d 0a 09 09 72 2e 72 );...else....r.r
0990: 75 6e 46 69 6c 65 28 73 72 63 29 3b 0d 0a 7d 0d unFile(src);..}.
09a0: 0a .