unison icon indicating copy to clipboard operation
unison copied to clipboard

view List.foldMap should use the foldMap name

Open stew opened this issue 1 year ago • 1 comments

when a user asks ucm to view List.foldMap they get the equivalent definition using the name List.foldBalanced instead of List.foldMap. We have an algorithm to determine which name to show for a given definition, it should be overridden when the user has specified a name like this.

stew avatar Mar 04 '24 00:03 stew

Interesting; I thought this was fixed — and actually I think it has been, but only if you use the fully qualified name. e.g. view data.List.foldMap (or perhaps view lib.base.data.List.foldMap), and apparently still an issue when the user provides a suffixified name.

aryairani avatar Apr 11 '24 22:04 aryairani