Subject: bug#13966: closed (Re: bug#13966: inlining issue?)

From: [email-masked] (GNU bug Tracking System)
Date: Mon, 20 Jun 2016 20:08:02 +0000

Your bug report

#13966: Inconsistent truncation of multiple values, inlining issue?

which was filed against the guile package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
13966: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13966
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#13966: inlining issue?
From: Andy Wingo <[email-masked]>
To: Daniel Llorens <[email-masked]>
Cc: [email-masked]
Date: Mon, 20 Jun 2016 22:06:53 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

On Fri 15 Mar 2013 13:57, Daniel Llorens <[email-masked]> writes:

> Compare 
>
> (define f (lambda (a) a))
> (call-with-values (lambda () (values 3 3)) f)
>
> vs
>
> (call-with-values (lambda () (values 3 3)) (lambda (a) a))
>
> The first one fails with
>
> <unnamed port>:1:0: In procedure f:
> <unnamed port>:1:0: Wrong number of arguments to #<procedure f (a)>
>
> The second one gives 3. 
>
> This is Guile 2.0.7.112-f5ea5.
>
> The behavior of the first case makes (compose f g) fail when f takes less args tan g produces.

Fixed in fff013215fb1a5d211df5037dcf52c92063050a8 on master.

Thanks for the report!

Andy

Subject: inlining issue?
From: Daniel Llorens <[email-masked]>
To: [email-masked]
Date: Fri, 15 Mar 2013 13:57:26 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Compare 

(define f (lambda (a) a))
(call-with-values (lambda () (values 3 3)) f)

vs

(call-with-values (lambda () (values 3 3)) (lambda (a) a))

The first one fails with

<unnamed port>:1:0: In procedure f:
<unnamed port>:1:0: Wrong number of arguments to #<procedure f (a)>

The second one gives 3. 

This is Guile 2.0.7.112-f5ea5.

The behavior of the first case makes (compose f g) fail when f takes less args tan g produces.

Regards

	Daniel