Rúnar
Searching for the string `Void` in the Find feature seems to spin forever. Scrolling down to the `Void` type on the left nav bar and clicking it results in an...
The `BaseConfig` class keeps its internal mutable state as `IORef`s, and we should change this to `scalaz.stream.async.mutable.Signal` to make it easier to subscribe to changes. Users should be able to...
Unlocks being able to fix https://github.com/unisonweb/base/issues/43 - - - This change is [](https://reviewable.io/reviews/unisonweb/unison/2993)
Reported by @alvaroc1 ``` foo : Nat -> {Stream Nat, Stream Text} () foo n = emit "hello" ``` ``` The expression in red needs the {Stream Text} ability, but...
Minor UX papercut: the `branch` command complains if you use a branch name that already exists, suggesting you use `switch`. But it could also just switch to the branch and...
This solves a problem with the .vimrc being sourced more than once, which is a common occurrence.
The language reference at https://www.unisonweb.org/docs/language-reference/ uses the term "whitespace" in several places, but doesn't define what that means.
The language reference at https://www.unisonweb.org/docs/language-reference/ doesn't include syntax for destructuring binds like this: ``` foo : (a, b) -> a foo p = (a,b) = p a ```
Adds `gcd` which is greatest common divisor for Nat. The changes summarized below are available for you to review, using the following command: pull-request.load https://github.com/unisonweb/base:.trunk.Nat https://github.com/runarorama/mybase:.gcd Added definitions: gcd :...
This replaces the `test.Gen` ability with a more direct encoding. Rather than going through `Weighted` (which has very poor asymptotics), this ability uses `Stream`: ``` ability Gen where generate :...