[debbugs-tracker] bug#10922: closed (procedure-argumets does not work with advanced evaled lambdas)

[GNU bug Tracking System]

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
>
>
>
>
> Date: 
>
> Thu, 1 Mar 2012 22:58:53 +0100
>
>
>
>
> Here is a transcript of the problem
>
> 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 ---