X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompound-cons.impure.lisp;h=fc15d174e4c49ad1acf12da5af7d181f912a6788;hb=8c6e2e85859766d2c4c6a272b952de2ebe467487;hp=ef08021efe037e7be7daee365e56818bc27fb350;hpb=77360ee4a1f94c41b807be7ad0e8687199fceef1;p=sbcl.git diff --git a/tests/compound-cons.impure.lisp b/tests/compound-cons.impure.lisp index ef08021..fc15d17 100644 --- a/tests/compound-cons.impure.lisp +++ b/tests/compound-cons.impure.lisp @@ -3,9 +3,20 @@ ;;;; various patches made around May 2000 added support for this to ;;;; CMU CL. This file contains tests of their functionality. +;;;; This software is part of the SBCL system. See the README file for +;;;; more information. +;;;; +;;;; While most of SBCL is derived from the CMU CL system, the test +;;;; files (like this one) were written from scratch after the fork +;;;; from CMU CL. +;;;; +;;;; This software is in the public domain and is provided with +;;;; absolutely no warranty. See the COPYING and CREDITS files for +;;;; more information. + (cl:in-package :cl-user) -;;; This block of eight assertions is taken directly from +;;; This block of eight assertions is taken directly from ;;; 'Issue CONS-TYPE-SPECIFIER Writeup' in the ANSI spec. (assert (typep '(a b c) '(cons t))) (assert (typep '(a b c) '(cons symbol))) @@ -52,5 +63,3 @@ (assert (not (subtypep 'cons '(cons structure-object number)))) (assert (subtypep '(cons null fixnum) (type-of '(nil 44)))) - -(sb-ext:quit :unix-status 104) ; success