Development Build (trunk)

Commits

• 866058e: add runOnly support for unison-syntax tests (Brandon Barker) #5514
• c5d9f88: remove comment (Brandon Barker) #5514
• 0bc8cac: signing CONTRIBUTORS.markdown (Brandon Barker) #5514

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

release/0.5.28

What's Changed

New:

• Apple Silicon builds now available for mac; changed release file naming scheme for all platforms
• edit now adds definitions to the current fold, edit.new will create a new fold like before

Fixed/Improved:

• fzfsorts current project's branches to the bottom for easy access
• Transcript parser improvements
• Runtime performance improvements
• Pretty-printing fixes
• Fix variable capture bug during pattern matching #5420

Coming soon:

• "mergetool" support

All PRs Since Last Release

• repeat certain CI tests if transcripts/source files change by @aryairani in #5386
• Fix source locations in transcript parser by @sellout in #5387
• Remove unused unpack and Unpack from runtime by @ChrisPenner in #5389
• Pin CI to a release version of @unison/runtime-tests by @dolio in #5391
• Update Ormolu version in reformatting workflow by @sellout in #5396
• transcripts: Don’t trim spaces from Unison blocks by @sellout in #5393
• bump racket to 8.14 in CI by @aryairani in #5388
• mac arm builds by @aryairani in #5390
• Cache Pure Top Level Definitions on startup by @ChrisPenner in #5379
• bugfix: namespace + top level use parse error by @mitchellwrosen in #5403
• Use CommonMark-compatible info strings everywhere by @sellout in #5401
• feat: render merge conflicts preferring Alice's names by @mitchellwrosen in #5408
• Some tweaks related to caching top level values. by @dolio in #5405
• Make hash of cacheable code the same as if it were uncached by @dolio in #5409
• Unified unboxed/boxed stacks in interpreter by @ChrisPenner in #5397
• feat: implement edit variant that adds to current fold by @mitchellwrosen in #5404
• Fix variable capture issue during scope flattening by @dolio in #5420
• Fix interpreter segfault by @ChrisPenner in #5423
• Fix bug 5433 by @mitchellwrosen in #5434
• Add ANF and MCode serialization property tests by @ChrisPenner in #5414
• Decouple JIT builtins from interpreter wrappers by @dolio in #5416
• Perform some optimizations during interpreter code generation by @dolio in #5432
• FZF: sort current project's branches to the bottom by @ChrisPenner in #5437
• feat: mergetool support by @mitchellwrosen in #5411
• Bump macos github actions runners from deprecated macos-12 to macos-13 by @ChrisPenner in #5439
• Enable top-level value caching in jit by @dolio in #5438
• fix #5441 - malformed Unison examples in source code by @kylegoetz in #5442
• add some merge progress output messages by @mitchellwrosen in #5443
• Standardize optimization flags by @ChrisPenner in #5424
• Unify @keyword{…} constructs in Doc parser by @sellout in #5450

Full Changelog: release/0.5.27...release/0.5.28

Development Build (unboxed-arithmetic-debug)

Commits

• e05237e: Fix stackchecks (Chris Penner) #5431
• eedd085: Fix stack debugging (Chris Penner) #5431
• 3f5c893: Enable stack debugging by default (Chris Penner)

Development Build (stack-assertions)

Commits

• 54f86ce: add RelativeToFold to file location (Mitchell Rosen) #5404
• 515f76b: automatically run ormolu (mitchellwrosen) #5404
• fd3f5d7: move handleShowDefinition into its own module (Mitchell Rosen) #5404
• 8850d25: rename writeSource to prependSource (Mitchell Rosen) #5404
• 0267829: implement edit2 command (Mitchell Rosen) #5404
• 3b51cb8: add transcript (Mitchell Rosen) #5404
• 51e2c94: ⅄ trunk → 24-10-09-edit-add-to-fold (Mitchell Rosen) #5404
• d3eb42f: swap back edit ordering of terms and types (Mitchell Rosen) #5404
• 2b93b7b: rerun help.md transcript (Mitchell Rosen) #5404
• 4e35221: ⅄ trunk → 24-10-09-edit-add-to-fold (Mitchell Dalvi Rosen) #5404
• 31dad59: rename edit -> edit.new, edit2 -> edit (Mitchell Dalvi Rosen) #5404
• 7cdf99a: re-run round trip test transcript (Mitchell Dalvi Rosen) #5404
• 237b37b: Add array bounds checks (Chris Penner)
• 95c1fe7: Ensure ALL primitive array access goes through bounds checks (Chris Penner) #5423
• 412d7d1: Use actual Int size rather than hard-coding 8 bytes. (Chris Penner) #5423
• 99c8211: Add more callstacks (Chris Penner)
• 666d389: Fix bad augSeg math (Chris Penner) #5423
• 54fb6fd: Fix deprecated array size checks (Chris Penner) #5423
• 63ff912: segfault <-> stack-assertions (Chris Penner)

Development Build (fix-segfault)

Commits

• 95c1fe7: Ensure ALL primitive array access goes through bounds checks (Chris Penner) #5423
• 412d7d1: Use actual Int size rather than hard-coding 8 bytes. (Chris Penner) #5423
• 666d389: Fix bad augSeg math (Chris Penner) #5423
• 54fb6fd: Fix deprecated array size checks (Chris Penner) #5423