Lines Matching defs:eql
116 (defun eql-test (expect function &rest arguments)
117 (compare-test #'eql expect function arguments))
129 (defun eql-eval (expect form)
130 (compare-eval #'eql expect form))
146 (eql-test -1 #'apply #'- '(1 2))
147 (eql-test 7 #'apply #'max 3 5 '(2 7 3))
153 (eql-test 6 #'apply #'+ 1 2 3 ())
164 ;; eql - function
165 (eq-test t #'eql 1 1)
166 (eq-test t #'eql 1.3d0 1.3d0)
167 (eq-test nil #'eql 1 1d0)
168 (eq-test t #'eql #c(1 -5) #c(1 -5))
169 (eq-test t #'eql 'a 'a)
170 (eq-test nil #'eql :a 'a)
171 (eq-test t #'eql #c(5d0 0) 5d0)
172 (eq-test nil #'eql #c(5d0 0d0) 5d0)
173 (eq-test nil #'eql "abc" "abc")
175 (eq-test nil #'eql a (copy-seq a))
257 (eql-eval 1 '(setq temp1 1 temp2 1 temp3 1))
258 (eql-eval 2 '(and (incf temp1) (incf temp2) (incf temp3)))
259 (eq-eval t '(and (eql 2 temp1) (eql 2 temp2) (eql 2 temp3)))
260 (eql-eval 1 '(decf temp3))
262 (eq-eval t '(and (eql temp1 temp2) (eql temp2 temp3)))
271 (eql-test 'a #'append nil 'a)
293 (eql-eval 2 '(let ((x 1))
295 (eql-eval 2 '(block twin (block twin (return-from twin 1)) 2))
302 (eql-eval 1 '(setq x 1))
322 (eql-test 1 #'car '(1 2))
323 (eql-test 2 #'cdr '(1 . 2))
324 (eql-test 1 #'caar '((1 2)))
325 (eql-test 2 #'cadr '(1 2))
326 (eql-test 2 #'cdar '((1 . 2)))
327 (eql-test 3 #'cddr '(1 2 . 3))
328 (eql-test 1 #'caaar '(((1 2))))
329 (eql-test 2 #'caadr '(1 (2 3)))
330 (eql-test 2 #'cadar '((1 2) 2 3))
331 (eql-test 3 #'caddr '(1 2 3 4))
332 (eql-test 2 #'cdaar '(((1 . 2)) 3))
333 (eql-test 3 #'cdadr '(1 (2 . 3) 4))
334 (eql-test 3 #'cddar '((1 2 . 3) 3))
335 (eql-test 4 #'cdddr '(1 2 3 . 4))
336 (eql-test 1 #'caaaar '((((1 2)))))
337 (eql-test 2 #'caaadr '(1 ((2))))
338 (eql-test 2 #'caadar '((1 (2)) 3))
339 (eql-test 3 #'caaddr '(1 2 (3 4)))
340 (eql-test 2 #'cadaar '(((1 2)) 3))
341 (eql-test 3 #'cadadr '(1 (2 3) 4))
342 (eql-test 3 #'caddar '((1 2 3) 4))
343 (eql-test 4 #'cadddr '(1 2 3 4 5))
344 (eql-test 2 #'cdaaar '((((1 . 2))) 3))
345 (eql-test 3 #'cdaadr '(1 ((2 . 3)) 4))
346 (eql-test 3 #'cdadar '((1 (2 . 3)) 4))
347 (eql-test 4 #'cdaddr '(1 2 (3 . 4) 5))
348 (eql-test 3 #'cddaar '(((1 2 . 3)) 4))
349 (eql-test 4 #'cddadr '(1 (2 3 . 4) 5))
350 (eql-test 4 #'cdddar '((1 2 3 . 4) 5))
351 (eql-test 5 #'cddddr '(1 2 3 4 . 5))
354 (eql-test 2 #'rest '(1 . 2))
355 (eql-test 1 #'first '(1 2))
356 (eql-test 2 #'second '(1 2 3))
357 (eql-test 2 #'second '(1 2 3))
358 (eql-test 3 #'third '(1 2 3 4))
359 (eql-test 4 #'fourth '(1 2 3 4 5))
360 (eql-test 5 #'fifth '(1 2 3 4 5 6))
361 (eql-test 6 #'sixth '(1 2 3 4 5 6 7))
362 (eql-test 7 #'seventh '(1 2 3 4 5 6 7 8))
363 (eql-test 8 #'eighth '(1 2 3 4 5 6 7 8 9))
364 (eql-test 9 #'ninth '(1 2 3 4 5 6 7 8 9 10))
365 (eql-test 10 #'tenth '(1 2 3 4 5 6 7 8 9 10 11))
371 (eql-eval t '(let ((a 1)) (case a ((4 5 6) nil) ((3 2 1) t) (otherwise :error))))
372 (eql-eval t '(let ((a 1)) (case a ((3 2) nil) (1 t) (t :error))))
377 (eql-eval 3 '(catch 'dummy-tag 1 2 (throw 'dummy-tag 3) 4))
378 (eql-eval 4 '(catch 'dummy-tag 1 2 3 4))
383 (eql-test #\a #'char "abc" 0)
384 (eql-test #\b #'char "abc" 1)
390 (eql-test #\a #'char-downcase #\a)
391 (eql-test #\a #'char-downcase #\a)
392 (eql-test #\1 #'char-downcase #\1)
394 (eql-test #\A #'char-upcase #\a)
395 (eql-test #\A #'char-upcase #\A)
396 (eql-test #\1 #'char-upcase #\1)
519 (eql-test 49 #'char-code #\1)
520 (eql-test 90 #'char-code #\Z)
521 (eql-test 127 #'char-code #\Delete)
522 (eql-test 27 #'char-code #\Escape)
523 (eql-test 13 #'char-code #\Return)
524 (eql-test 0 #'char-code #\Null)
525 (eql-test 10 #'char-code #\Newline)
529 (eql-test #\a #'character #\a)
530 (eql-test #\a #'character "a")
531 (eql-test #\A #'character 'a)
534 (eql-test #\A #'character 65)
558 (eql-eval 2 '(let ((a 1)) (cond ((= a 2) 1) ((= a 1) 2) ((= a 0) 1) (t nil))))
559 (eql-eval nil '(let ((a 1)) (cond ((= a 2) 1) (t nil) ((= a 1) 2) ((= a 0) 1))))
591 (eql-test 1 #'car y)
613 (eql-eval 1 '(decf n))
614 (eql-eval 1 'n)
616 (eql-eval -2147483649 '(decf n))
617 (eql-eval -2147483649 'n)
619 (eql-eval -0.5d0 '(decf n 0.5d0))
620 (eql-eval -0.5d0 'n)
622 (eql-eval 1/2 '(decf n 1/2))
623 (eql-eval 1/2 'n)
657 (eql-test #\0 #'digit-char 0)
658 (eql-test #\A #'digit-char 10 11)
660 (eql-test 35 #'digit-char-p #\z 36)
671 (eql-test #\a #'elt "xabc" 1)
672 (eql-test 3 #'elt '(0 1 2 3) 3)
676 (eql-test t #'endp nil)
678 (eql-test nil #'endp '(1 . 2))
682 (eql-test t #'every 'not-used ())
683 (eql-test t #'every #'characterp "abc")
684 (eql-test nil #'every #'< '(1 2 3) '(4 5 6) #(7 8 -1))
685 (eql-test t #'every #'< '(1 2 3) '(4 5 6) #(7 8))
706 (eql-test #\Space #'find #\d "here are some letters that can be looked at" :test #'char>)
707 (eql-test 3 #'find-if #'oddp '(1 2 3 4 5) :end 3 :from-end t)
754 (eql-test 6 #'funcall #'+ 1 2 3)
755 (eql-test 1 #'funcall #'car '(1 2 3))
806 (eql-eval 20 '(age *john* 20))
807 (eql-eval 25 '(setf (age *john*) 25))
808 (eql-eval 25 '(age *john*))
809 (eql-eval 25 '(age *john* 20))
826 (eql-eval 2 '(incf n))
827 (eql-eval 2 'n)
829 (eql-eval 2147483648 '(incf n))
830 (eql-eval 2147483648 'n)
832 (eql-eval 0.5d0 '(incf n 0.5d0))
833 (eql-eval 0.5d0 'n)
835 (eql-eval 3/2 '(incf n 1/2))
836 (eql-eval 3/2 'n)
863 (eql-test () #'last '(1 2 3) 0)
865 (eql-test 2 #'last a 0)
873 (eql-test 3 #'length "abc")
874 (eql-test 0 #'length nil)
875 (eql-test 1 #'length '(1 . 2))
876 (eql-test 2 #'length #(1 2))
881 (eql-eval 2 '(setq a 1 b 2))
882 (eql-eval 2 '(let ((a 2)) a))
883 (eql-eval 1 'a)
884 (eql-eval 1 '(let ((a 3) (b a)) b))
885 (eql-eval 2 'b)
889 (eql-eval 2 '(let* ((a 2)) a))
890 (eql-eval 1 'a)
891 (eql-eval 3 '(let* ((a 3) (b a)) b))
892 (eql-eval 2 'b)
900 (eql-test 4 #'list-length '(a b c d))
901 (eql-test 3 #'list-length '(a (b c) d))
902 (eql-test 0 #'list-length '())
903 (eql-test 0 #'list-length nil)
909 (eql-test 0 #'list-length (circular-list))
912 (eql-test 1 #'list* 1)
958 (eql-test 10 #'length (make-string 10))
973 (eql-eval 1 'a)
1041 (eql-eval 10 '(multiple-value-call #'+ (floor 5 3) (floor 19 4)))
1045 (eql-eval nil '(multiple-value-list (values)))
1058 (eql-eval 1 '(multiple-value-setq (quotient remainder) (truncate 3.5d0 2)))
1059 (eql-eval 1 quotient)
1060 (eql-eval 1.5d0 'remainder)
1061 (eql-eval 1 '(multiple-value-setq (a b c) (values 1 2)))
1062 (eql-eval 1 'a)
1063 (eql-eval 2 'b)
1065 (eql-eval 4 '(multiple-value-setq (a b) (values 4 5 6)))
1066 (eql-eval 4 'a)
1067 (eql-eval 5 'b)
1069 (eql-eval nil '(multiple-value-setq (a) (values)))
1070 (eql-eval nil 'a)
1098 (eql-test t #'notany #'> '(1 2 3 4) '(5 6 7 8) '(9 10 11 12))
1099 (eql-test t #'notany 'not-used ())
1100 (eql-test nil #'notany #'characterp #(1 2 3 4 5 #\6 7 8))
1103 (eql-test nil #'notevery #'< '(1 2 3 4) '(5 6 7 8) '(9 10 11 12))
1104 (eql-test nil #'notevery 'not-used ())
1105 (eql-test t #'notevery #'numberp #(1 2 3 4 5 #\6 7 8))
1108 (eql-test 'foo #'nth 0 '(foo bar baz))
1109 (eql-test 'bar #'nth 1 '(foo bar baz))
1133 (eql-test 1 #'nthcdr 1 '(0 . 1))
1142 (eql-eval 10 '(or temp0 temp1 (setq temp2 37)))
1143 (eql-eval 20 'temp2)
1144 (eql-eval 11 '(or (incf temp1) (incf temp2) (incf temp3)))
1145 (eql-eval 11 'temp1)
1146 (eql-eval 20 temp2)
1147 (eql-eval 30 'temp3)
1148 (eql-eval 11 '(or (values) temp1))
1149 (eql-eval 11 '(or (values temp1 temp2) temp3))
1195 (eql-eval 1 '(pop stack))
1196 (eql-eval 1 '(pop stack))
1197 (eql-eval 1 '(pop (cdr stack)))
1200 (eql-test 4 #'position #\a "baobab" :from-end t)
1201 (eql-test 2 #'position-if #'oddp '((1) (2) (3) (4)) :start 1 :key #'car)
1204 (eql-test 1 #'position (char-int #\1) "0123" :key #'char-int)
1238 (eql-eval 1 '(prog1 temp (incf temp) (eql-eval 2 'temp) temp))
1239 (eql-eval 2 'temp)
1240 (eql-eval 2 '(prog1 temp (setq temp nil) (eql-eval nil 'temp) temp))
1242 (eql-eval 1 '(prog1 (values 1 2 3) 4))
1251 (eql-eval 3 '(prog2 (incf temp) (incf temp) (incf temp)))
1252 (eql-eval 4 'temp)
1253 (eql-eval 2 '(prog2 1 (values 2 3 4) 5))
1259 (eql-eval 3 '(progn 1 2 3))
1268 (eql-eval 2 '(progv '(*x*) '(2) *x*))
1269 (eql-eval 1 '*x*)
1325 (eql-eval 2 '(rest '(1 . 2)))
1333 (eql-eval 1 '(block nil (return 1) 2))
1335 (eql-eval 1 '(block nil (block alpha (return 1) 2)))
1336 (eql-eval 2 '(block alpha (block nil (return 1)) 2))
1337 (eql-eval 1 '(block nil (block nil (return 1) 2)))
1341 (eql-eval 1 '(block alpha (return-from alpha 1) 2))
1344 (eql-eval 2
1347 (eql-eval 44 '(temp nil))
1349 (eql-eval 2 (block nil (unwind-protect (return-from nil 1) (return-from nil 2))))
1363 (eql-eval '*some-list*
1372 (eql-test 7 #'search "dog" "it's a dog's life")
1373 (eql-test 2 #'search '(0 1) '(2 4 6 1 3 5) :key #'oddp)
1374 (eql-test 8 #'search "foo" "foooobarfooooobarfo" :from-end t)
1375 (eql-test 5
1380 (eql-test 0 #'search "abc" "abcd" :from-end t)
1381 (eql-test 3 #'search "bar" "foobar")
1384 (eql-eval 1 '(setf (symbol-value 'n) 1))
1385 (eql-test 2 #'set 'n 2)
1386 (eql-test 2 #'symbol-value 'n)
1387 (eql-eval 4
1393 (eql-eval 44 'n)
1395 (eql-eval 80
1401 (eql-eval 2 '*n*)
1404 (eql-eval 'tally-list
1410 (eql-eval 6 '*even-count*)
1411 (eql-eval 20 '*odd-count*)
1453 (eql-eval 3 '(setq a 1 b 2 c 3))
1454 (eql-eval 1 'a)
1455 (eql-eval 2 'b)
1456 (eql-eval 3 'c)
1457 (eql-eval 7 '(setq a (1+ b) b (1+ a) c (+ a b)))
1458 (eql-eval 3 'a)
1459 (eql-eval 4 'b)
1460 (eql-eval 7 'c)
1462 (eql-eval 1 'a)
1463 (eql-eval 2 'b)
1464 (eql-eval 3 'c)
1529 (eql-test 3 #'string< "aaaa" "aaab")
1530 (eql-test 4 #'string>= "aaaaa" "aaaa")
1531 (eql-test 5 #'string-not-greaterp "Abcde" "abcdE")
1532 (eql-test 6 #'string-lessp "012AAAA789" "01aaab6" :start1 3 :end1 7
1536 (eql-test 0 #'string< "abcd" "efg")
1537 (eql-test 1 #'string< "abcd" "afg")
1538 (eql-test 0 #'string/= "foo" "baar")
1539 (eql-test nil #'string/= "foobar" "foobar")
1633 (eql-eval 1 '(svref v 0))
1634 (eql-eval 'sirens '(svref v 2))
1635 (eql-eval 'newcomer '(setf (svref v 1) 'newcomer))
1645 (eql-test *package* #'symbol-package 'bus)
1680 (eql-eval 1 '(setf (symbol-value 'a) 1))
1681 (eql-eval 1 '(symbol-value 'a))
1683 (eql-eval 1 '(let ((a 2)) (symbol-value 'a)))
1684 (eql-eval 1 '(let ((a 2)) (setq a 3) (symbol-value 'a)))
1691 (eql-eval 2 '(let ((a 2)) (symbol-value 'a)))
1692 (eql-eval 1 'a)
1693 (eql-eval 3 '(let ((a 2)) (setq a 3) (symbol-value 'a)))
1694 (eql-eval 1 'a)
1697 (eql-eval 2 '(let ((a 2)) (setf (symbol-value 'a) 3) a))
1698 (eql-eval 3 'a)
1699 (eql-eval 3 '(symbol-value 'a))
1712 (eql-eval 3 'a)
1732 (eql-eval 3.14 '(setf (get test 'approximation) 3.14))
1733 (eql-eval 'noticeable '(setf (get test 'error-range) 'noticeable))
1746 (eql-eval 3 '(setf (get test 'approximation) 3))
1756 (eql-eval 2 '(catch nil (unwind-protect (throw nil 1) (throw nil 2))))
1759 (eql-eval 2
1777 (eq-test nil #'eql tree1 tree2)
1799 (eql-eval nil '(unless nil))
1826 (eql-eval 2 '(catch 'abort (dummy-function 1)))
1827 (eql-eval 2 'state)
1834 (eql-eval 2 '(block nil (unwind-protect (return 1) (return 2))))
1836 (eql-eval 2
1841 (eql-eval 2 '(catch nil (unwind-protect (throw nil 1) (throw nil 2))))
1843 (eql-eval 2
1854 (eql-eval 10
1860 (eql-eval 4
1866 (eql-eval 4
1872 (eql-eval 5