Newer
Older
;;; Tests from gitlab issues
(defpackage :issues-tests
(:use :cl :lisp-unit))
(in-package "ISSUES-TESTS")
(defun square (x)
(expt x 2))
(define-compiler-macro square (&whole form arg)
(declare (ignore arg))
form)
(define-test issue.1.a
(:tag :issues)
(assert-equal
'(square x)
(funcall (compiler-macro-function 'square) '(square x) nil)))
(define-test issue.1.b
(:tag :issues)
(assert-equal
'(square x)
(funcall (compiler-macro-function 'square) '(funcall #'square x) nil)))
(define-test issue.5
(:tag :issues)
(assert-true
(handler-case
(let ((f (compile nil '(lambda (list)
(declare (type list list)
(optimize (speed 1) (safety 1) (compilation-speed 1) (space 1) (debug 1)))
(elt list 3)))))
(funcall f (list 0 1 2)))
;; ELT should signal an error in this case.
(lisp::index-too-large-error ()
t)
(t ()
nil))))
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
;; Functions for testing issue-3
(defun sqr (x)
(expt x 2))
(define-compiler-macro sqr (x)
`(expt ,x 2))
(eval-when (:compile-toplevel :load-toplevel :execute)
(defmacro with-square-check (&body body &environment env)
(let ((text (if (compiler-macro-function 'sqr env)
"Yes"
"No")))
`(progn
(format t "SQUARE compiler macro present: ~A.~%" ,text)
,@body))))
(defun test/absent ()
(with-square-check
(sqr 2)))
(defun test/present ()
(flet ((sqr (x)
(print (expt x 3))))
(with-square-check
(sqr 2))))
(define-test issue.3
(:tag :issues)
(assert-prints "SQUARE compiler macro present: Yes."
(test/absent))
(assert-prints "SQUARE compiler macro present: No.
8"
(test/present)))