From 0fffb5731271a551afcf08878cb021ead8dd1dae Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sun, 2 Mar 2025 00:21:36 +0100
Subject: compile: WIP reference-counted arrays

---
 src/Array.hs | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/Array.hs')

diff --git a/src/Array.hs b/src/Array.hs
index 82c3f31..059600f 100644
--- a/src/Array.hs
+++ b/src/Array.hs
@@ -63,6 +63,13 @@ emptyShape (SS m) = emptyShape m `ShCons` 0
 enumShape :: Shape n -> [Index n]
 enumShape sh = map (fromLinearIndex sh) [0 .. shapeSize sh - 1]
 
+shapeToList :: Shape n -> [Int]
+shapeToList = go []
+  where
+    go :: [Int] -> Shape n -> [Int]
+    go suff ShNil = suff
+    go suff (sh `ShCons` n) = go (n:suff) sh
+
 
 -- | TODO: this Vector is a boxed vector, which is horrendously inefficient.
 data Array (n :: Nat) t = Array (Shape n) (Vector t)
-- 
cgit v1.2.3-70-g09d2