[gnunet-scheme] 05/09: hashcode/quickcheck: Fix use of $sized-bytevector-slice/read-only.

[gnunet]

This is an automated email from the git hooks/post-receive script.

maxime-devos pushed a commit to branch master
in repository gnunet-scheme.

commit a6c288842bef413c16c5244d6d520c8ca557f66c
Author: Maxime Devos <maximedevos@telenet.be>
AuthorDate: Sat Dec 3 13:31:55 2022 +0100

    hashcode/quickcheck: Fix use of $sized-bytevector-slice/read-only.
    
    * gnu/gnunet/hashcode/quickcheck.scm ($hashcode:512,$hashcode:256):
    Set size argument of $sized-bytevector-slice/read-only.
---
 gnu/gnunet/hashcode/quickcheck.scm | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/gnu/gnunet/hashcode/quickcheck.scm 
b/gnu/gnunet/hashcode/quickcheck.scm
index 72f9ac0..d254a7d 100644
--- a/gnu/gnunet/hashcode/quickcheck.scm
+++ b/gnu/gnunet/hashcode/quickcheck.scm
@@ -22,7 +22,8 @@
                arbitrary $record)
          (only (gnu gnunet hashcode)
                make-hashcode:512/share make-hashcode:256/share
-               hashcode:512->slice hashcode:256->slice)
+               hashcode:512->slice hashcode:256->slice
+               hashcode:512-u8-length hashcode:256-u8-length)
          (only (gnu gnunet utils bv-slice-quickcheck)
                $sized-bytevector-slice/read-only))
   (export $hashcode:512 $hashcode:256)
@@ -33,7 +34,9 @@
     ;; The unshared variant would work too, but is less efficient.
     (define $hashcode:512
       ($record make-hashcode:512/share
-              (hashcode:512->slice $sized-bytevector-slice/read-only)))
+              (hashcode:512->slice
+               ($sized-bytevector-slice/read-only hashcode:512-u8-length))))
     (define $hashcode:256
       ($record make-hashcode:256/share
-              (hashcode:256->slice $sized-bytevector-slice/read-only)))))
+              (hashcode:256->slice
+               ($sized-bytevector-slice/read-only hashcode:256-u8-length))))))

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.