From: Andrea Corallo <akrl@sdf.org>
Date: Sat, 19 Dec 2020 14:11:30 +0000 (+0100)
Subject: * Fix a bunch of known type specifiers
X-Git-Tag: emacs-28.0.90~2727^2~237
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=ebf8963a9181ab4e87141c2603df996f49389765;p=emacs.git

* Fix a bunch of known type specifiers

	* lisp/emacs-lisp/comp.el (comp-known-type-specifiers): Fixes for:
	=, string-search, substring.
---

diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el
index 5345e20bfc0..2f8587909e6 100644
--- a/lisp/emacs-lisp/comp.el
+++ b/lisp/emacs-lisp/comp.el
@@ -198,7 +198,7 @@ Useful to hook into pass checkers.")
     (symbol-name (function (symbol) string))
     (eq (function (t t) boolean))
     (eql (function (t t) boolean))
-    (= (function ((or number marker) (or number marker)) boolean))
+    (= (function ((or number marker) &rest (or number marker)) boolean))
     (/= (function ((or number marker) (or number marker)) boolean))
     (< (function ((or number marker) &rest (or number marker)) boolean))
     (<= (function ((or number marker) &rest (or number marker)) boolean))
@@ -233,11 +233,11 @@ Useful to hook into pass checkers.")
     (string-equal (function ((or string symbol) (or string symbol)) boolean))
     (string< (function ((or string symbol) (or string symbol)) boolean))
     (string-lessp (function ((or string symbol) (or string symbol)) boolean))
-    (string-search (function (string string) (or integer null)))
+    (string-search (function (string string &optional integer) integer))
     (string-to-char (function (string) integer))
     (string-to-number (function (string &optional integer) number))
     (string-to-syntax (function (string) cons))
-    (substring (function (string &optional integer integer) string))
+    (substring (function ((or string vector) &optional integer integer) (or string vector)))
     (sxhash (function (t) integer))
     (sxhash-equal (function (t) integer))
     (sxhash-eq (function (t) integer))
@@ -253,7 +253,6 @@ Useful to hook into pass checkers.")
     (string-to-multibyte (function (string) string))
     (tan (function (number) float))
     (time-convert (function (t &optional (or boolean integer)) cons))
-    (truncate (function (number) integer))
     (unibyte-char-to-multibyte (function (fixnum) fixnum)) ;; byte is fixnum
     (upcase (function ((or fixnum string)) (or fixnum string)))
     (user-full-name (function (&optional integer) string))