Oops, hold on. The fix was wrong (it always comes while sipping fresh cup of coffee after sending out an email. ). I’ll send updated PR later.

Sent from my iPhone

On Sep 8, 2018, at 1:43 PM, Shiro Kawai <xxxxxx@gmail.com> wrote:

https://github.com/scheme-requests-for-implementation/srfi-113/pull/14

The original code assumed dyadic-sob>? is negation of dyadic-sob<=?, but
it doesn't hold when two sobs are neither subset of each other.