;;;; 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)))
(assert (not (subtypep 'cons '(cons structure-object number))))
(assert (subtypep '(cons null fixnum) (type-of '(nil 44))))
-
-(sb-ext:quit :unix-status 104) ; success