049bd5d267
* admin/bzrmerge.el: * lisp/char-fold.el: * lisp/dired.el: * lisp/emacs-lisp/derived.el: * lisp/emacs-lisp/easy-mmode.el: * lisp/emacs-lisp/easymenu.el: * lisp/emacs-lisp/eieio-core.el: * lisp/emacs-lisp/package.el: * lisp/emacs-lisp/smie.el: * lisp/faces.el: * lisp/filesets.el: * lisp/progmodes/modula2.el: * lisp/progmodes/octave.el: * lisp/progmodes/opascal.el: * lisp/progmodes/perl-mode.el: * lisp/progmodes/prolog.el: * lisp/progmodes/ruby-mode.el: * lisp/progmodes/sh-script.el: * lisp/server.el: * lisp/subr.el: * lisp/textmodes/css-mode.el: * test/lisp/emacs-lisp/pcase-tests.el: Don't quote self-quoting 'pcase' patterns.
74 lines
2.4 KiB
EmacsLisp
74 lines
2.4 KiB
EmacsLisp
;;; pcase-tests.el --- Test suite for pcase macro.
|
|
|
|
;; Copyright (C) 2012-2018 Free Software Foundation, Inc.
|
|
|
|
;; This file is part of GNU Emacs.
|
|
|
|
;; GNU Emacs is free software: you can redistribute it and/or modify
|
|
;; it under the terms of the GNU General Public License as published by
|
|
;; the Free Software Foundation, either version 3 of the License, or
|
|
;; (at your option) any later version.
|
|
|
|
;; GNU Emacs is distributed in the hope that it will be useful,
|
|
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
;; GNU General Public License for more details.
|
|
|
|
;; You should have received a copy of the GNU General Public License
|
|
;; along with GNU Emacs. If not, see <https://www.gnu.org/licenses/>.
|
|
|
|
;;; Commentary:
|
|
|
|
;;; Code:
|
|
|
|
(require 'ert)
|
|
(require 'cl-lib)
|
|
|
|
(ert-deftest pcase-tests-base ()
|
|
"Test pcase code."
|
|
(should (equal (pcase '(1 . 2) ((app car '2) 6) ((app car '1) 5)) 5)))
|
|
|
|
(ert-deftest pcase-tests-bugs ()
|
|
(should (equal (pcase '(2 . 3) ;bug#18554
|
|
(`(,hd . ,(and (pred atom) tl)) (list hd tl))
|
|
((pred consp) nil))
|
|
'(2 3))))
|
|
|
|
(pcase-defmacro pcase-tests-plus (pat n)
|
|
`(app (lambda (v) (- v ,n)) ,pat))
|
|
|
|
(ert-deftest pcase-tests-macro ()
|
|
(should (equal (pcase 5 ((pcase-tests-plus x 3) x)) 2)))
|
|
|
|
(defun pcase-tests-grep (fname exp)
|
|
(when (consp exp)
|
|
(or (eq fname (car exp))
|
|
(cl-some (lambda (exp) (pcase-tests-grep fname exp)) (cdr exp)))))
|
|
|
|
(ert-deftest pcase-tests-tests ()
|
|
(should (pcase-tests-grep 'memq '(or (+ 2 3) (memq x y))))
|
|
(should-not (pcase-tests-grep 'memq '(or (+ 2 3) (- x y)))))
|
|
|
|
(ert-deftest pcase-tests-member ()
|
|
(should (pcase-tests-grep
|
|
'memq (macroexpand-all '(pcase x ((or 1 2 3) body)))))
|
|
(should (pcase-tests-grep
|
|
'member (macroexpand-all '(pcase x ((or "a" 2 3) body)))))
|
|
(should-not (pcase-tests-grep
|
|
'memq (macroexpand-all '(pcase x ((or "a" 2 3) body)))))
|
|
(let ((exp (macroexpand-all
|
|
'(pcase x
|
|
("a" body1)
|
|
(2 body2)
|
|
((or "a" 2 3) body)))))
|
|
(should-not (pcase-tests-grep 'memq exp))
|
|
(should-not (pcase-tests-grep 'member exp))))
|
|
|
|
(ert-deftest pcase-tests-vectors ()
|
|
(should (equal (pcase [1 2] (`[,x] 1) (`[,x ,y] (+ x y))) 3)))
|
|
|
|
;; Local Variables:
|
|
;; no-byte-compile: t
|
|
;; End:
|
|
|
|
;;; pcase-tests.el ends here.
|