53919fe4bb
Solves one observed problem and potentially some others. The observed problem was the process of unhashing and rehashing does not replace any term links in the original terms. This is because term link literals can't be turned into variables and subsequently replaced with new hashes. So, instead we use our available variable mappings to replace the literals manually. A superior methodology might be to replicate the SCC behavior already in hashTermComponents, and incrementally remap individual components. However, that is a considerable amount of additional work, and the post-floating references are just used as a translation layer between the codebase and verifiable hashes, so making them completely consistent doesn't seem necessary. I've also added some codebase->verifiable replacements from the context in some places. It's possible not doing this would have caused problems during UCM sessions where some terms are loaded incrementally due to multiple calls into the runtime. I didn't observe any failing tests due to this, though. |
||
---|---|---|
.github | ||
codebase2 | ||
contrib | ||
deps | ||
docs | ||
editor-support | ||
lib | ||
parser-typechecker | ||
scheme-libs/racket/unison | ||
scripts | ||
unison-cli | ||
unison-core | ||
unison-hashing-v2 | ||
unison-share-api | ||
unison-share-projects-api | ||
unison-src | ||
unison-syntax | ||
yaks/easytest | ||
.gitattributes | ||
.gitignore | ||
.mailmap | ||
.mergify.yml | ||
config | ||
CONTRIBUTORS.markdown | ||
CREDITS.md | ||
dev-ui-install.sh | ||
development.markdown | ||
flake.lock | ||
flake.nix | ||
hie.yaml | ||
LICENSE | ||
README.md | ||
sql | ||
stack.yaml | ||
stack.yaml.lock | ||
unison | ||
weeder.dhall |
The Unison language
Overview
Unison is a modern, statically-typed purely functional language with the ability to describe entire distributed systems using a single program. Here's an example of a distributed map-reduce implementation:
-- comments start with `--`
mapReduce loc fn ifEmpty reduce data = match split data with
Empty -> ifEmpty
One a -> fn a
Two left right ->
fl = forkAt loc '(mapReduce loc fn ifEmpty reduce !left)
fr = forkAt loc '(mapReduce loc fn ifEmpty reduce !right)
reduce (await fl) (await fr)
This function can be either simulated locally (possibly with faults injected for testing purposes), or run atop a distributed pool of compute. See this article for more in-depth coverage of how to build distributed computing libraries like this.
Other resources:
- Learn about the big idea behind Unison
- Check out the project website
- Say hello or lurk in the Slack chat
- Explore the Unison ecosystem
- Learn Unison
Building using Stack
If these instructions don't work for you or are incomplete, please file an issue.
The build uses Stack. If you don't already have it installed, follow the install instructions for your platform. (Hint: brew update && brew install stack
)
If you have not set up the Haskell toolchain before and are trying to contribute to Unison on an M1 Mac, we have some tips specifically for you.
$ git clone https://github.com/unisonweb/unison.git
$ cd unison
$ stack --version # we'll want to know this version if you run into trouble
$ stack build --fast --test && stack exec unison
To run the Unison Local UI while building from source, you can use the /dev-ui-install.sh
script. It will download the latest release of unison-local-ui and put it in the expected location for the unison executable created by stack build
. When you start unison, you'll see a url where Unison Local UI is running.
See development.markdown
for a list of build commands you'll likely use during development.
Language Server Protocol (LSP)
View Language Server setup instructions here.
Codebase Server
When ucm
starts it starts a Codebase web server that is used by the
Unison Local UI. It selects a random
port and a unique token that must be used when starting the UI to correctly
connect to the server.
The port, host and token can all be configured by providing environment
variables when starting ucm
: UCM_PORT
, UCM_HOST
, and UCM_TOKEN
.
Configuration
See the documentation for configuration here