unisonweb/unison release/0.5.14

on GitHub

What's changed:

• We've implemented the first stage of getting rid of “metadata”.
  • link, links, and unlink commands go away.
  • “default metadata” is no longer applied from your config file on add, nor copied on update.
  • diff.namespace doesn’t report anything about metadata. Note that we used to rely on metadata to exclude uninteresting changes from a diff. That already doesn’t work with the new update process, but we will fix this again eventually.
• Types are now unique by default, if neither unique nor structural is specified. unique is also left off when viewing the code for a unique type (reported by @ceedubs and others)
• fork now lets you refer to paths in other branches using project/branch:path syntax. Other commands will support this soon, at which point you hopefully won’t need to go outside of projects for scratch space anymore.
• UCM no longer searches the global namespace for names not present in or below your current namespace. The upshot is that many commands will complete much more quickly, but you will now see hashes where you would currently see a crazy out-of-scope name. But you wanted to fix that name anyway.
  • This situation is particularly likely when you are cded deeper into your project, into a subnamespace that isn’t completely self-contained, we’re looking into solutions to this. view.global, names.global, and namespace.dependencies will still do a global search. view and display will use the global names if provided an absolute argument.
• upgrade command now tells you what file to edit (reported by @stew)
• edit and other commands which modify your scratch file now uniformly produce output in transcript output.md files. It will show up in an ```unison:added-by-ucm <filename.u> code block.
• Fixed an issue where numbered args unexpectedly got cleared (reported by @ceedubs)
• Fixed an issue where sub-types of Doc and [Test.Result] showed up on Share as Docs and Tests when they shouldn’t have.
• Fixed an issue where update/upgrade produced a scratch file that ambiguously referred to aliases in a way that couldn’t typecheck.
• Globbing (view foo.?) went away; you probably won’t notice. The improved fzf support introduced in 0.5.13 is nicer anyway.

All PRs since last release

• cleanup: remove a bunch of metadata-related code by @mitchellwrosen in #4574
• don't call M releases the latest by @aryairani in #4538
• Unorsk/unique as default type modifier by @unorsk in #4557
• add "update transcripts" workflow by @aryairani in #4584
• remove irrelevant changed-files step from update-transcripts-workflow by @aryairani in #4585
• feat: mention the name of the file we put failed upgrades in by @mitchellwrosen in #4571
• Remove UCM globbing as a feature by @ChrisPenner in #4595
• bugtweak: make suffixification a little worse when rendering unison files via update/upgrade by @mitchellwrosen in #4589
• add CI reminder to commit message by @aryairani in #4588
• Don't display definitions in console output for edit (and new transcript outputs to replace it) by @ChrisPenner in #4576
• Don't do file IO in OutputMessages for upgrade/update by @ChrisPenner in #4577
• Don't replace numbered args list with an empty one. by @ChrisPenner in #4603
• bugfix: fix upgrade suffixifier by @mitchellwrosen in #4605
• Push docker images to github when we release by @stew in #4599
• Exports for Share migration to Postgres by @ChrisPenner in #4338
• Exact match on term types when determining whether doc or test. by @ChrisPenner in #4408
• change pre-release tag name again to trunk-build by @aryairani in #4612
• feat: better suffixification in update and upgrade by @mitchellwrosen in #4613
• Add decl verification by @ChrisPenner in #4381
• Huge speedup to startup time by leveraging branch cache by @ChrisPenner in #4617
• Allow forking between projects/branches by @tstat in #4615
• Scope all commands to current namespace (no global fallbacks for names or PPE) by @ChrisPenner in #4579
• Improve fork output and input description by @tstat in #4622
• Lex wordy/symboly identifiers into names, not strings by @mitchellwrosen in #3720

Full Changelog: release/0.5.13...release/0.5.14