search

unisonweb / unison

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

ucm run requires lock on codebase #3760

Open ceedubs opened 1 year ago

ceedubs commented 1 year ago

It seems that ucm run myMainFunction requires a lock on the codebase. But should it? run can't actually modify the codebase (right?), so should it require a lock?

Reproduction

In one terminal window, start an interactive ucm session:

ucm

In another terminal window, try to run a program:

ucm run myMainFunction
aryairani commented 1 year ago

We think ucm run shouldn't take a lock on the codebase because it can't write it.

aryairani commented 1 year ago

ucm run.compiled shouldn't either (we haven't checked to see if it does currently).