| 1 |
;;;; Copyright (c) 2003 Brian Mastenbrook |
|---|
| 2 |
|
|---|
| 3 |
;;;; Permission is hereby granted, free of charge, to any person obtaining |
|---|
| 4 |
;;;; a copy of this software and associated documentation files (the |
|---|
| 5 |
;;;; "Software"), to deal in the Software without restriction, including |
|---|
| 6 |
;;;; without limitation the rights to use, copy, modify, merge, publish, |
|---|
| 7 |
;;;; distribute, sublicense, and/or sell copies of the Software, and to |
|---|
| 8 |
;;;; permit persons to whom the Software is furnished to do so, subject to |
|---|
| 9 |
;;;; the following conditions: |
|---|
| 10 |
|
|---|
| 11 |
;;;; The above copyright notice and this permission notice shall be |
|---|
| 12 |
;;;; included in all copies or substantial portions of the Software. |
|---|
| 13 |
|
|---|
| 14 |
;;;; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, |
|---|
| 15 |
;;;; EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF |
|---|
| 16 |
;;;; MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. |
|---|
| 17 |
;;;; IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY |
|---|
| 18 |
;;;; CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, |
|---|
| 19 |
;;;; TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE |
|---|
| 20 |
;;;; SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. |
|---|
| 21 |
|
|---|
| 22 |
(in-package :anaphora) |
|---|
| 23 |
|
|---|
| 24 |
(defmacro internal-symbol-macrolet (&rest whatever) |
|---|
| 25 |
`(symbol-macrolet ,@whatever)) |
|---|
| 26 |
|
|---|
| 27 |
(define-setf-expander internal-symbol-macrolet (binding-forms place &environment env) |
|---|
| 28 |
(multiple-value-bind (dummies vals newval setter getter) |
|---|
| 29 |
(get-setf-expansion place env) |
|---|
| 30 |
(declare (ignore newval setter)) |
|---|
| 31 |
(let ((store (gensym))) |
|---|
| 32 |
(values dummies |
|---|
| 33 |
(substitute `(symbol-macrolet ,binding-forms it) 'it vals) |
|---|
| 34 |
`(,store) |
|---|
| 35 |
`(symbol-macrolet ,binding-forms |
|---|
| 36 |
(setf ,getter ,store) ,store) |
|---|
| 37 |
`(symbol-macrolet ,binding-forms ,getter))))) |
|---|
| 38 |
|
|---|
| 39 |
(with-unique-names (s-indicator current-s-indicator) |
|---|
| 40 |
(defmacro symbolic (operation test &rest other-args) |
|---|
| 41 |
(with-unique-names (this-s) |
|---|
| 42 |
(let ((current-s (get s-indicator current-s-indicator))) |
|---|
| 43 |
(setf (get s-indicator current-s-indicator) this-s) |
|---|
| 44 |
`(symbol-macrolet |
|---|
| 45 |
((,this-s (internal-symbol-macrolet ((it ,current-s)) ,test)) |
|---|
| 46 |
(it ,this-s)) |
|---|
| 47 |
(,operation it ,@other-args)))))) |
|---|
