wip

ollef · May 28, 2024 · 095b042 · 095b042
1 parent c8dbe43
commit 095b042
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/src/Lower.hs b/src/Lower.hs
@@ -582,8 +582,9 @@ boxedConstructorSize env con params args = do
     Evaluation.evaluate env' size
   case maybeResult of
     Nothing -> panic "boxedConstructorSize: Data params length mismatch"
+    Just result -> Readback.readback env result
 
-moduleInits :: [Name.Module] -> M Low.Definition
+moduleInits :: [Name.Module] -> M Low.Syntax.Definition
 moduleInits moduleNames =
   runBuilder do
     globalPointer <- freshLocal "globals"
@@ -602,8 +603,8 @@ moduleInits moduleNames =
 
 moduleInit
   :: Name.Module
-  -> [(Name.Lifted, Assembly.Definition)]
-  -> M [(Name.Lifted, Assembly.Definition)]
+  -> [(Name.Lifted, Low.Syntax.Definition)]
+  -> M [(Name.Lifted, Low.Syntax.Definition)]
 moduleInit moduleName definitions =
   runBuilder do
     Assembly.LocalOperand heapPointerParameter <- gets (.heapPointer)
@@ -668,7 +669,7 @@ moduleInit moduleName definitions =
         Assembly.ConstantDefinition {} ->
           callInitFunction "globals" (initDefinitionName name) [(Assembly.WordPointer, globalBasePointer), (Assembly.WordPointer, globalPointer)]
         Assembly.FunctionDefinition {} ->
-          pure globalPointer   Just result -> Readback.readback env result
+          pure globalPointer   
 
 -------------------------------------------------------------------------------