From 9420ea6e0840bffcb140d3677dfdabb9251c1f63 Mon Sep 17 00:00:00 2001 From: Andrea Corallo Date: Fri, 1 Jan 2021 14:13:02 +0100 Subject: [PATCH] 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 9fea3451359..340846bf70a 100644 --- a/lisp/emacs-lisp/comp.el +++ b/lisp/emacs-lisp/comp.el @@ -2,7 +2,7 @@ ;; Author: Andrea Corallo -;; 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.") -- 2.39.5