;;; lread-tests.el --- tests for lread.c -*- lexical-binding: t; -*- ;; Copyright (C) 2016-2021 Free Software Foundation, Inc. ;; Author: Philipp Stephani ;; 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 . ;;; Commentary: ;; Unit tests for code in src/lread.c. ;;; Code: (require 'ert) (require 'ert-x) (ert-deftest lread-char-number () (should (equal (read "?\\N{U+A817}") #xA817))) (ert-deftest lread-char-name-1 () (should (equal (read "?\\N{SYLOTI NAGRI LETTER \n DHO}") #xA817))) (ert-deftest lread-char-name-2 () (should (equal (read "?\\N{BED}") #x1F6CF))) (ert-deftest lread-char-name-3 () (should (equal (read "?\\N{U+BED}") #xBED))) (ert-deftest lread-char-name-4 () (should (equal (read "?\\N{VARIATION SELECTOR-1}") #xFE00))) (ert-deftest lread-char-name-5 () (should (equal (read "?\\N{VARIATION SELECTOR-16}") #xFE0F))) (ert-deftest lread-char-name-6 () (should (equal (read "?\\N{VARIATION SELECTOR-17}") #xE0100))) (ert-deftest lread-char-name-7 () (should (equal (read "?\\N{VARIATION SELECTOR-256}") #xE01EF))) (ert-deftest lread-char-name-8 () (should (equal (read "?\\N{CJK COMPATIBILITY IDEOGRAPH-F900}") #xF900))) (ert-deftest lread-char-name-9 () (should (equal (read "?\\N{CJK COMPATIBILITY IDEOGRAPH-FAD9}") #xFAD9))) (ert-deftest lread-char-name-10 () (should (equal (read "?\\N{CJK COMPATIBILITY IDEOGRAPH-2F800}") #x2F800))) (ert-deftest lread-char-name-11 () (should (equal (read "?\\N{CJK COMPATIBILITY IDEOGRAPH-2FA1D}") #x2FA1D))) (ert-deftest lread-char-invalid-number () (should-error (read "?\\N{U+110000}") :type 'invalid-read-syntax)) (ert-deftest lread-char-invalid-name-1 () (should-error (read "?\\N{DOES NOT EXIST}")) :type 'invalid-read-syntax) (ert-deftest lread-char-invalid-name-2 () (should-error (read "?\\N{VARIATION SELECTOR-0}")) :type 'invalid-read-syntax) (ert-deftest lread-char-invalid-name-3 () (should-error (read "?\\N{VARIATION SELECTOR-257}")) :type 'invalid-read-syntax) (ert-deftest lread-char-invalid-name-4 () (should-error (read "?\\N{VARIATION SELECTOR--0}")) :type 'invalid-read-syntax) (ert-deftest lread-char-invalid-name-5 () (should-error (read "?\\N{CJK COMPATIBILITY IDEOGRAPH-F8FF}")) :type 'invalid-read-syntax) (ert-deftest lread-char-invalid-name-6 () (should-error (read "?\\N{CJK COMPATIBILITY IDEOGRAPH-FADA}")) :type 'invalid-read-syntax) (ert-deftest lread-char-invalid-name-7 () (should-error (read "?\\N{CJK COMPATIBILITY IDEOGRAPH-2F7FF}")) :type 'invalid-read-syntax) (ert-deftest lread-char-invalid-name-8 () (should-error (read "?\\N{CJK COMPATIBILITY IDEOGRAPH-2FA1E}")) :type 'invalid-read-syntax) (ert-deftest lread-char-non-ascii-name () (should-error (read "?\\N{LATIN CAPITAL LETTER Ø}") :type 'invalid-read-syntax)) (ert-deftest lread-char-empty-name () (should-error (read "?\\N{}") :type 'invalid-read-syntax)) (ert-deftest lread-char-surrogate-1 () (should-error (read "?\\N{U+D800}") :type 'invalid-read-syntax)) (ert-deftest lread-char-surrogate-2 () (should-error (read "?\\N{U+D801}") :type 'invalid-read-syntax)) (ert-deftest lread-char-surrogate-3 () (should-error (read "?\\N{U+Dffe}") :type 'invalid-read-syntax)) (ert-deftest lread-char-surrogate-4 () (should-error (read "?\\N{U+DFFF}") :type 'invalid-read-syntax)) (ert-deftest lread-string-char-number-1 () (should (equal (read "\"a\\N{U+A817}b\"") "a\uA817b"))) (ert-deftest lread-string-char-number-2 () (should-error (read "?\\N{0.5}") :type 'invalid-read-syntax)) (ert-deftest lread-string-char-number-3 () (should-error (read "?\\N{U+-0}") :type 'invalid-read-syntax)) (ert-deftest lread-string-char-name () (should (equal (read "\"a\\N{SYLOTI NAGRI LETTER DHO}b\"") "a\uA817b"))) (ert-deftest lread-empty-int-literal () "Check that Bug#25120 is fixed." (should-error (read "#b") :type 'invalid-read-syntax) (should-error (read "#o") :type 'invalid-read-syntax) (should-error (read "#x") :type 'invalid-read-syntax) (should-error (read "#24r") :type 'invalid-read-syntax) (should-error (read "#") :type 'invalid-read-syntax)) (ert-deftest lread-record-1 () (should (equal '(#s(foo) #s(foo)) (read "(#1=#s(foo) #1#)")))) (defmacro lread-tests--with-temp-file (file-name-var &rest body) (declare (indent 1)) (cl-check-type file-name-var symbol) `(let ((,file-name-var (make-temp-file "emacs"))) (unwind-protect (progn ,@body) (delete-file ,file-name-var)))) (defun lread-tests--last-message () (with-current-buffer "*Messages*" (save-excursion (goto-char (point-max)) (skip-chars-backward "\n") (buffer-substring (line-beginning-position) (point))))) (ert-deftest lread-tests--unescaped-char-literals () "Check that loading warns about unescaped character literals (Bug#20852)." (lread-tests--with-temp-file file-name (write-region "?) ?( ?; ?\" ?[ ?]" nil file-name) (should (equal (load file-name nil :nomessage :nosuffix) t)) (should (equal (lread-tests--last-message) (concat (format-message "Loading `%s': " file-name) "unescaped character literals " "`?\"', `?(', `?)', `?;', `?[', `?]' detected, " "`?\\\"', `?\\(', `?\\)', `?\\;', `?\\[', `?\\]' " "expected!"))))) (ert-deftest lread-test-bug26837 () "Test for https://debbugs.gnu.org/26837 ." (let ((load-path (cons (ert-resource-directory) load-path))) (load "somelib" nil t) (should (string-suffix-p "/somelib.el" (caar load-history))) (load "somelib2" nil t) (should (string-suffix-p "/somelib2.el" (caar load-history))) (load "somelib" nil t) (should (string-suffix-p "/somelib.el" (caar load-history))))) (ert-deftest lread-lread--substitute-object-in-subtree () (let ((x (cons 0 1))) (setcar x x) (lread--substitute-object-in-subtree x 1 t) (should (eq x (cdr x))))) (ert-deftest lread-long-hex-integer () (should (bignump (read "#xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")))) (ert-deftest lread-test-bug-31186 () (with-temp-buffer (insert ";; -*- -:*-") (should-not ;; This used to crash in lisp_file_lexically_bound_p before the ;; bug was fixed. (eval-buffer)))) (ert-deftest lread-invalid-bytecodes () (should-error (let ((load-force-doc-strings t)) (read "#[0 \"\"]")))) (ert-deftest lread-string-to-number-trailing-dot () (dolist (n (list (* most-negative-fixnum most-negative-fixnum) (1- most-negative-fixnum) most-negative-fixnum (1+ most-negative-fixnum) -1 0 1 (1- most-positive-fixnum) most-positive-fixnum (1+ most-positive-fixnum) (* most-positive-fixnum most-positive-fixnum))) (should (= n (string-to-number (format "%d." n)))))) (ert-deftest lread-circular-hash () (should-error (read "#s(hash-table data #0=(#0# . #0#))"))) (ert-deftest test-inhibit-interaction () (let ((inhibit-interaction t)) (should-error (read-char "foo: ")) (should-error (read-event "foo: ")) (should-error (read-char-exclusive "foo: ")))) (ert-deftest lread-float () (should (equal (read "13") 13)) (should (equal (read "+13") 13)) (should (equal (read "-13") -13)) (should (equal (read "13.") 13)) (should (equal (read "+13.") 13)) (should (equal (read "-13.") -13)) (should (equal (read "13.25") 13.25)) (should (equal (read "+13.25") 13.25)) (should (equal (read "-13.25") -13.25)) (should (equal (read ".25") 0.25)) (should (equal (read "+.25") 0.25)) (should (equal (read "-.25") -0.25)) (should (equal (read "13e4") 130000.0)) (should (equal (read "+13e4") 130000.0)) (should (equal (read "-13e4") -130000.0)) (should (equal (read "13e+4") 130000.0)) (should (equal (read "+13e+4") 130000.0)) (should (equal (read "-13e+4") -130000.0)) (should (equal (read "625e-4") 0.0625)) (should (equal (read "+625e-4") 0.0625)) (should (equal (read "-625e-4") -0.0625)) (should (equal (read "1.25e2") 125.0)) (should (equal (read "+1.25e2") 125.0)) (should (equal (read "-1.25e2") -125.0)) (should (equal (read "1.25e+2") 125.0)) (should (equal (read "+1.25e+2") 125.0)) (should (equal (read "-1.25e+2") -125.0)) (should (equal (read "1.25e-1") 0.125)) (should (equal (read "+1.25e-1") 0.125)) (should (equal (read "-1.25e-1") -0.125)) (should (equal (read "4.e3") 4000.0)) (should (equal (read "+4.e3") 4000.0)) (should (equal (read "-4.e3") -4000.0)) (should (equal (read "4.e+3") 4000.0)) (should (equal (read "+4.e+3") 4000.0)) (should (equal (read "-4.e+3") -4000.0)) (should (equal (read "5.e-1") 0.5)) (should (equal (read "+5.e-1") 0.5)) (should (equal (read "-5.e-1") -0.5)) (should (equal (read "0") 0)) (should (equal (read "+0") 0)) (should (equal (read "-0") 0)) (should (equal (read "0.") 0)) (should (equal (read "+0.") 0)) (should (equal (read "-0.") 0)) (should (equal (read "0.0") 0.0)) (should (equal (read "+0.0") 0.0)) (should (equal (read "-0.0") -0.0)) (should (equal (read "0e5") 0.0)) (should (equal (read "+0e5") 0.0)) (should (equal (read "-0e5") -0.0)) (should (equal (read "0e-5") 0.0)) (should (equal (read "+0e-5") 0.0)) (should (equal (read "-0e-5") -0.0)) (should (equal (read ".0e-5") 0.0)) (should (equal (read "+.0e-5") 0.0)) (should (equal (read "-.0e-5") -0.0)) (should (equal (read "0.0e-5") 0.0)) (should (equal (read "+0.0e-5") 0.0)) (should (equal (read "-0.0e-5") -0.0)) (should (equal (read "0.e-5") 0.0)) (should (equal (read "+0.e-5") 0.0)) (should (equal (read "-0.e-5") -0.0)) ) ;;; lread-tests.el ends here