- (do ((form (read in nil eof) (read in nil eof)))
- ((eq form eof))
- (destructuring-bind (db-type
- underlying-db-type
- utime
- total-tests
- failed-tests
- impl-type
- impl-version
- machine-type)
- form
- (if failed-tests
- (format output "~&~A: ~D of ~D tests failed (~A).~&"
- (db-title db-type underlying-db-type)
- (length failed-tests)
- total-tests
- impl-type)
- (format output "~&~A: All ~D tests passed (~A).~%"
- (db-title db-type underlying-db-type)
- total-tests
- impl-type))))))))
+ (do ((form (read in nil eof) (read in nil eof)))
+ ((eq form eof))
+ (destructuring-bind (db-type
+ underlying-db-type
+ utime
+ total-tests
+ failed-tests
+ impl-type
+ impl-version
+ machine-type)
+ form
+ (declare (ignorable utime impl-version))
+ (if failed-tests
+ (format output "~&~A: ~D of ~D tests failed (~A, ~A).~&"
+ (db-title db-type underlying-db-type)
+ (length failed-tests)
+ total-tests
+ machine-type
+ impl-type)
+ (format output "~&~A: All ~D tests passed (~A, ~A).~%"
+ (db-title db-type underlying-db-type)
+ total-tests
+ machine-type
+ impl-type))))))))