Fix in-range? contract to allow "writing" empty u8vectors

mighty-gerbils · Oct 16, 2024 · 64b7741 · 64b7741
1 parent 9d666da
commit 64b7741
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/src/gerbil/runtime/util.ss b/src/gerbil/runtime/util.ss
@@ -755,9 +755,11 @@ namespace: #f
 
 (def (write-u8vector (bytes : :u8vector)
                      (port  :~ output-port? :- :port)
-                     (start :~ (in-range? 0 (u8vector-length bytes)) :- :fixnum
-                           := 0)
-                     (end   :~ (in-range-inclusive? start (u8vector-length bytes))  :- :fixnum
+                     (start :~ (in-range? 0 (max 1 (u8vector-length bytes)))
+			    :- :fixnum
+                            := 0)
+                     (end   :~ (in-range-inclusive? start (u8vector-length bytes))
+			    :- :fixnum
                             := (u8vector-length bytes)))
   => :void
   (:- (##write-subu8vector bytes start end port)