unison
unison copied to clipboard
unisonweb
A friendly programming language from the future
**Describe and demonstrate the bug** ``` ucm fresh/main> builtins.merge Done. ``` In the following code, the user-provided function can be captured as `==` by using parentheses `(==)`: ``` unison ensureEqBy...
We brainstormed this a while back, but just capturing it here as an issue. ```haskell -- an anonymous record type, similar to (Nat, Float) but w/ named fields { x...
The following file demonstrates weird behaviors: ```unison one : () -> () one _ = _ = three () two : () -> () two _ = _ = one...
``` ability Ask2 a where ask2 : a Ask2.provide : a -> '{Ask2 a, g} x -> x Ask2.provide a thunk = handle thunk() with cases { x } ->...
**Is your feature request related to a problem? Please describe.** Scratch files are meant for ephemeral use, but at times they have valuable content that hasn't been added to the...
I'm not entirely sure if a cleaner looking if-then-else layout is possible in all contexts, but I often find myself restructuring the pretty-printer output into something flatter that does seem...
**Is your feature request related to a problem? Please describe.** When running a transcript, scratch files are handled differently from UCM – they are more “ephemeral”. I haven’t checked the...
#### Problem statement At the time of writing this, persistent named constructs (such as tables, services, etc) are typically expressed as phantom types. As such, they do not carry the...
**Is your feature request related to a problem? Please describe.** When I run into a (possible) bug in Unison, I often try to replicate it on an older release to...