X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ftime.pure.lisp;h=475918b0e2d73cedea39822ed1019cde8cb1c6c7;hb=67dc5cf478dfe5e3f517001febb9a8f7b922eacf;hp=797b4650dc7c0de8055bd71f6858c853c06bed4a;hpb=3b45a7b66afe95080562d266dd447b1286abece0;p=sbcl.git diff --git a/tests/time.pure.lisp b/tests/time.pure.lisp index 797b465..475918b 100644 --- a/tests/time.pure.lisp +++ b/tests/time.pure.lisp @@ -11,7 +11,8 @@ (in-package "CL-USER") -;;; Test for monotonicity of GET-INTERNAL-RUN-TIME. +;;; Test for monotonicity of GET-INTERNAL-RUN-TIME. (On OpenBSD, this +;;; is not a given, because of a longstanding bug in getrusage().) (funcall (compile nil '(lambda (n-seconds) (declare (type fixnum n-seconds)) @@ -26,21 +27,3 @@ (when (>= time time1) (return))))))) 3) - -(locally - (declare (notinline mapcar)) - (mapcar (lambda (args) - (destructuring-bind (obj type-spec result) args - (flet ((matches-result? (x) - (eq (if x t nil) result))) - (assert (matches-result? (typep obj type-spec))) - (assert (matches-result? (sb-kernel:ctypep - obj - (sb-kernel:specifier-type - type-spec))))))) - '((nil (or null vector) t) - (nil (or number vector) nil) - (12 (or null vector) nil) - (12 (and (or number vector) real) t)))) - - \ No newline at end of file