Cody Allen comments

Results 250 comments of


                                            Cody Allen

weird workflow after deleting `/main` branch.

Related: #4181

dependents and dependencies should show fully-qualified names

In this case it's that I want to see if I can delete `api.baseUri` instead of resolving a conflicting `update` in it. So I want to see what this `impl`...

when I edit, the terms should be in the file in the order I specify

This is related to (and possibly in conflict with) #3474 .

delete.namespace doesn't detect dependencies sometimes

Here is a current reproduction: Clone the main branch of `@unison/cloud` at the following point in history: ``` @unison/cloud/main> history Note: The most recent namespace hash is immediately below this...

delete.namespace doesn't detect dependencies sometimes

Weird. Even if I restart ucm I see the same behavior that I saw before. This is with ucm `0.5.20`. So it seems that `delete.namespace` must somehow consider items in...

move.namespace doesn't do dependency checks

It occurs to me that this could be the case for `move.term` and `move.type` as well, but I haven't checked those.

view individual ability constructor

@aryairani good question. I guess that I would.

`test.io` doesn't like un-`add`-ed terms

My guess would be that this is similar to #5448 and fails because it tries to pretty-print the term name that generates each set of test results.

`test.io` doesn't like un-`add`-ed terms

I just checked and #5483 did not fix this. I'm guessing that's because it adjusted the type lookups but not the term/name lookups?

deleting the last branch in a project makes things awkward

@mitchellwrosen once in this state, how would one create an empty `main` branch for their technically-valid project? With some digging I found that there was a `branch.empty` command, but it...