unofficial mirror of bug-gnu-emacs@gnu.org 
 help / color / mirror / code / Atom feed
blob 1af40bcdab4b865fc9ab6c964d6f4f15bfdfb479 6190 bytes (raw)
name: test/lisp/emacs-lisp/oclosure-tests.el 	 # note: path name is non-authoritative(*)

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
 
;;; oclosure-tests.e; --- Tests for Open Closures  -*- lexical-binding: t; -*-

;; Copyright (C) 2021-2022  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/>.

;;; Code:

(require 'ert)
(require 'oclosure)
(require 'cl-lib)
(require 'eieio)

(oclosure-define (oclosure-test
                  (:copier oclosure-test-copy)
                  (:copier oclosure-test-copy1 (fst)))
  "Simple OClosure."
  fst snd (name :mutable t))

(cl-defmethod oclosure-test-gen ((_x compiled-function)) "#<bytecode>")

(cl-defmethod oclosure-test-gen ((_x cons)) "#<cons>")

(cl-defmethod oclosure-test-gen ((_x oclosure))
  (format "#<oclosure:%s>" (cl-call-next-method)))

(cl-defmethod oclosure-test-gen ((_x oclosure-test))
  (format "#<oclosure-test:%s>" (cl-call-next-method)))

(ert-deftest oclosure-test ()
  (let* ((i 42)
         (ocl1 (oclosure-lambda (oclosure-test (fst 1) (snd 2) (name "hi"))
                   ()
                 (list fst snd i)))
         (ocl2 (oclosure-lambda (oclosure-test (name (cl-incf i)) (fst (cl-incf i)))
                   ()
                 (list fst snd 152 i))))
    (should (equal (list (oclosure-test--fst ocl1)
                         (oclosure-test--snd ocl1)
                         (oclosure-test--name ocl1))
                   '(1 2 "hi")))
    (should (equal (list (oclosure-test--fst ocl2)
                         (oclosure-test--snd ocl2)
                         (oclosure-test--name ocl2))
                   '(44 nil 43)))
    (should (equal (funcall ocl1) '(1 2 44)))
    (should (equal (funcall ocl2) '(44 nil 152 44)))
    (should (equal (funcall (oclosure-test-copy ocl1 :fst 7)) '(7 2 44)))
    (should (equal (funcall (oclosure-test-copy1 ocl1 9)) '(9 2 44)))
    (should (cl-typep ocl1 'oclosure-test))
    (should (cl-typep ocl1 'oclosure))
    (should (member (oclosure-test-gen ocl1)
                    '("#<oclosure-test:#<oclosure:#<cons>>>"
                      "#<oclosure-test:#<oclosure:#<bytecode>>>")))
    (should (stringp (documentation #'oclosure-test--fst)))
    ))

(ert-deftest oclosure-test-limits ()
  (should
   (condition-case err
       (let ((lexical-binding t)
             (byte-compile-debug t))
         (byte-compile '(lambda ()
                          (let ((inc-fst nil))
                            (oclosure-lambda (oclosure-test (fst 'foo)) ()
                              (setq inc-fst (lambda () (setq fst (1+ fst))))
                              fst))))
         nil)
     (error
      (and (eq 'error (car err))
           (string-match "fst.*mutated" (cadr err))))))
  (should
   (condition-case err
       (progn (macroexpand-all '(oclosure-define oclosure--foo a a))
              nil)
     (error
      (and (eq 'error (car err))
           (string-match "Duplicate slot name: a$" (cadr err))))))
  (should
   (condition-case err
       (progn (macroexpand-all
               '(oclosure-define (oclosure--foo (:parent oclosure-test)) fst))
              nil)
     (error
      (and (eq 'error (car err))
           (string-match "Duplicate slot name: fst$" (cadr err))))))
  (should
   (condition-case err
       (progn (macroexpand '(oclosure-lambda (oclosure-test (fst 1) (fst 2))
                                () fst))
              nil)
     (error
      (and (eq 'error (car err))
           (string-match "Duplicate slot: fst$" (cadr err)))))))

(cl-defmethod oclosure-interactive-form ((ot oclosure-test))
  (let ((snd (oclosure-test--snd ot)))
    (if (stringp snd) (list 'interactive snd))))

(ert-deftest oclosure-test-interactive-form ()
  (should (equal (interactive-form
                  (oclosure-lambda (oclosure-test (fst 1) (snd 2))
                      () fst))
                 nil))
  (should (equal (interactive-form
                  (oclosure-lambda (oclosure-test (fst 1) (snd 2))
                      ()
                    (interactive "r")
                    fst))
                 '(interactive "r")))
  (should (equal (interactive-form
                  (oclosure-lambda (oclosure-test (fst 1) (snd "P"))
                      ()
                    fst))
                 '(interactive "P"))))

(oclosure-define (oclosure-test-mut
                  (:parent oclosure-test)
                  (:copier oclosure-test-mut-copy))
  "Simple OClosure with a mutable field."
  (mut :mutable t))

(ert-deftest oclosure-test-mutate ()
  (let* ((f (oclosure-lambda (oclosure-test-mut (fst 0) (mut 3))
                (x)
              (+ x fst mut)))
         (f2 (oclosure-test-mut-copy f :fst 50)))
    (should (equal (oclosure-test-mut--mut f) 3))
    (should (equal (funcall f 5) 8))
    (should (equal (funcall f2 5) 58))
    (cl-incf (oclosure-test-mut--mut f) 7)
    (should (equal (oclosure-test-mut--mut f) 10))
    (should (equal (funcall f 5) 15))
    (should (equal (funcall f2 15) 68))))

(ert-deftest oclosure-test-slot-value ()
  (require 'eieio)
  (let ((ocl (oclosure-lambda
                 (oclosure-test (fst 'fst1) (snd 'snd1) (name 'name1))
                 (x)
               (list name fst snd x))))
    (should (equal 'fst1  (slot-value ocl 'fst)))
    (should (equal 'snd1  (slot-value ocl 'snd)))
    (should (equal 'name1  (slot-value ocl 'name)))
    (setf (slot-value ocl 'name) 'new-name)
    (should (equal 'new-name (slot-value ocl 'name)))
    (should (equal '(new-name fst1 snd1 arg) (funcall ocl 'arg)))
    (should-error (setf (slot-value ocl 'fst) 'new-fst) :type 'setting-constant)
    (should (equal 'fst1  (slot-value ocl 'fst)))
    ))

;;; oclosure-tests.el ends here.

debug log:

solving 1af40bcdab4 ...
found 1af40bcdab4 in https://yhetil.org/emacs-bugs/jwv5yn5w3fd.fsf-monnier+emacs@gnu.org/ ||
	https://yhetil.org/emacs-bugs/jwv35i9j8gc.fsf-monnier+emacs@gnu.org/
found b6bdebc0a2b in https://git.savannah.gnu.org/cgit/emacs.git
preparing index
index prepared:
100644 b6bdebc0a2b4df21af53eaa8c43a625df1416844	test/lisp/emacs-lisp/oclosure-tests.el

applying [1/1] https://yhetil.org/emacs-bugs/jwv5yn5w3fd.fsf-monnier+emacs@gnu.org/
diff --git a/test/lisp/emacs-lisp/oclosure-tests.el b/test/lisp/emacs-lisp/oclosure-tests.el
index b6bdebc0a2b..1af40bcdab4 100644

Checking patch test/lisp/emacs-lisp/oclosure-tests.el...
Applied patch test/lisp/emacs-lisp/oclosure-tests.el cleanly.

skipping https://yhetil.org/emacs-bugs/jwv35i9j8gc.fsf-monnier+emacs@gnu.org/ for 1af40bcdab4
index at:
100644 1af40bcdab4b865fc9ab6c964d6f4f15bfdfb479	test/lisp/emacs-lisp/oclosure-tests.el

(*) Git path names are given by the tree(s) the blob belongs to.
    Blobs themselves have no identifier aside from the hash of its contents.^

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).