+;;;; Single linked list (GSList)
+
+(deftype gslist (type) `(or (null (cons ,type list))))
+
+(define-foreign ("g_slist_prepend" %gslist-prepend-unsigned) () pointer
+ (gslist pointer)
+ (data unsigned))
+
+(define-foreign ("g_slist_prepend" %gslist-prepend-signed) () pointer
+ (gslist pointer)
+ (data signed))
+
+(define-foreign ("g_slist_prepend" %gslist-prepend-sap) () pointer
+ (gslist pointer)
+ (data pointer))
+
+(defmacro gslist-prepend (gslist value type-spec)
+ (ecase (first (mklist (translate-type-spec type-spec)))
+ (unsigned `(%gslist-prepend-unsigned ,gslist ,value))
+ (signed `(%gslist-prepend-signed ,gslist ,value))
+ (system-area-pointer `(%gslist-prepend-sap ,gslist ,value))))
+
+(define-foreign ("g_slist_free" gslist-free) () nil
+ (gslist pointer))
+
+(deftype-method translate-type-spec gslist (type-spec)
+ (declare (ignore type-spec))
+ (translate-type-spec 'pointer))
+
+(deftype-method size-of gslist (type-spec)
+ (declare (ignore type-spec))
+ (size-of 'pointer))
+
+(deftype-method translate-to-alien gslist (type-spec list &optional copy)
+ (declare (ignore copy))
+ (let* ((element-type-spec (second (type-expand-to 'gslist type-spec)))
+ (to-alien (translate-to-alien element-type-spec 'element t)))
+ `(let ((gslist (make-pointer 0)))
+ (dolist (element (reverse ,list) gslist)
+ (setq gslist (gslist-prepend gslist ,to-alien ,element-type-spec))))))
+
+(deftype-method translate-from-alien
+ gslist (type-spec gslist &optional (alloc :reference))
+ (let ((element-type-spec (second (type-expand-to 'gslist type-spec))))
+ `(let ((gslist ,gslist)
+ (list nil))
+ (do ((tmp gslist (glist-next tmp)))
+ ((null-pointer-p tmp))
+ (push
+ ,(translate-from-alien
+ element-type-spec `(glist-data tmp ,element-type-spec) alloc)
+ list))
+ ,(when (eq alloc :reference)
+ '(gslist-free gslist))
+ (nreverse list))))
+
+(deftype-method cleanup-alien gslist (type-spec gslist &optional copied)
+ (declare (ignore copied))
+ (let* ((element-type-spec (second (type-expand-to 'gslist type-spec)))
+ (alien-type-spec (translate-type-spec element-type-spec)))
+ `(let ((gslist ,gslist))
+ (unless (null-pointer-p gslist)
+ ,(when (eq alien-type-spec 'system-area-pointer)
+ `(do ((tmp gslist (glist-next tmp)))
+ ((null-pointer-p tmp))
+ ,(cleanup-alien
+ element-type-spec `(glist-data tmp ,element-type-spec) t)))
+ (gslist-free gslist)))))
+
+
+