unison

unison copied to clipboard

After migrating to M4 I received the error message provided below. It would be helpful to add a tip for how to resolve `base` not being available. Maybe include some...

bgerm

Gossip protocols - useful direction?

9

I've been gripped by the urge to try and write a [gossip](https://en.wikipedia.org/wiki/Gossip_protocol)-based protocol in Unison. (I'm OK with the fact I might not be able to typecheck or run it...

atacratic

This occurred earlier in a Discord call when trying to delete a top-level namespace ,`learn`. The UCM prohibited us from deleting `learn` because terms __inside__ learn referenced other terms __inside__...

rlmark

``` structural ability z.Zoink where yay.there : Nat -> Nat nay : Nat -> Nat ``` Now `view Zoink` ``` structural ability z.Zoink where there : Nat ->{z.Zoink} Nat nay...

pchiusano

Name selection in `display` command uses more segments than it should

1

So in this example, `Seq.map` is unique to the namespace, but the `display` renderer is showing more segments than that. In the local ui it works fine. Also `view` works...

pchiusano

monadic / selective names lookup for parsing & pretty-printing

6

As codebases are growing, it's increasingly intractable to pre-load all names, even with history excluded. (This applies to both UCM and Share.) We want to just load the names that...

aryairani

ucm command: view only type signature

5

I find that I'm often just interested in the type signature of a term, but when I `view myTerm` the implementation is long enough that I have to page back...

ceedubs

`view` and UCM console output render reversed arguments for nested delayed computations

3

The following expression ``` stream10 = Stream.range 0 10 ``` In a watch expression and when `view`ed will render with the arguments reversed ``` 8 | > stream10 ⧩ _...

rlmark

update all docs/tutorials 😬 in light of self-contained namespaces

1

tbd what this means, but see #3144

aryairani

Following https://github.com/unisonweb/unison/blob/trunk/docs/release-steps.md and update that document with new steps now that we're publishing to Share Next.

pchiusano