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
| | ;;; 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)
(oclosure-define (oclosure-test
(:copier oclosure-test-copy)
(:copier oclosure-test-copy1 (fst)))
"Simple OClosure."
fst snd name)
(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))
))
(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)))))))
(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))))
;;; oclosure-tests.el ends here.
|