From 022cc042d95c1a9cad12b62da9e994de28ab4bc5 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Thu, 27 Mar 2025 10:35:50 +0100
Subject: Compile: remove unused function

---
 src/Compile.hs | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'src/Compile.hs')

diff --git a/src/Compile.hs b/src/Compile.hs
index faf5c22..c134824 100644
--- a/src/Compile.hs
+++ b/src/Compile.hs
@@ -1198,11 +1198,6 @@ compileShapeQuery (SS n) var =
     [("a", compileShapeQuery n var)
     ,("b", CEIndex (CELit (var ++ ".buf->sh")) (CELit (show (fromSNat n))))]
 
-compileShapeSize :: SNat n -> String -> CExpr
-compileShapeSize SZ _ = CELit "1"
-compileShapeSize (SS SZ) var = CELit (var ++ ".b")
-compileShapeSize (SS n) var = CEBinop (compileShapeSize n (var ++ ".a")) "*" (CELit (var ++ ".b"))
-
 -- | Takes a variable name for the array, not the buffer.
 compileArrShapeSize :: SNat n -> String -> CExpr
 compileArrShapeSize SZ _ = CELit "1"
-- 
cgit v1.2.3-70-g09d2