Add `throw' to non returning functions

* lisp/emacs-lisp/comp.el (comp-known-type-specifiers): Add throw.
This commit is contained in:
Andrea Corallo 2021-01-01 14:13:02 +01:00
parent 807471f9ff
commit 9420ea6e08

View file

@ -2,7 +2,7 @@
;; Author: Andrea Corallo <akrl@sdf.com>
;; Copyright (C) 2019-2020 Free Software Foundation, Inc.
;; Copyright (C) 2019-2021 Free Software Foundation, Inc.
;; Keywords: lisp
;; Package: emacs
@ -485,6 +485,7 @@ Useful to hook into pass checkers.")
(comp-hint-fixnum (function (t) fixnum))
(comp-hint-cons (function (t) cons))
;; Non returning functions
(throw (function (t t) nil))
(error (function (string &rest t) nil))
(signal (function (symbol t) nil)))
"Alist used for type propagation.")