Re: [Chicken-hackers] [PATCH][5] Move foldable binding annotations into types.db

[Peter Bex]

On Tue, Sep 30, 2014 at 12:33:21AM -0700, Evan Hanson wrote:
> Hi all,
> 
> The attached patch moves foldable binding annotations out of
> c-platform.scm and into types.db.
> 
> While looking into #986[1], I realized there are currently several
> library procedures that are marked foldable when they really shouldn't
> be (such as the example in the ticket itself!).

Hi Evan,

I finally made some time to look into this (sorry for the delay!), and
I've pushed the changes.  Thanks a lot for this improvement!

However, I wondered about one thing: why did you decide to make string
and list procedures non-foldable?  I understand that the spec says
literals shouldn't be mutated because they may share storage, but in
CHICKEN this never happens, AFAIK (Felix, anyone, please correct me if
I'm wrong!).

Since it never happens, it may be a good idea to allow string and list
constants to be folded anyway.

In any case, right now there's an inconsistency: number->string,
##sys#fixnum->string and symbol->string are marked foldable, whereas
(for example), list->string and blob->string aren't.  Whichever way
we decide to approach this, that inconsistency should be resolve, I
think.

Cheers,
Peter
-- 
http://www.more-magic.net