On Tue 28 Feb 2017 09:54, Andy Wingo <wi...@pobox.com> writes:

> In summary I think Guile's strength reduction is fine as it relies on
> type inference to prove when it is safe.  This is "just" a bug, albeit
> an annoying one that we need to fix!

Fixed in 2.0 and master.  Thanks for the report :)

Andy

Reply via email to