unison

unison copied to clipboard

e.g. Input: ``` | ShowTermHistoryI Path.Split' | ShowTypeHistoryI Path.Split' ``` Output: ``` | TermHistory Path.Split' [Referent] | TypeHistory Path.Split' [Reference] ``` or something that tells you how long of a...

aryairani

Pretty-printer should indent arguments of higher order functions

3

I see the following when running through the quickstart on M1a. ``` ✅ I found and typechecked these definitions in ~/u1/scratch.u. If you do an `add` or `update` , here's...

atacratic

I wanted to get a list of abiities in my codebase, and I had to page through `find.all` output searching for the `ability` keyword. It'd be handy to be able...

atacratic

Better story for undeleting term (after undo state is cleared)

1

`ucm version: release/M2j (built on 2021-10-07)` I recently deleted a term, did some other things, then realized I needed to get it back/rename it. * First I tried `reflog`, this...

ChrisPenner

I recently found myself undo-ing a few things, but went back to far. IMO every `undo` should come with a `redo` 😄 This is probably part of a larger conversation...

ChrisPenner

Support docs in watch expressions

1

`ucm version: release/M2j (built on 2021-10-07)` When working on docs there doesn't appear to be any easy way to get live feedback on the rendered doc, which can be quite...

ChrisPenner

add `move`, `delete` commands which simultaneously operate on term+type+namespace+patch having that name

4

``` move Foo Bar ``` would perform an atomic (in a single causal step) ``` move.term Foo Bar move.type Foo Bar move.patch Foo Bar move.namespace Foo Bar ``` and show...

aryairani

e.g. https://github.com/unisonweb/unison/blob/9c14f44078f4d7504001198f56e3b6b328ce6798/unison-src/transcripts/child-namespace-history-merge.output.md?plain=1#L83 could show the addition of those first two terms. Maybe just like the other diffs, but against `empty`.

aryairani

dependents doesn't include dependents that are part of the same hash

2

```unison tweedleDee a = tweedleDum a tweedleDum a = tweedleDee a ``` ```ucm I found and typechecked these definitions in scratch.u. If you do an `add` or `update`, here's how...

stew

limit delete.namespace output

5

Per [Slack discussion](https://unisonlanguage.slack.com/archives/CLG4P0GSD/p1644608761295589). Say that I do something like `fork .base .base2` and then `delete.namespace .base2`. Currently the `delete.namespace` takes a while to run (~minute). Part of this time (though...

ceedubs