source: trunk/abcl/src/org/armedbear/lisp/source-transform.lisp @ 14207

Last change on this file since 14207 was 13597, checked in by ehuelsmann, 10 years ago

Fix issue reported by Eric Marsden: failure to compile functions
with defined source-transforms or compiler-macros, with calls specifying
keyword argument keywords as parameters.

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 3.8 KB
Line 
1;;; source-transform.lisp
2;;;
3;;; Copyright (C) 2004-2005 Peter Graves
4;;; $Id: source-transform.lisp 13597 2011-09-17 20:46:45Z ehuelsmann $
5;;;
6;;; This program is free software; you can redistribute it and/or
7;;; modify it under the terms of the GNU General Public License
8;;; as published by the Free Software Foundation; either version 2
9;;; of the License, or (at your option) any later version.
10;;;
11;;; This program is distributed in the hope that it will be useful,
12;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
13;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14;;; GNU General Public License for more details.
15;;;
16;;; You should have received a copy of the GNU General Public License
17;;; along with this program; if not, write to the Free Software
18;;; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
19;;;
20;;; As a special exception, the copyright holders of this library give you
21;;; permission to link this library with independent modules to produce an
22;;; executable, regardless of the license terms of these independent
23;;; modules, and to copy and distribute the resulting executable under
24;;; terms of your choice, provided that you also meet, for each linked
25;;; independent module, the terms and conditions of the license of that
26;;; module.  An independent module is a module which is not derived from
27;;; or based on this library.  If you modify this library, you may extend
28;;; this exception to your version of the library, but you are not
29;;; obligated to do so.  If you do not wish to do so, delete this
30;;; exception statement from your version.
31
32(in-package #:system)
33
34(export '(source-transform define-source-transform expand-source-transform))
35
36(defun source-transform (name)
37  (get-function-info-value name :source-transform))
38
39(defun set-source-transform (name transform)
40  (set-function-info-value name :source-transform transform))
41
42(defsetf source-transform set-source-transform)
43
44(defmacro define-source-transform (name lambda-list &rest body)
45  (let* ((form (gensym))
46         (env (gensym))
47         (block-name (if (symbolp name) name (cadr name)))
48         (body (parse-defmacro lambda-list form body name 'defmacro
49                               :environment env
50                               ;; when we encounter an error
51                               ;; parsing the arguments in the call
52                               ;; (not in the difinition!), return
53                               ;; the arguments unmodified -- ie skip the
54                               ;; transform (see also compiler-macro.lisp)
55                               :error-fun `(lambda (&rest ignored)
56                                             (declare (ignore ignored))
57                                             (return-from ,block-name ,form))))
58         (expander
59           `(lambda (,form) (block ,block-name ,body))))
60    `(eval-when (:compile-toplevel :load-toplevel :execute)
61       (setf (source-transform ',name) ,expander)
62       ',name)))
63
64(defun expand-source-transform-1 (form)
65  (let ((expander nil)
66        (newdef nil))
67    (cond ((atom form)
68           (values form nil))
69          ((and (consp (%car form))
70                (eq (caar form) 'SETF)
71                (setf expander (source-transform (%car form))))
72           (values (setf newdef (funcall expander form))
73                   (not (eq newdef form))))
74          ((and (symbolp (%car form))
75                (setf expander (source-transform (%car form))))
76           (values (setf newdef (funcall expander form))
77                   (not (eq newdef form))))
78          (t
79           (values form nil)))))
80
81(defun expand-source-transform (form)
82  (let ((expanded-p nil))
83    (loop
84      (multiple-value-bind (expansion exp-p) (expand-source-transform-1 form)
85        (if exp-p
86            (setf form expansion
87                  expanded-p t)
88            (return))))
89    (values form expanded-p)))
Note: See TracBrowser for help on using the repository browser.