File tree Expand file tree Collapse file tree 1 file changed +2
-1
lines changed
gibbon-compiler/src/Gibbon Expand file tree Collapse file tree 1 file changed +2
-1
lines changed Original file line number Diff line number Diff line change @@ -13,6 +13,7 @@ import Data.Foldable ( foldrM )
1313import Data.Maybe (catMaybes , isJust )
1414import qualified Data.Map as M
1515import qualified Data.Set as S
16+ import qualified Data.List as L
1617import qualified Safe as Sf
1718
1819import Data.IORef
@@ -1410,7 +1411,7 @@ desugarLinearExts (Prog ddefs fundefs main) = do
14101411 case fn' of
14111412 Ext (LambdaE [(v,ProdTy tys)] bod) -> do
14121413 let ty = Sf. headErr tys
1413- bod'' = foldl' (\ acc i -> gSubstE (ProjE i (VarE v)) (VarE v) acc) bod [0 .. (length tys)]
1414+ bod'' = L. foldl' (\ acc i -> gSubstE (ProjE i (VarE v)) (VarE v) acc) bod [0 .. (length tys)]
14141415 pure (LetE (v,[] ,ty,e) bod'')
14151416 _ -> error $ " desugarLinearExts: couldn't desugar " ++ sdoc ex
14161417 ReverseAppE fn arg -> do
You can’t perform that action at this time.
0 commit comments