unisonweb/unison release/1.1.0

on GitHub

What's Changed

Features:

• The dependents command now work on constructors and ability requests. (#6115)
• Support for "Edit Definition" and "Open on Share" in the Unison Language VS Code extension v1.5.0. (#6129, #6105)
• Adds new builtins for Argon2id password hashing. (#6094, thanks @bbarker!)
• Adds MCP tools for history, reflog, and share-project-info (for authenticated project lookups). (#6103, #6118, also @bbarker)
• More FFI work (#6131).

Fixed:

• Bytes decoding and comparisons are much faster.
• run now allows unquoted numbers as arguments; sorry.
• branch.diff now accepts numbered args and branch hashes.
• run now gives a nicer message if the program name is ambiguous.(#6111)
• update no longer leaves deleted constructors in the underlying namespace of an update branch.
• cases now parses correctly in Doc eval blocks.
• The MCP server to avoid the use of oneOf in JSON Schema, which was defined in 2014 and will surely be supported by coding agents any moment now.
• A certain kind of infinite loop no longer occurs in the runtime. (#5889)
• Fixed a backwards subtyping check in pattern type checking. (thanks to @lJoublanc for reporting!)
• Fixed a typo in the reflog .(showing alias.type as alias.term)
• Fixed a pattern-matching bug around duplicate binding names .(thanks to @jcwilk, @etorreborre, and @gvolpe for reporting!)

ucm 1.1.0 updates the codebase version (not backwards-compatible) in order to support syncing of history comments.

All PRs Since Last Release

• claude seems to not support the "oneOf" type. by @stew in #6095
• Add a missing case to the lambda lifting transformation by @dolio in #6093
• Fix backwards subtyping checks in pattern type checking by @dolio in #6087
• delete Relative path type by @mitchellwrosen in #6097
• fix reflog typo by @mitchellwrosen in #6092
• bugfix: disallow duplicate binders by @mitchellwrosen in #6090
• Add some better implementations for some bytes reading/decoding functions by @dolio in #6104
• Open on share VS-Code plugin api endpoint by @ChrisPenner in #6105
• diff.branch: include current branch in completion by @ceedubs in #6102
• Rework Bytes Chunk type and tweak comparison by @dolio in #6112
• improve ambiguous run error message by @mitchellwrosen in #6111
• allow delete.force to delete things out of lib by @mitchellwrosen in #6088
• make dependents work on constructors by @mitchellwrosen in #6115
• make alias.type name the constructors as well by @mitchellwrosen in #6099
• Remove unused scratch files by @ceedubs in #6114
• Added message argument to history.comment by @ChrisPenner in #6123
• Implements the Pull side of comment sync by @ChrisPenner in #6117
• Hash history comments and sign them with the author's personal key. by @ChrisPenner in #6004
• History Comment Sync API by @ChrisPenner in #6017
• disallow adding or updating things in lib with update by @mitchellwrosen in #6083
• Replace pseudo-extensible Foreign with a big union by @dolio in #6125
• Add Argon2id password hashing builtins; switch from cryptonite to crypton by @bbarker in #6094
• Fix install-hooks.bash script by @sellout in #5910
• Edit Commands for VS Code plugin by @ChrisPenner in #6129
• bugfix: update no longer leaves deleted constructors in underlying namespace of update branch by @mitchellwrosen in #6133
• generate cabal files by @mitchellwrosen in #6132
• Add additional FFI types and pointer operations by @dolio in #6131
• bugfix: fix cases parsing in doc eval block by @mitchellwrosen in #6137
• Don't expand numbers in non-structured arguments by @ChrisPenner in #6135
• Add share project info MCP tool by @bbarker in #6118
• properly handle hashes and numbered args in branch.diff arg parser by @mitchellwrosen in #6142
• Add Reflog and History MCP Tools by @bbarker in #6103
• update help for branch.squash by @aryairani in #6146

Full Changelog: release/1.0.2...release/1.1.0