(defun load-relative (file)

(let* ((current-file (or load-file-name buffer-file-name))

(current-file-directory (file-name-directory current-file)))

(load (expand-file-name file current-file-directory) nil t)))

(load-relative "types.el")

(load-relative "env.el")

(load-relative "func.el")

(load-relative "reader.el")

(load-relative "printer.el")

(load-relative "core.el")

(defvar repl-env (mal-env))

(dolist (binding core-ns)

(let ((symbol (car binding))

(fn (cdr binding)))

(mal-env-set repl-env symbol fn)))

(defun READ (input)

(read-str input))

(defun EVAL (ast env)

(catch 'return

(while t

(if (and (mal-list-p ast) (mal-value ast))

(let* ((a (mal-value ast))

(a0 (car a))

(a0* (mal-value a0))

(a1 (cadr a))

(a2 (nth 2 a))

(a3 (nth 3 a)))

(cond

((eq a0* 'def!)

(let ((identifier (mal-value a1))

(value (EVAL a2 env)))

(throw 'return (mal-env-set env identifier value))))

((eq a0* 'let*)

(let* ((env* (mal-env env))

(bindings (mal-value a1))

(form a2))

(when (vectorp bindings)

(setq bindings (append bindings nil)))

(while bindings

(let ((key (mal-value (pop bindings)))

(value (EVAL (pop bindings) env*)))

(mal-env-set env* key value)))

(setq env env*

ast form))) ; TCO

((eq a0* 'do)

(let* ((a0... (cdr a))

(butlast (butlast a0...))

(last (car (last a0...))))

(when butlast

(eval-ast (mal-list butlast) env))

(setq ast last))) ; TCO

((eq a0* 'if)

(let* ((condition (EVAL a1 env))

(condition-type (mal-type condition))

(then a2)

(else a3))

(if (and (not (eq condition-type 'false))

(not (eq condition-type 'nil)))

(setq ast then) ; TCO

(if else

(setq ast else) ; TCO

(throw 'return mal-nil)))))

((eq a0* 'fn*)

(let* ((binds (mapcar 'mal-value (mal-value a1)))

(body a2)

(fn (mal-fn

(lambda (&rest args)

(let ((env* (mal-env env binds args)))

(EVAL body env*))))))

(throw 'return (mal-func body binds env fn))))

(t

;; not a special form

(let* ((ast* (mal-value (eval-ast ast env)))

(fn (car ast*))

(args (cdr ast*)))

(if (mal-func-p fn)

(let ((env* (mal-env (mal-func-env fn)

(mal-func-params fn)

args)))

(setq env env*

ast (mal-func-ast fn))) ; TCO

(let ((fn* (if (mal-fn-p fn)

;; unbox user-defined function

(mal-value fn)

;; use built-in function

fn)))

(throw 'return (apply fn* args))))))))

(throw 'return (eval-ast ast env))))))

(defun eval-ast (ast env)

(let ((type (mal-type ast))

(value (mal-value ast)))

(cond

((eq type 'symbol)

(let ((definition (mal-env-get env value)))

(or definition (error "Definition not found"))))

((eq type 'list)

(mal-list (mapcar (lambda (item) (EVAL item env)) value)))

((eq type 'vector)

(mal-vector (vconcat (mapcar (lambda (item) (EVAL item env)) value))))

((eq type 'map)

(let ((map (copy-hash-table value)))

(maphash (lambda (key value)

(puthash key (EVAL value env) map))

map)

(mal-map map)))

(t

;; return as is

ast))))

(defun PRINT (input)

(pr-str input t))

(defun rep (input)

(PRINT (EVAL (READ input) repl-env)))

(rep "(def! not (fn* (a) (if a false true)))")

(defun readln (prompt)

;; C-d throws an error

(ignore-errors (read-from-minibuffer prompt)))

(defun println (format-string &rest args)

(if (not args)

(princ format-string)

(princ (apply 'format format-string args)))

(terpri))

(defun main ()

(let (eof)

(while (not eof)

(let ((input (readln "user> ")))

(if input

(condition-case err

(println (rep input))

(end-of-token-stream

;; empty input, carry on

)

(unterminated-sequence

(let* ((type (cadr err))

(end

(cond

((eq type 'string) ?\")

((eq type 'list) ?\))

((eq type 'vector) ?\])

((eq type 'map) ?}))))

(princ (format "Expected '%c', got EOF\n" end))))

(error ; catch-all

(println (error-message-string err))))

(setq eof t)

;; print final newline

(terpri))))))

(main)