mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-02-07 08:00:48 -08:00
Code Issues Projects Releases Wiki Activity

* Add few more type specifier tests

Browse source 
* test/src/comp-tests.el (comp-tests-type-spec-tests): Add three
	tests and uncomment one.
This commit is contained in:
Andrea Corallo 2020-11-12 15:11:58 +01:00
parent 6f10e0f09f
commit c3daee7800
1 changed files with 41 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

61
test/src/comp-tests.el
View file

@ -771,19 +771,19 @@ Return a list of results."
(native-compile (cadr func-form))))
(defconst comp-tests-type-spec-tests
`(((defun comp-tests-ret-type-spec-0-f (x)
`(((defun comp-tests-ret-type-spec-f (x)
x)
(t))
t)
((defun comp-tests-ret-type-spec-1-f ()
((defun comp-tests-ret-type-spec-f ()
1)
(integer 1 1))
((defun comp-tests-ret-type-spec-2-f (x)
((defun comp-tests-ret-type-spec-f (x)
(if x 1 3))
(or (integer 1 1) (integer 3 3)))
((defun comp-tests-ret-type-spec-3-f (x)
((defun comp-tests-ret-type-spec-f (x)
(let (y)
(if x
(setf y 1)
@ -791,7 +791,7 @@ Return a list of results."
y))
(integer 1 2))
((defun comp-tests-ret-type-spec-4-f (x)
((defun comp-tests-ret-type-spec-f (x)
(let (y)
(if x
(setf y 1)
@ -799,48 +799,48 @@ Return a list of results."
y))
(or (integer 1 1) (integer 3 3)))
((defun comp-tests-ret-type-spec-5-f (x)
((defun comp-tests-ret-type-spec-f (x)
(if x
(list x)
3))
(or cons (integer 3 3)))
((defun comp-tests-ret-type-spec-6-f (x)
((defun comp-tests-ret-type-spec-f (x)
(if x
'foo
3))
(or (member foo) (integer 3 3)))
((defun comp-tests-ret-type-spec-7-1-f (x)
((defun comp-tests-ret-type-spec-f (x)
(if (eq x 3)
x
'foo))
(or (member foo) (integer 3 3)))
((defun comp-tests-ret-type-spec-7-2-f (x)
((defun comp-tests-ret-type-spec-f (x)
(if (eq 3 x)
x
'foo))
(or (member foo) (integer 3 3)))
((defun comp-tests-ret-type-spec-8-1-f (x)
((defun comp-tests-ret-type-spec-f (x)
(if (= x 3)
x
'foo))
(or (member foo) (integer 3 3)))
((defun comp-tests-ret-type-spec-8-2-f (x)
((defun comp-tests-ret-type-spec-f (x)
(if (= 3 x)
x
'foo))
(or (member foo) (integer 3 3)))
;; FIXME returning ATM (or t (member foo))
;; ((defun comp-tests-ret-type-spec-8-3-f (x)
;; (if (= x 3)
;; 'foo
;; x))
;; (or number (member foo)))
;; FIXME would be nice to have (or number (member foo))
((defun comp-tests-ret-type-spec-8-3-f (x)
(if (= x 3)
'foo
x))
t)
((defun comp-tests-ret-type-spec-8-4-f (x y)
(if (= x y)
@ -852,9 +852,30 @@ Return a list of results."
(comp-hint-fixnum y))
(integer ,most-negative-fixnum ,most-positive-fixnum))
((defun comp-tests-ret-type-spec-9-1-f (x)
((defun comp-tests-ret-type-spec-f (x)
(comp-hint-cons x))
(cons))))
cons)
((defun comp-tests-ret-type-spec-f (x)
(let (y)
(when x
(setf y 4))
y))
(or null (integer 4 4)))
((defun comp-tests-ret-type-spec-f ()
(let (x
(y 3))
(setf x y)
y))
(integer 3 3))
((defun comp-tests-ret-type-spec-f (x)
(let ((y 3))
(when x
(setf y x))
y))
t)))
(comp-deftest ret-type-spec ()
"Some derived return type specifier tests."