diff options
| author | Andrea Corallo <akrl@sdf.org> | 2021-01-02 12:18:39 +0100 |
|---|---|---|
| committer | Andrea Corallo <akrl@sdf.org> | 2021-01-02 13:07:41 +0100 |
| commit | 43d0e8483e5b51aec1347b8a2ed53acae34a9811 (patch) | |
| tree | 5a3db288fdf7d3fc406e558dfc39ec1b50fc25f2 /lisp/emacs-lisp/comp-cstr.el | |
| parent | 03be03d36636626d4c45acd76e2f2d36be02ec8c (diff) | |
| download | emacs-43d0e8483e5b51aec1347b8a2ed53acae34a9811.tar.gz emacs-43d0e8483e5b51aec1347b8a2ed53acae34a9811.tar.bz2 emacs-43d0e8483e5b51aec1347b8a2ed53acae34a9811.zip | |
Fix `functionp' contraining (bug#45576)
* lisp/emacs-lisp/comp.el (comp-known-predicates)
(comp-known-predicates-h): New constants.
(comp-known-predicate-p, comp-pred-to-cstr): New functions.
* lisp/emacs-lisp/cl-macs.el (cl-deftype-satisfies): Don't define.
* test/src/comp-tests.el (comp-test-45576): New testcase.
* test/src/comp-test-funcs.el (comp-test-45576-f): New function.
Diffstat (limited to 'lisp/emacs-lisp/comp-cstr.el')
| -rw-r--r-- | lisp/emacs-lisp/comp-cstr.el | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/lisp/emacs-lisp/comp-cstr.el b/lisp/emacs-lisp/comp-cstr.el index a53372be006..e63afa16a23 100644 --- a/lisp/emacs-lisp/comp-cstr.el +++ b/lisp/emacs-lisp/comp-cstr.el @@ -2,7 +2,7 @@ ;; Author: Andrea Corallo <akrl@sdf.com> -;; Copyright (C) 2020 Free Software Foundation, Inc. +;; Copyright (C) 2020-2021 Free Software Foundation, Inc. ;; Keywords: lisp ;; Package: emacs @@ -179,10 +179,6 @@ Return them as multiple value." (defvar comp-cstr-one (comp-value-to-cstr 1) "Represent the integer immediate one.") -(defun comp-pred-to-cstr (predicate) - "Given PREDICATE return the correspondig constraint." - (comp-type-to-cstr (get predicate 'cl-satisfies-deftype))) - ;;; Value handling. |