X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Finterface.pure.lisp;h=5ac83e0e7a0542acc0c3217634a3ce902b8768e6;hb=64ec717cf13c44fb4571c1fd7fbd508551ecfe01;hp=f329d031c80b504b548cd9c431e7c85854be5eb1;hpb=f6c58711c58ee05502fefc6c176a2533b18021bb;p=sbcl.git

diff --git a/tests/interface.pure.lisp b/tests/interface.pure.lisp
index f329d03..5ac83e0 100644
--- a/tests/interface.pure.lisp
+++ b/tests/interface.pure.lisp
@@ -104,3 +104,31 @@
   (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)