tests/type.after-xc.lisp

   1 ;;;; tests of the type system, intended to be executed in the
   2 ;;;; cross-compiler after cross-compilation
   3
   4 ;;;; This software is part of the SBCL system. See the README file for
   5 ;;;; more information.
   6 ;;;;
   7 ;;;; While most of SBCL is derived from the CMU CL system, the test
   8 ;;;; files (like this one) were written from scratch after the fork
   9 ;;;; from CMU CL.
  10 ;;;;
  11 ;;;; This software is in the public domain and is provided with
  12 ;;;; absolutely no warranty. See the COPYING and CREDITS files for
  13 ;;;; more information.
  14
  15 (in-package "SB!KERNEL")
  16
  17 (/show "beginning tests/type.after-xc.lisp")
  18
  19 ;;; various dead bugs
  20 (assert (eql *empty-type*
  21              (type-intersection *empty-type*
  22                                 (specifier-type 'keyword))))
  23 (assert (eql *empty-type*
  24              (type-intersection (specifier-type 'keyword)
  25                                 *empty-type*)))
  26 (assert (member-type-p (specifier-type '(or float-format null))))
  27
  28 (let ((fd-stream (specifier-type 'fd-stream)))
  29   (assert (type= fd-stream (type-intersection (specifier-type 'instance)
  30                                               fd-stream))))
  31
  32 (/show "done with tests/type.after-xc.lisp")