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: Tree-IL Questions Date: Wed, 16 Nov 2011 15:46:46 -0800 Message-ID: NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: dough.gmane.org 1321487219 17114 80.91.229.12 (16 Nov 2011 23:46:59 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 16 Nov 2011 23:46:59 +0000 (UTC) To: guile-devel Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Thu Nov 17 00:46:54 2011 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([140.186.70.17]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RQpBt-0001vx-7X for guile-devel@m.gmane.org; Thu, 17 Nov 2011 00:46:53 +0100 Original-Received: from localhost ([::1]:46052 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RQpBs-0004Oa-Px for guile-devel@m.gmane.org; Wed, 16 Nov 2011 18:46:52 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:33576) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RQpBq-0004OU-9z for guile-devel@gnu.org; Wed, 16 Nov 2011 18:46:51 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RQpBn-00060z-Rc for guile-devel@gnu.org; Wed, 16 Nov 2011 18:46:50 -0500 Original-Received: from mail-yx0-f169.google.com ([209.85.213.169]:55020) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RQpBn-00060n-OT for guile-devel@gnu.org; Wed, 16 Nov 2011 18:46:47 -0500 Original-Received: by yenm10 with SMTP id m10so432038yen.0 for ; Wed, 16 Nov 2011 15:46:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; bh=3YDMfltCllcmTZ9fcC6l0IxaP7APfDsfvPEIgQrFGvc=; b=XfirCK9tmjJuaFZpU1SkTIe17Pprb3C3gec0aEMsVZhyaWoHZqreAEGtxEgSIMyOd9 UBJQ0pMvVCxEc3wAUlrfmDPSXCh+Cq7v7axc8gFlkrwy8rf6U1d/X3PAMzILFJ7k+4iS Lewb7RMMevjrJ7/bLdCgZx5a7MLW4jXgU7NIE= Original-Received: by 10.42.148.136 with SMTP id r8mr35476232icv.1.1321487206681; Wed, 16 Nov 2011 15:46:46 -0800 (PST) Original-Received: by 10.42.136.68 with HTTP; Wed, 16 Nov 2011 15:46:46 -0800 (PST) X-Google-Sender-Auth: iLQIehxR2qv9WSHnDZhmIM5ojdw X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2) X-Received-From: 209.85.213.169 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:12907 Archived-At: Hello again, I've been working on the compiler issue and I've had to start looking at processing Tree-IL. As a result, I realized that the Tree-IL documentation is a bit out-of-date. I would like to fix it, but there are some things I don't understand. - It looks like every Tree-IL type has a src slot, correct? But if so, why doesn't the record-case at module/language/tree-il.scm line 271 (unparse-tree-il) match those src slots? Especially since the big match statement in peval (line 682) does match them (unless it matches no entries in the record)? - On a related note, why do most of the Tree-IL record type not appear in the define-type statement in tree-il.scm line 133, and is that connected with the borrow-core-vtables macro that I don't understand at all? :-) - Is it guaranteed that the exp slot in a record will always be a Scheme value, or can it be a Tree-IL expression? Thanks, Noah