handling _default in freshBundle CaseE

iu-parfunc · Feb 21, 2024 · 55373d2 · 55373d2
1 parent 24b33ba
commit 55373d2
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/gibbon-compiler/.gitignore b/gibbon-compiler/.gitignore
@@ -32,3 +32,4 @@ demo/*.c
 demo/*.exe
 gibbon-compiler/examples/parallel/data/*.txt
 *.log.hs
+*.log
diff --git a/gibbon-compiler/IR.log b/gibbon-compiler/IR.log
diff --git a/gibbon-compiler/src/Gibbon/Passes/FreshBundle.hs b/gibbon-compiler/src/Gibbon/Passes/FreshBundle.hs
@@ -177,7 +177,9 @@ findFreshInExp exp defenv funenv constrenv =
     CaseE e mp -> do
       e' <- findFreshInExp e defenv funenv constrenv
       mp' <- mapM (\(c,prs,ae) -> do
-                    let c' = (fromVar (findFreshedName (toVar c) constrenv))
+                    let c' = case c of 
+                          "_default" -> c
+                          _ -> (fromVar (findFreshedName (toVar c) constrenv))
                     ae' <- findFreshInExp ae defenv funenv constrenv
                     return (c', prs, ae')) mp
       return $ CaseE e' mp'