From e3382e1d6cde987837034bfff013f63231500da8 Mon Sep 17 00:00:00 2001
From: Robin Jadoul <robin.jadoul@3milabs.tech>
Date: Tue, 30 Dec 2025 17:19:50 +0100
Subject: [PATCH] spec: Fixup wrong type sanity check for array types

---
 spec/expr.typ | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec/expr.typ b/spec/expr.typ
index 8b207fd4b..d5a2e4d8d 100644
--- a/spec/expr.typ
+++ b/spec/expr.typ
@@ -129,7 +129,7 @@
   if type(typ) == array {
     check_array_type(typ)
     return raw(typ.at(0) + "[" + str(typ.at(1)) + "]")
-  } else if type(typ) == string {
+  } else if type(typ) == str {
     return raw(typ)
   } else {
     assert(false, message: "Unknown format for type: " + repr(typ))