How to update code or upgrade a library dependency

The process of applying a potentially breaking change to your code need not be stressful. Here's how Unison handles that process in two common cases:

📑

Update workflows

Updating your own code
Updating a library dependency

Updating your own code

Sometimes you'll need to make a change in the codebase that can't automatically be propagated to dependent functions, for example: if you alter a data constructor for a type or change the arguments to a function. Unison can programmatically guide you through the edits that you need to make in these cases.

⏱

Suggested workflow summary:

enter update in the UCM to save your changes
The UCM opens up non-typechecking code in your editor
Fix the impacted terms and save the file
run update to commit your changes.

Walk through an example

Let's say we have a simple type and a few functions which make use of that type in our codebase:

unique type Box = Box Nat

Box.toText : Box -> Text
Box.toText box = match box with
  Box.Box nat -> Nat.toText nat

Box.print : Box -> {IO,Exception} ()
Box.print box =
  Box.toText box |> printLine

myProject/main> add

We add it to the codebase but later, we may realize its data constructor should be changed.

myProject/main> edit Box

unique type Box = Box Int

We've changed the data constructor from taking a value of type Nat to Int. Upon saving the file and running update again, the UCM will open up the impacted terms in your editor.

myProject/main> update

Okay, I'm searching the branch for code that needs to be
updated...


That's done. Now I'm making sure everything typechecks...


Typechecking failed. I've updated your scratch file with the
definitions that need fixing. Once the file is compiling, try
`update` again.

All impacted terms, including indirect dependents, will be opened in your scratch file.

Box.print : Box ->{IO, Exception} ()
Box.print box = Box.toText box |> printLine

Box.toText : Box -> Text
Box.toText = cases Box nat -> Nat.toText nat

unique type Box = Box Int

The 1st argument to `Nat.toText`

        has type:  Int
  but I expected:  Nat

  5 | Box.toText = cases Box nat -> Nat.toText nat
  6 |
  7 | unique type Box = Box Int

The UCM will start printing typechecking errors to the console starting from the top of the file so you know what to tackle first. In our example, the function Box.print is opened in the editor even though the change we need to make is in the Box.toText function. That's because resolving larger, more complicated updates can involve propagating changes to many terms, all the way up the function call chain. With this workflow, you can be assured that your change will leave your codebase in a consistent state. Once all the errors are fixed, you can run update again to commit your changes.

How to update a library dependency

Upgrading a library is very similar to the regular process of updating Unison code. It involves one additional simple command. The following workflow uses Unison's standard library, base, as an example.

Upgrade workflow:

- lib.install the latest version of the dependency into your codebase so that it is a sibling of your current library version.
- - myProject/main> lib.install @unison/base
- Run the upgrade command, indicating which library you'd like to upgrade
- - myProject/main> upgrade unison_base_1_0_0 unison_base_2_0_0
The UCM will create a new branch for the upgrade to take place in, so if something goes wrong and you want to back out of your changes, you can easily switch back to the branch you were on before the upgrade.
If there are conflicts to resolve, the UCM will open up the affected terms in your editor. Resolve the conflicts and enter update again once the file typechecks.
Run upgrade.commit to merge the temporary branch created by the upgrade command back into its parent branch. It will delete the temporary branch.

✨

You do not need to remember the exact versions of the libraries you are upgrading from and to. Enter upgrade with no arguments to pick from the list of libraries in your project.