@@ -413,14 +413,15 @@ 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) = getDepsTerm vars bruijns cond t
416+ methodDeps ctorName (methNo, t) = getDepsTerm vars bruijns cond body
418 vars = M.fromList [(v, VI
418 vars = M.fromList [(v, VI
419− { viDeps = M.singleton (metameth, Arg i) S.empty
419+ { viDeps = deps i
420 , viFunArg = Just i
420 , viFunArg = Just i
421 , viMethod = Nothing
421 , viMethod = Nothing
422 }) | (v, i) <- zip args [0..]]
422 }) | (v, i) <- zip args [0..]]
423+ deps i = M.singleton (metameth, Arg i) S.empty
423− bruijns = reverse [\cd -> M.singleton cd (M.singleton (metameth, Arg i) S.empty) | i <- [0..length args-1]]
424+ bruijns = reverse [\cd -> M.singleton cd (deps i) | i <- [0 .. length args - 1]]
424 cond = S.singleton (metameth, Result)
425 cond = S.singleton (metameth, Result)
425 metameth = mkField ctorName methNo
426 metameth = mkField ctorName methNo
426 (args, body) = unfoldLams t
427 (args, body) = unfoldLams t