/[gcl]/gcl/tests/lists154.tst
ViewVC logotype

Diff of /gcl/tests/lists154.tst

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.1 by camm, Thu Dec 20 20:29:54 2001 UTC revision 1.2 by camm, Sun Feb 3 18:44:08 2002 UTC
# Line 0  Line 1 
1    
2    (SUBST 'A 'B
3           '(U B
4               (B)
5               C))
6    (U A
7       (A)
8       C)
9    
10    (SUBST 'A 'B
11           '(U B
12               (B)
13               C)
14           :TEST-NOT
15           #'(LAMBDA (X Y)
16                    (IF (ATOM Y)
17                        (EQL X Y)
18                        T)))
19    (A B
20       (B . A)
21       A . A)
22    
23    (SUBST 'A 'B
24           '(U B
25               (B)
26               C)
27           :TEST
28           #'(LAMBDA (X Y)
29                    (NOT (EQL X Y))))
30    A
31    
32    (SUBST 'A 'B
33           '(U B
34               (B)
35               C)
36           :TEST-NOT
37           #'(LAMBDA (X Y)
38                    (NOT (EQL X Y))))
39    (U A
40       (A)
41       C)
42    
43    (SUBST 'A 'B
44           '(U B
45               (B)
46               C)
47           :TEST-NOT
48           #'(LAMBDA (X Y)
49                    (NOT (EQL X Y)))
50           :KEY
51           #'(LAMBDA (U)
52                    (IF (LISTP U)
53                        (CAR U))))
54    (U . A)
55    
56    (SUBST-IF 'NUMMMER 'NUMBERP
57           '((A (7 (V 6)))))
58    ((A (NUMMMER (V NUMMMER))))
59    
60    (SUBST-IF-NOT 'NUMMMER 'NUMBERP
61           '((A (7 (V 6)))))
62    NUMMMER
63    
64    (SUBST-IF-NOT 'NUMMMER
65           #'(LAMBDA (X)
66                    (AND (LISTP X)
67                         (NUMBERP X)))
68           '((A (7 (V 6)))))
69    NUMMMER
70    
71    (SUBST-IF-NOT 'NUMMMER
72           #'(LAMBDA (X)
73                    (OR (LISTP X)
74                        (NUMBERP X)))
75           '((A (7 (V 6)))))
76    ((NUMMMER (7 (NUMMMER 6))))
77    
78    (NSUBST 'A 'B
79           '(U B
80               (B)
81               C)
82           :TEST-NOT
83           #'(LAMBDA (X Y)
84                    (IF (ATOM Y)
85                        (EQL X Y)
86                        T)))
87    (A B
88       (B . A)
89       A . A)
90    
91    (NSUBST 'A 'B
92           '(U B
93               (B)
94               C)
95           :TEST-NOT
96           #'(LAMBDA (X Y)
97                    (NOT (EQL X Y))))
98    (U A
99       (A)
100       C)
101    
102    (NSUBST 'A 'B
103           '(U B
104               (B)
105               C)
106           :TEST
107           #'(LAMBDA (X Y)
108                    (NOT (EQL X Y))))
109    A
110    
111    (NSUBST-IF 'OO 'NUMBERP
112           '(A B C
113               (3 (4)
114                  0)))
115    (A B C
116       (OO (OO)
117           OO))
118    
119    (NSUBST-IF-NOT 'OO 'NUMBERP
120           '(A B C
121               (3 (4)
122                  0)))
123    OO
124    
125    (NSUBST-IF-NOT 'OO
126           #'(LAMBDA (X)
127                    (OR (ATOM X)
128                        (NUMBERP X)))
129           '(A B C
130               (3 (4)
131                  0)))
132    OO
133    
134    (NSUBST-IF-NOT 'OO
135           #'(LAMBDA (X)
136                    (AND (ATOM X)
137                         (NUMBERP X)))
138           '(A B C
139               (3 (4)
140                  0)))
141    OO
142    
143    (NSUBST-IF-NOT 'OO
144           #'(LAMBDA (X)
145                    (OR (LIST X)
146                        (NUMBERP X)))
147           '(A B C
148               (3 (4)
149                  0)))
150    (A B C
151       (3 (4)
152          0))
153    
154    (NSUBST-IF-NOT 'OO
155           #'(LAMBDA (X)
156                    (OR (LIST X)
157                        (SYMBOLP X)))
158           '(A B C
159               (3 (4)
160                  0)))
161    (A B C
162       (3 (4)
163          0))
164    
165    (SUBLIS '((A . A1)
166              (B . B1))
167           '(A B))
168    (A1 B1)
169    
170    (SUBLIS '((A . A1)
171              (B . B1))
172           '(A B
173               (B . C)))
174    (A1 B1
175        (B1 . C))
176    
177    (SUBLIS '((A . A1)
178              (B . B1)
179              (NIL . NIL1))
180           '(A B
181               (B . C)))
182    (A1 B1
183        (B1 . C) .
184        NIL1)
185    
186    (SUBLIS '((A . A1)
187              (B . B1)
188              (NIL . NIL1))
189           '(A B
190               (B C)))
191    (A1 B1
192        (B1 C . NIL1) .
193        NIL1)
194    
195    (SUBLIS '((A . A1)
196              (B . B1)
197              (NIL . NIL1))
198           '(A B
199               (B C))
200           :TEST-NOT 'EQL)
201    A1
202    
203    (SUBLIS '((A . A1)
204              (B . B1)
205              (NIL . NIL1))
206           '(A B
207               (B C))
208           :TEST-NOT
209           #'(LAMBDA (X Y)
210                    (IF (ATOM Y)
211                        (EQL X Y))))
212    A1
213    
214    (SUBLIS '(((A) .
215               UU)
216              (A . II))
217           '(I (A)
218               A))
219    (I (II)
220       II)
221    
222    (SUBLIS '(((A) . UU) (A . II))
223           '(I (A) A)
224           :KEY #'(LAMBDA (X) (IF (LISTP X) (CAR X))))
225    (I II . II) ; KEY wird angewandt auf: X ein Blatt des Baumes
226    
227    (SUBLIS '(((A) . UU) (A . II))
228           '(I (A) A)
229           :TEST #'(LAMBDA (X Y) (IF (LISTP Y) (EQL X (CAR Y)))))
230    #+(or XCL LUCID)       (I II . II) ; X aus der Aliste, Y ein Blatt des Baumes
231    #+(or CLISP CMU)       (I (UU) UU) ; X ein Blatt, Y aus der Aliste
232    
233    (NSUBLIS '(((A) . UU) (A . II))
234           '(I (A) A)
235           :KEY #'(LAMBDA (X) (IF (LISTP X) (CAR X))))
236    (I II . II) ; KEY wird angewandt auf: X ein Blatt des Baumes
237    
238    (NSUBLIS '(((A) . UU) (A . II))
239           '(I (A) A)
240           :TEST #'(LAMBDA (X Y) (IF (LISTP X) (EQUAL X Y))))
241    (I UU . UU)
242    
243    (NSUBLIS '(((A) . UU) (A . II))
244           '(I (A) A)
245           :TEST #'(LAMBDA (X Y) (IF (LISTP Y) (EQUAL X Y))))
246    (I UU . UU)
247    
248    (NSUBLIS '(((A) . UU) (A . II))
249           '(I (A) A)
250           :TEST #'(LAMBDA (X Y) (IF (LISTP Y) (EQL X (CAR Y)))))
251    #+XCL                  (I II . II) ; X aus der Aliste, Y ein Blatt des Baumes
252    #+(or CLISP CMU LUCID) (I (UU) UU) ; X ein Blatt, Y aus der Aliste
253    

Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26