Development Build (trunk)

Commits

• 46476f3: wip (Rúnar) #5799
• ec97736: wip (Rúnar) #5799
• 22ec1b3: omfg it compiles (Rúnar) #5799
• 6410a90: wip (Rúnar) #5799
• 1347981: It works! (Rúnar) #5799
• dca1aa1: Update cabal file (Rúnar) #5799
• 99ef974: Merge branch 'trunk' of https://github.com/unisonweb/unison into runarorama/avroMagic (Rúnar) #5799
• faaedb4: Fix transcripts (Rúnar) #5799
• bf27b71: Merge branch 'trunk' of https://github.com/unisonweb/unison into runarorama/avroMagic (Rúnar) #5799
• 551616d: update transcripts again (Rúnar) #5799
• 2df0e8a: update transcripts again (Rúnar) #5799
• 9beb0e6: update transcripts again (Rúnar) #5799
• a61a1ab: update transcripts again! (Rúnar) #5799
• 75def92: update transcripts again! (Rúnar) #5799
• d456154: merge from trunk (Rúnar) #5799
• 5701e20: transcripts again? (Rúnar) #5799
• c326a38: update transcripts (Rúnar) #5799
• b1d7bed: revert stack.yaml (Rúnar) #5799
• f76ca73: fix warnings (Rúnar) #5799
• 11e0deb: Merge branch 'trunk' into runarorama/avroMagic (Rúnar) #5799
• d1e4337: delete idempotent output (Rúnar) #5799
• 15f6608: Merge branch 'runarorama/avroMagic' of https://github.com/unisonweb/unison into runarorama/avroMagic (Rúnar) #5799
• 9da9f56: Remove dead code from Function.hs (Rúnar) #5799
• 30d87f6: Merge branch 'trunk' into runarorama/avroMagic (Arya Irani) #5799

release/0.5.42

What's New

Features and new behavior:

• New list-fuzzy / lsf command allows you to quickly skim a project's namespaces using fzf, and list one upon selection.
• New branch.squash command copies the current branch, but with a collapsed history.
• add and update are the same command now.
• On name resolution failure, UCM now suggests similar names, (Thanks @xmbhasin!)
• edit.namespace now includes . as its top fzf suggestion.
• We added tab-completion and fzf completion for file arguments.
• Releases will include linux-arm64 builds going forward.

Experimental:

• Setting the UNISON_USE_UPDATE_V2 environment variable enables a new workflow for update, which puts you into a new branch to complete the update, analogous to the merge command. More details at #5710.

Speedups:

• Lots of work to improve ability handler optimizations. (read more here)
• Faster merge startup.

Fixes:

• The scratch file watcher behaves more predictably.
• upgrade avoids ending up with __2 names in some cases
• The transcript runner no longer bombs if ucm is open due to ports being in use.
• Runtime panics can produce better error messages.
• back no longer fails due to navigating to a deleted branch.
• Fixes a runtime issue involving nested lambdas

All PRs Since Last Release

• perf: fetch unique type guids from merge parents more efficiently by @mitchellwrosen in #5713
• bugfix: fix file watch buffering behavior by @mitchellwrosen in #5719
• Include root namespace as option in fzf namespace args by @ChrisPenner in #5727
• identify renames in merges by @mitchellwrosen in #5716
• Fix a problem with floating w/r/t some enclosed terms by @dolio in #5730
• tweak: amend file-watching logic to not toss events older than 1s by @mitchellwrosen in #5729
• make add an alias of update by @mitchellwrosen in #5705
• Support 'nicer' ways of writing affine handlers by @dolio in #5715
• add more terms/types fields to branch object by @mitchellwrosen in #5725
• Fix a bug in one of the new peephole optimizations by @dolio in #5731
• hide ucm output in jit tests by @aryairani in #5735
• windows 2019 -> 2022 by @ceedubs in #5732
• Implement branch.squash by @ChrisPenner in #5696
• Fix affine handler transcript by @dolio in #5743
• fix typo by @aryairani in #5739
• Fix a variable capture during optimization. by @dolio in #5744
• Relax a criterion for recognizing affine handlers by @dolio in #5745
• adjust slurp output on update branches by @mitchellwrosen in #5711
• add a dedicated tmate workflow by @aryairani in #5755
• try bumping racket version to 8.17 to fix CI errors in windows-2022 by @aryairani in #5748
• feat: make upgrade rename a __N suffix by @mitchellwrosen in #5750
• Laxify code-server port binding by @ChrisPenner in #5754
• Improve optimizer to recognize more affine handlers by @dolio in #5753
• add a way to compare Tls sockets. by @stew in #5756
• Fix some variable capture potential in the optimizations by @dolio in #5757
• try replacing windows 2022 with 2025 by @aryairani in #5740
• a manual transcript for some public tests by @aryairani in #5752
• update unison racket lib if not already installed by @aryairani in #5760
• i guess new racket includes libb2 by @aryairani in #5761
• ors instead of ands by @aryairani in #5762
• overhaul update flow by @mitchellwrosen in #5710
• Make bpoke(Off) strict in its closure argument by @dolio in #5763
• Improve caught runtime panics in tryEval by @dolio in #5759
• Try to improve errors during reflection by @dolio in #5766
• add the arm runners everywhere by @aryairani in #5765
• update transcripts by @aryairani in #5771
• bugfix: make getProjectBranchRootCausal not fail if branch doesn't exist by @mitchellwrosen in #5770
• bugfix: use old branch ppe when rendering deleted things by @mitchellwrosen in #5767
• silence load output for programmatically-generated update file activity by @mitchellwrosen in #5768
• update failed update output by @mitchellwrosen in #5769
• add list-fuzzy / lsf command by @aryairani in #5773
• bugfix: make back not fail on deleted branch by @mitchellwrosen in #5772
• Revert change to trigger fzf on no-args ls by @ChrisPenner in #5758
• Add tab-completion and fzf completion for file arguments by @ChrisPenner in #5776
• Fix some variable naming problems with new optimizations by @dolio in #5778
• Error Messages: on name resolution failure, suggest similar names by @xmbhasin in #5522
• Small update to #5522 by @aryairani in #5779

Full Changelog: release/0.5.41...release/0.5.42

Development Build (arm-runners)

arm-runners-build

please work

Development Build (affine-improvements)

Merge pull request #5745 from unisonweb/topic/affine-improvements

Relax a criterion for recognizing affine handlers

Development Build (nicer-affine-handlers)

Commits

• d1a2ba9: Fix a variable renaming bug in normalized ABT (Dan Doel) #5715
• 3a5d186: Split ANF optimizations into their own file. Improve affine handlers. (Dan Doel) #5715
• 0ee118a: Add some additional tracing functions (Dan Doel) #5715
• 3aaec3d: Break lines when displaying intermediate handle constructs (Dan Doel) #5715
• 3d4c6b5: Merge remote-tracking branch 'origin/trunk' into topic/nicer-affine-handlers (Dan Doel) #5715
• 266a135: automatically run ormolu (dolio) #5715
• 07b0f27: Rework optimization to include more affine handlers (Dan Doel) #5715
• 4235074: automatically run ormolu (dolio) #5715
• 6b03b72: Fix rewriting combinators to descend under non-unary lets (Dan Doel) #5715
• ab8b986: Condense optimization in U.R.Machine (Dan Doel) #5715
• d1c6adf: Add a note on indirect calls to replaceLinearBody (Dan Doel) #5715
• ac08f10: Tweak some COMPLETE pragmas for ANF (Dan Doel) #5715
• dcd0f81: Adjust some affine optimizations (Dan Doel) #5715
• 3ae41e0: Fix up tests (Dan Doel) #5715
• 6f3d757: Don't promote x = y bindings to direct (Dan Doel) #5715
• 908c1b5: Fix some issues causing cli integration test failures (Dan Doel) #5715
• a16f4fa: Transcript changes (Dan Doel) #5715
• 44a2012: Fix tests (Dan Doel) #5715
• a8f5842: Merge remote-tracking branch 'origin/trunk' into topic/nicer-affine-handlers (Dan Doel) #5715
• 72a7561: automatically run ormolu (dolio) #5715

release/0.5.41

What's New

Features:

• Trigger fzf (if installed) when ls or find are run with no arguments. Use ls . or find . to get the old behavior.

Faster:

• Ability handlers in common, simple cases are now much faster.

Fixes:

• sync.to-file with no argument used to always sync /main when it should have synced the current branch. Now it doesn't!
• UCM no longer says "Merging..." unless it's going to perform a merge.

Foregone:

• update.old and merge.old have gone to live on a nice big farm, where we unfortunately won't be able to visit them.

All PRs Since Last Release

• delete update.old and merge.old by @mitchellwrosen in #5690
• Optimize 'affine' handlers by @dolio in #5687
• Trigger FZF on no-args ls by @ChrisPenner in #5693
• FZF Edit namespace by @ChrisPenner in #5700
• segment racket dependencies by arch by @aryairani in #5702
• Fix the Ormolu auto-format GH workflow step by @sellout in #5641
• Fix sync.to-file src branch by @ChrisPenner in #5703
• Add builtin replacements for some Json functions by @dolio in #5706
• Defer "Merging..." response until we actually know we're merging by @ChrisPenner in #5701
• Better fallbacks when fzf isn't installed by @ChrisPenner in #5712

Full Changelog: release/0.5.40...release/0.5.41

Development Build (json-replacement)

Merge pull request #5706 from unisonweb/topic/json-replacement

Add builtin replacements for some Json functions

release/0.5.40

What's New

Features:

• LSP: "Jump to definition" for local bindings (#5663)

Fixes:

• Fix an issue with merge that could cause some type names to be lost (#5684)

All PRs Since Previous Release

• Restrict Map builtin foreign to 'Map Val Val' by @ChrisPenner in #5679
• LSP Jump to Definition for LOCAL bindings by @ChrisPenner in #5663
• Restrict more BuiltinForeign instances by @ChrisPenner in #5681
• bugfix: track merge branch parents in database to fix nameless dependency bug by @mitchellwrosen in #5684

Full Changelog: release/0.5.39...release/0.5.40

release/0.5.39

Hotfix

Multimap.fromList causes ucm 0.5.38 to crash.

All PRs Since Last Release

• Update README.md: Correct typo in comment by @eschnett in #5673
• Fix completion on symbols ending in '.' by @ChrisPenner in #5676
• Fix Multimap.fromList by @ChrisPenner in #5677

New Contributors

• @eschnett made their first contribution in #5673

Full Changelog: release/0.5.38...release/0.5.39

release/0.5.38

What's Changed

Features:

• LSP hover info for local bindings by @ChrisPenner in #4969
• Maps now decompile as a single call to Map.fromList by @pchiusano in #5658
• New support for pattern lookahead, negative lookahead, and lookbehind by @runarorama in #5654, #5656
• Improved parse error on constructor typos by @mitchellwrosen in #5657
• Warn about suspected quadratic behavior in handlers by @dolio in #5664

Faster:

• More native-speed functionality for Map, Set, and Multimap by @ChrisPenner in #5639, @dolio in #5648
• Do less negotiation done before starting a sync, and show negotiation progress by @ChrisPenner in #5653

Fixes:

• Avoid spurious lets when printing destructuring assignments by @dfreeman in #5644

All PRs Since Last Release

• add separate optchecks test to ci by @aryairani in #5613
• Get rid of obsolete ORMOLU_DISABLE usage by @sellout in #5640
• Avoid spurious lets when printing destructuring assignments by @dfreeman in #5644
• More runtime function replacements for Map, Set, Multimap by @ChrisPenner in #5639
• add slack error notification into prerelease workflow by @aryairani in #5646
• Revert "More runtime function replacements for Map, Set, Multimap" by @ChrisPenner in #5647
• Fix calling conventions for Set function replacements by @dolio in #5648
• Add lookahead and negative lookahead to pattern builtins by @runarorama in #5654
• Add lookbehind to builtin patterns by @runarorama in #5656
• Maps now decompile as a single call to Map.fromList by @pchiusano in #5658
• Improve constructor typo parse error by @mitchellwrosen in #5657
• Hover info for local bindings by @ChrisPenner in #4969
• Limit maximum amount of negotiating done before starting a sync, and show negotiation progress by @ChrisPenner in #5653
• Warn about suspected quadratic behavior in handlers by @dolio in #5664

Full Changelog: release/0.5.37...release/0.5.38