On Thu, 11 Jul 2019 21:39:34 +0200 Daniel Kochmański wrote:
Looking in the ECL source I saw a si::eval-with-env function in file ecl-16.1.3/src/c/compiler.d .If you do
(find-symbol "EVAL-WITH-ENV" "SYSTEM")
SI:EVAL-WITH-ENV :EXTERNAL
which suggests that the function is not just for internal use. But scanning the documentation , I didn't see it mentioned.
symbols in package system are part of ecl internals (this is documented), they are not part of the api. Only symbols reexported to ext are somewhat stable.
Ok , this confused me originally because I thought that "EXT" , "SYS" , "SYSTEM" were all nicknames for package "SI" .But it turns out that this was true in an older version and now "EXT" is a separate package.
I tried
(defmacro env-eval (form &environment env) `(ext:eval-with-env ,form (quote ,env))) ENV-EVAL
(let ((v 12)) (env-eval '(print v)))
The variable V is unbound. Broken at EVAL.No restarts available. Broken at EVAL.
So is there a way to achieve this ?
eval-with-evn accepts the lexical environment while environment put there by defmacro is something else. You may use a hack, but I do not guarantee it will work in all scenarios:
CL-USER> (defmacro eval-with-lexenv-ala-clisp (form) `(let ((lexenv (nth-value 1 (function-lambda-expression (lambda ()))))) (si:eval-with-env ,form lexenv))) EVAL-WITH-LEXENV-ALA-CLISP CL-USER> (let ((v 42)) (eval-with-lexenv-ala-clisp '(print v)))
42 42
Thanks , this looks promising.
Most notably this *won't* work in normally compiled code.
This won't be a problem.