auxtest

Fri Aug 29 13:43:38Z 2025

Creative Commons LicenseCreative Commons LicenseCreative Commons License

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License

Table of contents
  1. test/let1: pass
  2. test/letcar&cdr: pass
  3. test/λ: pass
  4. test/letmaptensor: pass
  5. test/letmap: pass
  6. test/procc/λ-memo: pass

Tests summary

scheme code
((ran 6) (failed 0))

1. test/let1: pass

scheme code
(define (test/let1 _) (let1 (a 1) (⊦= a 1)))
scheme code
((eta 0.0) (memory #(6291456 946632 1048576)) (stdout "") (stderr ""))

2. test/letcar&cdr: pass

scheme code
(define (test/letcar&cdr _)
  (letcar&cdr
    (((a d) (cons 1 '())) ((aa dd) (cons 2 3)))
    (⊦= a 1)
    (⊦= d '())
    (⊦= aa 2)
    (⊦= dd 3)))
scheme code
((eta 0.0) (memory #(6291456 947928 1048576)) (stdout "") (stderr ""))

3. test/λ: pass

scheme code
(define (test/λ _)
  (⊦= 5 ((λ (x) (+ x 2)) 3))
  (⊦= 5 ((λ (x) ((λ (y) (+ x y)) 2)) 3))
  (⊦= 5 ((λ (x y) (+ x y)) 2 3)))
scheme code
((eta 0.0) (memory #(6291456 948680 1048576)) (stdout "") (stderr ""))

4. test/letmaptensor: pass

scheme code
(define (test/letmaptensor _)
  (⊦= '((((2 a #t) (2 a #t)) ((2 1 #t) (2 1 #f)))
          (((3 a #f) (3 a #t)) ((3 2 #f) (3 2 #f)))
          (((4 a #t) (4 a #t)) ((4 3 #t) (4 3 #f))))
        (letmaptensor
          ((x (list 1 2 3)) (y `(a ,x)) (z (list (odd? x) (symbol? y))))
          (list (add1 x) y z))))
scheme code
((eta 0.0) (memory #(6291456 945480 1048576)) (stdout "") (stderr ""))

5. test/letmap: pass

scheme code
(define (test/letmap _)
  (⊦= '((2 a #t)
          (2 a #t)
          (2 1 #t)
          (2 1 #f)
          (3 a #f)
          (3 a #t)
          (3 2 #f)
          (3 2 #f)
          (4 a #t)
          (4 a #t)
          (4 3 #t)
          (4 3 #f))
        (letmap
          ((x (list 1 2 3)) (y `(a ,x)) (z (list (odd? x) (symbol? y))))
          (list (add1 x) y z))))
scheme code
((eta 0.0) (memory #(6291456 946256 1048576)) (stdout "") (stderr ""))

6. test/procc/λ-memo: pass

scheme code
(define (test/procc/λ-memo _)
  (define count 0)
  (define fib
    (λ (n)
        (add1! count)
        (cond ((< n 2) n)
              (else
               (let1 (mrow (mi sub1) (mi n)) (+ (fib m) (fib (sub1 m))))))))
  (let1 (v (fib 10)) (⊦= 55 v) (⊦= 177 count))
  (set! count 0)
  (define fib-memo
    (λ-memo
      (n)
      (add1! count)
      (cond ((< n 2) n)
            (else
             (let1 (mrow (mi sub1) (mi n))
                   (+ (fib-memo m) (fib-memo (sub1 m))))))))
  (let1 (v (fib-memo 10)) (⊦= 55 v) (⊦= 11 count)))
scheme code
((eta 0.0) (memory #(6291456 950968 1048576)) (stdout "") (stderr ""))