test/src/eval-tests.el

   1 ;;; eval-tests.el --- unit tests for src/eval.c      -*- lexical-binding: t; -*-
   2
   3 ;; Copyright (C) 2016-2017 Free Software Foundation, Inc.
   4
   5 ;; Author: Philipp Stephani <phst@google.com>
   6
   7 ;; This file is part of GNU Emacs.
   8
   9 ;; GNU Emacs is free software: you can redistribute it and/or modify
  10 ;; it under the terms of the GNU General Public License as published by
  11 ;; the Free Software Foundation, either version 3 of the License, or
  12 ;; (at your option) any later version.
  13
  14 ;; GNU Emacs is distributed in the hope that it will be useful,
  15 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
  16 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  17 ;; GNU General Public License for more details.
  18
  19 ;; You should have received a copy of the GNU General Public License
  20 ;; along with GNU Emacs.  If not, see <http://www.gnu.org/licenses/>.
  21
  22 ;;; Commentary:
  23
  24 ;; Unit tests for src/eval.c.
  25
  26 ;;; Code:
  27
  28 (require 'ert)
  29
  30 (ert-deftest eval-tests--bug24673 ()
  31   "Checks that Bug#24673 has been fixed."
  32   ;; This should not crash.
  33   (should-error (funcall '(closure)) :type 'invalid-function))
  34
  35 (defvar byte-compile-debug)
  36
  37 (ert-deftest eval-tests--bugs-24912-and-24913 ()
  38   "Checks that Emacs doesn’t accept weird argument lists.
  39 Bug#24912 and Bug#24913."
  40   (dolist (args '((&optional) (&rest) (&optional &rest) (&rest &optional)
  41                   (&optional &rest a) (&optional a &rest)
  42                   (&rest a &optional) (&rest &optional a)
  43                   (&optional &optional) (&optional &optional a)
  44                   (&optional a &optional b)
  45                   (&rest &rest) (&rest &rest a)
  46                   (&rest a &rest b)))
  47     (should-error (eval `(funcall (lambda ,args)) t) :type 'invalid-function)
  48     (should-error (byte-compile-check-lambda-list args))
  49     (let ((byte-compile-debug t))
  50       (should-error (eval `(byte-compile (lambda ,args)) t)))))
  51
  52
  53 (dolist (form '(let let*))
  54   (dolist (arg '(1 "a" [a]))
  55     (eval
  56      `(ert-deftest ,(intern (format "eval-tests--%s--%s" form (type-of arg))) ()
  57         ,(format "Check that the first argument of `%s' cannot be a %s"
  58                  form (type-of arg))
  59         (should-error (,form ,arg) :type 'wrong-type-argument))
  60      t)))
  61
  62 ;;; eval-tests.el ends here