Re: [Chicken-hackers] [PATCH] non-termination with (declare (inline ...))

[Felix]

From: Peter Bex <address@hidden>
Subject: Re: [Chicken-hackers] [PATCH] non-termination with (declare (inline 
...))
Date: Fri, 29 Mar 2013 19:26:07 +0100

> On Fri, Mar 29, 2013 at 07:13:21PM +0100, Felix wrote:
>> > I'm trying to figure out how this relates to inline-global.
>> > 
>> > I noticed that inline-global calls
>> > (cut mark-variable <> '##compiler#inline-global 'no) for
>> > each identifier.  Shouldn't that be 'yes?  And can this cause
>> > the same kind of infinite loop?
>> > 
>> 
>> It's the (not (inline-global ...)) declaration you're looking at, 
>> I think.
> 
> D'oh!  You're right, of course.  My other question remains: couldn't
> the inline-global with value 'yes cause a similar infinite loop?

I don't think so. Inline-global marks a procedure as "externally"
inlinable, but "inline" directly controls the inline expansion.

Could you sign off and push this patch, please?


cheers,
felix