unisonweb / unison

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

`edit.namespace` could tell you up-front which file it's going to write #5305

Open aryairani opened 1 month ago

aryairani commented 1 month ago

Is your feature request related to a problem? Please describe.

edit.namespace can take a long time to complete. I'd like to get the file it's going to write to opened and watching for changes, but it doesn't tell me the name of the file until the long pretty-printing process is complete.

Describe the solution you'd like

Give me the file name before starting the long operation (and maybe progress info to know what's happening).

Describe alternatives you've considered Open to suggestions

Additional context

image