Add Patio data value array

1 files changed, 13 insertions, 0 deletions

diff --git a/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java b/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java
index b42a2926..c6e1f237 100644
--- a/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java
+++ b/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java
@@ -424,6 +424,19 @@ public class PatioSerializerTests {
     // == Data values ==
 
     @Test
+    public void canSerializeDataValueArray() {
+        var value = PatioDataValues.array(List.of(
+            PatioDataValues.byte_(0x01),
+            PatioDataValues.byte_(0x02),
+            PatioDataValues.byte_(0x03)
+        ));
+
+        var string = PatioTesting.serializeDataValue(value);
+
+        assertThat(string, equalTo("(array ((byte 0x01) (byte 0x02) (byte 0x03)))"));
+    }
+
+    @Test
     public void canSerializeDataValueByte() {
         var value = PatioDataValues.byte_(0xc8);