blob: 67ec415d6dd77d3c599a29e32e5ba2591b1d9524 (
plain)
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
|
;;; thunk-tests.el --- Tests for thunk.el -*- lexical-binding: t -*-
;; Copyright (C) 2015-2020 Free Software Foundation, Inc.
;; Author: Nicolas Petton <nicolas@petton.fr>
;; Maintainer: emacs-devel@gnu.org
;; 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/>.
;;; Commentary:
;; Tests for thunk.el
;;; Code:
(require 'ert)
(require 'thunk)
(ert-deftest thunk-should-be-lazy ()
(let (x)
(thunk-delay (setq x t))
(should (null x))))
(ert-deftest thunk-can-be-evaluated ()
(let* (x
(thunk (thunk-delay (setq x t))))
(should-not (thunk-evaluated-p thunk))
(should (null x))
(thunk-force thunk)
(should (thunk-evaluated-p thunk))
(should x)))
(ert-deftest thunk-evaluation-is-cached ()
(let* ((x 0)
(thunk (thunk-delay (setq x (1+ x)))))
(thunk-force thunk)
(should (= x 1))
(thunk-force thunk)
(should (= x 1))))
;; thunk-let tests
(ert-deftest thunk-let-basic-test ()
"Test whether bindings are established."
(should (equal (thunk-let ((x 1) (y 2)) (+ x y)) 3)))
(ert-deftest thunk-let*-basic-test ()
"Test whether bindings are established."
(should (equal (thunk-let* ((x 1) (y (+ 1 x))) (+ x y)) 3)))
(ert-deftest thunk-let-bound-vars-cant-be-set-test ()
"Test whether setting a `thunk-let' bound variable fails."
(should-error
(eval '(thunk-let ((x 1)) (let ((y 7)) (setq x (+ x y)) (* 10 x))) t)))
(ert-deftest thunk-let-laziness-test ()
"Test laziness of `thunk-let'."
(should
(equal (let ((x-evalled nil)
(y-evalled nil))
(thunk-let ((x (progn (setq x-evalled t) (+ 1 2)))
(y (progn (setq y-evalled t) (+ 3 4))))
(let ((evalled-y y))
(list x-evalled y-evalled evalled-y))))
(list nil t 7))))
(ert-deftest thunk-let*-laziness-test ()
"Test laziness of `thunk-let*'."
(should
(equal (let ((x-evalled nil)
(y-evalled nil)
(z-evalled nil)
(a-evalled nil))
(thunk-let* ((x (progn (setq x-evalled t) (+ 1 1)))
(y (progn (setq y-evalled t) (+ x 1)))
(z (progn (setq z-evalled t) (+ y 1)))
(a (progn (setq a-evalled t) (+ z 1))))
(let ((evalled-z z))
(list x-evalled y-evalled z-evalled a-evalled evalled-z))))
(list t t t nil 4))))
(ert-deftest thunk-let-bad-binding-test ()
"Test whether a bad binding causes an error when expanding."
(should-error (macroexpand '(thunk-let ((x 1 1)) x)))
(should-error (macroexpand '(thunk-let (27) x)))
(should-error (macroexpand '(thunk-let x x))))
(provide 'thunk-tests)
;;; thunk-tests.el ends here
|
