From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Mark H Weaver Newsgroups: gmane.lisp.guile.devel Subject: Re: rtl metadata musings Date: Sat, 11 May 2013 00:48:38 -0400 Message-ID: <87wqr63yvt.fsf@tines.lan> References: <871u9fqv70.fsf@pobox.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1368247754 21942 80.91.229.3 (11 May 2013 04:49:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 11 May 2013 04:49:14 +0000 (UTC) Cc: guile-devel To: Andy Wingo Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sat May 11 06:49:12 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 1Ub1k8-0006k9-65 for guile-devel@m.gmane.org; Sat, 11 May 2013 06:49:12 +0200 Original-Received: from localhost ([::1]:51664 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Ub1k7-0006jV-Ri for guile-devel@m.gmane.org; Sat, 11 May 2013 00:49:11 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:54008) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Ub1k3-0006j6-20 for guile-devel@gnu.org; Sat, 11 May 2013 00:49:07 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Ub1k2-0003o0-8j for guile-devel@gnu.org; Sat, 11 May 2013 00:49:06 -0400 Original-Received: from world.peace.net ([96.39.62.75]:56009) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Ub1k2-0003lu-4b for guile-devel@gnu.org; Sat, 11 May 2013 00:49:06 -0400 Original-Received: from 209-6-91-212.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com ([209.6.91.212] helo=tines.lan) by world.peace.net with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1Ub1jl-0006Mj-Fo; Sat, 11 May 2013 00:48:49 -0400 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.3 (gnu/linux) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 96.39.62.75 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:16365 Archived-At: Hi Andy, This all sounds great! :) I have only one comment for now, which regards arity information. The required/optional/rest representation is not sufficiently general. Not only is it unable to handle empty case-lambdas, but it's also unable to properly represent a case-lambda that can accept 1 or 3 arguments, but not 2. One possibility would for each procedure to have a (possibly empty) list of supported arities, where each arity corresponds to a case-lambda clause. What do you think? Mark