binary-search: test failure: (=) bad argument type - not a number: #f

[Mario Domenech Goulart]

See ​http://salmonella-linux-x86.call-cc.org/master-debugbuild/gcc/linux/x86/2018/08/21/salmonella-report/test/binary-search.html

[Vasilij Schneidermann]

More recent test failure: ​http://salmonella-linux-x86.call-cc.org/master/clang/linux/x86/2021/08/27/salmonella-report/test/binary-search.html

[sjamaan]

Seems to have been fixed: ​http://salmonella-linux-x86-64.call-cc.org/master/gcc/linux/x86-64/2023/12/20/salmonella-report/test/binary-search.html

[sjamaan]

My bad, it's x86-specific: ​http://salmonella-linux-x86.call-cc.org/master/clang/linux/x86/2023/12/20/salmonella-report/test/binary-search.html

[sjamaan]

I think the problem is that (square x) returns bignums on 32-bit platforms, while binary-search assumes fixnums everywhere.

The code checks that the sequence is within fixnum range, but it doesn't do so for the return value of proc in the loop (but still calls fixnum ops on it!)

[Mario Domenech Goulart]

The issue been fixed with the 0.2 release (​http://bugs.call-cc.org/changeset/43071/project). After that, tests succeed: ​http://salmonella-linux-x86.call-cc.org/master/clang/linux/x86/2023/12/27/salmonella-report/test/binary-search.html