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