feature/native-comp ebf8963 18/19: * Fix a bunch of known type specifiers

[Andrea Corallo]

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

    * Fix a bunch of known type specifiers
    
        * lisp/emacs-lisp/comp.el (comp-known-type-specifiers): Fixes for:
        =, string-search, substring.
---
 lisp/emacs-lisp/comp.el | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el
index 5345e20..2f85879 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))