2016-03-04 08:08:47 +03:00
|
|
|
#import <Foundation/Foundation.h>
|
|
|
|
|
|
|
|
#import "mal_readline.h"
|
|
|
|
#import "types.h"
|
|
|
|
#import "reader.h"
|
|
|
|
#import "printer.h"
|
|
|
|
#import "env.h"
|
|
|
|
#import "malfunc.h"
|
|
|
|
#import "core.h"
|
|
|
|
|
|
|
|
// read
|
|
|
|
NSObject *READ(NSString *str) {
|
|
|
|
return read_str(str);
|
|
|
|
}
|
|
|
|
|
|
|
|
// eval
|
2024-08-27 12:30:26 +03:00
|
|
|
NSObject *EVAL(NSObject *ast, Env *env) {
|
2024-08-27 16:27:12 +03:00
|
|
|
NSObject * dbgeval = [env get:[MalSymbol stringWithString:@"DEBUG-EVAL"]];
|
|
|
|
if (dbgeval != nil
|
|
|
|
&& ! [dbgeval isKindOfClass:[NSNull class]]
|
|
|
|
&& ! [dbgeval isKindOfClass:[MalFalse class]]) {
|
|
|
|
printf("EVAL: %s\n", [[_pr_str(ast, true) description] UTF8String]);
|
|
|
|
}
|
2016-03-04 08:08:47 +03:00
|
|
|
if ([ast isMemberOfClass:[MalSymbol class]]) {
|
2024-08-27 16:27:12 +03:00
|
|
|
NSObject * value = [env get:(MalSymbol *)ast];
|
|
|
|
if (value == nil) {
|
|
|
|
@throw [NSString stringWithFormat:@"'%@' not found", ast];
|
|
|
|
}
|
|
|
|
return value;
|
2024-08-27 12:30:26 +03:00
|
|
|
} else if ([ast isKindOfClass:[MalVector class]]) {
|
2016-03-04 08:08:47 +03:00
|
|
|
NSMutableArray *newLst = [NSMutableArray array];
|
|
|
|
for (NSObject * x in (NSArray *)ast) {
|
|
|
|
[newLst addObject:EVAL(x, env)];
|
|
|
|
}
|
2024-08-27 12:30:26 +03:00
|
|
|
return [MalVector fromArray:newLst];
|
2016-03-04 08:08:47 +03:00
|
|
|
} else if ([ast isKindOfClass:[NSDictionary class]]) {
|
|
|
|
NSMutableDictionary *newDict = [NSMutableDictionary dictionary];
|
|
|
|
for (NSString * k in (NSDictionary *)ast) {
|
|
|
|
newDict[k] = EVAL(((NSDictionary *)ast)[k], env);
|
|
|
|
}
|
|
|
|
return newDict;
|
2024-08-27 12:30:26 +03:00
|
|
|
} else if (! [ast isKindOfClass:[NSArray class]]) {
|
2016-03-04 08:08:47 +03:00
|
|
|
return ast;
|
|
|
|
}
|
|
|
|
|
2016-04-03 01:27:25 +03:00
|
|
|
// apply list
|
2024-08-27 12:30:26 +03:00
|
|
|
NSArray * alst = (NSArray *)ast;
|
|
|
|
if ([alst count] == 0) {
|
2016-04-03 01:27:25 +03:00
|
|
|
return ast;
|
|
|
|
}
|
2016-03-04 08:08:47 +03:00
|
|
|
id a0 = alst[0];
|
|
|
|
NSString * a0sym = [a0 isKindOfClass:[MalSymbol class]] ? (NSString *)a0
|
|
|
|
: @"__<*fn*>__";
|
|
|
|
|
|
|
|
if ([a0sym isEqualTo:@"def!"]) {
|
|
|
|
return [env set:((MalSymbol *)alst[1]) val:EVAL(alst[2], env)];
|
|
|
|
} else if ([(NSString *)a0 isEqualTo:@"let*"]) {
|
|
|
|
Env *let_env = [Env fromOuter:env];
|
|
|
|
NSArray * binds = (NSArray *)alst[1];
|
|
|
|
for (int i=0; i < [binds count]; i+=2) {
|
|
|
|
[let_env set:binds[i] val:EVAL(binds[i+1], let_env)];
|
|
|
|
}
|
|
|
|
return EVAL(alst[2], let_env);
|
|
|
|
} else if ([a0sym isEqualTo:@"do"]) {
|
2024-08-27 12:30:26 +03:00
|
|
|
for (int i=1; i < [alst count] - 1; i++) {
|
|
|
|
EVAL(alst[i], env);
|
|
|
|
}
|
|
|
|
return EVAL([alst lastObject], env);
|
2016-03-04 08:08:47 +03:00
|
|
|
} else if ([a0sym isEqualTo:@"if"]) {
|
|
|
|
NSObject * cond = EVAL(alst[1], env);
|
|
|
|
if ([cond isKindOfClass:[NSNull class]] ||
|
|
|
|
[cond isKindOfClass:[MalFalse class]]) {
|
|
|
|
if ([alst count] > 3) {
|
|
|
|
return EVAL(alst[3], env);
|
|
|
|
} else {
|
|
|
|
return [NSNull alloc];
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
return EVAL(alst[2], env);
|
|
|
|
}
|
|
|
|
} else if ([a0sym isEqualTo:@"fn*"]) {
|
|
|
|
return [[MalFunc alloc] init:alst[2] env:env params:alst[1]];
|
|
|
|
} else {
|
2024-08-27 12:30:26 +03:00
|
|
|
id el0 = EVAL(a0, env);
|
|
|
|
NSMutableArray * args = [NSMutableArray array];
|
|
|
|
for (int i = 1; i < [alst count]; i++) {
|
|
|
|
[args addObject:EVAL(alst[i], env)];
|
2016-03-04 08:08:47 +03:00
|
|
|
}
|
2024-08-27 12:30:26 +03:00
|
|
|
return apply(el0, args);
|
2016-03-04 08:08:47 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// print
|
|
|
|
NSString *PRINT(NSObject *exp) {
|
|
|
|
return _pr_str(exp, true);
|
|
|
|
}
|
|
|
|
|
|
|
|
// REPL
|
|
|
|
NSString *REP(NSString *line, Env *env) {
|
|
|
|
return PRINT(EVAL(READ(line), env));
|
|
|
|
}
|
|
|
|
|
2016-03-04 10:56:54 +03:00
|
|
|
int main () {
|
|
|
|
Env * repl_env = [[Env alloc] init];
|
|
|
|
|
2016-03-04 08:08:47 +03:00
|
|
|
// Create an autorelease pool to manage the memory into the program
|
|
|
|
NSAutoreleasePool * pool = [[NSAutoreleasePool alloc] init];
|
|
|
|
// If using automatic reference counting (ARC), use @autoreleasepool instead:
|
|
|
|
// @autoreleasepool {
|
|
|
|
|
|
|
|
// core.m: defined using Objective-C
|
|
|
|
NSDictionary * core_ns = [Core ns];
|
|
|
|
for (NSString* key in core_ns) {
|
|
|
|
[repl_env set:(MalSymbol *)key val:[core_ns objectForKey:key]];
|
|
|
|
}
|
|
|
|
|
|
|
|
// core.mal: defined using the language itself
|
|
|
|
REP(@"(def! not (fn* (a) (if a false true)))", repl_env);
|
|
|
|
|
|
|
|
while (true) {
|
|
|
|
char *rawline = _readline("user> ");
|
|
|
|
if (!rawline) { break; }
|
|
|
|
NSString *line = [NSString stringWithUTF8String:rawline];
|
|
|
|
if ([line length] == 0) { continue; }
|
|
|
|
@try {
|
|
|
|
printf("%s\n", [[REP(line, repl_env) description] UTF8String]);
|
|
|
|
} @catch(NSString *e) {
|
|
|
|
printf("Error: %s\n", [e UTF8String]);
|
Test uncaught throw, catchless try* . Fix 46 impls.
Fixes made to: ada, c, chuck, clojure, coffee, common-lisp, cpp,
crystal, d, dart, elm, erlang, es6, factor, fsharp, gnu-smalltalk,
groovy, guile, haxe, hy, js, livescript, matlab, miniMAL, nasm, nim,
objc, objpascal, ocaml, perl, perl6, php, plsql, ps, python, r,
rpython, ruby, scheme, swift3, tcl, ts, vb, vimscript, wasm, yorick.
Catchless try* test is an optional test. Not all implementations
support catchless try* but a number were fixed so they at least don't
crash on catchless try*.
2018-12-03 22:20:44 +03:00
|
|
|
} @catch(NSObject *e) {
|
|
|
|
NSObject * exc = e;
|
|
|
|
printf("Exception: %s\n", [_pr_str(exc, true) UTF8String]);
|
2016-03-04 10:56:54 +03:00
|
|
|
} @catch(NSException *e) {
|
|
|
|
if ([[e name] isEqualTo:@"ReaderContinue"]) { continue; }
|
|
|
|
printf("Exception: %s\n", [[e reason] UTF8String]);
|
2016-03-04 08:08:47 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
[pool drain];
|
|
|
|
|
|
|
|
// }
|
|
|
|
}
|