Artifact cbf6e2570b5a90b0b2984f3299dd5ed108b28aa2:
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 69 polemy.eval;..i
0150: 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 72 75 6e mport polemy.run
0160: 74 69 6d 65 3b 0d 0a 0d 0a 65 6e 75 6d 20 56 65 time;....enum Ve
0170: 72 73 69 6f 6e 4e 6f 4d 61 6a 6f 72 20 3d 20 30 rsionNoMajor = 0
0180: 3b 0d 0a 65 6e 75 6d 20 56 65 72 73 69 6f 6e 4e ;..enum VersionN
0190: 6f 4d 69 6e 6f 72 20 3d 20 31 3b 0d 0a 65 6e 75 oMinor = 1;..enu
01a0: 6d 20 56 65 72 73 69 6f 6e 4e 6f 52 65 76 20 20 m VersionNoRev
01b0: 20 3d 20 30 3b 0d 0a 0d 0a 2f 2f 2f 20 52 65 61 = 0;..../// Rea
01c0: 64 2d 45 76 61 6c 2d 50 72 69 6e 74 2d 4c 6f 6f d-Eval-Print-Loo
01d0: 70 0d 0a 0d 0a 63 6c 61 73 73 20 52 45 50 4c 0d p....class REPL.
01e0: 0a 7b 0d 0a 45 76 61 6c 75 61 74 6f 72 20 65 76 .{..Evaluator ev
01f0: 3b 0d 0a 09 2f 2f 2f 20 4c 6f 61 64 20 74 68 65 ;.../// Load the
0200: 20 70 72 65 6c 75 64 65 20 65 6e 76 69 72 6f 6e prelude environ
0210: 6d 65 6e 74 0d 0a 09 74 68 69 73 28 29 0d 0a 09 ment...this()...
0220: 7b 0d 0a 09 09 65 76 20 3d 20 6e 65 77 20 45 76 {....ev = new Ev
0230: 61 6c 75 61 74 6f 72 3b 0d 0a 09 09 65 6e 72 6f aluator;....enro
0240: 6c 6c 52 75 6e 74 69 6d 65 4c 69 62 72 61 72 79 llRuntimeLibrary
0250: 28 65 76 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f (ev);...}.....//
0260: 2f 20 50 72 69 6e 74 20 74 68 65 20 76 65 72 73 / Print the vers
0270: 69 6f 6e 20 6e 75 6d 62 65 72 20 65 74 63 2e 0d ion number etc..
0280: 0a 09 76 6f 69 64 20 67 72 65 65 74 28 29 0d 0a ..void greet()..
0290: 09 7b 0d 0a 09 09 77 72 69 74 65 66 6c 6e 28 22 .{....writefln("
02a0: 57 65 6c 63 6f 6d 65 20 74 6f 20 50 6f 6c 65 6d Welcome to Polem
02b0: 79 20 25 64 2e 25 64 2e 25 64 22 2c 20 56 65 72 y %d.%d.%d", Ver
02c0: 73 69 6f 6e 4e 6f 4d 61 6a 6f 72 2c 20 56 65 72 sionNoMajor, Ver
02d0: 73 69 6f 6e 4e 6f 4d 69 6e 6f 72 2c 20 56 65 72 sionNoMinor, Ver
02e0: 73 69 6f 6e 4e 6f 52 65 76 29 3b 0d 0a 09 7d 0d sionNoRev);...}.
02f0: 0a 0d 0a 09 2f 2f 2f 20 52 75 6e 20 6f 6e 65 20 ..../// Run one
0300: 66 69 6c 65 20 6f 6e 20 74 68 65 20 67 6c 6f 62 file on the glob
0310: 61 6c 20 73 63 6f 70 65 0d 0a 09 76 6f 69 64 20 al scope...void
0320: 72 75 6e 46 69 6c 65 28 73 74 72 69 6e 67 20 66 runFile(string f
0330: 69 6c 65 6e 61 6d 65 29 0d 0a 09 7b 0d 0a 09 09 ilename)...{....
0340: 65 76 2e 65 76 61 6c 46 69 6c 65 28 66 69 6c 65 ev.evalFile(file
0350: 6e 61 6d 65 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f name);...}...../
0360: 2f 2f 20 52 65 70 65 61 74 20 74 68 65 20 73 69 // Repeat the si
0370: 6e 67 6c 65 49 6e 74 65 72 61 63 74 69 6f 6e 0d ngleInteraction.
0380: 0a 09 76 6f 69 64 20 72 65 70 6c 4c 6f 6f 70 28 ..void replLoop(
0390: 29 0d 0a 09 7b 0d 0a 09 09 77 68 69 6c 65 28 20 )...{....while(
03a0: 73 69 6e 67 6c 65 49 6e 74 65 72 61 63 74 69 6f singleInteractio
03b0: 6e 28 29 20 29 20 7b 7d 0d 0a 09 7d 0d 0a 0d 0a n() ) {}...}....
03c0: 09 2f 2f 2f 20 52 65 61 64 20 6f 6e 65 20 6c 69 ./// Read one li
03d0: 6e 65 20 66 72 6f 6d 20 73 74 64 69 6e 2c 20 61 ne from stdin, a
03e0: 6e 64 20 64 6f 20 73 6f 6d 65 20 72 65 61 63 74 nd do some react
03f0: 69 6f 6e 0d 0a 09 62 6f 6f 6c 20 73 69 6e 67 6c ion...bool singl
0400: 65 49 6e 74 65 72 61 63 74 69 6f 6e 28 29 0d 0a eInteraction()..
0410: 09 7b 0d 0a 09 09 77 72 69 74 65 66 28 22 3e 3e .{....writef(">>
0420: 20 22 2c 20 6c 69 6e 65 6e 6f 29 3b 0d 0a 09 09 ", lineno);....
0430: 73 74 72 69 6e 67 20 6c 69 6e 65 20 3d 20 72 65 string line = re
0440: 61 64 6c 6e 28 29 3b 0d 0a 09 09 69 66 28 20 6c adln();....if( l
0450: 69 6e 65 2e 73 74 61 72 74 73 57 69 74 68 28 22 ine.startsWith("
0460: 65 78 69 74 22 29 20 7c 7c 20 6c 69 6e 65 2e 73 exit") || line.s
0470: 74 61 72 74 73 57 69 74 68 28 22 71 75 69 74 22 tartsWith("quit"
0480: 29 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 66 ) ).....return f
0490: 61 6c 73 65 3b 0d 0a 09 09 74 72 79 20 7b 0d 0a alse;....try {..
04a0: 09 09 09 69 66 28 20 74 72 79 52 75 6e 28 6c 69 ...if( tryRun(li
04b0: 6e 65 29 20 29 0d 0a 09 09 09 09 77 72 69 74 65 ne) )......write
04c0: 6c 6e 28 6c 61 73 74 56 61 6c 29 3b 0d 0a 09 09 ln(lastVal);....
04d0: 7d 20 63 61 74 63 68 28 54 68 72 6f 77 61 62 6c } catch(Throwabl
04e0: 65 20 65 29 20 7b 0d 0a 09 09 09 77 72 69 74 65 e e) {.....write
04f0: 6c 6e 28 65 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 ln(e);....}....r
0500: 65 74 75 72 6e 20 74 72 75 65 3b 0d 0a 09 7d 0d eturn true;...}.
0510: 0a 0d 0a 70 72 69 76 61 74 65 3a 0d 0a 09 54 61 ...private:...Ta
0520: 62 6c 65 20 63 74 78 3b 0d 0a 09 73 74 72 69 6e ble ctx;...strin
0530: 67 20 62 75 66 3b 0d 0a 09 56 61 6c 75 65 20 20 g buf;...Value
0540: 6c 61 73 74 56 61 6c 3b 0d 0a 09 69 6e 74 20 6c lastVal;...int l
0550: 69 6e 65 6e 6f 20 3d 20 31 3b 0d 0a 09 69 6e 74 ineno = 1;...int
0560: 20 6e 65 78 74 6c 69 6e 65 6e 6f 20 3d 20 31 3b nextlineno = 1;
0570: 0d 0a 0d 0a 09 62 6f 6f 6c 20 74 72 79 52 75 6e .....bool tryRun
0580: 28 20 73 74 72 69 6e 67 20 73 20 29 0d 0a 09 7b ( string s )...{
0590: 0d 0a 09 09 73 63 6f 70 65 28 66 61 69 6c 75 72 ....scope(failur
05a0: 65 29 0d 0a 09 09 09 7b 20 62 75 66 20 3d 20 22 e).....{ buf = "
05b0: 22 3b 20 6c 69 6e 65 6e 6f 20 3d 20 6e 65 78 74 "; lineno = next
05c0: 6c 69 6e 65 6e 6f 3b 20 7d 0d 0a 0d 0a 09 09 62 lineno; }......b
05d0: 75 66 20 7e 3d 20 73 3b 0d 0a 09 09 6e 65 78 74 uf ~= s;....next
05e0: 6c 69 6e 65 6e 6f 20 2b 2b 3b 0d 0a 09 09 74 72 lineno ++;....tr
05f0: 79 20 0d 0a 09 09 09 7b 20 6c 61 73 74 56 61 6c y .....{ lastVal
0600: 20 3d 20 65 76 2e 65 76 61 6c 53 74 72 69 6e 67 = ev.evalString
0610: 28 62 75 66 2c 20 22 3c 52 45 50 4c 3e 22 2c 20 (buf, "<REPL>",
0620: 6c 69 6e 65 6e 6f 29 3b 20 7d 0d 0a 09 09 63 61 lineno); }....ca
0630: 74 63 68 28 20 55 6e 65 78 70 65 63 74 65 64 45 tch( UnexpectedE
0640: 4f 46 20 29 0d 0a 09 09 09 7b 20 72 65 74 75 72 OF ).....{ retur
0650: 6e 20 66 61 6c 73 65 3b 20 7d 20 2f 2f 20 77 61 n false; } // wa
0660: 69 74 0d 0a 09 09 62 75 66 20 3d 20 22 22 3b 0d it....buf = "";.
0670: 0a 09 09 6c 69 6e 65 6e 6f 20 3d 20 6e 65 78 74 ...lineno = next
0680: 6c 69 6e 65 6e 6f 3b 0d 0a 09 09 72 65 74 75 72 lineno;....retur
0690: 6e 20 74 72 75 65 3b 0d 0a 09 7d 0d 0a 7d 0d 0a n true;...}..}..
06a0: 0d 0a 2f 2f 2f 20 41 64 76 61 6e 63 65 20 61 72 ../// Advance ar
06b0: 67 73 5b 5d 20 74 6f 20 70 6f 69 6e 74 20 74 68 gs[] to point th
06c0: 65 20 61 72 67 75 6d 65 6e 74 20 6c 69 73 74 20 e argument list
06d0: 66 65 64 20 74 6f 20 74 68 65 20 73 63 72 69 70 fed to the scrip
06e0: 74 2e 0d 0a 2f 2f 2f 20 52 65 74 75 72 6e 73 20 t.../// Returns
06f0: 74 68 65 20 6e 61 6d 65 20 6f 66 20 74 68 65 20 the name of the
0700: 73 6f 75 72 63 65 20 66 69 6c 65 20 74 6f 20 72 source file to r
0710: 75 6e 2c 20 6f 72 20 72 65 74 75 72 6e 73 20 22 un, or returns "
0720: 22 20 69 66 0d 0a 2f 2f 2f 20 6e 6f 20 66 69 6c " if../// no fil
0730: 65 6e 61 6d 65 20 77 61 73 20 67 69 76 65 6e 2e ename was given.
0740: 20 41 6c 73 6f 2c 20 72 65 74 75 72 6e 73 20 74 Also, returns t
0750: 6f 20 6c 69 62 73 5b 5d 20 74 68 65 20 6c 69 73 o libs[] the lis
0760: 74 20 6f 66 0d 0a 2f 2f 2f 20 6c 69 62 72 61 72 t of../// librar
0770: 79 20 73 6f 75 72 63 65 20 74 6f 20 6c 6f 61 64 y source to load
0780: 2e 0d 0a 0d 0a 73 74 72 69 6e 67 20 70 61 72 73 .....string pars
0790: 65 41 72 67 76 28 72 65 66 20 73 74 72 69 6e 67 eArgv(ref string
07a0: 5b 5d 20 61 72 67 73 2c 20 6f 75 74 20 73 74 72 [] args, out str
07b0: 69 6e 67 5b 5d 20 6c 69 62 73 29 0d 0a 7b 0d 0a ing[] libs)..{..
07c0: 09 61 72 67 73 2e 70 6f 70 46 72 6f 6e 74 28 29 .args.popFront()
07d0: 3b 0d 0a 0d 0a 09 77 68 69 6c 65 28 20 21 61 72 ;.....while( !ar
07e0: 67 73 2e 65 6d 70 74 79 20 26 26 20 61 72 67 73 gs.empty && args
07f0: 2e 66 72 6f 6e 74 3d 3d 22 2d 6c 22 20 29 20 7b .front=="-l" ) {
0800: 0d 0a 09 09 61 72 67 73 2e 70 6f 70 46 72 6f 6e ....args.popFron
0810: 74 28 29 3b 0d 0a 09 09 69 66 28 20 21 61 72 67 t();....if( !arg
0820: 73 2e 65 6d 70 74 79 20 29 20 7b 0d 0a 09 09 09 s.empty ) {.....
0830: 6c 69 62 73 20 7e 3d 20 61 72 67 73 2e 66 72 6f libs ~= args.fro
0840: 6e 74 28 29 3b 0d 0a 09 09 09 61 72 67 73 2e 70 nt();.....args.p
0850: 6f 70 46 72 6f 6e 74 28 29 3b 0d 0a 09 09 7d 0d opFront();....}.
0860: 0a 09 7d 0d 0a 0d 0a 09 69 66 28 20 61 72 67 73 ..}.....if( args
0870: 2e 65 6d 70 74 79 20 29 0d 0a 09 09 72 65 74 75 .empty )....retu
0880: 72 6e 20 22 22 3b 0d 0a 09 65 6c 73 65 20 7b 0d rn "";...else {.
0890: 0a 09 09 73 63 6f 70 65 28 65 78 69 74 29 20 61 ...scope(exit) a
08a0: 72 67 73 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 rgs.popFront;...
08b0: 09 72 65 74 75 72 6e 20 61 72 67 73 2e 66 72 6f .return args.fro
08c0: 6e 74 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f nt;...}..}....//
08d0: 2f 20 45 6e 74 72 79 20 70 6f 69 6e 74 2e 0d 0a / Entry point...
08e0: 0d 0a 76 6f 69 64 20 6d 61 69 6e 28 20 73 74 72 ..void main( str
08f0: 69 6e 67 5b 5d 20 61 72 67 73 20 29 0a 7b 0d 0a ing[] args ).{..
0900: 09 73 74 72 69 6e 67 5b 5d 20 6c 69 62 73 3b 0d .string[] libs;.
0910: 0a 09 73 74 72 69 6e 67 20 20 20 73 72 63 20 3d ..string src =
0920: 20 70 61 72 73 65 41 72 67 76 28 61 72 67 73 2c parseArgv(args,
0930: 20 6c 69 62 73 29 3b 0d 0a 0d 0a 09 61 75 74 6f libs);.....auto
0940: 20 72 20 3d 20 6e 65 77 20 52 45 50 4c 3b 0d 0a r = new REPL;..
0950: 09 69 66 28 20 73 72 63 2e 65 6d 70 74 79 20 29 .if( src.empty )
0960: 0d 0a 09 09 72 2e 67 72 65 65 74 28 29 3b 0d 0a ....r.greet();..
0970: 09 66 6f 72 65 61 63 68 28 6c 62 3b 20 6c 69 62 .foreach(lb; lib
0980: 73 29 0d 0a 09 09 72 2e 72 75 6e 46 69 6c 65 28 s)....r.runFile(
0990: 6c 62 29 3b 0d 0a 09 69 66 28 20 73 72 63 2e 65 lb);...if( src.e
09a0: 6d 70 74 79 20 29 0d 0a 09 09 72 2e 72 65 70 6c mpty )....r.repl
09b0: 4c 6f 6f 70 28 29 3b 0d 0a 09 65 6c 73 65 0d 0a Loop();...else..
09c0: 09 09 72 2e 72 75 6e 46 69 6c 65 28 73 72 63 29 ..r.runFile(src)
09d0: 3b 0d 0a 7d 0d 0a ;..}..