Fix in-range? contract to allow "writing" empty u8vectors (#1275)

mighty-gerbils · Oct 23, 2024 · 0a91788 · 0a91788
1 parent 9d666da
commit 0a91788
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/gerbil/runtime/util.ss b/src/gerbil/runtime/util.ss
@@ -755,9 +755,8 @@ 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 :- :fixnum := 0)
+                     (end   :~ (in-range-inclusive? start (u8vector-length bytes)) :- :fixnum
                             := (u8vector-length bytes)))
   => :void
   (:- (##write-subu8vector bytes start end port)