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
|
(d-for-all1? symbol? l1) = #t OK
(d-for-all1? symbol? l2) = #f OK
a
b
c
d
e
(d-for-all-nonpure1? myproc1 l1) = #t OK
1
(d-for-all-nonpure1? myproc1 l2) = #f OK
(d-for-all2? equal? l1 l2) = #f OK
(d-for-all2? equal? l1 l1) = #t OK
a, 1
(d-for-all-nonpure2? myproc2 l1 l2) = #f OK
a, a
b, b
c, c
d, d
e, e
(d-for-all-nonpure2? myproc2 l1 l1) = #t OK
(d-for-all? myproc3 l1 l2) = #f OK
(d-for-all? myproc3 l1 l1) = #t OK
a, 1
(d-for-all-nonpure? myproc4 l1 l2) = #f OK
a, a
b, b
c, c
d, d
e, e
(d-for-all-nonpure? myproc4 l1 l1) = #t OK
(d-exists1? integer? l1) = #f OK
(d-exists1? integer? l2) = #t OK
a
b
c
d
e
(d-exists-nonpure1? myproc5 l1) = #f OK
1
(d-exists-nonpure1? myproc5 l2) = #t OK
(d-exists2? equal? l1 l2) = #f OK
(d-exists2? equal? l1 l1) = #t OK
a, 1
b, 2
c, 3
d, abc
e, 4
(d-exists-nonpure2? myproc2 l1 l2) = #f OK
a, a
(d-exists-nonpure2? myproc2 l1 l1) = #t OK
(d-exists? myproc3 l1 l2) = #f OK
(d-exists? myproc3 l1 l1) = #t OK
a, 1
b, 2
c, 3
d, abc
e, 4
(d-exists-nonpure? myproc4 l1 l2) = #f OK
a, a
(d-exists-nonpure? myproc4 l1 l1) = #t OK
|
