all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* bug#11460: 24.1.50; doc string of `assert'
@ 2012-05-12 15:06 Drew Adams
  2012-09-16 23:55 ` Drew Adams
  2014-02-09  4:17 ` Lars Ingebrigtsen
  0 siblings, 2 replies; 7+ messages in thread
From: Drew Adams @ 2012-05-12 15:06 UTC (permalink / raw)
  To: 11460

"Second arg SHOW-ARGS means to include arguments of FORM in message."
 
How so?  Which values of SHOW-ARGS mean that?

And what on earth are the "arguments" of FORM?  FORM is presumably a sexp, which
is evaluated and returns nil or non-nil.  A sexp does not have "arguments".

It's not at all clear what you mean here.

In GNU Emacs 24.1.50.1 (i386-mingw-nt5.1.2600)
 of 2012-05-06 on MARVIN
Bzr revision: 108144 cyd@gnu.org-20120507053738-5ovifsb71cmamn2f
Windowing system distributor `Microsoft Corp.', version 5.1.2600
Configured using:
 `configure --with-gcc (4.6) --no-opt --enable-checking --cflags
 -ID:/devel/emacs/libs/libXpm-3.5.8/include
 -ID:/devel/emacs/libs/libXpm-3.5.8/src
 -ID:/devel/emacs/libs/libpng-dev_1.4.3-1/include
 -ID:/devel/emacs/libs/zlib-dev_1.2.5-2/include
 -ID:/devel/emacs/libs/giflib-4.1.4-1/include
 -ID:/devel/emacs/libs/jpeg-6b-4/include
 -ID:/devel/emacs/libs/tiff-3.8.2-1/include
 -ID:/devel/emacs/libs/gnutls-3.0.9/include
 -ID:/devel/emacs/libs/libiconv-1.13.1-1-dev/include
 -ID:/devel/emacs/libs/libxml2-2.7.8/include/libxml2'
 






^ permalink raw reply	[flat|nested] 7+ messages in thread

* bug#11460: 24.1.50; doc string of `assert'
  2012-05-12 15:06 bug#11460: 24.1.50; doc string of `assert' Drew Adams
@ 2012-09-16 23:55 ` Drew Adams
  2014-02-09  4:17 ` Lars Ingebrigtsen
  1 sibling, 0 replies; 7+ messages in thread
From: Drew Adams @ 2012-09-16 23:55 UTC (permalink / raw)
  To: 11460

ping






^ permalink raw reply	[flat|nested] 7+ messages in thread

* bug#11460: 24.1.50; doc string of `assert'
  2012-05-12 15:06 bug#11460: 24.1.50; doc string of `assert' Drew Adams
  2012-09-16 23:55 ` Drew Adams
@ 2014-02-09  4:17 ` Lars Ingebrigtsen
  2014-02-09 19:36   ` Stefan Monnier
  1 sibling, 1 reply; 7+ messages in thread
From: Lars Ingebrigtsen @ 2014-02-09  4:17 UTC (permalink / raw)
  To: Drew Adams; +Cc: 11460

"Drew Adams" <drew.adams@oracle.com> writes:

> "Second arg SHOW-ARGS means to include arguments of FORM in message."
>
> How so?  Which values of SHOW-ARGS mean that?
>
> And what on earth are the "arguments" of FORM?  FORM is presumably a sexp, which
> is evaluated and returns nil or non-nil.  A sexp does not have "arguments".
>
> It's not at all clear what you mean here.

Looking at the code, I'm still not sure what the meaning here is.

       (let ((sargs (and show-args
                         (delq nil (mapcar (lambda (x)
                                             (unless (macroexp-const-p x)
                                               x))
                                           (cdr form))))))

So...  if the elements in the rest of FORM evaluate to the same value,
they're included in the error output, but if not, not?  Uhm...

-- 
(domestic pets only, the antidote for overdose, milk.)
  bloggy blog http://lars.ingebrigtsen.no/





^ permalink raw reply	[flat|nested] 7+ messages in thread

* bug#11460: 24.1.50; doc string of `assert'
  2014-02-09  4:17 ` Lars Ingebrigtsen
@ 2014-02-09 19:36   ` Stefan Monnier
  2014-02-09 22:14     ` Drew Adams
  2014-02-10  2:28     ` Lars Ingebrigtsen
  0 siblings, 2 replies; 7+ messages in thread
From: Stefan Monnier @ 2014-02-09 19:36 UTC (permalink / raw)
  To: Lars Ingebrigtsen; +Cc: 11460

> Looking at the code, I'm still not sure what the meaning here is.

>        (let ((sargs (and show-args
>                          (delq nil (mapcar (lambda (x)
>                                              (unless (macroexp-const-p x)
>                                                x))
>                                            (cdr form))))))

> So...  if the elements in the rest of FORM evaluate to the same value,
> they're included in the error output, but if not, not?  Uhm...

FWIW, this part of `cl-assert' is not only poorly documented, but it's
poorly designed.  And it doesn't have the excuse that it's inherited
from Common Lisp.
So I'd rather not document that mis-feature in any more detail.


        Stefan





^ permalink raw reply	[flat|nested] 7+ messages in thread

* bug#11460: 24.1.50; doc string of `assert'
  2014-02-09 19:36   ` Stefan Monnier
@ 2014-02-09 22:14     ` Drew Adams
  2014-02-10  2:28     ` Lars Ingebrigtsen
  1 sibling, 0 replies; 7+ messages in thread
From: Drew Adams @ 2014-02-09 22:14 UTC (permalink / raw)
  To: Stefan Monnier, Lars Ingebrigtsen; +Cc: 11460

> FWIW, this part of `cl-assert' is not only poorly documented, but
> it's poorly designed.  And it doesn't have the excuse that it's
> inherited from Common Lisp.
>
> So I'd rather not document that mis-feature in any more detail.

In that case, my request would be that the entire bug be recorded
and kept open for future fixing (e.g., todo list or whatever):
design + implementation + doc.

IOW, let's not use the fact that the design, in addition to the
doc, is faulty as an excuse to just drop this.  If it needs
fixing and you cannot or do not want to tackle that now, then
it should be kept open for fixing later.





^ permalink raw reply	[flat|nested] 7+ messages in thread

* bug#11460: 24.1.50; doc string of `assert'
  2014-02-09 19:36   ` Stefan Monnier
  2014-02-09 22:14     ` Drew Adams
@ 2014-02-10  2:28     ` Lars Ingebrigtsen
  2014-02-10  2:42       ` Drew Adams
  1 sibling, 1 reply; 7+ messages in thread
From: Lars Ingebrigtsen @ 2014-02-10  2:28 UTC (permalink / raw)
  To: Stefan Monnier; +Cc: 11460

Stefan Monnier <monnier@iro.umontreal.ca> writes:

> FWIW, this part of `cl-assert' is not only poorly documented, but it's
> poorly designed.  And it doesn't have the excuse that it's inherited
> from Common Lisp.
> So I'd rather not document that mis-feature in any more detail.

Ok; closing.

-- 
(domestic pets only, the antidote for overdose, milk.)
  bloggy blog http://lars.ingebrigtsen.no/





^ permalink raw reply	[flat|nested] 7+ messages in thread

* bug#11460: 24.1.50; doc string of `assert'
  2014-02-10  2:28     ` Lars Ingebrigtsen
@ 2014-02-10  2:42       ` Drew Adams
  0 siblings, 0 replies; 7+ messages in thread
From: Drew Adams @ 2014-02-10  2:42 UTC (permalink / raw)
  To: Lars Ingebrigtsen, Stefan Monnier; +Cc: 11460

> > FWIW, this part of `cl-assert' is not only poorly documented, but
> > it's poorly designed.  And it doesn't have the excuse that it's
> > inherited from Common Lisp.
> > So I'd rather not document that mis-feature in any more detail.
> 
> Ok; closing.

That is a cop-out.  What has been uncovered is that instead of
a minor, doc bug, there is a major bug.

If you close this as being only the doc part, then you really
should open a new bug for the whole problem: design, implementation,
and doc.

C'mon folks.  It is not just about closing bugs.  It is about
recording problems that need fixing.  And hopefully, one day,
fixing them.

It is quite distressing to see the reaction of "Ok; closing",
if that is to be the only response.  A bug should be recorded
for this major problem, and left open until it is fixed.





^ permalink raw reply	[flat|nested] 7+ messages in thread

end of thread, other threads:[~2014-02-10  2:42 UTC | newest]

Thread overview: 7+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2012-05-12 15:06 bug#11460: 24.1.50; doc string of `assert' Drew Adams
2012-09-16 23:55 ` Drew Adams
2014-02-09  4:17 ` Lars Ingebrigtsen
2014-02-09 19:36   ` Stefan Monnier
2014-02-09 22:14     ` Drew Adams
2014-02-10  2:28     ` Lars Ingebrigtsen
2014-02-10  2:42       ` Drew Adams

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.