aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAndrea Corallo2021-01-01 14:13:02 +0100
committerAndrea Corallo2021-01-01 14:19:35 +0100
commit9420ea6e0840bffcb140d3677dfdabb9251c1f63 (patch)
tree2fd408450687e86d09b7a826e5e2d52040443f1c
parent807471f9ffd303048140175932cf6b1e09eb7652 (diff)
downloademacs-9420ea6e0840bffcb140d3677dfdabb9251c1f63.tar.gz
emacs-9420ea6e0840bffcb140d3677dfdabb9251c1f63.zip
Add `throw' to non returning functions
* lisp/emacs-lisp/comp.el (comp-known-type-specifiers): Add throw.
-rw-r--r--lisp/emacs-lisp/comp.el3
1 files changed, 2 insertions, 1 deletions
diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el
index 9fea3451359..340846bf70a 100644
--- a/lisp/emacs-lisp/comp.el
+++ b/lisp/emacs-lisp/comp.el
@@ -2,7 +2,7 @@
2 2
3;; Author: Andrea Corallo <akrl@sdf.com> 3;; Author: Andrea Corallo <akrl@sdf.com>
4 4
5;; Copyright (C) 2019-2020 Free Software Foundation, Inc. 5;; Copyright (C) 2019-2021 Free Software Foundation, Inc.
6 6
7;; Keywords: lisp 7;; Keywords: lisp
8;; Package: emacs 8;; Package: emacs
@@ -485,6 +485,7 @@ Useful to hook into pass checkers.")
485 (comp-hint-fixnum (function (t) fixnum)) 485 (comp-hint-fixnum (function (t) fixnum))
486 (comp-hint-cons (function (t) cons)) 486 (comp-hint-cons (function (t) cons))
487 ;; Non returning functions 487 ;; Non returning functions
488 (throw (function (t t) nil))
488 (error (function (string &rest t) nil)) 489 (error (function (string &rest t) nil))
489 (signal (function (symbol t) nil))) 490 (signal (function (symbol t) nil)))
490 "Alist used for type propagation.") 491 "Alist used for type propagation.")