Env seems to be lost

[arthurpaulino]

Reported on Zulip: https://zulip.lurk-lab.com/#narrow/stream/17-lurk/topic/Cannot.20access.20env.20after.20eval/near/113458

This works:

(let (
    (env (let  ((f (lambda (x) x))) (current-env)))
    (apply1 (lambda (fn arg) (fn arg)))
    (apply (lambda (expr) (apply1 (eval (car expr) env) (cdr expr)))))
  (apply '(f 1)))

But this doesn't

(let (
    (env (let  ((f (lambda (x) x))) (current-env)))
    (apply (lambda (expr) ((eval (car expr) env) (cdr expr)))))
  (apply '(f 1)))

But apparently both should work

[arthurpaulino]

This reproduces in LEM so it's effectively a bug in the CEK machine itself