unison

unison copied to clipboard

## Overview Upgrades to GHC 9.2.3 We'll want to upgrade Enlil at the same time: https://github.com/unisoncomputing/enlil/pull/74 Built on, and closes https://github.com/unisonweb/unison/pull/3117 ## Implementation notes * MOST changes were just adding...

ChrisPenner

Replace Action monad with Cli monad

1

## Overview Continuation of work on #3253 - - - This change is [](https://reviewable.io/reviews/unisonweb/unison/3281)

mitchellwrosen

Add tip to reflog output showing example diff.namespace usage

3

Closes #3145 Running `reflog` in `ucm` now displays a tip below the list of history entries: ``` ... 4. #sg60bvjo91 : ... Tip: Use `diff.namespace 1 7` to compare namespaces...

jesselooney

Add CI test for universal equality consistency across nodes

1

See https://github.com/unisonweb/unison/pull/3284#pullrequestreview-1057844307

pchiusano

Tab completion of (say) `view` takes a long time

4

On bigger namespace trees in particular.

pchiusano

Exception with no useful information when using types with curly braces

1

``` structural type Row c = Row check : Row {Boolean} -> () check row = () value : Row {Text, Boolean} value = Row > check value ``` ```...

alvaroc1

UCM on Windows gives strange prompt

6

I am running release/M4 of `ucm.exe` on Windows 11. The prompt is `[0m[32m.[0m> [0m` which seems to indicate a wrong interpretation of ANSI escape sequences by my terminal application (both...

meijeru

An Audit of Names and PPEs

8

# Names & PPEs Unison's unique design choices also present unique challenges. The AST doesn't store names for external definitions (since these names can change any time), so when parsing...

ChrisPenner

``` unique ability Foo where foo : Nat Foo.map : (a ->{g} b) -> '{Foo,g} a -> '{Foo,g} b Foo.map f foo = do f !foo x = [Foo.map id...

pchiusano

Sometimes `names.global` can't find types (and probably also terms?) that definitely exist. I'm having trouble creating a minimal example of this, but I see it with the following setup: -...

ceedubs