1 files changed, 20 insertions, 0 deletions
diff --git a/tests/012/type.tl b/tests/012/type.tl
new file mode 100644
index 00000000..0cac2581
--- /dev/null
+++ b/tests/012/type.tl
@@ -0,0 +1,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)