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: rtl at els Date: Sat, 08 Jun 2013 14:12:29 +0200 Message-ID: <87ip1odcnm.fsf@pobox.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1370693571 14405 80.91.229.3 (8 Jun 2013 12:12:51 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 8 Jun 2013 12:12:51 +0000 (UTC) To: guile-devel Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sat Jun 08 14:12:52 2013 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1UlI0p-00068D-Et for guile-devel@m.gmane.org; Sat, 08 Jun 2013 14:12:51 +0200 Original-Received: from localhost ([::1]:44067 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UlI0o-0003Lc-U1 for guile-devel@m.gmane.org; Sat, 08 Jun 2013 08:12:50 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:44644) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UlI0j-0003LX-KO for guile-devel@gnu.org; Sat, 08 Jun 2013 08:12:47 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1UlI0i-0007Oo-LC for guile-devel@gnu.org; Sat, 08 Jun 2013 08:12:45 -0400 Original-Received: from a-pb-sasl-quonix.pobox.com ([208.72.237.25]:41003 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UlI0i-0007Og-H4 for guile-devel@gnu.org; Sat, 08 Jun 2013 08:12:44 -0400 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-quonix.pobox.com (Postfix) with ESMTP id CC333BFA3 for ; Sat, 8 Jun 2013 08:12:42 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to :subject:date:message-id:mime-version:content-type; s=sasl; bh=6 tojyrJ4pjFZ6qihuSDIWtv821U=; b=AswD9W1jfu5+knGT5yLAoK/fnDCPtX5Vg YYfhcA2bE7JifRefsGuO9XI1fvB6Yj8LlBF7OZZZhhYlhblND+4QJ3Yc9e/dhyNA JeIWRpSdAT+ooEiQ8ZjZCTZiHVij25GOGqUyvlnt55dC0Ubo3Udc/C0UmCwtniTy C8O++Xe9co= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:subject :date:message-id:mime-version:content-type; q=dns; s=sasl; b=SEL lpAfaMcy3El0RgJCwvb+1khZSAN9BEUc8XskdAsCNkwE+lpdjUmrFGW0g1OIxcJG dbBOIFK0t/TxZ4HKxOFrSmW8ZZ4KbIFf2+SqkSOCUyd/phdGdEboJfAER5JcfnNm L9wweg2gak/dYEkCwDpd8jrDQSh4/Am+BdD7ucFI= Original-Received: from a-pb-sasl-quonix.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-quonix.pobox.com (Postfix) with ESMTP id C5275BFA2 for ; Sat, 8 Jun 2013 08:12:42 -0400 (EDT) Original-Received: from badger (unknown [88.160.190.192]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by a-pb-sasl-quonix.pobox.com (Postfix) with ESMTPSA id C096ABFA1 for ; Sat, 8 Jun 2013 08:12:31 -0400 (EDT) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) X-Pobox-Relay-ID: B216C146-D034-11E2-8657-9F710E5B5709-02397024!a-pb-sasl-quonix.pobox.com X-detected-operating-system: by eggs.gnu.org: Solaris 10 X-Received-From: 208.72.237.25 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:16473 Archived-At: Hi! Ludo and I had a fun time at the European Lisp Symposium last week, meeting other lispers, schemers, and a rogue racketeer. We also managed to spend some time going through the pending patches, as you probably saw, and I'll be landing them as I fix up docstrings ;) We also talked about the way forward to target RTL from Scheme. While we both think that Noah's CPS work is the way to go, we're a little concerned that to try to land the new VM and the new compiler at the same time is too much uncertainty. So as a stopgap, we're going to try to compile Tree-IL directly to RTL. We'll run a pass over the tree-il that converts it to ANF, then adapt the existing tree-il->glil compiler to target RTL. I know that compiler pretty well so I should be able to make some good progress there fairly quickly. So that's the plan. It will probably make the CPS work easier, actually, as there will be example RTL code and we'll be sure the VM is capable enough, and we don't have to also worry about the VM switchover. But we'll see :) Cheers, Andy -- http://wingolog.org/