Paul Chiusano

Revamp `update` process

5

https://gist.github.com/pchiusano/548032b98d5d6b29cb4314421a231a42 has a writeup of the problem we are trying to solve and proposed new workflow. ---- _Old commentary, out of date_ A couple things I am aware of: 1....

Even though this has no effect

https://github.com/unisonweb/unison/pull/2029#issuecomment-873036665

This came up in #2198 which has a good example and has been a known issue for a while.

Verify that kinds are the same when propagating type edits

2

Right now when you add a type replacement to a patch, during propagation, we don't verify that the kinds of the old and new type are the same. This can...

Add name loading to the `Codebase` interface

6

```Haskell type UniqueSuffix = Name Codebase.loadNames :: Branch.Hash -> Set (Either Referent Reference) -> Map (Either Referent Reference) (Set UniqueSuffix, Set HashQualified) ``` And then rework `Backend` to make use...

Tab clobbers input when completions' common prefix is shorter than input string

2

Example is you are doing fuzzy completion, with `drop` completed to `Text.drop` and `Sequence.drop`. In this case, the common prefix of the completions is the empty string, and the user's...

Create testing harness for multi-node serialization

2

We want to make sure a whole bunch of values round trip successfully, and also test the situation where the "sender" code cache is in a different state than the...

Reference guide for ucm and pointers to the ucm guide from within ucm

1

Related #629