Re: Making a lambda-expr more like a fn

[cartier@math.uqam.ca (Guillaume Cartier)]

<---
| While reading the messages about turning lambda expressions
| into functions, it seemed to me that the following might be reasonable...
| 
| (defmacro with-environment ((var) &body body &environment env)
|     `(let ((,var ',env))
|        ,@body))
| 
| In an artificial example..
| 
| (let ((x 0))
|         (with-environment (env)
|                 (setf counter-fn
|                                                                                 (enclose '(lambda () (incf x)) env))))
| 
| However...
| 
| ? (let ((x 'non-nil-environment))
|     (declare (ignore x))
|     (with-environment (var) var))
| #<BOGUS object @ #x5DF871>
| ?
| 
| Does this work in any Lisp?
| Should it?
--->

Strange you should ask about that, I was reading about
exactly that subject last night!

It is correct that what you're trying to do should not work.
CLtL2 states on top of page 197:

  X3J13 voted in March 1989 <117> to specify that macro environment
  objects received with the &environment argument of a macro function
  have only dynamic extent.

Guillaume.

*********************************************************************
* Guillaume Cartier                 (514) 844-5294 (maison)         *
* L.A.C.I.M.                        (514) 987-4290 (bureau)         *
* Universite du Quebec a Montreal   (514) 987-8477 (telecopieur)    *
* Montreal, Quebec, Canada          cartier@math.uqam.ca (internet) *
*********************************************************************