From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Neil Jerram Newsgroups: gmane.lisp.guile.devel Subject: Re: [PATCH] Doc: protecting procedure->pointer pointers from GC Date: Fri, 03 Feb 2012 08:56:52 +0000 Message-ID: <87ehucwazv.fsf@neil-laptop.ossau.uklinux.net> References: <87sjiwq3jv.fsf@neil-laptop.ossau.uklinux.net> <87zkd4uryp.fsf@pobox.com> <8739avcw03.fsf@neil-laptop.ossau.uklinux.net> <87ipjpszhl.fsf@gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1328259440 15271 80.91.229.3 (3 Feb 2012 08:57:20 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 3 Feb 2012 08:57:20 +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 Fri Feb 03 09:57:19 2012 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([140.186.70.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RtExK-0006oj-Ts for guile-devel@m.gmane.org; Fri, 03 Feb 2012 09:57:19 +0100 Original-Received: from localhost ([::1]:52490 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RtExK-0003Jd-CM for guile-devel@m.gmane.org; Fri, 03 Feb 2012 03:57:18 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:52219) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RtExG-0003JJ-Sp for guile-devel@gnu.org; Fri, 03 Feb 2012 03:57:15 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RtExF-0004dg-Eh for guile-devel@gnu.org; Fri, 03 Feb 2012 03:57:14 -0500 Original-Received: from out1.ip01ir2.opaltelecom.net ([62.24.128.237]:61462) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RtExF-0004dS-5g; Fri, 03 Feb 2012 03:57:13 -0500 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlAJAByhK09OkRvm/2dsb2JhbABDhQupDIECgQaBcgEBBAEjBC8jBQsIAxoCBSECAg8BBCU3h3wDpkSSBYEvihcHAgIdBAYBCgICAwYCBAIBBAICHAMBL4JjBRVpCAEEBIJBgRYEp3k X-IronPort-AV: E=Sophos;i="4.73,351,1325462400"; d="scan'208";a="379303855" Original-Received: from host-78-145-27-230.as13285.net (HELO arudy) ([78.145.27.230]) by out1.ip01ir2.opaltelecom.net with ESMTP; 03 Feb 2012 08:56:53 +0000 Original-Received: from neil-laptop.ossau.uklinux.net.ossau.homelinux.net (host-78-145-27-230.as13285.net [78.145.27.230]) by arudy (Postfix) with ESMTPA id 1636138005; Fri, 3 Feb 2012 08:56:52 +0000 (GMT) In-Reply-To: <87ipjpszhl.fsf@gnu.org> ("Ludovic =?utf-8?Q?Court=C3=A8s=22'?= =?utf-8?Q?s?= message of "Thu, 02 Feb 2012 22:21:26 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 62.24.128.237 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:13790 Archived-At: ludo@gnu.org (Ludovic Court=C3=A8s) writes: > Looks great! I had a glance at the E17 bindings, and I see that the API > uses raw pointer objects; using =E2=80=9Cwrapped pointer types=E2=80=9D w= ould provide > type checking, and a nicer UI if you add printers. :-) That's an excellent point; yes, I'll do that. Using wrapped pointer types, it should then be the case that no naked pointer values ever go in or out from the module that provides the binding - which feels like a nice property.=20 Neil