source: trunk/abcl/src/org/armedbear/lisp/late-setf.lisp @ 11774

Last change on this file since 11774 was 11774, checked in by ehuelsmann, 13 years ago

Fix DEFINE-SETF-EXPANDER.1 by returning the symbol passed in ACCESS-FN.

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 4.6 KB
Line 
1;;; late-setf.lisp
2;;;
3;;; Copyright (C) 2003-2005 Peter Graves
4;;; $Id: late-setf.lisp 11774 2009-04-21 19:34:38Z 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;;; From CMUCL/SBCL.
33
34(in-package #:system)
35
36(defmacro define-setf-expander (access-fn lambda-list &body body)
37  (require-type access-fn 'symbol)
38  (let ((whole (gensym "WHOLE-"))
39  (environment (gensym "ENV-")))
40    (multiple-value-bind (body local-decs doc)
41       (parse-defmacro lambda-list whole body access-fn
42           'define-setf-expander
43           :environment environment)
44      `(progn
45         (setf (get ',access-fn 'setf-expander)
46             #'(lambda (,whole ,environment)
47                ,@local-decs
48                (block ,access-fn ,body)))
49         ',access-fn))))
50
51(define-setf-expander values (&rest places &environment env)
52  (let ((setters ())
53        (getters ())
54        (all-dummies ())
55        (all-vals ())
56        (newvals ()))
57    (dolist (place places)
58      (multiple-value-bind (dummies vals newval setter getter)
59        (get-setf-expansion place env)
60        (setf all-dummies (append all-dummies dummies (cdr newval))
61              all-vals (append all-vals vals
62                               (mapcar (constantly nil) (cdr newval)))
63              newvals (append newvals (list (car newval))))
64        (push setter setters)
65        (push getter getters)))
66    (values all-dummies all-vals newvals
67            `(values ,@(reverse setters)) `(values ,@(reverse getters)))))
68
69(defun make-gensym-list (n)
70  (let ((list ()))
71    (dotimes (i n list)
72      (push (gensym) list))))
73
74(define-setf-expander getf (place prop &optional default &environment env)
75  (multiple-value-bind (temps values stores set get)
76    (get-setf-expansion place env)
77    (let ((newval (gensym))
78          (ptemp (gensym))
79          (def-temp (if default (gensym))))
80      (values `(,@temps ,ptemp ,@(if default `(,def-temp)))
81              `(,@values ,prop ,@(if default `(,default)))
82              `(,newval)
83              `(let ((,(car stores) (%putf ,get ,ptemp ,newval)))
84                 ,set
85                 ,newval)
86              `(getf ,get ,ptemp ,@(if default `(,def-temp)))))))
87
88(define-setf-expander apply (functionoid &rest args)
89  (unless (and (listp functionoid)
90               (= (length functionoid) 2)
91               (eq (first functionoid) 'function)
92               (memq (second functionoid) '(aref bit sbit)))
93    (error "SETF of APPLY is only defined for #'AREF, #'BIT and #'SBIT."))
94  (let ((function (second functionoid))
95        (new-var (gensym))
96        (vars (make-gensym-list (length args))))
97    (values vars args (list new-var)
98            `(apply #'(setf ,function) ,new-var ,@vars)
99            `(apply #',function ,@vars))))
100
101(define-setf-expander the (type place &environment env)
102  (multiple-value-bind (temps subforms store-vars setter getter)
103    (get-setf-expansion place env)
104    (values temps subforms store-vars
105            `(multiple-value-bind ,store-vars
106               (the ,type (values ,@store-vars))
107               ,setter)
108            `(the ,type ,getter))))
109
110(defun (setf macro-function) (new-function symbol &optional environment)
111  (declare (ignore environment))
112  (let ((macro (make-macro symbol (or (precompile nil new-function)
113                                      new-function))))
114    (fset symbol macro)
115    macro))
Note: See TracBrowser for help on using the repository browser.