X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Finterface.pure.lisp;h=cc83e6ab7ebda8d28f2438ab10a7717e426b2e3d;hb=669eaea6857ab6211bfd6c00c7d227f3263200b9;hp=c69e03e28b9b70d1672fd4958556842eabd52bd4;hpb=479ef26343b45753fc019b6535d3aa0ee54cb324;p=sbcl.git

diff --git a/tests/interface.pure.lisp b/tests/interface.pure.lisp
index c69e03e..cc83e6a 100644
--- a/tests/interface.pure.lisp
+++ b/tests/interface.pure.lisp
@@ -98,3 +98,43 @@
 
 ;;; DECLARE should not be a special operator
 (assert (not (special-operator-p 'declare)))
+
+;;; WITH-TIMEOUT should accept more than one form in its body.
+(handler-bind ((sb-ext:timeout #'continue))
+  (sb-ext:with-timeout 3
+    (sleep 2)
+    (sleep 2)))
+
+;;; DOCUMENTATION should return nil, not signal slot-unbound
+(documentation 'fixnum 'type)
+(documentation 'class 'type)
+(documentation (find-class 'class) 'type)
+
+;;; DECODE-UNIVERSAL-TIME should accept second-resolution time-zones.
+(macrolet ((test (ut time-zone list)
+	     (destructuring-bind (sec min hr date mon yr day tz)
+		 list
+	       `(multiple-value-bind (sec min hr date mon yr day dst tz)
+		    (decode-universal-time ,ut ,time-zone)
+		  (declare (ignore dst))
+		  (assert (= sec ,sec))
+		  (assert (= min ,min))
+		  (assert (= hr ,hr))
+		  (assert (= date ,date))
+		  (assert (= mon ,mon))
+		  (assert (= yr ,yr))
+		  (assert (= day ,day))
+		  (assert (= tz ,tz))))))
+  (test (* 86400 365) -1/3600 (1 0 0 1 1 1901 1 -1/3600))
+  (test (* 86400 365) 0 (0 0 0 1 1 1901 1 0))
+  (test (* 86400 365) 1/3600 (59 59 23 31 12 1900 0 1/3600)))
+
+;;; DISASSEMBLE shouldn't fail on purified functions
+(disassemble 'cl:+)
+(disassemble 'sb-ext:run-program)
+
+;;; minimal test of GC: see stress-gc.{sh,lisp} for a more
+;;; comprehensive test.
+(loop repeat 2
+      do (compile nil '(lambda (x) x))
+      do (sb-ext:gc :full t))