fix Unariser

iu-parfunc · Nov 14, 2024 · edcb9de · edcb9de
1 parent a12ec8e
commit edcb9de
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/gibbon-compiler/src/Gibbon/Passes/Unariser.hs b/gibbon-compiler/src/Gibbon/Passes/Unariser.hs
@@ -77,7 +77,7 @@ unariser Prog{ddefs,fundefs,mainExp} = do
 -- perform, from left to right.
 type ProjStack = [Int]
 
-unariserExp :: Bool -> DDefs Ty3 -> ProjStack -> Env2 Ty3 -> Exp3 -> PassM Exp3
+unariserExp :: Bool -> DDefs Ty3 -> ProjStack -> Env2 Var Ty3 -> Exp3 -> PassM Exp3
 unariserExp isTerminal ddfs stk env2 ex =
   case ex of
     LetE (v,locs,ty,rhs) bod ->
@@ -232,7 +232,7 @@ unariserExp isTerminal ddfs stk env2 ex =
 
 
 -- | Flatten nested tuples
-flattenProd :: DDefs Ty3 -> ProjStack -> Env2 Ty3 -> Exp3 -> PassM Exp3
+flattenProd :: DDefs Ty3 -> ProjStack -> Env2 Var Ty3 -> Exp3 -> PassM Exp3
 flattenProd ddfs stk env2 ex =
   case ex of
     MkProdE{} -> do