unison

unison copied to clipboard

Consider having `docs` find docs for aliases

1

Currently if you do `docs foo`, you'll get `foo.doc` if it exists. But if `foo` has an alias `bar`, you will not get `bar.doc`. Consider widening the search for docs...

runarorama

The `add.run` command is handy. But if you want to replace an existing term, you have to first delete it (which you may not be able to do if it...

ceedubs

`todo` only lists a few dependents out of a larger number reported

1

Related #2248 #3556 Side note: If UCM really wants you to work on them in a specific order, it should explain why; not just leave you wondering.

aryairani

"find" is not finding a term when not specifying abilities when it should

1

Version: release/M4i-1111-g2a3a54add6 ```ucm .alvaroc1.public.midi> find.global : Bytes -> TrackChunk :point_up: I couldn't find exact type matches, resorting to fuzzy matching... :no_mouth: No results. Check your spelling, or try using tab...

alvaroc1

small request: add tab completion to `help` for projects related commands

3

This is probably on the team's radar already, so feel free to close out if already captured. I noticed that the tab completion for `projects` related help topics doesn't show...

rlmark

view individual ability constructor

2

# Problem Currently when you `view` an ability constructor, it pretty-prints the entire ability. This is fine for a small ability like `Abort`: ``` .> view abort structural ability lib.base.abilities.Abort...

ceedubs

Deleting a namespace sometimes fails citing dependents within the namespace

4

Using development version. My expectation is that it should delete successfully since the dependents are also being deleted. ```ucm @alvaroc1/webauth/main> version 39b76f3 @alvaroc1/webauth/main> delete.namespace lib.playgroundHttp ⚠️ I didn't delete the...

alvaroc1

delete.namespace doesn't detect dependencies sometimes

9

Here is an example where I would expect `delete.namespace lib.http_old` to complain that `HttpResponse.fromStream` and `HttpRequest.encode` were in use and couldn't be deleted: ``` @stew/httpclient/fix_encoding> todo ✅ No conflicts or...

ceedubs

deleting the last branch in a project makes things awkward

3

If you have only one branch in a project (let's say project `foo` and branch `main`) and you delete it, it's unclear how to continue to use the project. If...

ceedubs

If I run `history /main` or `history main` I would expect it to be equivalent to `switch /main` followed by `history`. But instead I get an error `extra characters after...

ceedubs