Basil L. Contovounesios
2fde6275b6
Add predicate proper-list-p
For discussion, see emacs-devel thread starting at
https://lists.gnu.org/archive/html/emacs-devel/2018-04/msg00460.html.
* lisp/subr.el (proper-list-p): New function.
Implementation suggested by Paul Eggert <eggert@cs.ucla.edu> in
https://lists.gnu.org/archive/html/emacs-devel/2018-06/msg00138.html.
* doc/lispref/lists.texi (List Elements):
* etc/NEWS: Document proper-list-p.
* lisp/org/ob-core.el (org-babel-insert-result):
* lisp/emacs-lisp/byte-opt.el (byte-optimize-if):
* lisp/emacs-lisp/cl-macs.el (cl--make-usage-args): Use proper-list-p.
* lisp/emacs-lisp/ert.el (ert--proper-list-p): Remove.
Replaced by proper-list-p in lisp/subr.el.
(ert--explain-equal-rec): Use proper-list-length.
* lisp/format.el (format-proper-list-p): Remove.
Replaced by proper-list-p in lisp/subr.el.
(format-annotate-single-property-change): Use proper-list-p.
* test/lisp/emacs-lisp/ert-tests.el (ert-test-proper-list-p):
Move from here...
* test/lisp/subr-tests.el (subr-tests--proper-list-length):
...to here, mutatis mutandis.
2018-07-09 19:00:43 -07:00
..
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00
2018-07-09 19:00:43 -07:00
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00
2018-05-15 19:32:49 -04:00
2018-05-20 11:02:50 -07:00
2018-06-09 15:41:21 +03:00
2018-01-01 00:57:59 -08:00
2018-07-09 20:03:30 -04:00
2018-02-02 21:09:09 -05:00
2018-07-03 22:13:27 -06:00
2018-05-29 21:24:26 +02:00
2018-05-01 14:26:38 +02:00
2018-03-09 16:36:50 -05:00
2018-02-17 08:47:20 -05:00
2018-01-01 00:57:59 -08:00
2018-06-05 15:53:33 +02:00
2018-05-17 18:44:31 +03:00
2018-01-20 16:26:02 +01:00
2018-01-01 00:57:59 -08:00
2018-01-01 01:13:04 -08:00
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00
2018-04-05 12:15:54 +09:00
2018-03-09 15:04:59 -05:00
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00
2018-06-19 02:53:10 +01:00
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00
2018-04-28 23:20:33 +03:00
2018-06-05 09:43:34 +02:00
2018-07-09 16:03:49 +02:00
2018-01-01 01:13:04 -08:00
2018-03-09 15:04:59 -05:00
2018-01-01 01:13:04 -08:00
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00
2018-03-19 17:08:46 -04:00
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00
2018-06-14 11:01:49 +02:00
2018-07-03 08:21:56 +01:00
2018-01-01 00:57:59 -08:00
2018-03-09 15:04:59 -05:00
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00
2018-01-30 17:37:20 -05:00
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00
2018-06-03 23:28:30 +09:00
2018-01-01 00:57:59 -08:00
2018-03-15 12:32:50 -04:00
2018-01-01 00:57:59 -08:00
2018-06-17 10:22:28 -07:00
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00
2018-07-09 19:00:43 -07:00
2018-01-01 00:57:59 -08:00
2018-06-10 18:47:27 -04:00
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00
2018-01-01 01:13:04 -08:00
2018-01-01 00:57:59 -08:00
2018-01-01 00:57:59 -08:00