@@ -358,8 +358,8 @@ buildDepMap ci ctx mainName = addPostulates $ dfs S.empty M.empty [mainName]
358358
359359 -- let-bound variables can get partially evaluated
360360 -- it is sufficient just to plug the Cond in when the bound names are used
361− | Let ty t <- bdr = var t cd `union` getDepsTerm vs ((n, var t) : bs) cd body
362− | NLet ty t <- bdr = var t cd `union` getDepsTerm vs ((n, var t) : bs) cd body
361+ | Let ty t <- bdr = var t cd `union` getDepsTerm vs ((n, const M.empty) : bs) cd body
362+ | NLet ty t <- bdr = var t cd `union` getDepsTerm vs ((n, const M.empty) : bs) cd body
363363 where
364364 var t cd = getDepsTerm vs bs cd t
365365