Exception thrown when `run`ning a non-existant term called `main`

[zetashift]

I accidentally used the command run with a term that does not exist:

leer/main> run main
Encountered exception:
multiple matching refs
CallStack (from HasCallStack):
  error, called at src/Unison/Codebase/MainTerm.hs:56:20 in unison-parser-typechecker-0.0.0-HLhRfJvV6AvAZ9nxhsSOYZ:Unison.Codebase.MainTerm

Info

• A term named main doesn't exist in my project, but does exist in my dependencies(cloud in this case).
• Running any other non-existant term does give back an error:

• Using: ucm version: release/0.5.11 (built on 2023-12-13)

  run sdfsdf
  
  😶
  
  I looked for a function `sdfsdf` in the most recently typechecked file and codebase but couldn't
  find one. It has to have the type:
  
  sdfsdf : '{IO, Exception} result

Reproduce

The following can be run with ucm transcript reproduce.md

.> project.create-empty
.> pull @unison/cloud-start/releases/latest
.> run main

[aryairani]

Yikes. Ok thanks.

[runarorama]

Just ran into this on livestream with more than one main defined in the project. If you have foo.main and bar.main and say run main you get this same error message. Should instead say something like "I found multiple definitions matching main. Here they are. Try using a more specific name: [list of suffixified names]".

In fact, make it a numbered list so I can say run 2 on the next prompt.