[gnunet-scheme] 02/09: bv-slice-quickcheck: Implement xform.

[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 bfd1b6200b354a7cbc98437c050b030b1aafd5f4
Author: Maxime Devos <maximedevos@telenet.be>
AuthorDate: Sat Dec 3 12:58:00 2022 +0100

    bv-slice-quickcheck: Implement xform.
    
    (Untested)
    
    * gnu/gnunet/utils/bv-slice.scm ($arbitrary-lift): Remove.
    ($sized-bytevector,$sized-bytevector-slice/read-write)
    ($sized-bytevector-slice/read-only): Replace $arbitrary-lift with
    $record.
---
 gnu/gnunet/utils/bv-slice-quickcheck.scm | 24 ++++++++++--------------
 1 file changed, 10 insertions(+), 14 deletions(-)

diff --git a/gnu/gnunet/utils/bv-slice-quickcheck.scm 
b/gnu/gnunet/utils/bv-slice-quickcheck.scm
index ba3345e..d6b7069 100644
--- a/gnu/gnunet/utils/bv-slice-quickcheck.scm
+++ b/gnu/gnunet/utils/bv-slice-quickcheck.scm
@@ -21,30 +21,26 @@
 (define-library (gnu gnunet utils bv-slice-quickcheck)
   (export $sized-bytevector-slice/read-write
          $sized-bytevector-slice/read-only)
-  (import (only (rnrs base) define apply map begin)
-         (only (quickcheck arbitrary) arbitrary arbitrary-gen)
-         (only (quickcheck generator) generator-lift choose-bytevector)
+  (import (only (rnrs base) define begin)
+         (only (quickcheck arbitrary)
+               arbitrary arbitrary-xform $bytevector $record)
+         (only (quickcheck generator) choose-bytevector)
          (only (gnu gnunet utils bv-slice)
-               bv-slice/read-write bv-slice/read-only))
+               bv-slice/read-write bv-slice/read-only slice-copy/bytevector))
   (begin
-    ;; TODO upstream
-    (define ($arbitrary-lift f . a)
-      (arbitrary
-       (gen (apply generator-lift f (map arbitrary-gen a)))
-       ;; TODO
-       (xform #false)))
-
     ;; TODO upstream
     (define ($sized-bytevector size)
       (arbitrary
        (gen (choose-bytevector size))
-       (xform #false))) ; TODO
+       (xform (arbitrary-xform $bytevector))))
 
     (define ($sized-bytevector-slice/read-write size)
       "Arbitrary fresh read-write bytevector slices of @var{size} octets."
-      ($arbitrary-lift bv-slice/read-write ($sized-bytevector size)))
+      ($record bv-slice/read-write
+              (slice-copy/bytevector ($sized-bytevector size))))
 
     (define ($sized-bytevector-slice/read-only size)
       "Arbitrary read-only bytevector slices of @var{size} octets."
       ;; Currently fresh, but not guaranteed.
-      ($arbitrary-lift bv-slice/read-only ($sized-bytevector size)))))
+      ($record bv-slice/read-only
+              (slice-copy/bytevector ($sized-bytevector size))))))

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