subtypep-function.lsp 559 Bytes
Newer Older
1 2 3 4 5 6 7
;-*- Mode:     Lisp -*-
;;;; Author:   Paul Dietz
;;;; Created:  Wed Dec 15 21:57:44 2004
;;;; Contains: Tests of SUBTYPEP on FUNCTION types

(in-package :cl-test)

8 9
(compile-and-load "types-aux.lsp")

10
(deftest subtypep-function.1
11
  (check-all-not-subtypep t '(function (t) t))
12 13
  nil)

14 15 16 17 18 19 20 21 22 23 24
(deftest subtypep-function.2
  (check-all-subtypep nil '(function (t) t))
  nil)

(deftest subtypep-function.3
  (check-all-subtypep '(function (t) t) 'function)
  nil)

(deftest subtypep-function.4
  (check-all-subtypep '(function (t) integer) '(function (t) real))
  nil)