summaryrefslogtreecommitdiff
path: root/test/lisp
diff options
context:
space:
mode:
Diffstat (limited to 'test/lisp')
-rw-r--r--test/lisp/emacs-lisp/bytecomp-tests.el43
-rw-r--r--test/lisp/emacs-lisp/cconv-tests.el152
2 files changed, 0 insertions, 195 deletions
diff --git a/test/lisp/emacs-lisp/bytecomp-tests.el b/test/lisp/emacs-lisp/bytecomp-tests.el
index b5914745381..8a09c545914 100644
--- a/test/lisp/emacs-lisp/bytecomp-tests.el
+++ b/test/lisp/emacs-lisp/bytecomp-tests.el
@@ -640,49 +640,6 @@ inner loops respectively."
(f (list (lambda (x) (setq a x)))))
(funcall (car f) 3)
(list a b))
-
- ;; These expressions give different results in lexbind and dynbind modes,
- ;; but in each the compiler and interpreter should agree!
- ;; (They look much the same but come in pairs exercising both the
- ;; `let' and `let*' paths.)
- (let ((f (lambda (x)
- (lambda ()
- (let ((g (lambda () x)))
- (let ((x 'a))
- (list x (funcall g))))))))
- (funcall (funcall f 'b)))
- (let ((f (lambda (x)
- (lambda ()
- (let ((g (lambda () x)))
- (let* ((x 'a))
- (list x (funcall g))))))))
- (funcall (funcall f 'b)))
- (let ((f (lambda (x)
- (lambda ()
- (let ((g (lambda () x)))
- (setq x (list x x))
- (let ((x 'a))
- (list x (funcall g))))))))
- (funcall (funcall f 'b)))
- (let ((f (lambda (x)
- (lambda ()
- (let ((g (lambda () x)))
- (setq x (list x x))
- (let* ((x 'a))
- (list x (funcall g))))))))
- (funcall (funcall f 'b)))
- (let ((f (lambda (x)
- (let ((g (lambda () x))
- (h (lambda () (setq x (list x x)))))
- (let ((x 'a))
- (list x (funcall g) (funcall h)))))))
- (funcall (funcall f 'b)))
- (let ((f (lambda (x)
- (let ((g (lambda () x))
- (h (lambda () (setq x (list x x)))))
- (let* ((x 'a))
- (list x (funcall g) (funcall h)))))))
- (funcall (funcall f 'b)))
)
"List of expressions for cross-testing interpreted and compiled code.")
diff --git a/test/lisp/emacs-lisp/cconv-tests.el b/test/lisp/emacs-lisp/cconv-tests.el
index a3bc690541d..edb746cdecf 100644
--- a/test/lisp/emacs-lisp/cconv-tests.el
+++ b/test/lisp/emacs-lisp/cconv-tests.el
@@ -205,157 +205,5 @@
nil 99)
42)))
-(defun cconv-tests--intern-all (x)
- "Intern all symbols in X."
- (cond ((symbolp x) (intern (symbol-name x)))
- ((consp x) (cons (cconv-tests--intern-all (car x))
- (cconv-tests--intern-all (cdr x))))
- ;; Assume we don't need to deal with vectors etc.
- (t x)))
-
-(ert-deftest cconv-closure-convert-remap-var ()
- ;; Verify that we correctly remap shadowed lambda-lifted variables.
-
- ;; We intern all symbols for ease of comparison; this works because
- ;; the `cconv-closure-convert' result should contain no pair of
- ;; distinct symbols having the same name.
-
- ;; Sanity check: captured variable, no lambda-lifting or shadowing:
- (should (equal (cconv-tests--intern-all
- (cconv-closure-convert
- '#'(lambda (x)
- #'(lambda () x))))
- '#'(lambda (x)
- (internal-make-closure
- nil (x) nil
- (internal-get-closed-var 0)))))
-
- ;; Basic case:
- (should (equal (cconv-tests--intern-all
- (cconv-closure-convert
- '#'(lambda (x)
- (let ((f #'(lambda () x)))
- (let ((x 'b))
- (list x (funcall f)))))))
- '#'(lambda (x)
- (let ((f #'(lambda (x) x)))
- (let ((x 'b)
- (closed-x x))
- (list x (funcall f closed-x)))))))
- (should (equal (cconv-tests--intern-all
- (cconv-closure-convert
- '#'(lambda (x)
- (let ((f #'(lambda () x)))
- (let* ((x 'b))
- (list x (funcall f)))))))
- '#'(lambda (x)
- (let ((f #'(lambda (x) x)))
- (let* ((closed-x x)
- (x 'b))
- (list x (funcall f closed-x)))))))
-
- ;; With the lambda-lifted shadowed variable also being captured:
- (should (equal
- (cconv-tests--intern-all
- (cconv-closure-convert
- '#'(lambda (x)
- #'(lambda ()
- (let ((f #'(lambda () x)))
- (let ((x 'a))
- (list x (funcall f))))))))
- '#'(lambda (x)
- (internal-make-closure
- nil (x) nil
- (let ((f #'(lambda (x) x)))
- (let ((x 'a)
- (closed-x (internal-get-closed-var 0)))
- (list x (funcall f closed-x))))))))
- (should (equal
- (cconv-tests--intern-all
- (cconv-closure-convert
- '#'(lambda (x)
- #'(lambda ()
- (let ((f #'(lambda () x)))
- (let* ((x 'a))
- (list x (funcall f))))))))
- '#'(lambda (x)
- (internal-make-closure
- nil (x) nil
- (let ((f #'(lambda (x) x)))
- (let* ((closed-x (internal-get-closed-var 0))
- (x 'a))
- (list x (funcall f closed-x))))))))
- ;; With lambda-lifted shadowed variable also being mutably captured:
- (should (equal
- (cconv-tests--intern-all
- (cconv-closure-convert
- '#'(lambda (x)
- #'(lambda ()
- (let ((f #'(lambda () x)))
- (setq x x)
- (let ((x 'a))
- (list x (funcall f))))))))
- '#'(lambda (x)
- (let ((x (list x)))
- (internal-make-closure
- nil (x) nil
- (let ((f #'(lambda (x) (car-safe x))))
- (setcar (internal-get-closed-var 0)
- (car-safe (internal-get-closed-var 0)))
- (let ((x 'a)
- (closed-x (internal-get-closed-var 0)))
- (list x (funcall f closed-x)))))))))
- (should (equal
- (cconv-tests--intern-all
- (cconv-closure-convert
- '#'(lambda (x)
- #'(lambda ()
- (let ((f #'(lambda () x)))
- (setq x x)
- (let* ((x 'a))
- (list x (funcall f))))))))
- '#'(lambda (x)
- (let ((x (list x)))
- (internal-make-closure
- nil (x) nil
- (let ((f #'(lambda (x) (car-safe x))))
- (setcar (internal-get-closed-var 0)
- (car-safe (internal-get-closed-var 0)))
- (let* ((closed-x (internal-get-closed-var 0))
- (x 'a))
- (list x (funcall f closed-x)))))))))
- ;; Lambda-lifted variable that isn't actually captured where it is shadowed:
- (should (equal
- (cconv-tests--intern-all
- (cconv-closure-convert
- '#'(lambda (x)
- (let ((g #'(lambda () x))
- (h #'(lambda () (setq x x))))
- (let ((x 'b))
- (list x (funcall g) (funcall h)))))))
- '#'(lambda (x)
- (let ((x (list x)))
- (let ((g #'(lambda (x) (car-safe x)))
- (h #'(lambda (x) (setcar x (car-safe x)))))
- (let ((x 'b)
- (closed-x x))
- (list x (funcall g closed-x) (funcall h closed-x))))))))
- (should (equal
- (cconv-tests--intern-all
- (cconv-closure-convert
- '#'(lambda (x)
- (let ((g #'(lambda () x))
- (h #'(lambda () (setq x x))))
- (let* ((x 'b))
- (list x (funcall g) (funcall h)))))))
- '#'(lambda (x)
- (let ((x (list x)))
- (let ((g #'(lambda (x) (car-safe x)))
- (h #'(lambda (x) (setcar x (car-safe x)))))
- (let* ((closed-x x)
- (x 'b))
- (list x (funcall g closed-x) (funcall h closed-x))))))))
- )
-
(provide 'cconv-tests)
;;; cconv-tests.el ends here
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-27 11:19:41 +0000