summaryrefslogtreecommitdiff
path: root/lisp/emacs-lisp
diff options
context:
space:
mode:
authorAndrea Corallo <akrl@sdf.org>2020-12-26 12:22:21 +0100
committerAndrea Corallo <akrl@sdf.org>2020-12-26 12:22:21 +0100
commitc5c0c06b1c37dc32b992dc4deddd8ec7bf154def (patch)
tree06e5c5a9e195d317484403d2124d50d556b492be /lisp/emacs-lisp
parent89d5a3a7603a0b096d02f58ba0a1997ad98c63ae (diff)
downloademacs-c5c0c06b1c37dc32b992dc4deddd8ec7bf154def.tar.gz
emacs-c5c0c06b1c37dc32b992dc4deddd8ec7bf154def.tar.bz2
emacs-c5c0c06b1c37dc32b992dc4deddd8ec7bf154def.zip
* lisp/emacs-lisp/comp.el (comp-known-type-specifiers): Add two functions.
Diffstat (limited to 'lisp/emacs-lisp')
-rw-r--r--lisp/emacs-lisp/comp.el5
1 files changed, 4 insertions, 1 deletions
diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el
index 7d444af8d9f..caea81fccca 100644
--- a/lisp/emacs-lisp/comp.el
+++ b/lisp/emacs-lisp/comp.el
@@ -264,7 +264,10 @@ Useful to hook into pass checkers.")
(zerop (function (number) boolean))
;; Type hints
(comp-hint-fixnum (function (t) fixnum))
- (comp-hint-cons (function (t) cons)))
+ (comp-hint-cons (function (t) cons))
+ ;; Non returning functions
+ (error (function (string &rest t) nil))
+ (signal (function (symbol t) nil)))
"Alist used for type propagation.")
(defconst comp-known-func-cstr-h