X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=contrib%2Fsb-posix%2Fdesignator.lisp;h=ef33e4005bbace0874fcdfc381c6a666df72e772;hb=8369a441bfd49566e70939c25f42f8d1f5423e4e;hp=e3c0df7524cde548639094a4d5ee156528f9ca4a;hpb=607f3e366b0e5b5fb4606202a6a5f625c05c3838;p=sbcl.git

diff --git a/contrib/sb-posix/designator.lisp b/contrib/sb-posix/designator.lisp
index e3c0df7..ef33e40 100644
--- a/contrib/sb-posix/designator.lisp
+++ b/contrib/sb-posix/designator.lisp
@@ -1,18 +1,26 @@
 (in-package :sb-posix)
 (defvar *designator-types* (make-hash-table :test #'equal))
 
-(defmacro define-designator (name result &body conversions)
-  (let ((type `(quote (or ,@(mapcar #'car conversions))))
-        (typename (intern (format nil "~A-~A"
-                                  (symbol-name name)
+(defmacro define-designator (name (lisp-type alien-type) doc
+                             &body conversions)
+  (let ((designator-type `(or ,@(mapcar #'car conversions)))
+        (designator-name (intern (format nil "~A-~A"
+                                         (symbol-name name)
                                   (symbol-name :designator))
-                          #.*package*)))
+                                 #.*package*))
+        (name (intern (symbol-name name) :sb-posix)))
     `(progn
+       (deftype ,name ()
+         ,@(when doc (list (first doc)))
+         ',lisp-type)
+       (deftype ,designator-name ()
+         ,@(when doc (list (second doc)))
+         ',designator-type)
       (eval-when (:compile-toplevel :load-toplevel :execute)
-        (deftype ,typename () ,type)
-        (setf (gethash ',name *designator-types*) ',result))
-      (defun ,(intern (symbol-name name) :sb-posix) (,name)
-        (declare (type ,typename ,name))
+        (setf (gethash ',name *designator-types*) ',alien-type))
+      (declaim (ftype (function (t) (values ,lisp-type &optional)) ,name))
+      (defun ,name (,name)
+        ,@(when doc (list (third doc)))
         (etypecase ,name
           ,@conversions)))))