Development Build (trunk)

Commits

• 568579a: Don't use fully qualified name when self-referencing an ability we're defining. (Chris Penner) #5578
• 31b15f7: Require indent after 'where' in GADTs (Chris Penner) #5578
• 1146eea: Update transcripts (Chris Penner) #5578

release/0.5.33

What's New

Changes:

• names command can now search for multiple names (thanks @xmbhasin!)
• fzf completion of branches by recency

Fixes:

• Fixes a bug where LSP wouldn't refresh results properly after a merge failure
• Fixes a bug where UCM would sometimes report an ExitSuccess exception
• Fixes a bug that was causing some docs to fail to render in UCM and on Share.

Under the hood:

• Under-the-hood runtime improvements
• Under-the-hood work towards much faster downloads from Share
• Under-the-hood work towards better diffs on Share
• Under-the-hood work for UCM Desktop

All PRs Since Last Release

• Various improvements to EasyTest expectations by @sellout in #5541
• Change interpreter calling conventions to be more direct by @dolio in #5542
• bugfix: call lspCheckForChanges in more places, such as after a failed merge by @mitchellwrosen in #5545
• Bump @unison/runtime-tests to version 0.0.3 by @dolio in #5547
• allow threads to die with ExitSuccess without printing a message by @mitchellwrosen in #5548
• CLI names command can search for multiple names by @xmbhasin in #5521
• pin awalsh128/[email protected] by @aryairani in #5552
• Allow syncing to/from a local file by @ChrisPenner in #5543
• Project List API updates for UCM Desktop by @ChrisPenner in #5553
• Sort switch fzf by recency by @ChrisPenner in #5555
• Rework data pattern matching to use default cases by @dolio in #5557
• Fix flaky transcript by @ChrisPenner in #5559
• add cloud tests to release steps by @aryairani in #5560
• update release-steps.output.md by @aryairani in #5561
• Fix a variable capture during pattern desugaring by @dolio in #5562
• Misc changes to support 3-way diff on Share by @mitchellwrosen in #5567
• Updates to Merge2 for Share by @ChrisPenner in #5287
• Flakiness fix... again by @ChrisPenner in #5569
• Add SyncV2 protocol by @ChrisPenner in #5513
• Add SyncV2 Causal Negotiation by @ChrisPenner in #5570
• Fix a problem with pre-evaluation in the sandboxed runtime by @dolio in #5574

Full Changelog: release/0.5.32...release/0.5.33

Development Build (pattern-compilation-pr-5557)

Merge pull request #5557 from unisonweb/topic/pattern-compilation

Rework data pattern matching to use default cases

release/0.5.32

What's new

• fix regression in Failure equality
• make view Float.mod.doc not crash

All PRs since last release

• Ensure units are all created with matching tags by @ChrisPenner in #5534
• bugfix: make view Float.mod.doc not crash by @mitchellwrosen in #5533
• gh workflow run seems to want the file extension in v2.55.0 by @aryairani in #5529

Full Changelog: release/0.5.31...release/0.5.32

release/0.5.31

What's Changed

• Runtime speedups! (2–6x faster for certain workloads)
• New edit.dependents command!
• Output improvements!
• Bug fixes!
  • round trip failure in which local vars could shadow references to external definitions
  • add/update in presence of crashing watch expression
  • namespace directive churning unique types
  • running a program that returned a type that hadn't been added
  • setEcho builtin didn't work
• "Known failure" transcripts allow us to capture failure behavior before it's fixed.

All PRs since last release

• feat: add edit.dependents by @mitchellwrosen in #5466
• Add instructions for DropN, truncate0, and Refs by @ChrisPenner in #5447
• Remove packing for bools. by @ChrisPenner in #5449
• Revert Ref.read Ref.write to untracked because they're shared between IO and Scope interfaces. by @ChrisPenner in #5474
• tweak: make update output use console regions by @mitchellwrosen in #5479
• Fix triggering of Worker Wrapper optimization on Stack by @ChrisPenner in #5468
• Reduce allocations by optimizing branching and black holes by @ChrisPenner in #5492
• Codebase Server: remove the generated port and token by @hojberg in #5461
• Remove my unnecessary pattern functor for Cofree by @sellout in #5500
• Add support for “known failures” to transcripts by @sellout in #5394
• run should use the TypeLookup from the file too by @aryairani in #5483
• cleanup: generate unique type guids only when necessary by @mitchellwrosen in #5491
• bugfix: allow add/update in presence of crashing watch expression by @mitchellwrosen in #5493
• Add missing INLINE's on EnumContainers by @ChrisPenner in #5499
• Do reference-based pruning for ucm compile, turn back on inlining by @dolio in #5507
• Static Foreign Calls by @ChrisPenner in #5495
• Add Repobeats. Git repository stats by @hojberg in #5510
• bugfix: make namespace directive not churn unique types by @mitchellwrosen in #5509
• Add missing Ord instances for diffs. by @ChrisPenner in #5505
• bugfix: don't omit leading dot in certain term references by @mitchellwrosen in #5498
• add shell-based regression-tests by @aryairani in #5512
• add runOnly support for unison-syntax tests by @bbarker in #5514
• Improve error messages on CLI HTTP request errors by @xmbhasin in #5519
• Fix old bool wrapper on setEcho builtin by @ChrisPenner in #5526
• bugfix: fix rendering of certain variables that erroneously got a leading dot by @mitchellwrosen in #5528

New Contributors

• @xmbhasin made their first contribution in #5519

Full Changelog: release/0.5.29...release/0.5.30

Development Build (interp-inlining)

Commits

• ad1fb70: Do reference-based pruning for ucm compile, turn back on inlining (Dan Doel) #5507

Development Build (inlining-experiments)

Commits

• 7243c01: Turn inlining back on, but avoid inlining ability requests (Dan Doel)
• 4cd758c: Remove over-saturation inlining case (Dan Doel)
• d099352: Allow requests to be inlined (Dan Doel)
• 4530621: Add a coherence check to inlineInfo (Dan Doel)
• 7829875: Re-enable oversaturated inlining (Dan Doel)
• ee13ecb: Try making inlining an identity substitution (Dan Doel)
• 8d3761f: Fix for warnings in experiment (Dan Doel)
• 58e64e2: Turn inlining back to normal, but disable call optimization (Dan Doel)
• c1418bc: Re-enable Call instructions (Dan Doel)
• 06ec263: Cut off inlining after one occurrence (Dan Doel)
• 986337a: Add tracing to the inliner (Dan Doel)
• 50e5ae5: Add a trace message when a suspiciously inlinable handle might be generated (Dan Doel)

release/0.5.29

What's Changed

• Fixed a bug that can prevent delete.namespace due to a problem in a library dependency (not your problem)
• Fixed a bug when rendering code where use statements could interfere with local variable names
• 15-25% speedup of some programs using the default interpreted runtime

All PRs Since Last Release

• bugfix: allow delete.namespace even if it would leave nameless references in lib by @mitchellwrosen in #5452
• Actually calculate inlining info for builtins by @dolio in #5454
• Remove ANF.inline'ing by @ChrisPenner in #5457
• Fix diff computation by @ChrisPenner in #5460
• Unboxed Primitive types by @ChrisPenner in #5431
• Remove Stray HasCallStack by @ChrisPenner in #5463
• Fix diffs involving unit/tuples by @ChrisPenner in #5462
• Make unsafe.force-push visible by @ChrisPenner in #5459
• Add indicator to prompt when on staging by @ChrisPenner in #5458
• bugfix: don't consider shortening variables with use statements by @mitchellwrosen in #5465
• Make transcripts idempotent by @sellout in #5406
• Run Ormolu 0.7.2.0 across the code base by @sellout in #5469

Full Changelog: release/0.5.28...release/0.5.29

Development Build (better-bools)

Commits

• 936570f: Fix Stack.hs in stackcheck mode (Chris Penner) #5449
• e3cdfa8: Add dumpcore flag (Chris Penner) #5449

Development Build (unboxed-arithmetic)

Commits

• a85132c: Standardize optimization flags (Chris Penner) #5424
• ea2586b: fix #5441 - malformed Unison examples in source code (Kyle Goetz) #5442
• b9dbf49: add some merge progress output messages (Mitchell Dalvi Rosen) #5443
• e4d7193: ⅄ trunk → 24-10-31-merge-feedback (Mitchell Dalvi Rosen) #5443
• f1ba835: switch to console regions for merge progress output (Mitchell Dalvi Rosen) #5443
• 2c11caa: move delete.namespace implementation into its own module (Mitchell Dalvi Rosen) #5452
• 1355300: Remove unnecessary allocations of unboxed type tags (Chris Penner) #5449,#5447,#5431
• 78cbe72: add failing transcript (Mitchell Dalvi Rosen) #5452
• 2775b58: Unify @keyword{…} constructs in Doc parser (Greg Pfeil) #5450
• 5ee4794: in delete.namespace, don't worry about endangered definitions in lib itself (Mitchell Dalvi Rosen) #5452
• e05237e: Fix stackchecks (Chris Penner) #5449,#5447,#5431
• 77757dd: Actually calculate inlining info for builtins (Dan Doel) #5454
• d4ea9a2: Fix stack debugging (Chris Penner) #5449,#5447,#5431
• a8e18d8: Remove ANF.inline (Chris Penner) #5457
• 4b9e75f: Merge latest trunk (Chris Penner) #5449,#5447,#5431