Fix transform for SEARCH on vectors with :form-end t.

When from-end is specified, start2 becomes end2 and the other way
around, so return star2 or end2 accordingly when testing for an empty
subsequence.

diff --git a/src/compiler/seqtran.lisp b/src/compiler/seqtran.lisp
index f87bd78..5181c06 100644 (file)
--- a/src/compiler/seqtran.lisp
+++ b/src/compiler/seqtran.lisp
@@ -1088,7 +1088,9 @@
                   (unless (<= start2 end2 len2)
                     (oops pattern start2 end2))))
             (when (= end1 start1)
-              (return-from search start2))
+              (return-from search (if from-end
+                                      end2
+                                      start2)))
             (do (,(if from-end
                       '(index2 (- end2 (- end1 start1)) (1- index2))
                       '(index2 start2 (1+ index2))))

diff --git a/tests/seq.pure.lisp b/tests/seq.pure.lisp
index d6aa497..ded374f 100644 (file)
--- a/tests/seq.pure.lisp
+++ b/tests/seq.pure.lisp
@@ -298,4 +298,8 @@
   (assert (eql 2
                (funcall (lambda ()
                           (declare (optimize speed))
-                          (search #(1) #(1 1) :start1 1 :start2 2))))))
+                          (search #(1) #(1 1) :start1 1 :start2 2)))))
+  (assert (eql 2
+               (funcall (lambda ()
+                          (declare (optimize speed))
+                          (search #() #(1 1) :from-end t))))))