emacs-diffs
[Top][All Lists]
Advanced

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

master f5cd6b730d: Declare `key-valid-p` and `readablep` as error-free


From: Mattias Engdegård
Subject: master f5cd6b730d: Declare `key-valid-p` and `readablep` as error-free
Date: Sun, 31 Jul 2022 12:30:07 -0400 (EDT)

branch: master
commit f5cd6b730dd04390fcbcfe45f7462026f16ae78e
Author: Mattias Engdegård <mattiase@acm.org>
Commit: Mattias Engdegård <mattiase@acm.org>

    Declare `key-valid-p` and `readablep` as error-free
    
    * lisp/keymap.el (key-valid-p):
    * lisp/subr.el (readablep): These functions are effect-free; declare
    them correspondingly.  Note that readablep is not pure since its
    return value depends on ambient state.
---
 lisp/keymap.el | 2 +-
 lisp/subr.el   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/lisp/keymap.el b/lisp/keymap.el
index ad7d4fbbba..376a30f106 100644
--- a/lisp/keymap.el
+++ b/lisp/keymap.el
@@ -313,7 +313,7 @@ Modifiers have to be specified in this order:
 which is
 
    Alt-Control-Hyper-Meta-Shift-super"
-  (declare (pure t) (side-effect-free t))
+  (declare (pure t) (side-effect-free error-free))
   (let ((case-fold-search nil))
     (and
      (stringp keys)
diff --git a/lisp/subr.el b/lisp/subr.el
index 1a16d78117..ff82d0d1d8 100644
--- a/lisp/subr.el
+++ b/lisp/subr.el
@@ -6820,7 +6820,7 @@ This means that OBJECT can be printed out and then read 
back
 again by the Lisp reader.  This function returns nil if OBJECT is
 unreadable, and the printed representation (from `prin1') of
 OBJECT if it is readable."
-  (declare (side-effect-free t))
+  (declare (side-effect-free error-free))
   (catch 'unreadable
     (let ((print-unreadable-function
            (lambda (_object _escape)



reply via email to

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