@@ -163,7 +163,7 @@ def test_car_cdr():
163163 assert cdr (cons ("a" , ["b" ])) == ["b" ]
164164 assert car (OrderedDict ([(1 , 2 ), (3 , 4 )])) == (1 , 2 )
165165 assert cdr (OrderedDict ([(1 , 2 ), (3 , 4 )])) == [(3 , 4 )]
166- assert cdr (OrderedDict ({( 1 ) : 2 })) == []
166+ assert cdr (OrderedDict ({1 : 2 })) == []
167167
168168 assert car (cons (1 , cons ("a" , "b" ))) == 1
169169 assert cdr (cons (1 , cons ("a" , "b" ))) == cons ("a" , "b" )
@@ -173,29 +173,34 @@ def test_unification():
173173 car_lv , cdr_lv = var (), var ()
174174
175175 res = unify ([1 , 2 ], cons (car_lv , cdr_lv ), {})
176- assert res == {car_lv : 1 , cdr_lv : [2 ]}
176+ assert res [car_lv ] == 1
177+ assert res [cdr_lv ] == [2 ]
177178
178179 res = unify ([], cons (car_lv , cdr_lv ), {})
179180 assert res is False
180181
181182 res = unify ([1 ], cons (car_lv , cdr_lv ), {})
182- assert res == {car_lv : 1 , cdr_lv : []}
183+ assert res [car_lv ] == 1
184+ assert res [cdr_lv ] == []
183185
184186 res = unify ((1 , 2 ), cons (car_lv , cdr_lv ), {})
185- assert res == {car_lv : 1 , cdr_lv : (2 ,)}
187+ assert res [car_lv ] == 1
188+ assert res [cdr_lv ] == (2 ,)
186189
187190 res = unify ((), cons (car_lv , cdr_lv ), {})
188191 assert res is False
189192
190193 res = unify ((1 ,), cons (car_lv , cdr_lv ), {})
191- assert res == {car_lv : 1 , cdr_lv : ()}
194+ assert res [car_lv ] == 1
195+ assert res [cdr_lv ] == ()
192196
193197 res = unify (iter ([1 ]), cons (car_lv , cdr_lv ), {})
194198 assert res [car_lv ] == 1
195199 assert list (res [cdr_lv ]) == []
196200
197- res = unify (OrderedDict ({"a" : 1 , "b" : 2 }), cons (car_lv , cdr_lv ), {})
198- assert res == {car_lv : ("a" , 1 ), cdr_lv : [("b" , 2 )]}
201+ res = unify (OrderedDict ([("a" , 1 ), ("b" , 2 )]), cons (car_lv , cdr_lv ), {})
202+ assert res [car_lv ] == ("a" , 1 )
203+ assert res [cdr_lv ] == [("b" , 2 )]
199204
200205 res = unify (OrderedDict (), cons (car_lv , cdr_lv ), {})
201206 assert res is False
@@ -215,7 +220,8 @@ def test_unification():
215220 assert res is False
216221
217222 res = unify (OrderedDict ({"a" : 1 }), cons (car_lv , cdr_lv ), {})
218- assert res == {car_lv : ("a" , 1 ), cdr_lv : []}
223+ assert res [car_lv ] == ("a" , 1 )
224+ assert res [cdr_lv ] == []
219225
220226 res = reify (cons (1 , cdr_lv ), {cdr_lv : [2 , 3 ]})
221227 assert res == [1 , 2 , 3 ]
0 commit comments