From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Mark H Weaver Newsgroups: gmane.lisp.guile.devel Subject: Re: Immediate doubles (up to 2^256) and rationals coming to Guile 3 Date: Sun, 09 Jun 2019 13:30:21 -0400 Message-ID: <871s02acon.fsf@netris.org> References: <87zhmvaw5p.fsf@netris.org> <87o939b2lz.fsf@gnu.org> <87a7eqae8d.fsf@netris.org> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="156065"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux) Cc: Andy Wingo , guile-devel To: Ludovic =?utf-8?Q?Court=C3=A8s?= Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sun Jun 09 19:32:48 2019 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1ha1gW-000eSO-6Z for guile-devel@m.gmane.org; Sun, 09 Jun 2019 19:32:48 +0200 Original-Received: from localhost ([::1]:37260 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1ha1gU-0002Yn-Fk for guile-devel@m.gmane.org; Sun, 09 Jun 2019 13:32:46 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:36928) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1ha1gN-0002YU-DR for guile-devel@gnu.org; Sun, 09 Jun 2019 13:32:40 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ha1gM-0001JW-Jz for guile-devel@gnu.org; Sun, 09 Jun 2019 13:32:39 -0400 Original-Received: from world.peace.net ([64.112.178.59]:38092) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ha1gM-0001Iv-H7; Sun, 09 Jun 2019 13:32:38 -0400 Original-Received: from mhw by world.peace.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1ha1gL-0003J3-E5; Sun, 09 Jun 2019 13:32:37 -0400 In-Reply-To: <87a7eqae8d.fsf@netris.org> (Mark H. Weaver's message of "Sun, 09 Jun 2019 12:56:55 -0400") X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 64.112.178.59 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.23 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" Xref: news.gmane.org gmane.lisp.guile.devel:19959 Archived-At: I should mention that I'm very open to suggestions Andy might have about any of this. The new approach I'm currently working on with tagged pair pointers requires changes to both the VM and the compiler, and I'm not confident that I've made the best choices there. I've made some preliminary choices for now in order to get something working ASAP, but I fully expect that the final version will look different based on input from Andy and others. I also don't know whether the new approach (with tagged pair pointers) will be preferable to the earlier one (with most tc7 tags changed to tc11). My goal is to present a couple of working alternatives, and then we can decide among them. For now, I went ahead and pushed my new (not yet working) branch 'wip-new-tagging-bis-broken', in case you want to see the details of this new approach-in-progress. The new branch doesn't yet include the iflo- or fixrat-enabling patches, which I'll add later. Regards, Mark