From 6da98aedf2f28ec8848d1cb8f5605b0c7e64d644 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sat, 15 Mar 2025 11:32:34 +0100
Subject: Complete accumulator revamp!

---
 src/Compile.hs | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'src/Compile.hs')

diff --git a/src/Compile.hs b/src/Compile.hs
index 424b28d..5c9d1a2 100644
--- a/src/Compile.hs
+++ b/src/Compile.hs
@@ -755,12 +755,10 @@ compile' env = \case
     emit $ SVarDecl True (repSTy t2) name2 e2'
     compile' (Const name2 `SCons` Const name1 `SCons` SNil) earg
 
-  EWith _ e1 e2 -> do
-    let t = typeOf e1
-
+  EWith _ t e1 e2 -> do
     e1' <- compile' env e1
     name1 <- genName
-    emit $ SVarDecl True (repSTy t) name1 e1'
+    emit $ SVarDecl True (repSTy (typeOf e1)) name1 e1'
 
     mcopy <- copyForWriting t name1
     accname <- genName' "accum"
-- 
cgit v1.2.3-70-g09d2