* bug#49116: 28.0.50; Why `bound-and-true-p' is not working in lexical binding?
@ 2021-06-19 11:39 Jean Louis
2021-06-19 12:49 ` Phil Sainty
2021-06-22 23:00 ` Michael Heerdegen
0 siblings, 2 replies; 9+ messages in thread
From: Jean Louis @ 2021-06-19 11:39 UTC (permalink / raw
To: 49116
When I evaluate following it is not detecting variable `direction'
under lexical bindings:
(defun verify-direction (timestamp &optional direction)
(cond ((bound-and-true-p direction) (message "OK"))))
(verify-direction "10:00" t) ⇒ nil
I would like to understand if it is intended to be so?
Or is this possible bug?
In GNU Emacs 28.0.50 (build 1, x86_64-pc-linux-gnu, GTK+ Version 3.24.29, cairo version 1.17.4)
of 2021-06-02 built on protected.rcdrun.com
Repository revision: 09081ca119c3debcc72159a46d3bafabfd7519bb
Repository branch: master
Windowing system distributor 'The X.Org Foundation', version 11.0.12011000
System Description: Parabola GNU/Linux-libre
Configured features:
ACL CAIRO DBUS FREETYPE GIF GLIB GMP GNUTLS GPM GSETTINGS HARFBUZZ JPEG
JSON LCMS2 LIBOTF LIBSYSTEMD LIBXML2 M17N_FLT MODULES NOTIFY INOTIFY
PDUMPER PNG RSVG SECCOMP SOUND THREADS TIFF TOOLKIT_SCROLL_BARS X11 XDBE
XIM XPM GTK3 ZLIB
Important settings:
value of $LC_ALL: en_US.UTF-8
value of $LANG: de_DE.UTF-8
value of $XMODIFIERS: @im=exwm-xim
locale-coding-system: utf-8-unix
Major mode: Lisp Interaction
Minor modes in effect:
tooltip-mode: t
global-eldoc-mode: t
eldoc-mode: t
electric-indent-mode: t
mouse-wheel-mode: t
tool-bar-mode: t
menu-bar-mode: t
file-name-shadow-mode: t
global-font-lock-mode: t
font-lock-mode: t
blink-cursor-mode: t
auto-composition-mode: t
auto-encryption-mode: t
auto-compression-mode: t
line-number-mode: t
transient-mark-mode: t
Load-path shadows:
None found.
Features:
(shadow sort mail-extr emacsbug message rmc puny dired dired-loaddefs
rfc822 mml mml-sec epa derived epg epg-config gnus-util rmail
rmail-loaddefs auth-source cl-seq eieio eieio-core cl-macs
eieio-loaddefs password-cache json map text-property-search time-date
subr-x seq byte-opt gv bytecomp byte-compile cconv mm-decode mm-bodies
mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader cl-loaddefs
cl-lib sendmail rfc2047 rfc2045 ietf-drums mm-util mail-prsvr mail-utils
iso-transl tooltip eldoc electric uniquify ediff-hook vc-hooks
lisp-float-type mwheel term/x-win x-win term/common-win x-dnd tool-bar
dnd fontset image regexp-opt fringe tabulated-list replace newcomment
text-mode elisp-mode lisp-mode prog-mode register page tab-bar menu-bar
rfn-eshadow isearch easymenu timer select scroll-bar mouse jit-lock
font-lock syntax font-core term/tty-colors frame minibuffer cl-generic
cham georgian utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao
korean japanese eucjp-ms cp51932 hebrew greek romanian slovak czech
european ethiopic indian cyrillic chinese composite charscript charprop
case-table epa-hook jka-cmpr-hook help simple abbrev obarray
cl-preloaded nadvice button loaddefs faces cus-face macroexp files
window text-properties overlay sha1 md5 base64 format env code-pages
mule custom widget hashtable-print-readable backquote threads dbusbind
inotify lcms2 dynamic-setting system-font-setting font-render-setting
cairo move-toolbar gtk x-toolkit x multi-tty make-network-process emacs)
Memory information:
((conses 16 53041 4440)
(symbols 48 7128 3)
(strings 32 19321 1728)
(string-bytes 1 630312)
(vectors 16 13239)
(vector-slots 8 175206 9539)
(floats 8 21 34)
(intervals 56 201 0)
(buffers 992 11))
--
Thanks,
Jean Louis
Take action in Free Software Foundation campaigns:
https://www.fsf.org/campaigns
^ permalink raw reply [flat|nested] 9+ messages in thread
* bug#49116: 28.0.50; Why `bound-and-true-p' is not working in lexical binding?
2021-06-19 11:39 bug#49116: 28.0.50; Why `bound-and-true-p' is not working in lexical binding? Jean Louis
@ 2021-06-19 12:49 ` Phil Sainty
2021-06-19 12:54 ` Eli Zaretskii
2021-06-22 23:00 ` Michael Heerdegen
1 sibling, 1 reply; 9+ messages in thread
From: Phil Sainty @ 2021-06-19 12:49 UTC (permalink / raw
To: Jean Louis; +Cc: 49116-done
On 2021-06-19 23:39, Jean Louis wrote:
> When I evaluate following it is not detecting variable `direction'
> under lexical bindings:
>
> (defun verify-direction (timestamp &optional direction)
> (cond ((bound-and-true-p direction) (message "OK"))))
>
> (verify-direction "10:00" t) ⇒ nil
>
> I would like to understand if it is intended to be so?
>
> Or is this possible bug?
This is expected / not a bug (and so I'm closing it).
(bound-and-true-p VAR) is syntactic sugar for (and (boundp 'VAR) VAR)
which means that it works only for dynamic variables (i.e. variables
stored in the value slot of a symbol).
Under lexical binding, function arguments are lexical variables, which
means they are not stored in the symbol of that name, and hence cannot
be detected with `boundp'.
In your case there's no need to be checking whether `direction' is
"bound" -- whether it's lexical or dynamic, you already *know* that
it exists because it's an argument for the function in which you're
checking it. All you want is the "true-p" part, which is implicit
in every value (either nil or non-nil).
Instead of "(bound-and-true-p direction)" just use "direction".
-Phil
^ permalink raw reply [flat|nested] 9+ messages in thread
* bug#49116: 28.0.50; Why `bound-and-true-p' is not working in lexical binding?
2021-06-19 12:49 ` Phil Sainty
@ 2021-06-19 12:54 ` Eli Zaretskii
2021-06-19 13:01 ` Lars Ingebrigtsen
2021-06-19 13:13 ` Phil Sainty
0 siblings, 2 replies; 9+ messages in thread
From: Eli Zaretskii @ 2021-06-19 12:54 UTC (permalink / raw
To: Phil Sainty; +Cc: 49116, psainty, bugs
> Date: Sun, 20 Jun 2021 00:49:14 +1200
> From: Phil Sainty <psainty@orcon.net.nz>
> Cc: 49116-done@debbugs.gnu.org
>
> (bound-and-true-p VAR) is syntactic sugar for (and (boundp 'VAR) VAR)
> which means that it works only for dynamic variables (i.e. variables
> stored in the value slot of a symbol).
>
> Under lexical binding, function arguments are lexical variables, which
> means they are not stored in the symbol of that name, and hence cannot
> be detected with `boundp'.
Should this be mentioned in the doc string of bound-and-true-p?
^ permalink raw reply [flat|nested] 9+ messages in thread
* bug#49116: 28.0.50; Why `bound-and-true-p' is not working in lexical binding?
2021-06-19 12:54 ` Eli Zaretskii
@ 2021-06-19 13:01 ` Lars Ingebrigtsen
2021-06-19 13:13 ` Phil Sainty
1 sibling, 0 replies; 9+ messages in thread
From: Lars Ingebrigtsen @ 2021-06-19 13:01 UTC (permalink / raw
To: Eli Zaretskii; +Cc: Phil Sainty, 49116, bugs
Eli Zaretskii <eliz@gnu.org> writes:
> Should this be mentioned in the doc string of bound-and-true-p?
I think so.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
^ permalink raw reply [flat|nested] 9+ messages in thread
* bug#49116: 28.0.50; Why `bound-and-true-p' is not working in lexical binding?
2021-06-19 12:54 ` Eli Zaretskii
2021-06-19 13:01 ` Lars Ingebrigtsen
@ 2021-06-19 13:13 ` Phil Sainty
2021-06-19 13:21 ` Lars Ingebrigtsen
1 sibling, 1 reply; 9+ messages in thread
From: Phil Sainty @ 2021-06-19 13:13 UTC (permalink / raw
To: Eli Zaretskii; +Cc: 49116, bugs
On 2021-06-20 00:54, Eli Zaretskii wrote:
> Should this be mentioned in the doc string of bound-and-true-p?
It wouldn't hurt, and I see that `boundp' has such a note:
"Note that if `lexical-binding' is in effect, this refers to the
global value outside of any lexical scope."
That same text could be used.
If the confusion is over whether function arguments are dynamic
or lexical then the doc change might not explain things, but it
would probably hint at the source of the confusion.
-Phil
^ permalink raw reply [flat|nested] 9+ messages in thread
* bug#49116: 28.0.50; Why `bound-and-true-p' is not working in lexical binding?
2021-06-19 13:13 ` Phil Sainty
@ 2021-06-19 13:21 ` Lars Ingebrigtsen
2021-06-21 17:00 ` Michael Heerdegen
0 siblings, 1 reply; 9+ messages in thread
From: Lars Ingebrigtsen @ 2021-06-19 13:21 UTC (permalink / raw
To: Phil Sainty; +Cc: 49116, bugs
Phil Sainty <psainty@orcon.net.nz> writes:
> It wouldn't hurt, and I see that `boundp' has such a note:
>
> "Note that if `lexical-binding' is in effect, this refers to the
> global value outside of any lexical scope."
>
> That same text could be used.
I've now copied over that text to the doc string of bound-and-true-p.
> If the confusion is over whether function arguments are dynamic
> or lexical then the doc change might not explain things, but it
> would probably hint at the source of the confusion.
Yup.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
^ permalink raw reply [flat|nested] 9+ messages in thread
* bug#49116: 28.0.50; Why `bound-and-true-p' is not working in lexical binding?
2021-06-19 13:21 ` Lars Ingebrigtsen
@ 2021-06-21 17:00 ` Michael Heerdegen
2021-06-22 12:59 ` Lars Ingebrigtsen
0 siblings, 1 reply; 9+ messages in thread
From: Michael Heerdegen @ 2021-06-21 17:00 UTC (permalink / raw
To: Lars Ingebrigtsen; +Cc: Phil Sainty, 49116, bugs
Lars Ingebrigtsen <larsi@gnus.org> writes:
> I've now copied over that text to the doc string of bound-and-true-p.
You now changed the text to this:
> Return the value of symbol VAR if it is bound, else nil.
> Note that if `lexical-binding' is in effect, this function isn't
> meaningful if it refers to a lexically bound variable.
If you want feedback: I found this new version confusing, although it's
totally correct. Because in my mental model, `bound-and-true-p' just
receives a variable (i.e. internally quotes), so how _can_ it even
"refer" to the lexical variable at all?
But it is true:
#+begin_src emacs-lisp
(let* ((a 1)
(get-a (lambda () (list a (bound-and-true-p a)))))
(dlet ((a 2))
(funcall get-a))) ;; -> (1 1), not (1 2) as one might expect
#+end_src
Everything became clear when I looked at the implementation ;-)
Maybe we can further improve the text to something like "not meaningful
in the scope of a lexical binding of the variable" or something like
that?
Thanks,
Michael.
^ permalink raw reply [flat|nested] 9+ messages in thread
* bug#49116: 28.0.50; Why `bound-and-true-p' is not working in lexical binding?
2021-06-21 17:00 ` Michael Heerdegen
@ 2021-06-22 12:59 ` Lars Ingebrigtsen
0 siblings, 0 replies; 9+ messages in thread
From: Lars Ingebrigtsen @ 2021-06-22 12:59 UTC (permalink / raw
To: Michael Heerdegen; +Cc: Phil Sainty, 49116, bugs
Michael Heerdegen <michael_heerdegen@web.de> writes:
> Maybe we can further improve the text to something like "not meaningful
> in the scope of a lexical binding of the variable" or something like
> that?
But I don't think that's correct, because the function takes a symbol
that refers to a variable -- and not a variable. :-)
Explaining why something doesn't make sense is often more complicate
than explaining how something works.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
^ permalink raw reply [flat|nested] 9+ messages in thread
* bug#49116: 28.0.50; Why `bound-and-true-p' is not working in lexical binding?
2021-06-19 11:39 bug#49116: 28.0.50; Why `bound-and-true-p' is not working in lexical binding? Jean Louis
2021-06-19 12:49 ` Phil Sainty
@ 2021-06-22 23:00 ` Michael Heerdegen
1 sibling, 0 replies; 9+ messages in thread
From: Michael Heerdegen @ 2021-06-22 23:00 UTC (permalink / raw
To: Jean Louis; +Cc: 49116
Jean Louis <bugs@gnu.support> writes:
> (defun verify-direction (timestamp &optional direction)
> (cond ((bound-and-true-p direction) (message "OK"))))
>
> (verify-direction "10:00" t) ⇒ nil
BTW, if your original intention was to check whether a function argument
has been specified in a function call (including nil) -- optional
arguments in `cl-defun' support such a feature.
Michael.
^ permalink raw reply [flat|nested] 9+ messages in thread
end of thread, other threads:[~2021-06-22 23:00 UTC | newest]
Thread overview: 9+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2021-06-19 11:39 bug#49116: 28.0.50; Why `bound-and-true-p' is not working in lexical binding? Jean Louis
2021-06-19 12:49 ` Phil Sainty
2021-06-19 12:54 ` Eli Zaretskii
2021-06-19 13:01 ` Lars Ingebrigtsen
2021-06-19 13:13 ` Phil Sainty
2021-06-19 13:21 ` Lars Ingebrigtsen
2021-06-21 17:00 ` Michael Heerdegen
2021-06-22 12:59 ` Lars Ingebrigtsen
2021-06-22 23:00 ` Michael Heerdegen
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.