* 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 5345e20bfc0458602503434dd5b8ae0cb36ee2ca..2f8587909e611cb3bf86b347917d9a052cd41018 100644 (file)
--- 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))