diff options
| author | Andrea Corallo | 2020-12-28 11:54:34 +0100 |
|---|---|---|
| committer | Andrea Corallo | 2020-12-28 16:12:08 +0100 |
| commit | eafcc8eda0a78e78d1a53b30dafb22786dd60591 (patch) | |
| tree | 982a11d1c8ac0e1ae2701f55c233512f0645a057 /test/src | |
| parent | e532ec95529224025465421e97243fda7b559d9a (diff) | |
| download | emacs-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.el | 7 |
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)) () |