[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

feature/native-comp 9420ea6: Add `throw' to non returning functions

From: Andrea Corallo
Subject: feature/native-comp 9420ea6: Add `throw' to non returning functions
Date: Fri, 1 Jan 2021 08:48:36 -0500 (EST)

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

    Add `throw' to non returning functions
        * lisp/emacs-lisp/comp.el (comp-known-type-specifiers): Add throw.
 lisp/emacs-lisp/comp.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el
index 9fea345..340846b 100644
--- a/lisp/emacs-lisp/comp.el
+++ b/lisp/emacs-lisp/comp.el
@@ -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.")

reply via email to

[Prev in Thread] Current Thread [Next in Thread]