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:
> So, I audited the whole lot of `foldable-bindings`, and in doing so
> moved them into types.db as #:foldable properties for clarity.

Thanks for putting so much effort into this!

> It's also safe to fold predicates, so rather than redundantly mark all
> of those procedures redundantly, I've made #:predicate imply #:foldable
> in the optimizer.

Shouldn't the same be done for #:pure?  If a procedure is purely
functional, it should be referentially transparent, which means it
should be foldable.  Or am I overlooking something here?

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