On Tue 28 Feb 2017 15:24, Alejandro Sanchez <hiph...@openmailbox.org> writes:
>> On 28 Feb 2017, at 10:19, Andy Wingo <wi...@pobox.com> wrote: >> >> 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 > > Great, than you. Do you have any approximation on when a release with > that fix will happen, or am I better off getting the source and > building myself? I would rather not mess around with building, but > I’ll bit the bullet and build myself if that’s the way to go. I am > currently on 2.0.14 because my package manager only offers the latest > stable release. 2.2.0 should come soon (a couple weeks hopefully), but I don't know about 2.0.14. In the meantime if defining an implementation for "-" works for you to handle negation, that's an OK workaround. Andy
