Development Build (trunk)

Commits

• 7e9ecf4: tweak run output to be a bit more clear, when it fails (Mitchell Dalvi Rosen) #6005
• 919c9a0: appease weeder (Mitchell Dalvi Rosen) #6005
• 2945d45: tweak output messages (Mitchell Dalvi Rosen) #6005

release/0.5.50

What's New

ucm 0.5.50 has lots of updates and new features (and is also a 1.0 release candidate)!

workflow improvements

• new branch.diff command for comparing branches, also with difftool support via UCM_DIFFTOOL variable with fallback to the UCM_MERGETOOL variable
• new comment command to add comments to your branch's change history
• upgrade command can now take more than one lib pair simultaneously
• status line indicates 🧩 when you are piecing together an incomplete update, delete, upgrade, or merge
  • in this mode, definitions removed from your scratch file will be removed from final result once you successfully update, which is different than usual, but necessary for making certain kinds of changes
  • update or cancel will complete or cancel the update; the merge.commit command has gone away.
• fixes to to the run command
  • run will stop you from running a program in your scratch file that would result in running stale code due to needing to update first
  • multi-word ucm args can be passed to run by putting them in "double quotes"
  • avoid numbered args expansion with run by putting quotes around the numbers also
• updated project naming rules: 1+ characters in the set {ascii letter, digit, -, _}.
• add mv and rm command aliases

core language and runtime improvements

• parser, type-checker, code printer, and runtime fixes
• code serialization speedup
• new support for zstd compression/decompression (thanks @regiskuckaertz)

editor support improvements

• LSP file outline support and error highlighting improvements
• vim syntax highlighting improvements (thanks @avysk)

MCP improvements

• new MCP tools allow an agent to use the test, update, and run commands
• implemented a fix for the typecheck command for agents (e.g. codex) that don't support the latest json schema version

All PRs Since Last Release

• regenerate mcp.output.md by @aryairani in #5900
• Prevent uName from overwriting other syntax groups by @avysk in #5901
• Don’t treat docs as transcripts by @sellout in #5903
• Add mv and rm command aliases by @regiskuckaertz in #5904
• Handle kind-inference of unkown builtins more gracefully by @ChrisPenner in #5899
• fix new project name rules by @mitchellwrosen in #5906
• Prevent new dead Haskell code by @sellout in #5909
• Fix use insertion when do block starts with destructuring bind by @pchiusano in #5911
• Correct Semis when reordering stanzas by @sellout in #5915
• Minimal nix update by @sellout in #5912
• Add support for ZStandard (de)compression by @regiskuckaertz in #5907
• Use Builder directly instead of Put for serialization by @dolio in #5919
• add cancel command by @mitchellwrosen in #5921
• remove merge.commit command by @mitchellwrosen in #5922
• LSP scratch-file outline by @ChrisPenner in #5933
• Speed up serialized value loading by @dolio in #5928
• Fix Cabal smoke-test workflow by @sellout in #5936
• feat: overhaul delete implementation by @mitchellwrosen in #5894
• Implement side-by-side diffs by @ChrisPenner in #5925
• Delete unison-src/transcripts/idempotent/builtins.output.md by @aryairani in #5935
• Delete loop.prof.wakeup by @aryairani in #5937
• put puzzle piece on prompt on update/upgrade/merge branches by @mitchellwrosen in #5938
• Add (pure) tests command to MCP by @ChrisPenner in #5954
• Reimplement code/value deserialization based on a custom parser by @dolio in #5943
• Try to fix typecheck schema usage in Codex by @ChrisPenner in #5957
• Convert a bunch of types and functions from String -> Text by @ChrisPenner in #5958
• Add Run tool to MCP by @ChrisPenner in #5955
• Better handle newlines in diffs by @ChrisPenner in #5959
• disable nix development cache job due to failures by @aryairani in #5966
• standardize wording of failed delete/update/upgrade/merge by @mitchellwrosen in #5953
• Fix a runtime problem from overapplying ability requests by @dolio in #5970
• Make profiler-smoketest.md delete profile files after run by @dolio in #5951
• Add data type variance to type checking by @dolio in #5960
• Add support for quoted UCM args. by @ChrisPenner in #5968
• Parse number expansions in args by @ChrisPenner in #5973
• slurp unnamed test watches properly by @mitchellwrosen in #5969
• generalize upgrade to take more than one lib pair simultaneously by @mitchellwrosen in #5963
• Fix completion edge-cases by @ChrisPenner in #5975
• Change Comments by @ChrisPenner in #5895
• Remove speech bubbles by @ChrisPenner in #5977
• Make more use of inferred variances during type checking by @dolio in #5976
• disallow run if an update is required by @mitchellwrosen in #5964
• fix upgrade fzf behavior by @mitchellwrosen in #5981
• Add branch.diff command by @mitchellwrosen in #5962
• Attempt to improve function under-application and over-application errors by @ChrisPenner in #5665
• Strictify LSP Vars by @ChrisPenner in #5978
• Add libdeps diffs to branch.diff output by @mitchellwrosen in #5979
• Try to improve information flow down through 'branching' constructs by @dolio in #5984
• update macos runners due to deprecation by @aryairani in #5986
• MCP Update tool by @ChrisPenner in #5952
• Improve error LSP ranges on type mismatches by @ChrisPenner in #5284
• Refine pull request template for clarity by @aryairani in #5994
• run transcripts by @mitchellwrosen in #5996
• don't launch mergetool in transcripts by @mitchellwrosen in #5995
• allow diff.branch between unrelated branches by @mitchellwrosen in #5982
• Create a dedicated failure type for AsyncCancelled by @ceedubs in #5991
• compute fast-forward diffs much more efficiently by @mitchellwrosen in #5989

New Contributors

• @avysk made their first contribution in #5901
• @regiskuckaertz made their first contribution in #5904

Full Changelog: release/0.5.49...release/0.5.50

release/0.5.49

What's Changed

• Setting the UNISON_DEBUG variable with TIMING now displays runtimes for individual tests when using test.

• Setting the UNISON_DEBUG variable with TESTS now displays names for individual tests when using test.

• A new murmur hash primitive which doesn't tumble in type info. It's much faster than the existing one, but good chance of collisions when you're mixing hashes from values of different types, so choose appropriately.

• Everything from the stealth release of 0.5.48:

  New Features ✨ 🦄 🌈 ⭐

  • Profiling!
  • Arbitary precision integer arithmetic!
  • git-style mergetool support!
  • Like when resolving an incomplete update, resolving an incomplete upgrade supports deletions. That's a little different from before, so be careful while you get used to it! undo is your friend.

  Fixes

  • We updated project naming rules to match Unison Share; sorry not sorry!
    Project names may now consist of ASCII letters, digits, and hyphens; between 2–40 characters.

  Fiddling

  • Namespaces in ls output now end in . instead of /
  • There are a few new command aliases:
    • lib.install can be run as install.lib or just install
    • lib.upgrade can be run as upgrade.lib or just upgrade
  • namespace.dependencies command has been removed in favor of todo.

All PRs Since Last Release

• Delete old Name Lookup methods in UCM by @ChrisPenner in #5875
• Add Dependents/Dependencies API for UCM Desktop by @ChrisPenner in #5876
• Add debug info for tests by @runarorama in #5890
• Implement a direct murmur hash on values that omits type references by @dolio in #5884
• Fix the return type of Integer.signum by @runarorama in #5892

Full Changelog: release/0.5.48...release/0.5.49

release/0.5.48

What's Changed

New Features ✨ 🦄 🌈 ⭐

• Profiling!
• Arbitary precision integer arithmetic!
• git-style mergetool support!
• Like when resolving an incomplete update, resolving an incomplete upgrade supports deletions.
  That's a little different from before, so be careful while you get used to it! undo is your friend.

Fixes

• We updated project naming rules to match Unison Share; sorry not sorry!
  Project names may now consist of ASCII letters, digits, and hyphens; between 2–40 characters.

Fiddling

• Namespaces in ls output now end in . instead of /
• There are a few new command aliases:
  • lib.install can be run as install.lib or just install
  • lib.upgrade can be run as upgrade.lib or just upgrade
• namespace.dependencies command has been removed in favor of todo.

All PRs Since Last Release

• Add profiling support to UCM by @dolio in #5856
• Transcript change: help from new profiling commands by @dolio in #5857
• Fix interpreter tests by @sellout in #5853
• swap trailing slash for trailing dot in ls output by @mitchellwrosen in #5860
• Builtins for arbitrary precision integer arithmetic by @runarorama in #5852
• Report internal errors more clearly by @sellout in #5661
• Improve displayed names in profiles by @dolio in #5861
• Better name out-of-scope error message by @mitchellwrosen in #5863
• Avoid redundant re-hashing when squashing an already squashed branch by @ChrisPenner in #5867
• Don’t prettify exceptions written to the stack by @sellout in #5868
• Defer error serialization by @sellout in #5869
• Add message when pulling to indicate from and to causal hashes. by @ChrisPenner in #5870
• Rename BigInt and BigNat to Integer and Natural by @runarorama in #5871
• allow deleting while resolving an upgrade failure by @mitchellwrosen in #5872
• Add Codex notes for mcp.md by @bbarker in #5873
• add more restrictive project name check by @mitchellwrosen in #5862
• fix bad transcript caching and syntax error in mcp.md by @aryairani in #5879
• silence typechecking output after merge failure by @mitchellwrosen in #5874
• make $MERGED absolute by @mitchellwrosen in #5882
• Add a few new aliases by @ChrisPenner in #5881
• delete namespace.dependencies by @mitchellwrosen in #5865
• Add a second type of profile that samples after wakeup by @dolio in #5883

Full Changelog: release/0.5.47...release/0.5.48