feature/native-comp c5c0c06 1/5: * lisp/emacs-lisp/comp.el (comp-known-type-specifiers): Add two functions.

[Andrea Corallo]

branch: feature/native-comp
commit c5c0c06b1c37dc32b992dc4deddd8ec7bf154def
Author: Andrea Corallo <akrl@sdf.org>
Commit: Andrea Corallo <akrl@sdf.org>

    * lisp/emacs-lisp/comp.el (comp-known-type-specifiers): Add two functions.
---
 lisp/emacs-lisp/comp.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el
index 7d444af..caea81f 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