summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobin Templeton <robin@terpri.org>2014-08-04 23:11:29 -0400
committerChristine Lemmer-Webber <cwebber@dustycloud.org>2021-10-19 18:10:04 -0400
commit8dcb633909b5b5c36819bb297af216f18b3de769 (patch)
tree4b8d3a51d1bb696e5e393b191e4fe46b04249024
parentc8f94d3917efa9518525e2bccca2639ba57bc341 (diff)
downloadguile-8dcb633909b5b5c36819bb297af216f18b3de769.tar.gz
compiler macros
(Best-ability ChangeLog annotation added by Christine Lemmer-Webber.) * module/language/elisp/boot.el (%define-compiler-macro): New macro. * module/language/elisp/compile-tree-il.scm: New function. (compile-pair): Update to handle %compiler-macro condition.
-rw-r--r--module/language/elisp/boot.el12
-rw-r--r--module/language/elisp/compile-tree-il.scm12
2 files changed, 24 insertions, 0 deletions
diff --git a/module/language/elisp/boot.el b/module/language/elisp/boot.el
index bef4c1d7c..fe9af290f 100644
--- a/module/language/elisp/boot.el
+++ b/module/language/elisp/boot.el
@@ -41,6 +41,18 @@
(eval-when-compile ,@body)
(progn ,@body)))
+(defmacro %define-compiler-macro (name args &rest body)
+ `(eval-and-compile
+ (%funcall
+ (@ (language elisp runtime) set-symbol-plist!)
+ ',name
+ (%funcall
+ (@ (guile) cons*)
+ '%compiler-macro
+ #'(lambda ,args ,@body)
+ (%funcall (@ (language elisp runtime) symbol-plist) ',name)))
+ ',name))
+
(eval-and-compile
(defun eval (form)
(%funcall (@ (language elisp runtime) eval-elisp) form)))
diff --git a/module/language/elisp/compile-tree-il.scm b/module/language/elisp/compile-tree-il.scm
index 4304fba48..24d6cc4f9 100644
--- a/module/language/elisp/compile-tree-il.scm
+++ b/module/language/elisp/compile-tree-il.scm
@@ -788,6 +788,11 @@
(make-void loc))
(else (report-error loc "bad %set-lexical-binding-mode" args))))
+(define (eget s p)
+ (if (symbol-fbound? 'get)
+ ((symbol-function 'get) s p)
+ #nil))
+
;;; Compile a compound expression to Tree-IL.
(define (compile-pair loc expr)
@@ -800,6 +805,13 @@
((find-operator operator 'macro)
=> (lambda (macro-function)
(compile-expr (apply macro-function arguments))))
+ ((and (symbol? operator)
+ (eget operator '%compiler-macro))
+ => (lambda (compiler-macro-function)
+ (let ((new (compiler-macro-function expr)))
+ (if (eq? new expr)
+ (compile-expr `(%funcall (%function ,operator) ,@arguments))
+ (compile-expr new)))))
(else
(compile-expr `(%funcall (%function ,operator) ,@arguments))))))