From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Han-Wen Nienhuys Newsgroups: gmane.lisp.guile.devel Subject: Re: typechecking Date: Sun, 30 May 2004 10:28:07 +0200 Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Message-ID: <16569.39703.372961.365613@localhost.localdomain> 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> Reply-To: hanwen@xs4all.nl NNTP-Posting-Host: deer.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: sea.gmane.org 1085905494 7337 80.91.224.253 (30 May 2004 08:24:54 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Sun, 30 May 2004 08:24:54 +0000 (UTC) Cc: guile-devel@gnu.org, Marius Vollmer Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sun May 30 10:24:44 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 1BULcZ-0007wa-00 for ; Sun, 30 May 2004 10:24:43 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1BULcg-0001LN-VL for guile-devel@m.gmane.org; Sun, 30 May 2004 04:24:50 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.33) id 1BULcO-0001JN-72 for guile-devel@gnu.org; Sun, 30 May 2004 04:24:32 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.33) id 1BULcL-0001Fu-SV for guile-devel@gnu.org; Sun, 30 May 2004 04:24:31 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1BULcL-0001Fl-K2 for guile-devel@gnu.org; Sun, 30 May 2004 04:24:29 -0400 Original-Received: from [213.84.26.127] (helo=localhost.localdomain) by monty-python.gnu.org with esmtp (TLSv1:DES-CBC3-SHA:168) (Exim 4.34) id 1BULc6-00014Q-O0 for guile-devel@gnu.org; Sun, 30 May 2004 04:24:15 -0400 Original-Received: from localhost.localdomain.byrd.xs4all.nl (byrd [127.0.0.1]) by localhost.localdomain (8.12.11/8.12.11) with ESMTP id i4U8S7pk016812; Sun, 30 May 2004 10:28:07 +0200 Original-To: Dirk Herrmann In-Reply-To: <40B99DE9.8010005@dirk-herrmanns-seiten.de> X-Mailer: VM 7.14 under Emacs 21.3.1 X-yoursite-MailScanner-Information: Please contact the ISP for more information X-yoursite-MailScanner: Found to be clean X-MailScanner-From: hanwen@xs4all.nl 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:3775 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:3775 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. -- Han-Wen Nienhuys | hanwen@xs4all.nl | http://www.xs4all.nl/~hanwen _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://lists.gnu.org/mailman/listinfo/guile-devel