X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=lispstrack.lisp;h=7bb69452c0521fee1feef8b69837cafb17f7e819;hb=303beabd731556a15a88141af6e84808c8ed425f;hp=44be5a684255dfc8ce5aabd8865507e85d54e197;hpb=2af650b83b1449de72dc7b8209cb2310cdea0509;p=jscl.git diff --git a/lispstrack.lisp b/lispstrack.lisp index 44be5a6..7bb6945 100644 --- a/lispstrack.lisp +++ b/lispstrack.lisp @@ -1,19 +1,28 @@ +(defun !reduce (func list initial) + (if (null list) + initial + (!reduce func + (cdr list) + (funcall func initial (car list))))) + ;;; Utils #+common-lisp -(defmacro while (condition &body body) - `(do () - ((not ,condition)) - ,@body)) +(progn + (defmacro while (condition &body body) + `(do () + ((not ,condition)) + ,@body)) -(defvar *newline* " -") + (defun concat-two (s1 s2) + (concatenate 'string s1 s2))) + +(defvar *newline* (string (code-char 10))) -;;; simplify me, please (defun concat (&rest strs) - (reduce (lambda (s1 s2) (concatenate 'string s1 s2)) - strs - :initial-value "")) + (!reduce (lambda (s1 s2) (concat-two s1 s2)) + strs + "")) ;;; Concatenate a list of strings, with a separator (defun join (list separator) @@ -240,10 +249,12 @@ "){" *newline* (if rest-argument - (concat "var " (lookup-variable rest-argument new-env) - " = arguments.slice(" - (prin1-to-string (length required-arguments)) - ");" + (concat "var " (lookup-variable rest-argument new-env) ";" *newline* + "for (var i = arguments.length-1; i>=" + (integer-to-string (length required-arguments)) + "; i--)" *newline* + (lookup-variable rest-argument new-env) " = " + "{car: arguments[i], cdr: " (lookup-variable rest-argument new-env) "};" *newline*) "") (concat (ls-compile-block (butlast body) new-env fenv) @@ -301,6 +312,7 @@ ((symbolp x) (lookup-function x fenv)))) +#+common-lisp (defmacro eval-when-compile (&body body) `(eval-when (:compile-toplevel :execute) ,@body)) @@ -350,6 +362,9 @@ (backquote-expand-1 (cadr form)) form)) +(defmacro backquote (form) + (backquote-expand-1 form)) + (define-transformation backquote (form) (backquote-expand-1 form)) @@ -370,6 +385,15 @@ (define-compilation = (x y) (concat "((" (ls-compile x env fenv) ") == (" (ls-compile y env fenv) "))")) +(define-compilation mod (x y) + (concat "((" (ls-compile x env fenv) ") % (" (ls-compile y env fenv) "))")) + +(define-compilation floor (x) + (concat "(Math.floor(" (ls-compile x env fenv) "))")) + +(define-compilation null (x) + (concat "(" (ls-compile x env fenv) "== undefined)")) + (define-compilation cons (x y) (concat "{car: " (ls-compile x env fenv) ", cdr: " (ls-compile y env fenv) "}")) @@ -379,15 +403,56 @@ (define-compilation cdr (x) (concat "(" (ls-compile x env fenv) ").cdr")) +(define-compilation make-symbol (name) + (concat "{name: " (ls-compile name env fenv) "}")) + (define-compilation symbol-name (x) (concat "(" (ls-compile x env fenv) ").name")) (define-compilation eq (x y) (concat "(" (ls-compile x env fenv) " === " (ls-compile y env fenv) ")")) -(define-compilation code-char (x) +(define-compilation string (x) (concat "String.fromCharCode( " (ls-compile x env fenv) ")")) +(define-compilation char (string index) + (concat "(" + (ls-compile string env fenv) + ").charCodeAt(" + (ls-compile index env fenv) + ")")) + +(define-compilation concat-two (string1 string2) + (concat "(" + (ls-compile string1 env fenv) + ").concat(" + (ls-compile string2 env fenv) + ")")) + +(define-compilation funcall (func &rest args) + (concat "(" + (ls-compile func env fenv) + ")(" + (join (mapcar (lambda (x) + (ls-compile x env fenv)) + args) + ", ") + ")")) + +(define-compilation new () + "{}") + +(define-compilation get (object key) + (concat "(" (ls-compile object env fenv) ")[" (ls-compile key env fenv) "]")) + +(define-compilation set (object key value) + (concat "((" + (ls-compile object env fenv) + ")[" + (ls-compile key env fenv) "]" + " = " (ls-compile value env fenv) ")")) + + (defun %compile-defvar (name) (push (make-var-binding name) *env*) (push (concat "var " (lookup-variable name *env*)) *toplevel-compilations*)) @@ -444,15 +509,14 @@ (setq *toplevel-compilations* nil)))) #+common-lisp -(defun ls-compile-file (filename output) - (with-open-file (in filename) - (with-open-file (out output :direction :output :if-exists :supersede) - (loop - for x = (ls-read in) - until (eq x *eof*) - for compilation = (ls-compile-toplevel x) - when compilation do (write-line (concat compilation "; ") out))))) - -;;; Testing -(defun compile-test () - (ls-compile-file "test.lisp" "test.js")) +(progn + (defun ls-compile-file (filename output) + (with-open-file (in filename) + (with-open-file (out output :direction :output :if-exists :supersede) + (loop + for x = (ls-read in) + until (eq x *eof*) + for compilation = (ls-compile-toplevel x) + when compilation do (write-line (concat compilation "; ") out))))) + (defun bootstrap () + (ls-compile-file "lispstrack.lisp" "lispstrack.js")))