unison

Commits

• f5bfa60: add transcript that demonstrates bug in upgrade suffixification (Mitchell Rosen) #4605
• 661ce6a: make upgrade suffixify by name (Mitchell Rosen) #4605

Commits

• 224f7c1: add CI reminder to commit message (Arya Irani) #4588

Commits

• 3c7101c: Add transcript demonstrating #4556 (Travis Staton) #4589
• b333a93: change suffixify termination condition (Travis Staton) #4589
• 639a6ce: update transcripts (Travis Staton) #4589
• b28158c: manual edit of mac only golden output (Travis Staton) #4589
• 5fa4444: ⅄ trunk → 24-01-05-better-suffixify (Mitchell Rosen) #4589
• 4a8c59a: make PPE.fromNames take a suffixify-or-not enum (Mitchell Rosen) #4589
• c2ff132: refactor pretty print env creation utils (Mitchell Rosen) #4589
• e41a8cb: give suffixify variants better names (Mitchell Rosen) #4589
• 7340bf3: use suffixifiedByName suffixifier in update (Mitchell Rosen) #4589
• d66cd47: use suffixifyByName in upgrade (Mitchell Rosen) #4589
• f08c6a4: ⅄ trunk → 24-01-05-better-suffixify (Mitchell Rosen) #4589
• eb9bac5: run transcripts (Mitchell Rosen) #4589
• 89ede08: Revert "manual edit of mac only golden output" (Mitchell Rosen) #4589
• b4bc2e0: fix compiler errors in test suite (Mitchell Rosen) #4589

Commits

• 07eed38: automatically run ormolu (unorsk) #4557
• 0dd06b3: Merge branch 'unisonweb:trunk' into trunk (andrii) #4557
• 3c9629b: automatically run ormolu (unorsk) #4557
• c99c3a5: use unique as default type modifier (when no modifier specified) (andrii) #4557
• 4456c95: Fixing test for type modifiers, updating trnscripts (andrii) #4557
• 7f07903: Merge branch 'unisonweb:trunk' into trunk (andrii) #4557
• 59505cc: Merge remote-tracking branch 'origin/trunk' into unorsk/unique-as-default-type-modifier (andrii) #4557
• a27159c: A comment for pretty-printing unique types with uid (andrii) #4557
• 3b5ce64: Merge branch 'trunk' into unorsk/unique-as-default-type-modifier (Arya Irani) #4557
• 8bf585a: update type-modifier-are-optional transcript (Arya Irani) #4557
• 40ec940: fix fix1696 and fix2297 transcripts (Arya Irani) #4557
• 951b6ae: fix fix2297 (Arya Irani) #4557
• 70eee30: whitespace changes in transcripts?? (Arya Irani) #4557

What's Changed

• Adding a message for when ucm started reloading changes by @unorsk in https://github.com/unisonweb/unison/pull/4540
• Fix TDNR bug by @tstat in https://github.com/unisonweb/unison/pull/4558
• Use explicit 'writeSource' method when writing back to scratch files from UCM by @ChrisPenner in https://github.com/unisonweb/unison/pull/4541
• Bump lsp lib and handle trace notifications by @ChrisPenner in https://github.com/unisonweb/unison/pull/4372
• cleanup: dont use NamesWithHistory by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4566
• Bump tj-actions/changed-files from 37 to 41 in /.github/workflows by @dependabot in https://github.com/unisonweb/unison/pull/4552
• bugfix: make addDefinitionsToUnisonFile not strip decl names from constructors by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4559
• FZF on argument types by @ChrisPenner in https://github.com/unisonweb/unison/pull/4519
• update the name of the pre-release build again by @aryairani in https://github.com/unisonweb/unison/pull/4565
• refactor: delete NamesWithHistory by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4569
• Improve error messages on un-resolvable fuzzy command invocations by @ChrisPenner in https://github.com/unisonweb/unison/pull/4573

New Contributors

• @dependabot made their first contribution in https://github.com/unisonweb/unison/pull/4552

Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.12...release/0.5.13

Commits

• 2e44bd0: delete NamesWithHistory type (Mitchell Rosen) #4569
• e0f8059: ⅄ trunk → delete-names-with-history (Mitchell Rosen) #4569
• e8051d1: Merge branch 'trunk' into delete-names-with-history (Arya Irani) #4569

What's Changed

• io.test.all by @ChrisPenner in https://github.com/unisonweb/unison/pull/4507
• make namespace.dependencies ignore lib by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4509
• Partial implementation for native execution/compilation via a standalone executable by @dolio in https://github.com/unisonweb/unison/pull/4511
• Better project-branch completion for many project commands by @ChrisPenner in https://github.com/unisonweb/unison/pull/4513
• add rename as an alias for move by @aryairani in https://github.com/unisonweb/unison/pull/4523
• don't isTest-check entire deepTerms on view/edit by @ChrisPenner in https://github.com/unisonweb/unison/pull/4520
• bugtweak: force result of synthesizeForce earlier by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4530
• update the name of the pre-release build by @aryairani in https://github.com/unisonweb/unison/pull/4508
• bugfix: make run able to run things that don't return builtins by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4533
• fix "branch already exists" error message to show project, too by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4505
• Fix bug in Bytes.fromBase16 when chunks have an odd size by @runarorama in https://github.com/unisonweb/unison/pull/4529

Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.11...release/0.5.12

Commits

• 89c386b: add rename as an alias for move (Arya Irani) #4523

Commits

• 09cf6b7: Define top-exn-handler in scheme libraries (Dan Doel) #4511
• a0dd65e: Fix various issues with runtime code loading (Dan Doel) #4511
• c7e6da0: Implement a native Runtime (Dan Doel) #4511
• 469e82b: Thread native runtime through the relevant places (Dan Doel) #4511
• 15101aa: Tweak some of the evaluation related ucm commands (Dan Doel) #4511
• d1494a1: Tweak the sandbox test for jit/interpreter comparison (Dan Doel) #4511
• 00a1fb2: Standalone runner implementation in racket (Dan Doel) #4511
• 19ff30a: Update JitInfo for latest share release (Dan Doel) #4511
• 49a7d17: Formatting (Dan Doel) #4511
• cd0ab42: Add project-branch context for paths (Chris Penner) #4513
• 4436d63: Wire in project-branch-completion config (Chris Penner) #4513
• 2a49d56: Fix imports (Chris Penner) #4513
• 6e014c6: Remove sneaky pragma (whoops) (Chris Penner) #4513
• 63928fc: Merge remote-tracking branch 'origin/trunk' into cp/project-completion (Chris Penner) #4513
• 877110f: Fix bad merges from trunk (Chris Penner) #4513
• 961de6e: Add project tab-completion transcripts (Chris Penner) #4513

What's changed:

• New move command will move existing namespaces, terms, and types, all at once.
• Several fixes to upgrade, pretty-printing, docs parsing, and type-directed name resolution.
• A fix related to displaying docs in Unison Local.

All PRs since last release:

• verify 'stack ghci' startup on mac at least by @aryairani in https://github.com/unisonweb/unison/pull/4455
• Add a new Pattern.captureAs builtin by @stew in https://github.com/unisonweb/unison/pull/4452
• Allow layout blocks within Doc transclusion by @pchiusano in https://github.com/unisonweb/unison/pull/4458
• Change urls to use /docs instead of /learn by @pchiusano in https://github.com/unisonweb/unison/pull/4459
• bugfix: tweak upgrade to ignore aliases of old things by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4471
• Add move command that moves existing namespaces,terms, and types by @tstat in https://github.com/unisonweb/unison/pull/4477
• Use minimal suffix that's distinct from local var names by @ChrisPenner in https://github.com/unisonweb/unison/pull/4481
• switch generic-monoid to semigroups (the two overlapping packages) by @aryairani in https://github.com/unisonweb/unison/pull/4457
• bugfix: make upgrade not require a latest-touched file (default to "scratch.u") by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4479
• provide some deps for the nix linker by @tstat in https://github.com/unisonweb/unison/pull/4464
• Return evaluation errors rather than just silencing them. by @ChrisPenner in https://github.com/unisonweb/unison/pull/4433
• Don't typecheck dependents of unchanged defns in upgrade by @tstat in https://github.com/unisonweb/unison/pull/4486
• Unison Local - Search for docs by exact name, not suffix by @ChrisPenner in https://github.com/unisonweb/unison/pull/4485
• bugfix: make upgrade not over-suffixify in certain cases by @mitchellwrosen in https://github.com/unisonweb/unison/pull/4500
• Bugfix: Prefer shallow lib depth in TDNR by @tstat in https://github.com/unisonweb/unison/pull/4502
• update UpdateIncompleteConstructorSet message by @aryairani in https://github.com/unisonweb/unison/pull/4503
• use semver for ucm by @aryairani in https://github.com/unisonweb/unison/pull/4504

Full Changelog: https://github.com/unisonweb/unison/compare/release/M5j...release/0.5.11