Properly check arguments to array-fold-{left|right}

This commit is contained in:
Bradley Lucier 2024-05-28 04:18:03 -04:00
parent ffc8bec1bf
commit 581c037e0d

View file

@ -392,7 +392,10 @@
(assert (and (procedure? operator)
(array? array)
(every array? arrays)
(every (lambda (a) (interval= (array-domain array) a)) arrays)))
(every (lambda (a)
(interval= (array-domain array)
(array-domain a)))
arrays)))
(if (null? arrays)
(interval-fold-left (array-getter array)
(lambda (accumulator array-element)
@ -409,7 +412,10 @@
(assert (and (procedure? operator)
(array? array)
(every array? arrays)
(every (lambda (a) (interval= (array-domain array) a)) arrays)))
(every (lambda (a)
(interval= (array-domain array)
(array-domain a)))
arrays)))
(if (null? arrays)
(interval-fold-right (array-getter array)
(lambda (array-element accumulator)