@@ -413,7 +413,8 @@ buildDepMap ci ctx mainName = addPostulates $ dfs S.empty M.empty [mainName]
413 getDepsArgs n (Nothing, t) = getDepsTerm vs bs cd t -- unconditional
413 getDepsArgs n (Nothing, t) = getDepsTerm vs bs cd t -- unconditional
415 methodDeps :: Name -> (Int, Term) -> Deps
415 methodDeps :: Name -> (Int, Term) -> Deps
416+ methodDeps ctorName (methNo, t)
416− methodDeps ctorName (methNo, t) = getDepsTerm vars bruijns cond body
417+ = getDepsTerm (vars `M.union` vs) (bruijns ++ bs) cond body
418 vars = M.fromList [(v, VI
419 vars = M.fromList [(v, VI
419 { viDeps = deps i
420 { viDeps = deps i