X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ftype.after-xc.lisp;h=facbda34a3122c3a698959c0759b6d10b48f35d6;hb=a189a69454ef7635149319ae213b337f17c50d20;hp=5bbf2aacb335d993343d016596cb21f4fcb654b3;hpb=ce02ab2ecd9c6ae2e570abd8c93ebf3be55bbdad;p=sbcl.git

diff --git a/tests/type.after-xc.lisp b/tests/type.after-xc.lisp
index 5bbf2aa..facbda3 100644
--- a/tests/type.after-xc.lisp
+++ b/tests/type.after-xc.lisp
@@ -7,7 +7,7 @@
 ;;;; 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.
@@ -18,11 +18,15 @@
 
 ;;; various dead bugs
 (assert (eql *empty-type*
-	     (type-intersection *empty-type*
-				(specifier-type 'keyword))))
+             (type-intersection *empty-type*
+                                (specifier-type 'keyword))))
 (assert (eql *empty-type*
-	     (type-intersection (specifier-type 'keyword)
-				*empty-type*)))
+             (type-intersection (specifier-type 'keyword)
+                                *empty-type*)))
 (assert (member-type-p (specifier-type '(or float-format null))))
 
+(let ((fd-stream (specifier-type 'fd-stream)))
+  (assert (type= fd-stream (type-intersection (specifier-type 'instance)
+                                              fd-stream))))
+
 (/show "done with tests/type.after-xc.lisp")