From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Marius Vollmer Newsgroups: gmane.lisp.guile.devel Subject: Re: typechecking Date: Thu, 10 Jun 2004 18:22:40 +0200 Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Message-ID: <87n03bjsbz.fsf@zagadka.ping.de> References: <16486.52591.672130.224861@localhost.localdomain> <87brkwc6f7.fsf@zagadka.ping.de> <16544.2271.454230.492574@localhost.localdomain> <40A5DFF2.80004@dirk-herrmanns-seiten.de> <16564.54949.13882.819772@localhost.localdomain> <40B99DE9.8010005@dirk-herrmanns-seiten.de> <16569.39703.372961.365613@localhost.localdomain> NNTP-Posting-Host: deer.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: sea.gmane.org 1086884637 14960 80.91.224.253 (10 Jun 2004 16:23:57 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Thu, 10 Jun 2004 16:23:57 +0000 (UTC) Cc: guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Thu Jun 10 18:23:45 2004 Return-path: Original-Received: from lists.gnu.org ([199.232.76.165]) by deer.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 1BYSLA-0004Wd-00 for ; Thu, 10 Jun 2004 18:23:44 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1BYSLr-0001Xy-He for guile-devel@m.gmane.org; Thu, 10 Jun 2004 12:24:27 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.33) id 1BYSLj-0001Uv-Iy for guile-devel@gnu.org; Thu, 10 Jun 2004 12:24:19 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.33) id 1BYSLh-0001Tx-Q5 for guile-devel@gnu.org; Thu, 10 Jun 2004 12:24:18 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1BYSLh-0001Tu-NC for guile-devel@gnu.org; Thu, 10 Jun 2004 12:24:17 -0400 Original-Received: from [195.253.8.218] (helo=mail.dokom.net) by monty-python.gnu.org with esmtp (Exim 4.34) id 1BYSKB-00076p-7A for guile-devel@gnu.org; Thu, 10 Jun 2004 12:22:43 -0400 Original-Received: from [195.138.44.60] (helo=zagadka.ping.de) by mail.dokom.net with smtp (Exim 3.36 #3) id 1BYSNK-0001ip-00 for guile-devel@gnu.org; Thu, 10 Jun 2004 18:25:58 +0200 Original-Received: (qmail 25510 invoked by uid 1000); 10 Jun 2004 16:22:40 -0000 Original-To: hanwen@xs4all.nl In-Reply-To: <16569.39703.372961.365613@localhost.localdomain> (Han-Wen Nienhuys's message of "Sun, 30 May 2004 10:28:07 +0200") User-Agent: Gnus/5.1002 (Gnus v5.10.2) Emacs/21.3 (gnu/linux) X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.4 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 Xref: main.gmane.org gmane.lisp.guile.devel:3785 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:3785 Han-Wen Nienhuys writes: > dirk@dirk-herrmanns-seiten.de writes: >> >> >> >> >> > >> >It would be interesting to see if we could map the Scheme semantics >> >(true = !SCM_BOOL_F) to C. That would require mapping SCM_BOOL_F to >> >(void*)0x0. Is this desirable, and does anyone see a possibility for this? >> > >> SCM values, where the 3 least significant bits are zero indicate >> non-immediates. That is, the SCM value can without any modification be > > I understand the tag system, so I'm aware of the > implications. However, I was wondering whether such a change stands a > chance of being incorporated, if it would work. I find it quite tempting to make SCM_BOOL_F identical to 0; it will prevent a lot of bugs. But I do think it is better to not gurantee anything like this about the SCM type (except that you can assign it directly). A properly abstract interface to SCM values is a good thing, even if it is inconvenient at times. -- GPG: D5D4E405 - 2F9B BCCC 8527 692A 04E3 331E FAF8 226A D5D4 E405 _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://lists.gnu.org/mailman/listinfo/guile-devel