Fcalva/chibi-scheme
1
0
Fork 0
mirror of https://github.com/ashinn/chibi-scheme.git synced 2025-05-19 05:39:18 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix some array-tile domain assertions.

Browse source 
Closes #966.

Fix complements of Bradley Lucier.
This commit is contained in:
Alex Shinn 2024-05-26 22:04:22 +09:00
parent 953f3ada23
commit db53df7df4
2 changed files with 15 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
lib/srfi/231/test.sld
View file

@ -3038,6 +3038,12 @@
(test-error (test-error
(array-tile (make-array (make-interval '#(0 0) '#(10 10)) list) (array-tile (make-array (make-interval '#(0 0) '#(10 10)) list)
'#(-10 20))) '#(-10 20)))
(test-error
(array-tile (make-array (make-interval '#(4)) list) '#(#(0 3 0 -1 2))))
(test-error
(array-tile (make-array (make-interval '#(0)) list) '#(2)))
(test-error
(array-tile (make-array (make-interval '#(0)) list) '#(#())))
(let* ((TA '(( 1 2 3 4 5 6) (let* ((TA '(( 1 2 3 4 5 6)
( 7 8 9 10 11 12) ( 7 8 9 10 11 12)

12
lib/srfi/231/transforms.scm
View file

@ -159,9 +159,15 @@
sizes))) sizes)))
(assert (assert
(vector-every (lambda (s len) (vector-every (lambda (s len)
(if (exact-integer? s) (if (zero? len)
(positive? s) (and (vector? s)
(= (vector-fold + 0 s) len))) (not (zero? (vector-length s)))
(vector-every zero? s))
(or (and (exact-integer? s)
(positive? s))
(and (vector? s)
(not (vector-any negative? s))
(= (vector-fold + 0 s) len)))))
sizes sizes
(interval-widths (array-domain array)))) (interval-widths (array-domain array))))
(let ((domain (make-interval (let ((domain (make-interval