diff options
Diffstat (limited to 'src/Compile.hs')
| -rw-r--r-- | src/Compile.hs | 5 |
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" |