LGTM.  Here's the patch for srfi-113-impl.scm

diff --git a/vectors/vectors-impl.scm b/vectors/vectors-impl.scm

index 9b798e0..d18ac86 100644

--- a/vectors/vectors-impl.scm

+++ b/vectors/vectors-impl.scm

@@ -745,10 +745,8 @@

                                   (test (vector-ref vector-a i)

                                         (vector-ref vector-b i)

                                         i)))))

-                 (test (lambda (elt-a elt-b i)

-                         (and (or (eq? elt-a elt-b) ;+++

-                                  (elt=? elt-a elt-b))

-                              (loop (+ i 1))))))

+                 (test (lambda (elt-a elt-b i) (elt=? elt-a elt-b))

+                     (loop (+ i 1))))

           (and (= length-a length-b)

                (loop 0))))))

On Wed, Jul 4, 2018 at 6:42 PM, Arthur A. Gleckler <xxxxxx@speechcode.com> wrote:

​Thanks for catching this, Jim.

I've​ attached a patch to add an erratum to the document.  John, please review that.  Note that I removed the next sentence as well, since it depends on the one you suggested removing.

I'll leave it to you to update the implementation.