unisonweb / unison

A friendly programming language from the future
https://unison-lang.org
Other
5.79k stars 270 forks source link

Name selection in `display` command uses more segments than it should #3231

Open pchiusano opened 2 years ago

pchiusano commented 2 years ago

So in this example, Seq.map is unique to the namespace, but the display renderer is showing more segments than that.

image

In the local ui it works fine. Also view works fine, show right number of segments.

ChrisPenner commented 2 years ago

We should add transcripts for each of these as we find them 👍🏼 , the naming stuff is finicky and it's really easy to accidentally cause rippling changes.