From: Andrea Corallo <akrl@sdf.org>
Date: Sat, 26 Dec 2020 11:22:21 +0000 (+0100)
Subject: * lisp/emacs-lisp/comp.el (comp-known-type-specifiers): Add two functions.
X-Git-Tag: emacs-28.0.90~2727^2~217
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=c5c0c06b1c37dc32b992dc4deddd8ec7bf154def;p=emacs.git

* lisp/emacs-lisp/comp.el (comp-known-type-specifiers): Add two functions.
---

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