unison

unison copied to clipboard

It should fill in project names, similarly to `switch` (but would only offer project names and not branch names).

ceedubs

delete.type autocompletion skips over types

1

Add a type like `unique type Foo = Foo Nat` and then in ucm type `delete.type Fo`. It completes to `delete.type Foo.` and if you hit enter it displays the...

ceedubs

## Overview This PR amends the `update` flow as follows: - When an `update` propagation fails (say on branch `main`), we create a new "update branch" called `update-main`. The branch's...

mitchellwrosen

**Describe and demonstrate the bug** Running the following transcript: ``` unison > x = "hi" y = x ``` ``` ucm scratch/main> add ``` Results in this exception: ``` Here's...

xaviershay

This is a brute force solution to make sure that there are no unevaluated thunks being shuffled around in the interpreter. Any time something goes on the stack (which happens...

dolio

Revert change to trigger fzf on no-args ls

2

## Overview Reverts `ls` back to using an optional argument, `ls` on its own will list the top-level namespace. ## Implementation notes Just reverts changes from the other pr, I...

ChrisPenner

Error Messages: on name resolution failure, suggest similar names

3

## Overview This change improves error messages when the user provides a name in Unison source code files that does not exactly match a known name in the codebase or...

xmbhasin

Improve caught runtime panics in `tryEval`

1

Previously it was falling through to the generic case and being run through `show`. However, we can extract a message and a value and build a better unison exception with...

dolio

Feature/Idea: Automatic data serialization

1

It would be fantastic to have (e.g. JSON) serialization/deserialization baked into the runtime, for ease of interfacing with other languages. One question that comes up, of course, is what to...

jaredly

Customizing universal serialization or ordering via explicit View and Quotient types

2

Not sure what I think of this idea but just writing it up. The general idea is to have a couple special types that Unison knows about which allow the...

pchiusano