unison
unison copied to clipboard
unisonweb
A friendly programming language from the future
**Describe and demonstrate the bug** ``` unison :hide type Tonya = Tonya type Farah = Farah type BugEyes = type Ophelia = Ophelia ability Extra where terrestrial: a disguise :...
Right now an `Int` array is implemented in terms of the underlying `ByteArray` type. But because a `ByteArray` may be sent to another machine with different endian-ness, the primitive functions...
## Related problem Structural equality of types and functions is Unison's key feature. However, with the current language incarnation, there is an issue with structural equality on functions. Branching on...
Version: release/0.5.36 Error: ```ucm grain/main> Loading changes detected in ~/workspace-unison/scratch-dev/grain.u. Sorry, you hit an error we didn't make a nice message for yet. Here is a summary of the Note:...
**Is your feature request related to a problem? Please describe.** When a project is renamed on share, new branches created in ucm don't push correctly. See https://unisoncomputing.slack.com/archives/C03HW54CYP4/p1742990218671439 **Describe the solution...
This is during a pattern match, `cases VCard (Version v) fns kind n bday ann pid rev ps -> ...` **What's the message you're seeing?** **What would a better version...
The particular Stack build was the only reason we had two Nixpkgs dependencies. This removes the custom stack dependency, and instead sets the versions for the haskell.nix `tools`. It also...
**Is your feature request related to a problem? Please describe.** We don't have a syntax for comments within a definition (`//` comments are thrown away by the parser), but we...
**Is your feature request related to a problem? Please describe.** When I refactor things, there are often definitions that are no longer needed, but it can be difficult to identify...
These steps seem to result in a bogus outcome, that remote has some history that local doesn't know about: - `project.create-empty` - `push` (one entity) - `lib.install @unison/base` - `push`...
