[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
feature/native-comp ebf8963 18/19: * Fix a bunch of known type specifier
From: |
Andrea Corallo |
Subject: |
feature/native-comp ebf8963 18/19: * Fix a bunch of known type specifiers |
Date: |
Mon, 21 Dec 2020 14:52:42 -0500 (EST) |
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))
- feature/native-comp 48d43f5 04/19: * Improve constraint simplification logic in comp-cstr.el, (continued)
- feature/native-comp 48d43f5 04/19: * Improve constraint simplification logic in comp-cstr.el, Andrea Corallo, 2020/12/21
- feature/native-comp 07b75de 10/19: Enhance type inference constraining function arguments, Andrea Corallo, 2020/12/21
- feature/native-comp e0f20da 14/19: Simplify correctly (or (integer 1 1) (not (integer 1 1))) as t, Andrea Corallo, 2020/12/21
- feature/native-comp 6f3570c 16/19: Fix value type inference for doubly negate constraints, Andrea Corallo, 2020/12/21
- feature/native-comp d072ee9 07/19: * Two minors in comp.el, Andrea Corallo, 2020/12/21
- feature/native-comp 23791cf 09/19: * Allow for modifying insn-cell inside `comp-loop-insn-in-block', Andrea Corallo, 2020/12/21
- feature/native-comp 9bbe6ea 15/19: Fix native compiler tests when they are bytecompiled, Andrea Corallo, 2020/12/21
- feature/native-comp 8e816b0 11/19: Symplify type specifier (not t) as nil, Andrea Corallo, 2020/12/21
- feature/native-comp c70c080 12/19: * Allow for overlapping src and dst in cstr set operations, Andrea Corallo, 2020/12/21
- feature/native-comp 5376563 17/19: Fix `comp-add-call-cstr' and add a test, Andrea Corallo, 2020/12/21
- feature/native-comp ebf8963 18/19: * Fix a bunch of known type specifiers,
Andrea Corallo <=
- feature/native-comp 9676e4d 19/19: * Fix a test in auth-source-tests.el, Andrea Corallo, 2020/12/21
- feature/native-comp 3540b1f 13/19: * Guarantee fwprop convergence and termination, Andrea Corallo, 2020/12/21