summaryrefslogtreecommitdiffstats
path: root/tests/012/type.tl
blob: 0cac25814e08b1766c081f78cf5b27413b77e493 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
(load "../common")

(mtest
  (subtypep 'a 'a) t
  (subtypep t t) t
  (subtypep nil t) t
  (subtypep t nil) nil
  (subtypep nil nil) t
  (subtypep 'null nil) nil
  (subtypep nil 'null) t
  (subtypep 'null t) t
  (subtypep 'null 'a) nil
  (subtypep 'a 'null) nil
  (subtypep nil 'a) t
  (subtypep 'a nil) nil
  (subtypep 'a t) t)

(mtest
  (subtypep 'stream 'stdio-stream) nil
  (subtypep 'stdio-stream 'stream) t)