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
|
;-*- Mode: Lisp -*-
;;;; Author: Paul Dietz
;;;; Created: Thu Nov 21 10:43:15 2002
;;;; Contains: Tests of EVAL
(in-package :cl-test)
(deftest eval.1
(eval 1)
1)
(deftest eval.2
(loop for x being the symbols of "KEYWORD"
always (eq (eval x) x))
t)
(deftest eval.3
(let ((s "abcd"))
(eqlt (eval s) s))
t)
(deftest eval.4
(eval '(car '(a . b)))
a)
(deftest eval.5
(eval '(let ((x 0)) x))
0)
(deftest eval.6
(funcall #'eval 1)
1)
(deftest eval.order.1
(let ((i 0))
(values (eval (progn (incf i) 10)) i))
10 1)
;;; Error cases
(deftest eval.error.1
(signals-error (eval) program-error)
t)
(deftest eval.error.2
(signals-error (eval nil nil) program-error)
t)
(deftest eval.error.3
(let ((v (gensym)))
(eval `(signals-error (eval (list ',v)) undefined-function
:name ,v)))
t)
(deftest eval.error.4
(let ((v (gensym)))
(eval `(signals-error (eval ',v) unbound-variable :name ,v)))
t)
|
