@@ -358,8 +358,8 @@ buildDepMap ci ctx mainName = addPostulates $ dfs S.empty M.empty [mainName]
359 -- let-bound variables can get partially evaluated
359 -- let-bound variables can get partially evaluated
360 -- it is sufficient just to plug the Cond in when the bound names are used
360 -- 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
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, var t) : bs) cd body
362+ | NLet ty t <- bdr = var t cd `union` getDepsTerm vs ((n, const M.empty) : bs) cd body
364 var t cd = getDepsTerm vs bs cd t
364 var t cd = getDepsTerm vs bs cd t