From d9a377762129c72ff18c34c8268579517ae6c3bf Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Fri, 21 Jul 2023 16:43:49 +0100 Subject: Add arrays to Patio data layouts --- .../java/org/shedlang/compiler/patio/PatioSerializerTests.java | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'src/test/java') diff --git a/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java b/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java index 3ae6d5d1..ba602d67 100644 --- a/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java +++ b/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java @@ -391,6 +391,15 @@ public class PatioSerializerTests { // == Data layouts == + @Test + public void canSerializeArray() { + var layout = PatioDataLayouts.array(PatioDataLayouts.scalar(PatioTypes.INT), 4); + + var string = PatioTesting.serializeDataLayout(layout); + + assertThat(string, equalTo("(array int 4)")); + } + @Test public void canSerializeScalar() { var layout = PatioDataLayouts.scalar(PatioTypes.INT); -- cgit v1.2.3