From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.devel Subject: Re: FFI support for disjoint types Date: Sat, 20 Nov 2010 22:59:30 +0100 Message-ID: References: <87bp5vx1zq.fsf@gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1290291280 3851 80.91.229.12 (20 Nov 2010 22:14:40 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sat, 20 Nov 2010 22:14:40 +0000 (UTC) Cc: guile-devel@gnu.org To: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sat Nov 20 23:14:36 2010 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1PJvhc-0001BB-Bk for guile-devel@m.gmane.org; Sat, 20 Nov 2010 23:14:36 +0100 Original-Received: from localhost ([127.0.0.1]:60055 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1PJvTC-0007oa-F9 for guile-devel@m.gmane.org; Sat, 20 Nov 2010 16:59:42 -0500 Original-Received: from [140.186.70.92] (port=44616 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1PJvSg-0007cr-Cy for guile-devel@gnu.org; Sat, 20 Nov 2010 16:59:11 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1PJvPC-0000Ap-6D for guile-devel@gnu.org; Sat, 20 Nov 2010 16:55:35 -0500 Original-Received: from a-pb-sasl-sd.pobox.com ([64.74.157.62]:63387 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1PJvPC-0000Ag-3x; Sat, 20 Nov 2010 16:55:34 -0500 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 40A01298A; Sat, 20 Nov 2010 16:55:45 -0500 (EST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type:content-transfer-encoding; s=sasl; bh=d6Mntu7veP8t J4U08TegyXfInOg=; b=vwyrWDwldqV7+Ygygg8b5dKZusFeYpR6xqbqA1esSeg6 mOAk88QyyBYY8zoSnnFKyn/oOky9GLMZaMSSs6pMd/zUyJrFcCgwrdIQsPedocUr HNQ5d7f0h+ut3qxx2uFnrOZWAnrNLwCEdT7uLAYK+dyOfCBNO2ovLJHyrXbBUKM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type:content-transfer-encoding; q=dns; s=sasl; b=KqgA3+ aHhbdUWNhJlsxgs4uU+pzVRc0lCly9ajEcJjTxjF6nyUSxvRkR1o6RZmqq+cEZhQ MPgToZ+Ygmp3b0wsHFl7V0UG0k7p4xZzP4io4kP1y82x+wMm6vny+2QwNSPid/rN jEV3Q3pLgD5tL52wGrTLqhQIOyROIwfh2idpY= Original-Received: from a-pb-sasl-sd.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 0BDDF2988; Sat, 20 Nov 2010 16:55:44 -0500 (EST) Original-Received: from unquote.localdomain (unknown [88.0.167.219]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTPSA id 4A8E02986; Sat, 20 Nov 2010 16:55:41 -0500 (EST) In-Reply-To: <87bp5vx1zq.fsf@gnu.org> ("Ludovic =?utf-8?Q?Court=C3=A8s=22'?= =?utf-8?Q?s?= message of "Thu, 11 Nov 2010 17:24:09 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) X-Pobox-Relay-ID: EC6A120C-F4F0-11DF-B6C4-B53272ABC92C-02397024!a-pb-sasl-sd.pobox.com X-detected-operating-system: by eggs.gnu.org: Solaris 10 (beta) X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:11174 Archived-At: On Thu 11 Nov 2010 17:24, ludo@gnu.org (Ludovic Court=C3=A8s) writes: > (define-wrapped-pointer-type class? > wrap-class unwrap-class print-class) Looks great! Would be a great addition to system foreign. > (with-syntax ((type-name (datum->syntax #'pred (gensym))) > (%wrap (datum->syntax #'wrap (gensym)))) > #'(begin > (define-record-type type-name > (%wrap pointer) > pred > (pointer unwrap)) You wouldn't need to do the gensym dance if we fixed Andreas' bug (https://savannah.gnu.org/bugs/?31472), I don't think... Andy --=20 http://wingolog.org/