From b015466e7a3a18dd6708614d09e1502970305c6c Mon Sep 17 00:00:00 2001
From: Tom Smeding <t.j.smeding@uu.nl>
Date: Mon, 21 Apr 2025 22:00:40 +0200
Subject: test: A test for new accumMap logic

---
 src/Language.hs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src')

diff --git a/src/Language.hs b/src/Language.hs
index cf7cc4c..4ed4eaa 100644
--- a/src/Language.hs
+++ b/src/Language.hs
@@ -149,6 +149,9 @@ infixl 9 !
 shape :: NExpr env (TArr n t) -> NExpr env (Tup (Replicate n TIx))
 shape = NEShape
 
+length_ :: NExpr env (TArr N1 t) -> NExpr env TIx
+length_ e = snd_ (shape e)
+
 oper :: SOp a t -> NExpr env a -> NExpr env t
 oper = NEOp
 
-- 
cgit v1.2.3-70-g09d2