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

Last change on this file since 14196 was 13450, checked in by ehuelsmann, 9 years ago

Fix #141 (SETF of APPLY not working with arbitrary function) by
"adding" the feature.

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 4.5 KB
Line 
1;;; late-setf.lisp
2;;;
3;;; Copyright (C) 2003-2005 Peter Graves
4;;; $Id: late-setf.lisp 13450 2011-08-07 20:17:59Z 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         ,@(when doc
46             `((%set-documentation ',access-fn 'setf ,doc)))
47         (setf (get ',access-fn 'setf-expander)
48             #'(lambda (,whole ,environment)
49                ,@local-decs
50                (block ,access-fn ,body)))
51         ',access-fn))))
52
53(define-setf-expander values (&rest places &environment env)
54  (let ((setters ())
55        (getters ())
56        (all-dummies ())
57        (all-vals ())
58        (newvals ()))
59    (dolist (place places)
60      (multiple-value-bind (dummies vals newval setter getter)
61        (get-setf-expansion place env)
62        (setf all-dummies (append all-dummies dummies (cdr newval))
63              all-vals (append all-vals vals
64                               (mapcar (constantly nil) (cdr newval)))
65              newvals (append newvals (list (car newval))))
66        (push setter setters)
67        (push getter getters)))
68    (values all-dummies all-vals newvals
69            `(values ,@(reverse setters)) `(values ,@(reverse getters)))))
70
71(defun make-gensym-list (n)
72  (let ((list ()))
73    (dotimes (i n list)
74      (push (gensym) list))))
75
76(define-setf-expander getf (place prop &optional default &environment env)
77  (multiple-value-bind (temps values stores set get)
78    (get-setf-expansion place env)
79    (let ((newval (gensym))
80          (ptemp (gensym))
81          (def-temp (if default (gensym))))
82      (values `(,@temps ,ptemp ,@(if default `(,def-temp)))
83              `(,@values ,prop ,@(if default `(,default)))
84              `(,newval)
85              `(let ((,(car stores) (%putf ,get ,ptemp ,newval)))
86                 ,set
87                 ,newval)
88              `(getf ,get ,ptemp ,@(if default `(,def-temp)))))))
89
90(define-setf-expander apply (functionoid &rest args)
91  (let ((function (second functionoid))
92        (new-var (gensym))
93        (vars (make-gensym-list (length args))))
94    (values vars args (list new-var)
95            `(apply #'(setf ,function) ,new-var ,@vars)
96            `(apply #',function ,@vars))))
97
98(define-setf-expander the (type place &environment env)
99  (multiple-value-bind (temps subforms store-vars setter getter)
100    (get-setf-expansion place env)
101    (values temps subforms store-vars
102            `(multiple-value-bind ,store-vars
103               (the ,type (values ,@store-vars))
104               ,setter)
105            `(the ,type ,getter))))
106
107(defun (setf macro-function) (new-function symbol &optional environment)
108  (declare (ignore environment))
109  (let ((macro (make-macro symbol (or (precompile nil new-function)
110                                      new-function))))
111    (fset symbol macro)
112    macro))
Note: See TracBrowser for help on using the repository browser.