@@ -755,10 +755,9 @@ process h fn (Undefine names) = undefine names
755 undefClosure n =
755 undefClosure n =
756 do replDefs <- idris_repl_defs `fmap` get
756 do replDefs <- idris_repl_defs `fmap` get
757 callGraph <- whoCalls n
757 callGraph <- whoCalls n
758− let users' = case lookup n callGraph of
758+ let users = case lookup n callGraph of
759 Just ns -> ns
759 Just ns -> ns
760 Nothing -> fail ("Tried to undefine nonexistent name" ++ show n)
760 Nothing -> fail ("Tried to undefine nonexistent name" ++ show n)
761− users = filter (`elem` replDefs) users'
762 undefinedJustNow <- concat `fmap` mapM undefClosure users
761 undefinedJustNow <- concat `fmap` mapM undefClosure users
763 undefOne n
762 undefOne n
764 return (n : undefinedJustNow)
763 return (n : undefinedJustNow)