unison
unison copied to clipboard
unisonweb
A friendly programming language from the future
## Overview This PR adds a primitive mergetool support to `ucm`. If a `project/main> merge /topic` fails due to conflicts, and you have a `UCM_MERGETOOL` env var set, we will...
Some old notes from talking with Jonathan Brachthäuser at ICFP 2018. He pointed out that if you have a HOF that takes an effectful fn, f, as arg which is...
**Describe and demonstrate the bug** branch here: https://share.unison-lang.org/@kylegoetz/finger-tree-bloated/code/@kylegoetz/parse-bug You can either paste this in scratch or you can `edit foldlWithPos` and then add the use clauses beneath what the pretty...
**Is your feature request related to a problem? Please describe.** ``` foo : Foo -> SemispaceCache (ServiceHash HttpRequest (Either HttpResponse (WebSocket ->{Remote, WebSockets} ()))) (services.Service HttpRequest (Either HttpResponse (WebSocket ->{Remote,...
## Overview This (re?)enables Weeder, which does whole-program dead-code analysis. Well over 7,000 lines of code are deleted by this PR. There are at least three different areas of the...
**Describe and demonstrate the bug** If you add a phantom type variable to a data type, it always seems to be recognized as a `Type` type parameter, but you might...
I ran into this bug while writing a transcript recently. My workaround for now is to repeat the same `unison` block twice. You can see that feedback from `ucm` is...
## Overview This PR adds a variant of `edit` (codename `edit2`) that adds definitions to the top of the file without a fold line below them. It's also careful not...
## Overview This contains a lot of improvements to transcripts. The tl;dr is that now transcript outputs can be used as transcripts, so bug reports can contain just the output...
**Describe and demonstrate the bug** In a transcript if you call `io.test` and a test fails, then it errors with a non-zero exit code. However, if you call `io.test` with...