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: [PATCH 3/3] Add `fixnum?' VM primitive Date: Mon, 04 Apr 2011 23:53:51 +0200 Message-ID: References: <87wrjglvsq.fsf@gmx.at> <1301766148-20242-1-git-send-email-a.rottmann@gmx.at> <1301766148-20242-4-git-send-email-a.rottmann@gmx.at> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1301954534 28957 80.91.229.12 (4 Apr 2011 22:02:14 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 4 Apr 2011 22:02:14 +0000 (UTC) Cc: guile-devel@gnu.org To: Andreas Rottmann Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Tue Apr 05 00:02:10 2011 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 1Q6rqb-0008IW-E9 for guile-devel@m.gmane.org; Tue, 05 Apr 2011 00:02:10 +0200 Original-Received: from localhost ([127.0.0.1]:38986 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Q6rqP-0005Uc-9b for guile-devel@m.gmane.org; Mon, 04 Apr 2011 18:01:57 -0400 Original-Received: from [140.186.70.92] (port=51127 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Q6riI-00071J-Og for guile-devel@gnu.org; Mon, 04 Apr 2011 17:53:35 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Q6riG-0006a4-Ro for guile-devel@gnu.org; Mon, 04 Apr 2011 17:53:34 -0400 Original-Received: from a-pb-sasl-sd.pobox.com ([64.74.157.62]:54045 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Q6riG-0006Zu-O2 for guile-devel@gnu.org; Mon, 04 Apr 2011 17:53:32 -0400 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 1FC114580; Mon, 4 Apr 2011 17:55:25 -0400 (EDT) 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; s=sasl; bh=8N8jdKO+0lSNHoU8WsySGBwpzPQ=; b=LengiV TpQFsvTsl69jF2CPgKwf2A8Rub3yC3AKycgY7xusMwpi1/MHvwR2HzArcIlt3FTe Z7HS1AiWklhDwyRKuWCBiUDwtI3a40zcjzsrZ61QqBpJlZrY6Sl2hsh3QDTVWnQL Noaex+ELdOGLplaS+Y1g4BEDQw8QCMJ0P6PPc= 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; q=dns; s=sasl; b=FTX/SVeVVKGWXvzTVMDXCPFpcVLGhr3X NrLm4/9K2yM1WDhLDKt6oMtlC2hn4fbLW6EG2kq/9m3B/WAuuMNt0a+kcEHwZK3c xuUzrWaZJWFmtWn4e0z/3YLSBM3gW19euGjiSuqyxPqlHj9uuJX0zxNEcwEv9ee+ 4otdn9gfH+M= 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 0CB76457F; Mon, 4 Apr 2011 17:55:23 -0400 (EDT) Original-Received: from unquote.localdomain (unknown [90.164.198.39]) (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 68FA7457A; Mon, 4 Apr 2011 17:55:21 -0400 (EDT) In-Reply-To: <1301766148-20242-4-git-send-email-a.rottmann@gmx.at> (Andreas Rottmann's message of "Sat, 2 Apr 2011 19:42:28 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) X-Pobox-Relay-ID: 3DA35960-5F06-11E0-9570-E8AB60295C12-02397024!a-pb-sasl-sd.pobox.com X-detected-operating-system: by eggs.gnu.org: Solaris 10 (beta) X-Received-From: 64.74.157.62 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:12158 Archived-At: Hi Andreas, I applied the first two, thanks. I am hesitant about this one for three reasons: 1) I don't want the compiler to import (rnrs arithmetic fixnums). Rather, if we were to do this, I would have that module register its primitives, as GOOPS does. 2) Something about this sounds wrong to me. If fixnum? is important, why not have it in Guile's default environment directly? Or some other non-R6RS namespace. What about, for example, `exact-integer?'? And why for fixnums and not flonums? 3) Are there no alternatives, like exposing Guile's tags to Scheme directly? (ice-9 tags) for example. Then we could inline tc3?, tc8?, and tc16? ops. Some other predicates would become unnecessary; char? for example. Perhaps this is a bad idea though. Apologies for being crabby here after you've done all this work :) It could well be that something close to this is the right thing. Cheers, Andy -- http://wingolog.org/