update `todo`

[aryairani]

The updated command should

• list name conflicts
• list missing dependency names
  • bonus: provide hints if they are named in other project branches
• list violated merge preconditions
• list dependents of todo

[mitchellwrosen]

What's "list dependents of todo" – typo?

[hojberg]

@mitchellwrosen I think that refers to dependents of https://share.unison-lang.org/@unison/base/code/releases/3.7.0/latest/terms/todo

[mitchellwrosen]

Ah, yes, of course

[aryairani]

Re:

• bonus: provide hints if they are named in other project branches

Not sure what we can reasonably accomplish here, but this is the motivation:

[aryairani]

Also, in the previous screenshot... what is ucm doing? It seems like if #dc5 appears in the list, that #t7r should too. But where's the dependent of #dc5? I guess I can use dependents to find out, but it would be better if todo told me why things were in the list.

[mitchellwrosen]

@aryairani It's currently just showing the unnamed things that are directly – not indirectly – referenced by your code

[aryairani]

@aryairani It's currently just showing the unnamed things that are directly – not indirectly – referenced by your code

Right, ok. We should consider at some point what other hints we could try to provide that would be helpful in choosing a name for it. Maybe that's dependent names, maybe it's names from other projects or Share, maybe it's something else.

And maybe transitive unnamed deps of from the direct unnamed deps, so that you're not getting one entry per time you todo