|
From: | GNU bug Tracking System |
Subject: | [debbugs-tracker] bug#10922: closed (procedure-argumets does not work with advanced evaled lambdas) |
Date: | Fri, 06 Jul 2012 12:17:06 +0000 |
Your message dated Fri, 06 Jul 2012 12:19:51 +0200 with message-id <address@hidden> and subject line Re: bug#10922: procedure-argumets does not work with advanced evaled lambdas has caused the debbugs.gnu.org bug report #10922, regarding procedure-argumets does not work with advanced evaled lambdas to be marked as done. (If you believe you have received this mail in error, please contact address@hidden) -- 10922: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=10922 GNU Bug Tracking System Contact address@hidden with problems
--- Begin Message ---Subject: procedure-argumets does not work with advanced evaled lambdas Here is a transcript of the problem Date: Thu, 1 Mar 2012 22:58:53 +0100
scheme@(guile-user)> (define f (lambda* (#:key x) x))
scheme@(guile-user)> (procedure-arguments f)
$53 = ((required) (optional) (keyword (#:x . 0)) (allow-other-keys? . #f) (rest . #f))
scheme@(guile-user)> (define f (eval '(lambda* (#:key x) x) (current-module)))
scheme@(guile-user)> (procedure-arguments f)
$54 = ((required) (optional) (keyword) (allow-other-keys? . #f) (rest . %args))
Why is this important.
As an example trying to port rackets contract you have functions that take a function
and return a new function with checks according to a contract added. the functionality
is the same but input and output is checked. Now to use this, information about the
keywords are needed in order to do some sanity checks that can be done at construction
time. But if we eval a lambda and use that, we saw above that the information is not added.
and the nice idea with contracts is broken.
Solution idea:
mod eval.scm and as described in session.scm make sure to add a 'arglist procedure-property
to the newly constructed lambda with the appropriate information added.
Regards
Stefan
--- End Message ---
--- Begin Message ---Subject: Re: bug#10922: procedure-argumets does not work with advanced evaled lambdas Date: Fri, 06 Jul 2012 12:19:51 +0200 User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.1 (gnu/linux) Fixed in fc835b1b, thanks for the report. Andy -- http://wingolog.org/
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |