From fc02c8458d636e682b079a68f2ee7347e0299132 Mon Sep 17 00:00:00 2001 From: Andrea Corallo Date: Sat, 26 Dec 2020 12:34:58 +0100 Subject: [PATCH] * test/src/comp-tests.el (comp-tests-type-spec-tests): Add two more test. --- test/src/comp-tests.el | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/test/src/comp-tests.el b/test/src/comp-tests.el index 22065f8f6e4..e1c13598ad6 100644 --- a/test/src/comp-tests.el +++ b/test/src/comp-tests.el @@ -1018,7 +1018,21 @@ Return a list of results." x)) (or null (integer 4 9))) - ;; 33 No float range support. + ;; 33 + ((defun comp-tests-ret-type-spec-f (x) + (when (or (> x 3) + (< x 10)) + x)) + (or null integer)) + + ;; 34 + ((defun comp-tests-ret-type-spec-f (x) + (when (or (< x 3) + (> x 10)) + x)) + (or null (integer * 2) (integer 11 *))) + + ;; 35 No float range support. ((defun comp-tests-ret-type-spec-f (x) (when (> x 1.0) x)) -- 2.39.5