Compile: remove unused function

1 files changed, 0 insertions, 5 deletions

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"