aboutsummaryrefslogtreecommitdiffstats
path: root/test/src
diff options
context:
space:
mode:
authorAndrea Corallo2020-12-28 11:54:34 +0100
committerAndrea Corallo2020-12-28 16:12:08 +0100
commiteafcc8eda0a78e78d1a53b30dafb22786dd60591 (patch)
tree982a11d1c8ac0e1ae2701f55c233512f0645a057 /test/src
parente532ec95529224025465421e97243fda7b559d9a (diff)
downloademacs-eafcc8eda0a78e78d1a53b30dafb22786dd60591.tar.gz
emacs-eafcc8eda0a78e78d1a53b30dafb22786dd60591.zip
Propagate function calls also when hiddend under funcall
* lisp/emacs-lisp/comp.el (comp-fwprop-call): Propagate functions also when called under `funcall'. * test/src/comp-tests.el (comp-tests-type-spec-tests): Add a test.
Diffstat (limited to 'test/src')
-rw-r--r--test/src/comp-tests.el7
1 files changed, 6 insertions, 1 deletions
diff --git a/test/src/comp-tests.el b/test/src/comp-tests.el
index dbfa3702ff1..d4eb39a736f 100644
--- a/test/src/comp-tests.el
+++ b/test/src/comp-tests.el
@@ -1137,7 +1137,12 @@ Return a list of results."
1137 ((defun comp-tests-ret-type-spec-f (x) 1137 ((defun comp-tests-ret-type-spec-f (x)
1138 (when (<= 1 x 5) 1138 (when (<= 1 x 5)
1139 (1- x))) 1139 (1- x)))
1140 (or null float (integer 0 4))))) 1140 (or null float (integer 0 4)))
1141
1142 ;; 47
1143 ((defun comp-tests-ret-type-spec-f ()
1144 (error "foo"))
1145 nil)))
1141 1146
1142 (defun comp-tests-define-type-spec-test (number x) 1147 (defun comp-tests-define-type-spec-test (number x)
1143 `(comp-deftest ,(intern (format "ret-type-spec-%d" number)) () 1148 `(comp-deftest ,(intern (format "ret-type-spec-%d" number)) ()