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: rtl metadata musings Date: Thu, 16 May 2013 23:42:28 +0200 Message-ID: <87hai2iou3.fsf@pobox.com> References: <871u9fqv70.fsf@pobox.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1368740586 12707 80.91.229.3 (16 May 2013 21:43:06 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 16 May 2013 21:43:06 +0000 (UTC) To: guile-devel Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Thu May 16 23:43:07 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 1Ud5x3-0005iF-QA for guile-devel@m.gmane.org; Thu, 16 May 2013 23:43:05 +0200 Original-Received: from localhost ([::1]:47710 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Ud5x3-0001fJ-Dd for guile-devel@m.gmane.org; Thu, 16 May 2013 17:43:05 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:39489) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Ud5wk-0001eW-9M for guile-devel@gnu.org; Thu, 16 May 2013 17:43:01 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Ud5wX-0001tO-D9 for guile-devel@gnu.org; Thu, 16 May 2013 17:42:46 -0400 Original-Received: from a-pb-sasl-quonix.pobox.com ([208.72.237.25]:35029 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Ud5wX-0001tE-8X for guile-devel@gnu.org; Thu, 16 May 2013 17:42:33 -0400 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-quonix.pobox.com (Postfix) with ESMTP id 902EEC06E for ; Thu, 16 May 2013 17:42:31 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=sasl; bh=L7HqCBoH8DmrVfJ48GQWa5M/dqM=; b=qvtJQw u8NvsLAGqlCzOq4YIMDc1IZmTf99F7Vsr8tcUMkW4Sn8glSDSJyOp4vgE9D1Yplq QvXn6PyZ9SVapE9I8Tuy9kic9y2Vw+ZowtGuiQfRxIDwMPPME727XOEhO0chlR/e FQ+dhmzNKr9Psrnq8nX3F/XlOxMGCusuNH83g= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:subject :references:date:in-reply-to:message-id:mime-version :content-type; q=dns; s=sasl; b=Z+/UH+koslP4jUJ9oE6H4qDtrAUFLbZC 0N7xs7bxCsTOVa13A2Dl/X4C1Jcocfrz1un86kdbCyOTTxlPentrK3k4ARQc1d+z H+QEBHjPYNGNeCCvRl+EZ9N1xwkN+SXolDN3wF1sPfZv1ckiBLFF9e2Br5C6X6+R W6hXPgQIyG0= 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 892D8C06D for ; Thu, 16 May 2013 17:42:31 -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 03B41C06C for ; Thu, 16 May 2013 17:42:30 -0400 (EDT) In-Reply-To: <871u9fqv70.fsf@pobox.com> (Andy Wingo's message of "Fri, 10 May 2013 07:07:31 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2 (gnu/linux) X-Pobox-Relay-ID: 82E88DA2-BE71-11E2-94C1-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:16368 Archived-At: Hi, On Fri 10 May 2013 07:07, Andy Wingo writes: > To recap, the new toolchain has the new RTL assembly embedded in ELF. > There are 6 things we need to put in the ELF file somehow: > > (1) Procedure names and bounds. > (2) Docstrings. > (3) Generic procedure metadata (for procedure-properties). > (4) Arity information (see docs for program-arities). > (5) Information about local variables for the debugger. > (6) Line numbers. A status update: (1), (2), and (4) are done. The arities code doesn't use quite the same runtime interface as 2.0; not sure what can be done there. I'll take a look later. I'll do (3) soon. (5) and (6) require a bit of time and mental clarity; maybe in a few weeks. Cheers, Andy -- http://wingolog.org/