Subject: Re: bug#27674: 26.0.50; cl-progv: strange scoping due to implementation

From: Stefan Monnier <[email-masked]>
Date: Wed, 19 Jul 2017 09:55:07 -0400

> Ok, this is the part I was clearly missing, thanks.  I'll have a look if
> the documentation tells something like this (it should be spelled out
> somewhere).

FWIW, http://clhs.lisp.se/Body/s_progv.htm gives the following example:

 (let ((*x* 3)) 
    (progv '(*x*) '(4) 
      (list *x* (symbol-value '*x*)))) =>  (3 4)

-- Stefan