bug-gnu-emacs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#15809: 24.3.50; wrong defcustom type for `suggest-key-bindings'


From: Mattias Engdegård
Subject: bug#15809: 24.3.50; wrong defcustom type for `suggest-key-bindings'
Date: Sat, 25 Sep 2021 12:57:37 +0200

[ Resent to debugs only, because my previous attempt was eaten by a grue.
  Sorry if you get this twice or not at all.
  A modern Emacs bug tracker cannot arrive soon enough! ]

> (define-widget 'natnum 'restricted-sexp
>  "A nonnegative integer."
>  :tag "Integer (positive)"

Sorry, but this is just wrong. 0 is not a positive integer. If nobody fixes 
this then I will.

And regarding whether natural numbers include zero, the answer is that yes, 
they do. The notion that they don't is antiquated; today 0 is assumed to be 
included by default unless otherwise stated or hinted in the notation. Let's 
not spread some silly 19th century bickering about something that was settled 
long ago.






reply via email to

[Prev in Thread] Current Thread [Next in Thread]