From 40526bc96fed52acc8e5eb9c117c84d8e5a487d9 Mon Sep 17 00:00:00 2001 From: vidsinghal Date: Mon, 7 Oct 2024 21:28:01 -0400 Subject: [PATCH] edits --- gibbon-compiler/src/Gibbon/Passes/InferLocations.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gibbon-compiler/src/Gibbon/Passes/InferLocations.hs b/gibbon-compiler/src/Gibbon/Passes/InferLocations.hs index 5edef763b..f8b64c8f7 100644 --- a/gibbon-compiler/src/Gibbon/Passes/InferLocations.hs +++ b/gibbon-compiler/src/Gibbon/Passes/InferLocations.hs @@ -140,7 +140,7 @@ convertFunTy (from,to,isPar) = do -- For this simple version, we assume every location is in a separate region: lrm1 <- concat <$> mapM (toLRM Input) from' lrm2 <- toLRM Output to' - dbgTraceIt "Print in Inferloc: " dbgTraceIt (sdoc (lrm1, lrm2, from, to, from', to')) dbgTraceIt "\n" return $ ArrowTy2 { locVars = lrm1 ++ lrm2 + return $ ArrowTy2 { locVars = lrm1 ++ lrm2 , arrIns = from' , arrEffs = S.empty , arrOut = to' @@ -224,7 +224,7 @@ inferLocs initPrg = do fenv <- forM fds $ \(FunDef _ _ (intys, outty) bod _meta) -> do let has_par = hasSpawns bod lift $ lift $ convertFunTy (intys,outty,has_par) - let fe = dbgTraceIt "Print Data definitions" dbgTraceIt (sdoc dfs) dbgTraceIt "\n" FullEnv dfs' M.empty fenv + let fe = FullEnv dfs' M.empty fenv me' <- case me of -- We ignore the type of the main expression inferred in L1.. -- Probably should add a small check here