codoc icon indicating copy to clipboard operation
codoc copied to clipboard

codoc link should watch for duplicate module names

Open dsheets opened this issue 10 years ago • 1 comments
trafficstars

Divergent module namespaces are allowed in the same documentation set. codoc link should not just assume the last name indexed is correct.

dsheets avatar Feb 10 '15 15:02 dsheets

Digest checking is probably the solution here. We already have digests in resolution root values and import lists -- we just need to do a little set arithmetic.

dsheets avatar Feb 10 '15 15:02 dsheets