5 |
|
|
6 |
(in-package :cl-test) |
(in-package :cl-test) |
7 |
|
|
8 |
|
(compile-and-load "types-aux.lsp") |
9 |
|
|
10 |
(deftest subtypep-function.1 |
(deftest subtypep-function.1 |
11 |
(check-all-not-subtypep t '(function (t) t)) |
(check-all-not-subtypep t '(function (t) t)) |
12 |
nil) |
nil) |
13 |
|
|
14 |
|
(deftest subtypep-function.2 |
15 |
|
(check-all-subtypep nil '(function (t) t)) |
16 |
|
nil) |
17 |
|
|
18 |
|
(deftest subtypep-function.3 |
19 |
|
(check-all-subtypep '(function (t) t) 'function) |
20 |
|
nil) |
21 |
|
|
22 |
|
(deftest subtypep-function.4 |
23 |
|
(check-all-subtypep '(function (t) integer) '(function (t) real)) |
24 |
|
nil) |