From 7923b1c46d05ca39a55ee8872b00eb3f692ca465 Mon Sep 17 00:00:00 2001
From: Alex Shinn <alexshinn@gmail.com>
Date: Mon, 27 May 2024 09:27:42 +0900
Subject: [PATCH] Add array-empty?

Closes #969.
---
 lib/srfi/231.sld      | 1 +
 lib/srfi/231/base.scm | 3 +++
 lib/srfi/231/base.sld | 2 +-
 3 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/lib/srfi/231.sld b/lib/srfi/231.sld
index f791d645..fbb1101c 100644
--- a/lib/srfi/231.sld
+++ b/lib/srfi/231.sld
@@ -37,6 +37,7 @@
    storage-class-data? storage-class-data->body
    ;; Arrays
    make-array array? array-domain array-getter array-dimension
+   array-empty?
    mutable-array? array-setter specialized-array-default-safe?
    specialized-array-default-mutable? make-specialized-array
    make-specialized-array-from-data
diff --git a/lib/srfi/231/base.scm b/lib/srfi/231/base.scm
index 5b09a38b..cbbaca9d 100644
--- a/lib/srfi/231/base.scm
+++ b/lib/srfi/231/base.scm
@@ -311,6 +311,9 @@
 (define (array-dimension a)
   (interval-dimension (array-domain a)))
 
+(define (array-empty? a)
+  (interval-empty? (array-domain a)))
+
 (define (mutable-array? x)
   (and (array? x) (array-setter x) #t))
 
diff --git a/lib/srfi/231/base.sld b/lib/srfi/231/base.sld
index fc574e1a..3745333f 100644
--- a/lib/srfi/231/base.sld
+++ b/lib/srfi/231/base.sld
@@ -37,7 +37,7 @@
    ;; Arrays
    make-array array? array-domain array-getter array-dimension
    mutable-array? array-setter specialized-array-default-safe?
-   specialized-array-default-mutable?
+   specialized-array-default-mutable? array-empty?
    make-specialized-array make-specialized-array-from-data
    specialized-array? array-storage-class array-indexer array-body
    array-safe? array-coeffs array-adjacent? array-packed?