From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Noah Lavine Newsgroups: gmane.lisp.guile.devel Subject: CPS Update Date: Fri, 15 Feb 2013 19:53:17 -0500 Message-ID: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=14dae9cfc894decb5104d5ccea88 X-Trace: ger.gmane.org 1360976003 15827 80.91.229.3 (16 Feb 2013 00:53:23 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 16 Feb 2013 00:53:23 +0000 (UTC) To: guile-devel Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sat Feb 16 01:53:45 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 1U6W2B-00076w-Ug for guile-devel@m.gmane.org; Sat, 16 Feb 2013 01:53:44 +0100 Original-Received: from localhost ([::1]:51883 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U6W1s-00041K-1z for guile-devel@m.gmane.org; Fri, 15 Feb 2013 19:53:24 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:44152) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U6W1o-00041B-BX for guile-devel@gnu.org; Fri, 15 Feb 2013 19:53:21 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1U6W1m-00059x-Fv for guile-devel@gnu.org; Fri, 15 Feb 2013 19:53:20 -0500 Original-Received: from mail-ve0-f181.google.com ([209.85.128.181]:43390) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U6W1m-00059p-0P for guile-devel@gnu.org; Fri, 15 Feb 2013 19:53:18 -0500 Original-Received: by mail-ve0-f181.google.com with SMTP id d10so3562935vea.40 for ; Fri, 15 Feb 2013 16:53:17 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:sender:date:x-google-sender-auth:message-id :subject:from:to:content-type; bh=ErLUG6Vn/mmemdVUzxIHDL6NKLExJXzxd1DTR4nLMrA=; b=XoYyA9D3fB2+mskVkNXRBIbHGhKPPpj1kLozry0LozkugmpV3EooT4o+JBwRn6G7kZ cyEwXfwr/3faHk5yW2hxHxnyXKh6Bhnn7tOpHAT9Vt0HclZaloJFgtGCPeE8YFtwj1H2 HVHl6ciPTuDefhgEnolpqRsGIxnyTyEIxXZpvK+lL5eJTF7IZb2wTg3TbDAfndKO99N/ pCu6Xkv0feIcxlg/ReoRfYjxOKN8pcWxO/fFfAOv/odlRGIU8fHTP7BnZf4cX54jRXOZ KsuFbUUeUJ9kc+X0wr2PSr6HG3yoOQyl2X1AFWq/CpFCGm4y0TUGIeARzvYW6lH6gQ0r y9AQ== X-Received: by 10.220.219.80 with SMTP id ht16mr5738537vcb.30.1360975997356; Fri, 15 Feb 2013 16:53:17 -0800 (PST) Original-Received: by 10.58.171.41 with HTTP; Fri, 15 Feb 2013 16:53:17 -0800 (PST) X-Google-Sender-Auth: y7wMhMXSkiL2Bm9zg8VGBlK5JfM X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy] X-Received-From: 209.85.128.181 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:15748 Archived-At: --14dae9cfc894decb5104d5ccea88 Content-Type: text/plain; charset=ISO-8859-1 Hello, The wip-rtl-cps branch has been rebased again (on top of wip-rtl). It now includes support for toplevel references and sets, thanks mostly to Andy's work on supporting them in RTL. (Although you shouldn't kick that part of it too hard just yet; I think I know where it will break.) Other highlights include using the top-level variable support to evaluate "(+ 3 4)" correctly. Overall, I think it's coming along well. The parts of Tree-IL that are left to implement are local mutable variables (should be easy after toplevel ones), module references and sets (very similar to top-level ones), closures, and the dynamic environment stuff. Local mutable variables are my next project, and then I think closures. One question I've had is, can we assume that the variables in the (guile) module are immutable? I think the current compiler does this. Otherwise there's no correct way to inline primitive procedures like + unless we have a way to invalidate our compiled code and recompile it (which I would like to have anyway, but that's a different story). Best, Noah --14dae9cfc894decb5104d5ccea88 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Hello,

The wip-rtl-cps branch has= been rebased again (on top of wip-rtl). It now includes support for toplev= el references and sets, thanks mostly to Andy's work on supporting them= in RTL. (Although you shouldn't kick that part of it too hard just yet= ; I think I know where it will break.) Other highlights include using the t= op-level variable support to evaluate "(+ 3 4)" correctly.

Overall, I think it's coming along well= .=A0The parts of Tree-IL that are left to implement are local mutable varia= bles (should be easy after toplevel ones), module references and sets (very= similar to top-level ones), closures, and the dynamic environment stuff. L= ocal mutable variables are my next project, and then I think closures.=A0

One question I've had is, can we assume= that the variables in the (guile) module are immutable? I think the curren= t compiler does this. Otherwise there's no correct way to inline primit= ive procedures like + unless we have a way to invalidate our compiled code = and recompile it (which I would like to have anyway, but that's a diffe= rent story).

Best,
Noah

--14dae9cfc894decb5104d5ccea88--